Related papers: Effective Siegel's theorem for modular curves

We consider all genus 2 curves over Q given by an equation y^2 = f(x) with f a squarefree polynomial of degree 5 or 6, with integral coefficients of absolute value at most 3. For each of these roughly 200000 isomorphism classes of curves,…

We prove that curve complexes of surfaces are finitely rigid: for every orientable surface S of finite topological type, we identify a finite subcomplex X of the curve complex C(S) such that every locally injective simplicial map from X…

We design efficient algorithms to evaluate modular equations of Siegel and Hilbert type for abelian surfaces over number fields or finite fields using complex approximations. Their output is provably correct when the associated graded ring…

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$.…

We determine all of lines in the moduli space $M$ of stable bundles for arbitrary rank and degree. A further application of minimal rational curves is also given in last section.

Let $B$ be a sixth-power-free integer and $P$ be a non-torsion point on the Mordell curve $E_B:y^2=x^3+B$. In this paper, we study integral multiples $[n]P$ of $P$. Among other results, we show that $P$ has at most three integral multiples…

In this paper we prove that, for any $n\ge 3$, there exist infinitely many $r\in \N$ and for each of them a smooth, connected curve $C_r$ in $\P^r$ such that $C_r$ lies on exactly $n$ irreducible components of the Hilbert scheme…

There is no stable Siegel modular form that vanishes on the trigonal locus in every moduli space of curves.

Let $E$ be an ordinary elliptic curve over a finite field and $g$ be a positive integer. Under some technical assumptions, we give an algorithm to span the isomorphism classes of principally polarized abelian varieties in the isogeny class…

The purpose of this note is to provide some applications of Faltings' recent proof of S. Lang's conjecture to smooth plane curves. Let $C$ be a smooth plane curve defined by an equation of degree $d$ with integral coefficients. We show that…

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…

Let $S$ be a finite set of primes. We prove that a form of finite Galois descent obstruction is the only obstruction to the existence of $\mathbb{Z}_{S}$-points on integral models of Hilbert modular varieties, extending a result of D.Helm…

We prove that every curve on a rationally connected variety is algebraically equivalent to a (non-effective) integral sum of rational curves.

We prove the modularity of a positive proportion of abelian surfaces over $\mathbf{Q}$. More precisely, we prove the modularity of abelian surfaces which are ordinary at $3$ and are $3$-distinguished, subject to some assumptions on the…

We give a short, elementary and explicit proof of the existence of Hilbert schemes of points on affine schemes. As a direct consequence we obtain the existence of the Hilbert scheme of points on any projective scheme, not necessarily of…

Assuming Lang's conjectured lower bound on the heights of non-torsion points on an elliptic curve, we show that there exists an absolute constant C such that for any elliptic curve E/Q and non-torsion point P in E(Q), there is at most one…

In this paper, we study the Heegner points on more general modular curves other than $X_0(N)$, which generalizes Gross' work "Heegner points on $X_0(N)$". The explicit Gross-Zagier formula and the Euler system property are stated in this…

Let $C/k$ be a smooth curve over a finite field of characteristic $p>0$. We prove that there are finitely many principally polarized abelian schemes of given dimension $g$ over $C$ up to $p$-power isogeny. For curves over $\overline{k}$, we…

We construct a stacky curve of genus $1/2$ (i.e., Euler characteristic $1$) over $\mathbb{Z}$ that has an $\mathbb{R}$-point and a $\mathbb{Z}_p$-point for every prime $p$ but no $\mathbb{Z}$-point. This is best possible: we also prove that…

We bound the number of fixed points of an automorphism of a real curve in terms of the genus and the number of connected components of the real part of the curve. Using this bound, we derive some consequences concerning the maximum order of…