No Arabic abstract
Let $X$ be a smooth projective connected curve of genus $gge 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Let $G$ be a finite group, $P$ a Sylow $p$-subgroup of $G$ and $N_G(P)$ its normalizer in $G$. We show that if there exists an etale Galois cover $Yto X$ with group $N_G(P)$, then $G$ is the Galois group wan etale Galois cover $mathcal{Y}tomathcal{X}$, where the genus of $mathcal{X}$ depends on the order of $G$, the number of Sylow $p$-subgroups of $G$ and $g$. Suppose that $G$ is an extension of a group $H$ of order prime to $p$ by a $p$-group $P$ and $X$ is defined over a finite field $mathbb{F}_q$ large enough to contain the $|H|$-th roots of unity. We show that integral idempotent relations in the group ring $mathbb{C}[H]$ imply similar relations among the corresponding generalized Hasse-Witt invariants.
In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyperelliptic curves. Furthermore, we provide explicit examples of hyperelliptic curves of genus $2$ and $3$ over $mathbb Q$ whose Jacobians have such maximal adelic Galois representations.
Explicit descriptions of local integral Galois module generators in certain extensions of $p$-adic fields due to Pickett have recently been used to make progress with open questions on integral Galois module structure in wildly ramified extensions of number fields. In parallel, Pulita has generalised the theory of Dworks power series to a set of power series with coefficients in Lubin-Tate extensions of $Q_p$ to establish a structure theorem for rank one solvable p-adic differential equations. In this paper we first generalise Pulitas power series using the theories of formal group exponentials and ramified Witt vectors. Using these results and Lubin-Tate theory, we then generalise Picketts constructions in order to give an analytic representation of integral normal basis generators for the square root of the inverse different in all abelian totally, weakly and wildly ramified extensions of a p-adic field. Other applications are also exposed.
Let $Pi$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $lambda$ of the field of algebraic numbers which is prime to p, consider the $lambda$-adic pro-semisimple completion of $Pi$ as an object of the groupoid whose objects are pro-semisimple groups and whose morphisms are isomorphisms up to conjugation by elements of the neutral connected component. We prove that this object does not depend on $lambda$. If dim X=1 we also prove a crystalline generalization of this fact. We deduce this from the Langlands conjecture for function fields (proved by L. Lafforgue) and its crystalline analog (proved by T. Abe) using a reconstruction theorem in the spirit of Kazhdan-Larsen-Varshavsky. We also formulate two related conjectures, each of which is a reciprocity law involving a sum over all $l$-adic cohomology theories (including the crystalline theory for $l=p$).
Let $X$ be an algebraic surface of degree $5$, which is considered as a branch cover of $mathbb{CP}^2$ with respect to a generic projection. The surface has a natural Galois cover with Galois group $S_5$. In this paper, we deal with the fundamental groups of Galois covers of degree $5$ surfaces that degenerate to nice plane arrangements; each of them is a union of five planes such that no three planes meet in a line.
We associate to every algebraic number field a hyperbolic surface lamination and an external fundamental group: the latter a generalization of the fundamental germ that necessarily contains external (not first order definable) elements. The external fundamental group of the rationals is a split extension of the absolute Galois group, that conjecturally contains a subgroup whose abelianization is isomorphic to the idele class group.