Pith. sign in

REVIEW 2 major objections 5 minor 1 cited by

Modular Units on $X_{1}( p)$ and Quotients of the Cuspidal Group

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

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

Pith's one-line read This paper proves that the p-2 functions G0,...,G_{n-1},H1,...,H_{n-1} form a basis for modular units on X1(p) modulo constants, making cuspidal group computation a linear-algebra exercise.

desk verdict Solid explicit basis for modular units on X1(p); the main theorem holds, but Proposition 19's cohomology step is a real gap that the rational-cuspidal claims ride on. read the letter →

arxiv 2502.04084 v1 pith:3VFTNP73 submitted 2025-02-06 math.NT

Elvira Lupoian This is my paper · ORCID
classification math.NT MSC 11G1611G18
keywords modularunitscuspidalgroupSiegelfunctionscurvesX1(p)classnumberJacobianSmithnormalform
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 an explicit basis for the group of modular units on X1(p), for prime p≥5: with n=(p-1)/2, the p-2 functions G0,...,G_{n-1},H1,...,H_{n-1} generate the group up to constants. Since modular units are precisely the functions whose zeroes and poles lie on the cusps, a basis converts the problem of computing the cuspidal group C1(p), the subgroup of the Jacobian generated by differences of cusps, into a Smith normal form computation for a divisor matrix. The paper also gives explicit bases for the subgroups of units whose divisors are supported on the rational cusps and of units with Galois-fixed divisors, and proves these two subgroups are equal to the rational cuspidal subgroup. A reader should care because, despite the cuspidal class number being known, the additive structure of the cuspidal group had remained largely inaccessible computationally; this basis makes it concrete.

What carries the argument

The load-bearing construction is a fixed integer α of multiplicative order p-1 modulo p, which labels the 2n cusps of X1(p) as P_i=α^i/p and Q_i=p/α^i, for 0≤i<n, and defines the Siegel-function products E_i=∏_{j=0}^{p-2} g_{α^i/p,α^j/p} and F_i=g_{0,α^i/p}. Products f=∏ $E_i^{{e_i}}$ $F_i^{{f_i}}$ are modular units on X1(p) exactly when the exponents satisfy three congruence conditions (Proposition 9). The proof of the basis factors the divisor matrix as M=AB; the determinant of B is evaluated through circulant-matrix eigenvalue calculations using Bernoulli numbers B_{2,χ}, and |det M|=$p^{2}$|∏ B_{2,χ}|^2 is matched with the known cuspidal class number.

What would settle it

For a specific prime, such as p=11, compute the Smith normal form of the integer matrix whose columns are the divisors of G0,...,G_{n-1},H1,...,H_{n-1}; the invariant factors must reproduce C1(11)≈Z/25Z. An independent computation of the cuspidal group by another method returning a different group for any prime would refute Theorem 1.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1: the p-2 functions G0,...,G_{n-1},H1,...,H_{n-1}, constructed as products of Siegel functions attached to a primitive root α modulo p, form a basis for F(p)/C^×, the group of modular units on X1(p) modulo constants. The proof computes the determinant of the matrix representing the divisors of these functions and shows it equals the known cuspidal class number h1(p)= (p ∏_χ (1/4) B_{2,χ})^2, where χ runs over even nonprincipal Dirichlet characters modulo p. Thus the index of the subgroup generated by these divisors in the degree-zero cuspidal divisor group is exactly the order of the cuspidal group, so the listed functions cannot form a proper sublattice. The paper further proves bases for F^∞(p) (divisors supported on the rational cusps) and F^Q(p) (Galois-fixed divisors), and shows the corresponding quotient groups all coincide with the rational cuspidal subgroup C1(p)(Q).

Load-bearing premise

The proof rests on a previously established formula for the size of the cuspidal group: if that formula were incorrect, the equal-index argument would not show that the constructed functions span all modular units.

Editorial extensions

If this is right

  • Computing the abstract structure of C1(p) for a given prime reduces to taking the Smith normal form of an integer matrix of size p-2 whose entries are the orders of vanishing of the explicit basis functions at the cusps.
  • The rational cuspidal subgroup is generated by differences of the rational cusps P0,...,P_{n-1}, so its structure is accessible through the smaller basis I1,...,I_{n-1}.
  • Explicit formulae are obtained for the orders of [P0-Q0] and [P0-P_{n-1}] in J1(p), two elements that appeared as the largest cyclic factors in the computed examples.
  • Any choice of p-2 functions from the 2n candidates that includes G_{n-1} and H_{n-1} is still a basis, giving flexibility in presentations.
  • The computed tables give the full decomposition of C1(p) and C1(p)(Q) for every prime 11≤p≤997.

