We construct explicit examples of E_8 lattices occurring in arithmetic for which the natural Galois action is equal to the full group of automorphisms of the lattice, i.e., the Weyl group of E_8. In particular, we give explicit elliptic curves over Q(t) whose Mordell-Weil lattices are isomorphic to E_8 and have maximal Galois action.
Our main objects of study are del Pezzo surfaces of degree 1 over number fields. The geometric Picard group, considered as a lattice via the negative of the intersection pairing, contains a sublattice isomorphic to E_8. We construct examples of such surfaces for which the action of Galois on the geometric Picard group is maximal.
This note provides an insight to the diophantine properties of abelian surfaces with quaternionic multiplication over number fields. We study the fields of definition of the endomorphisms on these abelian varieties and the images of the Galois representations on their Tate modules. We illustrate our results with several explicit examples.
In the present paper, we will show that three apparently disjoint objects: Galois representations arising from twenty-seven lines on a cubic surface (number theory and arithmetic algebraic geometry), Picard modular forms (automorphic forms), rigid Calabi-Yau threefolds and their arithmetic (Diophantine geometry) are intimately related to Hessian polyhedra and their invariants. We construct a Galois representation whose image is a proper subgroup of $W(E_6)$, the Weyl group of the exceptional Lie algebra $E_6$. We give a conjecture about the identification of two different kinds of $L$-function…
We study toric varieties over a field k that split in a Galois extension K/k using Galois cohomology with coefficients in the toric automorphism group. Part of this Galois cohomology fits into an exact sequence induced by the presentation of the class group of the toric variety. This perspective helps to compute the Galois cohomology, particularly for cyclic Galois groups. We use Galois cohomology to classify k-forms of projective spaces when K/k is cyclic, and we also study k-forms of surfaces.
Assume that $X$ and $Y$ are arithmetic schemes, i.e., integral schemes of finite types over $Spec(\mathbb{Z})$. Then $X$ is said to be quasi-galois closed over $Y$ if $X$ has a unique conjugate over $Y$ in some certain algebraically closed field, where the conjugate of $X$ over $Y$ is defined in an evident manner. Now suppose that $ϕ:X\to Y$ is a surjective morphism of finite type such that $X$ is quasi-galois closed over $Y$. In this paper the main theorem says that the function field $ k(X)$ is canonically a Galois extension of $k(Y)$ and the automorphism group ${Aut}(X/Y)$ is isomorphic to …
We develop a computational framework for the statistical characterization of Galois characters with finite image, with application to characterizing Galois groups and establishing equivalence of characters of finite images of $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$.
Differential equations have arithmetic analogues in which derivatives are replaced by Fermat quotients; these analogues are called arithmetic differential equations and the present paper is concerned with the "linear" ones. The equations themselves were introduced in a previous paper. In the present paper we deal with the solutions of these equations as well as with the differential Galois groups attached to the solutions.
We use techniques of relative algebraic K-theory to develop a common refinement of the existing theories of metrized and hermitian Galois structures in arithmetic. As a first application of this very general approach, we then use it to prove several new results, and to formulate a framework of new conjectures, concerning the detailed arithmetic properties of wildly ramified Galois-Gauss sums.
We study the relationship between the local and global Galois theory of function fields over a complete discretely valued field. We give necessary and sufficient conditions for local separable extensions to descend to global extensions, and for the local absolute Galois group to inject into the global absolute Galois group. As an application we obtain a local-global principle for the index of a variety over such a function field. In this context we also study algebraic versions of van Kampen's theorem, describing the global absolute Galois group as a pushout of local absolute Galois groups.
We show that the generalized Giulietti-Korchmáros curve is not a Galois subcover of the Hermitian curve over $\mathbb{F}_{q^{2n}}$. This answers a question raised by Garcia, Güneri and Stichtenoth.
In 2017 Skabelund constructed two new examples of maximal curves $\tilde{\mathcal{S}}_q$ and $\tilde{\mathcal{R}}_q$ as covers of the Suzuki and Ree curves, respectively. The resulting Skabelund curves are analogous to the Giulietti-Korchmáros cover of the Hermitian curve. In this paper a complete characterization of all Galois subcovers of the Skabelund curves $\tilde{\mathcal{S}}_q$ and $\tilde{\mathcal{R}}_q$ is given. Calculating the genera of the corresponding curves, we find new additions to the list of known genera of maximal curves over finite fields.
In this paper we extend a conjecture of Ash and Sinnott relating niveau one Galois representation to the mod p cohomology of congruence subgroups of SL(n,Z) to include Galois representations of higher niveau. We then present computational evidence for our conjecture in the case n=3 in the form of three-dimensional Galois representations which appear to correspond to cohomology eigenclasses as predicted by the conjecture. Our examples include Galois representations with nontrivial weight and level, as well as irreducible three-dimensional representations which are in no obvious way related to l…
We formulate a general question regarding the size of the iterated Galois groups associated to an algebraic dynamical system and then we discuss some special cases of our question.
In connection with our previous work on semi-galois categories, this paper proves an arithmetic analogue of Christol's theorem concerning an automata-theoretic characterization of when a formal power series over finite field is algebraic over the polynomial ring. There are by now several variants of Christol's theorem, all of which are concerned with rings of positive characteristic. This paper provides an arithmetic (or F_1) variant of Christol's theorem in the sense that it replaces the polynomial ring with the ring of integers of a number field and the ring of formal power series with the r…
Based on the analogies between mapping class groups and absolute Galois groups, we introduce an arithmetic pro-$\ell$ analogue of Orr invariants for a Galois element associated with Galois action on étale fundamental groups of punctured projective lines. At the same time, we also introduce pro-$\ell$ Orr space as an arithmetic analogue of Orr space whose third homotopy group is a target group of Orr invariant. We then determine its rank as $\mathbb{Z}_{\ell}$-module following Igusa-Orr's computation. Moreover, we investigate its relation with Ellenberg's obstruction to $π_1$-sections associate…
Field Arithmetic studies the interplay between arithmetical properties of fields and their absolute Galois groups. Here we studies fields satisfying local global principles for rational points of varieties and profinite groups satisfying local global principles for solvability of embedding problems.
We consider stacks of filtered phi-modules over rigid analytic spaces and adic spaces. We show that these modules parametrize p-adic Galois representations of the absolute Galois group of a p-adic field with varying coefficients over an open substack containing all classical points. Further we study a period morphism (defined by Pappas and Rapoport) from a stack parametrizing integral data and determine the image of this morphism.
The arboreal Galois group of a polynomial $f$ over a field $K$ encodes the action of Galois on the iterated preimages of a root point $x_0\in K$, analogous to the action of Galois on the $\ell$-power torsion of an abelian variety. We compute the arboreal Galois group of the postcritically finite polynomial $f(z) = z^2 - 1$ when the field $K$ and root point $x_0$ satisfy a simple condition. We call the resulting group the arithmetic basilica group because of its relation to the basilica group associated with the complex dynamics of $f$. For $K=\mathbb{Q}$, our condition holds for infinitely man…
The object of this paper is the study of a class of dessins d'enfants, the so-called diameter four trees. These objects, first introduced by G. Shabat, can be considered as the simplest non trivial example of etale covers of the projective line minus three points. Their arithmetic properties are still mysterious, and their study can inspire the understanding of more general situations. Here, the main interest is devoted to the action of the absolute Galois group on these (isomorphism classes of) coverings. In particular, in many cases, we are able to distinguish Galois orbits and to describe t…
This paper is devoted to the explicit description of the Galois descent obstruction for hyperelliptic curves of arbitrary genus whose reduced automorphism group is cyclic of order coprime to the characteristic of their ground field. Along the way, we obtain an arithmetic criterion for the existence of a hyperelliptic descent. The obstruction is described by the so-called arithmetic dihedral invariants of the curves in question. If it vanishes, then the use of these invariants also allows the explicit determination of a model over the field of moduli; if not, then one obtains a hyperelliptic mo…
In \cite{S}, Shyr derived an analogue of Dirichlet's class number formula for arithmetic Tori. We use this formula to derive a Brauer-Siegel formula for Tori, relating the Discriminant of a torus to the product of its regulator and class number. We apply this formula to derive asymptotics and lower bounds for Galois orbits of CM points in the Siegel modular variety $A_{g,1}$. Specifically, we ask that the sizes of these orbits grows like a power of Discriminant of the underlying endomorphism algebra. We prove this unconditionally in the case $g\leq 5$, and for all $g$ under the Generalized Rie…
We study equivariant de Rham discriminants associated to arithmetic varieties which support a tame action by a finite group; we form these discriminants by endowing the de Rham cohomology with pairings arising from duality theory. Such equivariant discriminants are shown to break up naturally into a metric part and a signature part. In a previous paper we described the equivariant Arakelov discriminants, obtained by endowing the equivariant determinant of de Rham cohomology with various metrics. In this paper we study the associated equivariant signature information; in particular, we show tha…
We prove that certain fields have the property that their absolute Galois groups are free as profinite groups: the function field of a real curve with no real points; the maximal abelian extension of a 2-variable Laurent series field over a separably closed field; and the maximal abelian extension of the function field of a curve over a finite field. These results are related to generalizations of Shafarevich's conjecture.
In this paper we exhibit the notion of (uniformly) good sections of arithmetic fundamental groups. We introduce and investigate the problem of cuspidalisation of sections of arithmetic fundamental groups, its ultimate aim is to reduce the solution of the Grothendieck anabelian section conjecture to the solution of its birational version. We show that (uniformly) good sections of arithmetic fundamental groups of smooth, proper, and geometrically connected hyperbolic curves over slim (and regular) fields can be lifted to sections of cuspidally abelian absolute Galois groups. As an application we…
We study Galois representations attached to nonsimple abelian varieties over finitely generated fields of arbitrary characteristic. We give sufficient conditions for such representations to decompose as a product, and apply them to prove arithmetical analogues of results shown by Moonen and Zarhin in the context of complex abelian varieties (of dimension at most 5).
In our previous paper we describe the Galois module structures of $p$th-power class groups $K^\times/{K^{\times p}}$, where $K/F$ is a cyclic extension of degree $p$ over a field $F$ containing a primitive $p$th root of unity. Our description relies upon arithmetic invariants associated with $K/F$. Here we construct field extensions $K/F$ with prescribed arithmetic invariants, thus completing our classification of Galois modules $K^{\times}/K^{\times p}$.
We construct an explicit example of a genus $2$ curve $C$ over a number field $K$ such that the adelic Galois representation arising from the action of $\operatorname{Gal}(\overline{K}/K)$ on the Jacobian of $C$ has image $\operatorname{GSp}_4(\widehat{\mathbb Z})$.
The power classes of a field are well-known for their ability to parameterize elementary $p$-abelian Galois extensions. These classical objects have recently been reexamined through the lens of their Galois module structure. Module decompositions have been computed in several cases, providing deep new insight into absolute Galois groups. The surprising result in each case is that there are far fewer isomorphism types of indecomposables than one would expect generically, with summands predominately free over associated quotient rings. Though non-free summands are the exception both in their for…
We show that for any given field $k$ and natural number $r\geq2$, every continuous extension of the absolute Galois group $\mathrm{Gal}_k$ by a finite group is the arithmetic fundamental group of a geometrically connected smooth projective variety over $k$ of dimension $r$.
We prove that the number of unimodular integral matrices in a norm ball whose characteristic polynomial has Galois group different than the full symmetric group is of strictly lower order of magnitude than the number of all such matrices in the ball, as the radius increases. More generally, we prove a similar result for the Galois groups associated with elements in any connected semisimple linear algebraic group defined and simple over a number field $F$. Our method is based on the abstract large sieve method developed by Kowalski, and the study of Galois groups via reductions modulo primes de…
The aim of this paper is to extend some arithmetic results on elliptic modular forms to the case of Hilbert modular forms. Among these results let's mention : (1) the control of the image of the Galois representation modulo $p$, (2) Hida's congruence criterion outside an explicit set of primes $p$, and (3) the freeness of the integral cohomology of the Hilbert modular variety over certain local components of the Hecke algebra and the Gorenstein property of these local algebras. We study the arithmetic of the Hilbert modular forms by studying their modulo $p$ Galois representations and our main…
We observe that some basic but fundamental constructions in Galois theory can be used to obtain some interesting restrictions on the structure of Galois groups of maximal $p$-extensions of fields containing a primitive $p$th root of unity. This is an extension of some significant ideas of Demushkin, Labute and Serre from local fields to all fields containing a primitive $p$th root of unity. Our techniques use certain natural simple Galois extensions together with some considerations in Galois cohomology and Massey products.
Given a non-isotrivial elliptic curve over an arithmetic surface, one obtains a lisse $\ell$-adic sheaf of rank two over the surface. This lisse sheaf has a number of straightforward properties: cyclotomic determinant, finite ramification, rational traces of Frobenius, and somewhere not potentially good reduction. We prove that any lisse sheaf of rank two possessing these properties comes from an elliptic curve.
Given a smooth and separated K(pi,1) variety X over a field k, we associate a "cycle class" in etale cohomology with compact supports to any continuous section of the natural map from the arithmetic fundamental group of X to the absolute Galois group of k. We discuss the algebraicity of this class in the case of curves over p-adic fields, and deduce in particular a new proof of Stix's theorem according to which the index of a curve X over a p-adic field k must be a power of p as soon as the natural map from the arithmetic fundamental group of X to the absolute Galois group of k admits a sectio…
Given an elliptic curve E over a number field k, the Galois action on the torsion points of E induces a Galois representation, ρ_E : Gal(\bar{k}/k) \to GL_2(\hat{Z}). For a fixed number field k, we describe the image of ρ_E for a "random" elliptic curve E over k. In particular, if k\neq Q is linearly disjoint from the cyclotomic extension of Q, then ρ_E will be surjective for "most" elliptic curves over k.
For a prime number $p$, we give a new restriction on pro-$p$ groups $G$ which are realizable as the maximal pro-$p$ Galois group $G_F(p)$ for a field $F$ containing a root of unity of order $p$. This restriction arises from Kummer Theory and the structure of the maximal $p$-radical extension of $F$. We study it in the abstract context of pro-$p$ groups $G$ with a continuous homomorphism $θ\colon G\to1+p\mathbb{Z}_p$, and characterize it cohomologically, and in terms of 1-cocycles on $G$. This is used to produce new examples of pro-$p$ groups which do not occur as maximal pro-$p$ Galois groups …
In the present paper, we shall show that for any prime number p, every finite p-group occurs as the Galois Group of the maximal unramified p-extension over a certain number field of finite degree. We shall also show that for any given pro-p-group G with countably many generators, there exists a number field (not necessary of finite degree) whose maximal unramified p-extension has Galois group isomorphic to G. This means that the set of the isomorphism classes of the Galois groups of the maximal unramified p-extensions over the number fields (including of infinite degree) is precisely equal to …
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.
This paper investigates Galois branched covers of the open $p$-adic disc and their reductions to characteristic $p$. Using the field of norms functor of Fontaine and Wintenberger, we show that the special fiber of a Galois cover is determined by arithmetic and geometric properties of the generic fiber and its characteristic zero specializations. As applications, we derive a criterion for good reduction in the abelian case, and give an arithmetic reformulation of the local Oort Conjecture concerning the liftability of cyclic covers of germs of curves.
We prove several duality theorems for the Galois and etale cohomology of 1-motives defined over local and global fields and establish a 12-term Poitou-Tate type exact sequence. The results give a common generalisation and sharpening of well-known theorems by Tate on abelian varieties as well as results by Tate/Nakayama and Kottwitz on algebraic tori.
Generalizing results of Morishita and Vogel, an explicit description of the triple Massey product for the Galois group $G_S(2)$ of the maximal 2-extension of $\mathbb{Q}$ unramified outside a finite set of prime numbers $S$ containing 2 is given in terms of Rédei symbols. We show that mild pro-2-groups with Zassenhaus invariant 3 occur as Galois groups of the form $G_S(2)$. Furthermore, a non-analytic mild fab pro-2-group having only 3 generators is constructed .
We study the middle convolution of local systems on the punctured affine line in the setting of singular cohomology and in the setting of étale cohomology. We derive a formula to compute the topological monodromy of the middle convolution in the general case and use it to deduce some irreducibility criteria. Then we give a geometric interpretation of the middle convolution in the étale setting. This geometric approach to the convolution and the theory of Hecke characters yields information on the occurring arithmetic determinants. We employ these methods to realize special linear groups regula…
Let $k$ be a field of characteristic $0$. In this paper we describe a classification of smooth log K3 surfaces $X$ over $k$ whose geometric Picard group is trivial and which can be compactified into del Pezzo surfaces. We show that such an $X$ can always be compactified into a del Pezzo surface of degree $5$, with a compactifying divisor $D$ being a cycle of five $(-1)$-curves, and that $X$ is completely determined by the action of the absolute Galois group of $k$ on the dual graph of $D$. When $k=\mathbb{Q}$ and the Galois action is trivial, we prove that for any integral model $\mathcal{X}/\…
To each Drinfeld module over a finitely generated field with generic characteristic, one can associate a Galois representation arising from the Galois action on its torsion points. Recent work of Pink and Rütsche has described the image of this representation up to commensurability. Their theorem is qualitative, and the objective of this paper is to complement this theory with a worked out example. In particular, we give examples of Drinfeld modules of rank 2 for which the Galois action on their torsion points is as large as possible. We will follow the approach that Serre used to give explici…
We gives an explicit genus 3 curve over Q such that the Galois action on the torsion points of its Jacobian is a large as possible. That such curves exist is a consequence of a theorem of D. Zureick-Brown and the author; however, those methods do not produce explicit examples. We shall apply the general strategies of Hall and Serre in their open image theorems. We also make use of Serre's conjecture to show that the modulo ell Galois actions are irreducible. While we computationally focus on a single curve, the methods of this paper can be applied to a large family of genus 3 curves.
We consider the inverse Galois problem over function fields of positive characteristic p, for example, the inverse Galois problem over the projective line. We describe a method to construct certain Galois covers of the projective line and other curves, which are ordinary in the sense that their Jacobian has maximal p-torsion. We do this by constructing Galois covers of ordinary semi-stable curves, and then deforming them into smooth Galois covers.
Let $X$ be a normal, separated and integral scheme of finite type over $\mathbb{Z}$ and $\mathcal{M}$ a set of closed points of $X$. To a Galois cover $\tilde{X}$ of $X$ unramified over $\mathcal{M}$, we associate a quandle whose underlying set consists of points of $\tilde{X}$ lying over $\mathcal{M}$. As the limit of such quandles over all étale Galois covers and all étale abelian covers, we define topological quandles $Q(X, \mathcal{M})$ and $Q^\mathrm{ab}(X, \mathcal{M})$, respectively. Then we study the problem of reconstruction. Let $K$ be $\mathbb{Q}$ or a quadratic field, $\mathcal{O}_…
We prove two "large images" results for the Galois representations attached to a degree $d$ Q-curve $E$ over a quadratic field $K$: if $K$ is arbitrary, we prove maximality of the image for every prime $p >13$ not dividing $d$, provided that $d$ is divisible by $q$ (but $d \neq q$) with $q=2$ or 3 or 5 or 7 or 13. If $K$ is real we prove maximality of the image for every odd prime $p$ not dividing $d D$, where $D = \disc(K)$, provided that $E$ is a semistable Q-curve. In both cases we make the (standard) assumptions that $E$ does not have potentially good reduction at all primes $p \nmid 6$ an…
