nLab
Galois theory

Context

Homotopy theory

Idea
Classical Galois theory for fields
- Galois theory of fields
- In terms of separable algebras
Galois theory for schemes
- Statement of the main theorem
- Reproducing classical Galois theory of field extensions
Grothendieck’s Galois Theory
Galois theory in topos theory
‘La Longue Marche à travers la Théorie de Galois’
Related entries
References

Idea

Classical Galois theory classifies field extensions. It is a special case of a classification of locally constant sheaves in a topos by permutations representations? of the fundamental groupoid/fundamental group.

Classical Galois theory for fields

We discuss the classical/traditional case of Galois theory, which concerns the classification of field extensions. Below in Galois theory for schemes and then in Galois theory in a topos we discuss how this is a special case of a more general concept of Galois theory in a topos.

Galois theory of fields

Definition

We call a field extension $K \subset L$ a Galois extension if $K \subset L$ is algebraic and there exists a subgroup $G \subset Aut (L)$ of the automorphism group such that $K ≃ L^{G}$ is the field of elements that are invariant under $G$ .

Definition

If $K \subset L$ is a Galois extension, we define the Galois group to be

Gal (L / K) : = {Aut}_{K} (L) .

This means that we have

K ≃ L^{Gal (L / K)} .

Definition

Let $\bar{K}$ be a fixed algebraic closure of $K$ . If $F \subset K [X] - {0}$ is any collection of non-zero polynomials, the splitting field of $F$ over $K$ is the subfield of $\bar{K}$ generated by $K$ and the zeros of the polynomials in $F$ .

We call $f \in K [X] - {0}$ separable if it has no multiple zero in $\bar{K}$ .

We call $α \in \bar{K}$ separable over $K$ if the irreducible polynomial $f_{K}^{α}$ of $α$ over $K$ is separable.

A subfield $L \subset K$ is called separable over $K$ if each $α \in L$ is separable over $K$ .

Definition

We call $L$ normal over $K$ if for each $α \in L$ the polynomial $f_{K}^{α}$ splits completely in linear factors in $L [X]$ .

Theorem

Let $K$ be a field and $L$ a subfield of $\bar{K}$

K \subset L \subset \bar{K} .

Denote by $I$ the set of subfields $E$ of $L$ for which $E$ is a finite Galois extension of $K$ . Then $I$ , when partially ordered by inclusion is a directed poset.

The following assertions are equivalent:

$L$ is a Galois extension of $K$ .
$L$ is normal and separable over $K$ .
There is a set $F \subset K [X] - {0}$ of separable polynomials such that $L$ is the splitting field of $F$ over $K$ .
$∐_{E \in I} E ≃ L$

If these conditions are satisfied, then there is a group isomorphism

Gal (L / K) ≃ {\lim_{\leftarrow}}_{E \in I} Gal (E / K),

where on the right we have the limit over the poset of subfield of the contravariant functor $E \mapsto Gal (E / K)$ .

Since each group $Gal (E / K)$ is finite, the above isomorphism can be used to equip $Gal (L / K)$ with a profinite topology (i.e. take the limit in the category of topological groups, where each $Gal (E / K)$ has the discrete topology), making it into a profinite group. We henceforth consider $Gal (L / K)$ as a profinite group in this way.

Theorem

(main theorem of classical Galois theory)

Let $K \subset L$ be a Galois extension of fields with Galois group $G$ . Then the intermediate fields of $K \subset L$ correspond bijectively to the closed subgroups of $G$ .

More precisely, the maps

{E ∣ E is a subfield of L containing K} \overset{\overset{ϕ}{\to}}{\underset{ψ}{\leftarrow}} {H ∣ H is a closed subgroup of G}

defined by

ϕ (E) = {Aut}_{E} (L)

and

ψ (H) = L^{H}

are bijective and inverse to each other. This correspondence reverses the inclusion relation: $K$ corresponds to $G$ and $L$ to ${{id}_{L}}$ .

If $E$ corresponds to $H$ , then we have

$K \subset E$ is finite precisely if $H$ is open (in the profinite topology on $G$ )

