Finiteness for \'{E}tale Fundamental Groups of N\'{e}ron Models

Frank Lu

arxiv: 2607.00232 · v1 · pith:FLYJIHLAnew · submitted 2026-06-30 · 🧮 math.NT

Finiteness for \'{E}tale Fundamental Groups of N\'{e}ron Models

Frank Lu This is my paper

Pith reviewed 2026-07-02 17:16 UTC · model grok-4.3

classification 🧮 math.NT

keywords étale fundamental groupNéron modelabelian varietyFaltings heightnumber fieldsemidirect productelliptic curveMerel's theorem

0 comments

The pith

The étale fundamental group of the Néron model of an abelian variety over a number field K is the semidirect product of a finite group with the étale fundamental group of the ring of integers of K.

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

The paper shows that the étale fundamental group attached to the Néron model of an abelian variety over a number field splits as a semidirect product whose first factor is finite and whose second factor is exactly the étale fundamental group of the ring of integers. The argument proceeds by tracking the variation of Faltings height when an abelian variety is pulled back along covers that extend to finite étale covers of the Néron model. For elliptic curves the finite factor is shown to be uniformly bounded once the base field is fixed, and the complete list of possibilities over the rationals is determined.

Core claim

The étale fundamental group of the Néron model of an abelian variety over a number field K is the semidirect product of a finite group with the étale fundamental group of the ring of integers of K. This is proved by studying the change in Faltings height under covers that spread out to finite étale covers of the Néron model. For elliptic curves, Merel's torsion theorem implies the finite group has size bounded uniformly for fixed K, and all possible groups for elliptic curves over Q are listed.

What carries the argument

semidirect product decomposition of the étale fundamental group of the Néron model, obtained from the variation of Faltings height under finite étale covers that spread out from the base

If this is right

For any fixed number field the finite factor in the decomposition is bounded when the abelian variety is an elliptic curve.
The complete list of possible étale fundamental groups for Néron models of elliptic curves over Q is finite and can be written down explicitly.
The non-finite part of the fundamental group arises entirely from the base Spec of the ring of integers.
The height-change argument applies uniformly to all abelian varieties, not merely to elliptic curves.

Where Pith is reading between the lines

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

The result separates the contribution of the generic fiber from that of the special fibers in the arithmetic fundamental group.
Explicit height computations on known families of elliptic curves could be used to verify the listed groups over Q.
The same height technique might extend to fundamental groups of other arithmetic schemes whose models admit height functions.

Load-bearing premise

That the change in Faltings height under covers that spread out to finite étale covers of the Néron model is sufficient to deduce the semidirect product decomposition.

What would settle it

An explicit computation, for some abelian variety over a number field, of the étale fundamental group of its Néron model whose quotient by the base fundamental group is either infinite or not finite.

read the original abstract

In this paper, we prove that the \'{e}tale fundamental group of the N\'{e}ron model of an abelian variety over a number field $K$ is the semidirect product of a finite group with the \'{e}tale fundamental group of the ring of integers of $K.$ We prove this by studying how the Faltings height of an abelian variety changes under covers that spread out to finite \'{e}tale covers of its N\'{e}ron model. We then strengthen this result for elliptic curves. Using Merel's torsion theorem, we show the size of this finite group can be uniformly bounded for a fixed number field. We conclude by giving the list of all possible \'{e}tale fundamental groups for the N\'{e}ron model of an elliptic curve over $\mathbb{Q}.$

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

The paper claims the étale fundamental group of a Néron model is a semidirect product of a finite group and the fundamental group of O_K, proved via Faltings height changes under covers, plus an explicit list for elliptic curves over Q.

read the letter

The main result here is that the étale fundamental group of the Néron model of an abelian variety over K decomposes as a semidirect product of a finite group and the étale fundamental group of Spec(O_K). The proof tracks how Faltings height behaves under covers that extend to finite étale covers of the model, then applies Merel's theorem in the elliptic case to get a uniform bound on the finite part and lists all possibilities over Q.

This decomposition looks new. I do not recall a prior result that directly produces this semidirect product structure for general abelian varieties using height. The move from height variation to group structure is a reasonable strategy in arithmetic geometry, and the elliptic case adds a concrete payoff with the explicit list.

The paper handles the elliptic strengthening cleanly by invoking Merel's theorem, which is the standard tool for uniform torsion bounds. That part feels solid on its face.

