Pith. sign in

REVIEW 2 major objections 5 minor 1 cited by

Operator Algebras of Universal Quantum Homomorphisms

T0 review · 2 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The universal quantum homomorphism from $A$ to $B$ exists as a C*-algebra exactly for finite-dimensional $B$, and always as a locally C*-algebra.

desk verdict Big, useful operator algebra paper—but Theorem 4.3's proof rests on a false claim about normal conditional expectations; the fix is straightforward and the main results likely stand. read the letter →

arxiv 2411.19199 v1 pith:PV2U2YJR submitted 2024-11-28 math.OA math.FA

Pierre Fima , Malay Mandal , Issan Patri This is my paper · ORCID
classification math.OAmath.FA MSC 46L0546L1046L3046L54
keywords universalquantumhomomorphismmatchedpairlocallyC*-algebrareducedfreeproductvonNeumannalgebrafactorConnesinvariantsK-theory
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper studies quantum homomorphisms between unital C*-algebras: a quantum homomorphism from $A$ to $B$ is a unital *-homomorphism $\rho: A \to B \otimes C$, and a universal one, when it exists, is a coefficient algebra $U(A,B)$ through which every such $\rho$ factors uniquely. The authors' central theorem is that for a separable source algebra $A$ with dimension at least 2, the pair $(A,B)$ is matched, meaning $U(A,B)$ exists as an ordinary C*-algebra, if and only if $B$ is finite dimensional. For arbitrary locally C*-algebras, they prove that a universal object always exists as a locally C*-algebra, with a continuous universal map $A \to B \otimes U(A,B)$. They then show that many structural properties transfer between $A$ and the universal object or its reduced version, including lifting properties, residual finite dimensionality, the UCT, exactness, nuclearity, simplicity, factoriality, fullness, absence of Cartan subalgebras, and K-theory. The paper matters because it says precisely when the classical universal construction is possible and provides the enlarged setting, locally C*-algebras, in which it is always possible.

What carries the argument

The engine of the paper is the coefficient algebra $U(A,B)$: the universal (locally) C*-algebra generated by the coefficients $(\omega \otimes \mathrm{id})\rho(a)$ of the universal quantum homomorphism $\rho: A \to B \otimes U(A,B)$. The load-bearing identity is the free-product decomposition of Remark 2.6: for $B = M_N(\mathbb{C})$, the correspondence $a \mapsto \rho(a)$, $b \mapsto b \otimes 1$ identifies $M_N(\mathbb{C})\otimes U(A,M_N(\mathbb{C}))$ with the full free product $A * M_N(\mathbb{C})$, and decomposing a finite-dimensional $B$ into matrix blocks expresses $U(A,B)$ as a free product of one-block algebras $U(A,M_{N_\kappa}(\mathbb{C}))$. This identity lets known theorems about free products transfer to $U(A,B)$ and to the reduced version $U_{\omega,\mu}(A,B)$, whose construction follows the free-product-state method. For the infinite-dimensional existence theorem, the machinery is the projective limit of the directed family of separable coefficient algebras attached to all quantum homomorphisms, together with the Arens-Michael decomposition that represents every locally C*-algebra as such a projective limit; the non-matched direction is driven by a weak*-to-norm continuity claim for slice maps against a commutative subalgebra of $B$.

What would settle it

Take $A=\mathbb{C}_2$ and $B=C([0,1])$. Theorem 4.3 asserts that no C*-algebra $U$ can exist whose coefficients of a universal projection $P\in M_2(C([0,1])\otimes U)$ generate $U$ and realize every projection over $C([0,1])$. If such a universal $U$ and $P$ can be explicitly constructed, the theorem is refuted; a less expensive check is the proof's pivotal Claim, which says that for every $Z\in C([0,1])\otimes C$ the slice map $t\mapsto(\delta_t\otimes\mathrm{id})(Z)$ from $[0,1]$ into $C$ is norm-continuous, so finding one $Z$ where this continuity fails would invalidate the proof's non-matched step.

Watch

Extended reading notes

Core claim

