Pith. sign in

REVIEW 3 major objections 4 minor 27 references

Rational torsion of generalised Drinfeld modular Jacobians of prime power level

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

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

Pith's one-line read For prime-power Drinfeld levels, rational torsion of the generalised Jacobian vanishes away from the primes dividing $q(q^2-1)$.

desk verdict The intended theorem may be true, but the injectivity proof only controls determinants modulo |p|, not modulo the order of C(p^r), so the main result is not established. read the letter →

arxiv 2412.14313 v2 pith:3SDLRT7J submitted 2024-12-18 math.NT

Mar Curcó-Iranzo This is my paper · ORCID
classification math.NT MSC 11G1814H4011G4511G1614G05
keywords generalisedJacobiansDrinfeldmodularcurvesrationalpointseta-quotientscuspidaldivisorclassgrouptorsionfunctionfields
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

This paper studies the rational torsion of the generalised Jacobian $J_0(\mathfrak{p}^r)_{\mathbf{m}}$ attached to the Drinfeld modular curve $X_0(\mathfrak{p}^r)$, where the modulus $\mathbf{m}$ is the sum of all cusps. The central claim is that for every odd prime $\ell$ not dividing $q(q^2-1)$, the $\ell$-primary rational torsion $J_0(\mathfrak{p}^r)_{\mathbf{m}}(K)[\ell^\infty]$ is trivial. The proof reduces the question to a boundary map $\delta$ from the rational cuspidal divisor group into a sum of residue-field tori and then shows $\delta$ is injective by an explicit matrix computation. If the paper's Conjecture C holds, the full rational torsion is exactly $r$ copies of $\mathbb{Z}/(q-1)\mathbb{Z}$. This gives the function-field analogue of the classical prime-power-level theorem for modular curves.

What carries the argument

The load-bearing object is the boundary map $\delta$ obtained from the exact sequence $0\to L_{\mathbf{m}}\to J_0(\mathfrak{n})_{\mathbf{m}}\to J_0(\mathfrak{n})\to 0$; it sends a torsion class to $\bigoplus_{i=0}^{r-1} K(P_i)^\times\otimes \mathbb{Q}/\mathbb{Z}$ by evaluating a function whose divisor represents the class at the cuspidal points $P_i$. After removing torsion units, $\delta$ takes values in a lattice generated by $\mathfrak{p}$ in each residue field, so it is represented by an $r\times r$ integer matrix $M_\delta$ built from exponents of the Drinfeld discriminant quotients $\Delta_m$ at the cusps. The determinant is shown to be nonzero: row and column reductions put $M_\delta$ into a Hessenberg form, and the Hessenberg determinant recurrence gives $\det(M_\delta^h)=\pm1+|\mathfrak{p}|f(|\mathfrak{p}|)$ for some $f\in\mathbb{Z}[x]$, which cannot vanish because $|\mathfrak{p}|\ge q\ge 3$.

What would settle it

Independently compute the determinant of the Section 5 matrix $M_\delta$ for one fixed monic irreducible $\mathfrak{p}$ and one $r\ge7$ using the appendix exponents; the theorem requires $\det(M_\delta^h)=\pm1+|\mathfrak{p}|f(|\mathfrak{p}|)$ with $|\mathfrak{p}|\ge3$, so a determinant divisible by $|\mathfrak{p}|$ would disprove injectivity. At the arithmetic level, exhibiting an odd prime $\ell\nmid q(q^2-1)$ and a nonzero class in $J_0(\mathfrak{p}^r)_{\mathbf{m}}(K)[\ell^\infty]$ would also falsify the theorem.

Watch

Extended reading notes

Core claim

