Faltings Serre method on three dimensional selfdual representations

Lian Duan

REVIEW 3 major objections 4 minor 26 references

Faltings Serre method on three dimensional selfdual representations

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read A 3-dimensional Galois representation built from a quartic surface is a quadratic twist of the symmetric square of an elliptic curve's Tate module over Q(√−3), and the paper proves it by refining the Faltings–Serre method.

desk verdict A substantive refinement of Faltings–Serre with a real numerical application, but the key criterion has a sign error in its statement and the computational core is not fully auditable. read the letter →

arxiv 1908.03321 v4 pith:JCCT63IS submitted 2019-08-09 math.NT

Lian Duan This is my paper · ORCID

classification math.NT MSC 11Y4011F80

keywords SelfdualGaloisrepresentationFaltings-SerremethodBurnsidegroupSymmetricsquareTatemoduleEllipticcurveQuadratictwistPro-2extension

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

The paper proves that a specific 3-dimensional, selfdual Galois representation attached by van Geemen and Top to a quartic surface over Q(√−3) is, up to a quadratic twist, the symmetric square of the Tate module of an explicit elliptic curve. The representation comes from the second étale cohomology of a degree-4 cover of an elliptic surface, while the elliptic curve is a K-curve rather than a curve defined over the ground field. To complete the proof, the paper refines the Faltings–Serre method for 3-dimensional selfdual representations over number fields other than Q, reducing the finite list of Frobenius elements that must be checked. The final check uses at most 75 prime ideals and does not rely on the Extended Riemann Hypothesis. If the proof is correct, it confirms the van Geemen–Top conjecture for this parameter pair and shows that the refined method can decide such equivalences in practice.

What carries the argument

Two mechanisms carry the argument. First, a Lie-algebra classification: every selfdual Lie subalgebra of sl₃(Qℓ) has dimension at most 3, and the only 3-dimensional possibility is isomorphic to sl₂, which bounds the rank of the image of a strictly selfdual, congruent-trivial representation and shortens the Kummer tower used in the Faltings–Serre criterion. Second, the Burnside group B(2,4), the universal group on two generators of exponent 4: for the fields in Theorem 1.3, Gal($K^{{ur}}$_{2,∞}(2)/K) is a free pro-2 group on two generators, so its fourth-power quotient is B(2,4). The paper enumerates the 88 conjugacy classes of B(2,4) and uses normal-subgroup membership patterns to separate classes, yielding a covering set of at most 75 prime ideals whose Frobenius traces decide equivalence.

What would settle it

Independently recompute the conjugacy classes of B(2,4) and the pattern table, then evaluate tr(F_p|Vℓ)−tr(F_p|Sym²(T_E)) for a prime p of Q(√−3) whose Frobenius lies in a class whose pattern is not represented by Table 4 or by inverses of its entries; a nonzero difference would disprove Theorem 1.1, while failure to find such a prime below the norm bound would confirm the covering argument.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 1.1: for K=Q(√−3) and the van Geemen–Top representation Vℓ with parameters (a,s)=(√−3,1), one has θ_{−2}⊗Vℓ≅Sym²(T_E), where E is the explicit Weierstrass curve Y²=X³+(√−1−1)X²+(−√−1/4+√−3/8−1/8)X. Consequently equation (1.1) holds for every prime p not dividing 2. The proof is a trace comparison: after twisting by −1, both representations become congruent trivial modulo 2 and unramified outside {2,∞}; because E has no complex multiplication, the symmetric square is irreducible by the open image theorem, so matching traces on a covering set forces an isomorphism.

Load-bearing premise

The proof of Theorem 1.1 rests on the computer calculations behind Theorem 6.4: that B(2,4) has exactly 88 conjugacy classes, that the 204 and 8 splitting patterns separate every relevant class, and that the primes listed in Table 4 actually realize every required pattern.

Editorial extensions

If this is right

