Five-dimensional compatible systems and the Tate conjecture for elliptic surfaces

Ariel Weiss; Lian Duan; Xiyuan Wang

arxiv: 2406.03617 · v2 · submitted 2024-06-05 · 🧮 math.NT · math.AG

Five-dimensional compatible systems and the Tate conjecture for elliptic surfaces

Lian Duan , Xiyuan Wang , Ariel Weiss This is my paper

Pith reviewed 2026-05-24 00:19 UTC · model grok-4.3

classification 🧮 math.NT math.AG

keywords Galois representationscompatible systemsTate conjectureelliptic surfacesirreducibilityHodge-Tate weightsperverse sheaves

0 comments

The pith

Five-dimensional Galois representations remain irreducible for all but finitely many primes if irreducible at one.

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

The paper proves that strictly compatible systems of five-dimensional Galois representations, where no Hodge-Tate weight has multiplicity five, are irreducible at almost all primes whenever they are irreducible at one. For essentially self-dual systems, they either stay irreducible almost everywhere or decompose into sums of lower-dimensional compatible systems. The result is used to advance the Tate conjecture for elliptic surfaces by classifying them into six families and showing that if the conjecture holds for one member then it holds for almost all others. For each family the conjecture is checked on a representative by running an algorithm that tests irreducibility of the associated compatible system from the transcendental part of étale cohomology using Frobenius characteristic polynomials.

Core claim

Let (ρ_λ : G_Q → GL_5(Ē_λ))_λ be a strictly compatible system of Galois representations such that no Hodge-Tate weight has multiplicity 5. Under mild assumptions, if ρ_λ0 is irreducible for some λ0, then ρ_λ is irreducible for all but finitely many λ. If the system is essentially self-dual, either ρ_λ is irreducible for all but finitely many λ or the system decomposes as a direct sum of lower-dimensional compatible systems.

What carries the argument

The propagation of irreducibility for strictly compatible five-dimensional Galois representation systems under the no-multiplicity condition on Hodge-Tate weights.

If this is right

If the Tate conjecture holds for one elliptic surface in a family then it holds for all but finitely many surfaces in that family.
The codimension-one ℓ-adic Tate conjecture holds for all but finitely many ℓ for all but finitely many general degree-3 genus-2 branched multiplicative covers of the surface X0 given by y² + (t+3)xy + y = x³.
An algorithm that takes characteristic polynomials of Frobenius as input terminates if and only if the compatible system from the transcendental cohomology of a representative surface is irreducible.

Where Pith is reading between the lines

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

The irreducibility propagation technique could be applied to compatible systems arising from other varieties or in dimensions other than five.
The classification of elliptic surfaces into families together with the reduction to checking finitely many cases might be used for other conjectures involving their cohomology.
Running the explicit algorithm on the six representative surfaces would give concrete verification of the Tate conjecture for those surfaces.

Load-bearing premise

The representations form a strictly compatible system and no Hodge-Tate weight appears with multiplicity five.

What would settle it

A strictly compatible five-dimensional system satisfying the no-multiplicity condition on Hodge-Tate weights where the representation is irreducible at one prime but reducible at infinitely many other primes.

read the original abstract

Let $(\rho_\lambda\colon G_{\mathbb Q}\to \operatorname{GL}_5(\overline{E}_\lambda))_\lambda$ be a strictly compatible system of Galois representations such that no Hodge--Tate weight has multiplicity $5$. Under mild assumptions, we show that if $\rho_{\lambda_0}$ is irreducible for some $\lambda_0$, then $\rho_\lambda$ is irreducible for all but finitely many priimes $\lambda$. More generally, if $(\rho_\lambda)_\lambda$ is essentially self-dual, we show that either $\rho_\lambda$ is irreducible for all but finitely many $\lambda$, or the compatible system $(\rho_\lambda)_\lambda$ decomposes as a direct sum of lower-dimensional compatible systems. We apply our results to study the Tate conjecture for elliptic surfaces. For example, if $X_0\colon y^2 + (t+3)xy + y= x^3$, we prove the codimension one $\ell$-adic Tate conjecture for all but finitely many $\ell$, for all but finitely many general, degree $3$, genus $2$ branched multiplicative covers of $X_0$. To prove this result, we classify the elliptic surfaces into six families, and prove, using perverse sheaf theory and a result of Cadoret--Tamagawa, that if one surface in a family satisfies the Tate conjecture, then all but finitely many do. We then verify the Tate conjecture for one representative of each family by making our irreducibility result explicit: for the compatible system arising from the transcendental part of $H^2_{\mathrm{et}}(X_{\overline{\mathbb Q}}, \mathbb{Q}_\ell(1))$ for a representative $X$, we formulate an algorithm that takes as input the characteristic polynomials of Frobenius, and terminates if and only if the compatible system is irreducible.

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

