Pith. sign in

REVIEW 3 major objections 5 minor 43 references

On the top-dimensional $\ell^2$-Betti numbers

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read A subgroup's nonzero top Betti number forces the group's too.

desk verdict Genuinely new transfer trick with solid applications to Out(Fn)/Aut(Fn); the 3-manifold theorems are conditional on unpublished [CGMT] and the §7 fallback contains a false geometric-dimension claim. read the letter →

arxiv 1909.01633 v4 pith:DOOZJXYD submitted 2019-09-04 math.GR

Damien Gaboriau (UMPA-ENSL) , Camille Noûs This is my paper · ORCID
classification math.GR MSC 37A2019K5620F2820E1557Mxx
keywords ℓ2-Bettinumberstop-dimensionalBettiAut(Fn)Out(Fn)Torelligroups3-manifoldergodicdimensionmeasuredequivalencerelations
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 note introduces a transfer trick for top-dimensional $\ell^2$-Betti numbers: if a subgroup of a countable group has non-zero $\ell^2$-Betti number in the top dimension $d$ of a proper action, then the ambient group has a non-zero $d$-th $\ell^2$-Betti number for that same action. The contrapositive says that vanishing for the group forces vanishing for every subgroup in that degree. The same principle is proved for probability-measure-preserving equivalence relations, with geometric dimension playing the role of complex dimension. The paper applies it to show non-vanishing of the $\ell^2$-Betti numbers of $\mathrm{Out}(F_n)$, $\mathrm{Aut}(F_n)$, and their Torelli subgroups in their virtual cohomological degrees, and to prove that every subgroup of a compact 3-manifold group has vanishing second and third $\ell^2$-Betti numbers. It also determines the ergodic dimension of products such as $F_2^d\times\mathbb{Z}$ and $\mathrm{Out}(F_n)\times\mathbb{Z}^k$.

What carries the argument

The load-bearing object is the top-dimensional reduced $\ell^2$-homology. In a $d$-dimensional complex the $(d+1)$-chains vanish, so $\bar H_d^{(2)}$ is exactly the kernel of the boundary map $\partial_d$, not a quotient. Inclusions of subcomplexes inject these kernels, so if a $\Lambda$-cocompact exhaustion of $L$ has a non-zero kernel in degree $d$, its $\Gamma$-saturation has a non-zero kernel too; the faithfulness of the dimension function converts that into non-vanishing of the $\ell^2$-Betti number. In the measured setting the same inclusion argument runs on direct integrals of $\ell^2$-chain complexes over the probability space, with the dimension function attached to the ambient operator algebra of the equivalence relation. The paper also uses explicit poly-free subgroups—$F_2\ltimes F_2^{2n-4}$ inside $\mathrm{Out}(F_n)$ and its pullback inside $\mathrm{Aut}(F_n)$—whose $\ell^2$-Betti numbers were already computable, as the nonzero subgroups that trigger the transfer.

What would settle it

A single counterexample would settle it: find a countable group $\Gamma$ acting properly on a $d$-dimensional simplicial complex $L$, and a subgroup $\Lambda$, with $\beta_d^{(2)}(\Lambda\curvearrowright L)\neq 0$ while $\beta_d^{(2)}(\Gamma\curvearrowright L)=0$. Theorem 1.8 says this cannot happen. A reader could look for the analogous manifold example: a compact aspherical 4-manifold whose fundamental group has vanishing fourth $\ell^2$-Betti number but contains a subgroup with non-vanishing fourth $\ell^2$-Betti number.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.8: let $\Gamma$ act properly by simplicial automorphisms on a $d$-dimensional complex $L$, and let $\Lambda\leq \Gamma$ be a subgroup. If $\beta_d^{(2)}(\Lambda\curvearrowright L)\neq 0$, then $\beta_d^{(2)}(\Gamma\curvearrowright L)\neq 0$. The measured analogue, Theorem 5.1, says that whenever a probability-measure-preserving equivalence relation $\mathcal{R}$ has geometric dimension $\leq d$ and $\beta_d^{(2)}(\mathcal{R},\mu)=0$, every sub-equivalence relation $\mathcal{S}\leq\mathcal{R}$ also has $\beta_d^{(2)}(\mathcal{S},\mu)=0$. These statements are proved by looking at the kernel of the boundary map in top degree, which is the whole reduced $\ell^2$-homology in that degree. The applications are: $\beta_{2n-3}^{(2)}(\mathrm{Out}(F_n))>0$, $\beta_{2n-2}^{(2)}(\mathrm{Aut}(F_n))>0$, analogous non-vanishing for Torelli groups, vanishing $\beta_2^{(2)}=\beta_3^{(2)}=0$ for all subgroups of compact 3-manifold groups, and ergodic-dimension computations including $F_2^d\times\mathbb{Z}$ having ergodic dimension $d+1$.

