Related papers: On Abelianized Absolute Galois Group of Global Fun…

Let $K$ be the function field of a smooth projective geometrically integral curve over a finite extension of $\mathbb{Q}_p$. Following the works of Harari, Scheiderer, Szamuely, Izquierdo, and Tian, we study the local-global and weak…

We prove that every place P of an algebraic function field F|K of arbitrary characteristic admits local uniformization in a finite extension E of F. We show that E|F can be chosen to be Galois, after a finite purely inseparable extension of…

Given a Hilbertian field $k$ and a finite set $\mathcal{S}$ of Krull valuations of $k$, we show that every finite split embedding problem $G \rightarrow {\rm{Gal}}(L/k)$ over $k$ with abelian kernel has a solu\-tion ${\rm{Gal}}(F/k)…

For any odd prime $p$ and any imaginary quadratic field $K$, the $p$-tower group $G_K$ associated to $K$ is the Galois group over $K$ of the maximal unramified pro-$p$-extension of $K$. This group comes with an action of a finite group…

Following a paper by Athanasios Angelakis and Peter Stevenhagen on the determination of imaginary quadratic fields having the same absolute Abelian Galois group A, we study this property for arbitrary number fields. We show that such a…

Let $K/F$ be a finite Galois extension of number fields. It is well known that the Tchebotarev density theorem implies that an irreducible, finitely ramified $p$-adic representation $\rho$ of the absolute Galois group of $K$ is determined…

Given a $p$-adic field $K$ and a prime number $\ell$, we count the total number of the isomorphism classes of $p^\ell$-extensions of $K$ having no intermediate fields. Moreover for each group that can appear as Galois group of the normal…

For a finite totally ramified extension $L$ of a complete discrete valuation field $K$ with the perfect residue field of characteristic $p>0$, it is known that $L/K$ is an abelian extension if the upper ramification breaks are integers and…

The action of the absolute Galois group $\text{Gal}(K^{\text{ksep}}/K)$ of a global field $K$ on a tree $T(\phi, \alpha)$ of iterated preimages of $\alpha \in \mathbb{P}^1(K)$ under $\phi \in K(x)$ with $\text{deg}(\phi) \geq 2$ induces a…

We study the groups in the unit filtration of a finite abelian extension K of the field of p-adic numbers. We determine explicit generators of these groups as modules over the pro-p group ring of the Galois group of K over the p-adic…

Given a number field $k$, we show that, for many finite groups $G$, all the Galois extensions of $k$ with Galois group $G$ cannot be obtained by specializing any given finitely many Galois extensions $E/k(T)$ with Galois group $G$ and $E/k$…

In this paper we consider the problem of Galois descent for suitably completed algebraic K-theory of fields. One of the main results is a suitable form of rigidity for Borel-style generalized equivariant cohomology with respect to certain…

Let $K$ be a $p$-adically closed field and $G$ a group interpretable in $K$. We show that if $G$ is definably semisimple (i.e. $G$ has no definable infinite normal abelian subgroups) then there exists a finite normal subgroup $H$ such that…

We study the action of the Galois group $G$ of a finite extension $K/k$ of number fields on the points on an elliptic curve $E$. For an odd prime $p$, we aim to determine the structure of the $p$-adic completion of the Mordell-Weil group…

The partial group algebra of a group G over a field K, denoted by K_{par}(G), is the algebra whose representations correspond to the partial representations of G over K-vector spaces. In this paper we study the structure of the partial…

Let V be a p-adic representation of the absolute Galois group G of Q_p that becomes crystalline over a finite tame extension, and assume p odd. We provide necessary and sufficient conditions for V to be isomorphic to the Tate module V_p(A)…

We compute the $RO(G)$-graded equivariant algebraic $K$-groups of a finite field with an action by its Galois group $G$. Specifically, we show these $K$-groups split as the sum of an explicitly computable term and the well-studied…

Let L/k be a finite Galois extension of number fields with Galois group G. For every odd prime p satisfying certain mild technical hypotheses, we use values of Artin L-functions to construct an element in the centre of the group ring…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

Fix an abelian variety $A$ of dimension $g\geq 1$ defined over a number field $K$. For each prime $\ell$, the Galois action on the $\ell$-power torsion points of $A$ induces a representation $\rho_{A,\ell}\colon Gal_K \to…