If Theorem 1.1 holds, the trace identity (1.1) holds for all primes p∤2, linking point counts on the quartic surface to traces of Frobenius on the symmetric square of an elliptic curve.
The Faltings–Serre method now has a working 3-dimensional application over a non-rational ground field, with the necessary finite check made computationally feasible.
For K=Q(√−2) and K=Q(√−3), Theorem 1.3 gives explicit universal sets of at most 75 primes that can certify equivalence of any two congruent-trivial representations unramified outside {2,∞}.
As noted in Remark 1.4, the same theorem applies to non-selfdual representations by comparing characteristic polynomials rather than traces.
The proof of Theorem 1.1 also demonstrates that Burnside-group quotient structure, rather than a Riemann-hypothesis-bound search, can be used to shrink the covering set in a concrete arithmetic verification.

Reading between the lines

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

One extension the paper leaves implicit is that the same B(2,4) pattern method should apply to the other fields listed in Theorem 1.3, so other van Geemen–Top parameter pairs over Q(√−2), Q(√−p), or Q(√−2p) could be tested with comparable computation.
Because the elliptic curve is a K-curve rather than a curve over K, the descent cocycle involved in defining Sym²(T_E) necessarily carries arithmetic information; the appearance of the quadratic twist θ_{−2} may be a visible trace of that descent choice.
The Lie-algebra bound suggests a broader principle: for n-dimensional selfdual representations, the rank of selfdual Lie subalgebras of sl_n controls how many Kummer steps the Faltings–Serre method needs, so analogues of this argument may exist for higher n with more complicated Burnside quotients.
A practical consequence of the 75-prime bound is that modularity or equivalence statements over these quadratic fields can now be certified on ordinary desktop hardware, which may make similar verifications routine rather than exceptional.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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

First thing you should know: this is a substantive paper, not a routine application. It refines Grenié’s Faltings–Serre criterion for 3-dimensional selfdual representations over a quadratic field, proves a Lie-algebra rank bound for selfdual subalgebras of sl3, and then uses the structure of B(2,4) to cut the covering set from roughly 7×10^9 primes to 75. That reduction is genuinely useful. The target identification, that the van Geemen–Top representation is a quadratic twist of Sym^2(T_E), is a real theorem, and the descent of the Tate module via Ribet is handled carefully. The covering set is built from Galois group data rather than from the traces being compared, so I see no circularity problem.

Where I have real trouble is Theorem 1.2. The statement assumes ρ_i^* ≃ ρ_i(2m), but the proof says “suppose ρ_i^*(2m) ≃ ρ_i.” Those are not equivalent, and the self-duality computation in the proof only works with the second version. As stated, (ρ_i(−m))^* = ρ_i^*(m) ≃ ρ_i(3m), not ρ_i(−m). The application needs the corrected version, e.g. ρ_i^* ≃ ρ_i(−2m), equivalently ρ_i^*(2m) ≃ ρ_i. This looks like a sign typo, but it sits in a load-bearing theorem, so it has to be fixed before Theorem 1.1 follows. It is not cosmetic.

The second soft spot is auditability. The proof of Theorem 6.4 depends on finite computations in B(2,4): 88 conjugacy classes, the 7 normal subgroups, the 204 patterns, the 8 patterns in each Ti. None of this is shipped as code or certificates, and Table 4 for K = Q(√−3) lists only T1 and T2; T3 through T7 are missing. The running times and prime bounds are plausible, but a referee cannot verify the central finite check from the preprint. The Burnside group facts should be backed by a program or explicit data. The citation pattern looks fine; Grenié, Ribet, Jossey, and the Faltings–Serre literature are all appropriately used.

Don’t desk-reject this. The conceptual core is coherent and the sign issue is repairable. Send it to a serious referee, and ask the author for the corrected statement of Theorem 1.2, the missing table entries, and the computational artifacts. If those come, the paper is a solid contribution. Until then, I would not cite Theorem 1.2 as stated.

Referee Report

3 major / 4 minor

