Drinfeld modular curves have many points

In this study, we determine all modular curves $X_0(N)$ that admit infinitely many cubic points.

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 $\mathbb{Q}$-rational torsion points on $\widetilde{J}$ up to $6$-primary torsion. The result turns out to be very different from the case of prime power level previously studied by Yang and the second author. We also obtain an analogous result for D...

Consider the Drinfeld modular curve $X_0(\mathfrak{p})$ for $\mathfrak{p}$ a prime ideal of $\mathbb{F}_q[T]$. It was previously known that if $j$ is the $j$-invariant of a Weierstrass point of $X_0(\mathfrak{p})$, then the reduction of $j$ modulo $\mathfrak{p}$ is a supersingular $j$-invariant. In this paper we show the converse: Every supersingular $j$-invariant is the reduction modulo $\mathfrak{p}$ of the $j$-invariant of a Weierstrass point of $X_0(\mathfrak{p})$.

Let $n$ be an integer such that the modular curve $X_0(n)$ is hyperelliptic of genus $\ge2$ and such that the Jacobian of $X_0(n)$ has rank $0$ over $\mathbb Q$. We determine all points of $X_0(n)$ defined over quadratic fields, and we give a moduli interpretation of these points. As a consequence, we show that up to $\overline{\mathbb Q}$-isomorphism, all but finitely many elliptic curves with $n$-isogenies over quadratic fields are in fact $\mathbb Q$-curves, and we list al...

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 rational morphism from $X_0(N)$ to a positive rank elliptic curve.

Let X^d(N) be the quadratic twist of the modular curve X_0(N) through the Atkin-Lehner involution w_N and a quadratic extension Q(\sqrt{d})/Q. The points of X^d(N)(Q) are precisely the Q(\sqrt{d})-rational points of X_0(N) that are fixed by \sigma composition w_N, where \sigma is the generator of Gal(Q(\sqrt{d})/Q).Ellenberg asked the following question: For which d and N does X^d(N) have rational points over every completion of Q? Given (N,d,p) we give necessary and suff...

Classical modular curves are of deep interest in arithmetic geometry. In this survey we show how the work of Fumiyuki Momose is involved in order to list the classical modular curves which satisfy that the set of quadratic points over $\mathbb{Q}$ is infinite. In particular we recall results of Momose on hyperelliptic modular curves and on automorphisms groups of modular curves. Moreover, we fix some inaccuracies of the existing literature in few statements concerning automor...

In this paper we improve on existing methods to compute quadratic points on modular curves and apply them to successfully find all the quadratic points on all modular curves $X_0(N)$ of genus up to $8$, and genus up to $10$ with $N$ prime, for which they were previously unknown. The values of $N$ we consider are contained in the set \[ \mathcal{L}=\{58, 68, 74, 76, 80, 85, 97, 98, 100, 103, 107, 109, 113, 121, 127 \}.\] We obtain that all the non-cuspidal quadratic points on ...

Let $\mathcal{C}(\mathfrak{p}^r)$ be the rational cuspidal divisor class group of the Drinfeld modular curve $X_0(\mathfrak{p}^r)$ for a prime power level $\mathfrak{p}^r\in \mathbb{F}_q[T]$. We relate the rational cuspidal divisors of degree $0$ on $X_0(\mathfrak{p}^r)$ with $\Delta$-quotients, where $\Delta$ is the Drinfeld discriminant function. As a result, we are able to determine explicitly the structure of $\mathcal{C}(\mathfrak{p}^r)$ for arbitrary prime $\mathfrak{p}...

For an extension $K/\mathbb{F}_q(T)$ of the rational function field over a finite field, we introduce the notion of virtually $K$-rational Drinfeld modules as a function field analogue of $\mathbb{Q}$-curves. Our goal in this article is to prove that all virtually $K$-rational Drinfeld modules of rank two with no complex multiplication are parametrized up to isogeny by $K$-rational points of a quotient curve of the Drinfeld modular curve $Y_0(\mathfrak{n})$ with some square-f...