Related papers: On quadratic points of classical modular curves

Let E be an elliptic curve over a real quadratic field K and F/K a totally real finite Galois extension. We prove that E/F is modular.

Let k be an algebraically closed field of characteristic p. Let X(p^e;N) be the curve parameterizing elliptic curves with full level N structure (where p does not divide N) and full level p^e Igusa structure. By modular curve, we mean a…

We construct an infinite collection of universal -- independent of $(g,n)$ -- polynomials in the Miller-Morita-Mumford classes $\kappa_m\in H^{2m}( \overline{\cal M}_{g,n},\bq)$, defined over the moduli space of genus $g$ stable curves with…

We show how the size of the Galois groups of iterates of a quadratic polynomial $f(x)$ can be parametrized by certain rational points on the curves $C_n:y^2=f^n(x)$ and their quadratic twists. To that end, we study the arithmetic of such…

In this paper, we study the prescribed $Q$-curvature problem on closed four-dimensional Riemannian manifolds when the total integral of the $Q$-curvature is a positive integer multiple of the one of the four-dimensional round sphere. This…

Let $\E$ be an ordinary elliptic curve over a finite field $\F_{q}$ of $q$ elements and $x(Q)$ denote the $x$-coordinate of a point $Q = (x(Q),y(Q))$ on $\E$. Given an $\F_q$-rational point $P$ of order $T$, we show that for any subsets…

We give an effective proof of Faltings' theorem for curves mapping to Hilbert modular stacks over odd-degree totally real fields. We do this by giving an effective proof of the Shafarevich conjecture for abelian varieties of…

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,…

The modular curves serve as excellent objects for testing conjectures in arithmetic geometry. They possess a natural geometric definition in contrast with rather nontrivial structure. On the other hand, they are well-studied from the…

Given two hyperbolic curves over p-adic local fields, the absolute anabelian conjecture claims that any isomorphism between their \'etale fundamental group comes from an isomorphism of schemes. This conjecture was proven by S. Mochizuki for…

Hyperdeterminants are generalizations of determinants from matrices to multi-dimensional hypermatrices. They were discovered in the 19th century by Arthur Cayley but were largely ignored over a period of 100 years before once again being…

We determine explicit birational models over Q for the modular surfaces parametrising pairs of N-congruent elliptic curves in all cases where this surface is an elliptic surface. In each case we also determine the rank of the Mordell-Weil…

This is a book about computational aspects of modular forms and the Galois representations attached to them. The main result is the following: Galois representations over finite fields attached to modular forms of level one can, in almost…

We describe an algorithm for computing a $\Q$-rational model for the quotient of a modular curve by an automorphism group, under mild assumptions on the curve and the automorphisms, by determining $q$-expansions for a basis of the…

We describe an algorithm that computes explicit models of hyperelliptic Shimura curves attached to an indefnite quaternion algebra over Q and Atkin-Lehner quotients of them. It exploits Cerednik-Drinfeld's non-archimedean uniformisation of…

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 study the enumerative geometry of algebraic curves on abelian surfaces and threefolds. In the abelian surface case, the theory is parallel to the well-developed study of the reduced Gromov-Witten theory of K3 surfaces. We prove complete…

We consider the problem of classifying quadruples $(K,E,m_1,m_2)$ where $K$ is a number field, $E$ is an elliptic curve defined over $K$ and $(m_1,m_2)$ is a pair of relatively prime positive integers for which the intersection $K(E[m_1])…

We construct certain elements in the integral motivic cohomology group $H^3_{{\cal M}}(E \times E',\Q(2))_{\ZZ}$, where $E$ and $E'$ are elliptic curves over $\Q$. When $E$ is not isogenous to $E'$ these elements are analogous to…

In this note is we exhibit an elementary method to construct explicitly curves over finite fields with many points. Despite its elementary character the method is very efficient and can be regarded as a partial substitute for the use of…