Monodromy Groups of Supersingular Abelian Surfaces over $\mathbb{Q}_p$

Moqing Chen

REVIEW 1 major objections 5 minor 6 references

Monodromy Groups of Supersingular Abelian Surfaces over $\mathbb{Q}_p$

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

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

Pith's one-line read For primes p ≥ 7, the p-adic monodromy groups of supersingular abelian surfaces over Q_p are classified explicitly: the neutral connected component is one of five algebraic groups, generically GL_2 ×_det GL_2.

desk verdict A strong classification paper with a real but repairable bug in the S3 verification (Prop 3.15) that the referee must catch. read the letter →

arxiv 2511.22811 v2 pith:SHR42PLP submitted 2025-11-27 math.NT math.AG

Moqing Chen This is my paper · ORCID

classification math.NTmath.AG MSC 11G1011F8014G2014L24

keywords supersingularabeliansurfacesfilteredφ-modulesp-adicmonodromygroupscrystallinerepresentationsTatemodulesWintenbergertypeGITquotientp-Weilpolynomials

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

This paper aims to give a complete classification of the p-adic linear-algebraic objects (filtered φ-modules) attached to supersingular abelian surfaces over Q_p, for primes p ≥ 7. It shows there are exactly four explicit families of such modules, parametrized by rational parameters satisfying simple valuation conditions. From this, it computes the neutral connected components of the associated algebraic monodromy groups: only five groups occur, and for a generic point in the moduli space the component is GL_2 ×_det GL_2. The result matters because it turns the study of these monodromy groups — which control the image of the Galois action on p-adic Tate modules — into a finite list with an explicit moduli description, a p-adic analogue of Serre's results on elliptic curves.

What carries the argument

The central objects are admissible filtered φ-modules: a Q_p-vector space with a Frobenius endomorphism φ and a Hodge filtration, obtained from a p-adic Tate module via Fontaine's functor. The paper's main tools are (1) the rigidity of supersingular p-Weil polynomials of degree 4 for p ≥ 7, which forces the characteristic polynomial of φ to be either (X^2 ± p)^2 or X^4 + ϵpX^2 + p^2; (2) Wintenberger's Hodge decomposition, whose periodic-function labels ('Wintenberger type') control the possible shapes; and (3) a density result showing the monodromy group is generated by conjugates of the Hodge cocharacter by powers of φ. The moduli description uses the Grassmannian Gr(2,4) and a GIT quotien

What would settle it

Exhibit, for some prime p ≥ 7, a filtered φ-module satisfying the three geometric-origin conditions S1–S3 with characteristic polynomial X^4 + ϵpX^2 + p^2 whose isomorphism class is not among the four families, or a supersingular abelian surface whose p-adic monodromy neutral component is not one of the five groups. A computer search over the parameter space (a,b) ∈ Q_p^2 with ab ≠ −1 and the stated valuation conditions could check the predicted monodromy isomorphisms directly.

Watch

Extended reading notes

Core claim

The paper establishes that, for p ≥ 7, every filtered φ-module arising from an abelian surface over Q_p with supersingular good reduction is isomorphic to one of four families — a product of two rank-2 modules, an isolated member, and two parameterized families D^ϵ,ν and D^ϵ,μ — with parameters satisfying explicit valuation conditions. For these modules, the neutral connected component of the monodromy group is, over the algebraic closure, one of G_m^2, G_m^3, G_a^2 ⋊ G_m^2, GL_2, or GL_2 ×_det GL_2. Moreover, in the coarse moduli space of such modules, all but finitely many points have the generic component GL_2 ×_det GL_2; the exceptional loci are described precisely, and the Wintenberger

Load-bearing premise

The classification of which filtered φ-modules actually come from abelian surfaces with good reduction is taken from an imported theorem in the literature (Conditions S1–S3); if that geometric-origin criterion is incomplete, the 'precisely' in the classification and the claim that the listed modules all arise from abelian surfaces would lose their footing.

Editorial extensions

If this is right

