Related papers: A single source theorem for primitive points on cu…
Let N_q(g) denote the maximal number of F_q-rational points on any curve of genus g over the finite field F_q. Ihara (for square q) and Serre (for general q) proved that limsup_{g-->infinity} N_q(g)/g > 0 for any fixed q. In their proofs…
We show that for any family of curves over a base scheme of finite type over the prime field $\mathbb F_p$ such that the monodromy is ``maximal'', there exist infinitely many closed points of the base scheme such that the Jacobian of fibre…
Let $C$ be a smooth curve with gonality $k\ge 6$ and genus $g\ge 2k^2+5k-6$. We prove that $W^1_d({C})$ has the expected dimension and that the general element of any irreducible component of $W^1_d({C})$ is primitive if either $g-k+4\le…
Fix a hyperelliptic curve $C/\mathbb{Q}$ of genus $g$, and consider the number fields $K/\mathbb{Q}$ generated by the algebraic points of $C$. In this paper, we study the number of such extensions with fixed degree $n$ and discriminant…
If $\mathfrak{g} \subseteq \mathfrak{h}$ is an extension of Lie algebras over a field $k$ such that ${\rm dim}_k (\mathfrak{g}) = n$ and ${\rm dim}_k (\mathfrak{h}) = n + m$, then the Galois group ${\rm Gal} \, (\mathfrak{h}/\mathfrak{g})$…
We examine the different ways of writing a cover of curves $\phi\colon C\to D$ over a field $K$ as a composition $\phi=\phi_n\circ\phi_{n-1}\circ\dots\circ\phi_1$, where each $\phi_i$ is a cover of curves over $K$ of degree at least $2$…
We introduce the notion of primitive elements in arbitrary truncated $p$-divisible groups. By design, the scheme of primitive elements is finite and locally free over the base. Primitive elements generalize the "points of exact order $N$,"…
In this paper we investigate an arithmetic analogue of the gonality of a smooth projective curve $C$ over a number field $k$: the minimal $e$ such there are infinitely many points $P \in C(\bar{k})$ with $[k(P):k] \leq e$. Developing…
We present several constraints on the absolute Galois groups G_F of fields F containing a primitive pth root of unity, using restrictions on the cohomology of index p normal subgroups from a previous paper by three of the authors. We first…
A permutation group $(X,G)$ is said to be binary, or of relational complexity $2$, if for all $n$, the orbits of $G$ (acting diagonally) on $X^2$ determine the orbits of $G$ on $X^n$ in the following sense: for all $\bar{x},\bar{y} \in…
This paper is devoted to a very classical problem that can be summarized as follows: let S be a non singular compact complex surface, f:S --> P^2 a finite morphism having simple branching, B the branch curve: to what extent does B determine…
We study complex projective plane curves with a given group of automorphisms. Let $G$ be a simple primitive subgroup of $PGL(3, \mathbb{C})$, which is isomorphic to $A_{6}$, $A_{5}$ or $PSL(2, \mathbb{F}_{7})$. We obtain a necessary and…
For a list $\cal{L}$ of finite groups and for a profinite group $G$, we consider the intersection $T(G)$ of all open normal subgroups $N$ of $G$ with $G/N$ in $\cal{L}$. We give a cohomological characterization of the epimorphisms…
For every odd prime number p, we give examples of non-constant smooth families of genus 2 curves over fields of characteristic p which have pro-Galois (pro-\'etale) covers of infinite degree with geometrically connected fibers. The…
Let $G$ be a finite group. Then there exists a first-order statement $S(G)$ in the language of rings without parameters and depending only on $G$ such that, for any field $K$, we have that $K\models S(G)$ if and only if $K$ has a Galois…
We show that finite fields over which there is a curve of a given genus g with its Jacobian having a small exponent, are very rare. This extends a recent result of W. Duke in the case g=1. We also show when g=1 or g=2 that our bounds are…
We prove that there is only a finite number of genus 2 curves C defined over Q such that there exists a nonconstant morphism pi:X_1(N) --->C defined over Q and the jacobian of C, J(C), is a Q-factor of the new part of the jacobian of…
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…
A conjecture of Amitsur states that two Severi-Brauer varieties are birationally isomorphic if and only if the underlying algebras are the same degree and generate the same cyclic subgroup of the Brauer group. It is known that generating…
We define a category whose objects are finite etale coverings of an algebraic stack and prove that it is a Galois category and that it allows one to compute the fundamental group of the stack. We then prove a Van Kampen theorem for…