Load-bearing premise

The paper's manifold applications hinge on an unpublished cited result asserting that a compact aspherical $d$-manifold group has ergodic dimension at most $d-1$; if that result is unavailable, Theorem 1.4 has no proof except in dimension 3.

Editorial extensions

If this is right

  • The groups $\mathrm{Out}(F_n)$ and $\mathrm{Aut}(F_n)$ have non-vanishing $\ell^2$-Betti numbers in degrees $2n-3$ and $2n-2$ respectively, at their virtual cohomological dimensions.
  • The Torelli subgroups $T_n$ and $K_n$ have non-vanishing $\ell^2$-Betti numbers in degrees $2n-4$ and $2n-3$ respectively.
  • Every subgroup of the fundamental group of a compact 3-manifold has vanishing second and third $\ell^2$-Betti numbers; if the subgroup is infinite, its $\ell^2$-Euler characteristic lies in $[-\infty,0]$.
  • A group with ergodic dimension at most $d$ and vanishing $\beta_d^{(2)}$ cannot contain a subgroup with non-vanishing $\beta_d^{(2)}$; consequently $F_2^d\times\mathbb{Z}$ has ergodic dimension $d+1$, and multiplying by an infinite amenable group raises the ergodic dimension by one whenever the relevant top Betti number is non-zero.
  • By the approximation theorem for $\ell^2$-invariants, the normalized rational homology of $\mathrm{Out}(F_n)$ and $\mathrm{Aut}(F_n)$ in their top degrees has positive limit along residual chains of finite-index subgroups.

Reading between the lines

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

  • The transfer principle is not tied to free groups or 3-manifolds: it applies to any group with a top-dimensional classifying complex and any subgroup with a computable non-vanishing top $\ell^2$-Betti number, so other families of automorphism groups are natural testing grounds.
  • Because the proof identifies the non-vanishing classes as images of classes from explicit poly-free subgroups, it suggests a route to construct explicit top-dimensional cycles in the spine of outer space, rather than only existence statements.
  • If the cited ergodic-dimension bound for aspherical manifold groups were sharpened toward a middle-dimensional bound, the same theorem would force additional vanishing for all subgroups of such groups; the paper leaves that sharpening as an open question.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper introduces a transfer principle for top-dimensional ℓ2-Betti numbers: if a subgroup (or sub-equivalence relation) has non-vanishing top-degree ℓ2-Betti number for a proper action (or a discrete complex), then the ambient group (or equivalence relation) has non-vanishing top-degree ℓ2-Betti number as well; equivalently, vanishing in the top degree for the ambient object forces vanishing for all subobjects. This is proved in a topological version (Theorem 1.8), a measured version for equivalence relations (Theorem 5.1), and applied in three directions: non-vanishing for Out(F_n), Aut(F_n), and their Torelli subgroups in their virtual cohomological dimensions; vanishing of β_2 and β_3 for all subgroups of fundamental groups of compact 3-manifolds; and computation of the ergodic dimension of products Λ×B where B is infinite amenable. The paper is concise and mostly clearly written, but the manifold applications rely on the unpublished preprint [CGMT], and the alternative argument offered in §7 contains a false geometric-dimension assertion.

