Related papers: Structure of the cuspidal rational torsion subgrou…

Let $E$ be an elliptic curve, defined over a quartic extension $K$ of $\mathbb{Q}$, with $j(E) \in \mathbb{Q}$. In this paper, we classify the possible torsion subgroup structures $E(K)_{\text{tors}}$.

We consider the generalized Jacobian $\widetilde{J}$ of the modular curve $X_0(N)$ of level $N$ with respect to a reduced divisor consisting of all cusps. Supposing $N$ is square free, we explicitly determine the structure of the…

Let $p$ be a prime number such that the modular curve $X_0(p)$ has genus at least two. We show that the only points of the reduction mod $p$ of $X_0(p)$ with image in the reduction mod $p$ of $J_0(p)$ in the cuspidal group are the two…

Let $p$ and $q$ be distinct primes. Consider the Shimura curve $\mathcal{X}$ associated to the indefinite quaternion algebra of discriminant $pq$ over $\mathbb{Q}$. Let $J$ be the Jacobian variety of $\mathcal{X}$, which is an abelian…

We construct examples of families of curves of genus 2 or 3 over Q whose Jacobians split completely and have various large rational torsion subgroups. For example, the rational points on a certain elliptic surface over P^1 of positive rank…

Let $K$ be a number field, and let $E/K$ be an elliptic curve over $K$. The Mordell--Weil theorem asserts that the $K$-rational points $E(K)$ of $E$ form a finitely generated abelian group. In this work, we complete the classification of…

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…

For a positive integer $N$, let $\mathscr{C}_N(\mathbb{Q})$ be the rational cuspidal subgroup of $J_0(N)$ and $\mathscr{C}(N)$ be the rational cuspidal divisor class group of $X_0(N)$, which are both subgroups of the rational torsion…

We start with $n$-torsions in the Jacobian of an $m$-gonal curve and produce $n$-torsions in the class group of certain number field $K$.

Let $p\neq{2,3}$ be a prime number and let $\Gamma \subset \mathrm{SL}_{2}(\mathbb{Z})$ be a congruence subgroup with modular curve $X_{\Gamma}/K$ and Jacobian $J(X_{\Gamma})$. In this paper we give an explicit group-theoretic description…

Let $Y\to X$ be an unramified Galois cover of curves over a perfect field $k$ of characteristic $p>0$ with $\mathrm{Gal}(Y/X)\cong\mathbb{Z}/p\mathbb{Z}$, and let $J_X$ and $J_Y$ be the Jacobians of $X$ and $Y$ respectively. We consider the…

Let $p$ be a prime number and let $k$ be an algebraically closed field of characteristic $p$. A $BT_1$ group scheme over $k$ is a finite commutative group scheme which arises as the kernel of $p$ on a $p$-divisible (Barsotti--Tate) group.…

Consider the Jacobian of a hyperelliptic genus two curve defined over a prime field of characteristic p and with complex multiplication. In this paper we show that the p-Sylow subgroup of the Jacobian is either trivial or of order p.

We introduce an algorithm to compute the rational torsion subgroup of the Jacobian of a hyperelliptic curve of genus 3 over the rationals. We apply a Magma implementation of our algorithm to a database of curves with low discriminant due to…

In this paper, we study the torsion subgroup of $J_0(N)$ over the field generated by those points in the cuspidal group, where $N$ is an odd positive integer. We prove that, considered as Hecke modules, this group and the cuspidal subgroup…

Let $ \mathfrak{C}^+_{ns}(p) $ be the Cuspidal Divisor Class Group of the modular curves $X^+_{ns}(p) $ associated to the normalizer of a non-split Cartan subgroup of level $ p$. I study the $ p-$primary part of $ \mathfrak{C}^+_{ns}(p) $…

We classify the possible torsion structures of rational elliptic curves over cubic fields. Along the way we find a previously unknown torsion structure over a cubic field, $\Z /21 \Z$, which corresponds to a sporadic point on $X_1(21)$ of…

I find an explicit description of modular units in terms of Siegel functions for the modular curves $X^+_{ns}(p^k)$ associated to the normalizer of a non-split Cartan subgroup of level $p^k$ where $p\not=2,3$ is a prime. The Cuspidal…

We present a systematic effective method to construct coarse fundamental domains for the action of the Picard modular groups $PU(2,1,\mathcal{O}_d)$ where $\mathcal{O}_d$ has class number one, i.e. $d=1,2,3,7,11,19,43,67,163$. The…

We describe an algorithm that provably computes the rational torsion subgroup of the Jacobian of a curve without relying on height bounds. Instead, the strategy is to find upper bounds for the torsion subgroup using reduction modulo primes,…