Summary. The paper proves Theorem 1.1, which states that for K = Q(√−3) the 3-dimensional selfdual Galois representation V_ℓ constructed by van Geemen and Top for (a,s) = (√−3,1) is isomorphic to θ_{−2} ⊗ Sym^2(T_E), where E is an explicit elliptic curve, thereby confirming the conjectured relation (1.1) for all primes p ∤ 2. To do this, the author develops a refinement of the Faltings–Serre method for 3-dimensional selfdual representations over number fields other than Q. The first refinement (Theorem 1.2) reduces the required number of Frobenius checks by exploiting a rank bound for selfdual Lie subalgebras of sl_3. The second refinement (Theorem 1.3 and Theorem 6.4) uses the structure of the Burnside group B(2,4) to produce a covering set T of at most 75 primes without assuming the ERH. The proof combines a Lie-algebra classification, explicit trace formulas for the descended symmetric square of the Tate module, and extensive finite computations in the group B(2,4) and its normal subgroups.

Significance. If the proof is sound, this is the first effective application of the Faltings–Serre method in dimension n > 2 over a base field other than Q, and the reduction from approximately 7 × 10^9 primes (under ERH) to at most 75 primes (unconditionally) is a substantial methodological improvement. The Lie-algebra classification of selfdual subalgebras of sl_3 (Theorem 5.4) and the systematic use of B(2,4) conjugacy classes are conceptually valuable and likely to be reused in other arithmetic equivalence problems. The paper also gives explicit trace formulas and a self-contained descent argument for the K-curve E. These are genuine strengths. However, the computational parts are not fully auditable from the manuscript as presented, and one statement in Theorem 1.2 has a sign error that is load-bearing for the stated application.

major comments (3)

[Section 5.2 and Theorem 1.2] The hypothesis of Theorem 1.2 is misstated. The theorem says ρ_i^∗ ≃ ρ_i(2m), but the proof on page 14 uses the hypothesis ρ_i^∗(2m) ≃ ρ_i. These two hypotheses are not equivalent: from ρ_i^∗ ≃ ρ_i(2m) one obtains (ρ_i(−m))^∗ = ρ_i^∗(m) ≃ ρ_i(3m), not ρ_i(−m), while the proof's version gives ρ_i^∗(m) ≃ ρ_i(−m) as claimed. For the application with m = 1, the symmetric square ρ_2 = Sym^2(T_E) satisfies ρ_2^∗ ≃ ρ_2(−2) (equivalently ρ_2^∗(2) ≃ ρ_2), which matches the proof's version and not the stated theorem. Because the proof of Theorem 1.1 explicitly invokes Theorem 1.2 to justify the finite trace check, the sign in Theorem 1.2 must be corrected (and the consequences for Section 6 re-examined) before the central claim is logically established.
[Section 6.3, Tables 3 and 4] The covering sets that the proof of Theorem 1.1 relies on are not fully specified. Theorem 6.4 and the proof of Theorem 1.3 say that for K = Q(√−2) and K = Q(√−3) the set T is given by Table 3 and Table 4 respectively. In the manuscript as presented, Table 3 and Table 4 list primes only for T1 and T2; the rows T3 through T7 are blank. Since Theorem 6.4 requires 63 primes for T1 and 2 primes for each of T2, ..., T7, the missing rows are essential data: without them the trace comparison is not defined and the theorem is not verifiable. The author should provide complete tables or an accompanying electronic data file containing all primes in T.
[Section 6.3, proof of Theorem 6.4] The proof of Theorem 6.4 rests on several computational assertions that are not auditable from the text: B(2,4) has order 2^12 and exactly 88 conjugacy classes; there are exactly 7 normal subgroups of order 2^10; the classes C1,...,C64 split into 208 subclasses producing 204 distinct patterns with respect to the chosen normal subgroups; and the splitting behavior of primes realizes exactly the asserted patterns. No code, pseudocode, or detailed description of the algorithms is provided. Since these counts and patterns are load-bearing for the construction of the covering set T, the paper should ship the computational source or a reproducible description that allows an independent check of these assertions.

minor comments (4)

