arxiv: 2604.24898 · v1 · submitted 2026-04-27 · 🧮 math.NT · math.AG

Recognition: unknown

Elementary anabelian varieties are anabelian

Magnus Carlson

Authors on Pith no claims yet

Pith reviewed 2026-05-08 01:26 UTC · model grok-4.3

classification 🧮 math.NT math.AG

keywords anabelian varietiesétale fundamental groupGrothendieck conjectureshyperbolic curvessub-p-adic fieldscohomology ringsdominant maps

0 comments

The pith

Isomorphisms of fundamental groups of elementary anabelian varieties over sub-p-adic fields correspond bijectively to isomorphisms of the varieties themselves.

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

The paper proves that for varieties obtained by iterated fibrations of hyperbolic curves over sub-p-adic fields, the étale fundamental group determines the variety completely up to isomorphism. It also shows that dominant maps between proper such varieties correspond to stably cohomologically injective maps of fundamental groups, where the maps induce injections on cohomology rings after restriction to all open subgroups. This directly verifies specific cases of Grothendieck's anabelian conjectures as stated in his letter to Faltings. The argument extends to statements about étale homotopy types of these varieties.

Core claim

Elementary anabelian varieties over sub-p-adic fields are anabelian in the sense that isomorphisms of their étale fundamental groups are in bijection with isomorphisms of the varieties, and dominant morphisms between proper ones correspond to stably cohomologically injective maps of fundamental groups. The proof uses the structure of these varieties as iterated fibrations and properties of their cohomology rings with ℓ-adic coefficients for all primes ℓ.

What carries the argument

The étale fundamental group of an elementary anabelian variety, equipped with the condition of stable cohomological injectivity for maps between such groups.

If this is right

Dominant maps between proper elementary anabelian varieties are classified by the stably cohomologically injective maps they induce on fundamental groups.
The anabelian property holds for this class, so the fundamental group reconstructs the variety.
Étale homotopical versions of the classification also hold for these varieties.
Grothendieck's conjectures from the letter to Faltings are confirmed in the elementary anabelian case.

Where Pith is reading between the lines

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

The fibration structure may allow recovery of geometric information directly from group-theoretic data in related settings.
Similar classification results could be tested for other restricted classes of varieties where cohomology injectivity conditions can be verified.
The correspondence might lead to algorithms for deciding isomorphisms between such varieties by comparing their fundamental groups.
Extensions to non-proper cases or other base fields would require new control over the cohomology ring maps.

Load-bearing premise

The varieties must arise precisely as iterated fibrations of hyperbolic curves and the base fields must be sub-p-adic.

What would settle it

Two non-isomorphic elementary anabelian varieties over the same sub-p-adic field whose étale fundamental groups are isomorphic as profinite groups would disprove the main correspondence.

read the original abstract

We show that isomorphisms of fundamental groups of elementary anabelian varieties -- varieties obtained as iterated fibrations of hyperbolic curves -- over sub-$p$-adic fields correspond bijectively to isomorphisms of varieties. Moreover, dominant maps between proper elementary anabelian varieties are in bijection with ``stably cohomologically injective'' maps of fundamental groups: open maps whose pullbacks to all open subgroups induce injections on cohomology rings with $\ell$-adic coefficients, for any prime $\ell$. This verifies conjectures of Grothendieck from his letter to Faltings. Finally, we establish \'etale homotopical generalizations of these results.

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.

Desk Editor's Note private letter to a colleague

Carlson verifies Grothendieck's anabelian conjectures for elementary anabelian varieties over sub-p-adic fields via induction on fibration depth.

read the letter