Significance. The transfer principle is a genuinely useful idea: it is simple, self-contained given standard ℓ2-invariant machinery, and it converts subgroup non-vanishing into ambient non-vanishing without coamenability or finite-index assumptions. The applications to Out(F_n), Aut(F_n), and the Torelli subgroups are explicit and do not depend on unpublished work; the poly-free subgroup constructions are concrete and the computations using the cited results of Lück and Sauer–Thom appear correct. If the manifold theorems were fully established, they would also be significant, and the ergodic-dimension corollaries are nice. However, the manuscript currently does not provide a verifiable unconditional proof of Theorems 1.4 and 1.5: Theorem 1.4 is a direct appeal to an unpublished preprint, and the alternative proof in §7 rests on a false geometric-dimension claim. The core transfer results and the automorphism-group applications are sound, but the advertised manifold applications need substantial repair.

major comments (3)
  1. [§7, proof of Theorem 1.4] Theorem 1.4 is proved by a one-line appeal to the unpublished preprint [CGMT] for the assertion that the fundamental group of a compact connected aspherical d-manifold has ergodic dimension at most d−1. This assertion is load-bearing: without it, Theorem 1.4 does not follow from Theorem 1.6. Since [CGMT] is not available to the reader, Theorem 1.4 is not currently verifiable. The authors should either supply a proof of the needed ergodic-dimension bound, cite a published version, or explicitly state Theorem 1.4 as conditional on [CGMT].
  2. [§7, final paragraph of the proof of Theorem 1.5] The alternative argument intended to avoid [CGMT] states that a non-cocompact lattice Γ'_i in Isom(H^3) has geometric dimension at most 2. This is false: Γ'_i is virtually torsion-free, and a torsion-free finite-index subgroup has cohomological dimension 3 because it is the fundamental group of a finite-volume hyperbolic 3-manifold; hence any proper action of Γ'_i on a contractible complex must have dimension at least 3. If the intended word was 'ergodic dimension' rather than 'geometric dimension', then the needed bound is exactly the content of [CGMT], so the alternative still depends on the unpublished result. Thus the proof of Theorem 1.5 as written is incomplete and does not provide an unconditional proof.
  3. [§7, proof of Theorem 1.5] The main proof of Theorem 1.5 also relies on [CGMT] for the statement that π1(M) has ergodic dimension at most 2 for every compact 3-manifold M. The introduction's statement of the [CGMT] result is formulated only for compact aspherical manifolds, and the extension to all compact 3-manifold groups is not justified in the manuscript. Since [CGMT] is unpublished, this constitutes another load-bearing gap in the proof of Theorem 1.5.
minor comments (5)
  1. [§1.3 and §3] The notation F_2^{2n-4} is not explicitly defined; from the construction in §3 it is the direct product of 2n−4 copies of the free group F_2, but this should be stated explicitly to avoid confusion with the free group of rank 2n−4.
  2. [Abstract and §1.3] The expression 'F_2^d × Z' in the abstract and §1.3 is ambiguous; if the intended group is the free group F_d, the notation should be corrected to F_d × Z.
  3. [§7, Question 7.1] Question 7.1 reads 'of dimension?' and appears to be missing the dimension variable; presumably it should refer to 'of dimension d'.
  4. [§5, proof of Theorem 5.1] The construction of the S-exhaustion Θ_i inside the R-exhaustion Ω_i by taking intersections is only sketched; a sentence explaining why the intersection remains a good S-exhaustion would improve clarity.
  5. [References] Several references are marked 'in preparation' or 'preprint', including [CGMT], [AG20], and [Gab20]; the dependence of the main theorems on unpublished references should be clearly flagged in the text.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the top-dimensional transfer theorem is proved directly from chain complexes and von Neumann dimensions, and the applications use explicit subgroup constructions rather than fitted inputs.

full rationale

