pith. sign in

arxiv: 2606.19606 · v1 · pith:OMU2HPVFnew · submitted 2026-06-17 · 🧮 math.GR

Outer automorphism groups and the Atiyah Conjecture

Pith reviewed 2026-06-26 18:32 UTC · model grok-4.3

classification 🧮 math.GR
keywords outer automorphism groupAtiyah conjecturevon Neumann dimensionright-angled Artin grouppro-p completionzero divisor conjecturesurface group
0
0 comments X

The pith

The von Neumann dimension function of Out(G) takes values in a discrete subgroup of the rationals for surface groups, free groups and right-angled Artin groups.

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

The paper shows that for G the fundamental group of a compact surface, a finitely generated free group, or a finitely generated right-angled Artin group, the von Neumann dimension function on Out(G) lands inside a discrete subgroup of Q. This follows from proving the Strong Atiyah Conjecture for a torsion-free subgroup of finite index in Out(G). The authors also show that for any field K a suitable such subgroup H has its group algebra K[H] embedding into a division ring, so the Zero Divisor Conjecture holds. The proofs proceed by establishing the same statements first for an open subgroup of Out of the pro-p completion of G. A reader cares because the result sharply restricts the possible L2-dimensions that can arise from these outer automorphism groups.

Core claim

For G the fundamental group of a compact surface, a finitely generated free group or a finitely generated right-angled Artin group, the von Neumann dimension function of Out(G) is valued in a discrete subgroup of Q. This is obtained by establishing the Strong Atiyah Conjecture for a torsion-free subgroup of Out(G) of finite index. For every field K there likewise exists a torsion-free finite-index subgroup H of Out(G) such that K[H] embeds into a division ring. These statements are proved by first establishing the analogous claims for a suitable open subgroup of Out of the pro-p completion of G.

What carries the argument

The Strong Atiyah Conjecture for a torsion-free finite-index subgroup of Out(G), transferred from the pro-p completion of G via an open subgroup of its outer automorphism group.

If this is right

  • The Strong Atiyah Conjecture holds for the indicated torsion-free finite-index subgroups of Out(G).
  • The Zero Divisor Conjecture holds for K[H] over any field K.
  • An automorphism of a free nilpotent group is inner if and only if it induces an inner automorphism on the pro-p completion.
  • The von Neumann dimension function on these Out(G) is supported on a discrete subgroup of Q.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same discreteness might hold for outer automorphism groups of other classes of groups if the pro-p reduction technique extends.
  • L2-Betti numbers of Out(G) would then also lie in that same discrete subgroup of Q.
  • The appendix result on free nilpotent groups suggests a general pattern relating inner automorphisms before and after pro-p completion.

Load-bearing premise

The algebraic and dimension properties verified on the pro-p completion and its outer automorphism group lift to the original discrete group G and to Out(G).

What would settle it

An explicit element in the group von Neumann algebra of Out(G) whose dimension lies outside every discrete subgroup of Q would falsify the claim.

read the original abstract

Let $G$ be the fundamental group of a compact surface, a finitely generated free group, or more generally a finitely generated right-angled Artin group. We prove that the von Neumann dimension function of $\mathrm{Out}(G)$ is valued in a discrete subgroup of $\mathbb Q$. This is accomplished by establishing the Strong Atiyah Conjecture for a torsion-free subgroup of $\mathrm{Out}(G)$ of finite index. We also prove that for every field $\mathbb K$, there exists a torsion-free subgroup $H \leqslant \mathrm{Out}(G)$ of finite index such that $\mathbb K[H]$ embeds into a division ring, and hence satisfies the Zero Divisor Conjecture. These results are obtained by establishing analogous ones for a suitable open subgroup of $\mathrm{Out}(\mathbf G)$ and its completed group algebra, where $\mathbf G$ denotes the pro-$p$ completion of $G$. In an appendix, the first author shows that an automorphism of a free nilpotent group is inner if and only if it induces an inner automorphism of its pro-$p$ completion.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The paper claims that for G the fundamental group of a compact surface, a finitely generated free group, or a finitely generated right-angled Artin group, the von Neumann dimension function of Out(G) takes values in a discrete subgroup of Q. This is achieved by establishing the Strong Atiyah Conjecture for a torsion-free finite-index subgroup of Out(G). It further claims that for any field K there exists such a subgroup H with K[H] embedding into a division ring (hence satisfying the Zero Divisor Conjecture). Both results are obtained by proving analogous statements for a suitable open subgroup of Out(G-hat) and its completed group algebra, where G-hat is the pro-p completion of G. An appendix shows that an automorphism of a free nilpotent group is inner if and only if it induces an inner automorphism on its pro-p completion.

