pith. sign in

arxiv: 2211.11149 · v2 · submitted 2022-11-21 · 🧮 math.NT · math.AG

Higher modularity of elliptic curves over function fields

Adam Logan , Jared Weinstein This is my paper

Pith reviewed 2026-05-24 11:04 UTC · model grok-4.3

classification 🧮 math.NT math.AG
keywords elliptic curvesfunction fieldsmodularityshtukasK3 surfacesKummer surfacesPicard latticesconductors
0
0 comments X

The pith

Nonisotrivial elliptic curves over F_q(t) with conductor degree 4 are 2-modular.

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

The paper establishes that every nonisotrivial elliptic curve E over the function field F_q(t) whose conductor has degree 4 admits an algebraic correspondence with the stack of 2-legged shtukas. This correspondence makes E 2-modular, in the sense that it links the stack to the product of two copies of the elliptic surface associated to E. The r equals 1 case recovers the known function-field version of modularity. The argument reduces the existence of the correspondence to a lattice condition on an auxiliary K3 surface, via a new if-and-only-if criterion for finite morphisms to Kummer surfaces. A reader cares because the result supplies a concrete higher-modularity statement in a geometric setting where the arithmetic can be checked explicitly.

Core claim

The central claim is that if E over F_q(t) is a nonisotrivial elliptic curve whose conductor has degree 4, then E is 2-modular: there exists an algebraic correspondence between the stack of 2-legged shtukas and the r-fold product of E viewed as an elliptic surface. The proof proceeds by associating to E a K3 surface whose finite morphism to the Kummer surface of E times E is guaranteed precisely when the Picard lattices are rationally isometric, and then verifying that this isometry holds for conductor degree 4. The paper also records the independent result that a K3 surface admits a finite morphism to such a Kummer surface if and only if the Picard lattices are rationally isometric.

What carries the argument

The central mechanism is the if-and-only-if criterion that equates the existence of a finite morphism from a K3 surface to the Kummer surface of a product of elliptic curves with rational isometry of their Picard lattices; this criterion produces the required algebraic correspondence for 2-modularity.

If this is right

  • Every such elliptic curve E over F_q(t) admits an algebraic correspondence with the stack of 2-legged shtukas.
  • The associated K3 surface maps finitely onto the Kummer surface of E times E.
  • The rational isometry of Picard lattices is necessary and sufficient for the existence of finite morphisms from K3 surfaces to these Kummer surfaces.
  • The 2-modularity statement holds uniformly for all finite fields F_q and all such curves of conductor degree 4.

Where Pith is reading between the lines

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

  • The lattice criterion might be applied to produce 3-modular or higher statements for curves whose conductors have larger even degree.
  • The same geometric reduction could be tested on explicit families of curves over small finite fields to produce sample correspondences.
  • The function-field result supplies a model case that could be compared with attempts to formulate higher-modularity statements over the rationals.

Load-bearing premise

The proof assumes that rational isometry of the Picard lattices is sufficient to guarantee a finite morphism from the K3 surface to the Kummer surface of E times E.

What would settle it

The claim would be settled by an explicit nonisotrivial elliptic curve over F_q(t) whose conductor has degree exactly 4 but which admits no algebraic correspondence with the stack of 2-legged shtukas.

read the original abstract

We investigate a notion of "higher modularity" for elliptic curves over function fields. Given such an elliptic curve $E$ and an integer $r\geq 1$, we say that $E$ is $r$-modular when there is an algebraic correspondence between a stack of $r$-legged shtukas, and the $r$-fold product of $E$ considered as an elliptic surface. The (known) case $r=1$ is analogous to the notion of modularity for elliptic curves over $\mathbf{Q}$. Our main theorem is that if $E/\mathbf{F}_q(t)$ is a nonisotrivial elliptic curve whose conductor has degree 4, then $E$ is 2-modular. Ultimately, the proof uses properties of K3 surfaces. Along the way we prove a result of independent interest: A K3 surface admits a finite morphism to a Kummer surface attached to a product of elliptic curves if and only if its Picard lattice is rationally isometric to the Picard lattice of such a Kummer surface.

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.

Referee Report

0 major / 2 minor

Summary. The paper defines r-modularity for an elliptic curve E over a function field via the existence of an algebraic correspondence between the stack of r-legged shtukas and the r-fold product of E viewed as an elliptic surface. The main result asserts that every nonisotrivial E/F_q(t) whose conductor has degree 4 is 2-modular. The argument reduces this statement to the existence of a finite morphism from a suitable K3 surface to the Kummer surface of a product of elliptic curves, and the paper proves an independent if-and-only-if criterion for such a morphism in terms of rational isometry of the respective Picard lattices.

