REVIEW 3 major objections 4 minor 9 references
Computing the Level of a Fiber for Points on Modular Curves
T0 review · 3 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read The paper introduces a level of a fiber for points on modular curves and proves that, under certain conditions, one-step maximality of degree propagates to every higher level in the tower X_1(ℓ^n).
desk verdict Conditional rigidity theorem for degrees on X1(l^n) towers via a new 'level of fiber' invariant—plausible and worth a look, but the abstract hides the hypotheses and the definition, so the nontriviality can't be judged from here. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The key object is the newly defined level of a fiber of a closed point on X_1(ℓ^n), an invariant attached to the fiber of the forgetful map that records, at each ℓ-power level, how much of the Galois action is captured. It carries the argument by translating a question about degrees of fields of definition into a question about growth of these levels along the tower. The lifting step is the central mechanism: if the level rises maximally from k to k+1, the same mechanism used by Lang and Trotter for ℓ-adic Galois images forces the level to keep rising at every higher n.
What would settle it
Exhibit a point on X_1(ℓ^(k+1)) whose degree achieves the maximal value relative to its image on X_1(ℓ^k), but for which some lift to X_1(ℓ^n), n > k+1, has degree strictly smaller than the maximal value relative to its lower image. Concretely, one would compute, for an explicit elliptic curve with a rational ℓ-torsion point, the degrees of its ℓ^n-torsion field extensions and find the first n where the degree fails to reach the predicted index.
Extended reading notes
Core claim
The central claim is that degree growth in the tower of modular curves X_1(ℓ^n) is rigid once it reaches maximal size. For a closed point, the paper defines its fiber level—roughly, the least ℓ-power level at which the fiber's structure records the full Galois-enlargement pattern, analogous to the level of an ℓ-adic representation. Under the paper's conditions, maximality of the degree of a lift from X_1(ℓ^k) to X_1(ℓ^(k+1))—being as large as possible relative to the degree of the image on X_1(ℓ^k)—forces every further lift to X_1(ℓ^n), n > k, to have maximal possible degree. The proof transfers Lang and Trotter's lifting argument from images of ℓ-adic Galois representations to the fibers of
Load-bearing premise
The theorem assumes that the degree of a point on X_1(ℓ^k) is exactly what the associated mod ℓ^k Galois image dictates, so the maximum possible degree is the full index of that image; if accidental descent (extra automorphisms, CM, or already-present roots of unity) lowers that maximum, the one-step maximality check no longer controls the whole tower.
Editorial extensions
If this is right
- Checking maximality of degree at the single step k → k+1 determines maximality at every level n > k, so the infinite tower is governed by one computation.
- The growth of fields of definition in X_1(ℓ^n) becomes rigid: once a point's field reaches its largest possible degree, all higher lifts keep it there.
- The new fiber-level invariant gives a uniform language for comparing algebraic points at different levels of the tower.
- The Lang–Trotter lifting principle, originally for Galois representations, is shown to have a geometric counterpart for moduli fibers.
Reading between the lines
- If the conditions are satisfied broadly, the result gives an effective stopping rule: compute degrees only up to the first level where maximality appears, and the rest of the tower is known.
- The fiber-level definition may extend to other towers of moduli spaces, such as X_0(ℓ^n) or higher-dimensional Shimura varieties, where a similar lifting argument applies.
- A natural next step is a quantitative statement about how often the paper's hypotheses actually hold; without that, the non-vacuity of the result remains open.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript, as represented by the abstract, studies degrees of closed points on the modular curves X_1(ℓ^n) for a prime ℓ. It introduces a new invariant, the 'level of a fiber of a closed point,' in analogy with the level of an ℓ-adic Galois representation. The central theorem claims that, under certain unspecified conditions, if the degree of a point on X_1(ℓ^{k+1}) is as large as possible given the degree of its image on X_1(ℓ^k), then all its lifts on X_1(ℓ^n), n > k, also have degree as large as possible. The proof is said to be inspired by Lang-Trotter results on images of ℓ-adic Galois representations. The provided text consists only of the abstract; no definitions, hypotheses, proofs, or examples are available for inspection.
Significance. If the theorem is correct and its hypotheses are non-vacuous, the paper would establish a useful rigidity statement: maximality of the degree at one level of the ℓ-power tower would propagate to all higher levels, reducing an infinite family of computations to a single step. The Lang-Trotter-inspired method is a credible and standard approach in this area, and a well-chosen invariant could be of independent interest. However, because the central theorem is conditional on conditions that are not stated and the new invariant is not defined in the provided text, I cannot assess whether the result is non-vacuous, non-tautological, or technically sound. The significance is therefore conditional on the missing details being supplied and verified.
major comments (3)
- [Abstract] The theorem is stated as holding 'under certain conditions,' but no conditions are named. In the Lang-Trotter result invoked, the analogous propagation of fullness of Galois image requires an 'almost full' mod ℓ^{k+1} image. The transferred fiber statement must presumably inherit some such hypothesis. The manuscript must state the hypotheses explicitly and show that they are satisfiable in the intended applications (for example, by giving a non-vacuous example or citing a class of elliptic curves where they hold). As written, the theorem could be vacuous, and the reader cannot evaluate its scope.
- [Abstract] The 'level of a fiber of a closed point' is not defined in the provided text. Since the theorem's conclusion is phrased in terms of maximal degree, there is a risk that the new invariant is defined in such a way that the conclusion becomes a restatement of the definition. The manuscript must give a precise definition and prove the basic properties that make it a genuine invariant: independence of the chosen representative of the fiber, compatibility with the natural maps X_1(ℓ^m) → X_1(ℓ^n), and a clear relation to the Galois image of the corresponding elliptic curve. Without this, the central claim cannot be distinguished from a tautology.
- [Abstract] The phrase 'as large as possible given the degree of its image' requires a precise threshold. The threshold presumably depends on the base field, on the residual Galois image, and on whether the elliptic curve has CM, extra automorphisms, or base point already containing roots of unity. These degenerate cases can lower the maximal possible degree, and the abstract does not indicate how they are handled. This is load-bearing because accidental descent could make the implication vacuous or false. The full manuscript must specify the maximal-degree threshold and verify that the theorem covers (or explicitly excludes) all such cases.
minor comments (4)
- [Abstract] The abstract refers to 'work of Lang and Trotter' without a bibliographic citation. The final manuscript should cite the specific paper or theorem being used.
- [Abstract] The abstract says 'for a prime ℓ and arbitrary positive integer n,' but the theorem itself concerns n > k. Clarify the quantification.
- [Abstract] The natural map from X_1(ℓ^{k+1}) to X_1(ℓ^k) is not named. It should be identified as the forgetful map dropping the point of order ℓ^{k+1} to the point of order ℓ^k.
- [Abstract] The terms 'closed point' and 'degree' should be defined precisely, especially whether the degree is over the canonical field of moduli or over some base field that is fixed once and for all.
Circularity Check
No circularity found in the available text; unstated hypotheses affect scope, not circularity.
full rationale
The supplied text consists of the abstract only; no equations, definitions, or proof steps are available from which a circular reduction could be exhibited. The abstract introduces a new invariant, the 'level of a fiber of a closed point,' and states a theorem that if a point on X_1(ℓ^{k+1}) has maximal degree relative to its image on X_1(ℓ^k), then all higher lifts have maximal degree. This is a substantive rigidity claim, not a restatement of the definition: it asserts propagation across infinitely many levels, which requires argument. The paper explicitly cites Lang-Trotter as an external source of technique, not as a self-citation or as a substitute for proof. The phrase 'under certain conditions' is a scope qualifier; it may affect whether the theorem is vacuous or applicable, but it is not evidence that the conclusion is wired into the hypotheses. No fitted parameters, no data calibration, no imported 'uniqueness theorem' from the authors, and no renaming of a known result as organization are visible. Therefore, on the available evidence, the derivation chain is not circular. Any suspicion that the new 'level of a fiber' definition might be engineered to make the theorem tautological would require the full definitions and proof, which are absent here; per the instructions, circularity must not be manufactured from speculation.
Assumptions & free parameters
assumptions (4)
- domain assumption The standard parametrization of elliptic curves with a distinguished point of order N by the modular curve X1(N), with closed points of degree d corresponding to elliptic curves with a point of order N defined over a degree-d field.
- domain assumption The Lang-Trotter lifting principle: if the mod l^{k+1} image of an l-adic Galois representation is sufficiently large, then the mod l^n images are large for all higher n.
- domain assumption The field of definition of a point of order l^n is controlled by the associated mod l^n Galois representation and the cyclotomic character, so maximal degree is a computable index.
- ad hoc to paper The unstated 'certain conditions' under which the theorem holds are satisfiable in the intended applications; otherwise the theorem is vacuous.
invented entities (1)
-
The level of a fiber of a closed point on a modular curve
Cite this review
Pith. "Pith review of Computing the Level of a Fiber for Points on Modular Curves." pith.science (2026). https://pith.science/paper/ZQT3B6OQ
@misc{pith2026250817463,
author = {Pith},
title = {Pith review of: Computing the Level of a Fiber for Points on Modular Curves},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZQT3B6OQ}},
note = {Machine review of arXiv:2508.17463}
}
abstract
The modular curves in the family $X_1(N)$ for natural numbers $N$ parametrize elliptic curves over the complex numbers with a distinguished point of order $N$. The purpose of this paper is to better understand how to calculate the degrees of points on $X_1(\ell^n)$ for a prime $\ell$ and arbitrary positive integer $n$. In analogy with the definition of the level of a Galois representation, we construct a new definition: the level of a fiber of a closed point on a modular curve. Using this definition, we prove that, under certain conditions, if the degree of a point on $X_1(\ell^{k+1})$ is as large as possible given the degree of its image on $X_1(\ell^k),$ then its lifts on $X_1(\ell^n)$ have degree as large as possible for all $n > k$. We prove this result using techniques inspired by work of Lang and Trotter which gives a similar result for the image of $\ell$-adic Galois representations.
Reference graph
Works this paper leans on
-
[1]
Wieb Bosma, John Cannon, and Catherine Playoust, The M agma algebra system. I . T he user language , J. Symbolic Comput. 24 (1997), no. 3-4, 235--265, Computational algebra and number theory (London, 1993). MR1484478
1997
-
[2]
Abbey Bourdon, \" O zlem Ejder, Yuan Liu, Frances Odumodu, and Bianca Viray, On the level of modular curves that give rise to isolated j -invariants , Adv. Math. 357 (2019), 106824, 33
work page 2019
-
[3]
Abbey Bourdon and Filip Najman, Sporadic points of odd degree on X_1(N) coming from Q -curves , Preprint available at arxiv.org:2107.10909
-
[4]
F. Diamond and J. Shurman, A first course in modular forms, Graduate Texts in Mathematics, Springer, 2005
work page 2005
-
[5]
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
1983
-
[6]
S. Lang and H. Trotter, Frobenius distributions in gl2-extensions: Distribution of frobenius automorphisms in gl2-extensions of the rational numbers, Lecture Notes in Mathematics, Springer, 1976
work page 1976
-
[7]
The LMFDB Collaboration , The L -functions and modular forms database , https://www.lmfdb.org, 2023, [Online; accessed August 2023]
work page 2023
-
[8]
J.P. Serre, Abelian l -adic representations and elliptic curves: Mcgill university lecture notes, Mathematics lecture note series, W. A. Benjamin, 1968
work page 1968
Show all 9 references
-
[9]
Sutherland and David Zywina, Modular curves of prime-power level with infinitely many rational points, Algebra Number Theory 11 (2017), no
Andrew V. Sutherland and David Zywina, Modular curves of prime-power level with infinitely many rational points, Algebra Number Theory 11 (2017), no. 5, 1199--1229. 3671434
2017
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.