pith. sign in

arxiv: 2603.27710 · v2 · submitted 2026-03-29 · 🧮 math.NT

Galois representation of the product of two Drinfeld modules of generic characteristic

Lian Duan , Jiangxue Fang (with an appendix by Xuanyou Li) This is my paper

Pith reviewed 2026-05-14 21:55 UTC · model grok-4.3

classification 🧮 math.NT
keywords Galois representationsDrinfeld modulesgeneric characteristicfunction fieldsdeterminant conditionPink minimal modelSerre opennessproduct representations
0
0 comments X

The pith

The image of the Galois representation on the product of two Drinfeld modules is commensurable with a natural determinant subgroup for any finite set of primes.

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

This paper proves that the Galois representations attached to products of two Drinfeld modules of generic characteristic have large images. Specifically, for any finite set of primes, the image is commensurable with the subgroup of the product of general linear groups defined by a determinant condition. This is presented as a direct analogue to Serre's theorem on the images of Galois representations for products of elliptic curves. A reader would care because such results describe how the absolute Galois group acts on the torsion points of these modules, which is key to their arithmetic properties over function fields. The proof integrates local group-theoretic methods with global reciprocity.

Core claim

The central discovery is that when two Drinfeld modules have generic characteristic, the associated product Galois representation has image that is commensurable with the subgroup consisting of pairs whose determinants satisfy the natural condition induced by the common base field, for each finite set of primes.

What carries the argument

Pink's minimal model theory for compact subgroups of linear algebraic groups over local fields, used to analyze the images of the Galois representations

Load-bearing premise

The Drinfeld modules have generic characteristic and the compact subgroups arising from the Galois action satisfy the hypotheses of Pink's minimal model theory.

What would settle it

A concrete counterexample would be an explicit pair of Drinfeld modules of generic characteristic together with a small prime l where direct computation of the product Galois image shows it is not commensurable with the determinant subgroup.

read the original abstract

In this paper, we study the Galois representations attached to products of Drinfeld modules. As an analogue of Serre's classical result on the images of Galois representations associated with products of elliptic curves, we prove that for any finite set of primes, the image of the corresponding product representation is sufficiently large, in the sense that it is commensurable with a subgroup defined by a natural determinant condition. Our approach combines Pink's minimal model theory for compact subgroups of linear groups over local fields with explicit reciprocity laws for global function fields.

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

2 major / 2 minor

Summary. The paper proves an analogue of Serre's theorem for products of elliptic curves: for any finite set of primes, the image of the Galois representation attached to the product of two Drinfeld modules of generic characteristic is commensurable with a subgroup defined by a natural determinant condition. The argument combines Pink's minimal model theory for compact subgroups of linear groups over local fields with explicit reciprocity laws for global function fields.

Significance. If the central claim holds, the result would advance the arithmetic of function fields by establishing largeness of Galois images for products of Drinfeld modules under generic characteristic, paralleling classical results over number fields. The combination of Pink's theory with reciprocity laws is a natural approach, though its success hinges on unverified openness conditions in this setting.

major comments (2)
  1. [Proof of main theorem (likely §4)] The application of Pink's minimal model theory (invoked to conclude that the Galois images are open and admit a minimal model) requires explicit verification that the compact subgroups arising from the product representation satisfy the openness and Lie-algebra hypotheses in the global function field case. The manuscript asserts that generic characteristic guarantees this but supplies no direct check (e.g., no computation of the Lie algebra or p-adic density for the images of the two modules or their product).
  2. [§3 (reciprocity laws) and main theorem statement] The claim that the image is commensurable with the kernel of the natural determinant map relies on the reciprocity laws producing sufficient density, yet the argument does not exhibit an explicit reduction showing that the determinant condition is the only obstruction; the external invocation of Pink's results leaves the precise index or commensurability constant uncomputed.
minor comments (2)
  1. [Abstract] The abstract and introduction should explicitly state that the result concerns exactly two Drinfeld modules (as indicated by the title) rather than an arbitrary finite number.
  2. [§2] Notation for the product representation and the determinant map could be introduced earlier with a clear diagram or commutative square to aid readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address each major comment below and will revise the manuscript accordingly to strengthen the application of Pink's theory and clarify the reductions.

read point-by-point responses

  1. Referee: [Proof of main theorem (likely §4)] The application of Pink's minimal model theory (invoked to conclude that the Galois images are open and admit a minimal model) requires explicit verification that the compact subgroups arising from the product representation satisfy the openness and Lie-algebra hypotheses in the global function field case. The manuscript asserts that generic characteristic guarantees this but supplies no direct check (e.g., no computation of the Lie algebra or p-adic density for the images of the two modules or their product).

    Authors: We agree that an explicit verification strengthens the argument. While generic characteristic ensures the individual Drinfeld modules yield irreducible representations of full rank, the product case requires direct confirmation of the Lie-algebra and openness hypotheses. In the revised manuscript we will add a dedicated paragraph in §4 computing the Lie algebra of the image of the product representation (using the explicit action on the Tate modules) and verifying p-adic density via the function-field Chebotarev density theorem, thereby confirming that Pink's hypotheses hold. revision: yes

  2. Referee: [§3 (reciprocity laws) and main theorem statement] The claim that the image is commensurable with the kernel of the natural determinant map relies on the reciprocity laws producing sufficient density, yet the argument does not exhibit an explicit reduction showing that the determinant condition is the only obstruction; the external invocation of Pink's results leaves the precise index or commensurability constant uncomputed.

    Authors: The reciprocity laws of §3 produce a dense subgroup whose closure meets every open set in the determinant kernel; Pink's minimal-model theorem then forces the image to be commensurable with that kernel. We will revise the proof of the main theorem to insert an explicit intermediate step spelling out this reduction. The paper establishes commensurability rather than a numerical index, as the latter depends on the specific choice of modules and is not required by the statement; we therefore leave the exact constant uncomputed but will add a remark noting this limitation. revision: partial