The central discovery is the matched-pair classification: if $A$ is separable with $\dim(A)\ge 2$, then the pair $(A,B)$ is matched precisely when $B$ is finite dimensional (Theorem 4.3). In the finite-dimensional case, $U(A,B)$ exists for every $A$ and the paper proves the transfer theorems collected in Proposition 2.14, the Morita equivalence $M_N(\mathbb{C}) \otimes U(A,M_N(\mathbb{C})) \simeq A * M_N(\mathbb{C})$ with its K-theory consequences, and the structural results Theorems A and B for the reduced version $U_{\omega,\mu}(A,B)$. For infinite-dimensional $B$, the paper shows that the correct home is the category of locally C*-algebras: Theorem 4.19 constructs, for any unital locally C*-algebras $A$ and $B$, a unique locally separable locally C*-algebra $U(A,B)$ with a continuous universal map $\rho: A \to B \otimes U(A,B)$, and Theorem 4.20 identifies this construction as a left adjoint to the tensor-product functor $C \mapsto B \otimes C$. Finally, $U(A,A)$ is shown to carry a natural quantum semigroup structure whose invertible states are characters when $A$ is finite dimensional, and which is a compact quantum group only for $A=\mathbb{C}$.

Load-bearing premise

The non-matched direction rests on a background fact the paper imports rather than proves: every infinite-dimensional unital C*-algebra has an infinite-dimensional commutative subalgebra $D$ whose double dual admits a normal conditional expectation from the whole double dual, with the induced dual map weak*-to-norm continuous; if that fails for some $B$, the proof's pivotal step collapses.

Editorial extensions

If this is right

  • For any separable $A$ with $\dim(A)\ge 2$, $U(A,B)$ exists as a C*-algebra exactly when $B$ is finite dimensional; any construction for infinite-dimensional targets must use locally C*-algebras.
  • $M_N(\mathbb{C})\otimes U(A,M_N(\mathbb{C}))$ is isomorphic to $A * M_N(\mathbb{C})$, so $U(A,M_N(\mathbb{C}))$ is Morita equivalent to $A * M_N(\mathbb{C})$; consequently $K_0(U(A,M_N(\mathbb{C})))\cong (K_0(A)\oplus\mathbb{Z})/\langle[1_A]-Nx\rangle$ and $K_1(U(A,M_N(\mathbb{C})))\cong K_1(A)$.
  • Property transfer holds in both directions: $U(A,B)$ has the lifting property or is RFD exactly when $A$ does, and if $A$ satisfies the UCT then so does $U(A,B)$; for the reduced version, exactness of $U_{\omega,\mu}(A,B)$ is equivalent to exactness of $A$, and in the pure-state case nuclearity is equivalent.
  • Under faithful diffuse traces with the dimension condition $N\ge 2$, the reduced algebra $U_{\omega,\mu}(A,B)$ is simple, has a unique trace, and has stable rank 1; the von Neumann algebra it generates is a full, prime, non-amenable factor of type II$_1$ or III$_\lambda$ ($\lambda\ne 0$), with explicit T- and $\tau$-invariants and, under stated dimension hypotheses, no Cartan subalgebra.
  • $U(A,A)$ carries a quantum semigroup structure; for finite-dimensional $A$ its invertible states are exactly the characters, and the semigroup is a compact quantum group only when $A=\mathbb{C}$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Our inference: because $A \mapsto U(A,B)$ is a left adjoint (Theorem 4.20), it should preserve any colimits that exist in the category of locally separable locally C*-algebras; the paper does not spell out such a colimit-preservation statement, but it would give a tool for computing $U(-,B)$ on free products and pushouts.
  • Our inference: the matched-pair theorem suggests that the difficulty for infinite-dimensional $B$ is genuinely analytic, not algebraic; a natural test is whether the universal locally C*-algebra $U(\mathbb{C}_2, C([0,1]))$ admits any nonzero bounded representation into $B(H)$ that factors through a separable C*-algebra quotient.
  • Our inference: the explicit T- and $\tau$-invariant formulas depending on the spectra of the matrices $Q_\kappa$ could be used to distinguish the factors $U''_{\omega,\mu}(A,B)$ as $\mu$ varies, a separation application the paper leaves implicit.
  • Our inference: the result that invertible states on $U(A,A)$ are characters for finite-dimensional $A$ indicates that the quantum semigroup encodes no non-classical symmetries in finite dimensions; it would be interesting to see whether infinite-dimensional $A$ produces genuinely quantum invertible states, which the paper does not address.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. Given two unital C*-algebras A and B, the paper studies the universal unital C*-algebra U(A,B) generated by the coefficients of a unital *-homomorphism ρ: A → B ⊗ U(A,B), when it exists (matched pairs). For finite-dimensional B, it establishes preservation of LP/LLP, RFD, primitivity under a dimension condition, UCT, and computes K-theory. It then introduces a reduced version U_{ω,μ}(A,B) associated with states, proves exactness/nuclearity/simplicity criteria and absence of projections, and identifies the generated von Neumann algebra as a full, prime, non-amenable factor with no Cartan subalgebra under suitable hypotheses, with results on the Haagerup property and Connes embeddability. For general B, the paper shows that for separable A with dim(A) ≥ 2, matchedness iff B is finite-dimensional, and constructs a universal locally C*-algebra U(A,B) for arbitrary locally C*-algebras A,B, including a left adjoint statement and a quantum semigroup structure on U(A,A).