The paper establishes that for a monic irreducible $\mathfrak{p}\in\mathbb{F}_q[T]$ and any positive integer $r$, every odd prime $\ell$ with $\ell\nmid q(q^2-1)$ contributes no rational torsion to the generalised Jacobian of $X_0(\mathfrak{p}^r)$ with cuspidal modulus: $J_0(\mathfrak{p}^r)_{\mathbf{m}}(K)[\ell^\infty]=0$. The mechanism is to prove that the natural boundary map $\delta$ from torsion to $\bigoplus_{i=0}^{r-1} K(P_i)^\times\otimes \mathbb{Q}/\mathbb{Z}$ is injective on the rational cuspidal subgroup $C(\mathfrak{p}^r)$, after quotienting out roots of unity. The proof uses the basis of $C(\mathfrak{p}^r)$ supplied by [10] and represents $\delta$ by an explicit $r\times r$ matrix $M_\delta$ whose entries are exponents of $\mathfrak{p}$ appearing in $\Delta$-quotients at the cusps. Since a known result [11] identifies $C(\mathfrak{p}^r)[\ell^\infty]$ with $J_0(\mathfrak{p}^r)(K)_{\mathrm{tors}}[\ell^\infty]$ for primes $\ell\nmid q(q-1)$, this injectivity kills the $\ell$-primary part for the allowed $\ell$. Conditional on Conjecture C, the residue-field terms each contribute $\mathbb{Z}/(q-1)\mathbb{Z}$, yielding $\prod_{i=0}^{r-1}\mathbb{Z}/(q-1)\mathbb{Z}$ as the full torsion group.

Load-bearing premise

The proof inherits, without deriving it in the Drinfeld setting, the explicit formula for the boundary map $\delta$ (Lemma 3.1, transferred from [25]) and the exact sequence it comes from; if that formula or the exact sequence is wrong, every matrix entry in Section 5 changes and the injectivity conclusion no longer follows.

Editorial extensions

If this is right

  • For level $\mathfrak{p}^r$, rational $\ell$-torsion of the cuspidal generalised Jacobian is confined to primes dividing $q(q^2-1)$; in particular, the semi-abelian part contributes nothing for the allowed primes.
  • If Conjecture C holds, the whole rational torsion group is finite of order $(q-1)^r$ and is isomorphic to $\prod_{i=0}^{r-1}\mathbb{Z}/(q-1)\mathbb{Z}$.
  • The determinant criterion gives an effective check: injectivity of $\delta$ on $C(\mathfrak{p}^r)$ is equivalent to $\det M_\delta\neq 0$, so the same matrix computation can be reused for other moduli or other base fields.
  • Together with the equality stated in [11], the theorem completes the function-field analogue of the classical prime-power-level torsion theorem, with $q(q^2-1)$ playing the role of the exceptional prime set in the classical case.

Reading between the lines

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

  • Not in the paper: once Conjecture C is settled for primes dividing $q(q^2-1)$, the same degeneration sequence would pin down the full torsion group, so any counterexample to the conjecture would have to live in those exceptional primes.
  • Not in the paper: the block structure of the exponent table suggests the method could extend from prime-power level to composite levels if an explicit basis of the rational cuspidal divisor group analogous to the one used here is constructed.
  • Not in the paper: because the determinant has the form $\pm1+|\mathfrak{p}|f(|\mathfrak{p}|)$, the injectivity claim is a statement about the integers $q$ and $|\mathfrak{p}|$; it could be tested computationally for many small primes without computing the Jacobian itself.
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.

Referee Report

3 major / 4 minor

Summary. The paper studies the rational torsion of the generalised Drinfeld modular Jacobian J_0(p^r)_m for a cuspidal modulus m, where p is a monic irreducible element of A=F_q[T]. The main result, Theorem 1.3, claims that for every odd prime ell not dividing q(q^2-1), the ell-primary part J_0(p^r)_m(K)[ell^infinity] is trivial, and that, assuming Conjecture C, the full rational torsion is isomorphic to r copies of Z/(q-1)Z. The proof reduces the problem, using Ho's description of C(p^r), Gekeler's residue-field computations, and a transfer argument from Yamazaki-Yang, to the injectivity of a boundary map delta restricted to C(p^r). The final section represents delta|C(p^r) by an r x r integer matrix M_delta and attempts to prove injectivity by showing that det(M_delta) is nonzero.

Significance. If the main theorem is correct, it gives a clean function-field analogue of Yamazaki-Yang's classical result: for prime-power Drinfeld level, rational torsion of the cuspidal generalised Jacobian is concentrated in primes dividing q(q^2-1), and the full torsion is predicted by Conjecture C. The paper makes a genuine structural contribution by expressing delta on Ho's explicit basis of C(p^r) and reducing the problem to a concrete matrix computation. The reliance on independent external results by Gekeler, Ho, and Yamazaki-Yang is transparent, and no free parameters are fitted to force the conclusion. However, the proof of the decisive injectivity statement is incomplete in the present version, and the matrix argument as written does not establish the claimed theorem.