Significance. If the central claims hold, the work supplies new families of groups (outer automorphism groups of surface groups, free groups, and RAAGs) for which the Strong Atiyah Conjecture is verified, yielding discreteness of L2-dimensions and progress on the zero-divisor conjecture. The reduction to pro-p completions offers a potentially reusable technique for transferring algebraic properties from profinite to discrete settings.

major comments (2)
  1. [abstract (reduction paragraph)] The load-bearing reduction step (abstract, paragraph beginning 'These results are obtained by establishing analogous ones...'): it is not shown how discreteness of the von Neumann dimension function on the discrete group Out(G) follows from the corresponding property on the completed group algebra of an open subgroup of Out(G-hat). In particular, the correspondence between L2-dimensions defined via the group von Neumann algebra of Out(G) and the dimension function on the completed algebra must be established explicitly so that no denominators outside a discrete subgroup of Q are introduced when passing from the open subgroup of Out(G-hat) back to the finite-index torsion-free subgroup of the discrete Out(G).
  2. [appendix] The appendix treats only the narrower case of free nilpotent groups; it is unclear whether the inner-automorphism correspondence established there is used to control the finite-index subgroup or the embedding property in the main theorems, or whether it is merely illustrative.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments, which help clarify the exposition of our reduction arguments. We address the major comments point by point below.

read point-by-point responses
  1. Referee: [abstract (reduction paragraph)] The load-bearing reduction step (abstract, paragraph beginning 'These results are obtained by establishing analogous ones...'): it is not shown how discreteness of the von Neumann dimension function on the discrete group Out(G) follows from the corresponding property on the completed group algebra of an open subgroup of Out(G-hat). In particular, the correspondence between L2-dimensions defined via the group von Neumann algebra of Out(G) and the dimension function on the completed algebra must be established explicitly so that no denominators outside a discrete subgroup of Q are introduced when passing from the open subgroup of Out(G-hat) back to the finite-index torsion-free subgroup of the discrete Out(G).

    Authors: We agree that the explicit correspondence is not detailed in the current manuscript. The reduction relies on the fact that the open subgroup of Out(G-hat) maps onto a finite-index subgroup of Out(G) with controlled kernel, combined with the compatibility of the von Neumann dimension with the completion map, but this chain is only sketched. In the revised version we will add a dedicated paragraph (or short subsection) in the introduction or Section 2 that spells out the dimension correspondence, verifies that the denominators remain inside the same discrete subgroup of Q, and cites the relevant functoriality properties of L2-dimension under finite-index inclusions and profinite completions. revision: yes

  2. Referee: [appendix] The appendix treats only the narrower case of free nilpotent groups; it is unclear whether the inner-automorphism correspondence established there is used to control the finite-index subgroup or the embedding property in the main theorems, or whether it is merely illustrative.

    Authors: The appendix result is used in the proofs: for free groups and RAAGs the relevant automorphisms factor through nilpotent quotients, and the inner-automorphism correspondence on the pro-p completion is invoked to guarantee that the chosen open subgroup of Out(G-hat) descends to a torsion-free finite-index subgroup of Out(G) while preserving the embedding property into a division ring. We will insert a short clarifying sentence (with a forward reference) at the end of the introduction and again in the relevant proof sections to make this dependence explicit rather than leaving it implicit. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation relies on independent pro-p reductions and external group theory

full rationale