The central derivation chain is self-contained. Theorem 1.8 proves that if a subgroup action has non-zero top-dimensional L2-Betti number on a proper d-dimensional complex, then the full group action does as well; the proof compares kernels of the top boundary map under inclusions and uses faithfulness of the von Neumann dimension. Theorem 5.1 is the analogous measured statement, also proved directly from the definition of L2-Betti numbers as double limits of von Neumann dimensions. Proposition 3.1 computes the L2-Betti numbers of the relevant poly-free subgroups from standard extension results and Euler characteristics, not from the conclusions being derived. The applications to Out(F_n), Aut(F_n), and Torelli groups construct explicit subgroups (e.g., F_2 semidirect products with free abelian groups) and invoke the known contractible Culler-Vogtmann spine; no fitted parameter is renamed as a prediction. The manifold theorems do rely on the unpublished preprint [CGMT] for the ergodic dimension bound of compact aspherical manifold groups, and this citation includes the first author; however, the bound is an external geometric statement, not the target conclusion, and the paper itself flags the dependence and supplies an alternative argument for the 3-dimensional case. The §7 fallback concerns geometric dimension of non-cocompact lattices, which is a factual geometric assertion, not a definitional equivalence. No equation in the paper is equal to its input by construction, and no theorem is justified only by restating its assumptions. Thus the circularity score is 0.

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

The paper introduces no fitted constants and no new mathematical entities. Its central claim rests on standard ℓ2-invariant theory, standard geometric facts about automorphism groups and 3-manifolds, and one unpublished external result [CGMT].

assumptions (5)
  • standard math ℓ2-Betti numbers of pmp equivalence relations and group actions are well-defined via von Neumann dimensions and satisfy the stated invariance and vanishing properties.
    Used throughout Sections 2, 5, and 6 as the foundational framework from [Gab02] and [CG86].
  • standard math The spine of Culler-Vogtmann Outer space is a contractible 2n-3 dimensional proper Out(Fn)-complex, with an avatar giving virtual cohomological dimension 2n-2 for Aut(Fn).
    Invoked in the proof of Theorem 1.1 in Section 3, citing [CV86] and [Hat95].
  • domain assumption The unpublished result [CGMT] that π1(M) of a compact connected aspherical d-manifold has ergodic dimension at most d-1.
    This assumption carries Theorems 1.4 and the first proof of Theorem 1.5 in Section 7; the authors do not provide an alternative proof for general d.
  • standard math Perelman geometrization, Kneser-Milnor decomposition, and Lott-Lück vanishing of β2 for aspherical 3-manifold groups.
    Used in the proof of Theorem 1.5 in Section 7 to reduce to aspherical pieces and compute β2(π1(M)).
  • standard math The Lück and Sauer-Thom spectral sequence results ensuring that poly-free groups have vanishing ℓ2-Betti numbers except in top dimension, with the top value computed from Euler characteristic multiplicativity.
    Proposition 3.1 relies on these results for the poly-free subgroup computations in Sections 3 and 4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the top-dimensional $\ell^2$-Betti numbers." pith.science (2026). https://pith.science/paper/DOOZJXYD

@misc{pith2026190901633,
  author       = {Pith},
  title        = {Pith review of: On the top-dimensional $\ell^2$-Betti numbers},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DOOZJXYD}},
  note         = {Machine review of arXiv:1909.01633}
}
abstract