The soft spot is the central deduction: the abstract says the height analysis under spreading-out covers yields the semidirect product, but without the full write-up it is difficult to verify whether the height data fully determines the kernel and the action or if extra steps are needed. If that link holds, the rest follows; if not, the claim weakens. No other gaps are visible from the given description.

This is for people working on étale fundamental groups, Néron models, or height-based finiteness results in arithmetic geometry. A reader who already follows papers on Faltings height or fundamental groups of schemes over number fields would get the most out of the explicit classification over Q.

The result is specific and combines standard ingredients in a new way, so it deserves a serious referee to check the height calculations and the group-theoretic deduction. I recommend sending it to peer review.

Referee Report

0 major / 0 minor

Summary. The paper claims to prove that the étale fundamental group of the Néron model of an abelian variety over a number field K is the semidirect product of a finite group with the étale fundamental group of the ring of integers of K. The argument proceeds by analyzing the change in Faltings height under covers that spread out to finite étale covers of the Néron model. For elliptic curves the result is strengthened via Merel's torsion theorem to obtain a uniform bound on the finite group, and the paper concludes by listing all possible such groups for elliptic curves over Q.

Significance. If correct, the result would give a structural finiteness theorem for étale fundamental groups of Néron models, extending known arithmetic geometry results on fundamental groups and heights. The explicit classification for elliptic curves over Q would be a concrete contribution.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript, which correctly captures the main result and the method of proof via Faltings height. No specific major comments or criticisms were provided in the report, so we have no points to address point-by-point. The recommendation of 'uncertain' does not specify any particular issue with the argument, and we stand by the correctness of the proof as written.

Circularity Check

0 steps flagged

No significant circularity; derivation uses external theorems

full rationale

The paper establishes the semidirect product structure for the étale fundamental group of the Néron model by analyzing the change in Faltings height under finite étale covers that spread out from the base, followed by an application of Merel's torsion theorem in the elliptic case. No load-bearing step reduces by construction to a fitted parameter, self-definition, or self-citation chain. The argument invokes standard external results (Faltings height and Merel's theorem) whose validity is independent of the present paper. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard background facts about étale fundamental groups and Néron models together with Merel's theorem; no free parameters or new entities are mentioned.

axioms (2)

standard math Standard properties of étale fundamental groups and Néron models of abelian varieties
Invoked to formulate the main structural statement.
domain assumption Merel's theorem on uniform boundedness of torsion for elliptic curves over number fields
Used explicitly to bound the finite factor and produce the list over Q.

pith-pipeline@v0.9.1-grok · 5671 in / 1320 out tokens · 36812 ms · 2026-07-02T17:16:21.229509+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 6 canonical work pages

[1]

Gaudron, \'Eric and R\'emond, Ga\"el , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2014 , NUMBER =. doi:10.4171/CMH/322 , URL =

work page doi:10.4171/cmh/322 2014
[2]

The Stacks Project , howpublished =

The. The Stacks Project , howpublished =
[3]

Ast\'erisque , FJOURNAL =

Raynaud, Michel , TITLE =. Ast\'erisque , FJOURNAL =. 1985 , PAGES =

1985
[4]

