Drinfeld modular curves have many points

For a fixed odd prime p and a representation \rho of the absolute Galois group of Q into the projective group PGL(2,p), we provide the twisted modular curves whose rational points supply the quadratic Q-curves of degree N prime to p that realize \rho through the Galois action on their p-torsion modules. The modular curve to twist is either the fiber product of the modular curves X_0(N) and X(p) or a certain quotient of Atkin-Lehner type, depending on the value of N mod p. For...

For a prime $\mathfrak{p} \subseteq \mathbb{F}_{q}[T]$ and a positive integer $r$, we consider the generalised Jacobian $J_{0}(\mathfrak{n})_{\mathbf{m}}$ of the Drinfeld modular curve $X_{0}(\mathfrak{n})$ of level $\mathfrak{n}=\mathfrak{p}^r$, with respect to the modulus~$\mathbf{m}$ consisting of all cusps on the modular curve. We show that the $\ell$-primary part of the group $J_{0}(\mathfrak{n})_{\mathbf{m}}(\mathbb{F}_{q}(T))_{\rm{tor}}[\ell^{\infty}]$ is trivial for a...

A classical theorem of Siegel asserts that the set of S-integral points of an algebraic curve C over a number field is finite unless C has genus 0 and at most two points at infinity. In this paper we give necessary and sufficient conditions for C to have infinitely many S-integral points.

In this paper we determine the $\mathbb Q$-gonalities of the modular curves $X_0(N)$ for all $N<145$. We determine the $\mathbb C$-gonality of many of these curves and the $\mathbb Q$-gonalities and $\mathbb C$-gonalities for many larger values of $N$. Using these results and some further work, we determine all the modular curves $X_0(N)$ of gonality $4$, $5$ and $6$ over $\mathbb Q$. We also find the first known instances of pentagonal curves $X_0(N)$ over $\mathbb C$.

Let X be a product of Drinfeld modular curves over a general base ring A of odd characteristic. We classify those subvarieties of X which contain a Zariski-dense set of CM points. This is an analogue of the Andr\'e-Oort conjecture. As an application, we construct non-trivial families of higher Heegner points on modular elliptic curves over global function fields.

This is the write-up of a talk given in honour of Prof. Ihara's 80th Birthday conference in Kyoto in 2018. After briefly reviewing the work of Ihara on the projective line minus 3 points, I outline the main ideas in the proof of the Deligne-Ihara conjecture and provide an update on recent progress in this area and raise some new questions. The second part of the talk outlines the main features of the corresponding theory in genus one, i.e., on the moduli stack of elliptic c...

For a square-free integer $N$, we present a procedure to compute $\mathbb{Q}$-curves parametrized by rational points of the modular curve $X_0^*(N)$ when this is hyperelliptic.

Bruin and Najman, Ozman and Siksek, and Box described all the quadratic points on the modular curves of genus $2\leq g(X_0(n)) \leq 5$. Since all the hyperelliptic curves $X_0(n)$ are of genus $\leq 5$ and as a curve can have infinitely many quadratic points only if it is either of genus $\leq 1$, hyperelliptic or bielliptic, the question of describing the quadratic points on the bielliptic modular curves $X_0(n)$ naturally arises; this question has recently also been posed b...

We give an example of a one dimensional foliation $\cal F$ of degree two in a Zariski open set of a four dimensional weighted projective space which has only an enumerable set of algebraic leaves. These are defined over rational numbers and are isomorphic to modular curves $X_0(d),\ d\in\Bbb B$ minus cusp points. As a by-product we get new models for modular curves for which we slightly modify an argument due to J. V. Pereira and give closed formulas for elements in their def...

Let $N\geq 1$ be a non-square free integer and let $W_N$ be a non-trivial subgroup of the group of the Atkin-Lehner involutions of $X_0(N)$ such that the modular curve $X_0(N)/W_N$ has genus at least two. We determine all pairs $(N,W_N)$ such that $X_0(N)/W_N$ is a bielliptic curve and the pairs $(N,W_N)$ such that $X_0(N)/W_N$ has an infinite number of quadratic points over $\mathbb{Q}$.