We prove new results concerning the additive Galois module structure of wildly ramified non-abelian extensions $K/\mathbb{Q}$ with Galois group isomorphic to $A_4$, $S_4$, $A_5$, and dihedral groups of order $2p^n$ for certain prime powers $p^n$. In particular, when $K/\mathbb{Q}$ is a Galois extension with Galois group $G$ isomorphic to $A_4$, $S_4$ or $A_5$, we give necessary and sufficient conditions for the ring of integers $\mathcal{O}_{K}$ to be free over its associated order in the rational group algebra $\mathbb{Q}[G]$.

We show that the theory of Galois actions of a torsion Abelian group A is companionable if and only if, for each prime p, the p-primary part of A is either finite or it coincides with the Prüfer p-group. We also provide a model-theoretic description of the model companions we obtain.

We study model theory of fields with actions of a fixed finite group scheme. We prove the existence and simplicity of a model companion of the theory of such actions, which generalizes our previous results about truncated iterative Hasse–Schmidt derivations [13] and about Galois actions [14]. As an application of our methods, we obtain a new model complete theory of actions of a finite group on fields of finite imperfection degree.

Let $p$ be a prime, let $K$ be a complete discrete valuation field of characteristic $0$ with a perfect residue field of characteristic $p$, and let $G_{K}$ be the Galois group. Let $\unicode[STIX]{x1D70B}$ be a fixed uniformizer of $K$, let $K_{\infty }$ be the extension by adjoining to $K$ a system of compatible $p^{n}$th roots of $\unicode[STIX]{x1D70B}$ for all $n$, and let $L$ be the Galois closure of $K_{\infty }$. Using these field extensions, Caruso constructs the $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D70F})$-modules, which classify $p$-adic Galois representations of $G_{K}$. In this paper, we study locally analytic vectors in some period rings with respect to the $p$-adic Lie group $\operatorname{Gal}(L/K)$, in the spirit of the work by Berger and Colmez. Using these locally analytic vectors, and using the classical overconvergent $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules, we can establish the overconvergence property of the $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D70F})$-modules.

We show that the Galois cohomology groups of $p$-adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_{p}}/\mathbb{Q}_{p})$ can be computed via the generalization of Herr’s complex to multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules. Using Tate duality and a pairing for multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules we extend this to analogues of the Iwasawa cohomology. We show that all $p$-adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_{p}}/\mathbb{Q}_{p})$ are overconvergent and, moreover, passing to overconvergent multivariable $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules is an equivalence of categories. Finally, we prove that the overconvergent Herr complex also computes the Galois cohomology groups.

Given two monic polynomials $f$ and $g$ with coefficients in a number field $K$, and some $\alpha \,\in \,K$, we examine the action of the absolute Galois group $Gal\left( \bar{K}/K \right)$ on the directed graph of iterated preimages of $\alpha $ under the correspondence $g\left( y \right)\,=\,f\left( x \right)$, assuming that $\deg \left( f \right)\,>\,\deg \left( g \right)$ and that $\gcd \left( \deg \left( f \right),\deg \left( g \right) \right)\,=1$. If a prime of $K$ exists at which $f$ and $g$ have integral coefficients and at which $\alpha $ is not integral, we show that this directed graph of preimages consists of finitely many $Gal\left( \bar{K}/K \right)$-orbits. We obtain this result by establishing a $p$-adic uniformization of such correspondences, tenuously related to Böttcher’s uniformization of polynomial dynamical systems over $\mathbb{C}$, although the construction of a Böttcher coordinate for complex holomorphic correspondences remains unresolved.

Let $K$ be a complete discrete valuation field of mixed characteristic $(0,p)$ with perfect residue field. Let $(\unicode[STIX]{x1D70B}_{n})_{n\geqslant 0}$ be a system of $p$-power roots of a uniformizer $\unicode[STIX]{x1D70B}=\unicode[STIX]{x1D70B}_{0}$ of $K$ with $\unicode[STIX]{x1D70B}_{n+1}^{p}=\unicode[STIX]{x1D70B}_{n}$, and define $G_{s}$ (resp. $G_{\infty }$) the absolute Galois group of $K(\unicode[STIX]{x1D70B}_{s})$ (resp. $K_{\infty }:=\bigcup _{n\geqslant 0}K(\unicode[STIX]{x1D70B}_{n})$). In this paper, we study $G_{s}$-equivariantness properties of $G_{\infty }$-equivariant homomorphisms between torsion crystalline representations.