The core result is that isomorphisms of étale fundamental groups of these iterated fibrations of hyperbolic curves correspond bijectively to isomorphisms of the varieties themselves, and dominant maps between proper ones match up with stably cohomologically injective maps of groups. This directly confirms the conjectures in the restricted setting, plus some étale homotopical extensions. The argument proceeds by induction, using the known case for hyperbolic curves as base and lifting via functoriality of the étale site and Galois compatibility under the sub-p-adic hypothesis. That structure is clean and builds on established work without obvious circularity. The stable cohomological injectivity condition on cohomology rings with ℓ-adic coefficients for all ℓ is a reasonable way to capture the dominant maps part. The paper ships a clear statement of the theorems and a method that looks reproducible from the outline. Minor points worth checking in the full text are whether the induction handles all edge cases for non-proper varieties or varying fibration depths without extra technical hypotheses, and how precisely the pullbacks to open subgroups preserve the injectivity. Those are standard sorts of details rather than load-bearing gaps. This is for specialists in anabelian and arithmetic geometry who already know the hyperbolic curve results. A reader in that area will find the inductive step useful and the generalizations worth noting. It deserves a serious referee because it gives concrete, verifiable progress on an important open program with a transparent method.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that isomorphisms of the étale fundamental groups of elementary anabelian varieties (iterated fibrations of hyperbolic curves) over sub-p-adic fields correspond bijectively to isomorphisms of the varieties. It further shows that dominant maps between proper elementary anabelian varieties correspond to stably cohomologically injective maps of fundamental groups (open maps inducing injections on ℓ-adic cohomology rings for all primes ℓ after pullback to open subgroups), verifying Grothendieck's conjectures from his letter to Faltings, and establishes étale homotopical generalizations of these results.

Significance. If the arguments hold, this constitutes a meaningful advance in anabelian geometry by extending the known anabelian property of hyperbolic curves to the larger class of elementary anabelian varieties via induction on fibration depth, using functoriality of the étale site and Galois compatibility under the sub-p-adic hypothesis. The explicit bijections and the stable cohomological injectivity condition provide concrete, falsifiable statements that confirm long-standing conjectures in a restricted but nontrivial setting.

major comments (2)

[§2 (inductive step)] The induction on fibration depth (invoked to reduce to the hyperbolic curve case) must be checked for compatibility of the stable cohomological injectivity condition across fibers; if the base case holds only for proper hyperbolic curves, the extension to non-proper iterated fibrations requires an explicit lemma showing that open subgroups preserve the injectivity on cohomology rings.
[§3, definition of stably cohomologically injective maps] The definition of 'stably cohomologically injective' in the statement for dominant maps relies on pullbacks to all open subgroups inducing injections on the full cohomology ring; this needs verification that the condition is independent of the choice of base point and that it is strictly stronger than ordinary injectivity on H^1, as this is load-bearing for the bijection claim.

minor comments (2)

[Introduction and §1] Notation for the étale fundamental group and the sub-p-adic field hypothesis should be introduced uniformly in the introduction and used consistently in all statements.
[Abstract] The abstract and introduction would benefit from a brief sentence recalling the precise statement of Grothendieck's conjecture being verified, to make the contribution self-contained.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting these two points, which help clarify the inductive argument and the definition of stable cohomological injectivity. We address each comment below and have incorporated the suggested clarifications into a revised version.

read point-by-point responses

Referee: [§2 (inductive step)] The induction on fibration depth (invoked to reduce to the hyperbolic curve case) must be checked for compatibility of the stable cohomological injectivity condition across fibers; if the base case holds only for proper hyperbolic curves, the extension to non-proper iterated fibrations requires an explicit lemma showing that open subgroups preserve the injectivity on cohomology rings.

Authors: We agree that an explicit compatibility check is required to make the induction fully rigorous, particularly when extending from proper hyperbolic curves to non-proper iterated fibrations. In the revised manuscript we have inserted Lemma 2.5, which verifies that if a map of fundamental groups is stably cohomologically injective, then its restriction to any open subgroup (corresponding to a finite étale cover) remains stably cohomologically injective. The proof uses the functoriality of the étale site under base change together with the sub-p-adic hypothesis to control the action on ℓ-adic cohomology rings for all primes ℓ. This lemma closes the inductive step for fibrations of arbitrary depth. revision: yes
Referee: [§3, definition of stably cohomologically injective maps] The definition of 'stably cohomologically injective' in the statement for dominant maps relies on pullbacks to all open subgroups inducing injections on the full cohomology ring; this needs verification that the condition is independent of the choice of base point and that it is strictly stronger than ordinary injectivity on H^1, as this is load-bearing for the bijection claim.