[Section 2.2, paragraph after Proposition 2.3] The text says "when (a, s) = (√−3, 0, 1)"; since the pair (a,s) is two-dimensional, this appears to be a typo for (a,s) = (√−3,1).
[Section 6.1, equation (6.1)] The sign determination for the inert case, via the claim that the determinant of √2 φ(F_p) is the degree of an isogeny and hence positive, is terse; a sentence or two spelling out the field and curve over the residue field would improve readability.
[Proof of Theorem 1.1, final paragraph] The statement that "the two representations in Theorem 1.1 are both irreducible" is justified only indirectly: once ρ_1 ∼ ρ_2 and ρ_2 is irreducible, ρ_1 automatically has irreducible semisimplification and hence is irreducible. The current wording might suggest that Serre's open image theorem applies separately to both sides; this should be clarified.
[Throughout] There are several typographical issues and minor grammatical slips (e.g., "unknowna", "elemetn", "loose our restriction" on page 21); a careful proofreading pass is needed.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the covering set T is constructed independently of the traces of rho1 and rho2, and the final isomorphism is verified by a genuine finite check.

full rationale

The derivation is not circular. The central claim compares the two 3-dimensional representations rho1 = V_l and rho2 = Sym^2(T_E) by checking trace equality on a finite covering set T. That set is constructed from arithmetic data of K = Q(sqrt(-3)): the Burnside group B(2,4) and the quotient Gal(K^ur_{2,infty}(2)/K)_4 (Section 6.3), not from the traces of rho1 and rho2. The trace formulas for V_l (Section 2.2, from van Geemen and Top) and for Sym^2(T_E) (Section 6.1, via Ribet descent) are external inputs, not fitted parameters. The Faltings-Serre criterion (Proposition 3.1; Theorems 1.2 and 6.4) supplies the reduction: equality of traces on a covering set implies semisimple equivalence, and irreducibility via Serre's open image theorem upgrades this to isomorphism. No fitted quantity is renamed as a prediction, and no load-bearing self-citation is used. The proof of Theorem 1.2 does contain a sign inconsistency between its stated hypothesis, rho_i^* ≃ rho_i(2m), and the hypothesis used in the proof, rho_i^*(2m) ≃ rho_i; this is a serious correctness concern affecting the logical coverage of the Faltings-Serre reduction, but it is not a circularity in which the conclusion is equivalent to the inputs by construction.

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

No free parameters are fitted and no new entities are introduced. The paper relies on cited theorems and on finite computations about B(2,4) and number fields; the latter are the least documented part of the ledger.

assumptions (4)

standard math Theorem of Jossey: for K=Q(√-3) and the other quadratic fields listed in Theorem 1.3, the maximal pro-2 extension unramified outside 2 and infinity has a free pro-2 Galois group generated by two elements.
Invoked in Section 6.3 to identify Gal(K^{ur}_{2,∞}(2)/K)_4 with B(2,4); without this theorem the Burnside-group reduction and the 75-prime bound collapse.
standard math Ribet's theorem H^2(G_K, \bar{Q}^*) = 0, used to descend the Tate module of a K-curve to a G_K-representation.
Used in Section 6.1, Proposition 6.1, to construct the descended representation φ from cocycle data.
standard math Serre's open image theorem: the Tate module of a non-CM elliptic curve over a number field has open image in GL_2(Z_l).
Used in Proposition 2.2 and Corollary 2.2.1 to conclude Sym^2(T_E) is irreducible, upgrading semisimple equivalence to isomorphism in Theorem 1.1.
ad hoc to paper Computational structural data for B(2,4): order 2^12, 88 conjugacy classes, 7 normal subgroups of order 2^10, 208 subclasses, and 204/8 separating patterns.
The proof of Theorem 6.4 states these counts follow by calculation, but no code or certificate is provided; the covering-set construction depends on them.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Faltings Serre method on three dimensional selfdual representations." pith.science (2026). https://pith.science/paper/JCCT63IS