Reading between the lines

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

  • The circulant structure of the divisor matrix suggests the same explicit-basis strategy could extend to prime powers p^n or other congruence subgroups, provided a cuspidal class number formula is available; the paper does not claim such an extension.
  • The numerical prominence of [P0-Q0] and [P0-P_{n-1}] as generators hints that a structural theorem about which cusp differences generate large factors of C1(p) may be waiting; that would be a natural follow-up.
  • One immediate testable consequence of the paper's method is that pushing the Smith normal form computation to primes above 997 should reproduce the known cuspidal class number formula exactly, and any discrepancy would signal either a flaw in the basis claim or a limitation of the numerical implementation.
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

2 major / 5 minor

Summary. Let p ≥ 5 be prime. The paper fixes a primitive root α modulo p, defines Siegel-function products E_i, F_i, and constructs explicit functions G_0, …, G_{n-1}, H_1, …, H_{n-1}. Theorem 1 claims that these p − 2 functions form a basis for the group F(p) of modular units on X_1(p) modulo constants. The proof builds the matrix of their divisors, computes its determinant by reducing to circulant matrices and Dirichlet-character eigenvalues, and matches it with the known cuspidal class number h_1(p) of Takagi and Yu. The paper then studies two subgroups: units whose divisors are supported on the rational cusps P_i (Theorem 2) and units with Galois-fixed divisors (Theorem 3). It asserts in Proposition 19 that C∞_1(p) = C^Q_1(p) = C_1(p)(Q), uses this to compute the rational cuspidal group for 11 ≤ p ≤ 997, and derives explicit formulas for the orders of P_0 − Q_0 and P_0 − P_{n−1}. The central, determinant-based argument for Theorem 1 is explicit and checkable; the later rational-subgroup and order computations depend on gaps identified below.

Significance. If Theorem 1 is correct, it is a valuable structural result: it provides a fully explicit basis for the modular units on X_1(p) and reduces the computation of the cuspidal group to the Smith normal form of an explicit divisor matrix. The determinant proof is concrete and uses the independent cuspidal class number formula as an external benchmark, so the argument is not circular. The manuscript also ships code and data for the cuspidal-group computations, which is a reproducible-evidence strength. The explicit bases for the P-supported and Galois-fixed unit groups, if fully justified, give practical access to the rational cuspidal group for large p. However, the later claims about C_1(p)(Q) and the order formulas rely on an unproved cohomological vanishing assertion and on an incomplete integrality argument, so the significance of those sections is conditional on repairs.

major comments (2)
  1. [§8.2, Proposition 23] The equality C^Q_1(p) = C_1(p)(Q) rests on the asserted equality {D ∈ div(F(p)) : N D = 0} = (1 − σ) div(F(p)). The sentence 'this is clear since the Galois action fixes the Pi and permutes the Qi cyclically' is not a proof. For a proper finite-index Galois-stable sublattice M of a permutation lattice, the norm-kernel in M can be strictly larger than (1 − σ)M, so the vanishing of H^1(G, M) has to be verified for this particular M, not for the ambient lattice. In addition, the displayed cohomology sequence omits the term H^1(G, Div_c(p)); that term is zero because Div_c(p) is a permutation lattice, but this should be stated. Since Theorem 1 gives an explicit basis for div(F(p)), the required equality can be checked by an explicit finite computation, for example by putting the Z[G]-module generated by the columns of the divisor matrix into a form that exhibits the norm-kernel and (1 − σ)M. This is load-bearing: Proposition 19 is what identifies Tables 2–3 and the Section 8 order-of-P_0 − P_{n−1} computation with the rational cuspidal group, so the gap needs a complete repair rather than a stylistic revision.
  2. [§8.2, Proposition 23] The proof that every f ∈ F^∞(p) has integer exponents in its E_i-product is not complete. The argument writes f = (f~)^{1/n} with f~ a product of the E_i with integer exponents and then invokes 'Ogg's lemma from [17, Section 4]' without stating the lemma or checking its hypotheses. The passage from an nth root with bounded-denominator Fourier coefficients to integrality of the exponents is exactly the point at issue. This integrality is used in Proposition 24 and hence in Proposition 25, the formula for the order of P_0 − P_{n−1}; a failure here would invalidate that formula. The paper can repair this either by stating and proving the invoked lemma in the present setting, or by deriving the statement from the explicit basis of Theorem 2, since each basis element I_j is expressed with integer E_i-exponents and the final I_{n−1} has the same property.