Arithmetic geometry (

Faltings, Gerd , TITLE =. Arithmetic geometry (. 1986 , ISBN =

1986
[5]

The. The. 2026 , note =

2026
[6]

, TITLE =

Mazur, B. , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1977 , PAGES =

1977
[7]

Merel, Lo\"ic , TITLE =. Invent. Math. , FJOURNAL =. 1996 , NUMBER =. doi:10.1007/s002220050059 , URL =

work page doi:10.1007/s002220050059 1996
[8]

2025 , PAGES =

Vakil, Ravi , TITLE =. 2025 , PAGES =

2025
[9]

, TITLE =

Silverman, Joseph H. , TITLE =. Arithmetic geometry (. 1986 , ISBN =

1986
[10]

, TITLE =

Silverman, Joseph H. , TITLE =. 1994 , PAGES =. doi:10.1007/978-1-4612-0851-8 , URL =

work page doi:10.1007/978-1-4612-0851-8 1994
[11]

and Stoll, Michael , TITLE =

Poonen, Bjorn and Schaefer, Edward F. and Stoll, Michael , TITLE =. Duke Math. J. , FJOURNAL =. 2007 , NUMBER =. doi:10.1215/S0012-7094-07-13714-1 , URL =

work page doi:10.1215/s0012-7094-07-13714-1 2007
[12]

, TITLE =

Silverman, Joseph H. , TITLE =. 2009 , PAGES =. doi:10.1007/978-0-387-09494-6 , URL =

work page doi:10.1007/978-0-387-09494-6 2009
[13]

, TITLE =

Elkies, Noam D. , TITLE =. The eightfold way , SERIES =. 1999 , ISBN =

1999
[14]

1990 , PAGES =

Bosch, Siegfried and L\"utkebohmert, Werner and Raynaud, Michel , TITLE =. 1990 , PAGES =. doi:10.1007/978-3-642-51438-8 , URL =

work page doi:10.1007/978-3-642-51438-8 1990
[15]

1970 , PAGES =

Mumford, David , TITLE =. 1970 , PAGES =

1970
[16]

Arithmetic geometry (

Chai, Ching-Li , TITLE =. Arithmetic geometry (. 1986 , ISBN =

1986
[17]

2022 , eprint=

Quasi-projective and formal-analytic arithmetic surfaces , author=. 2022 , eprint=

2022
[18]

and Lang, Serge , TITLE =

Katz, Nicholas M. and Lang, Serge , TITLE =. Enseign. Math. (2) , FJOURNAL =. 1981 , NUMBER =

1981

[1] [1]

Gaudron, \'Eric and R\'emond, Ga\"el , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2014 , NUMBER =. doi:10.4171/CMH/322 , URL =

work page doi:10.4171/cmh/322 2014

[2] [2]

The Stacks Project , howpublished =

The. The Stacks Project , howpublished =

[3] [3]

Ast\'erisque , FJOURNAL =

Raynaud, Michel , TITLE =. Ast\'erisque , FJOURNAL =. 1985 , PAGES =

1985

[4] [4]

Arithmetic geometry (

Faltings, Gerd , TITLE =. Arithmetic geometry (. 1986 , ISBN =

1986

[5] [5]

The. The. 2026 , note =

2026

[6] [6]

, TITLE =

Mazur, B. , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1977 , PAGES =

1977

[7] [7]

Merel, Lo\"ic , TITLE =. Invent. Math. , FJOURNAL =. 1996 , NUMBER =. doi:10.1007/s002220050059 , URL =

work page doi:10.1007/s002220050059 1996

[8] [8]

2025 , PAGES =

Vakil, Ravi , TITLE =. 2025 , PAGES =

2025

[9] [9]

, TITLE =

Silverman, Joseph H. , TITLE =. Arithmetic geometry (. 1986 , ISBN =

1986

[10] [10]

, TITLE =

Silverman, Joseph H. , TITLE =. 1994 , PAGES =. doi:10.1007/978-1-4612-0851-8 , URL =

work page doi:10.1007/978-1-4612-0851-8 1994

[11] [11]

and Stoll, Michael , TITLE =

Poonen, Bjorn and Schaefer, Edward F. and Stoll, Michael , TITLE =. Duke Math. J. , FJOURNAL =. 2007 , NUMBER =. doi:10.1215/S0012-7094-07-13714-1 , URL =

work page doi:10.1215/s0012-7094-07-13714-1 2007

[12] [12]

, TITLE =

Silverman, Joseph H. , TITLE =. 2009 , PAGES =. doi:10.1007/978-0-387-09494-6 , URL =

work page doi:10.1007/978-0-387-09494-6 2009

[13] [13]

, TITLE =

Elkies, Noam D. , TITLE =. The eightfold way , SERIES =. 1999 , ISBN =

1999

[14] [14]

1990 , PAGES =

Bosch, Siegfried and L\"utkebohmert, Werner and Raynaud, Michel , TITLE =. 1990 , PAGES =. doi:10.1007/978-3-642-51438-8 , URL =

work page doi:10.1007/978-3-642-51438-8 1990

[15] [15]

1970 , PAGES =

Mumford, David , TITLE =. 1970 , PAGES =

1970

[16] [16]

Arithmetic geometry (

Chai, Ching-Li , TITLE =. Arithmetic geometry (. 1986 , ISBN =

1986

[17] [17]

2022 , eprint=

Quasi-projective and formal-analytic arithmetic surfaces , author=. 2022 , eprint=

2022

[18] [18]

and Lang, Serge , TITLE =

Katz, Nicholas M. and Lang, Serge , TITLE =. Enseign. Math. (2) , FJOURNAL =. 1981 , NUMBER =

1981