Pith. sign in

REVIEW 1 major objections 6 minor 39 references

Topological volumes of certain complete affine manifolds

T0 review · 1 major / 6 minor · reviewed 2026-08-08 · deepseek-v4-flash

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

Pith's one-line read Complete affine manifolds with amenable normal subgroups have zero simplicial volume.

desk verdict A clean, worthwhile advance on vanishing topological volumes for complete affine manifolds, with the main risk sitting on one external Kamishima citation that a referee should verify. read the letter →

arxiv 2502.06303 v1 pith:LQJPMFTE submitted 2025-02-10 math.GT math.DG

Alberto Casali , Marco Moraschini This is my paper · ORCID
classification math.GTmath.DG MSC 53A1557R1953C23
keywords completeaffinemanifoldsamenablecategorysimplicialvolumestableintegralminimalentropyinjectiveSeifertfiberingsapproximationChernconjecture
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

The paper proves that every closed, connected, complete affine manifold whose fundamental group contains an infinite amenable normal subgroup can be covered by at most dim(M) open sets whose inclusions have amenable image in the fundamental group. Because a dimension-sized amenable cover forces simplicial volume to vanish by the classical Vanishing Theorem, this settles a long-standing question about aspherical manifolds for the case of complete affine manifolds. The same cover estimate, refined to sets with polynomial-growth fundamental groups, gives vanishing of stable integral simplicial volume and of minimal volume entropy, so these manifolds satisfy integral approximation. The result reaches examples that earlier vanishing criteria could not handle, including two-dimensional complete affine tori whose holonomy contains no nontrivial pure translation.

What carries the argument

The load-bearing mechanism is the injective Seifert fibering, a projection M → B locally modeled on a product G × W modulo a discrete group action, with typical fiber G/Γ a homogeneous space of a Lie group. Proposition 4.5 shows that, over small open sets in the base, the preimage admits a finite regular cover diffeomorphic to (G/Γ) × R^dim(W); triangulating the compact base and pulling back the open stars of a barycentric subdivision produces an open cover of M of size dim(B)+1. A structure theorem cited as [Kam85, Proposition 1.3] supplies the fibering for complete affine manifolds with an infinite abelian normal subgroup in their fundamental group, while the Tits alternative and a characteristic-subgroup argument convert the amenable normal subgroup into such an abelian one. The typical fiber is then a torus T^k, whose fundamental group is virtually nilpotent, so both the amenable and polynomial-growth category bounds follow.

What would settle it

Construct, or find in the literature, a closed connected complete affine manifold whose fundamental group contains an infinite amenable normal subgroup but whose amenable category is dim(M)+1 or larger; the theorem forbids this, and tracing the proof shows the failure would have to occur in the structure theorem that produces the torus fibering. A more direct check is to verify the hypotheses of [Kam85, Proposition 1.3] for every closed complete affine manifold with an infinite amenable normal subgroup; if any such manifold fails them, the reduction in Theorem 5.1 breaks.

Watch

Extended reading notes

Core claim

The central claim is Theorem 5.1: for every closed connected complete affine manifold M whose fundamental group contains an infinite amenable normal subgroup, the amenable category satisfies catAm(M) ≤ catPolyfg(M) ≤ dim(M), where an open set is amenable precisely when its inclusion induces an amenable image in π1(M). The proof converts the geometric situation into a smooth injective Seifert fibering with a positive-dimensional torus as typical fiber, proves a general category bound for such fiberings, and then feeds the resulting dimension estimate into classical vanishing theorems for three topological volumes. In particular, all such manifolds have simplicial volume zero, stable integral simplicial volume zero, and minimal volume entropy zero.

Load-bearing premise

Everything rests on the structure theorem that a complete affine manifold with an infinite abelian normal subgroup in its indecomposable fundamental group must be an injective Seifert fiber space with a positive-dimensional torus as typical fiber; if that theorem fails or does not apply, the dimension bound and all the vanishing results collapse.

Editorial extensions

If this is right

  • The simplicial volume of every oriented closed connected complete affine manifold in this class is zero, by the classical Vanishing Theorem.
  • The stable integral simplicial volume also vanishes, so these manifolds satisfy integral approximation: the real and stable integral simplicial volumes agree and are both zero.
  • The minimal volume entropy vanishes for every such manifold, because the polynomial-growth category bound is at most dim(M).
  • In dimensions up to six, where the classical conjecture predicting amenable fundamental groups for closed affine manifolds has been verified, every closed complete affine manifold has amenable category equal to 1.
  • The theorem properly extends the earlier pure-translation criterion, since two-dimensional examples with no pure translations in their holonomy satisfy the new hypothesis.

