Related papers: Bounds for Serre's open image theorem
For each open subgroup $G$ of ${\rm GL}_2(\hat{\mathbb{Z}})$ containing $-I$ with full determinant, let $X_G/\mathbb{Q}$ denote the modular curve that loosely parametrizes elliptic curves whose Galois representation, which arises from the…
Let $f$ be a genus two cuspidal Siegel modular eigenform. We prove an adelic open image theorem for the compatible system of Galois representations associated to $f$, generalising the results of Ribet and Momose for elliptic modular forms.…
Let $A = \prod_{1\leq i\leq n} A_i$ be the product of principally polarized abelian varieties $A_1, \ldots, A_n$ of dimensions $g_1, \ldots, g_n$, respectively, each defined over a number field $K$, and pairwise nonisogenous over…
Let $[K:\mathbb{Q}]=p$ be a prime number and let $E/K$ be an elliptic curve with $j(E) \in \mathbb{Q}$. We determine the all possibilities for $E(K)_{tors}$. We obtain these results by studying Galois representations of $E$ and of it's…
We study Galois action on $\Ext^1(E(\bar \Q),\Z^2)$ and interpret our results as partially showing that the notion of a path on a complex elliptic curve $E$ can be characterised algebraically. The proofs show that our results are just…
In this paper, we study tame Galois coverings of semistable models that arise from torsion points on elliptic curves. These coverings induce Galois morphisms of intersection graphs and we express the decomposition groups of the edges in…
Using a multidimensional large sieve inequality, we obtain a bound for the mean square error in the Chebotarev theorem for division fields of elliptic curves that is as strong as what is implied by the Generalized Riemann Hypothesis. As an…
One of the many interesting algebraic objects associated to a given rational elliptic curve, $E$, is its full-torsion representation $\rho_E:\mathrm{Gal}(\bar{\mathbf{Q}}/\mathbf{Q})\to\mathrm{GL}_2(\hat{\mathbf{Z}})$. Generalizing this…
An algebraic extension of the rational numbers is said to have the $\textit{Bogomolov property}$ (B) if the absolute logarithmic Weil height of its non-torsion elements is uniformly bounded from below. Given a continuous representation…
We complete the classification of torsion subgroups $E(K)_{\text{tors}}$ that can occur for an elliptic curve $E/\mathbb{Q}$ over a sextic number field $K$. Previous work determined the complete set of these groups, leaving the existence of…
It is known that for any elliptic curve $E/\mathbb{Q}$ and any integer $m$ co-prime to $30,$ the induced Galois representation $\rho_{E,m}: \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \longrightarrow \text{GL}_{2}(\mathbb{Z}/m\mathbb{Z})$…
In this work we generalise the main result of arXiv:1812.05651 to the family of hyperelliptic curves with potentially good reduction over a $p$-adic field which have degree $p$ and the largest possible image of inertia under the $\ell$-adic…
Let $E$ be a non-CM elliptic curve defined over $\mathbb {Q}$. Fix an algebraic closure $\overline{\mathbb {Q}}$ of $\mathbb {Q}$. We get a Galois representation \[\rho_E \colon Gal(\overline{\mathbb {Q}}/\mathbb {Q}) \to GL_2(\hat{\mathbb…
Let $A$ be a principally polarized abelian variety of dimension $g$ over a number field $K$. Assume that the image of the adelic Galois representation of $A$ is an open subgroup of $\operatorname{GSp}_{2g}(\hat{\mathbb{Z}})$. Then there…
For a number field K with absolute Galois group G_K, we consider the action of G_K on the infinite tree of preimages of a point in K under a degree-two rational function phi, with particular attention to the case when phi commutes with a…
Let $E/\mathbb{Q}$ be an elliptic curve, let $\overline{\mathbb{Q}}$ be a fixed algebraic closure of $\mathbb{Q}$, and let $G_{\mathbb{Q}}=\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ be the absolute Galois group of $\mathbb{Q}$. The…
We show that if $E/\mathbb{Q}$ is an elliptic curve without complex multiplication and for which there is a prime $q$ such that the image of $\bar{\rho}_{E,q}$ is contained in the normaliser of a split Cartan subgroup of…
We give an effective version of a result reported by Serre asserting that the images of the Galois representations attached to an abelian surface with $\End(A)= \mathbb{Z}$ are as large as possible for almost every prime. Our algorithm…
For an elliptic curve $E$ over $\ratq$ and an integer $r$ let $\pi_E^r(x)$ be the number of primes $p\le x$ of good reduction such that the trace of the Frobenius morphism of $E/\fie_p$ equals $r$. We consider the quantity $\pi_E^r(x)$ on…
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…