minor comments (5)
  1. [§6.1] In the displayed formula for ord_{P_k}(f_i), the argument of the third Bernoulli polynomial appears as B_2({α^{i+k}/2}); the denominator should presumably be p, matching the surrounding terms. Please correct this typo.
  2. [§7.2] In the paragraph discussing p = 37, the line 'C1(11)(Q) = ⟨[D′]⟩' should almost certainly read 'C1(37)(Q) = ⟨[D′]⟩'; as written it is inconsistent with the surrounding examples.
  3. [§5] The determinant calculation for the matrix B would be much easier to check if the authors stated the dimensions of A and B, the ordering of the rows corresponding to the cusps P_0,…,P_{n−1}, Q_0,…,Q_{n−2}, and the ordering of the columns corresponding to G_0,…,G_{n−1}, H_1,…,H_{n−1}. As printed, the block matrix requires a considerable amount of inference.
  4. [References] Reference [26] is listed as 'Modular Units and Cuspidal Divisor Class Groups of X1(N), 2007' without journal or article numbers; please supply the full bibliographic data.
  5. [Throughout] There are several typographical errors that should be fixed in revision, including 'divisor s' in the abstract, 'representaives' in Lemma 10, 'the the above inequalities' near the end of Section 6, and 'In this this section' at the start of Section 6.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the basis proof uses an external cuspidal class number formula as a yardstick, and later subgroup bases are checked against Yang's independent basis.

full rationale

The central derivation in Theorem 1 is not circular. The paper constructs explicit Siegel-function products, proves modularity via Proposition 9, computes the divisor matrix M for the proposed basis, and shows |det M| = h1(p), where h1(p) is the externally established cuspidal class number of Takagi and Yu. Since the lattice generated by the proposed basis is a sublattice of div(F(p)) of index h1(p) in Divc(p), and |Divc(p)/div(F(p))| = h1(p) by that external formula, the two lattices must coincide. This is a standard index argument that does not assume the basis result; it uses an independent benchmark. No fitted parameters are involved. Theorem 2 is verified by comparing the orders of vanishing of the newly constructed functions with those of Yang's basis, another external result, so it is not a renaming or a self-citation. Theorem 3 and Corollary 18 follow algebraically from the explicit basis and the divisor form imposed by Galois invariance. The one genuinely questionable step is Proposition 19, where the vanishing of H^1(G, div(F(p))) is reduced to the equality {D in div(F(p)) : N D = 0} = (1 - sigma) div(F(p)) and then asserted to be 'clear' from the cyclic Galois action; this is an unproved and potentially false step, and it does affect the later rational-cuspidal computations, but it is a correctness gap rather than a circularity, because it does not assume the conclusion it is meant to prove. There are no load-bearing self-citations, and no prediction is equivalent to its inputs by construction. The appropriate circularity score is therefore 0.

Assumptions & free parameters 1 free parameters · 5 assumptions · 0 invented entities

The ledger is light: there are no fitted constants. The central proof imports Kubert-Lang's description of Gamma(p)-units, the Takagi-Yu cuspidal class number as an external yardstick, and the Manin-Drinfeld setup. The only arbitrary choice is a primitive root alpha used to label cusps and functions. No new particles, forces, dimensions, or standalone entities are introduced; E_i, F_i, G_i, H_i, and I_i are explicit functions built from existing Siegel functions.

free parameters (1)
  • Primitive root alpha modulo p
    Every E_i, F_i, and cusp label uses an arbitrarily chosen integer whose reduction modulo p has order p-1. It is not fitted to data and the basis theorem is independent of the value, but the Section 8 formulas are written in terms of alpha.
