Rational cuspidal divisor class conjecture for modular curves

Let NN be a positive integer. Let X0(N)X_0(N) be the modular curve of level NN, let J0(N)J_0(N) be its Jacobian, and let CN(Q)C_N(\mathbb{Q}) be its rational cuspidal subgroup. Let C(N)C(N) be the subgroup formed by equivalence classes of Q\mathbb{Q}-rational divisors in CN(Q)C_N(\mathbb{Q}), equivalently the divisor classes fixed by the absolute Galois group of Q\mathbb{Q}. Rational cuspidal groups conjecture. For every positive integer NN,

CN(Q)=C(N).C_N(\mathbb{Q})=C(N).

The claim compares rational cuspidal points with classes represented by rational cuspidal divisors. The supplied source gives no resolution status for this further conjecture.

Sources & referencesView supporting material

Primary source

Mar Curcó-Iranzo, “Rational torsion of generalised Drinfeld modular Jacobians of prime power level”, arXiv:2412.14313 (2025).

Additional references

2 papers in this index state this conjecture (2019–2024). The statement above is taken from the most recent of them; the others are arXiv:1908.06411.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.