Circularity Check

0 steps flagged

No circularity; central claim rests on external Pink theory and reciprocity laws

full rationale

The paper derives the commensurability of the product Galois image with the kernel of a determinant map by invoking Pink's minimal model theory on compact subgroups (assumed to hold under generic characteristic) together with explicit reciprocity laws. No equation or step reduces a claimed prediction to a fitted parameter defined inside the paper, nor does any load-bearing premise collapse to a self-citation chain. The derivation therefore remains independent of its own inputs and is self-contained against the cited external results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard background results in arithmetic geometry and on the applicability of Pink's minimal model theory; no new free parameters or invented entities are introduced.

axioms (2)
  • standard math Galois groups of global function fields act continuously on the Tate modules of Drinfeld modules
    Invoked implicitly when defining the Galois representation.
  • domain assumption Pink's minimal model theory applies to the relevant compact subgroups of GL_n over local fields
    Explicitly named as part of the approach.

pith-pipeline@v0.9.0 · 5384 in / 1237 out tokens · 28643 ms · 2026-05-14T21:55:55.352691+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    J. D. Achter, L. Duan, and X. Wang, On the essential torsion finiteness of abelian varieties over torsion fields, Nagoya Math. J. 253 (2024), 91–127

    work page 2024

  2. [2]

    Banaszak, W

    G. Banaszak, W. Gajda, and P. Kraso´ n, On the image of ℓ-adic Galois representations for abelian varieties of type I and II, Doc. Math. Extra Vol. (2003), 35–75

    work page 2003

  3. [3]

    Chi, ℓ-adic and λ-adic representations associated to abelian varieties defined over number fields, Amer

    W. Chi, ℓ-adic and λ-adic representations associated to abelian varieties defined over number fields, Amer. J. Math. 114 (1992), 315–353

    work page 1992

  4. [4]

    Chi, On the ℓ-adic representations attached to simple abelian varieties of type IV, Bull

    W. Chi, On the ℓ-adic representations attached to simple abelian varieties of type IV, Bull. Austral. Math. Soc. 44 (1991), 71–78

    work page 1991

  5. [5]

    Conrad, Weil and Grothendieck approaches to adelic points, Enseignement Math´ ematique 58.1 (2012): 61-97

    B. Conrad, Weil and Grothendieck approaches to adelic points, Enseignement Math´ ematique 58.1 (2012): 61-97

    work page 2012

  6. [6]

    Commelin, The Mumford-Tate conjecture for products of abelian varieties, algebraic geometry 6 (6) (2019) 650-677

    J. Commelin, The Mumford-Tate conjecture for products of abelian varieties, algebraic geometry 6 (6) (2019) 650-677

    work page 2019

  7. [7]

    Deligne, D

    P. Deligne, D. Husem¨ oller, Survey of Drinfeld Modules, Contemp. Math., vol. 67 (1987), 25–91

    work page 1987

  8. [8]

    J. A. Dieudon´ e, La g´ eom´ etrie des groupes classiques, Springer-Verlag, Berlin-New York, 1971

    work page 1971

  9. [9]

    Drinfeld, Elliptic modules, Mat

    V.G. Drinfeld, Elliptic modules, Mat. Sb. 94 (1974) 594–627 (in Russian); translated in Math. USSR Sb. 23 (1974) 561–592

    work page 1974

  10. [10]

    Goss, L-series of t-motives and Drinfeld modules,The arithmetic of function fields (Columbus, OH, 1991) 2 (1992): 313-402

    D. Goss, L-series of t-motives and Drinfeld modules,The arithmetic of function fields (Columbus, OH, 1991) 2 (1992): 313-402

    work page 1991

  11. [11]

    Goss, Basic structures of function field arithmetic, Springer Science and Business Media, 2012

    D. Goss, Basic structures of function field arithmetic, Springer Science and Business Media, 2012

    work page 2012

  12. [12]

    Hartshorne, Algebraic geometry, Springer-Verlag, New York-Heidelberg, 1977, Graduate Texts in Mathe- matics, No

    R. Hartshorne, Algebraic geometry, Springer-Verlag, New York-Heidelberg, 1977, Graduate Texts in Mathe- matics, No. 52

    work page 1977

  13. [13]

    Hall, An open-image theorem for a general class of abelian varieties, Bull

    C. Hall, An open-image theorem for a general class of abelian varieties, Bull. Lond. Math. Soc. 43 (2011), 703–711

    work page 2011

  14. [14]

    Hayes, David R, Explicit class field theory in global function fields, Studies in algebra and number theory 6 (1979), 173-217

    work page 1979

  15. [15]

    N. M. Katz and S. Lang, Finiteness theorems in geometric classfield theory, with an appendix by K. A. Ribet, Enseign. Math. (2) 27 (1981), no. 3–4, 285–319

    work page 1981

  16. [16]

    Larsen and R

    M. Larsen and R. Pink, Abelian varieties, ℓ-adic representations, and ℓ-independence, Math. Ann. 302 (1995), 561–579

    work page 1995

  17. [17]

    Lehmkuhl, Compactification of the Drinfeld modular surfaces, Mem

    T. Lehmkuhl, Compactification of the Drinfeld modular surfaces, Mem. Amer. Math. Soc., 197(921), 2009

    work page 2009

  18. [18]

    Lombardo, On the ℓ-adic Galois representations attached to nonsimple abelian varieties, Ann

    D. Lombardo, On the ℓ-adic Galois representations attached to nonsimple abelian varieties, Ann. Inst. Fourier (Grenobel) 66(2016), no. 3, 1217-1245

    work page 2016

  19. [19]

    Moonen, An Introduction to Mumford–Tate Groups, lecture notes, available at https://www.math.ru.nl/ ~bmoonen/Lecturenotes/MTGps.pdf

    B. Moonen, An Introduction to Mumford–Tate Groups, lecture notes, available at https://www.math.ru.nl/ ~bmoonen/Lecturenotes/MTGps.pdf

    work page

  20. [20]

    B. J. J. Moonen and Yu. G. Zarhin, Hodge classes and Tate classes on simple abelian fourfolds, Duke Math. J. 77 (1995), 553–581

    work page 1995

  21. [21]

    B. J. J. Moonen and Yu. G. Zarhin, Hodge classes on abelian varieties of low dimension, Math. Ann. 315 (1999), 711–733

    work page 1999

  22. [22]

    Mumford, Families of abelian varieties, Proc

    D. Mumford, Families of abelian varieties, Proc. Sympos. Pure Math., Vol. IX, Amer. Math. Soc., 1966, 347–351

    work page 1966

  23. [23]

    Pink, The Mumford-Tate conjecture for Drinfeld-modules, Publ

    R. Pink, The Mumford-Tate conjecture for Drinfeld-modules, Publ. Res. Inst. Math. Sci., 33(3) (1997), 393-425

    work page 1997

  24. [24]

    Pink, Compact subgroups of linear algebraic groups

    R. Pink, Compact subgroups of linear algebraic groups. J. Algebra, 206(2):438–504, 1998

    work page 1998

  25. [25]

    Pink, ℓ-adic algebraic monodromy groups, cocharacters, and the Mumford-Tate conjecture, J

    R. Pink, ℓ-adic algebraic monodromy groups, cocharacters, and the Mumford-Tate conjecture, J. Reine Angew. Math. 495 (1998), 187–237

    work page 1998

  26. [26]

    B. Poonen. Introduction to Drinfeld modules (lecture notes). https://math.mit.edu/ poo- nen/papers/drinfeld.pdf, 2021

    work page 2021

  27. [27]

    Pink and E

    R. Pink and E. R¨ utsche, Adelic openness for Drinfeld modules in generic characteristic, J. NumberTheory, 129(4) (2009), 882-907

    work page 2009

  28. [28]

    M. Rosen. Number theory in function fields, volume 210 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2002. GALOIS REPRESENTATIONS OF PRODUCTS OF DRINFELD MODULES 35

    work page 2002

  29. [29]

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

    work page 1968

  30. [30]

    J. P. Serre, Propri´ et´ es galoisiennes des points d’ordre fini des courbes elliptiques, Invent. Math. 15 (1972), 259–331

    work page 1972

  31. [31]

    Serre, R´ esum´ e des cours au Coll` ege de France 1984–1985, inOeuvres, Vol

    J.-P. Serre, R´ esum´ e des cours au Coll` ege de France 1984–1985, inOeuvres, Vol. IV, Springer-Verlag, Berlin, 2003, 27–32

    work page 1984

  32. [32]

    Vasiu, Some cases of the Mumford-Tate conjecture and Shimura varieties, Indiana Univ

    A. Vasiu, Some cases of the Mumford-Tate conjecture and Shimura varieties, Indiana Univ. Math. J. 57 (2008), 1–75

    work page 2008

  33. [33]

    Yu. G. Zarhin, Endomorphisms and torsion of abelian varieties, Duke Math. J. 54 (1987), no. 1, 131–145. Institute of Mathematical Sciences, ShanghaiTech University, No.393 Middle Huaxia Road, Pudong New District, Shanghai, China Email address: duanlian@shanghaitech.edu.cn Department of Mathematics, Capital Normal University, Beijing 100148, P.R. China Ema...

    work page 1987