Related papers: A Divisor Formula and a Bound on the $\mathbb{Q}$-…

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 compute the canonical model of the cover of Shimura curves $X_0(2) \to X(1)$ for the cubic field of discriminant 13^2 described at the end of Elkies' paper "Shimura curves for level 3 subgroups of the (2,3,7) triangle group". Last, we…

For genus $g=2i\geq4$ and the length $g-1$ partition $\mu = (4,2,\ldots,2,-2,\ldots,-2)$ of 0, we compute the first coefficients of the class of $\overline{D}(\mu)$ in $\mathrm{Pic}_\mathbb{Q}(\overline{\mathcal{R}}_g)$, where $D(\mu)$ is…

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…

An effective method of computing division polynomials in terms of Mumford coordinates is presented. As an example, division polynomials for $3$- and $4$-torsion divisors on a genus two curve are obtained explicitly in terms of Mumford…

Let M_g be the moduli space of smooth curves of genus g >= 3, and \bar{M}_g the Deligne-Mumford compactification in terms of stable curves. Let \bar{M}_g^{[1]} be an open set of \bar{M}_g consisting of stable curves of genus g with one node…

In this paper, we determine all tetraelliptic modular curves $X_1(N)$ over $\mathbb Q$, and find some tetraelliptic maps $\phi_N$ from $X_1(N)$ to elliptic curves for those tetraelliptic $X_1(N)$. Also we will construct $\phi_N$ explicitly…

In this paper, we give an explicit bound for the height of integral points on $X_0(p)$ by using a very explicit version of the Chevalley-Weil principle. We improve the bound given by Sha in \cite{sha2014bounding1}.

Let $W$ be a finite group and $T$ be an abelian group. Consider an extension $0 \ra T \ra N \ra W \ra 0$. For a smooth projective curve $X$, we give a precise description of the fiber of the quotient by $T$ map $q_T: \cM_X(N) \ra \cM_X(W)$…

Let $f : \mathbf{N} \rightarrow \mathbf{C}$ be a bounded multiplicative function. Let $a$ be a fixed integer (say $a = 1$). Then $f$ is well-distributed on the progression $n \equiv a \pmod{q} \subset \{1,\dots, X\}$, for almost all primes…

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 establish a bound for the length of vectors involved in a unimodular triangulation of simplicial cones. The bound is exponential in the square of the logarithm of the multiplicity, and improves previous bounds significantly. The proof is…

In this paper we study the moduli stack ${\mathcal U}_{1,n}^{ns}$ of curves of arithmetic genus 1 with n marked points, forming a nonspecial divisor. In arXiv:1511.03797 this stack was realized as the quotient of an explicit scheme…

We shall give an explicit upper bound for the smallest prime factor of multiperfect numbers of the form $N=p_1^{\alpha_1}\cdots p_s^{\alpha_s} q_1^{\beta_1}\cdots q_t^{\beta_t}$ with $\beta_1, \ldots, \beta_t$ bounded by a given constant.…

A result of the second-named author states that there are only finitely many CM-elliptic curves over $\mathbb{C}$ whose $j$-invariant is an algebraic unit. His proof depends on Duke's Equidistribution Theorem and is hence non-effective. In…

We study the special value at 2 of L-functions of modular forms of weight 2 on congruence subgroups of the modular group. We prove an explicit version of Beilinson's theorem for the modular curve X_1(N). When N is prime, we deduce that the…

We study the real components of modular curves. Our main result is an abstract group-theoretic description of the real components of a modular curve defined by a congruence subgroup of level N in terms of the corresponding subgroup of…

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…

The quantum modular invariant of a real number is defined as a discontinuous, PGL(2,Z)-invariant multi-valued map using the distance-to-the-nearest-integer function. On the rationals, the quantum modular invariant is shown to be infinity…

Let $\{nP+Q\}_{n\geq0}$ be a sequence of points on an elliptic curve defined over a number field $K$. In this paper, we study the denominators of the $x$-coordinates of this sequence. We prove that, if $Q$ is a torsion point of prime order,…