Significance. The paper is a substantial contribution to the operator-algebraic study of quantum homomorphisms. It provides a broad and largely self-contained treatment: the isomorphism A * M_N(C) ≅ M_N(C) ⊗ U(A,M_N(C)) is proven, the reduced free product identification in Theorem 3.3 is established in detail, and the construction of the universal locally C*-algebra via projective limits is carried out with proofs of completeness and density. The von Neumann algebraic results (Theorem C) are strong and use deep external theorems (free product factors, fullness, absence of Cartan) appropriately. The paper also makes good use of prior results by the same authors and others as tools rather than assuming conclusions. If the flaw in the proof of Theorem 4.3 is corrected, the central claims are significant and likely correct.

major comments (2)
  1. [Section 4.1, proof of Theorem 4.3] The assertion "Since D is abelian, it has the Lance's weak expectation property i.e. there is a normal conditional expectation E : M → N" is false. The weak expectation property for an abelian subalgebra D ⊂ B yields a ucp map E : B** → D** extending the identity on D** (because D** is injective), but this map need not be normal. For example, if B = B(L^2([0,1])) and D = L^∞([0,1]) acting by multiplication, any normal ucp map from B(H) to L^∞ would compose with point evaluations to give normal states on B(H), which are necessarily trace-class; this is impossible. Consequently, the claim that ω∘E ∈ B* for every ω ∈ D* does not follow as written. The proof can be repaired by taking E to be any ucp left inverse (not necessarily normal) and defining Ψ(ω) as the restriction of ω∘E to B; the Claim remains valid because E(b) ∈ D**, so ω ↦→ ω(E(b)) is weak*-continuous. The authors should correct this point, as it is load-bearing for the non-matched direction of Theorem 4.3.
  2. [Section 4.1, Lemma 4.1] Lemma 4.1 is false as stated. For X = c_0, the sequence (e_n) in B1(X*) = B1(ℓ_1) converges weak* to 0, but for φ = (1,1,1,...) ∈ X** = ℓ_∞, e_n(φ) = 1 does not converge to 0; hence the image of (e_n) in X*** does not converge weak* to the image of 0. The use of Lemma 4.1 in the proof of the Claim in Theorem 4.3 is unnecessary: the continuity of ω ↦→ ω(E(b)) follows directly from E(b) ∈ D** and the definition of the weak* topology on D*. The authors should either correct Lemma 4.1 (if a weaker version suffices) or remove it and prove the required continuity directly.
