Pith. sign in

REVIEW 2 major objections 3 minor 80 references

The residual monodromy for the Dwork family in even characteristic and its applications to Galois representations

T0 review · 2 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read For even $n\ge 4$, the mod-2 residual monodromy of the Dwork family is one of four groups — $\mathrm{Sp}_n$, $O_n^\pm$, $S_{n+1}$, or $S_{n+2}$ — and when $n$ is a power of 2 it is exactly $S_{n+1}$; these group-theoretic facts drive the…

desk verdict Genuinely new mod-2 residual monodromy results, but the main theorem as printed is vacuous (2m vs 2^m) and the 2-adic integral-structure input to Proposition 2.7 is asserted, not proved. read the letter →

arxiv 2506.23938 v3 pith:XEMA3HJI submitted 2025-06-30 math.NT math.AG

Takuya Yamauchi This is my paper · ORCID
classification math.NTmath.AG MSC 11F11F3311F80
keywords Dworkfamilyresidualmonodromymod2GaloisrepresentationssymplecticgroupstransvectionsubgroupsautomorphyliftingSiegelmodularformsL-functions
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 establishes that the mod-2 residual monodromy of the Dwork family, a family of hypersurfaces whose middle cohomology carries symplectic Galois representations, can only take four shapes: the full symplectic group, an orthogonal group of plus or minus type, or one of two symmetric groups. In the special case where the rank $n$ is a power of 2, the image is shown to be exactly the symmetric group $S_{n+1}$, acting through its standard representation. This residual control is the input that lets the paper prove potential automorphy and a Khare-Wintenberger-type lifting theorem for even-dimensional symplectic Galois representations. As an application, certain rank-4 symplectic motives coming from the Dwork quintic family are shown to be automorphic over totally real fields, and their L-functions are entire under explicit hypotheses.

What carries the argument

The argument runs on the residual monodromy representation $\rho_{t,\mathrm{mod}\,\lambda}$: the rank-$n$ local system $V_B$ over $\mathbb{P}^1\setminus(\{\infty\}\cup\mu_N)$, equipped with a perfect alternating pairing. At a prime over 2, the image is proved to be an absolutely irreducible subgroup of $\mathrm{Sp}_n$ generated by transvections, and the classification of such subgroups yields the four possibilities. The sharp $S_{n+1}$ result for $n$ a power of 2 uses the mirror model $W_t$, a smooth crepant resolution of the affine toric hypersurface $x_1+\cdots+x_n+1/(x_1\cdots x_n)=(n+1)t$, whose mod 2 Galois representation is controlled by the trinomial $f_t(x)=n x^{n+1}-(n+1)t\,x^n+1$; the proof compares traces at Frobenius elements through point counts.

What would settle it

Compute, for a specific even $n$ outside the checked range, the group generated by the two companion matrices $A$ and $B$ modulo 2 — for instance $n=122$ — and compare it with the four listed groups; a new group would refute Theorem 1.1. For the power-of-2 statement, verify directly that the same generators for $n=8$ produce a group isomorphic to $S_9$.

Watch

Extended reading notes

Core claim

For even $n\ge 4$, after reducing the monodromy representation of the Dwork family modulo a prime $\lambda$ above 2, the image is an absolutely irreducible subgroup of $\mathrm{Sp}_n(k_\lambda)$ generated by transvections; the classification of such subgroups forces the image to be $\mathrm{Sp}_n(l_\lambda)$, $O_n^\pm(l_\lambda)$, $S_{n+1}$, or $S_{n+2}$, with the two symmetric-group cases possible only over $\mathbb{F}_2$. The paper's Theorem 3.2 sharpens this to $\mathrm{MD}_n(\mathbb{F}_2)=S_{n+1}$ whenever $n\ge 4$ is a power of 2, with the representation factoring through the standard permutation representation of $S_{n+1}$. On the arithmetic side, this residual control feeds into a potential-automorphy theorem and a Khare-Wintenberger-type lifting theorem; applied to the Dwork quintic, it shows the primitive rank-4 part of the middle cohomology is automorphic over totally real fields and appears as holomorphic Hilbert-Siegel cusp forms of parallel weight.

Load-bearing premise

The four-group list depends on the residual representation being an absolutely irreducible subgroup of $\mathrm{Sp}_n$ generated by transvections, and on the even-characteristic idempotent construction yielding a free rank-$n$ lattice with a perfect alternating pairing; if either fails, a fifth type of image could appear.

Editorial extensions