Reading between the lines

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

  • The same Seifert-fibering strategy would plausibly extend the vanishing results to complete affine manifolds whose fundamental group contains an infinite elementary amenable normal subgroup, provided the structure theorem can be generalized from abelian to elementary amenable groups.
  • Because the proof actually gives catAm(M) ≤ dim(M) − dim(T^k) + 1, manifolds with higher-dimensional torus fibers are predicted to have substantially smaller amenable category; computing catAm for the two-dimensional complete affine tori without pure translations would be a concrete check, since the bound gives 1.
  • The algebraic criterion in Section 6 suggests a construction kit for aspherical manifolds with vanishing topological volumes: start with a virtually poly-Z normal subgroup and a proper cocompact action on a contractible manifold, then apply the Seifert-fibering existence theorem; combining other group classes could yield new answers to the open question.
  • A natural test of the theorem's reach is to build a complete affine manifold with an infinite normal subgroup that is amenable but not virtually solvable; the Tits alternative step in the proof would then fail, and the manifold would either violate the conclusion or require a genuinely new mechanism.
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

1 major / 6 minor

Summary. The paper proves that if M is a closed connected complete affine manifold whose fundamental group contains an infinite amenable normal subgroup, then catAm(M) ≤ catPolyfg(M) ≤ dim(M). The proof reduces an amenable normal subgroup to an infinite abelian normal subgroup via linearity and the Tits alternative, invokes a structure theorem of Kamishima to conclude that M is a smooth injective Seifert fiber space with torus fiber, and then proves a general category bound for injective Seifert fiber spaces with amenable (resp. virtually nilpotent) typical fiber. As applications, the authors obtain vanishing of simplicial volume, stable integral simplicial volume, and minimal volume entropy for this class of manifolds.

Significance. If the Kamishima bridge is correct, this is a valuable and clean result: it extends the known vanishing results for simplicial volume of complete affine manifolds with pure translations to all complete affine manifolds with an infinite amenable normal subgroup, and it answers Lück's question for this class. The internal proof is carefully structured: Proposition 4.5 gives a local finite-covering description of injective Seifert fiberings, and Theorem 5.2 builds an amenable (or poly-fg) cover from a triangulation of the base orbifold. No parameter fitting or circularity is present; the paper is honest about its reliance on external structural theorems, and the volume applications are straightforward consequences of the category bound.

major comments (1)
  1. [Example 4.4(4) and proof of Theorem 5.1] The proof of Theorem 5.1 depends entirely on Example 4.4(4), which cites [Kam85, Proposition 1.3] for the conclusion that a complete affine manifold with indecomposable fundamental group and an infinite abelian normal subgroup is a smooth injective Seifert fiber space with typical fiber T^k. The statement of that proposition is not given, and it is not evident from the cited reference that it produces a Lee–Raymond injective Seifert fibering satisfying all the hypotheses of Setup 4.1, including the existence of the contractible manifold W and the proper Q-action on W. Please state [Kam85, Proposition 1.3] explicitly and explain how the abelian subgroup A constructed in the proof of Theorem 5.1 (which is not assumed to be central or contained in the pure-translation subgroup) satisfies its hypotheses. This is load-bearing: if the citation is misquoted or inapplicable, the reduction of Theorem 5.1 to Theorem 5.2 collapses.
