ScalingStacks

[0MI6]

Theorem 4.13. The full subcategory

Aut⁡(Gauntn)⊂Fun⁡(Gauntn,Gauntn)\Aut(\gaunt_{n})\subset\Fun(\gaunt_{n},\gaunt_{n})

of the category spanned by the autoequivalences is equivalent to the discrete set (ℤ/2)n(\mathbb{Z}/2)^{n}.

[0MI7]

Proof. Indeed, it follows from Corollary 4.12 that it is essentially surjective, and it follows from Lemma 4.5 that the action functor ρ:(ℤ/2)n→Aut⁡(Gauntn)\rho:(\mathbb{Z}/2)^{n}\to\Aut(\gaunt_{n}) is fully faithful. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Clark Barwick, Christopher Schommer-Pries

Original source: arXiv:1112.0040v6

Original source · 1112.0040v6