pith. sign in

arxiv: 2606.23600 · v1 · pith:ZOK2NYG7new · submitted 2026-06-22 · 🧮 math.GR

Virtual Surjection and the n-(n+1)-(n+2) Theorem for Profinite Groups

Tal Cohen , Mark Shusterman This is my paper

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

classification 🧮 math.GR
keywords profinite groupsFP_k propertyvirtual surjectionfiber productsfiniteness propertiesgroup modulespermanence results
0
0 comments X

The pith

For profinite groups, a subgroup of a product of FP_k groups that virtually surjects onto k-tuples is itself FP_k.

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

The paper proves the virtual surjection conjecture for profinite groups: in a product of n profinite groups each satisfying the finiteness property FP_k, any subgroup that virtually surjects onto k-tuples must also satisfy FP_k. The proof relies on a numerical criterion that detects when modules over profinite groups have property FP_n. The same criterion establishes the n-(n+1)-(n+2) conjecture for profinite groups and yields permanence results for FP_n under formation of certain fiber products. These results are obtained uniformly by applying the numerical test to the relevant modules. The work indicates that a new finiteness property deserves separate study in this setting.

Core claim

We prove the Virtual Surjection Conjecture for profinite groups. Namely, given a product of n profinite FP_k groups, a subgroup that virtually surjects onto k-tuples must be FP_k as well. We also prove the n-(n+1)-(n+2) Conjecture for profinite groups, as well as a few other FP_n permanence results for fibre products. Our main tool is a numerical criterion for property FP_n of modules of profinite groups.

What carries the argument

A numerical criterion for property FP_n of modules of profinite groups, which is applied to verify virtual surjection and permanence under fiber products.

If this is right

  • The n-(n+1)-(n+2) conjecture holds for all profinite groups.
  • Fiber products of profinite FP_n groups satisfy the expected permanence under the virtual surjection condition.
  • The numerical criterion supplies a uniform method for establishing several FP_n results simultaneously in the profinite category.
  • New permanence results hold for subgroups of products that meet the virtual surjection threshold.

Where Pith is reading between the lines

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

  • The criterion may apply to detect finiteness properties in other profinite modules beyond those arising from virtual surjection.
  • Similar numerical tests could be sought for non-profinite groups to test whether virtual surjection persists outside this class.
  • The suggested new finiteness property could be defined directly via the same numerical test and studied for its own permanence features.

Load-bearing premise

The numerical criterion correctly detects the FP_n property for modules over profinite groups.

What would settle it

An explicit product of two profinite FP_1 groups together with a subgroup that virtually surjects onto pairs yet fails to be FP_1 would refute the claim.

read the original abstract

We prove the Virtual Surjection Conjecture for profinite groups. Namely, given a product of $n$ profinite $\mathrm{FP}_{k}$ groups, a subgroup that virtually surjects onto $k$-tuples must be $\mathrm{FP}_{k}$ as well. We also prove the $n$-$(n+1)$-$(n+2)$ Conjecture for profinite groups, as well as a few other $\mathrm{FP}_{n}$ permanence results for fibre products. Our main tool is a numerical criterion for property $\mathrm{FP}_{n}$ of modules of profinite groups. Our work suggests a new finiteness property to investigate.

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

1 major / 0 minor

Summary. The paper proves the Virtual Surjection Conjecture for profinite groups: if G is a product of n profinite FP_k groups and H ≤ G virtually surjects onto every k-tuple of factors, then H is FP_k. It also establishes the n-(n+1)-(n+2) conjecture for profinite groups and additional FP_n permanence results for fibre products. The central tool is a new numerical criterion for the FP_n property of modules over profinite groups.

Significance. If the numerical criterion is valid and correctly applied, the results would resolve longstanding conjectures on finiteness properties in profinite groups and provide a new tool for permanence statements, with potential to define and study an additional finiteness property.

major comments (1)
  1. The central claims rest on the validity and applicability of the numerical criterion for FP_n, but the provided abstract supplies no derivation, statement of the criterion, or verification against known cases; without these the support for the Virtual Surjection and n-(n+1)-(n+2) results cannot be assessed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We address the single major comment below, noting that the full manuscript contains the requested details on the numerical criterion.

