Descent along torsors

From Wikipedia, the free encyclopedia

In mathematics, given a G-torsor XY 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 , 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

  1. ^ Vistoli, Theorem 4.46

References

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

External links

  • http://mathoverflow.net/questions/149718/stack-of-tannakian-categories-galois-descent


Retrieved from "https://en.wikipedia.org/w/index.php?title=Descent_along_torsors&oldid=765704598"
This content was retrieved from Wikipedia : http://en.wikipedia.org/wiki/Descent_along_torsors
This page is based on the copyrighted Wikipedia article "Descent along torsors"; it is used under the Creative Commons Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may redistribute it, verbatim or modified, providing that you comply with the terms of the CC-BY-SA