Significance. The theorem supplies the first higher-modularity statement (r=2) in the function-field setting, extending the known r=1 case that parallels classical modularity over Q. The K3-surface criterion is of independent interest for the classification of morphisms between K3 and Kummer surfaces. If the central reduction is correct, the result furnishes a concrete, geometrically explicit route to 2-modularity for a positive-dimensional family of elliptic surfaces and may serve as a template for larger conductor degrees.

minor comments (2)
  1. [Introduction] The abstract states that the main theorem ultimately relies on K3-surface geometry, but the manuscript should include a short roadmap (perhaps in the introduction) that explicitly lists the steps connecting conductor degree 4 to the Picard-lattice isometry condition.
  2. Notation for the stack of r-legged shtukas and the elliptic surface associated to E should be introduced once and used uniformly; occasional shifts between “E” and “the elliptic surface” can be clarified.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the result's significance as the first higher-modularity statement in the function-field setting, and recommendation for minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via independent K3 lattice criterion

full rationale

The paper's central claim (E/F_q(t) with conductor degree 4 is 2-modular) reduces to existence of a finite morphism from a K3 surface to a Kummer surface of a product of elliptic curves. The authors prove an if-and-only-if criterion for this morphism in terms of rational isometry of Picard lattices, presented as a result of independent interest. No quoted step reduces a prediction to a fitted input by construction, invokes a load-bearing self-citation chain, imports uniqueness from prior author work, or renames a known result. The r=1 case is noted as known but external to the new derivation; the argument relies on standard K3 geometry and lattice theory without internal reduction to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper introduces the definition of r-modularity and relies on standard facts from algebraic geometry about elliptic curves, shtukas, and K3 surfaces; no free parameters or new postulated entities are indicated in the abstract.

axioms (2)
  • standard math Standard properties of K3 surfaces and their Picard lattices over the rationals
    Invoked to establish the auxiliary theorem used in the main proof.
  • domain assumption Existence of algebraic correspondences between stacks of shtukas and elliptic surfaces
    Built into the definition of r-modularity.

