pith. sign in

arxiv: 2011.00434 · v2 · pith:X255TCE5new · submitted 2020-11-01 · 🧮 math.NT

Linear equations on Drinfeld modules

Yen-Tsung Chen This is my paper

Pith reviewed 2026-05-24 14:40 UTC · model grok-4.3

classification 🧮 math.NT
keywords Drinfeld moduleslinear relationsfunction fieldsF_q[t]homogeneous linear equationsMasser theorem analoguerational pointsendomorphism ring
0
0 comments X

The pith

Linear relations among points on a Drinfeld module are the solutions to an explicitly constructed system of homogeneous linear equations over F_q[t].

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

The paper proves that for a Drinfeld module E defined over a finite extension L of the rational function field F_q(t), the linear relations among any finite set of points in E(L) match exactly the solution space of a certain system of homogeneous linear equations whose coefficients lie in F_q[t]. The system is built directly from the module's defining data and the coordinates of the points. This yields an explicit upper bound on the size of a generating set for the module of all such relations. A sympathetic reader would care because the result converts an abstract question about dependence into ordinary linear algebra over a polynomial ring, giving an effective procedure that parallels Masser's theorem for elliptic curves over number fields.

Core claim

Given a Drinfeld module E over L and points P1 to Pn in E(L), the Z-module of linear relations sum a_i P_i = 0 is characterized by the solutions of an explicitly constructed system of homogeneous linear equations over F_q[t]; as a direct consequence there is an explicit upper bound on the size of generators for this module of relations.

What carries the argument

The explicitly constructed system of homogeneous linear equations over F_q[t] whose solution space consists precisely of the linear relations among the given points.

If this is right

  • The module of linear relations is finitely generated and admits an explicit bound on the size of its generators.
  • All linear relations can be found by solving a finite system of linear equations over the polynomial ring F_q[t].
  • The result supplies an effective version of the analogue of Masser's theorem in the setting of Drinfeld modules.
  • The construction applies uniformly to any finite collection of L-rational points on any Drinfeld module over L.

Where Pith is reading between the lines

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

  • The explicit system may be turned into an algorithm that computes a basis for the relations once the module and points are given numerically.
  • The same linear-algebraic reduction could be tested on other function-field objects such as t-modules to see whether a comparable bound appears.
  • The size bound supplies a new way to control the height of dependent points when studying the distribution of rational points on Drinfeld modules.

Load-bearing premise

That the given points and the Drinfeld module data determine an explicit linear system over F_q[t] whose solutions are exactly the linear relations among the points.

What would settle it

A concrete Drinfeld module E over some L together with points in E(L) for which a linear relation among the points fails to solve the constructed system, or for which a solution to the system fails to give a linear relation.

read the original abstract

Let $L$ be a finite extension of the rational function field over a finite field $\mathbb{F}_q$ and $E$ be a Drinfeld module defined over $L$. Given finitely many elements in $E(L)$, this paper aims to prove that linear relations among these points can be characterized by solutions of an explicitly constructed system of homogeneous linear equations over $\mathbb{F}_q[t]$. As a consequence, we show that there is an explicit upper bound for the size of the generators of linear relations among these points. This result can be regarded as an analogue of a theorem of Masser for finitely many $K$-rational points on an elliptic curve defined over a number field $K$.

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 proves that for a Drinfeld module E defined over a finite extension L of F_q(t), and given finitely many points in E(L), the A-linear relations (A = F_q[t]) among these points are precisely the solutions over F_q[t] to an explicitly constructed homogeneous linear system whose matrix entries are built from the coefficients of the Drinfeld module endomorphisms and a basis of L over F_q(t). As a consequence, the relation module is free of rank at most the number of points and admits generators whose degrees are bounded explicitly by the degree of a maximal minor (via the effective Nullstellensatz over a PID). This is presented as a function-field analogue of Masser's theorem on linear relations among rational points on elliptic curves.

Significance. If the explicit matrix construction and the ensuing bound hold, the result supplies a concrete, computable method for determining the module of linear relations among points on Drinfeld modules. This strengthens the arithmetic toolkit for Drinfeld modules by providing an effective Nullstellensatz-type statement that does not rely on height bounds or non-explicit finiteness theorems, and it directly parallels the elliptic-curve case while remaining internal to the function-field setting.

minor comments (2)
  1. The abstract and introduction should explicitly state the rank of the relation module and the precise form of the degree bound (e.g., in terms of the degree of the determinant of a maximal minor) rather than referring only to 'an explicit upper bound'.
  2. Notation for the Drinfeld module action and the A-module structure on E(L) should be introduced once in §2 and used consistently; occasional switches between additive notation and module notation appear in the later sections.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity; explicit algebraic construction

full rationale

The derivation supplies an explicit matrix whose entries are built directly from the Drinfeld module endomorphism coefficients and a basis of L over F_q(t). The A-linear relations among the given points are defined to be precisely the F_q[t]-kernel of this matrix. Because A = F_q[t] is a PID, the solution module is free of rank at most n and any generating set has degree bounded by the determinant of a maximal minor (standard effective Nullstellensatz). This is a direct, parameter-free construction from the input data with no fitted quantities renamed as predictions, no self-definitional loops, and no load-bearing self-citations. The result is therefore self-contained against external algebraic facts.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

No free parameters, invented entities, or non-standard axioms are mentioned in the abstract; the result rests on the standard definition of Drinfeld modules and the algebraic properties of the function field L.

axioms (1)
  • domain assumption Drinfeld module E is defined over the finite extension L of F_q(t) with given points in E(L)
    Stated directly in the opening sentence of the abstract as the setting for the theorem.

pith-pipeline@v0.9.0 · 5630 in / 1253 out tokens · 26877 ms · 2026-05-24T14:40:35.223476+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

