In this note, I want to discuss the work of Weil as presented in Milne’s papers (in particuar this one). Given a finite Galois extension of fields, many readers will be familiar with the usual “Galois descent” procedure giving an equivalence between (for example) affine varieties over and affine varieties over with a suitable action. Indeed, such extensions are finite etale, and the result is immediate from the general theory of etale descent and the “Galois isomorphism” , which one can unravel and check implies that to give a -action is to give a descent datum.
If is no longer finite, this method breaks down. It will still be an fpqc cover, so descent theory works fine, but the Galois isomorphism breaks down. This can be seen using infinite Galois theory: for example by considering and noting that only the open index 2 subgroups give rise to degree 2 etale algebras. In the case where is algebraic and ind-Galois, is profinite and imposing continuity conditions like the one we saw above, one is able to recover Galois descent theory from the finite case. However, if the extension is transcendental, it is less clear how to proceed. For example, a key obviously interesting example is when one has an object over together with an action of . Here has uncountable transcendence degree.
Before we state our theorem, let us first (following Milne) make the question at hand a little more precise. Let be a variety (geometrically reduced separated scheme of finite type) over a field which we assume is algebraically closed (to avoid having to define “Galois”). Let be a subfield. A descent system for is a collection of isomorphisms one for each satisfying the cocycle condition . We emphasise that such a thing is generally not the same as a descent datum. If there is a model giving rise to by base change, we say is effective.
Theorem (Weil): Let be an algebraically closed extension of infinite transcendence degree, and suppose we are given a quasiprojective variety over with descent system to as above. Then for to be effective it suffices for there to be a finitely generated subextension such that the restriction of to is effective.
Milne notes the following consequence. Suppose your variety over has the following properties.
- There is a finite set of points such that any automorphism of which fixes each point of must be the identity.
- There is a finitely generated extension with the property that for all .
Then the given pair is effective for descent .
Indeed since is quasiprojective we may always fix any model for it and enlarge to contain the coefficients of the polynomials describing the variety and the points of . Thus we obtain a model and the condition (2) implies that the isomorphisms coming from the model and the given agree on where they send the points . They therefore agree by condition (1), so we have established effectivity of the restriction of to . The desired result now follows from the theorem.
As far as I can see, this seems to give a very practical tool for performing descent along transcendental extensions, and is necessary for Milne to show that Langlands’ conjecture on conjugation of Shimura varieties actually really implies the existence of canonical models.