ScalingStacks

[0MI4]

Corollary 4.12. Any autoequivalence of the category Gauntn\gaunt_{n} is isomorphic to a functor of the form ρ⁡(g)\rho(g) for some g∈(ℤ/2)ng\in(\mathbb{Z}/2)^{n}.

[0MI5]

Proof. Any autoequivalence preserves all colimits, in particular the compositional pushouts. Moreover by Lemma 4.8, every autoequivalence FF restricts to an autoequivalence of 𝔾n\mathbb{G}_{n}, and hence the assumptions of the previous lemma are met.

∎

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