Authors: We thank the referee for requesting this clarification. Independence of base point follows because the ℓ-adic cohomology ring is canonically attached to the profinite étale fundamental group up to inner automorphism, and the injectivity condition is invariant under conjugation. We have added Remark 3.2, which records this fact and shows that the stable condition is strictly stronger than mere H^1-injectivity by exhibiting an open map of fundamental groups that is injective on H^1 yet fails to induce an injection on H^2 after pullback to a suitable open subgroup. This remark supports the bijection statement without changing any of the main theorems. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper proves the correspondence by induction on fibration depth for elementary anabelian varieties over sub-p-adic fields. It invokes standard known anabelian results for the base case of hyperbolic curves (external to this work) and extends via functoriality of the étale site, Galois actions, and stable cohomological injectivity on cohomology rings. No step reduces a claimed result to a fitted parameter, self-definition, or load-bearing self-citation chain; the argument relies on established étale cohomology properties without internal reduction to inputs by construction. This is the normal case of an independent proof in a restricted setting.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background in etale fundamental groups, hyperbolic curves, and cohomology rings with ell-adic coefficients; no new free parameters or invented entities are introduced in the abstract.

axioms (2)

standard math Standard properties of etale fundamental groups and their action on cohomology rings with ell-adic coefficients hold for the varieties considered.
Invoked in the definition of stably cohomologically injective maps and the bijection statements.
domain assumption Elementary anabelian varieties are well-defined as iterated fibrations of hyperbolic curves over sub-p-adic fields.
This is the class for which the correspondence is claimed.

pith-pipeline@v0.9.0 · 5391 in / 1366 out tokens · 32960 ms · 2026-05-08T01:26:49.810832+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

38 extracted references · 21 canonical work pages

[1]

P.Achinger,Wildramificationand 𝐾(𝜋,1)spaces,English,Invent.Math.,vol.210,no.2,pp.453– 499,2017.doi:10.1007/s00222-017-0733-5

work page doi:10.1007/s00222-017-0733-5 2017
[2]

Artin and B

M. Artin and B. Mazur,Etale homotopy(Lect. Notes Math.), English. Springer, Cham, 1969, vol.100.doi:10.1007/BFb0080957

work page doi:10.1007/bfb0080957 1969
[3]

B.Bhatt,TheHodge-Tatedecompositionviaperfectoidspaces,English,inPerfectoidspaces.Lec- turesfromthe20thArizonawinterschool,UniversityofArizona,Tuscon,AZ,USA,March11–17,
[4]

With an introduction by Peter Scholze, Providence, RI: American Mathematical Society (AMS),2019,pp.193–244,isbn:978-1-4704-5015-1;978-1-4704-5411-1

2019
[5]

SGA4 1/2

B.BhattandP.Scholze,Thepro-étaletopologyforschemes,English,inDelagéométriealgébrique auxformesautomorphes(I).Unecollectiond’articlesenl’honneurdusoixantièmeanniversairede GérardLaumon,Paris:SociétéMathématiquedeFrance(SMF),2015,pp.99–201,isbn:978-2- 85629-805-3. SGA4 1/2. P.Deligne,Cohomologieétale.SeminairedegéométriealgébriqueduBois-MarieSGA41/2par P. D...

work page doi:10.1007/bfb0091516 2015
[6]

G.Faltings,Curvesandtheirfundamentalgroups[followingGrothendieck,TamagawaandMochizuki], English,inSéminaireBourbaki.Volume1997/98.Exposés835–849,Paris:SociétéMathématique deFrance,1998,131–150,ex. 20

