Let $F$ be a field with characteristic $\neq 2$. We show that $F$ is a nonrigid field if and only if certain small 2-groups occur as Galois groups over $F$. These results provide new "automatic realizability" results for Galois groups over $F$. The groups we consider demonstrate the inequality of two particular metabelian 2-extensions of $F$ which are unequal precisely when $F$ is a nonrigid field. Using known results on connections between rigidity and existence of certain valuations, we obtain Galois-theoretic criteria for the existence of these valuations.
The smallest non-abelian p-groups play a fundamental role in the theory of Galois p-extensions. We illustrate this by highlighting their role in the definition of the norm residue map in Galois cohomology. We then determine how often these groups --- as well as other closely related, larger p-groups --- occur as Galois groups over given base fields. We show further how the appearance of some Galois groups forces the appearance of other Galois groups in an interesting way.
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 close a gap in the literature by showing that the full covering groups of the Mathieu group $M_{22}$ and of its automorphism group $Aut(M_{22})$ occur as the Galois group of $\mathbb{Q}$-regular Galois extensions of $\mathbb{Q}(t)$.
Ramification groups of Galois extensions over local fields of positive characteristic with Galois group isomorphic to the group of unitriangular matrices
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})$.
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…
It is well known that the Galois group of an extension puts constraints on the structure of the relative ideal class groups. Using only basic parts of the theory of group representations, we give a unified approach to such results.
We construct extensions of the field of rational numbers with the Galois group G_2(F_p) by reducing p-adic representations attached to automorphic representations.
At present, the inverse Galois problem over $\mathbb{Q}$ is unsolved for the Mathieu group $M_{23}$. Here an overview of the current state in realizing $M_{23}$ as Galois group using the rigidity method and the action of braids is given. Computing braid orbits for $M_{23}$ revealed new invariants of the action of braids in addition to Fried's lifting invariant. These invariants can be used to construct generic braid orbits and more Galois realizations over $\mathbb{Q}$ for the Mathieu group $M_{24}$, but until now did not lead to success for realising $M_{23}$ as Galois group over $\mathbb{Q}$…
In this paper we show an explicit polynomial in Q[x] that has Galois group SL2(F16), filling in a gap in the tables of Juergen Klueners and Gunther Malle. The computation of this polynomial uses modular forms and their Galois representations.
This article computes the Galois groups of congruence covers arising in the context of certain hyperbolic triangle groups. As a consequence of this computation, the genera of the respective curves are deduced.
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$.
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 realize Frobenius conjugacy classes in Galois groups of certain $q$-polynomials over $\mathbb{F}_q(t)$ using specific degree 1 ideals. We combine this with methods from elementary linear algebra and group theory to realize transvections in some linear Galois groups. This enables the Galois group to be identified as a known classical group in several reasonably general cases.
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…
We investigate some Galois groups of linearized polynomials over fields such as $\mathbb{F}_q(t)$. The space of roots of such a polynomial is a module for its Galois group. We present a realization of the symmetric powers of this module, as a subspace of the splitting field of another linearized polynomial.
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 construct, for some $2$-groups $G$, explicit Galois extensions $E/\mathbb{Q}(T)$ of group $G$ with $E\cap\overline{\mathbb{Q}}=\mathbb{Q}$. We also provide explicit arithmetic progressions of integers $t_0$ such that the specialization $E_{t_0}/\mathbb{Q}$ of $E/\mathbb{Q}(T)$ at $t_0$ has Galois group $G$.
This paper surveys the methods that have been used to attack the conjecture, still open, that an abelian variety over a characteristic $0$ field with finitely generated Galois group is always of infinite rank.
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$.
We prove many new cases of the Inverse Galois Problem for those simple groups arising from orthogonal groups over finite fields. For example, we show that the finite simple groups Omega_{2n+1}(p) and POmega_{4n}^+(p) both occur as the Galois group of a Galois extension of the rationals for all integers n>1 and all primes p>3. We obtain our representations by studying families of twists of elliptic curves and using some known cases of the Birch and Swinnerton-Dyer conjecture along with a big monodromy result of Hall.
In this paper we introduce a new method for finding Galois groups by computer. This is particularly effective in the case of Galois groups of p-extensions ramified at finitely many primes but unramified at the primes above p. Such Galois groups have been regarded as amongst the most mysterious objects in number theory. Very little has hitherto been discovered regarding them despite their importance in studying p-adic Galois representations unramified at p. The conjectures of Fontaine-Mazur say that they should have no p-adic analytic quotients (equivalently, the images of the Galois representa…
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.
Let $G$ be a subgroup of the symmetric group $S_n$, and let $δ_G=|S_n/G|^{-1}$ where $|S_n/G|$ is the index of $G$ in $S_n$. Then there are at most $O_{n, ε}(H^{n-1+δ_G+ε})$ monic integer polynomials of degree $n$ having Galois group $G$ and height not exceeding $H$, so there are only `few' polynomials having `small' Galois group.
Let $L(x)$ be any $q$-linearized polynomial with coefficients in $\mathbb{F}_q$, of degree $q^n$. We consider the Galois group of $L(x)+tx$ over $\mathbb{F}_q(t)$, where $t$ is transcendental over $\mathbb{F}_q$. We prove that when $n$ is a prime, the Galois group is always $GL(n,q)$, except when $L(x)=x^{q^n}$. Equivalently, we prove that the arithmetic monodromy group of $L(x)/x$ is $GL(n,q)$.
We establish automatic realizations of Galois groups among groups M\rtimes G, where G is a cyclic group of order p^n for a prime p and M is a quotient of the group ring Fp[G].
Let $k\subseteq K$ be a finite Galois extension of fields with Galois group $G$. Let $\mathscr{G}$ be the automorphism $k$-group scheme of $K$. We construct a canonical $k$-subgroup scheme $\underline{G}\subset\mathscr{G}$ with the property that $Spec_k(K)$ is a $k$-torsor for $\underline{G}$. $\underline{G}$ is a constant $k$-group if and only if $G$ is abelian, in which case $G=\underline{G}$.
Let $L/K$ be a finite Galois extension of fields with Galois group $G$. It is known that $L/K$ admits exactly two Hopf-Galois structures when $G$ is non-abelian simple. In this paper, we extend this result to the case when $G$ is quasisimple.
This paper explores some first-order properties of commuting-liftable pairs in pro-$\ell$ abelian-by-central Galois groups of fields. The main focus of the paper is to prove that minimized inertia and decomposition groups of many valuations are first-order definable using a predicate for the collection of commuting-liftable pairs.
We consider a large class of so-called dynamical Belyi maps and study the Galois groups of iterates of such maps. From the combinatorial invariants of the maps, we construct a useful presentation of their Galois groups as subgroups of automorphism groups of regular trees, in terms of iterated wreath products. This allows us to study the behavior of the monodromy groups under specialization of the maps, and to derive applications to dynamical sequences.
We investigate the rank gain of elliptic curves, and more generally, Jacobian varieties, over non-Galois extensions whose Galois closure has Galois group permutation-isomorphic to a prescribed group $G$ (in short, "$G$-extensions"). In particular, for alternating groups and (an infinite family of) projective linear groups $G$, we show that most elliptic curves over (e.g.) $\mathbb{Q}$ gain rank over infinitely many $G$-extensions, conditional only on the parity conjecture. More generally, we provide a theoretical criterion which allows to deduce that "many" elliptic curves gain rank over infin…
We present a method to determine Frobenius elements in arbitrary Galois extensions of global fields, which may be seen as a generalisation of Euler's criterion. It is a part of the general question how to compare splitting fields and identify conjugacy classes in Galois groups, that we will discuss as well.
We report on an implementation of Galois groups in the new computer algebra system OSCAR. As an application we compute Galois groups of Ehrhart polynomials of lattice polytope
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.
We show all the possible structures of finite subgroups of the automorphism groups of elliptic curves. Here the automorphism means the biholomorphic transformation. Using the result, we determine every Galois group G at outer Galois point for genus-one curve with singular points. In particular, if G is abelian, then its order is at most nine. However if not so, the order is unbounded. Furthermore, we give every defining equation of the curve with the Galois point in the case where G is abelian.
When monic integral polynomials of degree $n \geq 2$ are ordered by the maximum of the absolute value of their coefficients, the Hilbert irreducibility theorem implies that asymptotically 100% are irreducible and have Galois group isomorphic to $S_n$. In particular, amongst such polynomials whose coefficients are bounded by $B$ in absolute value, asymptotically $(1+o(1))(2B+1)^n$ are irreducible and have Galois group $S_n$. When $G$ is a proper transitive subgroup of $S_n$, however, the asymptotic count of polynomials with Galois group $G$ has been determined only in very few cases. Here, we s…
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…
We show that the level 2 case of the cyclotomic Grothendieck-Teichmüller groups introduced by Enriquez coincides with the motivic Galois group of mixed Tate motives over $\mathbb{Z}[1/2]$.
For every finite field F and every positive integer r, there exists a finite extension F' of F such that either SO(2r+1,F') or its simple derived group can be realized as a Galois group over Q. If the characteristic of F is 3 or 5 (mod 8), then we can guarantee that the derived group of SO(2r+1,F') can be realized. Likewise, for every finite field F, there exists a finite extension F' of F such that the finite simple group G_2(F') can be realized a Galois group over Q. The proof uses automorphic forms to construct Galois representations which cut out Galois extensions of the desired type.
Much work has gone into matrix representations of Galois groups, but there is a whole new class of naturally occurring representations that have as yet gone almost unnoticed. In fact, it is well-known in various areas of mathematics that the main sources of totally disconnected groups are matrix groups over local fields AND automorphism groups of locally finite trees. It is perhaps surprising then that representations of Galois groups into the latter have been almost ignored, while at the same time Galois representations into the former have been enormously effective in resolving long-standing…
In this paper, we give a necessary and sufficient condition for the finiteness of Galois cohomology of unipotent groups over local fields of positive characteristic
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.
For any finite group G and integer i, let $\mathcal{H}^i(G)$ be the set of all the isomorphism classes of the Galois cohomology groups $\hat{H}^i(K/k,E_K)$, where K/k runs over all the unramified G-extension of number fields and E_K denotes the global unit group of K. We will determine $\mathcal{H}^i(G)$ for i=0,1,2, and 4 in the case where G is a finite p-group.
We construct, over any CM field, compatible systems of l-adic Galois representations that appear in the cohomology of algebraic varieties and have (for all l) algebraic monodromy groups equal to the exceptional group of type E6.
Let F be the function field of a curve over totally imaginary number field. Let p be a prime. If F contains a primitive p th root of unity, then every element in the third Galois cohomology group of F with values in the group of p th roots of unity, is a symbol.