minor comments (5)
  1. [Theorem 3.8(2)] There is a typo: "either K ⁄= 2 and N ≥ 2 of K = 2" should read "or K = 2".
  2. [Theorems 3.6 and 3.8] The phrase "It's Connes' τ-invariant" appears in the statements; it should be "Its Connes' τ-invariant".
  3. [Section 4.1, Claim] In the proof of the Claim, the continuity of ω ↦→ ω(E(b)) does not require Lemma 4.1; it follows directly from E(b) ∈ D** and the definition of the weak* topology on D*. The authors may wish to simplify the proof accordingly.
  4. [Remark 2.8] The notation A∗rN for the reduced free product is used before it is defined in the text; consider adding a brief definition or a pointer to Section 3.1.1.
  5. [Proposition 2.14(3)] The proof of primitivity in the case dim(A)=2, dim(B)=3 is implicit in the discussion following the case L ≥ 3; a clarifying sentence would help the reader verify that all dimension combinations are covered.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the universal object is constructed explicitly and self-citations are standalone tools; the known proof gap in Theorem 4.3 is a correctness issue, not circularity.

full rationale

The paper does not derive its conclusions from the same conclusions in disguise. The finite-dimensional matched pair algebra U(A,B) is presented explicitly via free products and matrix coefficients (Proposition 2.5), and the reduced U_{ω,μ}(A,B) is built from a GNS construction of an explicitly defined free-product state (Proposition 3.2, Theorem 3.3). The locally C*-algebra universal object U(A,B) is constructed as a projective limit over all quantum homomorphisms whose coefficient algebra is a quotient of C*(F∞), and the universal property is then proved from that construction (Theorem 4.19), so the universal object is not assumed into existence. There are no fitted parameters or predictions. Several cited preparatory results are by subsets of the current authors ([Man23], [Pat13], [FG18], [FG20]), but they are published theorems used as lemmas, not conclusions assumed to prove themselves; they are independent evidence under the rules above. The one notable defect is not circular: the proof of Theorem 4.3 asserts 'Since D is abelian, it has the Lance's weak expectation property i.e. there is a normal conditional expectation E : M -> N', which misstates Lance's WEP because injectivity supplies only a ucp (generally non-normal) map. That is a proof gap or correctness risk in the non-matched direction, not a reduction of the theorem to its own input. Accordingly the circularity score is low (2) on account of minor self-citations, with no circular step identified.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central claims rest on standard tools of free product C*-algebras, KK-theory, and von Neumann algebra free products. The paper introduces no free parameters and no invented unobserved entities; the universal locally C*-algebra U(A,B) is constructed explicitly as a projective limit of quotients of C*(F_infty), not postulated from a hat.

assumptions (4)
  • domain assumption All C*-algebras and Hilbert spaces throughout the paper are assumed separable (Section 1.1).
    Used throughout, in particular in the matched-pair classification (Theorem 4.3) and in representing the coefficient algebras A_rho as quotients of C*(F_infty) (Theorem 4.19).
  • standard math Every abelian C*-algebra D admits a normal conditional expectation from B** onto D** (Lance weak expectation property), used in the Claim inside Theorem 4.3.
    This is a standard consequence of injectivity of abelian von Neumann algebras and is load-bearing for the non-matched direction of Theorem D.
  • standard math The canonical surjection A_omega * M_N(C) -> A_omega *_r M_N(C) is a KK-equivalence, cited from [FG20].
    Used in Theorem 3.3(1) to prove KK-equivalence of U_{omega,mu}(A) with U_N(A_omega); the precise hypotheses are not restated in the text.
  • standard math The free-product factor theorems from [Ued11a], [Ued11b], [BHR14], [CKS+23], and [BDJ08] apply to the constructed free products under the stated dimension and diffuseness conditions.
    These are the foundational external results behind Theorems 3.6 and 3.8, relied on without proof in the text.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Operator Algebras of Universal Quantum Homomorphisms." pith.science (2026). https://pith.science/paper/PV2U2YJR

@misc{pith2026241119199,
  author       = {Pith},
  title        = {Pith review of: Operator Algebras of Universal Quantum Homomorphisms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PV2U2YJR}},
  note         = {Machine review of arXiv:2411.19199}
}
abstract