major comments (3)
  1. [Section 5, Proposition 5.9] The proof of injectivity of delta|C(n) is not complete. For a homomorphism from a finite abelian group C to (Q/Z)^r, injectivity is not implied by the nonvanishing of an integer matrix determinant over Q; one needs control modulo every prime dividing the exponent of C, for example injectivity of the induced map on ell-torsion for each such ell. Corollary 5.10 only proves det(M_h^delta) = +/-1 + |p| f(|p|) is nonzero, which gives information modulo |p| but none modulo the primes dividing M(p) or N(p). These primes can occur in the exponent without dividing q(q^2-1); for instance q=2 and deg(p)=3 give |p|=8 and M(p)=21, so ell=7 divides |C(p^r)| for r>=2, while 7 does not divide q(q^2-1)=6. The unconditional statement of Theorem 1.3 therefore requires delta-injectivity on such ell-primary parts, and the congruence det = +/-1 mod |p| gives no control there. Theorem 5.3 does not follow from the determinant computation as written; a stronger statement such as det coprime to |p|^r M(p)N(p), or an equivalent Smith-normal-form computation, is needed.
  2. [Section 5, Proposition 5.9] The Hessenberg induction is applied to a matrix that is not Hessenberg. In the proof of Proposition 5.9, the author sets M := M_h^delta and considers the upper-left n x n blocks M(n) of M. But the matrix M_h^delta displayed in Claim 5.5 has first row (0,1,...,1), so its upper-left blocks have nonzero entries above the superdiagonal and do not satisfy the hypothesis of Theorem 5.8. The Hessenberg structure is only obtained for the (r-1)x(r-1) submatrix after deleting the last row and the first column and then moving the first row to the bottom; this is not the matrix used in the induction on M(n). Consequently the formula det(M(n)) = 1 + |p| f_n(|p|) is not justified, and Proposition 5.9 lacks a valid proof in the present version.
  3. [Section 3, Eq. (4) and Lemma 3.1] The exact sequence (4) and the explicit formula for delta in Lemma 3.1 are the foundation for all matrix computations in Section 5, but they are asserted rather than derived in the Drinfeld setting. Moreover, Eq. (4) writes the target as the direct sum of K(P_i)_tors tensor Q/Z, whereas Lemma 3.1 and the surrounding text use K(P_i)^x tensor Q/Z. Since Proposition 3.2 and every entry of M_delta depend on this transfer, the proof needs either a derivation of (4) and Lemma 3.1 adapted to Drinfeld modular curves or a precise reference that covers this exact situation.
minor comments (4)
  1. [Abstract] The word 'stablish' should be 'establish'.
  2. [Section 3, Eq. (4) and Remark 3.6] Equation (4) omits the superscript in K(P_i)^x tensor Q/Z, and Remark 3.6's statement 'ker(delta|C(n)) = ker(delta|C(n))' does not distinguish delta from the factorised map delta-bar; this makes the reduction harder to follow.
  3. [Section 5, Step 1 and Claim 5.4] Notation such as 'floor(r-3/2)' is ambiguous and should be written as floor((r-3)/2) or an equivalent explicit expression.
  4. [Section 5, Claim 5.4 proof] In the proof of Claim 5.4 the symbol p_k appears where |p|^k is evidently intended; this should be corrected throughout the displayed computation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation rests on independent external inputs and no fitted parameter is renamed as a prediction.

full rationale

The paper's proof chain is self-contained in the sense relevant to a circularity audit. The target result Theorem 1.3 is obtained from the exact sequence (4) for generalized Jacobian torsion, the boundary formula of Lemma 3.1 attributed to Yamazaki–Yang [25, Lemma 2.3.1], Ho's theorem [11, Thm 1.7] identifying C(p^r)[ell^infty] with J0(p^r)(K)_tors[ell^infty], the Gekeler/Hayes description of residue fields in Theorem 2.5, and Ho's explicit cyclic decomposition of C(p^r) in Theorem 2.8. None of these inputs assumes the desired vanishing of J0(p^r)_m(K)[ell^infty] or the claimed torsion structure. The paper then computes delta-images of the independent generators using modular-unit formulas (Propositions 3.2 and 4.3) and proves a determinant statement (Proposition 5.9). The conditional statement under Conjecture C is explicitly conditional and is not used to derive the unconditional ell-primary vanishing. The only self-citation, reference [12], appears in a historical survey sentence and is not load-bearing. The possible gap between nonsingularity over Q and injectivity of delta on the finite group C(n), namely that Proposition 5.9 only gives det = ±1 mod |p| while C(n) has primes dividing M(p) (for example ell=7 for q=2, deg p=3), is a correctness or rigor concern, not a circularity: it does not make the theorem an input by construction.

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