If this is right

  • The residual image of the Dwork family is never accidentally larger than the listed groups: over $\mathbb{F}_2$ with $N>n+1$ it is a symmetric or orthogonal group, and the full symplectic group appears only when the coefficient field is strictly bigger than $\mathbb{F}_2$.
  • For $n$ a power of 2, every fiber whose associated trinomial $f_t$ has Galois group $S_{n+1}$ yields an absolutely irreducible mod 2 Galois representation with image $S_{n+1}$, factoring through the standard representation.
  • Rank-4 symplectic motives arising from the Dwork quintic family are automorphic: under irreducibility and ordinarity conditions they match holomorphic Hilbert-Siegel cusp forms of parallel weight $(3,\dots,3)$, and the representations are genuine rather than CAP, endoscopic, Asai, or symmetric-cubic lifts in the non-trivial cases.
  • A Khare-Wintenberger-type lifting theorem switches residual characteristic from 2 to an auxiliary odd prime for even-dimensional symplectic representations whose residual image lies in the Dwork monodromy group.
  • Under extra hypotheses on an auxiliary genus-2 curve coming from the non-primitive part, the full $L$-function of the middle cohomology of the Dwork quintic fiber is entire as a function of the complex variable.

Reading between the lines

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

  • Editorial inference: if the four-case classification extends to all even $n$, the mod 2 monodromy group of the Dwork family is determined by elementary invariants of $n$ — whether $n$ or $n+2$ is a power of 2, together with the residue of $n$ modulo 8.
  • Editorial inference: the trace comparison in Appendix C suggests that the mod 3 representation of a Dwork quintic fiber is isomorphic to the mod 3 representation of an explicit genus-2 hyperelliptic curve, giving a concrete route to compute Frobenius traces and test automorphy numerically.
  • Editorial inference: for $n$ a power of 2, the proof shows the splitting field of the trinomial $f_t$ is contained in the field cut out by the mod 2 representation; if the reverse containment also held generically, it would yield an exact reciprocity between Galois groups of trinomials and residual monodromy groups of the Dwork family.
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.

Referee Report

2 major / 3 minor

Summary. The paper studies the residual mod 2 monodromy representations attached to the Dwork family of hypersurfaces, extending previous work of Barnet-Lamb, Geraghty, Harris, and Taylor, which treated odd residual characteristic. The main group-theoretic result (Theorem 1.1 / Proposition 2.7) asserts that for even n at least 4, the mod lambda image of the monodromy representation is, after reduction, one of Sp_n, O^+_n or O^-_n, S_{n+1}, or S_{n+2}, with the last two cases occurring only under additional arithmetic conditions on n. The paper further proves Theorem 1.3 (MD_n(F2) = S_{n+1} when n is a power of 2), gives a Magma-verified description of MD_n(F2) for all even 4 at most n at most 120, and derives applications to potential automorphy and automorphy lifting for rank-4 symplectic Galois representations over totally real fields, including the Dwork quintic family and a study of the non-primitive part via genus-2 curves. The proof strategy combines toric geometry, the classification of absolutely irreducible subgroups of Sp_n generated by transvections (Kantor), minimal-degree results for symmetric groups (Wagner), and the automorphy lifting framework of Boxer, Calegari, Gee, and Pilloni.

Significance. If the main classification is correct, the paper fills a genuine gap in the literature: the residual monodromy of the Dwork family at the prime 2 was not previously understood for arbitrary rank, and the results are used to prove new automorphy theorems for 2-adic symplectic Galois representations and to establish the strong Hasse-Weil conjecture for certain Dwork quintic fibers. The explicit computational content is a strength: Proposition 2.11 records a Magma verification for 4 at most n at most 120, and Appendix A uses Shioda's theory of 28 bitangents to determine the mod 2 image for the Dwork septic family. The dependence on Kantor's classification and on Wagner's theorems is standard, and the automorphy applications rely on recent lifting theorems rather than being used to prove the monodromy classification. However, as printed, the paper contains an incorrect statement of the main theorem's exceptional cases and an unproved integral-structure claim at the prime 2; both need to be addressed before the classification can be regarded as established.