read point-by-point responses

  1. Referee: The central claims rest on the validity and applicability of the numerical criterion for FP_n, but the provided abstract supplies no derivation, statement of the criterion, or verification against known cases; without these the support for the Virtual Surjection and n-(n+1)-(n+2) results cannot be assessed.

    Authors: The abstract is intentionally concise and serves only as a high-level overview; it is not intended to contain derivations or full technical statements. The complete manuscript states the numerical criterion explicitly in Section 2, derives it from the definition of FP_n via a homological argument, and verifies it on known cases including finite groups, free profinite groups, and direct products. These elements are then applied directly to prove the Virtual Surjection Conjecture (Theorem 4.1) and the n-(n+1)-(n+2) Conjecture (Theorem 5.3). The referee's concern is therefore addressed by the body of the paper rather than the abstract. revision: no

Circularity Check

0 steps flagged

No significant circularity

full rationale

The abstract and available description present the numerical criterion for FP_n as an independent main tool applied to prove permanence results for profinite groups. No equations, self-citations, or derivations are exhibited that reduce any claimed prediction or theorem to a fitted input or self-definition by construction. The central claims rest on an asserted external criterion whose validity is treated as given rather than derived within the paper itself. This matches the default expectation of a non-circular derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the validity of the introduced numerical criterion for FP_n and on standard background results in profinite group homology; no free parameters or invented entities are mentioned.

axioms (1)
  • standard math Standard axioms and theorems of profinite group theory together with homological algebra for the FP_n property.
    The work builds directly on established theory in the field.

pith-pipeline@v0.9.1-grok · 5644 in / 1036 out tokens · 26604 ms · 2026-06-26T06:23:21.745890+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