@misc{pith2026190803321,
  author       = {Pith},
  title        = {Pith review of: Faltings Serre method on three dimensional selfdual representations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JCCT63IS}},
  note         = {Machine review of arXiv:1908.03321}
}

abstract

We prove that a selfdual $GL_3$-Galois representation constructed by van Geemen and Top is isomorphic to a quadratic twist of the symmetric square of the Tate module of an elliptic curve. This is an application of our refinement of the Faltings-Serre method to $3$-dimensional Galois representations with the ground field not equal to $\mathbb{Q}$. The proof makes use of the Faltings-Serre method, $\ell$-adic Lie algebra, and Burnside groups.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 25 canonical work pages

[1]

Boston, A refinement of the faltings-serre method, Number theory (Paris, 1992–1993), London Math

N. Boston, A refinement of the faltings-serre method, Number theory (Paris, 1992–1993), London Math. Soc. Lecture Note Ser., vol. 215, Cambridge Univ. Press, 1995, pp. 61--68

work page 1992
[2]

Bach and J

E. Bach and J. Sorenson, Explicit bounds for primes in residue classes, Math. Comp. 65 (1996), 1717--1735

work page 1996
[3]

Chenevier and M

G. Chenevier and M. Harris, Construction of automorphic galois representations, ii, Camb. J. Math. 1 (2013), no. 1, 53--73

work page 2013
[4]

Ch \^e nevert, Exponential sums, hypersurfaces with many symmetries and galois represen- tations, Ph.D

G. Ch \^e nevert, Exponential sums, hypersurfaces with many symmetries and galois represen- tations, Ph.D. thesis, McGill University, 2008

work page 2008
[5]

Chin, Independence of in lafforgue’s theorem, Adv

C. Chin, Independence of in lafforgue’s theorem, Adv. Math. 180 (2003), no. 1, 64--86

work page 2003
[6]

J. D. Dixon, M. P. F du Sautoy, A. Mann, and D. Segal, Analytic pro-p groups, Cambridge University Press, Cambridge, 1999

work page 1999
[7]

Dieulefait, L

L. Dieulefait, L. Guerberoff, and A. Pacetti, Proving modularity for a given elliptic curve over an imaginary quadratic field, Math. Comp. 270 (2010), no. 79, 1145--1170

work page 2010
[8]

Diamond and J

F. Diamond and J. Shurman, A first course in modular forms, Graduate Texts in Mathematics, vol. 228, Springer-Verlag, New York, 2005

2005

Show all 26 references

[9]

a tze f \

G. Faltings, Endlichkeitss \"a tze f \"u r abelsche variet \"a ten \"u ber zahlk \"o rpern , Invent. Math. 73 (1983), no. 3, 349--366

1983
[10]

Algebra 316 (2007), no

Lo\" c Greni\' e , Comparison of semi-simplifications of galois representations, J. Algebra 316 (2007), no. 2, 608--618

2007
[11]

J. E. Humphreys, Introduction to lie algebras and representation theory, second ed., vol. 9, Springer-Verlag, Now York, 1978

1978
[12]

T. Ito, T. Koshikawa, and Y. Mieda, Galois representations associated with a non-selfdual automorphic representation of gl(3), nov 2018

2018
[13]

Jacobson, Basic algebra ii, second ed., W

N. Jacobson, Basic algebra ii, second ed., W. H. Freeman and Company, New York, 1989

1989
[14]

Jossey, Galois 2-extensions unramified outside 2, Journal of Number Theory 124 (2007), no

J. Jossey, Galois 2-extensions unramified outside 2, Journal of Number Theory 124 (2007), no. 1, 42--56

2007
[15]

K. Hulek R. Kloosterman and M. Sch \"u tt, Modularity of calabi-yau varieties, Global Aspects of Complex Geometry, Springer, 2006, pp. 271--309

2006
[16]

Livn\' e , Cubic exponential sums and galois representations, Current trends in arithmetical algebraic geometry (Arcata, Calif., 1985) 67 (1987), 247--261

