Related papers: The Arithmetic of Curves Defined by Iteration

We show how rational points on certain varieties parametrize phenomena arising in the Galois theory of iterates of quadratic polynomials. As an example, we characterize completely the set of quadratic polynomials $x^2+c$ whose third iterate…

We establish several surjectivity theorems regarding the Galois groups of small iterates of $\phi_c(x)=x^2+c$ for $c\in\mathbb{Q}$. To do this, we use explicit techniques from the theory of rational points on curves, including the method of…

We give a classification of all possible $2$-adic images of Galois representations associated to elliptic curves over $\mathbb{Q}$. To this end, we compute the 'arithmetically maximal' tower of 2-power level modular curves, develop…

We present an algorithm to determine the Galois group of an irreducible monic polynomial $f(x) \in \mathbb{Z}[x]$ of degree at most five. Following work of Conrad, Dummit, and Stauduhar this comes down to answering two questions: Is a given…

We study the Galois groups of polynomials arising from a compatible family of representations with big orthogonal monodromy. We show that the Galois groups are usually as large as possible given the constraints imposed on them by a…

Using Serre's proposed complement to Shih's Theorem, we obtain PSL_2(F_p) as a Galois group over Q for at least 614 new primes p. Under the assumption that rational elliptic curves with odd analytic rank have positive rank, we obtain Galois…

A fundamental problem in arithmetic geometry is to determine the image of the mod $N$ Galois representation for all elliptic curves over $\mathbb{Q}$ and integers $N \geq 1$. For a given subgroup $G \le…

We prove several results on torsion points and Galois representations for complex multiplication (CM) elliptic curves over a number field containing the CM field. One result computes the degree in which such an elliptic curve has a rational…

We give a quantitative version of a result due to N. Katz about L-functions of elliptic curves over function fields over finite fields. Roughly speaking, Katz's Theorem states that, on average over a suitably chosen algebraic family, the…

We study arithmetical and geometrical properties of {\it maximal curves}, that is, curves defined over the finite field $\mathbb F_{q^2}$ whose number of $\mathbb F_{q^2}$-rational points reachs the Hasse-Weil upper bound. Under a…

We characterize plane rational curves of degree four with two or more inner Galois points. A computer verifies the existence of plane rational curves of degree four with three inner Galois points. This would be the first example of a curve…

The arithmetic of elliptic curves, namely polynomial addition and scalar multiplication, can be described in terms of global sections of line bundles on $E\times E$ and $E$, respectively, with respect to a given projective embedding of $E$…

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

Using the action of the Galois group of a normal extension of number fields, we generalize and symmetrize various fundamental statements in algebra and algebraic number theory concerning splitting types of prime ideals, factorization types…

We study the collection of group structures that can be realized as a group of rational points on an elliptic curve over a finite field (such groups are well known to be of rank at most two). We also study various subsets of this collection…

A criterion for the existence of a birational embedding into a projective plane with three collinear Galois points for algebraic curves is presented. The extendability of an automorphism induced by a Galois point to a linear transformation…

A (projective, geometrically irreducible, non-singular) curve $\mathcal{X}$ defined over a finite field $\mathbb{F}_{q^2}$ is maximal if the number $N_{q^2}$ of its $\mathbb{F}_{q^2}$-rational points attains the Hasse-Weil upper bound, that…

We obtain a criterion for when the specialization of the iterated Galois group for a post-critically finite (PCF) rational map is as large as possible, i.e., it equals the generic iterated Galois group for the given map.

For a given elliptic curve $E$ over a finite local ring, we denote by $E^{\infty}$ its subgroup at infinity. Every point $P \in E^{\infty}$ can be described solely in terms of its $x$-coordinate $P_x$, which can be therefore used to…

Let $E$ be an elliptic curve defined over $\mathbf{Q}$ without complex multiplication. For each prime $\ell$, there is a representation $\rho_{E,\ell}\colon \text{Gal}(\overline{\mathbf{Q}}/\mathbf{Q}) \to \text{GL}_2(\mathbf{F}_{\ell})$…