major comments (2)
  1. [Theorem 1.1 and Proposition 2.7(2)(c)-(d)] The 'only when' conditions in Theorem 1.1(2)(c)-(d) and Proposition 2.7(2)(c)-(d) are vacuous as written: for every even n at least 4 one has n = 2m with m = n/2 at least 2, and also n = 2m - 2 with m = (n+2)/2 at least 3. Thus the statements impose no restriction and would allow S_{n+1} or S_{n+2} for every even n, making the O^+_n and O^-_n alternatives unreachable and contradicting Proposition 2.11, Conjecture 1.2, and Theorem 3.2. The proof on page 14 uses the intended conditions, namely n = 2^m for S_{n+1} and n = 2^m - 2 for S_{n+2}. Please correct the exponents in both the theorem and the proposition.
  2. [Section 2.2, equation (2.2), and Lemma 2.1] The claim that the idempotent e has 'bounded denominator at 2' is asserted without proof, and it is load-bearing for Proposition 2.7(2). The idempotent e contains the factor 1/(2|H0|), so before inverting 2 it is not an endomorphism of the integral sheaf R^{N-2} pi_* Z[1/N, zeta_N]^+_lambda. The identification in (2.2), which identifies V_lambda with U_lambda tensored over Z_l with (1/2)Z_l, rescales the symplectic form: if U_lambda carries a perfect Z_l-valued alternating pairing, then the induced pairing on V_lambda takes values in (1/4)Z_l. Consequently the asserted perfect alternating pairing on V_lambda/lambda V_lambda over F_lambda, which is needed to view the residual image inside Sp_n(k_lambda) and to apply Kantor's classification of transvection-generated subgroups, does not follow. Lemma 2.1's proof also depends on this unproved boundedness when it asserts that V_lambda is a finitely generated lattice. Please provide either a direct computation of the denominators of e on a basis, or a lemma showing that after an explicit integral rescaling the mod lambda form is nondegenerate.
minor comments (3)
  1. [Throughout] There are numerous typographical errors that should be corrected in revision, including 'paralell' (page 5), 'folds' (page 19), 'Aslo' (page 25), 'Dowrk' (pages 2 and 29), 'twost' (page 24), 'idenpotent' (page 11), 'non-parimitive' (page 30), and 'finte' (page 33).
  2. [Theorem 5.1, residual-image bullet] The bullet 'Im(bar r_i) intersect Sp_{n_i}(F2) is contained in MD_{n_i}(k) for some finite extension k/F2' cannot apply as written to the factors i at least 2, since for those factors ell_i is odd and bar r_i takes values in GSp_{n_i}(F_{ell_i}). The intended condition, as used in the proof, should be stated for Sp_{n_i}(F_{ell_i}) and MD_{n_i}(k) with k a finite extension of F_{ell_i}.
  3. [Section 2.3, discussion of the twisted base] The twisted base is introduced as Spec Z[1/N][et, 1/(et(1-et))] with the map t maps to t^N, but the symbol 'et' is also used later for a basepoint in Lemma 2.6 and Proposition 2.7; this double use is confusing and should be disambiguated.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the residual monodromy classification is derived from Kantor's and Wagner's independent classifications plus explicit computations, not from the automorphy conclusions; flagged proof gaps and self-citations are inputs rather than circular reductions.

full rationale

The load-bearing monodromy result (Theorem 1.1 / Proposition 2.7) is obtained by reducing to a representation generated by transvections and then applying Kantor's classification of such irreducible subgroups of symplectic groups, with the S_{n+1}/S_{n+2} possibilities and their standard representations controlled by Wagner's minimal-degree theorem and by direct matrix computations, including the order of A and Magma checks for 4 ≤ n ≤ 120. None of these steps fits a parameter to the target automorphy statements or defines the monodromy group in terms of the applications. The automorphy applications in Sections 5 and 6 use the same-author preprint [74] and the external work [18] as hypotheses; in particular Theorem 1.6 is conditional on [74, Theorem 1.1] for mod 2 irreducibility, and the n = 4 case of Theorem 3.1 is explicitly deferred to [74]. These are same-author citations that are load-bearing for those applications, but they are imported inputs rather than conclusions of the present derivation, and the central classification has independent content through Kantor/Wagner and the Magma verification. The paper also contains a genuine proof gap that is not circularity: in Section 2.2 the assertion that the projector e has "a bounded denominator at 2" is unproved, and on it rests the claim that V_λ/λ is a free rank-n module with perfect alternating pairing at λ|2, which Proposition 2.7 needs before transvection-generation and Kantor's classification can be invoked. That missing support undermines the completeness of the classification's input for λ|2, but it is a gap in the proof chain, not a reduction of the theorem to its own conclusion. Overall the derivation is not circular; score 2 reflects the load-bearing same-author inputs and the unproved 2-adic lattice premise, not a self-definitional or fitted-input circularity.

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

The paper introduces no fitted constants and no new postulated physical or geometric entities. Its central claims rest on standard classification theorems in finite group theory, toric mirror symmetry constructions, and two recent not-yet-refereed preprints by the same author and by Boxer-Calegari-Gee-Pilloni. The main load-bearing external inputs are Kantor's transvection classification and Wagner's minimal-degree theorems, plus the modularity lifting theorem [18].

