Extensions of $\infty$-group sheaves
Algebraic Geometry
2016-12-30 v1
Abstract
Let be an -topos, for example the -category of simplicial sheaves on a Grothendieck site. Then -group sheaves are group objects in . Let be such a group object. Then as is an -topos, there exists a universal -fiber bundle . We make pointed, and show that as a pointed map, via the looping-delooping equivalence, it is a universal extension of group objects by . In particular, semidirect products of group objects by are classified by .
Cite
@article{arxiv.1612.09070,
title = {Extensions of $\infty$-group sheaves},
author = {Pal Zsamboki},
journal= {arXiv preprint arXiv:1612.09070},
year = {2016}
}
Comments
10 pages