$[E : K] ≃ index [G : K]$ if $H$ is open;
$E \subset L$ is Galois with $Gal (L / E) ≃ H$ (as topological groups);
for every $σ \in G$ we have that $σ [E]$ corresponds to $σ H σ^{- 1}$ ;
$L \subset E$ is Galois precisely if $H$ is a normal subgroup of $G$ ;

$Gal (E / K) ≃ G / H$ (as topological groups) if $K \subset E$ is Galois.

This appears for instance as Lenstra, theorem 2.3.

This suggests that more fundamental than the subgroups of a Galois group $G$ are its quotients by subgroups, which can be identified with transitive $G$ -sets. This naturally raises the question of what corresponds to non-transitive $G$ -sets.

In terms of separable algebras

Free modules

Let $A$ be a commutative ring and $N$ a module over $A$ .

A collection of elements $(w_{i})_{i \in I}$ of $N$ is called a basis of $N$ (over $A$ ) if for every $x \in N$ there is a unique collection $(a_{i})_{i \in I}$ of elements of $A$ such that $a_{i} = 0$ for all but finitely many $i \in I$ and $x = \sum_{i \in I} a_{i} w_{i}$ .

If $N$ has a basis it is called free (over $A$ ). If $N$ is free with basis a finite set of cardinality $n$ , then we say that $N$ is free with rank $n$ (over $A$ ). In this case, $N$ is a finitely generated free module.

Let $N$ be a finitely generated free $A$ -module with basis $w_{1}, w_{2}, \dots, w_{n}$ and let $f : N \to N$ be $A$ -linear. Then

f (w_{i}) = \sum_{j = 1}^{n} a_{i j} w_{j} (1 \leq i \leq n)

for certain $a_{i j} \in A$ , and the trace $Tr (f)$ of $f$ is defined by

Tr (f) = \sum_{i = 1}^{n} a_{i i} .

This is an element of $A$ that only depends on $f$ , and not on the choice of basis. It is easily checked that the map $Tr : {Hom}_{A} (N, N) \to A$ is $A$ -linear.

Separable algebras

Let $A$ be a ring, $B$ an $A$ -algebra, and suppose that $B$ is free with finite rank $n$ as an $A$ -module. For every $b \in B$ the map ${mult}_{b} : B \to B$ defined by ${mult}_{b} : x \mapsto b x$ is $A$ -linear, and the trace $Tr (b)$ or ${Tr}_{B / A} (b)$ is defined to be $Tr ({mult}_{b})$ . The map $Tr : B \to A$ is easily seen to be $A$ -linear and to satisfy $Tr (a) = n a$ for $a \in A$ .

The $A$ -module ${Hom}_{A} (B, A)$ (underlying which is the hom-set in the category of modules) is clearly free over $A$ with the same rank as $B$ . Define the $A$ -linear map $ϕ : B \to {Hom}_{A} (B, A)$ by

ϕ (x) : y \mapsto Tr (x y),

for $x, y \in B$ .

Definition

If for an $A$ -algebra $B$ the the morphism $ϕ$ is an isomorphism we call $B$ separable over $A$ , or a free separable $A$ -algebra if we wish to stress the condition that $B$ is finitely generated and free as an $A$ -module.

Separable closure

Recall the notion of separable elements

Definition

Let $K$ be a field and $\bar{K}$ an algebraic closure of $K$ . The separable closure $K_{S}$ of $K$ is defined by

K_{S} ≃ {x \in \bar{K} ∣ x is separable over K} .

Remark

We have that $K_{S}$ is a subfield of $\bar{K}$ and that $K_{S} ≃ \bar{K}$ precisely if $K$ is a perfect field, in particular if the characteristic of $K$ is 0.

From xyz it follows that the inclusion $K \subset K_{S}$ is Galois.

Definition

The Galois group $Gal (K_{S} / K)$ is called the absolute Galois group of $K$ .

Galois theory for separable algebras

Theorem

Let $K$ be a field and $π_{1} (Spec K)$ its absolute Galois group. Then there is an equivalence of categories

{SAlg}_{K}^{op} ≃ π_{1} (Spec K) Set .

Galois theory for schemes

