Related papers: Modular unit and cuspidal divisor class groups 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…

We give a formula for divisors of modular units on $X_1(N)$ and use it to prove that the $\mathbb{Q}$-gonality of the modular curve $X_1(N)$ is bounded above by $\left[\frac{11N^2}{840}\right]$, where $[\bullet]$ denotes the nearest…

We show that log flat torsors over a family $X/S$ of nodal curves under a finite flat commutative group scheme $G/S$ are classified by maps from the Cartier dual of $G$ to the log Jacobian of $X$. We deduce that fppf torsors on the smooth…

Let $\mathcal N$ be the moduli space of sextics with 3 (3,4)-cusps. The quotient moduli space ${\mathcal N}/G$ is one-dimensional and consists of two components, ${\mathcal N}_{torus}/G$ and ${\mathcal N}_{gen}/G$. By quadratic…

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…

In this paper, for every prime $p$ and every $0\le n\le \infty$, we classify the structure of the torsion subgroup of the group of $\mathbb{Q}_p(\mu_{p^n})$-rational points of elliptic curves over $\mathbb{Q}_p$ with good reduction, where…

In this paper, we extend previous results to prove that generalized modular forms with rational Fourier expansions whose divisors are supported only at the cusps and certain other points in the upper half plane are actually classical…

Let \( p \geq 5 \) be a prime. In 2003 Conrad, Edixhoven, and Stein conjectured that the rational torsion subgroup of the modular Jacobian \( J_1(p) \) coincides with the rational cuspidal divisor class group. Using explicit computations in…

Let G be a reductive group and X be a Luna stratum on the quotient space V//G of a rational G-module V. We consider torsors over X with both non-commutative and commutative structure groups. It allows us to compute the divisor class group…

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)$.

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…

In this paper we describe a method for computing a basis for the space of weight $2$ cusp forms invariant under a non-split Cartan subgroup of prime level $p$. As an application we compute, for certain small values of $p$, explicit…

We show that for primes $N, p \geq 5$ with $N \equiv -1 \bmod p$, the class number of $\mathbb{Q}(N^{1/p})$ is divisible by $p$. Our methods are via congruences between Eisenstein series and cusp forms. In particular, we show that when $N…

We prove that the group of homeomorphisms of the circle introduced by the author with Justin Moore (Groups, Geometry and Dynamics 2015) is of type $F_{\infty}$. This makes the group the first example of a type $F_{\infty}$ group which is…

We construct the moduli stack of torsors over the formal punctured disk in characteristic p > 0 for a finite group isomorphic to the semidirect product of a p-group and a tame cyclic group. We prove that the stack is a limit of separated…

In this paper we show that for a given set of pairwise comaximal ideals $\{X_i\}_{i\in I}$ in a ring $R$ with unity and any right $R$-module $M$ with generating set $Y$ and $C(X_i)=\sum\limits_{k\in\mathbb{N}}\underline{\ell}_M(X_i^{k})$,…

We report on a systematic computation of weight one cuspidal eigenforms for the group $\Gamma_1(N)$ in characteristic zero and in characteristic $p>2$. Perhaps the most surprising result was the existence of a mod 199 weight~1 cusp form of…

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…

We provide a simple and new induction based treatment of the problem of distinguishing cusp forms from the growth of the Fourier coefficients of modular forms. Our approach gives the best possible ranges of the weights for this problem, and…

In [4] and [5], Folsom presents a family of modular units as higher-level analogues of the Rogers-Ramanujan $q$-continued fraction. These units are constructed from analytic solutions to the higher-order $q$-recurrence equations of Selberg.…