minor comments (6)
  1. [Proof of Theorem 5.2] The phrase 'disjoint union of the open stars' should read 'union', since the open stars of vertices of the barycentric subdivision overlap in general.
  2. [Proof of Theorem 5.2] The claim that each path component of U_i is contained in some V_j is implicit; adding a short justification, for instance that the open star of an i-simplex in the barycentric subdivision is contained in the open star of any of its vertices in T, would improve readability.
  3. [Proof of Theorem 5.2, Step (2)] The phrase 'the groups p^{-1}(V_j) are finitely generated virtually nilpotent groups' should read 'the fundamental groups of p^{-1}(V_j)'.
  4. [Proofs of Theorem 5.2 and Theorem 5.1] The citation [MS12, p. 355] is used for two facts: the existence of a finite-index characteristic nilpotent subgroup and the existence of a finite-index characteristic solvable subgroup. Since [MS12] concerns locally finite groups, a more standard reference for these statements in the context of linear groups would help the reader.
  5. [Theorem 6.1] Theorem 6.1 is stated for a smooth aspherical manifold, while the volume vanishings stated in the same theorem use oriented closed manifolds; the statement should either include 'oriented' or explain how to pass to the orientation double cover.
  6. [Proof of Proposition 4.5] The sentence 'Since Q_w acts freely by deck transformations' would benefit from a parenthetical justification, because this freeness is not part of Setup 4.1 and follows from the freeness of the π-action on G×W.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the main category bound is derived from external structure theorems, and the cited self-work is not load-bearing for the central claim.

full rationale

The paper's central theorem (Theorem 5.1) has a genuinely external derivation chain. From an infinite amenable normal subgroup S, the authors use standard facts about linear groups (Tits alternative), characteristic subgroups, and torsion-freeness of π_1(M) to obtain an infinite abelian normal subgroup A. They then invoke a classical theorem of Kamishima, [Kam85, Proposition 1.3], quoted in Example 4.4(4), to conclude that M is a smooth injective Seifert fiber space with torus fiber. Theorem 5.2, which bounds cat_Am and cat_Polyfg for such fiber spaces, is proved internally via Proposition 4.5, the Slice Theorem, and a standard triangulation/star-cover argument; it does not assume the conclusion. The applications to vanishing of simplicial volume, stable integral simplicial volume, and minimal volume entropy use Gromov's Vanishing Theorem, a self-cited but independently published result [LMS22], and Babenko-Sabourau [BS24]; these are applications of the main bound rather than inputs to it. The only self-citations are to prior work by one of the authors for terminology and for a vanishing theorem, but these do not make the derivation circular: the main theorem's proof would stand without them, using external references. The skeptical concern that Kamishima's hypotheses may not match the setting is a correctness or external-support question, not a circularity one. No fitted parameter is renamed a prediction, and no result is defined in terms of its own conclusion.

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

The central claim rests on external theorems about affine manifolds, injective Seifert fiberings, and vanishing results for topological volumes. No free parameters or invented entities appear; the proof combines known tools rather than introducing new postulates.

assumptions (7)
  • domain assumption Kamishima's structure theorem: a complete affine manifold with indecomposable fundamental group containing an infinite abelian normal subgroup is a smooth injective Seifert fiber space with torus typical fiber.
    Invoked in Example 4.4(4) and used in the proof of Theorem 5.1; imported from [Kam85, Proposition 1.3].
  • standard math Tits alternative for linear groups over characteristic zero: an amenable linear group is virtually solvable.
    Used in the proof of Theorem 5.1 (Section 5) to pass from an amenable normal subgroup S to a virtually solvable, then abelian, normal subgroup.
  • standard math Gromov's Vanishing Theorem: cat_Am(M) ≤ dim(M) implies vanishing of simplicial volume for oriented closed connected manifolds.
    Theorem 2.8, used in Subsection 5.1 to prove Corollary 5.3.
  • standard math LMS22 Vanishing Theorem: for aspherical residually finite manifolds, cat_Am(M) ≤ dim(M) implies the stable integral simplicial volume vanishes.
    Theorem 2.9, used to derive the integral approximation part of Corollary 5.3.
  • standard math Babenko-Sabourau Vanishing Theorem: cat_Poly_fg(M) ≤ dim(M) implies the minimal volume entropy vanishes.
    Theorem 2.11, used to prove Corollary 5.4.
  • standard math Finitely generated linear groups are residually finite (Mal'cev).
    Used in Subsection 5.1 to apply Theorem 2.9 to complete affine manifolds.
  • standard math Compact smooth orbifolds are triangulable, and a sufficiently fine triangulation refines a given finite open cover.
    Used in the proof of Theorem 5.2 to construct the cover U of the base B.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Topological volumes of certain complete affine manifolds." pith.science (2026). https://pith.science/paper/LQJPMFTE

@misc{pith2026250206303,
  author       = {Pith},
  title        = {Pith review of: Topological volumes of certain complete affine manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LQJPMFTE}},
  note         = {Machine review of arXiv:2502.06303}
}
read the original abstract

