Suppose we have a system of polynomial equations over a perfect (to keep things simple) field , and we’d like to consider solutions of it over various field extensions of . Write for the set of all solutions to this system over .
As it happens, knowing for any algebraic extension of is equivalent to knowing , where denotes the algebraic closure of , together with the action of the absolute Galois group . After picking an embedding of into , the infinite Galois correspondence says that is precisely the set of fixed points of the closed subgroup of which stabilizes , and it’s not hard to see that this extends to ; that is, naturally acts on , and we have a natural identification
.
Now let’s categorify this situation. Before we considered, for each algebraic extension of , a set . There are many situations in mathematics in which it’s natural to consider instead a category , such that a morphism induces a functor , and so forth. The basic example is the case that is the category of -vector spaces, and for a morphism the corresponding functor is given by extension of scalars
.
This leads to many other examples coming from equipping vector spaces with extra structure: for example, might be
- the category of representations of some finite group over ,
- the category of commutative (or associative, or Lie) algebras over , or
- the category of schemes over .
It would be great if understanding all of these categories was in some sense as simple as understanding the category , which generally tends to be simpler, and the action of the absolute Galois group on it, whatever that means. For example, the representation theory of finite groups over algebraically closed fields of characteristic zero is well understood, as is, say, the classification of semisimple Lie algebras. The general problem of trying to extract an understanding of from an understanding of is the problem of Galois descent.
We might very optimistically hope that the story here is directly analogous to the story above. This suggests the following puzzle.
Puzzle: In what sense could the statement be true for the examples given above?
[…] addition, as mentioned in the first post in this series on Galois descent, this condition should also be regarded as a categorification of […]
[…] to slightly correct our initial definition). Today, as the next step in our attempt to understand Galois descent, we’ll describe what the fixed points of such a group action […]
[…] « The puzzle of Galois descent […]
In what sense is it true that the representations over of a finite group (such as , for example) are well-understood?
Fine, I’ll tack on “characteristic zero” to that comment. Happy?
Shouldn’t the field be perfect? Otherwise you might have trouble with inseparable extensions…
Hmm. Yeah, I guess I’m happy to make that restriction to be safe.