Every supersingular abelian surface over Q_p (p ≥ 7) has p-adic monodromy neutral component in the five-group list, so the image of the Galois representation is understood up to finite index and inner forms.
The generic component GL_2 ×_det GL_2 is as large as the Hodge and determinant constraints allow; non-generic behaviour is confined to finitely many loci in the moduli space.
Non-semisimple p-adic Tate modules occur only when p ≡ 1 mod 3 and the module is the specific member D^{1,μ}_{(−ζ_3 p,1)}; correspondingly, non-reductive monodromy occurs only for the G_a^2 ⋊ G_m^2 case.
The moduli space M^wa is a quotient of P^2(Q_p) by the centralizer of φ, with a projective GIT quotient map to P^1(Q_p); the Wintenberger type is constant above the same valuation of a single function.
The classification of supersingular p-Weil polynomials of degree 4 for p ≥ 7 gives only the two families (X^2 ± p)^2 and X^4 + ϵpX^2 + p^2, a purely arithmetic fact that underpins the whole paper.

Reading between the lines

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

One testable extension is to small primes: the arguments exclude p < 7 at specific steps (e.g., roots of X^2 + ϵpX + 1), so the five-group list may change for p = 3, 5; computing the monodromy groups there would show how the classification bifurcates.
The generic-large-monodromy statement suggests a p-adic analogue of Serre's open image theorem for abelian surfaces: the exceptional locus in the moduli space is finite, so deformations of a supersingular surface should almost always have full monodromy.
The moduli picture may transfer to the study of Hecke orbits: since monodromy groups are stable under Hecke correspondences, the finite-exception statement gives local evidence for p-adic nowhere-density of small monodromy loci in Hodge-type Shimura varieties.
The method of classifying via Wintenberger types could be pushed to higher-dimensional abelian varieties with supersingular reduction; the first obstruction would be the larger set of supersingular Weil polynomials, but the monodromy computation via conjugates of the Hodge cocharacter should remain tractable.

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.

Desk Editor's Note

read the letter

This is a genuine advance—the first p-adic monodromy classification for a family of abelian varieties beyond elliptic curves—but there is a concrete error in the S3 verification of Proposition 3.15 that, as written, breaks the proof of Theorem A's geometricity direction. It looks like a repairable typo, but needs to be fixed before the main theorem is fully supported.

What the paper does well: the classification of supersingular Weil polynomials of degree 4 is clean, and the reduction to linear-algebraic constraints (Lemma 3.2) is sensible. The monodromy computations in Section 4, via Pink's density theorem and Lie algebra generation, are long but systematic; the resulting list (G_m^2, G_m^3, G_a^2 ⋊ G_m^2, GL_2, GL_2 ×_det GL_2) is a satisfying extension of Serre's elliptic curve result. The moduli-space/GIT interpretation in Section 5 is a nice bonus, and the claimed correction of Volkov's earlier claim is worth checking on its own.

Where the soft spots are: the stress-test note is right. In Proposition 3.15, to prove S3 for the X^4+εpX^2+p^2 family, they choose x1,x2,x3 with x3=(1−ε)p x1 and (α1−(ε−1)p α2)x1+α2 x2=0. But total isotropy of Fil^1 requires δ(x,y)=α1x1+α2x2+α3x3=0, and these equations give δ(x,y)=p(1−ε)(α3−α2)x1, not zero in general. The concrete example in the stress-test (ε=0, companion matrix X^4+p^2, Fil^1=span(e0,e2)) makes this vivid. The likely fix is to put α3 in place of α2 in the first equation; then the conclusion follows. As printed, though, Theorem A's 'precisely' is not fully supported because S3 is not verified. This is small in the sense of being repairable, but it is load-bearing.

Otherwise, the paper is honest about using Volkov's criterion as an external black box, and that is the right way to proceed. The many 'direct calculations' are a bit annoying, but the matrices are mostly given. Typos and formatting issues abound but are minor.

This paper is for p-adic Hodge theorists and people working on monodromy of abelian varieties. It deserves a serious referee; I would send it out. The referee should ask for a corrected Prop 3.15 and a careful check of the matrix computations in Props 4.2–4.5 and 5.5. With that, this should be a solid accept.