We provide an estimate of the amenable category of oriented closed connected complete affine manifolds whose fundamental group contains an infinite amenable normal subgroup. As an application we show that all such manifolds have zero simplicial volume. This answers a question by L\"uck in the case of complete affine manifolds. Our construction also provides the vanishing of stable integral simplicial volume and minimal volume entropy. This means that such manifolds satisfy integral approximation.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 37 canonical work pages

  1. [1]

    write newline

    " write newline "" before.all 'output.state := FUNCTION output.nonempty.mrnumber FUNCTION fin.entry add.period write mrnumber output.nonempty.mrnumber newline INTEGERS nameptr namesleft numnames FUNCTION format.language language empty "" " (" language * ")" * if FUNCTION format.names 's := #1 'nameptr := s num.names 'numnames := numnames 'namesleft := nam...

  2. [2]

    The Auslander conjecture for dimension less then 7

    H. Abels, G. A. Margulis, and G. A. Soifer. The auslander conjecture for dimension less then 7. arXiv:2011.12788 , 2020

    work page Pith review arXiv 2011

  3. [3]

    Auslander

    L. Auslander. Bieberbach's theorems on space groups and discrete uniform subgroups of lie groups. Ann.\ of Math. , 71(3):579--590, 1960

    work page 1960

  4. [4]

    Bucher, C

    M. Bucher, C. Connell, and J. F. Lafont. Vanishing simplicial volume for certain affine manifolds . Proc.\ Amer.\ Math.\ Soc. , 146:1287--1294, 2018

    work page 2018

  5. [5]

    Benz \'e cri

    J.-P. Benz \'e cri. Sur les vari \'e t \'e s localement affines et localement projectives. Bull.\ Soc.\ Math.\ France , 88:229--332, 1960

    work page 1960

  6. [6]

    Bucher and T

    M. Bucher and T. Gelander. Milnor-wood inequalities for manifolds which are locally a product of surfaces. Adv.\ Math. , 228:1503--1542, 2011

    work page 2011

  7. [7]

    Babenko and S

    I. Babenko and S. Sabourau. Volume entropy semi-norm and systolic volume semi-norm. to appear in J.\ Eur.\ Math.\ Soc. , 2023

    work page 2023

  8. [8]

    Minimal volume entropy and fiber growth

    I. Babenko and S. Sabourau. Minimal volume entropy and fiber growth. arXiv:2102.04551, 2024

    work page Pith review arXiv 2024