This paper gives a clean 5-dimensional irreducibility theorem for compatible systems and turns it into an explicit algorithm that settles new cases of the Tate conjecture on elliptic surfaces.

read the letter

The main result is a lifting theorem: for a strictly compatible system of 5-dimensional Galois representations with no Hodge-Tate weight of multiplicity 5, irreducibility at one prime implies irreducibility for all but finitely many primes, under mild assumptions that the paper states explicitly. When the system is essentially self-dual the conclusion is that it is either irreducible almost everywhere or splits into lower-dimensional compatible systems. They apply this to the transcendental part of H^2 of elliptic surfaces, classify all such surfaces into six explicit Weierstrass families, and show that the Tate conjecture for one member of a family implies it for all but finitely many others via Cadoret-Tamagawa plus perverse sheaves. For each family they give a concrete algorithm that reads Frobenius characteristic polynomials and terminates precisely when the system is irreducible, which they run on one representative per family to get the stated cases for degree-3 genus-2 covers of a fixed surface X_0. The stress-test note confirms the assumptions are written down, the six families are handled directly, and there is no circularity in the reduction. The only soft spot worth mentioning is that the mild assumptions still have to be verified case-by-case when the result is applied elsewhere, though the paper does this for its own families. The work is aimed at people who care about effective versions of the Tate conjecture or about irreducibility criteria for low-dimensional Galois representations. Anyone working on motives or arithmetic surfaces will get something usable from the algorithm and the classification. It is worth sending to referees because the statements are precise, the method is new, and the output is concrete new cases rather than conditional results.

Referee Report

1 major / 4 minor

Summary. The paper proves that for a strictly compatible system of 5-dimensional Galois representations (ρ_λ : G_Q → GL_5(E_λ-bar))_λ with no Hodge-Tate weight of multiplicity 5, under mild assumptions, irreducibility of ρ_λ0 for some λ0 implies irreducibility for all but finitely many λ. For essentially self-dual systems, either the system is irreducible for all but finitely many λ or it decomposes as a direct sum of lower-dimensional compatible systems. The result is applied to the codimension-1 ℓ-adic Tate conjecture for elliptic surfaces: the surfaces are classified into six families via explicit Weierstrass equations; using perverse sheaf theory and Cadoret-Tamagawa, the Tate conjecture for one surface in a family implies it for all but finitely many in the family. For a representative in each family, an explicit algorithm is formulated that takes characteristic polynomials of Frobenius as input and terminates if and only if the compatible system arising from the transcendental part of H^2_et is irreducible, yielding the Tate conjecture for all but finitely many ℓ for certain degree-3 genus-2 branched multiplicative covers of one example surface (X_0 : y^2 + (t+3)xy + y = x^3).

Significance. If the claims hold, the work supplies a general lifting criterion for irreducibility in 5-dimensional strictly compatible systems that exploits the weight-multiplicity hypothesis to exclude invariant subspaces, together with a concrete reduction of the Tate conjecture for an infinite class of elliptic surfaces to finitely many explicit checks. The combination of perverse-sheaf monodromy arguments with an algorithm that terminates precisely when Chebotarev plus the weight condition rules out proper subrepresentations is a methodological strength; the explicit classification into six families and the machine-checkable nature of the algorithm for the representatives add reproducibility value.

major comments (1)

[Lifting theorem and algorithm sections] The lifting theorem (general statement in the abstract, applied after the classification): the proof that the no-multiplicity-5 condition on Hodge-Tate weights rules out all proper invariant subspaces (including 1+4 and 2+3 decompositions) is load-bearing for both the general claim and the algorithm termination; the manuscript invokes this via Chebotarev, but an explicit case-by-case verification that the weight condition is preserved under the finite base change of Cadoret-Tamagawa for each of the six families would confirm the hypotheses are uniformly satisfied.

minor comments (4)