Referee Report

1 major / 5 minor

Summary. The paper classifies, for primes p ≥ 7, the filtered φ-modules attached to the p-adic Tate modules of abelian surfaces over Q_p with supersingular good reduction. The main results are: a complete list of such modules (four explicit families with arithmetical parameter conditions, Theorem A / Theorems 3.7 and 3.10); the determination of the neutral connected components of the associated p-adic algebraic monodromy groups (Theorem B / Theorem 4.6), which are G_m^2, G_m^3, G_a^2 ⋊ G_m^2, GL_2, or GL_2 ×_det GL_2; a moduli-space description of the isomorphism classes via a GIT quotient of Gr(2,4) (Theorem C / 5.7); and a proof that the generic neutral component is GL_2 ×_det GL_2 (Theorem D / 5.13), together with a description of Wintenberger types (Theorem E / 5.8). The proof strategy combines a classification of supersingular p-Weil polynomials of degree 4, linear-algebraic constraints from Hodge decompositions, Volkov's geometricity criterion, Pink's density theorem, and explicit Lie-algebra computations.

Significance. If correct, the paper gives a complete, explicit local classification for a concrete class of geometric Galois representations and computes their monodromy groups, extending Serre's results for elliptic curves to supersingular abelian surfaces. The moduli-space description via a GIT quotient is elegant and makes the distribution of monodromy groups precise; the paper also provides the first examples in this setting where the neutral component is non-reductive. A notable strength is the concreteness of the output: the author gives explicit matrices for all constructed objects, parameter conditions, and Lie-algebra computations, which makes the claims checkable. The dependence on Volkov's external characterization is clearly stated and is a standard tool, not a circularity.

major comments (1)

[§3.6, Proposition 3.15] The construction of the skew form does not, as written, make Fil^1 totally isotropic. With y ≡ α1 φx + α2 φ²x + α3 φ³x (mod Q_p x), total isotropy requires δ(x,y)=α1 x1+α2 x2+α3 x3=0. Substituting the displayed conditions x3=(1−ε)p x1 and (α1−(ε−1)p α2)x1+α2 x2=0 gives δ(x,y)=(1−ε)p(α3−α2)x1, which is not zero in general. For instance, take ε=0, φ the companion matrix of X^4+p^2, and Fil^1=span(e0,e2); then α=(0,1,0), and the system forces x2=−p x1, x3=p x1, so δ(e0,e2)=−p x1 ≠ 0. Thus the verification of Volkov's condition S3 is invalid as printed. Since Proposition 3.15 is the step that turns the algebraic classification into geometric objects via Volkov's criterion, Theorem A's 'precisely' and the geometric direction of Theorem 3.10 are not fully supported. The error appears repairable (the correct condition is α1 x1+α2 x2+α3 x3=0, and the example admits the valid choice x2=0, x3=p x1

minor comments (5)

[Abstract and Theorem A] Typo: 'arithmetric conditions' should be 'arithmetic conditions'.
[§2.4 title] Typo: 'computating' should be 'computing'.
[§1.4 and §3.1] Prop. 3.1 says 'degree 3 smaller than 4'; the wording is confusing, probably 'degree smaller than 4' or 'degree ≤ 4' is intended.
[Example 4.4] 'Exemple' should be 'Example'; 'nonsemisimple' is a typo for 'non-semisimple'.
[§3.5, proof of Proposition 3.14] In the case X_D=(A), the deduction that both a and (a−εp)/p lie in pZ_p is terse; a sentence explaining why the image of ar u−Id must be contained in a proper ar f_el-stable subspace would help. This is not load-bearing for the main theorem once Prop. 3.15 is fixed.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the derivation relies on external theorems and free parameters, not on its own conclusions.

full rationale

