Related papers: Hyperelliptic and trigonal modular curves in chara…
Let f be a newform, as specified by its Hecke eigenvalues, on a Shimura curve X. We describe a method for evaluating f. The most interesting case is when X arises as a compact quotient of the hyperbolic plane, so that classical q-expansions…
Let X be a normal complex algebraic variety, and p a prime. We show that there exists an integer N=N(X, p) such that: any non-trivial, irreducible representation of the fundamental group of X, which arises from geometry, must be non-trivial…
For prime $p\ge 7$, by using Baker's method we obtain two explicit bounds in terms of $p$ for the $j$-invariant of an integral point on $X_{\ns}^{+}(p)$ which is the modular curve of level $p$ corresponding to the normalizer of a non-split…
We describe an algorithm to compute the number of points over finite fields on a broad class of modular curves: we consider quotients $X_H/W$ for $H$ a subgroup of $\GL_2(\mathbb Z/n\mathbb Z)$ such that for each prime $p$ dividing $n$, the…
Let $E_{1}$ and $E_{2}$ be elliptic curves defined over a number field $K$. We say that $E_{1}$ and $E_{2}$ are discriminant ideal twins if they are not $K$-isomorphic and have the same minimal discriminant ideal and conductor. Such curves…
We develop an algorithm to test whether a non-CM elliptic curve $E/\mathbb{Q}$ gives rise to an isolated point of any degree on any modular curve of the form $X_1(N)$. This builds on prior work of Zywina which gives a method for computing…
We propose an object called 'sepcanonical system' on a stable curve $X_0$ which is to serve as limiting object- distinct from other such limits introduced previously- for the canonical system, as a smooth curve degenerates to $X_0$. First…
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…
Let $E/\mathbb{Q}$ be an elliptic curve. For a prime $p$ of good reduction, let $r(E,p)$ be the smallest non-negative integer that gives the $x$-coordinate of a point of maximal order in the group $E(\mathbb{F}_p)$. We prove unconditionally…
We study projective surfaces $X \subset \mathbb{P}^r$ (with $r \geq 5$) of maximal sectional regularity and degree $d > r$, hence surfaces for which the Castelnuovo-Mumford regularity $\reg(\mathcal{C})$ of a general hyperplane section…
In this paper, we introduce the study of minimal torsion curves within a fixed geometric isogeny class. For a $\overline{\mathbb{Q}}$-isogeny class $\mathcal{E}$ of elliptic curves and $N \in \mathbb{Z}^+$, we wish to determine the least…
Let $\ell$ be a prime, $k$ a finitely generated field of characteristic different from $\ell$, and $X$ a smooth geometrically connected curve over $k$. Say a semisimple representation of $\pi_1^{\mathrm{et}}(X_{\bar k})$ is arithmetic if it…
As we explain, when a positive integer $n$ is not squarefree, even over $\mathbb{C}$ the moduli stack that parametrizes generalized elliptic curves equipped with an ample cyclic subgroup of order $n$ does not agree at the cusps with the…
We study the minimal degrees and gonalities of curves on complete intersections. We prove a classical conjecture which asserts that the degree of any curve on a general complete intersection $X \subseteq \mathbb{P}^N$ cut out by polynomials…
Given a prime power q, for every pair of positive integers m and n with m dividing the GCD of n and q-1, we construct a modular curve over F_q that parametrizes elliptic curves over F_q along with F_q-defined points P and Q of order m and…
We consider elliptic curves defined by an equation of the form $y^2=x^3+f(t)$, where $f\in k[t]$ has coefficients in a perfect field $k$ of characteristic not $2$ or $3$. By performing $2$ and $3$-descent, we obtain, under suitable…
The number $N_9(5)$, the maximal number of $\mathbb{F}_9$-rational points on curves over $\mathbb{F}_9$ of genus $5$ is unknown, but it is known that $32 \le N_9(5)\le 35$. In this paper, we enumerate hyperelliptic curves and trigonal…
We present a new criterion for the complex hyperbolicity of a non-compact quotient X of a bounded symmetric domain. For each p $\ge$ 1, this criterion gives a precise condition under which the subvarieties V $\subset$ X with dim V $\ge$ p…
Let $E/\mathbb{Q}$ be an elliptic curve with complex multiplication (CM), and for each prime $p$ of good reduction, let $a_E(p) = p + 1 - \#E(\mathbb{F}_p)$ denote the trace of Frobenius. By the Hasse bound, $a_E(p) = 2\sqrt{p} \cos…
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…