Given two unital C*-algebras $A$ and $B$, we study, when it exists, the universal unital $C^*$-algebra $\mathcal{U}(A,B)$ generated by the coefficients of a unital $*$-homomorphism $\rho\,:\, A\rightarrow B\otimes\mathcal{U}(A,B)$. When $B$ is finite dimensional, it is well known that $\mathcal{U}(A,B)$ exists and we study in this case properties LP, RFD, primitiveness and the UCT as well as $K$-theory. We also construct a reduced version of $\mathcal{U}(A,B)$ for which we study exactness, nuclearity, simplicity, absence of non-trivial projection and $K$-theory. Then, we consider the von Neumann algebra generated by the reduced version and study factoriality, amenability, fullness, primeness, absence of Cartan, Connes' invariants, Haagerup property and Connes' embeddability. Next, we consider the case when $B$ is infinite dimensional: we show that for any non-trivial separable unital $C^*$-algebra $A$, $\mathcal{U}(A,B)$ exists if and only if $B$ is finite dimensional. Nevertheless, we show that there exists a unique unital locally $C^*$-algebra generated by the coefficients of a unital continuous $*$-homomorphism $\rho\,:\, A\rightarrow B\otimes\mathcal{U}(A,B)$. Finally, we study a natural quantum semigroup structure on $\mathcal{U}(A,A)$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On free wreath products of classical groups

    math.OA 2025-12 conditional novelty 6.0 of 10

    A closed non-crossing-partition formula is found for the Haar state of free wreath products of classical groups, yielding full II_1 factors and simple C*-algebras with unique trace.

Reference graph

Works this paper leans on

27 extracted references · 26 canonical work pages · cited by 1 Pith paper

  1. [1]

    Brown, Kenneth J

    Nathanial P. Brown, Kenneth J. Dykema, and Kenley Jung, Free entropy dimension in amalgamated free products, Proc. Lond. Math. Soc. (3) 97 (2008), no. 2, 339--367

    work page 2008

  2. [2]

    R\'emi Boutonnet, Cyril Houdayer, and Sven Raum, Amalgamated free product type III factors with at most one C artan subalgebra , Compos. Math. 150 (2014), no. 1, 143--174. 3164361

    work page 2014

  3. [3]

    Brown and Narutaka Ozawa, C^* -algebras and finite-dimensional approximations , Graduate Studies in Mathematics, vol

    Nathanial P. Brown and Narutaka Ozawa, C^* -algebras and finite-dimensional approximations , Graduate Studies in Mathematics, vol. 88, American Mathematical Society, Providence, RI, 2008

    work page 2008

  4. [4]

    Florin P. Boca, A note on full free product C^* -algebras, lifting and quasidiagonality , Operator theory, operator algebras and related topics ( T imi s oara, 1996), Theta Found., Bucharest, 1997, pp. 51--63. 1728412

    work page 1996

  5. [5]

    Brown, Ext of certain free product C -algebras , J

    Lawrence G. Brown, Ext of certain free product C -algebras , J. Operator Theory 6 (1981), no. 1, 135--141

    work page 1981

  6. [6]

    Martijn Caspers, Mario Klisse, Adam Skalski, Gerrit Vos, and Mateusz Wasilewski, Relative H aagerup property for arbitrary von N eumann algebras , Adv. Math. 421 (2023), Paper No. 109017, 61. 4574485

    work page 2023

  7. [7]

    Ken Dykema and Francisco Torres-Ayala, Primitivity of unital full free products of residually finite dimensional C^* -algebras , J. Funct. Anal. 267 (2014), no. 11, 4519--4558. 3269885

    work page 2014

  8. [8]

    Dykema, Exactness of reduced amalgamated free product C^* -algebras , Forum Math

    Kenneth J. Dykema, Exactness of reduced amalgamated free product C^* -algebras , Forum Math. 16 (2004), no. 2, 161--180

    work page 2004