The paper's main derivation chain is: (1) define C as the essential image of supersingular abelian surfaces, (2) import Volkov's external characterization (Theorem 2.5) converting the geometric condition into linear-algebraic conditions S1–S3, (3) classify possible supersingular p-Weil polynomials and Wintenberger types using elementary field theory and Wintenberger's theorem, (4) construct explicit filtered φ-modules D^ϵ,iso, D^ϵ,ν, D^ϵ,μ with free parameters a,b,a′ satisfying explicit inequalities, and (5) verify S3 by explicit skew forms and then compute monodromy groups via Pink's density theorem and Milne's Lie correspondence. None of these steps uses the paper's own conclusions as inputs: the parameters are intrinsic degrees of freedom, not fitted to make the monodromy answer come out; Volkov, Pink, Milne, and Wintenberger are external and are not authored by the present paper. No self-citation is load-bearing. A skeptical reading identifies a possible computational gap in the S3 verification in Proposition 3.15, but even if that gap is real it is a correctness or proof issue, not a circular reduction: the skew form is being constructed from the data, not imported from the conclusion. Therefore no circular step is exhibited, and the appropriate score is 0.

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

No ad hoc fitted parameters appear: the parameters a', a, b index genuine isomorphism classes and are not chosen to force the theorem. The new filtered φ-modules are constructed explicitly with matrices and proven to satisfy the required axioms; hence no unverified postulated entities.

assumptions (4)

domain assumption Volkov's characterization of filtered φ-modules arising from abelian varieties with good reduction over Q_p (Theorem 2.5).
Imported as [Vol05, Cor 5.9] and used to certify that the classified objects are geometric (Prop 3.15) and that every geometric object satisfies S1-S3 (Lemma 3.2).
standard math Wintenberger's Hodge decomposition theorem and existence of the Hodge cocharacter (Theorem 2.2).
Provides the decomposition D=⊕D_i, the Wintenberger type invariant, and the cocharacter μ used in all monodromy computations.
standard math Pink's density theorem: the subgroup generated by φ^i μ φ^{-i} and φ^m is Zariski dense in the monodromy group (Proposition 2.6).
The engine for computing H_D in Section 4; taken from [Pin98, Prop 2.5].
standard math Milne's algebraic Lie correspondence: if Lie algebras of subgroups generate, the subgroups generate (Lemma 2.7).
Used to convert torus generation into Lie algebra generation in Propositions 4.2, 4.3, 4.5.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Monodromy Groups of Supersingular Abelian Surfaces over $\mathbb{Q}_p$." pith.science (2026). https://pith.science/paper/SHR42PLP

@misc{pith2026251122811,
  author       = {Pith},
  title        = {Pith review of: Monodromy Groups of Supersingular Abelian Surfaces over $\mathbbQ_p$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SHR42PLP}},
  note         = {Machine review of arXiv:2511.22811}
}

abstract

For primes $p\ge 7$, we give a parametrization of the filtered $\varphi$-modules attached to the $p$-adic Tate modules of abelian surfaces over $\mathbb{Q}_p$ with supersingular good reduction. We use this classification to determine the neutral components of the monodromy groups of the associated $p$-adic representations up to $\bar{\mathbb{Q}}_p$-isomorphism. Furthermore, we analyze the $p$-adic distribution of these groups in the moduli space of filtered $\varphi$-modules. In particular, we prove that the neutral components are generically isomorphic to $\mathbf{GL}_2 \times_{\det} \mathbf{GL}_2$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

6 extracted references · 3 linked inside Pith

[1992]

Math.107(1992), no

[LP92] Michael Larsen and Richard Pink,Onℓ-independence of algebraic monodromy groups in compatible systems of representations, Invent. Math.107(1992), no. 3, 603–636. [Mil17] James S. Milne,Algebraic groups: the theory of group schemes of finite type over a field, vol. 170, Cambridge University Press,

1992
[1997]

Serre,Lettres à Ken Ribet du 1/1/1981, Springer Collected Works in Mathematics (2000)

[Ser00] J.-P. Serre,Lettres à Ken Ribet du 1/1/1981, Springer Collected Works in Mathematics (2000). [Vol05] MajaVolkov,Aclassofp-adicGaloisrepresentationsarisingfromabelianvarietiesoverQ p,Math.Ann.331(2005), 889–923. [Vol23] ,Abelian surfaces with supersingular good reduction and non semisimple Tate module, arXiv:2301.05564,

