3
$\begingroup$

Let $G$ and $E$ be 0-truncated group objects in the infinity category of stacks on a Grothendieck site. Suppose $E$ is commutative. Then it turns out that the classifying stack $BE$ of $E$-torsors comes with a commutative group structure making it a commutative group stack. I have heard that the following claim before :

Group homomorphisms $f : G \to BE$ are equivalent to central extensions $0 \to E \to \tilde{G} \to G \to 1$

Given $f$, it follows from the definition of $BE$ that by pulling back the identity $* \to BE$ one obtains an $E$-torsor $\tilde{G} \to G$ with fiber above identity being $E$. By using the multiplication of $BE$, I can construct a multiplication on $\tilde{G}$ and show that the inclusion of the fiber $E \to \tilde{G}$ is a group homomorphism. However I am stuck at showing $E$ lies in the center of $\tilde{G}$. Any hints?

$\endgroup$
4
  • 1
    $\begingroup$ For a section $g$ of $G$, the isomorphism $E\wedge E_g\simeq E_g$ is the same as the isomorphism $E_g\wedge E \simeq E_g$ precomposed with the flip. This is giving you the centrality. Also, note that, if it weren't central, then conjugation in $\tilde{G}$ would give a non-trivial action of $G$ on $E$, and this has no a priori reason to exist. $\endgroup$ Commented Feb 8 at 0:51
  • $\begingroup$ Thank you for the comment. May I ask what is $\wedge$ in this context? Is it the symmetric monoidal structure on $E$-torsors? $\endgroup$ Commented Feb 8 at 12:44
  • $\begingroup$ Yes, and these isomorphism are the ones witnessing the fact that $E$ is the unit for this product $\endgroup$ Commented Feb 8 at 13:40
  • $\begingroup$ I think I got the computation. I will write it up when I have time. Thank you for the help! $\endgroup$ Commented Feb 10 at 15:22

0

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.