assumptions (8)
  • standard math Kantor's classification of irreducible subgroups of Sp_n(k) generated by transvections (cited as [27, Theorem 1.4] and [19, p.23, Proposition 1.5.39]).
    Used in the proof of Proposition 2.7 to narrow the mod 2 monodromy image to Sp_n, O^pm_n, S_{n+1}, S_{n+2}, or an exceptional case; the exceptional SU_6(F2) case is then excluded by an eigenvalue argument.
  • standard math Wagner's minimal-degree theorems for faithful representations of S_n and A_n over F2 [76, Theorem 1.1] and over odd fields [77, Theorem 1.1].
    Used to show that the standard representations of S_{n+1} and S_{n+2} are the only low-dimensional faithful ones and to force triviality of normal 2-subgroups in Theorem 3.1.
  • standard math Regularity of the splitting field of the trinomial f_t(x)=n x^{n+1}-(n+1)t x^n+1 over Q(t), following [31, Corollary 10.2.2] and [75, Theorem 1].
    Used in the proof of Theorem 3.2 to produce Zariski dense sets of t with Galois group S_{n+1} via Hilbert irreducibility.
  • standard math Higher-dimensional Chebotarev density theorem [60, Section 9.3].
    Used in Theorem 3.2 to pass from fiberwise images Im(rho_{alpha,2})=S_{n+1} on a Zariski dense set to the full monodromy image MD_n(F2).
  • domain assumption Boxer-Calegari-Gee-Pilloni modularity lifting theorem for abelian surfaces [18, Theorem 5.7.14].
    The automorphy theorems in Section 6.1 (Theorem 6.2, Corollary 6.4) depend on this recent preprint as a black box; it is cited as arXiv:2502.20645.
  • domain assumption Tsuzuki-Yamauchi [74, Theorem 1.1 and Theorem 1.2] on irreducibility and automorphy of mod 2 representations of the quintic Dwork family.
    These same-author results are the starting point for the Dwork quintic applications in Theorem 6.2 and Proposition 6.1; they are cited as arXiv:2008.09852.
  • standard math Shioda's theory of 28 bitangent lines on smooth plane quartics [63, Section 3, Theorem 8].
    Used in Appendix A to identify the splitting field of Psi(t,x) and compute the mod 2 image for the Dwork septic family with n=6.
  • domain assumption Potential automorphy of the weakly compatible system (V_{lambda',t})_{lambda'} [38, Theorem B], local-global compatibility [70], and [23, Theorem A].
    Used in Lemma 2.3 and Proposition 6.1 to deduce potential ordinairness and potential diagonalizability of local Galois representations.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The residual monodromy for the Dwork family in even characteristic and its applications to Galois representations." pith.science (2026). https://pith.science/paper/XEMA3HJI

@misc{pith2026250623938,
  author       = {Pith},
  title        = {Pith review of: The residual monodromy for the Dwork family in even characteristic and its applications to Galois representations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XEMA3HJI}},
  note         = {Machine review of arXiv:2506.23938}
}
read the original abstract

We study the residual monodromy representations associated to the Dwork family in characteristic two. Various applications involving 2-adic and mod 2 Galois representations are discussed. Combining the author's previous work with Tsuzuki and recent results of Boxer, Calegari, Gee, and Pilloni, we also prove the automorphy of certain rank 4 symplectic motives over a totally real field, arising from the Dwork quintic family, under suitable conditions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

80 extracted references · 79 canonical work pages

  1. [6]

    Barnet-Lamb, D

    T. Barnet-Lamb, D. Geraghty, M. Harris, and R. Taylor, A family of Calabi-Yau varieties and potential automor- phy II. Publ. Res. Inst. Math. Sci. 47 (2011), no. 1, 29-98

    work page 2011

  2. [74]

    Automorphy of mod 2 Galois representations associated to the quintic Dwork family and reciprocity of some quintic trinomials

    N. Tsuzuki and T. Yamauchi, Automorphy of mod 2 Galois representations associated to the quintic Dwork family and reciprocity of some quintic trinomials, arXiv:2008.09852

    work page Pith review arXiv 2008

  3. [18]

    , Modularity theorems for abelian surfaces, arXiv:2502.20645

    arXiv

  4. [1]

    Allen, Modularity of nearly ordinary 2-adic residually dihedral Galois representations

    P-B. Allen, Modularity of nearly ordinary 2-adic residually dihedral Galois representations. Compos. Math. 150, No. 8, 1235-1346 (2014)

    work page 2014

  5. [2]

    Allen, F

    P-B. Allen, F. Calegari, A. Caraiani, T. Gee, D. Helm, B. Le Hung, J. Newton, P. Scholze, R. Taylor, and J-A. Thorne, Potential automorphy over CM fields. Ann. Math. (2) 197, No. 3, 897-1113 (2023)

    work page 2023

  6. [3]

    Allen, C-B

    P-B. Allen, C-B. Khare, and J-A. Thorne, Modularity of PGL 2(Fp)-representations over totally real fields. Proc. Natl. Acad. Sci. USA 118, No. 33, Article ID e2108064118, 7 p. (2021)

    work page 2021

  7. [4]

    Arthur and L

    J. Arthur and L. Clozel, Simple algebras, base change, and the advanced theory of the trace formula. Annals of Mathematics Studies, 120. Princeton University Press, Princeton, NJ, 1989. xiv+230 pp

    work page 1989

  8. [5]

    Barnet-Lamb, Meromorphic continuation for the zeta function of a Dwork hypersurface

    T. Barnet-Lamb, Meromorphic continuation for the zeta function of a Dwork hypersurface. Algebra Number Theory 4 (2010), no. 7, 839–854

    work page 2010

