English

Torsors and gerbes

Algebraic Geometry 2023-05-26 v1

Abstract

Let AA be an abelian sheaf on a site XτX_{\tau} on which we have an action of a finite group GG. Given an AA-torsor (respectively a gerbe banded by AA), we would like to know under what conditions it is induced from an AGA^G-torsor (respectively a gerbe banded by AGA^G). It is necessary for the torsor or the gerbe to admit a lift of the group action. Given such a GG-action, we define an obstruction class which is a cohomology class in H2(G,A(X))H^2(G,A(X)) for torsors and in H3(G,A(X))H^3(G,A(X)) for gerbes. We prove that if a torsor or a gerbe is induced from the invariants, then the obstruction class is zero. Moreover, the vanishing of the obstruction class is sufficient for the reverse conclusion assuming the group cohomology classes locally vanish. The first two sheaf cohomology groups Hi(X,A)H^i(X,A) can be realized concretely as the group of AA-torsors and the group of abelian gerbes banded by AA. Using this realization and the notion of obstruction classes, we describe morphisms of cohomologies in low degrees which come from a certain spectral sequence. A particular example of interest is the Hoschild-Serre spectral sequence that arises in the case of a finite etale Galois cover of a scheme XX with Galois group GG.

Keywords

Cite

@article{arxiv.2305.15412,
  title  = {Torsors and gerbes},
  author = {Ashwin Deopurkar},
  journal= {arXiv preprint arXiv:2305.15412},
  year   = {2023}
}

Comments

31 pages, Comments are welcome!

R2 v1 2026-06-28T10:45:00.667Z