The paper introduces no new geometric entities, particles, forces, or fitted constants. Its central claim rests on a chain of external theorems from Ho, Gekeler, and Yamazaki-Yang, plus a lengthy case computation of determinant entries. The main unverified internal step is the precise application of the Hessenberg determinant recurrence in Proposition 5.9.

assumptions (6)
  • domain assumption Ho's comparison C(p^r)[ℓ^∞] = J0(p^r)(K)_tors[ℓ^∞] for ℓ not dividing q(q-1), cited as Theorem 2.1 from [11, Theorem 1.7].
    This reduces rational torsion outside q(q-1) to the cuspidal subgroup, a load-bearing external input.
  • domain assumption Ho's cyclic decomposition of C(p^r) with explicit generators and orders, cited as Theorem 2.8 from [10, Theorem 3.5].
    The matrix representation of δ in Section 5 is built from these generators, so the proof depends on this external structure theorem.
  • domain assumption Gekeler's description of cusp residue fields K(P_i) = K^+_{p^{min(i,r-i)}}, cited as Theorem 2.5 from [5] and [21].
    This determines the multiplicative torsion K(P_i)^×_tors ≃ F_q^× used in the exact sequence for the generalized Jacobian.
  • domain assumption Explicit boundary map formula in Lemma 3.1, imported from Yamazaki-Yang [25, Lemma 2.3.1].
    All explicit images δ(D) in Proposition 4.3 come from this formula; the paper does not derive it.
  • standard math Gekeler's product expansion for the Drinfeld discriminant function, cited as [4].
    The product expansion is used in Proposition 3.2 to compute leading coefficients at cusps.
  • standard math Cahill, D'Errico, Narayan and Narayan Hessenberg determinant recurrence, cited as Theorem 5.8 from [17].
    The determinant nonvanishing argument for the δ-matrix relies on this standard linear algebra recurrence.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Rational torsion of generalised Drinfeld modular Jacobians of prime power level." pith.science (2026). https://pith.science/paper/3SDLRT7J

@misc{pith2026241214313,
  author       = {Pith},
  title        = {Pith review of: Rational torsion of generalised Drinfeld modular Jacobians of prime power level},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3SDLRT7J}},
  note         = {Machine review of arXiv:2412.14313}
}
abstract

For a prime $\mathfrak{p} \subseteq \mathbb{F}_{q}[T]$ and a positive integer $r$, we consider the generalised Jacobian $J_{0}(\mathfrak{n})_{\mathbf{m}}$ of the Drinfeld modular curve $X_{0}(\mathfrak{n})$ of level $\mathfrak{n}=\mathfrak{p}^r$, with respect to the modulus~$\mathbf{m}$ consisting of all cusps on the modular curve. We show that the $\ell$-primary part of the group $J_{0}(\mathfrak{n})_{\mathbf{m}}(\mathbb{F}_{q}(T))_{\rm{tor}}[\ell^{\infty}]$ is trivial for all primes $\ell$ not dividing $q(q^{2}-1)$. Our results establish a function field analogue to those of Yamazaki--Yang for the classical case.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    S.-Y. K. H. C. Armana and M. Papikian. Ogg’s conjectures over function fields.arXiv preprint: https://arxiv.org/abs/2410. 05502, 2024

    work page 2024

  2. [2]

    K. Conrad. Carlitz extensions. https://kconrad.math.uconn.edu/blurbs/gradnumthy/carlitz.pdf

    work page

  3. [3]

    V . G. Drinfeld. Two theorems on modular curves.Funktsional’nyi Analiz i ego Prilozheniya, 7(2):83–84, 1973

    work page 1973

  4. [4]

    E.-U. Gekeler. A product expansion for the discriminant function of Drinfeld modules of rank two.J. Number Theory, 21(2):135– 140, 1985

    work page 1985

  5. [5]

    E.-U. Gekeler. On the Drinfeld discriminant function. Compositio Math., 106(2):181–202, 1997

    work page 1997

  6. [6]

    E.-U. Gekeler. A note on the finiteness of certain cuspidal divisor class groups.Israel Journal of Mathematics, 118:357–368, 2000

    work page 2000

  7. [7]

    E.-U. Gekeler. Invariants of some algebraic curves related to Drinfeld modular curves.Journal of Number Theory, 90(1):166–183, 2001

    work page 2001

  8. [8]

    Gekeler and U

    E.-U. Gekeler and U. Nonnengardt. Fundamental domains of some arithmetic groups over function fields. International Journal of Mathematics, 6(5):689–708, 1995

    work page 1995