assumptions (5)
  • domain assumption Kubert-Lang classification of modular units on X(N): every modular unit for Gamma(p) is, up to scaling, a product of Siegel functions satisfying four congruence conditions (Theorem 8).
    The paper's functions are built as products of Siegel functions and the completeness of such products for Gamma(p) is imported from Kubert and Lang [9].
  • domain assumption Cuspidal class number formula h1(p) = (p * product over even nonprincipal chi of (1/4) B_{2,chi})^2, attributed to Takagi and Yu (Theorem 14).
    Used to identify the determinant of the divisor matrix with the order of the cuspidal group, which is the yardstick that makes the basis proof complete.
  • standard math Manin-Drinfeld finiteness of the cuspidal group and injectivity of the divisor map for units modulo constants.
    Gives the setup C1(p)=Div_c(p)/div(F(p)) and the upper bound on the rank of F(p)/C.
  • domain assumption Canonical model of X1(p) over Q with the stated Galois action on cusps P_i and Q_i.
    The rational subgroup results and the identification of rational cusps rely on this model, following Shimura and Ogg.
  • domain assumption Guillot's cyclic group cohomology reduction: for a cyclic Galois group, H^1 vanishes when the norm kernel equals the image of 1-sigma.
    Proposition 19 invokes [8, Chapter 10] and asserts the norm identity for div(F(p)) is clear; this is the sketchiest external step.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Modular Units on $X_{1}( p)$ and Quotients of the Cuspidal Group." pith.science (2026). https://pith.science/paper/3VFTNP73

@misc{pith2026250204084,
  author       = {Pith},
  title        = {Pith review of: Modular Units on $X_1( p)$ and Quotients of the Cuspidal Group},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3VFTNP73}},
  note         = {Machine review of arXiv:2502.04084}
}
abstract

Modular units are functions on modular curves whose divisors are supported on the cusps. They form a free abelian group of rank at most one less than the number of cusps. In this paper we study the group of modular units on $X_{1}( p )$, with prime level $p \ge 5$. We give an explicit basis for this group and study certain rational subgroups of it. We use the basis to numerically investigate the structure of the cuspidal group of $X_{1}( p)$ and its rational subgroup. In the later stages of this paper we use our basis to determine a specific large quotient of the cuspidal group.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Bernoulli determinants and cuspidal subgroups

    math.NT 2026-07 accept novelty 6.0 of 10

    The order of the rational cuspidal class group of X_1(N) is given by an explicit product over even Dirichlet characters involving generalized Bernoulli numbers B_{2,χ}, valid for all N ≥ 5.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · cited by 1 Pith paper

  1. [1]

    9, 1997–2027

    Yuri Bilu and Pierre Parent, Runge’s method and modular curves , International Mathematics Research Notices 2011 (2011), no. 9, 1997–2027. 1

    work page 2011

  2. [2]

    , Serre’s uniformity problem in the split cartan case , Annals of Mathematics (2011), 569–584. 1

    work page 2011

  3. [3]

    8, 2255–2263

    Seng-Kiat Chua and San Ling, On the rational cuspidal subgroup and the rational torsion p oints of J0(pq), Proceedings of the American Mathematical Society 125 (1997), no. 8, 2255–2263. 1

    work page 1997

  4. [4]

    Maarten Derickx and Mark Van Hoeij, Gonality of the modular curve x1 (n) , Journal of Algebra 417 (2014), 52–71. 1

    work page 2014

  5. [5]

    F Diamond, A First Course in Modular Forms , Graduate Texts in Mathematics/Springer-Verlag 436 (2005). 2

    work page 2005

  6. [6]

    V. G. Drinfeld, Two theorems on modular curves , Funkcional. Anal. i Priložen. 7 (1973), no. 2, 83–84. MR 0318157 1, 5

    work page 1973

  7. [7]

    Benedict H Gross, Heegner points on X0(N ), Modular forms (Durham, 1983) (1984), 87–105. 1

    work page 1984

  8. [8]

    Pierre Guillot, A gentle course in local class field theory: local number field s, Brauer groups, Galois cohomology , Cambridge University Press, 2018. 6.3

    work page 2018