arXiv 1981
[2009]

Math.140 (2000), no

[CF00] Pierre Colmez and Jean-Marc Fontaine,Construction des représentationsp-adiques semi-stables, Invent. Math.140 (2000), no. 1, 1–44. [DM12] Pierre Deligne and James S Milne,Tannakian categories, Lecture Notes in Mathematics (2012). [DvH22] Marco D’Addezio and Pol van Hoften,Hecke orbits on Shimura varieties of Hodge type, arXiv:2205.10344,

arXiv 2000
[2017]

Reine Angew

[Pin98] Richard Pink,ℓ-adic algebraic monodromy groups, cocharacters, and the Mumford-Tate conjecture, J. Reine Angew. Math. (1998), 197–237. [Ser97] Jean-Pierre Serre,Abelianℓ-adic representations and elliptic curves, AK Peters/CRC Press,

1998
[2022]

[Fu25] Yu Fu,Towards a p-adic nowhere density conjecture of hecke orbits, arXiv:2506.06932v1,

[Fon79] Jean-Marc Fontaine,Modules galoisiens, modules filtrés et anneaux de Barsotti-Tate, Astérisque65(1979), 3–80. [Fu25] Yu Fu,Towards a p-adic nowhere density conjecture of hecke orbits, arXiv:2506.06932v1,

arXiv 1979
[2023]

3, 511–548

[Win84] Jean-Pierre Wintenberger,Un scindage de la filtration de Hodge pour certaines variétés algébriques sur les corps locaux, Annals of Math.119(1984), no. 3, 511–548

1984

Pith tools

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

[1] [1992]

Math.107(1992), no

[LP92] Michael Larsen and Richard Pink,Onℓ-independence of algebraic monodromy groups in compatible systems of representations, Invent. Math.107(1992), no. 3, 603–636. [Mil17] James S. Milne,Algebraic groups: the theory of group schemes of finite type over a field, vol. 170, Cambridge University Press,

1992

[2] [1997]

Serre,Lettres à Ken Ribet du 1/1/1981, Springer Collected Works in Mathematics (2000)

[Ser00] J.-P. Serre,Lettres à Ken Ribet du 1/1/1981, Springer Collected Works in Mathematics (2000). [Vol05] MajaVolkov,Aclassofp-adicGaloisrepresentationsarisingfromabelianvarietiesoverQ p,Math.Ann.331(2005), 889–923. [Vol23] ,Abelian surfaces with supersingular good reduction and non semisimple Tate module, arXiv:2301.05564,

arXiv 1981

[3] [2009]

Math.140 (2000), no

[CF00] Pierre Colmez and Jean-Marc Fontaine,Construction des représentationsp-adiques semi-stables, Invent. Math.140 (2000), no. 1, 1–44. [DM12] Pierre Deligne and James S Milne,Tannakian categories, Lecture Notes in Mathematics (2012). [DvH22] Marco D’Addezio and Pol van Hoften,Hecke orbits on Shimura varieties of Hodge type, arXiv:2205.10344,

arXiv 2000

[4] [2017]

Reine Angew

[Pin98] Richard Pink,ℓ-adic algebraic monodromy groups, cocharacters, and the Mumford-Tate conjecture, J. Reine Angew. Math. (1998), 197–237. [Ser97] Jean-Pierre Serre,Abelianℓ-adic representations and elliptic curves, AK Peters/CRC Press,

1998

[5] [2022]

[Fu25] Yu Fu,Towards a p-adic nowhere density conjecture of hecke orbits, arXiv:2506.06932v1,

[Fon79] Jean-Marc Fontaine,Modules galoisiens, modules filtrés et anneaux de Barsotti-Tate, Astérisque65(1979), 3–80. [Fu25] Yu Fu,Towards a p-adic nowhere density conjecture of hecke orbits, arXiv:2506.06932v1,

arXiv 1979

[6] [2023]

3, 511–548

[Win84] Jean-Pierre Wintenberger,Un scindage de la filtration de Hodge pour certaines variétés algébriques sur les corps locaux, Annals of Math.119(1984), no. 3, 511–548

1984