The purpose of this note is to introduce a trick which relates the (non)-vanishing of the top-dimensional $\ell^2$-Betti numbers of actions with that of sub-actions. We provide three different types of applications: we prove that the $\ell^2$-Betti numbers of Aut($F_n$) and Out($F_n$) (and of their Torelli subgroups) do not vanish in degree equal to their virtual cohomological dimension, we prove that the subgroups of the 3-manifold groups have vanishing $\ell^2$-Betti numbers in degree 3 and 2 and we prove for instance that $F_2^d \times Z$ has ergodic dimension $d + 1$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 41 canonical work pages

  1. [1]

    Ab \'e rt and D

    M. Ab \'e rt and D. Gaboriau. Higher dimensional cost and profinite actions. in preparation, 2020

    work page 2020

  2. [2]

    M. Atiyah. Elliptic operators, discrete groups and von N eumann algebras. In Colloque ``Analyse et Topologie'' en l'Honneur de Henri Cartan (Orsay, 1974) , pages 43--72. Ast\'erisque, SMF, No. 32--33. Soc. Math. France, Paris, 1976

    work page 1974

  3. [3]

    Bartholdi

    L. Bartholdi. The rational homology of the outer automorphism group of _7 . New York J. Math. , 22:191--197, 2016

    work page 2016

  4. [4]

    Baumslag

    G. Baumslag. Automorphism groups of residually finite groups. J. London Math. Soc. , 38:117--118, 1963

    work page 1963

  5. [5]

    Besson, M

    L.Bessi\`eres, G. Besson, M. Boileau, S. Maillot, and J. Porti. Geometrisation of 3-manifolds , volume 13 of EMS Tracts in Mathematics . European Mathematical Society (EMS), Z\" u rich, 2010

    work page 2010

  6. [6]

    Bestvina, K.-U

    M. Bestvina, K.-U. Bux, and D. Margalit. Dimension of the T orelli group for Out (F_n) . Invent. Math. , 170(1):1--32, 2007

    work page 2007

  7. [7]

    Bartholdi and D

    L. Bartholdi and D. Gaboriau. Around the homology of ( _n) . in preparation, 2020

    work page 2020

  8. [8]

    Bestvina, M

    M. Bestvina, M. Kapovich, and B. Kleiner. Van K ampen's embedding obstruction for discrete groups. Invent. Math. , 150(2):219--235, 2002

    work page 2002

Show all 43 references
  1. [9]

    A. Borel. The L 2 -cohomology of negatively curved R iemannian symmetric spaces. Ann. Acad. Sci. Fenn. Ser. A I Math. , 10:95--105, 1985

    1985

  2. [10]

    K. Brown. Cohomology of groups . Springer-Verlag, New York, 1982

    1982

  3. [11]

    M. R. Bridson and K. Vogtmann. Automorphism groups of free groups, surface groups and free abelian groups. In Problems on mapping class groups and related topics , volume 74 of Proc. Sympos. Pure Math. , pages 301--316. Amer. Math. Soc., Providence, RI, 2006

    2006

  4. [12]

    Borinsky and K

    M. Borinsky and K. Vogtmann . The Euler characteristic of Out (F_n) . arXiv e-prints , page arXiv:1907.03543, Jul 2019

    1907 arXiv

  5. [13]

    Cheeger and M

    J. Cheeger and M. Gromov. L 2 -cohomology and group cohomology. Topology , 25(2):189--215, 1986

    1986

  6. [14]

    C. T. Conley, D. Gaboriau, A. S. Marks, and R. D. Tucker-Drob . One-ended spanning subforests and treeability of groups. preprint

  7. [15]

    A. Connes. Sur la th\'eorie non commutative de l'int\'egration. In Alg\`ebres d'op\'erateurs (S\'em., Les Plans-sur-Bex, 1978) , pages 19--143. Springer, Berlin, 1979

    1978

  8. [16]

    Culler and K

    M. Culler and K. Vogtmann. Moduli of graphs and automorphisms of free groups. Invent. Math. , 84(1):91--119, 1986

    1986

  9. [17]

    J. Dixmier. Les alg\`ebres d'op\'erateurs dans l'espace hilbertien (alg\`ebres de von N eumann) . Gauthier-Villars \'Editeur, Paris, 1969. Deuxi\`eme \'edition, revue et augment\'ee, Cahiers Scientifiques, Fasc. XXV

    1969

  10. [18]

    J. Dodziuk. L^ 2 harmonic forms on rotationally symmetric R iemannian manifolds. Proc. Amer. Math. Soc. , 77(3):395--400, 1979

    1979

  11. [19]

    B. Eckmann. Introduction to l 2 -methods in topology: reduced l 2 -homology, harmonic chains, l 2 - B etti numbers. Israel J. Math. , 117:183--219, 2000. Notes prepared by Guido Mislin

    2000

  12. [20]

    Eilenberg and T

    S. Eilenberg and T. Ganea. On the L usternik- S chnirelmann category of abstract groups. Ann. of Math. (2) , 65:517--518, 1957

    1957

  13. [21]

    Gaboriau

    D. Gaboriau. Invariants L 2 de relations d'\'equivalence et de groupes. Publ. Math. Inst. Hautes \'Etudes Sci. , 95:93--150, 2002

    2002

  14. [22]

    Gaboriau

    D. Gaboriau. On the ergodic dimension. in preparation, 2020

    2020

  15. [23]

    Gaboriau and R

    D. Gaboriau and R. Lyons. A measurable-group-theoretic solution to von N eumann's problem. Invent. Math. , 177(3):533--540, 2009

    2009

  16. [24]

    E. K. Grossman. On the residual finiteness of certain mapping class groups. J. London Math. Soc. (2) , 9:160--164, 1974/75

    1974

  17. [25]

    A. Hatcher. Homological stability for automorphism groups of free groups. Comment. Math. Helv. , 70(1):39--62, 1995

    1995

  18. [26]

    Kammeyer

    H. Kammeyer. Introduction to ^2 -invariants . Springer-Verlag, 2019

    2019

  19. [27]

    Y. Kida. The mapping class group from the viewpoint of measure equivalence theory. Mem. Amer. Math. Soc. , 196(916):viii+190, 2008

    2008

  20. [28]

    Kleiner and J

    B. Kleiner and J. Lott. Notes on P erelman's papers. Geom. Topol. , 12(5):2587--2855, 2008

    2008

  21. [29]

    H. Kneser. Geschlossene Fl \"a chen in dreidimensionalen Mannigfaltigkeiten. Jahresbericht der Deutschen Mathematiker-Vereinigung , 38:248--259, 1929

    1929

  22. [30]

    Lott and W

    J. Lott and W. L \"u ck. L 2 -topological invariants of 3 -manifolds. Invent. Math. , 120(1):15--60, 1995

    1995

  23. [31]

    L \"u ck

    W. L \"u ck. Approximating L^2 -invariants by their finite-dimensional analogues. Geom. Funct. Anal. , 4(4):455--481, 1994

    1994

  24. [32]

    L \"u ck

    W. L \"u ck. Dimension theory of arbitrary modules over finite von N eumann algebras and L 2 - B etti numbers. I I . A pplications to G rothendieck groups, L 2 - E uler characteristics and B urnside groups. J. Reine Angew. Math. , 496:213--236, 1998

    1998

  25. [33]

    L \"u ck

    W. L \"u ck. L 2 -invariants: theory and applications to geometry and K -theory , volume 44. Springer-Verlag, Berlin, 2002

    2002

  26. [34]

    W. Magnus. \" U ber n -dimensionale G ittertransformationen. Acta Math. , 64(1):353--367, 1935

    1935

  27. [35]

    J. Milnor. A unique decomposition theorem for 3 -manifolds. Amer. J. Math. , 84:1--7, 1962

    1962

  28. [36]

    J. Nielsen. Die I somorphismengruppe der freien G ruppen. Math. Ann. , 91(3-4):169--209, 1924

    1924

  29. [37]

    R. Ohashi. The rational homology group of Out (F_n) for n 6 . Experiment. Math. , 17(2):167--179, 2008

    2008

  30. [38]

    Ornstein and B

    D. Ornstein and B. Weiss. Ergodic theory of amenable group actions. I . T he R ohlin lemma. Bull. Amer. Math. Soc. (N.S.) , 2(1):161--164, 1980

    1980

  31. [39]

    Perelman

    G. Perelman . The entropy formula for the Ricci flow and its geometric applications . arXiv Mathematics e-prints , page math/0211159, Nov 2002

    2002 arXiv

  32. [40]

    Perelman

    G. Perelman . Ricci flow with surgery on three-manifolds . arXiv Mathematics e-prints , page math/0303109, Mar 2003

    2003 arXiv

  33. [41]

    J.-P. Serre. Arbres, amalgames, SL 2 . Ast\'erisque, No. 46. Soci\'et\'e Math\'ematique de France, Paris, 1977

    1977

  34. [42]

    Sauer and A

    R. Sauer and A. Thom. A spectral sequence to compute L^2 -Betti numbers of groups and groupoids. J. Lond. Math. Soc. (2) , 81(3):747--773, 2010

    2010

  35. [43]

    Vogtmann

    K. Vogtmann. The cohomology of automorphism groups of free groups. In International C ongress of M athematicians. V ol. II , pages 1101--1117. Eur. Math. Soc., Z\" u rich, 2006

    2006

Pith tools

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