Let p be a prime and F(p) the maximal p-extension of a field F containing a primitive p-th root of unity. We give a new characterization of Demuskin groups among Galois groups Gal(F(p)/F) when p=2, and, assuming the Elementary Type Conjecture, when p>2 as well. This characterization is in terms of the structure, as Galois modules, of the Galois cohomology of index p subgroups of Gal(F(p)/F).
Following the philosophy of arithmetic topology, we describe a point of view which helps look at surfaces and $p$-adic fields in a "uniform way", and show that results on mapping class groups can be extended to this point of view, and thus be applied to $G_{K}$, the absolute Galois groups of the $p$-adic field $K$. By moving both groups to the world of pro-$p$ groups (for $G_{K}$ we take its maximal pro-$p$ quotient, and for $π_{1}(S)$ we take its pro-$p$ completion), we see they both are pro-$p$ Poincare duality groups of dimension $2$, also known as Demuskin groups. Such groups have a very n…
We determine the Galois module structure of the parameterizing space of elementary $p$-abelian extensions of a field $K$ when $\text{Gal}(K/F)$ is any finite $p$-group, under the assumption that the maximal pro-$p$ quotient of the absolute Galois group of $F$ is a free, finitely generated pro-$p$ group, and that $F$ contains a primitive $p$th root of unity if $\text{char}(F) \neq p$.
Let $L/K$ be a finite Galois, totally ramified $p$-extension of complete local fields with perfect residue fields of characteristic $p>0$. In this paper, we give conditions, valid for any Galois $p$-group $G={Gal}(L/K)$ (abelian or not) and for $K$ of either possible characteristic (0 or $p$), that are sufficient for the existence of a Galois scaffold. The existence of a Galois scaffold makes it possible to address questions of integral Galois module structure, which is done in a separate paper. But since our conditions can be difficult to check, we specialize to elementary abelian extensions …
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.
Using the action of the Galois group of a normal extension of number fields, we generalize and symmetrize various fundamental statements in algebra and algebraic number theory concerning splitting types of prime ideals, factorization types of polynomials modulo primes, and cycle types of the Galois groups of polynomials. One remarkable example is the removal of all artificial constraints from the Kummer-Dedekind Theorem that relates splitting and factorization patterns. Finally, we present an elementary proof that the discriminant of the splitting field of a monic irreducible polynomial with i…
We give an account of the theory of dessins d'enfants which is both elementary and self-contained. We describe the equivalence of many categories (graphs embedded nicely on surfaces, finite sets with certain permutations, certain field extensions, and some classes of algebraic curves), some of which are naturally endowed with an action of the absolute Galois group of the rational field. We prove that the action is faithful. Eventually we prove that this absolute Galois group embeds into the Grothendieck-Teichmüller group $GT_0$ introduced by Drinfel'd. There are explicit approximations of $GT_…
Catalan's conjecture claims that the Diophantine equation $x^p-y^q=1$ admits the unique solution $3^2-2^3=1$ in integers $x,y,p,q \ge 2$. The conjecture has been finally proved by P. Mihăilescu (2002) using the theory of cyclotomic fields and Galois modules. Here, relying only on elementary techniques, we prove several instances of this classical result. In particular, we prove the conjecture in the following cases: $p$ even (due to V.A. Lebesgue), $q$ is even (due to L. Euler and Chao Ko), $x$ divides $q$, $y$ divides $x-1$, $y$ is a power of a prime, and $y\le p^{p/2}$.
Let $p$ be a prime number and let ${K}$ be a field containing a root of 1 of order $p$. If the absolute Galois group $G_{K}$ satisfies $\dim H^1(G_{K},\mathbb{F}_p)<\infty$ and $\dim H^2(G_{K},\mathbb{F}_p)=1$, we show that L.~Positselski's and T.~Weigel's Koszulity conjectures are true for ${K}$. Also, under the above hypothesis we show that the $\mathbb{F}_p$-cohomology algebra of $G_{K}$ is the quadratic dual of the graded algebra $\mathrm{gr}_\bullet\mathbb{F}_p[G_{K}]$, induced by the powers of the augmentation ideal of the group algebra $\mathbb{F}_p[G_{K}]$, and these two algebras decom…
For a finite field $\mathbb{F}$, it is a basic result of Galois theory that the fixed field $E$ of $\text{Aut}(\mathbb{F}(x)/\mathbb{F})$ is a proper extension of $\mathbb{F}$. In this expository paper we construct, for all finite fields, an element $f\in \mathbb{F}(x)$ such that $E = \mathbb{F}(f)$. This element is shown to be easily computable in all cases using a simple formula. The approach is entirely elementary, and aimed at the student level; only a basic familiarity with Galois theory and field extensions is assumed.
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 give an intrinsic parametrisation of the set of tamely ramified extensions of a local field with finite residue field and bring to the fore the role played by group cohomology. We show that two natural definitions of the cohomology class of a tamely ramified finite galoisian extension coincide, and can be recovered from the parameter. We also give an elementary proof of Serre's mass formula in the tame case and in the simplest wild case, and we classify tame galoisian extensions of degree the cube of a prime.
The full automorphism group of a certain elementary abelian $p$-cover of the Hermitian curve in characteristic $p>0$ is determined. It is remarkable that the order of Sylow $p$-groups of the automorphism group is close to Nakajima's bound in terms of the $p$-rank. Weierstrass points, Galois points, Frobenius nonclassicality, and arc property are also investigated.
In this paper, we compare the structure of Selmer groups of certain classes of Galois representations over an admissible $p$-adic Lie extension. Namely, we show that the $π$-primary submodules of the Pontryagin dual of the Selmer groups of two Galois representations have the same elementary representations when the two Galois representations in question are either Tate dual to each other or are congruent to each other. In the first situation, our result gives a partial answer to the question of Greenberg on whether the Pontryagin dual of the Selmer groups of two Galois representations that are…
In his paper titled "Torsion points on Fermat Jacobians, roots of circular units and relative singular homology", Anderson determines the homology of the degree $n$ Fermat curve as a Galois module for the action of the absolute Galois group $G_{\mathbb{Q}(ζ_n)}$. In particular, when $n$ is an odd prime $p$, he shows that the action of $G_{\mathbb{Q}(ζ_p)}$ on a more powerful relative homology group factors through the Galois group of the splitting field of the polynomial $1-(1-x^p)^p$. If $p$ satisfies Vandiver's conjecture, we prove that the Galois group of this splitting field over $\mathbb{…
Let $p$ be a prime number and $c, d$ natural numbers. Up to isomorphism, there is a unique $p$-group $G^c_d$ of least order with rank $d$ and nilpotency class $c$ named disposition group. This group plays an important role in the construction of Galois extensions over number fields with given $p$-group as Galois group. Also, it has a central series with all factors being elementary. Since $G^c_1$ is abelian we consider $d\geq 2$. In this article, first, we determine the order of all its subgroups of lower central series and $n$-th center subgroups of $G^c_d$, $(n\in\mathbb N)$. Then we deduce …
The theory of p-ramification, regarding the Galois group of the maximal pro-p-extension of a number field K, unramified outside p and $\infty$, is well known including numerical experiments with PARI/GP programs. The case of ``incomplete p-ramification'' (i.e., when the set S of ramified places is a strict subset of the set P of the p-places) is, on the contrary, mostly unknown in a theoretical point of view. We give, in a first part, a way to compute, for any S $\le$ P, the structure of the Galois group of the maximal S-ramified abelian pro-p-extension H\_(K,S) of any field K given by means o…
Let $p_1 \equiv p_2 \equiv5\pmod8$ be different primes. Put $i=\sqrt{-1}$ and $d=2p_1p_2$, then the bicyclic biquadratic field $k=Q(\sqrt{d}, \sqrt{-1})$ has an elementary abelian 2-class group of rank $3$. In this paper we determine the nilpotency class, the coclass, the generators and the structure of the non-abelian Galois group $\mathrm{Gal}(k_2^{(2)}/k)$ of the second Hilbert 2-class field $k_2^{(2)}$ of $k$. We study the capitulation problem of the 2-classes of $k$ in its seven unramified quadratic extensions $K_i$ and in its seven unramified bicyclic biquadratic extensions $L_i$.
Given a fixed prime number \(p\), the multiplet of abelian type invariants of the \(p\)-class groups of all unramified cyclic degree \(p\) extensions of a number field \(K\) is called its IPAD (index-\(p\) abelianization data). These invariants have proved to be a valuable information for determining the Galois group \(G_p^2\) of the second Hilbert \(p\)-class field and the \(p\)-capitulation type \(\varkappa\) of \(K\). For \(p=3\) and a number field \(K\) with elementary \(p\)-class group of rank two, all possible IPADs are given in the complete form of several infinite sequences. Iterated I…
Let $k$ be a field of characteristic $0$, and let $α_{1}$, $α_{2}$, ..., $α_{5}$ be algebraically independent and transcendental over $k$. Let $K$ be the transcendental extension of $k$ obtained by adjoining the elementary symmetric functions of the $α_{i}$'s. Let $J$ be the Jacobian of the hyperelliptic curve defined over $K$ which is given by the equation $y^{2} = \prod_{i = 1}^{5} (x - α_{i})$. We define a tower of field extensions $K = K_{0}' \subset K_{1}' \subset K_{2}' \subset ...$ by giving recursive formulas for the generators of each $K_{n}'$ over $K_{n - 1}'$, and let $K_{\infty}' =…
Let zeta5 be a primitive fifth root of unity and d<>1 be a quadratic fundamental discriminant not divisible by 5. For the 5-dual cyclic quartic field M=Q((zeta5-zeta5^-1)*d^1/2) of the quadratic fields k1=Q(d^1/2) and k2=Q((5*d)^1/2) in the sense of the quintic reflection theorem, the possibilities for the isomophism type of the Galois group G(5,2)M=Gal(M(5,2)/M) of the second Hilbert 5-class field M(5,2) of M are investigated, when the 5-class group Cl5(M) is elementary bicyclic of rank two. Usually, the maximal unramified pro-5-extension M(5,infinity) of M coincides with M(5,2) already. The …
