Extensions of \infty-group sheaves

Authors

Publication date 29 December 2016

Abstract: Let

m a t h s c r X

be an

i n f t y

-topos, for example the

i n f t y

-category of simplicial sheaves on a Grothendieck site. Then

i n f t y

-group sheaves are group objects in

m a t h s c r X

. Let

A i n m a t h r m G r p m a t h s c r X

be such a group object. Then as

m a t h s c r X

is an

i n f t y

-topos, there exists a universal

m a t h b f B A

-fiber bundle

m a t h b f B A / / m a t h b f A u t A x r i g h t a r r o w q m a t h b f B m a t h b f A u t A

. We make

q

pointed, and show that as a pointed map, via the looping-delooping equivalence, it is a universal extension of group objects by

A

. In particular, semidirect products of group objects by

A

are classified by

m a t h b f B A / / m a t h b f A u t A

.

This page was built for publication: Extensions of $\infty$-group sheaves