The classical Galois theory for fields is a special case of a general geometric/topos theoretic statement about locally constant sheaves and the action of the fundamental group on their fibers.

Statement of the main theorem

Definition

A morphism $f : Y \to X$ of schemes is a finite étale morphism if there exists a covering of $X$ by affine open subsets $U_{i} = Spec A_{i}$ , such that

for each $i$ the open subschemes $f^{- 1} (U_{i})$ of $Y$ is affine,
and equal to $Spec B_{i}$ , where $B_{i}$ is a free separable $A_{i}$ -algebra.

In this situation we also say that $f : Y \to X$ is a finite étale covering of $X$ .

A morphism from a finite étale covering $f : Y \to X$ to a finite étale covering $g : Z \to X$ is a morphism of schemes $h : Y \to Z$ such that $f = g \circ h$ .

This defines the category ${FEt}_{X}$ of finite étale covers of $X$ .

Theorem

Let $X$ be a connected scheme. Then there exists a profinite group $π_{1} (X)$ – the fundamental group of $X$ – uniquely determined up to isomorphism, such that the category of finite étale coverings $FEex$ is equivalent to the category $Fin π_{1} (X) Set$ of finite permutation representations of $π_{1} (X)$ (finite sets, with the discrete topology, on which $π_{1} (X)$ acts continuously).

This appears for instance as Lenstra, main theorem 1.11. It is fully discussed in SGA1.

The profinite group, $π_{1} (X)$ , is often called the étale fundamental group of the connected scheme $X$ . In SGA1, Grothendieck also considers coverings with profinite fibres, and a profinitely enriched fundamental groupoid. In the above the actual group $π_{1} (X)$ depends on the choice of a fibre functor given by a geometric point of $X$ . Different choices of fibre functor produce isomorphic groups. Taking two such fibre functors yields a $π_{1} (X)$ -torsor for either version of $π_{1} (X)$ . This is important in attacks on Grothendieck's section conjecture.

Examples

The disjoint union of $n$ copies of $X$ corresponds, under this theorem, to a finite set of $n$ elements on which $π_{1} (X)$ acts trivially.
The fact that for $X = Spec ℤ$ there are no other finite étale coverings of $X$ is thus expressed by the group $π_{1} (Spec ℤ)$ being trivial .
The same is true for $π_{1} (Spec K)$ , where $K$ is an algebraically closed field.
If $K$ is an arbitrary field, then $π_{1} (Spec K)$ is the absolute Galois group of $K$ ; i.e. the Galois group of the separable closure $K_{S}$ over $K$ . In this case theorem 4 is a reformulation of classical Galois theory.
In particular, if $K$ is a finite field, then $π_{1} (Spec K) ≃ \hat{ℤ}$ .
Let $X = Spec A$ , where $A$ is the ring of integers in an algebraic number field $K$ . Let $N$ be the maximal algebraic extension? of $N$ that is unramified at all non-zero prime ideals of $A$ . Then $π_{1} (X)$ is the Galois group of $N$ over $K$ .
More generally, if $a \in A$ , $a \neq 0$ , then $π_{1} (Spec A [\frac{1}{a}])$ is the Galois group, over $K$ , of the maximal algebraic extension of $K$ that is unramified at all non-zero prime ideals of $A$ not dividing $a$ .

Reproducing classical Galois theory of field extensions

In this section we explain the connection between the main theorem of Galois theory for schemes, theorem 4, and classical Galois theory.

We denote by $k$ a field. It is our purpose to show that the opposite category of the category of free separable $K$ -algebras is equivalent to the category of finite $π_{1} (X)$ -sets, for a certain profinite group $π_{1} (X)$ . This is a special case of the main theorem 4, with $X = Spec K$ . In the general proof we shall use the contents of this section only for algebraically closed $K$ . In that case, which is much simpler, the group $π_{1} (X)$ is trivial, so that the category of finite $π_{1} (X)$ -sets is just the category of finite sets.

Theorem

(…)

Grothendieck’s Galois Theory

In SGA1, Grothendieck introduced an abstract formulation of the above theory in terms of Galois categories. A Galois category is a category, $𝒞$ , satisfying a small number of properties together with a fibre functor $F : 𝒞 \to FinSet$ , preserving those properties. The theory is more fully described in the entry on Grothendieck's Galois theory.

