Related papers: The Elementary Type Conjecture for Maximal Pro-p G…

In this paper, we compare a certain field arising from the pro-$p$ outer Galois representation associated to a once-punctured CM elliptic curve over an imaginary quadratic field $K$ with the maximal pro-$p$ Galois extension of the mod-$p$…

In this paper, we prove new instances of the inverse Galois problem over global function fields for finite groups of Lie type. This is done by constructing compatible systems of $\ell$-adic Galois representations valued in a semisimple…

We describe a project to formalize Galois theory using the Lean theorem prover, which is part of a larger effort to formalize all of the standard undergraduate mathematics curriculum in Lean. We discuss some of the challenges we faced and…

Let $G$ be a finite group. Then there exists a first-order statement $S(G)$ in the language of rings without parameters and depending only on $G$ such that, for any field $K$, we have that $K\models S(G)$ if and only if $K$ has a Galois…

As an analogue of a link group, we consider the Galois group of the maximal pro-$p$-extension of a number field with restricted ramification which is cyclotomically ramified at $p$, i.e, tamely ramified over the intermediate cyclotomic…

Let $p$ be a prime number, let $K$ be a $p$-field (a local field with finite residue field of characteristic $p$), let $L$ be a finite galoisian tamely ramified extension of $K$, and let $G=\mathrm{Gal}(L|K)$. Suppose that $L$ is split over…

In Proposition I of "Memoire sur les conditions de resolubilite des equations par radicaux", Galois established that any intermediate extension of the splitting field of a polynomial with rational coefficients is the fixed field of its…

The sets of primitive foms may be decomposed into some Galois conjugacy classes. The purpose of this paper is to write down all of such classes with cardinal 1 or 2, explicitly in terms of some Eisenstein series, for level 1,2,3,4,6,8,9.…

Let F be a global function field and let F^ab be its maximal abelian extension. Following an approach of D.Hayes, we shall construct a continuous homomorphism \rho: Gal(F^ab/F) \to C_F, where C_F is the idele class group of F. Using class…

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…

Let $K$ be a mixed characteristic complete discrete valuation field with residue field admitting a finite $p$-basis, and let $G_K$ be the Galois group. We first classify semi-stable representations of $G_K$ by weakly admissible filtered…

Let k be a global field, p an odd prime number different from char(k) and S, T disjoint, finite sets of primes of k. Let G_S^T(k)(p)=Gal(k_S^T(p)|k) be the Galois group of the maximal p-extension of k which is unramified outside S and…

We consider Hopf Galois structures on a separable field extension $L/K$ of degree $p^n$, for $p$ an odd prime number, $n\geq 3$. For $p > n$, we prove that $L/K$ has at most one abelian type of Hopf Galois structures. For a nonabelian group…

A conjecture of Amitsur states that two Severi-Brauer varieties are birationally isomorphic if and only if the underlying algebras are the same degree and generate the same cyclic subgroup of the Brauer group. It is known that generating…

In the first part of this paper we try to explain to a general mathematical audience some of the remarkable web of conjectures linking representations of Galois groups with algebraic geometry, complex analysis and discrete subgroups of Lie…

Let $A$ be a finite commutative nilpotent $\mathbb{F}_p$-algebra structure on $G$, an elementary abelian group of order $p^n$. If $K/k$ is a Galois extension of fields with Galois group $G$ and $A^p = 0$, then corresponding to $A$ is an…

We define deformation rings for potentially semi-stable deformations of fixed discrete series inertial type in dimension $2$. In the case of representations of the Galois group of $\mathbf{Q}_p$, we prove an analogue of the Breuil-M\'ezard…

Let $q=p^s$ be a prime power, $F$ a field containing a root of unity of order $q$, and $G_F$ its absolute Galois group. We determine a new canonical quotient $\mathrm{Gal}(F_{(3)}/F)$ of $G_F$ which encodes the full mod-$q$ cohomology ring…

We investigate the first two Galois cohomology groups of $p$-extensions over a base field which does not necessarily contain a primitive $p$th root of unity. We use twisted coefficients in a systematic way. We describe field extensions…

We prove the existence of certain rationally rigid triples E8 in good characteristic and thereby show that these groups over the prime field occur as Galois groups over the field of rational numbers. We show that these triples give rise to…