Show all 80 references
  1. [7]

    Barnet-Lamb, T

    T. Barnet-Lamb, T. Gee, and D. Geraghty, The Sato-Tate conjecture for Hilbert modular forms. J. Amer. Math. Soc. 24 (2011), no. 2, 411-469

    2011

  2. [8]

    Barnet-Lamb, T

    T. Barnet-Lamb, T. Gee, and T. Geraghty, Congruences between Hilbert modular forms: constructing ordinary lifts. Duke Math. J. 161 (2012), no. 8, 1521–1580

    2012

  3. [9]

    Barnet-Lamb, T

    T. Barnet-Lamb, T. Gee, D. Geraghty, and R. Taylor, Potential automorphy and change of weight. Ann. of Math. (2) 179 (2014), no. 2, 501-609

    2014

  4. [10]

    Batyrev, Variations of the mixed Hodge structure of affine hypersurfaces in algebraic tori

    V.-V. Batyrev, Variations of the mixed Hodge structure of affine hypersurfaces in algebraic tori. Duke Math. J. 69 (1993), no. 2, 349–409. 36

    1993

  5. [11]

    , Dual polyhedral and mirror symmetry for Calabi-Yau hypersurfaces in toric varieties. J. Algebraic Geom. 3 (1994), no. 3, 493-535

    1994

  6. [12]

    Bergdall and B

    J. Bergdall and B. Levin, Reductions of Some Two-Dimensional Crystalline Representations via Kisin Modules, International Mathematics Research Notices, Vol. 2022, No. 4, pp. 3170–3197

    2022

  7. [13]

    Berger, H

    L. Berger, H. Li, and H-J Zhu, Construction of some families of 2-dimensional crystalline representations, Math. Ann. 329, 365–377 (2004)

    2004

  8. [14]

    Berthelot and A

    P. Berthelot and A. Ogus, F -isocrystals and de Rham cohomology. I. Invent. Math. 72 (1983), no. 2, 159–199

    1983

  9. [15]

    Beukers and G

    F. Beukers and G. Heckman, Monodromy for the hypergeometric function nFn−1. Invent. Math. 95 (1989), no. 2, 325-354

    1989

  10. [16]

    Bosma, J

    W. Bosma, J. Cannon, and C. Playoust, The Magma algebra system. I. The user language. J. Symbolic Comput., 24(3-4):235-265, 1997. Computational algebra and number theory (London, 1993)

    1997

  11. [17]

    Boxer, F

    G. Boxer, F. Calegari, T. Gee, and V. Pilloni, Abelian surfaces over totally real fields are potentially modular. Publ. Math. Inst. Hautes ´Etudes Sci. 134 (2021), 153–501

    2021

  12. [19]

    Bray, D-F

    J-N. Bray, D-F. Holt, C-M. Roney-Dougal, The maximal subgroups of the low-dimensional finite classical groups. With a foreword by Martin Liebeck. London Mathematical Society Lecture Note Series, 407. Cambridge University Press, Cambridge, 2013

    2013

  13. [20]

    Breuil, Sur quelques repr´ esentations modulaires et p-adiques de GL2(Qp)

    C. Breuil, Sur quelques repr´ esentations modulaires et p-adiques de GL2(Qp). II. J. Inst. Math. Jussieu 2 (2003), no. 1, 23–58

    2003

  14. [21]

    Candelas, X

    P. Candelas, X. de la Ossa, and F. Rodriguez-Villegas, Calabi-Yau manifolds over finite fields. II. Calabi-Yau varieties and mirror symmetry (Toronto, ON, 2001), 121–157, Fields Inst. Commun., 38, Amer. Math. Soc., Providence, RI, 2003

    2001

  15. [22]

    Calegari and T

    F-G. Calegari and T. Gee, Irreducibility of automorphic Galois representations of GL(n), n at most 5. Ann. Inst. Fourier (Grenoble) 63 (2013), no. 5, 1881–1912

    2013

  16. [23]

    Caraiani, Monodromy and local-global compatibility for l = p

    A. Caraiani, Monodromy and local-global compatibility for l = p. Algebra Number Theory 8 (2014), no. 7, 1597–1646

    2014

  17. [24]

    Carlson, S

    J. Carlson, S. M¨ uller-Stach, and C. Peters, Period mappings and period domains. Second edition of [MR2012297]. Cambridge Studies in Advanced Mathematics, 168. Cambridge University Press, Cambridge, 2017. xiv+562 pp

    2017

  18. [25]

    Clozel, M

    L. Clozel, M. Harris, and R. Taylor, Automorphy for some l-adic lifts of automorphic mod l Galois representations. With Appendix A, summarizing unpublished work of Russ Mann, and Appendix B by Marie-France Vigneras. Publ. Math. Inst. Hautes Etudes Sci. No. 108 (2008), 1-181

    2008

  19. [26]

    Dummit, Solving solvable quintics

    D-S. Dummit, Solving solvable quintics. Math. Comp. 57 (1991), no. 195, 387-401

    1991

  20. [27]

    Eberhard, Diameter of classical groups generated by transvections

    S. Eberhard, Diameter of classical groups generated by transvections. J. Algebra 653 (2024), 220–256

    2024

  21. [28]

    Ewing and S

    J. Ewing and S. Moolgavkar, On the signature of Fermat surfaces. Michigan Math. J. 22 (1975), no. 3, 257–268 (1976)

    1975

  22. [29]

    Faber, Finite p-irregular subgroups of P GL2(k)

    X. Faber, Finite p-irregular subgroups of P GL2(k). Matematica 2 (2023), no. 2, 479–522

    2023

  23. [30]

    Faltings, Endlichkeitss¨ atze f¨ ur abelsche Variet¨ aten ¨ uber Zahlk¨ orpern

    G. Faltings, Endlichkeitss¨ atze f¨ ur abelsche Variet¨ aten ¨ uber Zahlk¨ orpern. Invent. Math. 73 (1983), no. 3, 349–366

    1983

  24. [31]

    Fried and M

    M-D. Fried and M. Jarden, Field arithmetic. Third edition. Springer-Verlag, Berlin, 2008. xxiv+792 pp

    2008

  25. [32]

    Gao and T

    H. Gao and T. Liu, A note on potential diagonalizability of crystalline representations. Math. Ann. 360 (2014), no. 1-2, 481-487

    2014

  26. [33]

    T. Gee, F. Herzig, T. Liu, and D. Savitt, Potentially crystalline lifts of certain prescribed types. Doc. Math. 22 (2017), 397-422

    2017

  27. [34]

    Geraghty, Modular lifting theorems for ordinary Galois representations, thesis 2010

    D. Geraghty, Modular lifting theorems for ordinary Galois representations, thesis 2010

    2010

  28. [35]

    , Modularity lifting theorems for ordinary Galois representations. Math. Ann. 373 (2019), no. 3-4, 1341- 1427

    2019

  29. [36]

    Goutet, On the zeta function of a family of quintics

    P. Goutet, On the zeta function of a family of quintics. J. Number Theory 130 (2010), no. 3, 478–492

    2010

  30. [37]

    Guerberoff, Modularity lifting theorems for Galois representations of unitary type

    L. Guerberoff, Modularity lifting theorems for Galois representations of unitary type. Compos. Math. 147 (2011), no. 4, 1022–1058

    2011

  31. [38]

    Harris, N

    M. Harris, N. Shepherd-Barron, and R. Taylor, A family of Calabi-Yau varieties and potential automorphy. Ann. of Math. (2) 171 (2010), no. 2, 779–813. 37

    2010

  32. [39]

    Howard, Iwasawa theory of Heegner points on abelian varieties of GL2 type

    B. Howard, Iwasawa theory of Heegner points on abelian varieties of GL2 type. Duke Math. J. 124 (2004), no. 1, 1–45

    2004

  33. [40]

    Hui, Monodromy of subrepresentations and irreducibility of low degree automorphic Galois representations

    C-Y. Hui, Monodromy of subrepresentations and irreducibility of low degree automorphic Galois representations. J. Lond. Math. Soc. (2) 108 (2023), no. 6, 2436–2490

    2023

  34. [41]

    Illusie, Grothendieck and vanishing cycles

    L. Illusie, Grothendieck and vanishing cycles. Ann. Fac. Sci. Toulouse Math. (6) 30 (2021), no. 1, 83–115

    2021

  35. [42]

    Jensen and A

    C-U. Jensen and A. Ledet, and N. Yui, Generic polynomials. Constructive aspects of the inverse Galois problem. Mathematical Sciences Research Institute Publications, 45. Cambridge University Press, Cambridge, 2002. x+258 pp

    2002

  36. [43]

    Kantor, Subgroups of classical groups generated by long root elements

    W-M. Kantor, Subgroups of classical groups generated by long root elements. Trans. Amer. Math. Soc. 248 (1979), no. 2, 347–379

    1979

  37. [44]

    Katsura and T

    T. Katsura and T. Shioda, On Fermat varieties. Tohoku Math. J. (2) 31 (1979), no. 1, 97–115

    1979

  38. [45]

    Khare and J-A

    C. Khare and J-A. Thorne, Automorphy of some residually S5 Galois representations. Math. Z. 286 (2017), no. 1-2, 399-429

    2017

  39. [46]

    , Serre’s modularity conjecture. I. Invent. Math. 178 (2009), no. 3, 485-504

    2009

  40. [47]

    , Serre’s modularity conjecture. II. Invent. Math. 178 (2009), no. 3, 505-586

    2009

  41. [48]

    H-H. Kim, S. Wakatsuki, and T. Yamauchi, Equidistribution theorems for holomorphic Siegel modular forms for GSp4; Hecke fields and n-level density. Math. Z. 295 (2020), no. 3-4, 917–943

    2020

  42. [49]

    Lian and M

    B-H. Lian and M. Zhu, On the hyperplane conjecture for periods of Calabi-Yau hypersurfaces in Pn. J. Differential Geom. 118 (2021), no. 1, 101–146

    2021

  43. [50]

    Liu, Courbes stables de genre 2 et leur sch´ ema de modules

    Q. Liu, Courbes stables de genre 2 et leur sch´ ema de modules. Math. Ann. 295 (1993), no. 2, 201–222

    1993

  44. [51]

    Lockhart, On the discriminant of a hyperelliptic curve

    P. Lockhart, On the discriminant of a hyperelliptic curve. Trans. Amer. Math. Soc. 342 (1994), no. 2, 729–752

    1994

  45. [52]

    Meyer, Modular Calabi-Yau threefolds

    C. Meyer, Modular Calabi-Yau threefolds. Fields Institute Monographs, 22. American Mathematical Society, Providence, RI, 2005. x+195 pp

    2005

  46. [53]

    Miagkov and J

    K. Miagkov and J. Thorne, Automorphy lifting with adequate image. Forum Math. Sigma 11 (2023), Paper No. e8, 31 pp

    2023

  47. [54]

    Mok, Galois representations attached to automorphic forms on GL2 over CM fields

    C-P. Mok, Galois representations attached to automorphic forms on GL2 over CM fields. Compos. Math. 150 (2014), no. 4, 523–567

    2014

  48. [55]

    Patrikis, Variations on a theorem of Tate

    S. Patrikis, Variations on a theorem of Tate. Mem. Amer. Math. Soc. 258 (2019), no. 1238, viii+156 pp

    2019

  49. [56]

    Pilloni, Higher coherent cohomology and p-adic modular forms of singular weights

    V. Pilloni, Higher coherent cohomology and p-adic modular forms of singular weights. Duke Math. J. 169 (2020), no. 9, 1647–1807

    2020

  50. [57]

    Ribet, Galois action on division points of Abelian varieties with real multiplications

    K. Ribet, Galois action on division points of Abelian varieties with real multiplications. Amer. J. Math. 98 (1976), no. 3, 751–804

    1976

  51. [58]

    Modular curves and abelian varieties, 241–261, Progr

    , Abelian varieties over Q and modular forms. Modular curves and abelian varieties, 241–261, Progr. Math., 224, Birkh¨ auser, Basel, 2004

    2004

  52. [59]

    Schoen, On the geometry of a special determinantal hypersurface associated to the Mumford-Horrocks vector bundle

    C. Schoen, On the geometry of a special determinantal hypersurface associated to the Mumford-Horrocks vector bundle. J. Reine Angew. Math. 364 (1986), 85–111

    1986

  53. [60]

    Serre, Lectures on NX (p)

    J-P. Serre, Lectures on NX (p). Chapman & Hall/CRC Research Notes in Mathematics, 11. CRC Press, Boca Raton, FL, 2012. x+163 pp

    2012

  54. [61]

    SGA 7 II, Groupes de monodromie en g´ eom´ etrie alg´ ebrique. II. S´ eminaire de G´ eom´ etrie Alg´ ebrique du Bois-Marie 1967–1969 (SGA 7 II). Dirig´ e par P. Deligne et N. Katz. Lecture Notes in Mathematics, Vol. 340. Springer-Verlag, Berlin-New York, 1973. x+438 pp

    1967

  55. [62]

    Shepherd-Barron and R

    N-I. Shepherd-Barron and R. Taylor, mod 2 and mod 5 icosahedral representations. J. Amer. Math. Soc. 10 (1997), no. 2, 283–298

    1997

  56. [63]

    Shioda, Plane quartics and Mordell-Weil lattices of type E7

    T. Shioda, Plane quartics and Mordell-Weil lattices of type E7. Comment. Math. Univ. St. Paul. 42 (1993), no. 1, 61–79

    1993

  57. [64]

    Skinner, A note on the p-adic Galois representations attached to Hilbert modular forms

    C. Skinner, A note on the p-adic Galois representations attached to Hilbert modular forms. Doc. Math. 14 (2009), 241–258

    2009

  58. [65]

    Suprunenko, Matrix groups

    D-A. Suprunenko, Matrix groups. Translated from the Russian. Translation edited by K. A. Hirsch. Translations of Mathematical Monographs, Vol. 45. American Mathematical Society, Providence, RI, 1976. viii+252 pp

    1976

  59. [66]

    , Swan, Factorization of polynomials over finite fields

    R-G. , Swan, Factorization of polynomials over finite fields. Pacific J. Math. 12 (1962), 1099–1106. 38

    1962

  60. [67]

    Tate, Number theoretic background

    J. Tate, Number theoretic background. Automorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2, pp. 3–26, Proc. Sympos. Pure Math., XXXIII, Amer. Math. Soc., Providence, RI, 1979

    1977

  61. [68]

    Taylor, Remarks on a conjecture of Fontaine and Mazur

    R. Taylor, Remarks on a conjecture of Fontaine and Mazur. J. Inst. Math. Jussieu 1 (2002), no. 1, 125-143

    2002

  62. [69]

    , Automorphy for some l-adic lifts of automorphic mod l Galois representations. II. Publ. Math. Inst. Hautes ´Etudes Sci. No. 108 (2008), 183–239

    2008

  63. [70]

    Taylor and T

    R. Taylor and T. Yoshida, Compatibility of local and global Langlands correspondences. J. Amer. Math. Soc. 20 (2007), no. 2, 467–493

    2007

  64. [71]

    Thorne, On the automorphy of l-adic Galois representations with small residual image

    J-A. Thorne, On the automorphy of l-adic Galois representations with small residual image. With an appendix by Robert Guralnick, Florian Herzig, Richard Taylor and Thorne. J. Inst. Math. Jussieu 11 (2012), no. 4, 855-920

    2012

  65. [72]

    , Automorphy of some residually dihedral Galois representations. Math. Ann. 364, No. 1-2, 589-648 (2016)

    2016

  66. [73]

    , A 2-adic automorphy lifting theorem for unitary groups over CM fields. Math. Z. 285 (2017), no. 1-2, 1–38

    2017

  67. [75]

    Uchida, Galois group of an equation X n − aX + b = 0

    K. Uchida, Galois group of an equation X n − aX + b = 0. Tohoku Math. J. (2) 22 (1970), 670–678

    1970

  68. [76]

    Wagner, The faithful linear representation of least degree of Sn and An over a field of characteristic 2

    A. Wagner, The faithful linear representation of least degree of Sn and An over a field of characteristic 2.. Math. Z. 151 (1976), no. 2, 127–137

    1976

  69. [77]

    , The faithful linear representations of least degree of Sn and An over a field of odd characteristic. Math. Z. 154 (1977), no. 2, 103–114

    1977

  70. [78]

    Wan, Newton polygons of zeta functions and L functions

    D-Q. Wan, Newton polygons of zeta functions and L functions. Ann. of Math. (2) 137 (1993), no. 2, 249–293

    1993

  71. [79]

    With an appendix by C

    , Mirror symmetry for zeta functions. With an appendix by C. Douglas Haessig. AMS/IP Stud. Adv. Math., 38, Mirror symmetry. V, 159–184, Amer. Math. Soc., Providence, RI, 2006

    2006

  72. [80]

    Yamauchi, Serre weights for GSp4 over totally real fields, a preprint, arXiv:2006.07824, submitted

    T. Yamauchi, Serre weights for GSp4 over totally real fields, a preprint, arXiv:2006.07824, submitted. Takuya Yamauchi, Mathematical Inst. Tohoku Univ., 6-3,Aoba, Aramaki, Aoba-Ku, Sendai 980-8578, JAPAN Email address : takuya.yamauchi.c3@tohoku.ac.jp 39

    2006 arXiv

Pith tools

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