Detecting pro-p-groups that are not absolute Galois groups, expanded version
Dave Benson, Nicole Lemire, Jan Minac, John Swallow
备注：
38 pages; expanded version of paper with similar title; contains some additional material and further comments and details; expanded version is not intended for publication
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 classify all maximal p-elementary abelian-by-order p quotients of such G_F. In the case p>2, each such quotient contains a unique closed index p elementary abelian subgroup. This seems to be the first case in which one can completely classify nontrivial quotients of absolute Galois groups by characteristic subgroups of normal subgroups. We then derive analogues of theorems of Artin-Schreier and Becker for order p elements of certain small quotients of G_F. Finally, we construct new families of pro-p-groups which are not absolute Galois groups over any field F.
The present notes are the expanded and polished version of three lectures given in Stanford, concerning the analytic and arithmetic properties of weight one modular forms. The author tried to write them in a style accessible to non-analytically oriented number theoritists: in particular, some effort is made to be precise on statements involving uniformity in the parameters. On the other hand, another purpose was to provide an introduction, together with a set of references, consciously kept small, to the realm of Galois representations, for non-algebraists -- like the author. The proofs are sk…
For many finite groups, the Inverse Galois Problem can be approached through modular/automorphic Galois representations. This is a report explaining the basic strategy, ideas and methods behind some recent results. It focusses mostly on the 2-dimensional case and underlines in particular the importance of understanding coefficient fields.
The fundamental theorem of arithmetic factorizes any integer into a product of prime numbers. The Jordan-Holder theorem dissolves many groups by their normal series which can be refined into composition series. The main topic of this thesis is the dissociation of field extensions. We dissociate algebraic extensions by their intermediate fields to build a tower with the greatest possible number of Galois steps. We call "galtowerable" the extensions admitting a field tower all the steps of which are Galois extensions,i.e. a "Galois tower". Two Galois towers of the same galtowerable extension (fi…
We introduce and study a class of field extensions that we call pre-Galois; viz. extensions that become Galois after some linearly disjoint Galois base change. Among them are geometrically Galois extensions of k(T), with k a field: extensions that become Galois and remain of the same degree after passing to the algebraic closure of k. We develop a pre-Galois theory that includes a Galois correspondence, and investigate the corresponding variants of the inverse Galois problem. We provide answers in situations where the classical analogs are not known. In particular, for every finite simple grou…
It is proved that every two-dimensional residual Galois representation of the absolute Galois group of an arbitrary number field lifts to a characteristic zero $p$-adic representation, if local lifting problems at places above $p$ are unobstructed.
We introduce Galois families of modular forms. They are a new kind of family coming from Galois representations of the absolute Galois groups of rational function fields over the rational field. We exhibit some examples and provide an infinite Galois family of non-liftable weight one Katz modular eigenforms over an algebraic closure of F_p for p in {3,5,7,11}.
We show that the simple group PSL_2(F_p) occurs as the Galois group of an extension of the rationals for all primes p>3. We obtain our Galois extensions by studying the Galois action on the second etale cohomology groups of a specific elliptic surface.
We investigate the Galois cohomology of finitely generated maximal pro-$p$ quotients of absolute Galois groups. Assuming the well-known conjectural description of these groups, we show that Galois cohomology has the PBW property. Hence in particular it is a Koszul algebra. This answers positively a conjecture by Positselski in this case. We also provide an analogous unconditional result about Pythagorean fields. Moreover, we establish some results that relate the quadratic dual of Galois cohomology with $p$-Zassenhaus filtration on the group. This paper also contains a survey of Koszul propert…
For each of the groups PSL2(F25), PSL2(F32), PSL2(F49), PGL2(F25), and PGL2(F27), we display the first explicitly known polynomials over Q having that group as Galois group. Each polynomial is related to a Galois representation associated to a modular form. We indicate how computations with modular Galois representations were used to obtain these polynomials. For each polynomial, we also indicate how to use Serre's conjectures to determine the modular form giving rise to the related Galois representation.
We examine which representations of the absolute Galois group of a field of finite characteristic with image over a finite field of the same characteristic may be constructed by the Galois group's action on the division points of an appropriate Drinfeld module.
In this paper we obtain realizations of the 4-dimensional general symplectic group over a prime field of characteristic $\ell>3$ as the Galois group of a tamely ramified Galois extension of $\mathbb{Q}$. The strategy is to consider the Galois representation $ρ_{\ell}$ attached to the Tate module at $\ell$ of a suitable abelian surface. We need to choose the abelian varieties carefully in order to ensure that the image of $ρ_{\ell}$ is large and simultaneously maintain a control on the ramification of the corresponding Galois extension. We obtain an explicit family of curves of genus 2 such tha…
We say a tame Galois field extension $L/K$ with Galois group $G$ has trivial Galois module structure if the rings of integers have the property that $\Cal{O}_{L}$ is a free $\Cal{O}_{K}[G]$-module. The work of Greither, Replogle, Rubin, and Srivastav shows that for each algebraic number field other than the rational numbers there will exist infinitely many primes $l$ so that for each there is a tame Galois field extension of degree $l$ so that $L/K$ has nontrivial Galois module structure. However, the proof does not directly yield specific primes $l$ for a given algebraic number field $K.$ For…
We prove the indecomposability of Galois representation restricted to the p-decomposition group attached to a non CM nearly p-ordinary weight two Hilbert modular form under mild conditions.
Given a field $k$ and a finite group $H$, {\it{an $H$-parametric extension over $k$}} is a finite Galois extension of $k(T)$ of Galois group containing $H$ which is regular over $k$ and has all the Galois extensions of $k$ of group $H$ among its specializations. We are mainly interested in producing non $H$-parametric extensions, which relates to classical questions in inverse Galois theory like the Beckmann-Black problem and the existence of one parameter generic polynomials. We develop a general approach started in a preceding paper and provide new non parametricity criteria and new examples…
If $K/\mathbb Q$ is a finite Galois extension with an almost monomial Galois group and if $s_0\in\mathbb C\setminus\{1\}$ is not a common zero for any two Artin L-functions associated to distinct complex irreducible characters of the Galois group then all Artin L-functions of $K/\mathbb Q$ are holomorphic at $s_0$. We present examples and basic properties of almost monomial groups.
We study the inverse Galois problem with local conditions. In particular, we ask whether every finite group occurs as the Galois group of a Galois extension of $\mathbb{Q}$ all of whose decomposition groups are cyclic (resp., abelian). This property is known for all solvable groups due to Shafarevich's solution of the inverse Galois problem for those groups. It is however completely open for nonsolvable groups. In this paper, we provide general criteria to attack such questions via specialization of function field extensions, and in particular give the first infinite families of Galois realiza…
By two well-known results, one of Ax, one of Lubotzky and van den Dries, a profinite group is projective iff it is isomorphic to the absolute Galois group of a pseudo-algebraically closed field. This paper gives an analogous characterization of relatively projective profinite groups as absolute Galois groups of regularly closed fields.
We give a survey of results on the Galois group of polynomials obtained by truncation of power series, the main example being the exponential series. We also present some evidence of a new phenomena: Galois groups of Padé approximation polynomials seem to have special properties as well.
In this article, we show that the Inverse Galois Problem over a skew field $H$ of finite dimension over its center $k$ is equivalent to a variant of the Inverse Galois Problem over $k$ involving a polynomial constraint. As an application, we show that if $k$ contains an ample field, then the Inverse Galois Problem has a positive answer over the skew field $H(t)$ of rational fractions with central indeterminate.
In this paper we generalize results of P. Le Duff to genus n hyperelliptic curves. More precisely, let C/Q be a hyperelliptic genus n curve and let J(C) be the associated Jacobian variety. Assume that there exists a prime p such that J(C) has semistable reduction with toric dimension 1 at p. We provide an algorithm to compute a list of primes l (if they exist) such that the Galois representation attached to the l-torsion of J(C) is surjective onto the group GSp(2n, l). In particular we realize GSp(6, l) as a Galois group over Q for all primes l in [11, 500000].
The inverse Galois problem is concerned with finding a Galois extension of a field $K$ with given Galois group. In this paper we consider the particular case where the base field is $K=\F_p(t)$. We give a conjectural formula for the minimal number of primes, both finite and infinite, ramified in $G$-extensions of $K$, and give theoretical and computational proofs for many cases of this conjecture.
Let l be an odd prime and K/k a Galois extension of totally real number fields with Galois group G such that K/k_\infty and k/Q are finite. We give a full description of the algebraic structure of the semisimple algebra QG=Quot(ΛG) for pro-l Galois groups G with ΛG = Z_l[[G]] the Iwasawa algebra. We moreover compute the cohomological dimension of the centres of the Wedderburn components of QG and state some results on the completion of QG.
In this paper, we study the Hopf-Galois structures on a finite Galois extension whose Galois group $G$ is an almost simple group in which the socle $A$ has prime index $p$. Each Hopf-Galois structure is associated to a group $N$ of the same order as $G$. We give necessary criteria on these $N$ in terms of their group-theoretic properties, and determine the number of Hopf-Galois structures associated to $A\times C_p$, where $C_p$ is the cyclic group of order $p$.
Hopf Galois theory for finite separable field extensions was introduced by Greither and Pareigis. They showed that all Hopf Galois extensions of degree up to 5 are either Galois or almost classically Galois and they determined the Hopf Galois character of a separable extension according to the Galois group (or the degree) of its Galois closure. In this paper we study degree 6 separable extensions as well as intermediate extensions for degrees 4,5 and 6. We present an example of a non almost classically Galois Hopf Galois extension of the field of rational numbers of the smallest possible degre…
We construct motivic $\ell$-adic representations of $\GQ$ into exceptional groups of type $E_7,E_8$ and $G_2$ whose image is Zariski dense. This answers a question of Serre. The construction is uniform for these groups and uses the Langlands correspondence for function fields. As an application, we solve new cases of the inverse Galois problem: the finite simple groups $E_{8}(\FF_{\ell})$ are Galois groups over $\QQ$ for large enough primes $\ell$.
Let p be a prime. We study pro-p groups of p-absolute Galois type, as defined by Lam-Liu-Sharifi-Wake-Wang. We prove that the pro-p completion of the right-angled Artin group associated to a chordal simplicial graph is of p-absolute Galois type, and moreover it satisfies a strong version of the Massey vanishing property. Also, we prove that Demushkin groups are of p-absolute Galois type, and that the free pro-p product -- and, under certain conditions, the direct product -- of two pro-p groups of p-absolute Galois type satisfying the Massey vanishing property is again a pro-p group of p-absolu…
Let L be a Galois extension of a countable Hilbertian field K. Although L need not be Hilbertian, we prove that an abundance of large Galois subextensions of L/K are.
Let $p$ be a prime. We produce two new families of pro-$p$ groups which are not realizable as absolute Galois groups of fields. To prove this we use the 1-smoothness property of absolute Galois pro-$p$ groups. Moreover, we show in these families one has one-relator pro-$p$ groups which may not be ruled out as absolute Galois groups employing the quadraticity of Galois cohomology (a consequence of Rost-Voevodsky Theorem), or the vanishing of Massey products in Galois cohomology.
In this paper we concentrate on the relations between the structure of small Galois groups, arithmetic of fields, Bloch-Kato conjecture, and Galois groups of maximal pro-$p$-quotients of absolute Galois groups.
In this paper the transcendental Galois extensions of a field will be introduced as counterparts to algebraic Galois ones. There exist several types of transcendental Galois extensions of a given field, from the weakest one to the strongest one, such as Galois, tame Galois, strong Galois, and absolute Galois. The four Galois extensions are distinct from each other in general but coincide with each other for cases of algebraic extensions. The transcendental Galois extensions arise from higher relative dimensional Galois covers of arithmetic schemes. In the paper we will obtain several propertie…
We prove a new Hilbertianity criterion for fields in towers whose steps are Galois with Galois group either abelian or a product of finite simple groups. We then apply this criterion to fields arising from Galois representations. In particular we settle a conjecture of Jarden on abelian varieties.
The Hopf-Galois structures admitted by a Galois extension of fields $ L/K $ with Galois group $ G $ correspond bijectively with certain subgroups of $ \mathrm{Perm}(G) $. We use a natural partition of the set of such subgroups to obtain a method for partitioning the set of corresponding Hopf-Galois structures, which we term $ ρ$-conjugation. We study properties of this construction, with particular emphasis on the Hopf-Galois analogue of the Galois correspondence, the connection with skew left braces, and applications to questions of integral module structure in extensions of local or global f…
The fundamental group of Fermat and generalized Fermat curves is computed. These curves are Galois ramified covers of the projective line with abelian Galois groups $H$. We provide a unified study of the action of both cover Galois group $H$ and the absolute Galois group $\mathrm{Gal}(\bar{\Q}/\Q)$ on the pro-$\ell$ homology of the curves in study. Also the relation to the pro-$\ell$ Burau representation is investigated.
Pink has given a qualitative answer to the Mumford-Tate conjecture for Drinfeld modules in the 90s. He showed that the image of the v-adic Galois representation is v-adically open in the motivic Galois group for any prime v. In contrast to this result, we provide a family of uniformizable Anderson t-modules for which the Galois representations of their t-adic Tate-modules are "far from" having t-adically open image in their motivic Galois groups. Nevertheless, the image is still Zariski-dense in the motivic Galois group which is in accordance to the Mumford-Tate conjecture. For the proof, we e…
We introduce the parameterized generic Galois group of a q-difference module, that is a differential group in the sense of Kolchin. It is associated to the smallest differential tannakian category generated by the q-difference module, equipped with the forgetful functor. Our previous results on the Grothendieck conjecture for q-difference equations lead to an adelic description of the parameterized generic Galois group, in the spirit of the Grothendieck-Katz's conjecture on p-curvatures. Using this description, we show that the Malgrange-Granier D-groupoid of a nonlinear q-difference system co…
Let $m$ be an integer greater than three and $\ell$ be an odd prime. In this paper, we prove that at least one of the following groups: $\mbox{P}Ω^\pm_{2m}(\mathbb{F}_{\ell^s})$, $\mbox{PSO}^\pm_{2m}(\mathbb{F}_{\ell^s})$, $\mbox{PO}_{2m}^\pm(\mathbb{F}_{\ell^s})$ or $\mbox{PGO}^\pm_{2m}(\mathbb{F}_{\ell^s})$ is a Galois group of $\mathbb{Q}$ for infinitely many integers $s > 0$. This is achieved by making use of a slight modification of a group theory result of Khare, Larsen and Savin, and previous results of the author on the images of the Galois representations attached to cuspidal automorp…
For all primes $p$ and all fields, we find a sufficient and necessary condition of the existence of a unipotent Galois extension of degree $p^6$. The main goal of this paper is to describe an explicit construction of such a Galois extension over fields admitting such a Galois extension. This construction is surprising in its simplicity and generality. The problem of finding such a construction has been left open since 2003. Recently a possible solution of this problem gained urgency because of an effort to extend new advances in Galois theory and its relations with Massey products in Galois co…
The main problem this thesis deals with is the characterization of profinite groups which are realizable as absolute Galois groups of fields: this is currently one of the major problems in Galois theory. Usually one reduces the problem to the pro-$p$ case, i.e., one would like to know which pro-$p$ groups occur as maximal pro-$p$ Galois groups, i.e., maximal pro-$p$ quotients of absolute Galois groups. Indeed, pro-$p$ groups are easier to deal with than general profinite groups, yet they carry a lot of information on the whole absolute Galois group. We define a new class of pro-$p$ groups, cal…
We study the problem of existence of one-parameter, linear families of polynomials of degree n all of whose polynomials have Galois group A_n. The methods we use have a strong geometric flavour.
This paper is concerned with difference equations on elliptic curves. We establish some general properties of the difference Galois groups of equations of order two, and give applications to the calculation of some difference Galois groups. For instance, our results combined with a result from transcendence theory due to Schneider allow us to identify a large class of discrete Lamé equations with difference Galois group $\operatorname{GL}_{2}(\mathbb C)$.
The problem of computing \emph{the exponent lattice} which consists of all the multiplicative relations between the roots of a univariate polynomial has drawn much attention in the field of computer algebra. As is known, almost all irreducible polynomials with integer coefficients have only trivial exponent lattices. However, the algorithms in the literature have difficulty in proving such triviality for a generic polynomial. In this paper, the relations between the Galois group (respectively, \emph{the Galois-like groups}) and the triviality of the exponent lattice of a polynomial are investi…
We enhance the analogy between field extensions and covering spaces by introducing the concept of splitting covering which correspondences to the splitting field in Galois theory. We define semi-topological Galois groups for Weierstrass polynomials and prove the existence of a Galois correspondence. This new tool enables us to study the inverse Galois problem from a new viewpoint.
For prime power $q=p^d$ and a field $F$ containing a root of unity of order $q$ we show that the Galois cohomology ring $H^*(G_F,\dbZ/q)$ is determined by a quotient $G_F^{[3]}$ of the absolute Galois group $G_F$ related to its descending $q$-central sequence. Conversely, we show that $G_F^{[3]}$ is determined by the lower cohomology of $G_F$. This is used to give new examples of pro-$p$ groups which do not occur as absolute Galois groups of fields.
This is a revision of the paper that was previously entitled "Weighted Completion of Galois Groups and Some Conjectures of Deligne". Fix a prime number $ł$. We prove a conjecture stated by Ihara, which he attributes to Deligne, about the action of the absolute Galois group on the pro-$ł$ completion of the fundamental group of the thrice punctured projective line. Similar techniques are also used to prove part of a conjecture of Goncharov, also about the action of the absolute Galois group on the fundamental group of the thrice punctured projective line. The main technical tool is the weighted …