26 extracted references · 26 canonical work pages

  1. [1]

    G. W. Anderson, W. D. Brownawell and M. A. Papanikolas, Determination of the algebraic relations among special -values , Ann. Math. 160 , no.2, (2004), 237--313

    work page 2004

  2. [2]

    Bombieri and J

    E. Bombieri and J. Vaaler, On Siegel's lemma , Invent. Math. 73 (1983), 11-32

    work page 1983

  3. [3]

    L.\ Carlitz, On certain functions connected with polynomials in a Galois field, Duke Math. J. 1 (1935), no. 2, 137-168

    work page 1935

  4. [4]

    J. W. S. Cassels, An introduction to the geometry of numbers , Springer, Berlin G\"ottingen Heidelberg 1959

    work page 1959

  5. [5]

    C.-Y.\ Chang Linear relations among double zeta values in positive characteristic, Cambridge J. Math. 4 (2016), No. 3, 289-331

    work page 2016

  6. [6]

    With an appendix by B

    C.-Y.\ Chang and M.\ A.\ Papanikolas, Algebraic independence of periods and logarithms of Drinfeld modules. With an appendix by B. Conrad, J. Amer. Math. Soc. 25 (2012), 123-150

    work page 2012

  7. [7]

    Chang, M

    C.-Y. Chang, M. A. Papanikolas and J. Yu, An effective criterion for Eulerian multizeta values in positive characteristic , J. Eur. Math. Soc. (2) 45 , (2019), 405--440

    work page 2019

  8. [8]

    Denis, Géométrie diophantienne sur les modules de Drinfeld , The Arithmetic of Function Fields, de Gruyter, Berlin (1992)

    L. Denis, Géométrie diophantienne sur les modules de Drinfeld , The Arithmetic of Function Fields, de Gruyter, Berlin (1992)

    work page 1992

  9. [9]

    Denis, Hauteurs canoniques et modules de Drinfeld , Math

    L. Denis, Hauteurs canoniques et modules de Drinfeld , Math. Ann. 294 , (1992), 213-223

    work page 1992

  10. [10]

    V. G. Drinfeld, Elliptic modules , Math. USSR-Sb. 23 (1974), 561–592

    work page 1974

  11. [11]

    El-Guindy and M

    A. El-Guindy and M. A. Papanikolas Explicit formulas for Drinfeld modules and their periods , J. Number Theory 133 (6), 1864–1886 (2013)

    work page 2013

  12. [12]

    Gekeler, Zur Arithmetik von Drinfeld-Moduln , Math

    E.-U. Gekeler, Zur Arithmetik von Drinfeld-Moduln , Math. Ann. 262, 167–182 (1983)

    work page 1983

  13. [13]

    D.\ Goss, Basic structures of function field arithmetic , Springer-Verlag, Berlin, 1996

    work page 1996

  14. [14]

    112, 93–108 (2003)

    Y.\ Hamahata, The values of J-invariants for Drinfeld modules , manuscripta math. 112, 93–108 (2003)

    work page 2003

  15. [15]

    National Tsing Hua University (2020)

    S.-Y.\ Ho, A Bombieri-Vaaler-Masser Theorem for Drinfeld Modules , Master Thesis. National Tsing Hua University (2020)

    work page 2020

  16. [16]

    Kuan and Y.-H

    Y.-L. Kuan and Y.-H. Lin, Criterion for deciding zeta-like multizeta values in positive characteristic , Exp. Math. 25 (2016), no. 3, 246–256

    work page 2016

  17. [17]

    D. W. Masser, Linear relations on algebraic groups , New advances in transcendence theory (Durham, 1986), 248--262, Cambridge Univ. Press, Cambridge, 1988

    work page 1986

  18. [18]

    Mazur, Modular curves and the Eisenstein ideal , IHES Publ

    B. Mazur, Modular curves and the Eisenstein ideal , IHES Publ. Math. 47 , (1977), 33--186

    work page 1977

  19. [19]

    Merel, Bornes pour la torsion des courbes elliptiques sur les corpsde nombres , Invent

    L. Merel, Bornes pour la torsion des courbes elliptiques sur les corpsde nombres , Invent. Math. 124 , (1996), 437--449

    work page 1996

  20. [20]

    D.\ S.\ Thakur, Function field arithmetic, World Scientific Publishing, River Edge NJ, 2004

    work page 2004

  21. [21]

    J. L. Thunder, Siegel's lemma for function fields , Michigan Math. J. 42 (1995), no. 1, 147--162

    work page 1995

  22. [22]

    M. A. Papanikolas, Tannakian duality for Anderson-Drinfeld motives and algebraic independence of Carlitz logarithms , Invent. Math. 171 , no.1, (2008), 123--174

    work page 2008

  23. [23]

    Pál, On the torsion of Drinfeld modules of rank two , J

    A. Pál, On the torsion of Drinfeld modules of rank two , J. Reine Angew. Math. 640 ,(2010), 1–45

    work page 2010

  24. [24]

    Poonen, Local height functions and the Mordell-Weil theorem for Drinfeld modules , Compositio Math

    B. Poonen, Local height functions and the Mordell-Weil theorem for Drinfeld modules , Compositio Math. 97 , (1995), 349-368

    work page 1995

  25. [25]

    Poonen, Torsion in rank 1 Drinfeld modules and the uniform boundedness conjecture , Math

    B. Poonen, Torsion in rank 1 Drinfeld modules and the uniform boundedness conjecture , Math. Ann. 308 , (1997), 571-586

    work page 1997

  26. [26]

    Yu, Analytic homomorphisms into Drinfeld modules, Ann

    J. Yu, Analytic homomorphisms into Drinfeld modules, Ann. of Math. (2) 145 (1997), no. 2, 215--233

    work page 1997