Related papers: Formalising the Krull Topology in Lean

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:…

In this note we show that the protruncated shape of a spectral $\infty$-topos is a delocalization of its profinite stratified shape. This gives a way to reconstruct the extended \'etale homotopy groups (i.e., the non-profinitely complete…

Let $p\geq 7$ be a prime and $n>1$ be a natural number. We show that there exist infinitely many Galois representations $\varrho:Gal(\bar{\mathbb{Q}}/\mathbb{Q})\rightarrow GL_{n}(\mathbb{Z}_p)$ which are unramified outside $\{p, \infty\}$…

The absolute Galois group Gal$(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be presented as a highly computable object, under the notion of type-2 Turing computation. We formalize such a presentation…

For a particular class of Galois structures, we prove that the normal extensions are precisely those extensions that are "locally" split epic and trivial, and we use this to prove a "Galois theorem" for normal extensions. Furthermore, we…

In this paper we establish a new case of Langlands functoriality. More precisely, we prove that the tensor product of the compatible system of Galois representations attached to a level-1 classical modular form and the compatible system…

For an algebraic torus defined over a local (or global) field $F$, a celebrated result of R.P. Langlands establishes a natural homomorphism from the group of continuous cohomology classes of the Weil group, valued in the dual torus, onto…

For a number field $K$, we consider $K^{\rm ta}$ the maximal tamely ramified algebraic extension of~$K$, and its Galois group $G^{\rm ta}_K= Gal(K^{ta}/K)$. Choose a prime $p$ such that $\mu_p \not \subset K$. Our guiding aim is to…

A topological group G is profinite if it is compact and totally disconnected. Equivalently, G is the inverse limit of a surjective system of finite groups carrying the discrete topology. We discuss how to represent a countably based…

This paper provides a realization of all classical and most exceptional finite groups of Lie type as Galois groups over function fields over F_q and derives explicit additive polynomials for the extensions. Our unified approach is based on…

For every graph that is mimimally rigid in the plane, its Galois group is defined as the Galois group generated by the coordinates of its planar realizations, assuming that the edge lengths are transcendental and algebraically independent.…

Let $U/K$ be a smooth affine curve over a number field and let $L$ be an irreducible rank 3 $\overline{\mathbb Q}_{\ell}$-local system on $U$ with trivial determinant and infinite geometric monodromy around a cusp. Suppose further that $L$…

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 generalize toposic Galois theory to higher topoi. We show that locally constant sheaves in a locally (n-1)-connected n-topos are equivalent to representations of its fundamental pro-n-groupoid, and that the latter can be described in…

A major open problem in current Galois theory is to characterize those profinite groups which appear as absolute Galois groups of various fields. Obtaining detailed knowledge of the structure of quotients and subgroup filtrations of Galois…

We provide an infinite family of quadratic number fields with everywhere unramified Galois extensions of Galois group $SL_2(7)$. To my knowledge, this is the first instance of infinitely many such realizations for a perfect group which is…

The structure of the Galois group of the maximal unramified p-extension of an imaginary quadratic field is restricted in various ways. In this paper we construct a family of finite 3-groups satisfying these restrictions. We prove several…

We construct pairs of residually finite groups with isomorphic profinite completions such that one has non-vanishing and the other has vanishing real second bounded cohomology. The examples are lattices in different higher rank simple Lie…

We prove the finiteness of the kernel of the localization map in the Galois cohomology of a connected reductive group over a global field

Let G be a group, and H a G-group defined by an imbedding map $G\rightarrow H$; in [12] we have defined a topology on a subset of normal subgroups of $H$, the so-called prime ideals. In this work, we generalize this topology to other…