Show all 27 references
  1. [9]

    Loring, Finite-dimensional representations of free product C^* -algebras , Internat

    Ruy Exel and Terry A. Loring, Finite-dimensional representations of free product C^* -algebras , Internat. J. Math. 3 (1992), no. 4, 469--476. 1168356

    1992

  2. [10]

    Pierre Fima and Emmanuel Germain, The KK -theory of fundamental C^* -algebras , Trans. Amer. Math. Soc. 370 (2018), no. 10, 7051--7079. 3841842

    2018

  3. [11]

    , The KK -theory of amalgamated free products , Adv. Math. 369 (2020), 107174, 35. 4093607

    2020

  4. [12]

    200, Elsevier Science B.V., Amsterdam, 2005

    Maria Fragoulopoulou, Topological algebras with involution, North-Holland Mathematics Studies, vol. 200, Elsevier Science B.V., Amsterdam, 2005. 2172581

    2005

  5. [13]

    Harris, A non-commutative unitary analogue of K irchberg's conjecture , Indiana Univ

    Samuel J. Harris, A non-commutative unitary analogue of K irchberg's conjecture , Indiana Univ. Math. J. 68 (2019), no. 2, 503--536

    2019

  6. [14]

    Cyril Houdayer, Amine Marrakchi, and Peter Varraedt, Fullness and C onnes’ invariant of type III tensor product factors , J. Math. Pures Appl. 121 (2019), 113–134

    2019

  7. [15]

    Kadison and John R

    Richard V. Kadison and John R. Ringrose, Fundamentals of the theory of operator algebras. V ol. I , Graduate Studies in Mathematics, vol. 15, American Mathematical Society, Providence, RI, 1997, Elementary theory, Reprint of the 1983 original. 1468229

    1997

  8. [16]

    Indian Acad

    Malay Mandal, Some C^* -algebraic properties of non-commutative unitary C^* -algebra and its state space structure , Proc. Indian Acad. Sci. Math. Sci. 133 (2023), no. 2, Paper No. 33, 19

    2023

  9. [17]

    Kevin McClanahan, C^* -algebras generated by elements of a unitary matrix , J. Funct. Anal. 107 (1992), no. 2, 439--457

    1992

  10. [18]

    Operator Theory 33 (1995), no

    , K -theory for certain reduced free products of C^* -algebras , J. Operator Theory 33 (1995), no. 2, 201--221

    1995

  11. [19]

    Issan Patri, Normal subgroups, center and inner automorphisms of compact quantum groups, Internat. J. Math. 24 (2013), no. 9, 1350071, 37. 3109443

    2013

  12. [20]

    Christopher Phillips, Inverse limits of C^* -algebras and applications , Operator algebras and applications, V ol

    N. Christopher Phillips, Inverse limits of C^* -algebras and applications , Operator algebras and applications, V ol. 1, London Math. Soc. Lecture Note Ser., vol. 135, Cambridge Univ. Press, Cambridge, 1988, pp. 127--185. 996445

    1988

  13. [21]

    Operator Theory 35 (1996), no

    Gilles Pisier, A simple proof of a theorem of K irchberg and related results on C^* -norms , J. Operator Theory 35 (1996), no. 2, 317--335. 1401692

    1996

  14. [22]

    Rieffel, Dimension and stable rank in the K -theory of C *-algebras , Proceedings of the London Mathematical Society s3-46 (1983), no

    Marc A. Rieffel, Dimension and stable rank in the K -theory of C *-algebras , Proceedings of the London Mathematical Society s3-46 (1983), no. 2, 301--333

    1983

  15. [23]

    Sven Raum and Adam Skalski, Classifying right-angled H ecke C *-algebras via K -theoretic invariants , Adv. Math. 407 (2022), Paper No. 108559, 24. 4452673

    2022

  16. [24]

    So tan, Quantum families of maps and quantum semigroups on finite quantum spaces, J

    Piotr M. So tan, Quantum families of maps and quantum semigroups on finite quantum spaces, J. Geom. Phys. 59 (2009), no. 3, 354--368

    2009

  17. [25]

    Hannes Thiel, Diffuse traces and H aar unitaries , preprint arXiv 2009.06940, 2022

    2009 arXiv

  18. [26]

    Yoshimichi Ueda, Factoriality, type classification and fullness for free product von N eumann algebras , Adv. Math. 228 (2011), no. 5, 2647--2671. 2838053

    2011

  19. [27]

    , On type III_1 factors arising as free products , Math. Res. Lett. 18 (2011), no. 5, 909--920. 2875863

    2011

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.