Galois theory in topos theory

One notices that classical Galois theory has an equivalent reformulation in topos theory. That puts it into a wider general abstract context and leads to a topos-theoretic general Galois theory.

Reformulation of classical Galois theory

Observation

The étale morphisms $f : Y \to X$ corresponds precisely to the locally constant sheaves on $X$ with respect to the etale topology, in that it is equivalently a morphism for which there is an etale cover ${U_{i} \to X}$ such that $f$ is a constant sheaf on each $U_{i}$ .

For $K$ a field let $Et (K)$ be its small étale site. And

ℰ : = Sh (Et (K))

the sheaf topos over it. This topos is a

Then Galois extensions of $K$ correspond precisely to the locally constant objects in $ℰ$ . The full subcategory on them is the Galois topos $Gal (ℰ) ↪ ℰ$ .

The Galois group is the fundamental group of the topos.

Topos-theoretic Galois theory

Accordingly in topos theory Galois theory is generally about the classification of locally constant sheaves. The Galois group corresponds to the fundamental group of the topos .

(…)

Higher topos theoretic Galois theory

In the context of higher topos theory, there are accordingly higher analogs of Galois theory.

For aspects see

cohesive (infinity,1)-topos -- structures – Galois theory

‘La Longue Marche à travers la Théorie de Galois’

Between January and June 1981, Grothendieck wrote about 1600 manuscript pages of a work with the above title. The subject is the absolute Galois group, $Gal (\bar{ℚ}, ℚ)$ of the rational numbers and its geometric action on moduli spaces of Riemann surfaces. This is discussed in Long March?. Other entries that relate to this include anabelian geometry, children's drawings (in other words Dessins d’enfants, which is the study of graphs embedded on surfaces, their classification and the link between this and Riemann surfaces) and the Grothendieck-Teichmuller group.

The anabelian question is: how much information about the isomorphism class of an algebraic variety, $X$ is contained in the étale fundamental group of $X$ ? Grothendieck calls varieties which are completely determined by their étale fundamental group, anabelian varieties. His anabelian dream was to classify the anabelian varieties in all dimensions over all fields. This can be seen to relate to questions of the étale homotopy types of varieties.

Tim: I have a feeling that this anabelian question should have a form that generalises to higher dimensions. (Not that I can shed much light on progress in dimension one.) Perhaps there is an anabelian version of the homotopy hypothesis or something of that nature.

(…)

Related entries

categorical Galois theory, Grothendieck's Galois theory
differential Galois theory
Galois cohomology
Lascar group (a Galois group of first order theories)
anabelian geometry
geometric homotopy groups in an (∞,1)-topos, fundamental group of a topos, fundamental ∞-groupoid of an (∞,1)-topos

References

Lecture notes on the Galois theory for schemes are in

Hendrik Lenstra, Galois theory for schemes , Mathematisch Instituut Universiteit van Amsterdam (1985) (pdf)

Some of the material above is taken from this.

A comprehensive textbook is

Francis Borceux, George Janelidze, Galois theories Cambridge University Press (2001)

The locally simply connected case is discussed for instance in

Marco Robalo, Galois Theory towards Dessins d’Enfants (pdf)

nLab Galois theory

Context

Homotopy theory

Background

Variations

Definitions

Paths and cylinders

Homotopy groups

Theorems

Contents

Idea

Classical Galois theory for fields

Galois theory of fields

Definition

Definition

Definition

Definition

Theorem

Theorem

In terms of separable algebras

Free modules

Separable algebras

Definition

Separable closure

Definition

Remark

Definition

Galois theory for separable algebras

Theorem

Galois theory for schemes

Statement of the main theorem

Definition

Theorem

Examples

Reproducing classical Galois theory of field extensions

Theorem

Grothendieck’s Galois Theory

Galois theory in topos theory

Reformulation of classical Galois theory

Observation

Topos-theoretic Galois theory

Higher topos theoretic Galois theory

‘La Longue Marche à travers la Théorie de Galois’

Related entries

References

nLab
Galois theory