Let $N/ F$ be an odd-degree Galois extension of number fields with Galois group $G$ and rings of integers ${\mathfrak{O}}_{N} $ and ${\mathfrak{O}}_{F} = \mathfrak{O}$. Let $ \mathcal{A} $ be the unique fractional ${\mathfrak{O}}_{N} $-ideal with square equal to the inverse different of $N/ F$. B. Erez showed that $ \mathcal{A} $ is a locally free $\mathfrak{O}[G] $-module if and only if $N/ F$ is a so-called weakly ramified extension. Although a number of results have been proved regarding the freeness of $ \mathcal{A} $ as a $ \mathbb{Z} [G] $-module, the question remains open. In this paper we prove that $ \mathcal{A} $ is free as a $ \mathbb{Z} [G] $-module provided that $N/ F$ is weakly ramified and under the hypothesis that for every prime $\wp $ of $\mathfrak{O}$ which ramifies wildly in $N/ F$, the decomposition group is abelian, the ramification group is cyclic and $\wp $ is unramified in $F/ \mathbb{Q} $. We make crucial use of a construction due to the first author which uses Dwork’s exponential power series to describe self-dual integral normal bases in Lubin–Tate extensions of local fields. This yields a new and striking relationship between the local norm-resolvent and the Galois Gauss sum involved. Our results generalise work of the second author concerning the case of base field $ \mathbb{Q} $.

We associate two almost Cp-representations to a (ϕ,Γ)-module, and we compute their dimensions and heights. As a corollary, we get a full faithfulness result for Be-representations.

We develop the theory of p-adic confluence of q-difference equations. The main result is the fact that, in the p-adic framework, a function is a (Taylor) solution of a differential equation if and only if it is a solution of a q-difference equation. This fact implies an equivalence, called confluence, between the category of differential equations and those of q-difference equations. We develop this theory by introducing a category of sheaves on the disk D−(1,1), for which the stalk at 1 is a differential equation, the stalk at q isa q-difference equation if q is not a root of unity, and the stalk at a root of unity ξ is a mixed object, formed by a differential equation and an action of σξ.

For a linear group $G$ acting on an absolutely irreducible variety $X$ over $\mathbb{Q}$, we describe the orbits of $X(\mathbb{Q}_p)$ under $G(\mathbb{Q}_p)$ and of $X(\mathbb{F}_p((t)))$ under $G(\mathbb{F}_p((t)))$ for $p$ big enough. This allows us to show that the degree of a wide class of orbital integrals over $\mathbb{Q}_p$ or $\mathbb{F}_p((t))$ is less than or equal to $0$ for $p$ big enough, and similarly for all finite field extensions of $\mathbb{Q}_p$ and $\mathbb{F}_p((t))$.

Every field $K$ admits proper projective extensions, that is, Galois extensions where the Galois group is a non-trivial projective group, unless $K$ is separably closed or $K$ is a pythagorean formally real field without cyclic extensions of odd degree. As a consequence, it turns out that almost all absolute Galois groups decompose as proper semidirect products.

We show that each local field has a unique maximal projective extension, and that the same holds for each global field of positive characteristic. In characteristic 0, we prove that Leopoldt's conjecture for all totally real number fields is equivalent to the statement that, for all totally real number fields, all projective extensions are cyclotomic. So the realizability of any non-procyclic projective group as Galois group over ${\mathbb Q}$ produces counterexamples to the Leopoldt conjecture.

We study extensions $L/K$ of complete discrete valuation fields $K$ with residue field $\bar{K}$ of characteristic $p\,>\,0$, which we do not assume to be perfect. Our work concerns ramification theory for such extensions, in particular we show that all classical properties which are true under the hypothesis “the residue field extension$\bar{L}/\bar{K}$is separable” are still valid under the more general hypothesis that the valuation ring extension is monogenic. We also show that conversely, if classical ramification properties hold true for an extension $L/K$, then the extension of valuation rings is monogenic. These are the “well ramified” extensions. We show that there are only three possible types of well ramified extensions and we give examples. In the last part of the paper we consider, for the three types, Kato’s generalization of the conductor, which we show how to bound in certain cases.