Show all 39 references
  1. [9]

    F. C. Caramello Jr. Introduction to orbifolds. arXiv:1909.08699 , 2022

    1909 arXiv

  2. [10]

    Capovilla, C

    P. Capovilla, C. L \"o h, and M. Moraschini. Amenable category and complexity. Algebr.\ Geom.\ Topol. , 22(3):1417--1459, 2022

    2022

  3. [11]

    Cornea, G

    O. Cornea, G. Lupton, J. Oprea, and D. Tanr \'e . L usternik- S chnirelmann category , volume 103 of Mathematical Surveys and Monographs . American Mathematical Society, Providence RI, 2003

    2003

  4. [12]

    Frigerio

    R. Frigerio. Bounded cohomology of discrete groups , volume 227 of Mathematical Surveys and Monographs . Americal Mathematical Society, 2017

    2017

  5. [13]

    W. M. Goldman and M. W. Hirsch. The radiance obstruction and parallel forms on affine manifolds. Trans.\ Amer.\ Math.\ Soc. , 286(2):629--649, 1984

    1984

  6. [14]

    G\' o mez-Larra \ n aga, F

    J. G\' o mez-Larra \ n aga, F. Gonz\' a lez-Acu \ n a, and W. Heil. Amenable category of three-manifolds. Algebr.\ Geom.\ Top. , 13:905--925, 2013

    2013

  7. [15]

    W. M. Goldman. Geometric structures on manifolds , volume 227 of Graduate S tudies in M athematics . American Mathematical Society, Providence, RI, 2022

    2022

  8. [16]

    M. Gromov. Groups of polynomial growth and expanding maps (with an appendix by jacques tits). Inst.\ Hautes \' E tudes Sci.\ Publ.\ Math. , 53:53--78, 1981

    1981

  9. [17]

    M. Gromov. Volume and bounded cohomology. Inst.\ Hautes \' E tudes Sci.\ Publ.\ Math. , (56):5--99 (1983), 1982

    1983

  10. [18]

    Kamishima

    Y. Kamishima. Properly discontinuous actions of subgroups in amenable algebraic groups and its application to affine motions. Topology Appl. , 19(2):189--199, 1985

    1985

  11. [19]

    A. Katok. Entropy and closed geodesies. Ergod. Theory Dyn.\ Syst. , 2(3-4):339--365, 1982

    1982

  12. [20]

    Klingler

    B. Klingler. Chern's conjecture for special affine manifolds. Ann. of Math. , 186(1):69--95, 2017

    2017

  13. [21]

    Kostant and D

    B. Kostant and D. Sullivan. The euler characteristic of an affine space form is zero. Bull.\ Amer.\ Math.\ Soc. , 81(5):937--938, 1975

    1975

  14. [22]

    N. Kuiper. Sur les surfaces localement affines. In Colloq. G \'e om. Diff \'e rentielle , volume 79, page 87, 1953

    1953

  15. [23]

    L\"oh and M

    C. L\"oh and M. Moraschini. Topological volumes of fibrations: A note on open covers. Proc.\ Roy.\ Soc.\ Edinburgh Sect. A , 152(5):1340--1360, 2022

    2022

  16. [24]

    L \"o h, M

    C. L \"o h, M. Moraschini, and R. Sauer. Amenable covers and integral foliated simplicial volume. New York J.\ Math. , 28:1112--1136, 2022

    2022

  17. [25]

    C. L \"o h. Odd manifolds of small integral simplicial volume . Ark.\ Mat. , 56(2):351 -- 375, 2018

    2018

  18. [26]

    C. L \"o h. Ergodic Theoretic Methods in Group Homology: A Minicourse on L^2 - B etti numbers in group theory . SpringerBriefs in Matehmatics. Springer, Cham, 2020

    2020

  19. [27]

    K. B. Lee and F. Raymond. Seifert fiberings , volume 166 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2010

    2010

  20. [28]

    L \"u ck

    W. L \"u ck. L^2 - I nvariants: T heory and A pplications to G eometry and K - T heory , volume 44 of Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics . Springer-Verlag, Berlin, 2002

    2002

  21. [29]

    A. I. Mal'cev. On isomorphic matrix representations of infinite groups of matrices ( R ussian). Mat. Sb. 8 & Amer. Math. Soc. Transl. , 45:1--18, 1940

    1940

  22. [30]

    A. I. Mal'cev. On a class of homogeneous spaces ( R ussian). Izvestiya Akad. Nauk SSSR Ser. Mat. , 13:9--32, 1949

    1949

  23. [31]

    L. Markus. Cosmological M odels in D ifferential G eometry . University of M innesota, Institute of Technology, Department of Mathematics, 1963

    1963

  24. [32]

    Makarenko and P

    N.Yu. Makarenko and P. Shumyatsky. Characteristic subgroups in locally finite groups. J.\ of Algebra , 352(1):354--360, 2012

    2012

  25. [33]

    Neofytidis

    C. Neofytidis. Fundamental groups of aspherical manifolds and maps of non-zero degree. Groups Geom. Dyn. , 12(2):637--677, 2018

    2018

  26. [34]

    H. Pieters. Hyperbolic spaces and bounded cohomology . Ph.D.\ Thesis, University of Geneva, 2016

    2016

  27. [35]

    E. Pieroni. Minimal entropy of 3 -manifolds. arXiv:1902.09190 , 2019

    1902 arXiv

  28. [36]

    Su \'a rez-Serrato

    P. Su \'a rez-Serrato. Minimal entropy and geometric decompositions in dimension four. Algebr.\ Geom.\ Topol. , 9(1):365--395, 2009

    2009

  29. [37]

    Thurston

    William P. Thurston. Three-dimensional geometry and topology , volume 35 of Princeton Mathematical Series . Princeton University Press, Princeton, NJ, 1997. Edited by Silvio Levy

    1997

  30. [38]

    J. Tits. Free subgroups in linear groups. J. of Algebra , 20(2):250--270, 1972

    1972

  31. [39]

    J. A. Wolf. Growth of finitely generated solvable groups and curvature of R iemannian manifolds. J. Diff. Geom. , 2:421--446, 1968

    1968

Pith tools

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