1998
[7]

E.M.Friedlander,Étalehomotopyofsimplicialschemes(AnnalsofMathematicsStudies).Prince- tonUniversityPress,Princeton,N.J.;UniversityofTokyoPress,Tokyo,1982,vol.104,pp.vii+190, isbn:0-691-08288-X;0-691-08317-7

1982
[8]

T.Fujita,OnKählerfiberspacesovercurves,English,J.Math.Soc.Japan,vol.30,pp.779–794, 1978.doi:10.2969/jmsj/03040779

work page doi:10.2969/jmsj/03040779 1978
[9]

P. A. Griffiths,Complex-analytic properties of certain Zariski open sets on algebraic varieties, English,Ann.Math.(2),vol.94,pp.21–51,1971.doi:10.2307/1970733 SGA1. A. Grothendieck, Ed.,Séminaire de géométrie algébrique du Bois Marie 1960-61. Revêtements étalesetgroupefondamental(SGA1).UnséminairedirigéparAlexanderGrothendieck.Augmenté dedeuxexposésdeM.Ra...

work page doi:10.2307/1970733 1971
[10]

A.Grothendieck,LettertoG.Faltings,German;English,inGeometricGaloisactions.1.Around Grothendieck’sesquissed’unprogramme.Proceedingsoftheconferenceongeometryandarithmetic ofmodulispaces,Luminy,France,August1995,Cambridge:CambridgeUniversityPress,1997, pp.49–58,isbn:0-521-59642-4

1997
[11]

A.Grothendieck,Sketchofaprogramme,French;English,inGeometricGaloisactions.1.Around Grothendieck’sesquissed’unprogramme.Proceedingsoftheconferenceongeometryandarithmetic ofmodulispaces,Luminy,France,August1995,Cambridge:CambridgeUniversityPress,1997, pp.5–48,isbn:0-521-59642-4

1997
[12]

P. J. Haine, T. Holzschuh, and S. Wolf,Nonabelian basechange theorems and étale homotopy theory,English,J.Topol.,vol.17,no.4,p.45,2024,Id/Noe70009.doi:10.1112/topo.70009

work page doi:10.1112/topo.70009 2024
[13]

P.J.Haine,T.Holzschuh,andS.Wolf,Thefundamentalfibersequenceinétalehomotopytheory, English,Int.Math.Res.Not.,vol.2024,no.1,pp.175–196,2024.doi:10.1093/imrn/rnad018

work page doi:10.1093/imrn/rnad018 2024
[14]

T.Holzschuh,OntherealSectionConjectureinétalehomotopytheory,Preprint,arXiv:2510.13325 [math.AG](2025),2025

work page arXiv 2025
[15]

Hoshi,TheGrothendieckconjectureforhyperbolicpolycurvesoflowerdimension, English, J

Y. Hoshi,TheGrothendieckconjectureforhyperbolicpolycurvesoflowerdimension, English, J. Math.Sci.,Tokyo,vol.21,no.2,pp.153–219,2014

2014
[16]

M.Hoyois,HigherGaloistheory,English,J.PureAppl.Algebra,vol.222,no.7,pp.1859–1877, 2018.doi:10.1016/j.jpaa.2017.08.010

work page doi:10.1016/j.jpaa.2017.08.010 2018
[17]

TextsMath.),English.Springer,Cham,1982,vol.76

S.Iitaka,Algebraicgeometry.Anintroductiontobirationalgeometryofalgebraicvarieties(Grad. TextsMath.),English.Springer,Cham,1982,vol.76

1982
[18]

Continuous \'etale cohomology , url =

U. Jannsen,Continuous étale cohomology, English, Math. Ann., vol. 280, no. 2, pp. 207–245, 1988.doi:10.1007/BF01456052

work page doi:10.1007/bf01456052 1988
[19]