pith-pipeline@v0.9.0 · 5706 in / 1296 out tokens · 34316 ms · 2026-05-24T11:04:10.237355+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages

  1. [1]

    Marshall, Susan H

    Sang Yook An, Seog Young Kim, David C. Marshall, Susan H. Marshall, William G. McCallum, and Alexander R. Perlis, Jacobians of genus one curves, J. Number Theory 90 (2001), no. 2, 304--315. 1858080

    work page 2001

  2. [2]

    Michael Artin, Fernando Rodriguez-Villegas, and John Tate, On the J acobians of plane cubics , Adv. Math. 198 (2005), no. 1, 366--382. 2183258

    work page 2005

  3. [3]

    Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor, On the modularity of elliptic curves over Q : wild 3-adic exercises , J. Amer. Math. Soc. 14 (2001), no. 4, 843--939. 1839918

    work page 2001

  4. [4]

    Arnaud Beauville, Les familles stables de courbes elliptiques sur P ^ 1 admettant quatre fibres singuli\`eres , C. R. Acad. Sci. Paris S\' e r. I Math. 294 (1982), no. 19, 657--660. 664643

    work page 1982

  5. [5]

    Samuel Boissi\`ere, Alessandra Sarti, and Davide Cesare Veniani, On prime degree isogenies between K 3 surfaces , Rend. Circ. Mat. Palermo (2) 66 (2017), no. 1, 3--18. 3690544

    work page 2017

  6. [6]

    Reine Angew

    Nikolay Buskin, Every rational H odge isometry between two K3 surfaces is algebraic , J. Reine Angew. Math. 755 (2019), 127--150. 4015230

    work page 2019

  7. [7]

    J. H. Conway and N. J. A. Sloane, Sphere packings, lattices and groups, third ed., Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 290, Springer-Verlag, New York, 1999, With additional contributions by E. Bannai, R. E. Borcherds, J. Leech, S. P. Norton, A. M. Odlyzko, R. A. Parker, L. Queen and B. B. V...

    work page 1999

  8. [8]

    Flicker, Counting local systems with principal unipotent local monodromy, Ann

    Pierre Deligne and Yuval Z. Flicker, Counting local systems with principal unipotent local monodromy, Ann. of Math. (2) 178 (2013), no. 3, 921--982. 3092473

    work page 2013

  9. [9]

    Mar\'ia In\'es de Frutos-Fern\'andez, Moduli spaces of shtukas over the projective line, 2020

    work page 2020

  10. [10]

    V. G. Drinfeld, Elliptic modules, Mat. Sb. (N.S.) 94(136) (1974), 594--627, 656

    work page 1974

  11. [11]

    , Langlands' conjecture for GL (2) over functional fields , Proceedings of the I nternational C ongress of M athematicians ( H elsinki, 1978), Acad. Sci. Fennica, Helsinki, 1980, pp. 565--574

    work page 1978

  12. [12]

    10, 2297–--2411

    Noam Elkies and Abhinav Kumar, K3 surfaces and equations for H ilbert modular surfaces , Algebra and Number Theory 8 (2014), no. 10, 2297–--2411

    work page 2014

  13. [13]

    a tze f\

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

    work page 1983

  14. [14]

    9, 2123--2150

    Tom Fisher, A formula for the J acobian of a genus one curve of arbitrary degree , Algebra Number Theory 12 (2018), no. 9, 2123--2150. 3894430

    work page 2018

  15. [15]

    M. J. Fryers, The movable fan of the H orrocks- M umford quintic , 2001

    work page 2001

  16. [16]

    131, Princeton University Press, Princeton, NJ, 1993, The William H

    William Fulton, Introduction to toric varieties, Annals of Mathematics Studies, vol. 131, Princeton University Press, Princeton, NJ, 1993, The William H. Roever Lectures in Geometry. 1234037

    work page 1993

  17. [17]

    Gross and Don B

    Benedict H. Gross and Don B. Zagier, Heegner points and derivatives of L -series , Invent. Math. 84 (1986), no. 2, 225--320. 833192

    work page 1986

  18. [18]

    158, Cambridge University Press, Cambridge, 2016

    Daniel Huybrechts, Lectures on K 3 surfaces , Cambridge Studies in Advanced Mathematics, vol. 158, Cambridge University Press, Cambridge, 2016. 3586372

    work page 2016

  19. [19]

    Hiroyuki Ito, On extremal elliptic surfaces in characteristic 2 and 3, Hiroshima Math. J. 32 (2002), no. 2, 179--188. 1925896

    work page 2002

  20. [20]

    JongHae Keum, A note on elliptic K3 surfaces , Trans. Amer. Math. Soc. 352 (2000), no. 5, 2077--2086. 1707196

    work page 2000

  21. [21]

    Abhinav Kumar and Masato Kuwata, Elliptic K 3 surfaces associated with the product of two elliptic curves: M ordell- W eil lattices and their fields of definition , Nagoya Math. J. 228 (2017), 124--185. 3721376

    work page 2017

  22. [22]

    V. A. Kolyvagin, Euler systems, The G rothendieck F estschrift, V ol. II , Progr. Math., vol. 87, Birkh\" a user Boston, Boston, MA, 1990, pp. 435--483. 1106906

    work page 1990

  23. [23]

    Masato Kuwata and Tetsuji Shioda, Elliptic parameters and defining equations for elliptic fibrations on a K ummer surface , Algebraic geometry in E ast A sia--- H anoi 2005, Adv. Stud. Pure Math., vol. 50, Math. Soc. Japan, Tokyo, 2008, pp. 177--215. 2409557

    work page 2005

  24. [24]

    Algebraic Geom

    Abhinav Kumar, Elliptic fibrations on a generic J acobian K ummer surface , J. Algebraic Geom. 23 (2014), no. 4, 599--667. 3263663

    work page 2014

  25. [25]

    Vincent Lafforgue, Chtoucas pour les groupes r\' e ductifs et param\' e trisation de L anglands globale , J. Amer. Math. Soc. 31 (2018), no. 3, 719--891. 3787407

    work page 2018

  26. [26]

    Laumon, M

    G. Laumon, M. Rapoport, and U. Stuhler, D -elliptic sheaves and the L anglands correspondence , Invent. Math. 113 (1993), no. 2, 217--338. 1228127

    work page 1993

  27. [27]

    Logan and J

    A. Logan and J. Weinstein, Magma scripts available for download

    work page

  28. [28]

    Vincent Lafforgue and Xinwen Zhu, D\'ecomposition au-dessus des param\`etres de langlands elliptiques, 2018

    work page 2018

  29. [29]

    Morrison, On K 3 surfaces with large P icard number , Invent

    D. Morrison, On K 3 surfaces with large P icard number , Invent. Math. 75 (1984), 105--121

    work page 1984

  30. [30]

    Rick Miranda and Ulf Persson, On extremal rational elliptic surfaces, Math. Z. 193 (1986), no. 4, 537--558. 867347

    work page 1986

  31. [31]

    Mukai, On the moduli space of bundles on K3 surfaces

    S. Mukai, On the moduli space of bundles on K3 surfaces. I , Vector bundles on algebraic varieties ( B ombay, 1984), Tata Inst. Fund. Res. Stud. Math., vol. 11, Tata Inst. Fund. Res., Bombay, 1987, pp. 341--413. 893604

    work page 1984

  32. [32]

    D. Mumford, An algebro-geometric construction of commuting operators and of solutions to the T oda lattice equation, K orteweg de V ries equation and related nonlinear equation , Proceedings of the I nternational S ymposium on A lgebraic G eometry ( K yoto U niv., K yoto, 1977), Kinokuniya Book Store, Tokyo, 1978, pp. 115--153

    work page 1977

  33. [33]

    Keiji Oguiso, On J acobian fibrations on the K ummer surfaces of the product of nonisogenous elliptic curves , J. Math. Soc. Japan 41 (1989), no. 4, 651--680. 1013073

    work page 1989

  34. [34]

    Keiji Oguiso and Tetsuji Shioda, The M ordell- W eil lattice of a rational elliptic surface , Comment. Math. Univ. St. Paul. 40 (1991), no. 1, 83--99. 1104782

    work page 1991

  35. [35]

    I. I. Pjatecki - S apiro and I. R. S afarevi c , Torelli's theorem for algebraic surfaces of type K 3 , Izv. Akad. Nauk SSSR Ser. Mat. 35 (1971), 530--572. 0284440

    work page 1971

  36. [36]

    273--310

    Miles Reid, Canonical 3 -folds , Journ\' e es de G \' e ometrie A lg\' e brique d' A ngers, J uillet 1979/ A lgebraic G eometry, A ngers, 1979, Sijthoff & Noordhoff, Alphen aan den Rijn---Germantown, Md., 1980, pp. 273--310. 605348

    work page 1979

  37. [37]

    2, 489--508

    Shi-Shyr Roan, Minimal resolutions of G orenstein orbifolds in dimension three , Topology 35 (1996), no. 2, 489--508. 1380512

    work page 1996

  38. [38]

    Chad Schoen, On fiber products of rational elliptic surfaces with section, Math. Z. 197 (1988), no. 2, 177--199. 923487

    work page 1988

  39. [39]

    239--292

    Tathagata Sengupta, Elliptic fibrations on supersingular K3 surface with A rtin invariant 1 in characteristic 3 , Analytic and algebraic geometry, Hindustan Book Agency, New Delhi, 2017, pp. 239--292. 3728136

    work page 2017

  40. [40]

    Shioda and H

    T. Shioda and H. Inose, On singular K3 surfaces , Complex analysis and algebraic geometry, Iwanami Shoten, Tokyo, 1977, pp. 119--136. 0441982

    work page 1977

  41. [41]

    Matthias Sch\" u tt and Tetsuji Shioda, Elliptic surfaces, Algebraic geometry in E ast A sia--- S eoul 2008, Adv. Stud. Pure Math., vol. 60, Math. Soc. Japan, Tokyo, 2010, pp. 51--160. 2732092

    work page 2008

  42. [42]

    John Tate, On the conjectures of B irch and S winnerton- D yer and a geometric analog , S\' e minaire B ourbaki, V ol. 9, Soc. Math. France, Paris, 1995, pp. Exp. No. 306, 415--440. 1610977

    work page 1995

  43. [43]

    Douglas Ulmer, Elliptic curves and analogies between number fields and function fields, 2003

    work page 2003

  44. [44]

    Kazuki Utsumi, Weierstrass equations for J acobian fibrations on a certain K3 surface , Hiroshima Math. J. 42 (2012), no. 3, 355--383. 3050126

    work page 2012

  45. [45]

    (N.S.) 10 (2004), no

    Yakov Varshavsky, Moduli spaces of principal F -bundles , Selecta Math. (N.S.) 10 (2004), no. 1, 131--166. 2061225

    work page 2004

  46. [46]

    Cong Xue, Cuspidal cohomology of stacks of shtukas, Compos. Math. 156 (2020), no. 6, 1079--1151. 4098603

    work page 2020

  47. [47]

    Alg\' e brique 4 (2020), Art

    , Finiteness of cohomology groups of stacks of shtukas as modules over H ecke algebras, and applications , \' E pijournal G\' e om. Alg\' e brique 4 (2020), Art. 6, 42. 4113657

    work page 2020

  48. [48]

    Ziquan Yang, Isogenies between K 3 surfaces over F _p , Int. Math. Res. Not. IMRN (2022), no. 6, 4407--4450. 4391893

    work page 2022

  49. [49]

    Zhiwei Yun and Wei Zhang, Shtukas and the T aylor expansion of L -functions , Ann. of Math. (2) 186 (2017), no. 3, 767--911

    work page 2017

  50. [50]

    , Shtukas and the T aylor expansion of L -functions ( II ) , Ann. of Math. (2) 189 (2019), no. 2, 393--526

    work page 2019