Show all 27 references
  1. [9]

    D. R. Hayes. Explicit class field theory for rational function fields.Transactions of the American Mathematical Society, 189:77–91, 1974

    1974

  2. [10]

    S.-Y. K. Ho. On the rational cuspidal divisor class groups of Drinfeld modular curves X0(pr). International Journal of Number Theory, 20(8):2099–2123, 2024

    2024

  3. [11]

    S.-Y. K. Ho. The rational torsion subgroup ofJ0(pr). Research in the Mathematical Sciences, 11(4), 2024

    2024

  4. [12]

    M. C. Iranzo. Rational torsion of generalised modular jacobians of odd level.Research in the Mathmetical Sciences, 12(11), 2025

    2025

  5. [13]

    B. W . Jordan, K. A. Ribet, and A. J. Scholl. Modular curves and Néron models of generalized Jacobians.Compositio Mathematica, 160(5):945–981, 2024

    2024

  6. [14]

    Lang and A

    S. Lang and A. Néron. Rational points of abelian varieties over function fields. American Journal of Mathematics , 81:95–118, 1959

    1959

  7. [15]

    J. I. Manin. Parabolic points and zeta-functions of modular curves. Mathematics of the USSR-Izvestiya, 6(1):19, 1972

    1972

  8. [16]

    B. Mazur. Modular curves and the Eisenstein ideal. Publications Mathématiques de l’Institut des Hautes Études Scientifiques , 47(1):33–186, 1977

    1977

  9. [17]

    D. A. N. Nathan D. Cahill, John R. D’Errico and J. Y. Narayan. Fibonacci determinants. The College Mathematics Journal , 33(3):221–225, 2002

    2002

  10. [18]

    A. P . Ogg. Diophantine equations and modular forms.Bulletin of the American Mathematical Society, 81(1):14–27, 1975

    1975

  11. [19]

    M. Ohta. Eisenstein ideals and the rational torsion subgroups of modular Jacobian varieties. Journal of the Mathematical Society of Japan, 65(3):733–772, 2013

    2013

  12. [20]

    A. Pál. On the torsion of the Mordell-Weil group of the Jacobian of Drinfeld modular curves. Documenta Mathematica, 10:131– 198, 2005

    2005

  13. [21]

    Papikian and F .-T

    M. Papikian and F .-T . Wei. On the Eisenstein ideal over function fields.Journal of Number Theory, 161:384–434, 2016

    2016

  14. [22]

    Rosenlicht

    M. Rosenlicht. Generalized jacobian varieties. Annals of Mathematics, pages 505–530, 1954

    1954

  15. [23]

    Serre.Groupes algébriques et corps de classes, volume VII ofPublications de l’Institut de Mathématique de l’Université de Nancago

    J.-P . Serre.Groupes algébriques et corps de classes, volume VII ofPublications de l’Institut de Mathématique de l’Université de Nancago. Hermann, Paris, 1959

    1959

  16. [24]

    Wei and T

    F .-T . Wei and T . Yamazaki. Rational torsion of generalized Jacobians of modular and Drinfeld modular curves. InForum Mathe- maticum, volume 31, pages 647–659. De Gruyter, 2019

    2019

  17. [25]

    Yamazaki and Y

    T . Yamazaki and Y. Yang. Rational torsion on the generalized Jacobian of a modular curve with cuspidal modulus. Documenta Mathematica, 21, 2016

    2016

  18. [26]

    H. Yoo. The rational cuspidal divisor class group of X0(N). arXiv preprint: https://arxiv.org/abs/1908.06411, 2019

    1908 arXiv

  19. [27]

    H. Yoo. The rational torsion subgroup of J0(N). Advances in Mathematics, 426(109111):30, 2023. Email address: m.curcoiranzo@uu.nl MATHEMATICAL INSTITUTE , UTRECHT UNIVERSITY , PO BOX 80010, 3508 TA, UTRECHT , THE NETHERLANDS

    2023

Pith tools

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