14 extracted references · 11 canonical work pages · 1 internal anchor

  1. [1]

    Profinite groups, profinite completions and a conjecture of Moore

    [Alj06] Eli Aljadeff. “Profinite groups, profinite completions and a conjecture of Moore” . In: Adv. Math. 201.1 (2006), pp. 63–76. issn: 0001-8708,1090-2082. doi: 10.1016/j.aim.2004.11.005 . url: https://doi.org/10.1016/j.aim.2004.11.005. [BB97] Mladen Bestvina and Noel Brady. “Morse theory and finiteness properties of groups” . In: Invent. Math. 129 (19...

    work page doi:10.1016/j.aim.2004.11.005 2006

  2. [2]

    Larson, Characters of Hopf algebras, J

    Graduate Texts in Mathematics. Springer- Verlag, New York-Berlin, 1982, pp. x+306. isbn: 0-387-90688-6. 2In fact, equality holds (as is easy to see) 36 [Bru66] Armand Brumer. “Pseudocompact algebras, profinite groups and class formations” . In: Journal of Algebra 4.3 (1966), pp. 442–470. issn: 0021-8693. doi: https://doi.org/10.1016/0021- 8693(66)90034-2....

    work page doi:10.1016/0021- 1982

  3. [3]

    Recognition of being fibered for compact 3-manifolds

    url: https://mathoverflow.net/a/195407 (visited on 06/05/2026). Answer to Question no. 195166. [Jai20] Andrei Jaikin-Zapirain. “Recognition of being fibered for compact 3-manifolds” . In: Geom. Topol. 24.1 (2020), pp. 409–420. issn: 1465-3060,1364-0380. doi: 10 . 2140 / gt . 2020 . 24

    2026

  4. [4]

    Prosolvable rigidity of surface groups

    url: https://doi.org/10.2140/gt.2020.24.409. [JM25] Andrei Jaikin-Zapirain and Ismael Morales. “Prosolvable rigidity of surface groups” . In: Selecta Math. (N.S.) 31.5 (2025), Paper No. 86,

    work page doi:10.2140/gt.2020.24.409 2020

  5. [5]

    Top-degree rational cohomology in the symplectic group of a number ring

    issn: 1022-1824,1420-9020. doi: 10.1007/s00029- 025-01082-1. url: https://doi.org/10.1007/s00029-025-01082-1 . [Kin99] Jeremy D. King. “Homological finiteness conditions for pro- p groups” . In: Comm. Algebra 27.10 (1999), pp. 4969–4991. issn: 0092-7872,1532-4125. doi: 10 . 1080 / 00927879908826743. url: https://doi-org.ezproxy.weizmann.ac.il/10.1080/0092...

    work page doi:10.1007/s00029- 1999

  6. [6]

    url: https://doi.org/10.1093/qmath/hax063

    1093/qmath/hax063. url: https://doi.org/10.1093/qmath/hax063. [KL19] Kiran S. Kedlaya and Ruochuan Liu. Relative p-adic Hodge theory, II: Imperfect period rings

    work page doi:10.1093/qmath/hax063

  7. [7]

    Kedlaya and Ruochuan Liu, Relative \(p\) -adic Hodge theory, II : Imperfect period rings , https://arxiv.org/pdf/1602.06899, preprint (2016)

    doi: 10.48550/arXiv.1602.06899. arXiv: 1602.06899 [math.NT] . [KM19] D. H. Kochloukova and C. Martínez-Pérez. “Subdirect sums of Lie algebras” . In: Math. Proc. Cambridge Philos. Soc. 166.1 (2019), pp. 147–171. issn: 0305-0041,1469-8064. doi: 10 . 1017 / S0305004117000779. url: https://doi.org/10.1017/S0305004117000779. [KM21] Dessislava H. Kochloukova an...

    work page doi:10.48550/arxiv.1602.06899 2019

  8. [8]

    Profinite and pro- p completions of Poincaré duality groups of dimension 3

    conjecture” . In: Q. J. Math. 65.4 (2014), pp. 1293–1318. issn: 0033-5606,1464-3847. doi: 10.1093/qmath/hau004. url: https://doi.org/10.1093/qmath/hau004. 37 [KZ08] Dessislava H. Kochloukova and Pavel A. Zalesskii. “Profinite and pro- p completions of Poincaré duality groups of dimension 3” . In: Trans. Amer. Math. Soc. 360.4 (2008), pp. 1927–1949. issn: ...

    work page doi:10.1093/qmath/hau004 2014

  9. [9]

    In: Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T., Varol, G

    Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer-Verlag, Berlin, 2010, pp. xvi+464. isbn: 978-3-642-01641-7. doi: 10.1007/978- 3- 642- 01642- 4 . url: https://doi.org/10.1007/978-3-642-01642-4 . [Sch26] Peter Scholze. Lectures on Condensed Mathemati...

    work page doi:10.1007/978- 2010

  10. [10]

    Lectures on Condensed Mathematics

    doi: 10.48550/arXiv.2605.03658. arXiv: 2605.03658 [math.NT] . [Ser65] Jean-Pierre Serre. “Sur la dimension cohomologique des groupes profinis” . In: Topology 3 (1965), pp. 413–420. [Sta68] John R. Stallings. “On torsion-free groups with infinitely many ends” . In: Ann. of Math. (2) 88 (1968), pp. 312–334. [SW00] Peter Symonds and Thomas Weigel. “Cohomolog...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2605.03658 1965

  11. [11]

    Groups of cohomological dimension one

    Progr. Math. Birkhäuser Boston, Boston, MA, 2000, pp. 349–410. isbn: 0-8176-4171-8. [Swa69] Richard G. Swan. “Groups of cohomological dimension one” . In: J. Algebra 12 (1969), pp. 585–610. [Sym07] Peter Symonds. “On the construction of permutation complexes for profinite groups” . In: Proceed- ings of the School and Conference in Algebraic Topology . Vol

    2000

  12. [12]

    Geom. Topol. Monogr. Geom. Topol. Publ., Coventry, 2007, pp. 369–378. [Wei94] Charles A. Weibel. An introduction to homological algebra . Vol

    2007

  13. [13]

    Cambridge (1994) DOI: 10.1017/CBO9781139644136 Universidad Nacional de Colombia - Sede Bogotá Current address: Campus Universitario Email address:mareyesv@unal.edu.co

    Cambridge Studies in Ad- vanced Mathematics. Cambridge University Press, Cambridge, 1994, pp. xiv+450. isbn: 0-521- 43500-5; 0-521-55987-1. doi: 10.1017/CBO9781139644136 . url: https://doi.org/10.1017/ CBO9781139644136. [Wil98] John S. Wilson. Profinite groups. Vol

    work page doi:10.1017/cbo9781139644136 1994

  14. [14]

    Profinite extensions of centralizers and the profinite completion of limit groups

    London Mathematical Society Monographs. New Series. The Clarendon Press, Oxford University Press, New York, 1998, pp. xii+284. isbn: 0-19-850082-3. [ZZ20] Pavel Zalesskii and Theo Zapata. “Profinite extensions of centralizers and the profinite completion of limit groups” . In: Rev. Mat. Iberoam. 36.1 (2020), pp. 61–78. issn: 0213-2230,2235-0616. doi: 10.4...

    work page doi:10.4171/rmi/1121 1998