Descent along torsors

In mathematics, given a G-torsor X → Y and a stack F, the descent along torsors says there is a canonical equivalence between F(Y), the category of Y-points and F(X)^G, the category of G-equivariant X-points.[1] It is a basic example of descent, since it says the "equivariant data" (which is an additional data) allows one to "descend" from X to Y.

When G is the Galois group of a finite Galois extension L/K, for the G-torsor $\operatorname {Spec} L\to \operatorname {Spec} K$ , this generalizes classical Galois descent (cf. field of definition).

For example, one can take F to be the stack of quasi-coherent sheaves (in an appropriate topology). Then F(X)^G consists of equivariant sheaves on X; thus, the descent in this case says that to give an equivariant sheaf on X is to give a sheaf on the quotient X/G.

Notes

Vistoli, Theorem 4.46

gollark: It's probably somewhat less secure. But you can do it without worrying about COVID-19 or whatever.

gollark: More secure than what?

gollark: That does not sound like very good advice in general, let alone in some sort of extremely dangerous post-apocalypse.

gollark: People are too complicated and there are too many factors.

gollark: Except by chance.

References

Angelo Vistoli, Notes on Grothendieck topologies, fibered categories and descent theory (Updated September 2, 2008)

External links

Stack of Tannakian categories? Galois descent?

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Vistoli, Theorem 4.46