Related papers: A modular description of $\mathscr{X}_0(n)$
Modular curves like X_0(N) and X_1(N) appear very frequently in arithmetic geometry. While their complex points are obtained as a quotient of the upper half plane by some subgroups of SL_2(Z), they allow for a more arithmetic description as…
The modular curve X_0(N) parametrizes elliptic curves together with a cyclic subgroup of order N, and hence cyclic N-isogenies. While explicit moduli descriptions of X_1(N) are well developed, a comparable construction for X_0(N) has…
For a complex elliptic curve $E$ and a point $p$ of order $n$ on it, the images of the points $p_k=kp$ under the Weierstrass embedding of $E$ into $\mathbb{C}\mathbb{P}^2$ are collinear if and only if the sum of indices is divisible by $n$.…
Let $E$ be a non-CM elliptic curve defined over $\mathbb {Q}$. Fix an algebraic closure $\overline{\mathbb {Q}}$ of $\mathbb {Q}$. We get a Galois representation \[\rho_E \colon Gal(\overline{\mathbb {Q}}/\mathbb {Q}) \to GL_2(\hat{\mathbb…
We give an account of Mazur's proof that, for an elliptic curve over $\mathbb{Q}$, if it admits a nonconstant mapping from $X(N)$ defined over the complex numbers $\mathbb{C}$, for some $N$, then it also admits a nonconstant mapping from…
We study $N$-congruences between quadratic twists of elliptic curves. If $N$ has exactly two distinct prime factors we show that these are parametrised by double covers of certain modular curves. In many, but not all cases, the modular…
We define the notion of a $G$-structure for elliptic curves, where $G$ is a finite 2-generated group. When $G$ is abelian, a $G$-structure is the same as a classical congruence level structure. There is a natural action of…
Let $K$ be a number field. For positive integers $m$ and $n$ such that $m\mid n$, we let $\mathscr{S}_{m,n}$ be the set of elliptic curves $E/K$ defined over $K$ such that $E(K)_{\operatorname{tors}}\supseteq \mathscr{T}\cong…
We prove a new sharp asymptotic with the lower order term of zeroth order on $\mathcal{Z}_{\mathbb{F}_q(t)}(\mathcal{B})$ for counting the semistable elliptic curves over $\mathbb{F}_q(t)$ by the bounded height of discriminant $\Delta(X)$.…
The modularity theorem implies that for every elliptic curve $E /\mathbb{Q}$ there exist rational maps from the modular curve $X_0(N)$ to $E$, where $N$ is the conductor of $E$. These maps may be expressed in terms of pairs of modular…
We study the automorphisms of modular curves associated to Cartan subgroups of $\mathrm{GL}_2(\mathbb Z/n\mathbb Z)$ and certain subgroups of their normalizers. We prove that if $n$ is large enough, all the automorphisms are induced by the…
Abramovich, Corti and Vistoli have studied modular compactifications of stacks of curves equipped with abelian level structures arising as substacks of the stack of twisted stable maps into the classifying stack of a finite group, provided…
We introduce a sequence of isolated curve singularities, the elliptic m-fold points, and an associated sequence of stability conditions, generalizing the usual definition of Deligne-Mumford stability. For every pair of integers 0<m<n, we…
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…
A generalized Kummer surface $X=Km_{3}(A,G_{A})$ is the minimal resolution of the quotient of a $2$-dimensional complex torus by an order 3 symplectic automorphism group $G_{A}$. A Kummer structure on $X$ is an isomorphism class of pairs…
Let $\mathcal{X}$ be an algebraic stack admitting a moduli space $\mathcal{X}_{\mathrm{mod}}$. We study the factorizations of the moduli space morphism $\mathcal{X}\rightarrow\mathcal{X}_{\mathrm{mod}}$ to construct intermediate stacks that…
A fundamental problem in arithmetic geometry is to determine the image of the mod $N$ Galois representation for all elliptic curves over $\mathbb{Q}$ and integers $N \geq 1$. For a given subgroup $G \le…
We classify the Deligne-Mumford stacks M compactifying the moduli space of smooth $n$-pointed curves of genus one under the condition that the points of M represent Gorenstein curves with distinct markings. This classification uncovers new…
Modular curves $X_{1}(N)$ parametrize elliptic curves with a point of order $N$. They can be identified with connected components of projectivized strata $\mathbb{P}\mathcal{H}(a,-a)$ of meromorphic differentials. As strata of meromorphic…
Let k be an algebraically closed field of characteristic p. Let X(p^e;N) be the curve parameterizing elliptic curves with full level N structure (where p does not divide N) and full level p^e Igusa structure. By modular curve, we mean a…