[Abstract] Abstract: 'priimes λ' is a typographical error for 'primes λ'.
[Classification into families] The six families are defined by explicit Weierstrass equations; presenting them in a single table with the corresponding representative surfaces would improve readability of the classification step.
[Introduction] The statement of the general result refers to 'mild assumptions' without a forward reference; listing them (existence of a prime of good reduction where unramified, weight multiplicity bound, etc.) in the introduction would clarify the scope.
[Algorithm description] The algorithm is described as taking characteristic polynomials of Frobenius at unramified primes; specifying a concrete bound on the number of primes sufficient for termination in the 5-dimensional case would make the procedure more explicit.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the significance, and constructive suggestion. We address the single major comment below.

read point-by-point responses

Referee: [Lifting theorem and algorithm sections] The lifting theorem (general statement in the abstract, applied after the classification): the proof that the no-multiplicity-5 condition on Hodge-Tate weights rules out all proper invariant subspaces (including 1+4 and 2+3 decompositions) is load-bearing for both the general claim and the algorithm termination; the manuscript invokes this via Chebotarev, but an explicit case-by-case verification that the weight condition is preserved under the finite base change of Cadoret-Tamagawa for each of the six families would confirm the hypotheses are uniformly satisfied.

Authors: We agree that making the preservation of the no-multiplicity-5 Hodge-Tate weight condition explicit under the finite base changes furnished by Cadoret-Tamagawa would strengthen the exposition and confirm that the hypotheses of the lifting theorem apply uniformly. In the revised manuscript we will add, in the sections on the lifting theorem and on the six families, a short case-by-case verification for each family: we record the explicit finite extension arising from Cadoret-Tamagawa, note that the Hodge-Tate weights of the transcendental part of H^2_et are unchanged by this base change (as they are determined by the local Galois action at primes of good reduction, which is unaffected), and confirm that no weight acquires multiplicity 5. This verification is routine but will be written out for reproducibility. The Chebotarev argument itself remains unchanged. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external theorem and explicit algorithm

full rationale

The paper's core irreducibility lifting result for 5-dimensional compatible systems is stated under explicit mild assumptions (strict compatibility, no HT weight multiplicity 5, existence of good reduction prime with unramified representation). It invokes the external Cadoret-Tamagawa theorem on monodromy images after base change (distinct authors) and constructs a termination algorithm directly from Frobenius characteristic polynomials via Chebotarev density, without fitting parameters or renaming inputs as predictions. The six-family classification of elliptic surfaces and the Tate conjecture transfer are likewise reduced to verifying one representative per family using the algorithm, with no self-citation load-bearing the central claim and no self-definitional reduction visible. The argument is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, ad-hoc axioms, or invented entities are introduced in the abstract; the work relies on standard background in Galois representations and perverse sheaf theory.

pith-pipeline@v0.9.0 · 5880 in / 1295 out tokens · 29340 ms · 2026-05-24T00:19:21.997687+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Ar- eas

Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Ar- eas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 2, Springer-Verlag, Berlin, 1998. MR1644323 ↑6 [Gei00] Thomas Geisser, Applications of de Jong’s theorem on alterations, Resolution of singularities (Ober- gurgl, 1997), 2000, pp. 299–314. MR1748625↑10 ...

work page arXiv 1998
[2]

MR3265555↑5 [Mil80] James S

With an appendix by Andrew Snowden. MR3265555↑5 [Mil80] James S. Milne, Étale cohomology, Princeton Mathematical Series, vol. 33, Princeton University Press, Princeton, N.J., 1980. MR559531↑30 [Moo17] Ben Moonen, On the Tate and Mumford-Tate conjectures in codimension 1 for varieties withh2,0 = 1, Duke Math. J.166 (2017), no. 4, 739–799. MR3619305↑5 [NO85...

work page arXiv 1980

[1] [1]

A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Ar- eas

Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Ar- eas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 2, Springer-Verlag, Berlin, 1998. MR1644323 ↑6 [Gei00] Thomas Geisser, Applications of de Jong’s theorem on alterations, Resolution of singularities (Ober- gurgl, 1997), 2000, pp. 299–314. MR1748625↑10 ...

work page arXiv 1998

[2] [2]

MR3265555↑5 [Mil80] James S

With an appendix by Andrew Snowden. MR3265555↑5 [Mil80] James S. Milne, Étale cohomology, Princeton Mathematical Series, vol. 33, Princeton University Press, Princeton, N.J., 1980. MR559531↑30 [Moo17] Ben Moonen, On the Tate and Mumford-Tate conjectures in codimension 1 for varieties withh2,0 = 1, Duke Math. J.166 (2017), no. 4, 739–799. MR3619305↑5 [NO85...

work page arXiv 1980