The paper establishes the Strong Atiyah Conjecture for a torsion-free finite-index subgroup of Out(G) by proving analogous statements for an open subgroup of Out of the pro-p completion G-hat and its completed algebra, then transfers the discreteness of von Neumann dimensions back to the discrete case. No step reduces a claimed prediction or result to a fitted parameter, self-defined quantity, or load-bearing self-citation chain by the paper's own equations. The appendix result on nilpotent groups is internal to the manuscript and does not create a self-referential loop. The central claims rest on standard pro-p completion techniques and group algebra embeddings that are not shown to be tautological with the target discreteness statement.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms or invented entities are stated.

pith-pipeline@v0.9.1-grok · 5719 in / 1187 out tokens · 23979 ms · 2026-06-26T18:32:16.457982+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

300 extracted references · 220 canonical work pages

  1. [1]

    On homology torsion growth , journal =

    Abert, Miklos and Bergeron, Nicolas and Fr. On homology torsion growth , journal =. 2025 , number =. doi:10.4171/jems/1411 , url =

  2. [2]

    The rank gradient from a combinatorial viewpoint , journal =

    Ab\'. The rank gradient from a combinatorial viewpoint , journal =. 2011 , number =. doi:10.4171/GGD/124 , url =

  3. [3]

    Rank gradient, cost of groups and the rank versus

    Ab\'. Rank gradient, cost of groups and the rank versus. J. Eur. Math. Soc. (JEMS) , fjournal =. 2012 , number =. doi:10.4171/JEMS/344 , url =

  4. [4]

    Agol, Ian , title =. J. Topol. , fjournal =. 2008 , number =. doi:10.1112/jtopol/jtn003 , url =

  5. [5]

    Agol, Ian , title =. Doc. Math. , fjournal =. 2013 , pages =

  6. [6]

    and Long, D

    Agol, I. and Long, D. D. and Reid, A. W. , title =. Ann. of Math. (2) , fjournal =. 2001 , number =. doi:10.2307/2661363 , url =

  7. [7]

    Agol, Ian and Stover, Matthew , title =. Ann. Inst. Fourier (Grenoble) , fjournal =. 2023 , number =. doi:10.5802/aif.3532 , url =

  8. [8]

    , title =

    Andreadakis, S. , title =. Proc. London Math. Soc. (3) , fjournal =. 1965 , pages =. doi:10.1112/plms/s3-15.1.239 , url =

  9. [9]

    and Jaikin-Zapirain, A

    Antolín, Y. and Jaikin-Zapirain, A. , title =. Compositio Mathematica , fjournal =. 2022 , number =

  10. [10]

    Arzhantseva, G. N. and Ol'shanski , A. Yu. , title =. Mat. Zametki , fjournal =. 1996 , number =. doi:10.1007/BF02308683 , url =

  11. [11]

    Asada, Mamoru , title =. Math. Z. , fjournal =. 1995 , number =. doi:10.1007/BF02571892 , url =

  12. [12]

    2015 , pages =

    Aschenbrenner, Matthias and Friedl, Stefan and Wilton, Henry , title =. 2015 , pages =. doi:10.4171/154 , url =

  13. [13]

    Atiyah, M. F. , title =. Colloque ``. 1976 , mrclass =

  14. [14]

    Austin, Tim , title =. Proc. Lond. Math. Soc. (3) , fjournal =. 2013 , number =. doi:10.1112/plms/pdt029 , url =

  15. [15]

    Avramidi, Grigori and Okun, Boris and Schreve, Kevin , title =. Geom. Funct. Anal. , fjournal =. 2024 , number =. doi:10.1007/s00039-024-00667-w , url =

  16. [16]

    Avramidi, Grigori and Okun, Boris and Schreve, Kevin , title =. Invent. Math. , fjournal =. 2021 , number =. doi:10.1007/s00222-021-01057-x , url =

  17. [17]

    and Brin, M

    Ballmann, W. and Brin, M. , title =. Geom. Dedicata , fjournal =. 1994 , number =. doi:10.1007/BF01265309 , url =

  18. [18]

    and Bellingeri, Paolo , title =

    Bardakov, Valerij G. and Bellingeri, Paolo , title =. Comm. Algebra , fjournal =. 2009 , number =. doi:10.1080/00927870802068664 , url =

  19. [19]

    Bartels, Arthur and Bestvina, Mladen , title =. Invent. Math. , fjournal =. 2019 , number =. doi:10.1007/s00222-018-0834-9 , url =

  20. [20]

    Bartholdi, Laurent , title =. J. Eur. Math. Soc. (JEMS) , fjournal =. 2019 , number =. doi:10.4171/JEMS/900 , url =

  21. [21]

    Bass , title =

    H. Bass , title =. J. Pure Appl. Algebra , fjournal =. 1993 , number =

  22. [22]

    The mathematical legacy of

    Bass, Hyman and Lubotzky, Alexander , title =. The mathematical legacy of. 1994 , isbn =. doi:10.1090/conm/169/01651 , url =

  23. [23]

    Baumslag, Gilbert , title =. Bull. Austral. Math. Soc. , fjournal =. 1971 , pages =. doi:10.1017/S0004972700046906 , url =

  24. [24]

    Baumslag, Gilbert , title =. Trans. Amer. Math. Soc. , fjournal =. 1967 , pages =. doi:10.2307/1994377 , url =

  25. [25]

    Proceedings of groups---

    Baumslag, Gilbert , title =. Proceedings of groups---. 1986 , mrclass =

  26. [26]

    Infinite groups: geometric, combinatorial and dynamical aspects , series =

    Baumslag, Gilbert , title =. Infinite groups: geometric, combinatorial and dynamical aspects , series =. 2005 , mrclass =. doi:10.1007/3-7643-7447-0\_1 , url =

  27. [27]

    Proceedings of the

    Baumslag, Gilbert , title =. Proceedings of the. 1974 , mrclass =

  28. [28]

    Illinois J

    Baumslag, Gilbert , title =. Illinois J. Math. , fjournal =. 2010 , number =

  29. [29]

    Baumslag, Gilbert , title =. Bull. Amer. Math. Soc. , fjournal =. 1967 , pages =. doi:10.1090/S0002-9904-1967-11799-3 , url =

  30. [30]

    Baumslag, Gilbert , title =. J. Austral. Math. Soc. Ser. A , fjournal =. 1999 , number =

  31. [31]

    and Troeger, Douglas , title =

    Baumslag, Gilbert and Fine, Benjamin and Miller, III, Charles F. and Troeger, Douglas , title =. Internat. J. Algebra Comput. , fjournal =. 2009 , number =. doi:10.1142/S0218196709005032 , url =

  32. [32]

    and Sisto, Alessandro , title =

    Behrstock, Jason and Hagen, Mark F. and Sisto, Alessandro , title =. Geom. Topol. , fjournal =. 2017 , number =. doi:10.2140/gt.2017.21.1731 , url =

  33. [33]

    Berberian, S. K. , title =. Rocky Mountain J. Math. , fjournal =. 1982 , number =. doi:10.1216/RMJ-1982-12-1-149 , url =

  34. [34]

    Hyperplane sections in arithmetic hyperbolic manifolds , journal =

    Bergeron, Nicolas and Haglund, Fr\'. Hyperplane sections in arithmetic hyperbolic manifolds , journal =. 2011 , number =. doi:10.1112/jlms/jdq082 , url =

  35. [35]

    , title =

    Bergeron, Nicolas and Wise, Daniel T. , title =. Amer. J. Math. , fjournal =. 2012 , number =. doi:10.1353/ajm.2012.0020 , url =

  36. [36]

    , title =

    Bergman, George M. , title =. Trans. Amer. Math. Soc. , fjournal =. 1974 , pages =. doi:10.2307/1997246 , url =

  37. [37]

    Bestvina, Mladen and Brady, Noel , title =. Invent. Math. , fjournal =. 1997 , number =. doi:10.1007/s002220050168 , url =

  38. [38]

    Bestvina, Mladen and Bromberg, Ken and Fujiwara, Koji , title =. Ann. H. Lebesgue , fjournal =. 2021 , pages =. doi:10.5802/ahl.85 , url =

  39. [39]

    Proceedings of the

    Bestvina, Mladen , title =. Proceedings of the. 2002 , isbn =

  40. [40]

    Bieri, Robert , title =. J. Pure Appl. Algebra , fjournal =. 1976 , number =. doi:10.1016/0022-4049(76)90065-7 , url =

  41. [41]

    Bieri, Robert , title =. J. Pure Appl. Algebra , fjournal =. 2007 , number =. doi:10.1016/j.jpaa.2006.02.003 , url =

  42. [42]

    Bieri, Robert and Eckmann, Beno , title =. J. Pure Appl. Algebra , fjournal =. 1978 , number =. doi:10.1016/0022-4049(78)90012-9 , url =

  43. [43]

    Bieri, Robert and Eckmann, Beno , title =. Comment. Math. Helv. , fjournal =. 1974 , pages =. doi:10.1007/BF02566720 , url =

  44. [44]

    Bieri, Robert , title =. Math. Z. , fjournal =. 1975 , number =. doi:10.1007/BF01187054 , url =

  45. [45]

    1981 , pages =

    Bieri, Robert , title =. 1981 , pages =

  46. [46]

    Bieri, Robert and Renz, Burkhardt , title =. Comment. Math. Helv. , fjournal =. 1988 , number =. doi:10.1007/BF02566775 , url =

  47. [47]

    , title =

    Bigdely, Hadi and Wise, Daniel T. , title =. Michigan Math. J. , fjournal =. 2013 , number =. doi:10.1307/mmj/1370870378 , url =

  48. [48]

    and Budney, Ryan D

    Bigelow, Stephen J. and Budney, Ryan D. , title =. Algebr. Geom. Topol. , fjournal =. 2001 , pages =. doi:10.2140/agt.2001.1.699 , url =

  49. [49]

    and Lubotzky, Alex and McCarthy, John , title =

    Birman, Joan S. and Lubotzky, Alex and McCarthy, John , title =. Duke Math. J. , fjournal =. 1983 , number =. doi:10.1215/S0012-7094-83-05046-9 , url =

  50. [50]

    Bludov, V. V. and Glass, A. M. W. and Rhemtulla, Akbar H. , title =. J. Korean Math. Soc. , fjournal =. 2003 , number =. doi:10.4134/JKMS.2003.40.2.225 , url =

  51. [51]

    and Strebel, Ralph , title =

    Bieri, Robert and Neumann, Walter D. and Strebel, Ralph , title =. Invent. Math. , fjournal =. 1987 , number =. doi:10.1007/BF01389175 , url =

  52. [52]

    Boler, James and Evans, Benny , title =. Proc. Amer. Math. Soc. , fjournal =. 1973 , pages =. doi:10.2307/2038704 , url =

  53. [53]

    Handbook of geometric topology , pages =

    Bonahon, Francis , title =. Handbook of geometric topology , pages =. 2002 , mrclass =

  54. [54]

    , title =

    Bonahon, Francis and Siebenmann, Laurence C. , title =. Math. Ann. , fjournal =. 1987 , number =. doi:10.1007/BF01458079 , url =

  55. [55]

    Bowditch, B. H. , title =. J. London Math. Soc. (2) , fjournal =. 2000 , number =. doi:10.1112/S0024610700001307 , url =

  56. [56]

    Brady, Noel , title =. J. London Math. Soc. (2) , fjournal =. 1999 , number =. doi:10.1112/S0024610799007644 , url =

  57. [57]

    and Margalit, Dan , title =

    Brendle, Tara E. and Margalit, Dan , title =. J. Amer. Math. Soc. , fjournal =. 2019 , number =. doi:10.1090/jams/927 , url =

  58. [58]

    and Kochloukova, Dessislava H

    Bridson, Martin R. and Kochloukova, Dessislava H. , title =. Math. Ann. , fjournal =. 2017 , number =. doi:10.1007/s00208-016-1387-0 , url =

  59. [59]

    and Haefliger, Andr\'

    Bridson, Martin R. and Haefliger, Andr\'. Metric spaces of non-positive curvature , series =. 1999 , pages =. doi:10.1007/978-3-662-12494-9 , url =

  60. [60]

    and Reid, Alan W

    Bridson, Martin R. and Reid, Alan W. , title =. Int. Math. Res. Not. IMRN , fjournal =. 2015 , number =. doi:10.1093/imrn/rnt353 , url =

  61. [61]

    Equations over groups, and groups with one defining relation , journal =

    Brodski. Equations over groups, and groups with one defining relation , journal =. 1984 , number =

  62. [62]

    and Levine, J

    Browder, W. and Levine, J. , title =. Comment. Math. Helv. , fjournal =. 1966 , pages =. doi:10.1007/BF02564368 , url =

  63. [63]

    , title =

    Brown, Kenneth S. , title =. Comment. Math. Helv. , fjournal =. 1975 , pages =. doi:10.1007/BF02565740 , url =

  64. [64]

    , title =

    Brown, Kenneth S. , title =. 1994 , pages =

  65. [65]

    2023 , note =

    Quantifying separability in limit groups via representations , author =. 2023 , note =. 2303.03644 , archiveprefix =

  66. [66]

    Bux, Kai-Uwe and Gonzalez, Carlos , title =. J. London Math. Soc. (2) , fjournal =. 1999 , number =. doi:10.1112/S0024610799007991 , url =

  67. [67]

    Casals-Ruiz, Montserrat and Pintonello, Matteo and Zalesskii, Pavel , title =. J. Algebra , fjournal =. 2025 , pages =. doi:10.1016/j.jalgebra.2024.09.030 , url =

  68. [68]

    Finite-Sheeted Covering Spaces and Solenoids over

    Cavendish, Will , type =. Finite-Sheeted Covering Spaces and Solenoids over

  69. [69]

    Charney, Ruth and Vogtmann, Karen , title =. Bull. Lond. Math. Soc. , fjournal =. 2009 , number =. doi:10.1112/blms/bdn108 , url =

  70. [70]

    Topology , fjournal =

    Cheeger, Jeff and Gromov, Mikhael , title =. Topology , fjournal =. 1986 , number =. doi:10.1016/0040-9383(86)90039-X , url =

  71. [71]

    Chiswell, I. M. , title =. Internat. J. Algebra Comput. , fjournal =. 2012 , number =. doi:10.1142/S0218196712500373 , url =

  72. [72]

    Chiswell, I. M. , title =. J. Pure Appl. Algebra , fjournal =. 1976 , number =. doi:10.1016/0022-4049(76)90023-2 , url =

  73. [73]

    , title =

    Cochran, Tim D. , title =. Invent. Math. , fjournal =. 1987 , number =. doi:10.1007/BF01389182 , url =

  74. [74]

    Cohn, P. M. , title =. 2006 , pages =. doi:10.1017/CBO9780511542794 , url =

  75. [75]

    , title =

    Cohn, Paul M. , title =. Math. Z. , fjournal =. 1959 , pages =. doi:10.1007/BF01181410 , url =

  76. [76]

    , title =

    Cohn, Paul M. , title =. 1985 , pages =

  77. [77]

    , title =

    Cohn, Paul M. , title =. 1995 , pages =. doi:10.1017/CBO9781139087193 , url =

  78. [78]

    , title =

    Cohn, Paul M. , title =. J. Austral. Math. Soc. , fjournal =. 1973 , number =. doi:10.1017/S1446788700015081 , url =

  79. [79]

    , title =

    Cohn, Paul M. , title =. J. Algebra , fjournal =. 1968 , pages =. doi:10.1016/0021-8693(68)90066-5 , url =

  80. [80]

    Combination of convergence groups , journal =

    Dahmani, Fran. Combination of convergence groups , journal =. 2003 , pages =. doi:10.2140/gt.2003.7.933 , url =

Showing first 80 references.