Related papers: Explicit open images for elliptic curves over $\ma…

Let $\mathbb{Q}_\infty$ be the cyclotomic $\mathbb{Z}_2$-extension over $\mathbb{Q}$. For each integer $n\geq1$, let $\mathbb{Q}_n$ denote the unique subfield in $\mathbb{Q}_\infty$ such that $[\mathbb{Q}_\infty:\mathbb{Q}]=2^n$. Denote by…

We show that there are infinitely many elliptic curves $E/\mathbb{Q}$, up to isomorphism over $\overline{\mathbb{Q}}$, for which the finitely generated group $E(\mathbb{Q})$ has rank exactly $2$. Our elliptic curves are given by explicit…

We present an index calculus algorithm with double large prime variation which lends itself well to a rigorous analysis. Using this algorithm we prove that for fixed genus $g \geq 2$, the discrete logarithm problem in degree 0 class groups…

Let $K$ be a number field. For positive integers $m$ and $n$ such that $m\mid n$, we let $\mathscr{S}_{m,n}$ be the set of elliptic curves $E/K$ defined over $K$ such that $E(K)_{\operatorname{tors}}\supseteq \mathscr{T}\cong…

Associated to an abelian variety $A$ of dimension $g$ over a number field $K$ is a Galois representation $\rho_A\colon Gal(\bar{K}/K)\to GL_{2g}(\hat{\mathbb{Z}})$. The representation $\rho_A$ encodes the Galois action on the torsion points…

Let $K$ be the function field of a smooth, irreducible curve defined over $\overline{\mathbb{Q}}$. Let $f\in K[x]$ be of the form $f(x)=x^q+c$ where $q = p^{r}, r \ge 1,$ is a power of the prime number $p$, and let $\beta\in \overline{K}$.…

Let $p$ be a prime number. In this article we present a theorem, suggested by Peter Scholze, which states that the absolute Galois group of $\mathbf{Q}_p$ is the \'etale fundamental group of a certain object $Z$ which is defined over an…

In the proofs of most cases of the Andr\'e-Oort conjecture, there are two different steps whose effectivity is unclear: the use of generalizations of Brauer-Siegel and the use of Pila-Wilkie. Only the case of curves in ${\bf C}^2$ is…

For each $t\in\mathbb{Q}\setminus\{-1,0,1\}$, define an elliptic curve over $\mathbb{Q}$ by \begin{align*} E_t:y^2=x(x+1)(x+t^2). \end{align*} Using a formula for the root number $W(E_t)$ as a function of $t$ and assuming some standard…

We call a pair of distinct prime powers $(q_1,q_2) = (p_1^{a_1},p_2^{a_2})$ a Hasse pair if $|\sqrt{q_1}-\sqrt{q_2}| \leq 1$. For such pairs, we study the relation between the set $\mathcal{E}_1$ of isomorphism classes of elliptic curves…

In his previous paper (Math. Res. Letters 7(2000), 123--132) the author proved that in characteristic zero the jacobian $J(C)$ of a hyperelliptic curve $C: y^2=f(x)$ has only trivial endomorphisms over an algebraic closure of the ground…

We give equations for 13 genus-2 curves over $\overline{\mathbb{Q}}$, with models over $\mathbb{Q}$, whose unpolarized Jacobians are isomorphic to the square of an elliptic curve with complex multiplication by a maximal order. If the…

Let $X$ be a smooth projective geometrically irreducible curve over a perfect field $k$ of positive characteristic $p$. Suppose $G$ is a finite group acting faithfully on $X$ such that $G$ has non-trivial cyclic Sylow $p$-subgroups. We show…

Let $\mathbf K$ be a finite field, $X$ and $Y$ two curves over $\mathbf K$, and $Y\rightarrow X$ an unramified abelian cover with Galois group $G$. Let $D$ be a divisor on $X$ and $E$ its pullback on $Y$. Under mild conditions the linear…

We consider the Kolyvagin cohomology classes associated to an elliptic curve $E$ defined over $\mathbb{Q}$ from a computational point of view. We explain how to go from a model of a class as an element of…

Let $E$ be an elliptic curve over a quartic field $K$. By the Mordell-Weil theorem, $E(K)$ is a finitely generated group. We determine all the possibilities for the torsion group $E(K)_{tor}$ where $K$ ranges over all quartic fields $K$ and…

We present an explicit expression of the cohomology complex of a constructible sheaf of abelian groups on the small \'etale site of an irreducible curve over an algebraically closed field, when the torsion of the sheaf is invertible in the…

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…

In this paper, we consider mod $\ell$ Galois representations of $\mathbb{Q}$. In particular, we obtain an effective criterion to distinguish two semisimple 2-dimensional, odd mod $\ell$ Galois representations up to isomorphism. Serre's…

Let $G$ be a commutative connected algebraic group over a number field $K$, let $A$ be a finitely generated and torsion-free subgroup of $G(K)$ of rank $r>0$ and, for $n>1$, let $K(n^{-1}A)$ be the smallest extension of $K$ inside an…