Abstract:For a fixed prime $p$ congruent to $1$ modulo $4$ we may define the modular curve $X_{H}\left( p \right)$ associated to the subgroup of non-zero squares modulo $p$. This curve has four cusps and we consider the subgroup of the Jacobian $J_{H}\left( p \right)$ of $X_{H}\left( p \right)$ generated by these points, which we will call the cuspidal subgroup of $J_{H}\left( p \right)$. This is a finite subgroup by the results of Manin and Drinfeld, and lies inside the $\mathbb{Q} \left( \sqrt{ p} \right)$-rational torsion subgroup. In this paper we compute the cuspidal subgroup for all such curves of genus $g$, $2 \leq g \leq 10$, namely those with $p \in \{ 29, 37, 41, 53, 61, 73 \}$, and compare this with $J_{H}\left( \mathbb{Q} \left( \sqrt{p} \right) \right)_{\text{tors}}$.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to calculate the cuspidal subgroup of the Jacobian variety $J_H(p)$ of a specific modular curve $X_H(p)$ and explore its relationship with the larger rational torsion subgroup. Specifically, for prime numbers $p\equiv1\ \text{mod}\ 4$, the author studies the cuspidal subgroup generated by the four cusps of the modular curve $X_H(p)$ and verifies whether these cuspidal subgroups are equal to the corresponding rational torsion subgroups. ### Main problem summary: 1. **Definition and background**: - For a fixed prime number $p\equiv1\ \text{mod}\ 4$, consider the modular curve $X_H(p)$, where $H$ is the subgroup consisting of non - zero square numbers modulo $p$. - This curve has four cusps. Consider the cuspidal subgroup $C_H(p)$ of the Jacobian variety $J_H(p)$ generated by these cusps. 2. **Known results**: - According to the theorems of Manin and Drinfeld, the cuspidal subgroup is a finite subgroup and is contained in the $\mathbb{Q}(\sqrt{p})$-rational torsion subgroup. 3. **Research objectives**: - Calculate the cuspidal subgroup $C_H(p)$ of a specific modular curve $X_H(p)$, where $p\in\{29, 37, 41, 53, 61, 73\}$. - Compare whether the cuspidal subgroup $C_H(p)$ and the $\mathbb{Q}(\sqrt{p})$-rational torsion subgroup $J_H(p)(\mathbb{Q}(\sqrt{p}))_{\text{tors}}$ of the Jacobian variety $J_H(p)$ are equal. ### Specific conclusions: - For the modular curve $X_H(p)$ with $2\leq g\leq10$, that is, $p\in\{29, 37, 41, 53, 61, 73\}$, the paper proves that: \[ C_H(p)(\mathbb{Q})=J_H(p)(\mathbb{Q})_{\text{tors}} \] and \[ C_H(p)\cong J_H(p)/\mathbb{Q}(\sqrt{p})_{\text{tors}}\cong(\mathbb{Z}/m\mathbb{Z}) \] where $m$ is the least common multiple of $n$ and the numerator of $\frac{p - 1}{12}$, and $n$ is a positive integer depending on the level $p$. ### Key formulas: - Structure of the cuspidal subgroup $C_H(p)$: \[ C_H(p)=\langle[c_2 - c_1], [c_3 - c_1], [c_4 - c_1]\rangle \] where $c_1, c_2, c_3, c_4$ are the four cusps of $X_H(p)$. Through the above research, the author verifies that for specific prime numbers $p$, the cuspidal subgroup is indeed equal to the corresponding rational torsion subgroup, thus providing an important basis for understanding the rational points of modular curves.

Computing the Cuspidal Subgroup of the Modular Jacobian $J_{H}\left( p \right)$

On the Cuspidal Cohomology of Arithmetic Groups

3-Torsion Subgroups of Jacobians of Plane Quartics

Toric ranks and component groups of modular curves

The Rational Torsion Subgroup of $J_0(\mathfrak{p}^r)$

Quadratic points on $X_0(163)$

Three-Torsion Subgroups and Conductors of Genus 3 Hyperelliptic Curves

Computing nonsurjective primes associated to Galois representations of genus $2$ curves

Computing Euler factors of genus 2 curves at odd primes of almost good reduction

Quotients of Jacobians

On the $2$-Selmer group of Jacobians of hyperelliptic curves

Genus-2 Jacobians with torsion points of large order

Sporadic Cubic Torsion

Non-vanishing of Ceresa and Gross--Kudla--Schoen cycles associated to modular curves

Rational Points of some genus $3$ curves from the rank $0$ quotient strategy

Modular curves and Néron models of generalized Jacobians

Cyclic Cubic Points on Higher Genus Curves

Moduli of abelian varieties near the locus of products of elliptic curves

A decomposition of the Jacobian of a Humbert-Edge curve

Regular models of modular curves in prime level over ${\mathbb Z}_p^{\mathrm{ur}}$

Galois subcovers of the Hermitian curve in characteristic $p$ with respect to subgroups of order $dp$ with $d\not=p$ prime