S. L. Kleiman,Algebraic cycles and the Weil conjectures, English, Dix Exposés Cohomologie Schémas,Adv.Stud.PureMath.3,359-386(1968).1968

1968
[20]

Q.Liu,Algebraicgeometryandarithmeticcurves.Transl.byReinieErné(Oxf.Grad.TextsMath.), English.Oxford:OxfordUniversityPress,2006,vol.6,isbn:0-19-920249-4

2006
[21]

Mochizuki,The profinite Grothendieck conjecture for closed hyperbolic curves over number fields,English,J.Math.Sci.,Tokyo,vol.3,no.3,pp.571–627,1996

S. Mochizuki,The profinite Grothendieck conjecture for closed hyperbolic curves over number fields,English,J.Math.Sci.,Tokyo,vol.3,no.3,pp.571–627,1996

1996
[22]

Mochizuki,A version of the Grothendieck conjecture for𝑝-adic local fields, English, Int

S. Mochizuki,A version of the Grothendieck conjecture for𝑝-adic local fields, English, Int. J. Math.,vol.8,no.4,pp.499–506,1997.doi:10.1142/S0129167X97000251

work page doi:10.1142/s0129167x97000251 1997
[23]

Mochizuki,The local pro-p anabelian geometry of curves, English, Invent

S. Mochizuki,The local pro-p anabelian geometry of curves, English, Invent. Math., vol. 138, no.2,pp.319–423,1999.doi:10.1007/s002220050381

work page doi:10.1007/s002220050381 1999
[24]

Mochizuki,The absolute anabelian geometry of hyperbolic curves, English, inGalois theory andmodularforms,BostonMA:KluwerAcademicPublishers,2004,pp.77–122,isbn:1-4020- 7689-4

S. Mochizuki,The absolute anabelian geometry of hyperbolic curves, English, inGalois theory andmodularforms,BostonMA:KluwerAcademicPublishers,2004,pp.77–122,isbn:1-4020- 7689-4

2004
[25]

Mochizuki,Topics in absolute anabelian geometry

S. Mochizuki,Topics in absolute anabelian geometry. II: Decomposition groups and endomor- phisms,English,J.Math.Sci.,Tokyo,vol.20,no.2,pp.171–269,2013

2013
[26]

Nagamachi,Topics in the Grothendieck conjecture for hyperbolic polycurves of dimension2, English,OsakaJ.Math.,vol.61,no.1,pp.91–105,2024

I. Nagamachi,Topics in the Grothendieck conjecture for hyperbolic polycurves of dimension2, English,OsakaJ.Math.,vol.61,no.1,pp.91–105,2024

2024
[27]

Nakamura,On galois automorphisms of the fundamental group of the projective line minus threepoints,English,Math.Z.,vol.206,no.4,pp.617–622,1991.doi:10.1007/BF02571368

H. Nakamura,On galois automorphisms of the fundamental group of the projective line minus threepoints,English,Math.Z.,vol.206,no.4,pp.617–622,1991.doi:10.1007/BF02571368

work page doi:10.1007/bf02571368 1991
[28]

Math.,vol.4,no.3,pp.421–438,1993.doi:10.1142/S0129167X93000236 21

H.Nakamura,Galoisrigidityofalgebraicmappingsintosomehyperbolicvarieties,English,Int.J. Math.,vol.4,no.3,pp.421–438,1993.doi:10.1142/S0129167X93000236 21

work page doi:10.1142/s0129167x93000236 1993
[29]

F.Pop,OnGrothendieck’sconjectureofbirationalanabeliangeometry,English,Ann.Math.(2), vol.139,no.1,pp.145–182,1994.doi:10.2307/2946630

work page doi:10.2307/2946630 1994
[30]

Based on the courses given at the working week in Obergurgl, Austria, September 7–14, 1997, Basel: Birkhäuser, 2000, pp

