相关论文: The rational cuspidal subgroup of $J_0(p^2M)$ with…
For a positive integer $N$, let $\mathscr C(N)$ be the subgroup of $J_0(N)$ generated by the equivalence classes of cuspidal divisors of degree $0$ and $\mathscr C(N)(\mathbb Q):=\mathscr C(N)\cap J_0(N)(\mathbb Q)$ be its $\mathbb…
For a positive integer $N$, let $J_0(N)$ be the Jacobian of the modular curve $X_0(N)$. In this paper we completely determine the structure of the rational cuspidal subgroup of $J_0(N)$ when the largest perfect square dividing $N$ is either…
Let $N$ be a positive integer and let $J_0(N)$ be the Jacobian variety of the modular curve $X_0(N)$. For any prime $p\ge 5$ whose square does not divide $N$, we prove that the $p$-primary subgroup of the rational torsion subgroup of…
For any positive integer $N$, we completely determine the structure of the rational cuspidal divisor class group of $X_0(N)$, which is conjecturally equal to the rational torsion subgroup of $J_0(N)$. More specifically, for a given prime…
For any positive integer $N$, we prove that the rational torsion subgroup of $J_0(N)$ agrees with its rational cuspidal subgroups up to a factor of $6N\prod_{p\mid N}(p^2-1)$. Moreover, for modular Jacobians of the form $J_0(DC)$ with $D$ a…
We study the rational torsion subgroup of the modular Jacobian $J_0(N)$ for $N$ a square-free integer. We give a new proof of a result of Ohta on a generalization of Ogg's conjecture: for a prime number $p \nmid 6N$, the $p$-primary part of…
Let $N$ be a non-squarefree positive integer and let $\ell$ be an odd prime such that $\ell^2$ does not divide $N$. Consider the Hecke ring $\mathbb{T}(N)$ of weight $2$ for $\Gamma_0(N)$, and its rational Eisenstein primes of…
In this article, we consider the group $F_1^\infty(N)$ of modular units on $X_1(N)$ that have divisors supported on the cusps lying over $\infty$ of $X_0(N)$, called the $\infty$-cusps. For each positive integer $N$, we will give an…
In [6], Kohnen proves that if $\Gamma=\Gamma_0(N)$ where $N$ is a square-free integer, then any modular function of weight $0$ for $\Gamma$ having a divisor supported at the cusps is an $\eta$-product. Under the condition of having rational…
Let $\frak{n}$ be a square-free ideal of $\mathbb{F}_q[T]$. We study the rational torsion subgroup of the Jacobian variety $J_0(\frak{n})$ of the Drinfeld modular curve $X_0(\frak{n})$. We prove that for any prime number $\ell$ not dividing…
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…
Let $A$ be an elliptic curve over $\Q$ of square free conductor $N$. We prove that if $A$ has a rational torsion point of prime order $r$ such that $r$ does not divide $6N$, then $r$ divides the order of the cuspidal subgroup of $J_0(N)$.
Let $D$ be an odd square-free positive integer and $C$ a divisor of $D$. For any quadratic character $\chi$ modulo $C$, we prove that the $\chi$-part of the group $J_0(DC)_\text{tor}$ of torsion points of $J_0(DC)$ coincides with the…
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 )$,…
Let N be a square-free positive integer and let f be a newform of weight 2 on \Gamma_0(N). Let A denote the abelian subvariety of J_0(N) associated to f and let m be a maximal ideal of the Hecke algebra T that contains Ann_T(f) and has…
We consider the generalized Jacobian $\widetilde{J}_0(N)$ of a modular curve $X_0(N)$ with respect to a reduced divisor given by the sum of all cusps on it. When $N$ is a power of a prime $\geq 5$, we exhibit that the group of rational…
Let $\mathcal{C}(\mathfrak{p}^r)$ be the rational cuspidal divisor class group of the Drinfeld modular curve $X_0(\mathfrak{p}^r)$ for a prime power level $\mathfrak{p}^r\in \mathbb{F}_q[T]$. We relate the rational cuspidal divisors of…
Let $C$ be a modular category of Frobenius-Perron dimension $dq^n$, where $q$ is a prime number and $d$ is a square-free integer. We show that if $q>2$ then $C$ is integral and nilpotent. In particular, $C$ is group-theoretical. In the…
We consider the generalised Jacobian $J_{0}(N)_{\mathbf{m}}$ of the modular curve $X_{0}(N)$ of level $N$, with respect to the modulus $\mathbf{m}$ consisting of all cusps on the modular curve. When $N$ is odd, we determine the group…
Let $N$ be a non-squarefree integer such that the quotient $X_0(N)^*$ of the modular curve $X_0(N)$ by the full group of Atkin-Lehner involutions has positive genus. Elkies conjectures that the rational points on $X_0(N)^*$ are only cusps…