R. Livn\' e , Cubic exponential sums and galois representations, Current trends in arithmetical algebraic geometry (Arcata, Calif., 1985) 67 (1987), 247--261

1987
[17]

K. A. Ribet, Abelian varieties over Q and modular forms , Algebra and topology (Taej o n) Korea Adv. Inst. Sci. Tech., Taej o n, 1992 (1992), 53--79

1992
[18]

Schoen, Algebraic cycles on certain desingularized nodal hypersurfaces, Math

C. Schoen, Algebraic cycles on certain desingularized nodal hypersurfaces, Math. Annals 270 (1985), no. 1, 17--27

1985
[19]

Schneider, p-adic lie groups, vol

P. Schneider, p-adic lie groups, vol. Grundlehren Math. Wiss. 344, Springer, 2011

2011
[20]

J. P. Serre, Abelian l -adic representations and elliptic curves , McGill University lecture notes written with the collaboration of Willem Kuyk and John Labute, W. A. Benjamin, Inc., New York-Amsterdam, 1968. 0263823

1968
[21]

, R\' e sum\' e des cours au coll\' e ge de france 1984-1985, in euvres , Springer-Verlag, Berlin, 2000

1984
[22]

J. H. Silverman, The arithmetic of elliptic curves, second ed., vol. Graduate Texts in Mathematics, 106, Springer, Dordrecht, 2009

2009
[23]

Socrates and D

J. Socrates and D. Whitehouse, Unramified hilber modular forms, with examples relating to elliptic curves, Pacific J. Math 219 (2005), no. 2, 333--364

2005
[24]

J. J. Tobin, On groups with exponent 4, Thesis, University of Manchester, 1954

1954
[25]

van Geemen and J

B. van Geemen and J. Top, Selfdual and non-selfdual 3-dimensional galois representations, Compositio Math 97 (1995), 51--70

1995
[26]

Winternitz, Subalgebras of lie algebras

P. Winternitz, Subalgebras of lie algebras. example of sl (3,r) , Symmetry in physics CRM Proc. Lecture Notes (2004), no. 34, 215--227

2004

Pith tools

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

[1] [1]

Boston, A refinement of the faltings-serre method, Number theory (Paris, 1992–1993), London Math

N. Boston, A refinement of the faltings-serre method, Number theory (Paris, 1992–1993), London Math. Soc. Lecture Note Ser., vol. 215, Cambridge Univ. Press, 1995, pp. 61--68

work page 1992

[2] [2]

Bach and J

E. Bach and J. Sorenson, Explicit bounds for primes in residue classes, Math. Comp. 65 (1996), 1717--1735

work page 1996

[3] [3]

Chenevier and M

G. Chenevier and M. Harris, Construction of automorphic galois representations, ii, Camb. J. Math. 1 (2013), no. 1, 53--73

work page 2013

[4] [4]

Ch \^e nevert, Exponential sums, hypersurfaces with many symmetries and galois represen- tations, Ph.D

G. Ch \^e nevert, Exponential sums, hypersurfaces with many symmetries and galois represen- tations, Ph.D. thesis, McGill University, 2008

work page 2008

[5] [5]

Chin, Independence of in lafforgue’s theorem, Adv

C. Chin, Independence of in lafforgue’s theorem, Adv. Math. 180 (2003), no. 1, 64--86

work page 2003

[6] [6]

J. D. Dixon, M. P. F du Sautoy, A. Mann, and D. Segal, Analytic pro-p groups, Cambridge University Press, Cambridge, 1999

work page 1999

[7] [7]

Dieulefait, L

L. Dieulefait, L. Guerberoff, and A. Pacetti, Proving modularity for a given elliptic curve over an imaginary quadratic field, Math. Comp. 270 (2010), no. 79, 1145--1170

work page 2010

[8] [8]

Diamond and J

F. Diamond and J. Shurman, A first course in modular forms, Graduate Texts in Mathematics, vol. 228, Springer-Verlag, New York, 2005

2005