F.Pop,Alterationsandbirationalanabeliangeometry,English,inResolutionofsingularities.A research textbook in tribute to Oscar Zariski. Based on the courses given at the working week in Obergurgl, Austria, September 7–14, 1997, Basel: Birkhäuser, 2000, pp. 519–532,isbn: 3-7643- 6178-6

1997
[31]

Geom.,vol.13,no.2,pp.287–321,2004.doi:10.1090/S1056-3911-03-00338-2

T.Saito,Logsmoothextensionofafamilyofcurvesandsemi-stablereduction,English,J.Algebr. Geom.,vol.13,no.2,pp.287–321,2004.doi:10.1090/S1056-3911-03-00338-2

work page doi:10.1090/s1056-3911-03-00338-2 2004
[32]

Sawada,Pro-𝑝Grothendieck conjecture for hyperbolic polycurves, English, Publ

K. Sawada,Pro-𝑝Grothendieck conjecture for hyperbolic polycurves, English, Publ. Res. Inst. Math.Sci.,vol.54,no.4,pp.781–853,2018.doi:10.4171/PRIMS/54-4-3

work page doi:10.4171/prims/54-4-3 2018
[33]

T.M.Schlank,Étalehomotopyandobstructionstorationalpoints,English,inHomotopytheory andarithmeticgeometry–motivicandDiophantineaspects.LMS-CMIresearchschool,London, UK,July9–13,2018.Lecturenotes,Cham:Springer,2021,pp.107–143,isbn:978-3-030-78976-3; 978-3-030-78977-0.doi:10.1007/978-3-030-78977-0_4

work page doi:10.1007/978-3-030-78977-0_4 2018
[34]

Théoriedestoposetcohomologieétaledesschémas.Tome3(SéminairedeGéométrieAlgébrique du Bois Marie 1963–64 (SGA 4)

A.SchmidtandJ.Stix,Anabeliangeometrywithétalehomotopytypes,English,Ann.Math.(2), vol.184,no.3,pp.817–868,2016.doi:10.4007/annals.2016.184.3.5 SGA4 iii. Théoriedestoposetcohomologieétaledesschémas.Tome3(SéminairedeGéométrieAlgébrique du Bois Marie 1963–64 (SGA 4). Dirigé par M. Artin, A. Grothendieck, J.-L. Verdier. Avec la collaboration de N. Bourbaki, P....

work page doi:10.4007/annals.2016.184.3.5 2016
[35]

J.Stix,Projectiveanabeliancurvesinpositivecharacteristicanddescenttheoryforlog-étalecovers (Bonn.Math.Schr.),English.Bonn:Univ.Bonn,MathematischesInstitut(Diss.),2002,vol.354

2002
[36]

Takao,Anabelian geometry of certain types of hyperbolic polycurves, English, J

N. Takao,Anabelian geometry of certain types of hyperbolic polycurves, English, J. Algebra, vol.604,pp.406–428,2022.doi:10.1016/j.jalgebra.2022.04.005

work page doi:10.1016/j.jalgebra.2022.04.005 2022
[37]

A.Tamagawa,TheGrothendieckconjectureforaffinecurves,English,Compos.Math.,vol.109, no.2,pp.135–194,1997.doi:10.1023/A:1000114400142

work page doi:10.1023/a:1000114400142 1997
[38]

MagnusCarlson,InstitutfürMathematik,Goethe–UniversitätFrankfurt,Robert-Mayer-Strasse6– 8,60325FrankfurtamMain,Germany Emailaddress:carlson@math.uni-frankfurt.de

S.YooandJ.Yum,Limitofbergmankernelsonatowerofcoveringsofcompactkählermanifolds, MathematischeAnnalen,vol.388,no.2,pp.1609–1628,2024. MagnusCarlson,InstitutfürMathematik,Goethe–UniversitätFrankfurt,Robert-Mayer-Strasse6– 8,60325FrankfurtamMain,Germany Emailaddress:carlson@math.uni-frankfurt.de

2024