Maarten Derickx

• Leiden University

For every group $\{\pm1\}\subseteq \Delta\subseteq (\mathbb Z/N\mathbb Z)^\times$, there exists an intermediate modular curve $X_\Delta(N)$. In this paper we determine all curves $X_\Delta(N)$ with infinitely many points of degree $4$ over $\mathbb Q$. To do that, we developed a method to compute possible degrees of rational morphisms from $X_\Delt...

The main result of this article is that all but finitely many points of small enough degree on a curve can be written as a pullback of a smaller degree point. The main theorem has several corollaries that yield improvements on results of Kadets and Vogt, Khawaja and Siksek, and Vojta under a slightly stronger assumption on the degree of the points.

We determine all modular curves $X_0(N)$ with density degree $5$, i.e. all curves $X_0(N)$ with infinitely many points of degree $5$ and only finitely many points of degree $d\leq4$. As a consequence, the problem of determining all curves $X_0(N)$ with infinitely many points of degree $5$ remains open for only $30$ levels $N$.

We study the problem of determining the groups that can arise as the torsion subgroup of an elliptic curve over a fixed quadratic field, building on work of Kamienny-Najman, Krumm, and Trbović. By employing techniques to study rational points on curves developed by Bruin and Stoll, we determine the possible torsion subgroups of elliptic curves over...

Let $X_\Delta(N)$ be an intermediate modular curve of level N, meaning that there exist (possibly trivial) morphisms $X_1(N)\rightarrow X_\Delta(N) \rightarrow X_0(N)$. For all such intermediate modular curves, we give an explicit description of all primes $p \nmid N$ such that $X_\Delta(N)_{\overline{\mathbb{F}}_p}$ is either hyperelliptic or trig...

We determine all modular curves X0(N)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$X_0(N)$$\end{document} with infinitely many quartic points. To do this, we define a...

We determine all modular curves $X_0(N)$ with infinitely many quartic points. To do this, we define a pairing that induces a quadratic form representing all possible degrees of a morphism from $X_0(N)$ to a positive rank elliptic curve.

Let $X_\Delta(N)$ be an intermediate modular curve of level $N$, meaning that there exist (possibly trivial) morphisms $X_1(N)\rightarrow X_\Delta(N) \rightarrow X_0(N)$. For all such intermediate modular curves, we give an explicit description of all primes $p$ such that $X_\Delta(N)_{\overline{\mathbb F}_p}$ is either hyperelliptic or trigonal. F...

Let $E$ be an elliptic curve over a number field $k$ of degree $d$ that admits a $k$-rational isogeny of prime degree $p$. We study the question of finding a uniform bound on $p$ that depends only on $d$, and obtain, under a certain condition on the signature of the isogeny, such a uniform bound by explicitly constructing nonzero integers that $p$...

We provide an explicit and algorithmic version of a theorem of Momose classifying isogenies of prime degree of elliptic curves over number fields, which we implement in Sage and PARI/GP. Combining this algorithm with recent work of Box-Gajovi\'c-Goodman we determine the first instances of isogenies of prime degree for cubic number fields, as well a...

We discuss practical and some theoretical aspects of computing a database of classical modular forms in the L-functions and modular forms database (LMFDB).

We show that there is essentially a unique elliptic curve $E$ defined over a cubic Galois extension $K$ of $\mathbb Q$ with a $K$-rational point of order 13 and such that $E$ is not defined over $\mathbb Q$.

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 the finite groups which appear as the torsion subgroup of $E(K)$ for $K$ a cubic number field. To do so, we dete...

We discuss practical and some theoretical aspects of computing a database of classical modular forms in the L-functions and Modular Forms Database (LMFDB).

Recently there has been much interest in studying the torsion subgroups of elliptic curves base-extended to infinite extensions of $\mathbb{Q}$. In this paper, given a finite group $G$, we study what happens with the torsion of an elliptic curve $E$ over $\mathbb{Q}$ when changing base to the compositum of all number fields with Galois group $G$. W...

We prove that all elliptic curves defined over totally real cubic fields are modular. This builds on previous work of Freitas, Le Hung and Siksek, who proved modularity of elliptic curves over real quadratic fields, as well as recent breakthroughs due to Thorne and to Kalyanswamy.

We determine all the possible torsion groups of elliptic curves over cyclic cubic fields, over non-cyclic totally real cubic fields and over complex cubic fields.

We determine all the possible torsion groups of elliptic curves over cyclic cubic fields, over non-cyclic totally real cubic fields and over complex cubic fields.

Recently there has been much interest in studying the torsion subgroups of elliptic curves base-extended to infinite extensions of $\mathbb{Q}$. In this paper, given a finite group $G$, we study what happens with the torsion of an elliptic curve $E$ over $\mathbb{Q}$ when changing base to the compositum of all number fields with Galois group $G$. W...

We determine the set $S(d)$ of possible prime orders of $K$-rational points on elliptic curves over number fields $K$ of degree $d$, for $d = 4,5$ and $6$.

We determine the set $S(d)$ of possible prime orders of $K$-rational points on elliptic curves over number fields $K$ of degree $d$, for $d = 4$, $5$, $6$, and $7$.

Let $\Phi^\infty(d)$ denote the set of finite abelian groups that occur infinitely often as the torsion subgroup of an elliptic curve over a number field of degree $d$. The sets $\Phi^\infty(d)$ are known for $d\le 4$. In this article we determine $\Phi^\infty(5)$ and $\Phi^\infty(6)$.

Let $\Phi^\infty(d)$ denote the set of finite abelian groups that occur infinitely often as the torsion subgroup of an elliptic curve over a number field of degree $d$. The sets $\Phi^\infty(d)$ are known for $d\le 4$. In this article we determine $\Phi^\infty(5)$ and $\Phi^\infty(6)$.

We construct plane models of the modular curve $X_H(\ell)$, and use their explicit equations to compute Galois representations associated to modular forms for values of $\ell$ that are significantly higher than in prior works.

In this paper we compute the gonality over Q of the modular curve X1(N) for all N <= 40, and give upper bounds for each N <= 250. We conjecture that the modular units of Q(X1(N)) are freely generated by f_2,...,f_{[N/2]+1} where f_k is obtained from the equation for X1(k).