Show all 30 references
  1. [9]

    1, 3, 3.1, 3.1, 3.2

    Daniel S Kubert and Serge Lang, Modular units , Springer, 1981. 1, 3, 3.1, 3.1, 3.2

    1981

  2. [10]

    San Ling, On the Q-rational cuspidal subgroup and the component group of J0(pr), Israel Journal of Mathematics 99 (1997), 29–54. 1, 8.2

    1997

  3. [11]

    2, 149–172

    Dino J Lorenzini, Torsion points on the modular jacobian J0x(N ), Compositio Mathematica 96 (1995), no. 2, 149–172. 1

    1995

  4. [12]

    Ju. I. Manin, Parabolic points and zeta functions of modular curves , Izv. Akad. Nauk SSSR Ser. Mat. 36 (1972), 19–66. MR 0314846 1, 5

    1972

  5. [13]

    1, 33–186

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

    1977

  6. [14]

    1, 334–350

    Morris Newman, Construction and application of a class of modular function s, Proceedings of the London Math- ematical Society 3 (1957), no. 1, 334–350. 1, 3.1

    1957

  7. [15]

    3, 373–387

    , Construction and application of a class of modular function s (II) , Proceedings of the London Mathe- matical Society 3 (1959), no. 3, 373–387. 1

    1959

  8. [16]

    A. P. Ogg, Rational points on certain elliptic modular curves , Analytic number theory (Proc. Sympos. Pure Math., Vol. XXIV, St. Louis Univ., St. Louis, Mo., 1972), Ame r. Math. Soc., Providence, R.I., 1973, pp. 221–

    1972

  9. [17]

    Andrew P Ogg, Hyperelliptic modular curves, Bulletin de la Société Mathématique de France 102 (1974), 449–462. 8.2

    1974

  10. [18]

    3, 733–772

    Masami Ohta, Eisenstein ideals and the rational torsion subgroups of mod ular Jacobian varieties , Journal of the Mathematical Society of Japan 65 (2013), no. 3, 733–772. 1, 6.3

    2013

  11. [19]

    2, 273–318

    , Eisenstein ideals and the rational torsion subgroups of mod ular Jacobian varieties II , Tokyo Journal of Mathematics 37 (2014), no. 2, 273–318. 1

    2014

  12. [20]

    Jeremy Rouse and John J Webb, On spaces of modular forms spanned by eta-quotients , Advances in Mathematics 272 (2015), 200–224. 1

    2015

  13. [21]

    1, Princeton university press,

    Gor¯ o Shimura, Introduction to the arithmetic theory of automorphic funct ions, vol. 1, Princeton university press,

  14. [22]

    2, 348–374

    Toshikazu Takagi, Cuspidal class number formula for the modular curves X1(p), Journal of Algebra 151 (1992), no. 2, 348–374. 1, 5, 5

    1992

  15. [23]

    2, 515–549

    , The cuspidal class number formula for the modular curves X1(pm), Journal of Algebra 158 (1993), no. 2, 515–549. 1

    1993

  16. [24]

    4, 671–686

    , The cuspidal class number formula for the modular curves X1(3m), Journal of the Mathematical Society of Japan 47 (1995), no. 4, 671–686. 1

    1995

  17. [25]

    1, 180–213

    , The Cuspidal Class Number Formula for the Modular Curves X0(M )withMSquare-Free, Journal of Algebra 193 (1997), no. 1, 180–213. 1

    1997

  18. [26]

    1, 5, 5, 6.1

    Yifan Yang, Modular Units and Cuspidal Divisor Class Groups of X1(N ), 2007. 1, 5, 5, 6.1

    2007

  19. [27]

    1, 203–228

    Yifan Yang and Jeng-Daw Yu, Structure of the cuspidal rational torsion subgroup of J1(pn), Journal of the London Mathematical Society 82 (2010), no. 1, 203–228. 1

    2010

  20. [28]

    Hwajong Yoo, The rational cuspidal divisor class group of X0(N ), Journal of Number Theory 242 (2023), 278–

    2023

  21. [29]

    , The rational torsion subgroup of J0(N ), Advances in Mathematics 426 (2023), 109111. 1

    2023

  22. [30]

    1, 5, 5 Depar tment of Ma thema tics, University College London, Lon don, WC1H 0AY, UK Email address : e.lupoian@ucl.ac.uk 25

    Jing Yu, A cuspidal class number formula for the modular curves X1(N ), Yale University, 1980. 1, 5, 5 Depar tment of Ma thema tics, University College London, Lon don, WC1H 0AY, UK Email address : e.lupoian@ucl.ac.uk 25

    1980

Pith tools

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