Jacobson-Morozov lemma for algebraic supergroups (Q2078877): Difference between revisions

Let \(k\) be an algebraically closed field of characteristic \(0\). The classical setting for Jacobson-Morozov lemma says given an embedding of algebraic groups \(\mathbb{G}_a \rightarrow L\), where \(\mathbb{G}_a\) is the additive group and \(L\) is reductive, one can extend this homomorphism to a homomorphism \(\mathrm{SL}_2 \rightarrow L\), which is unique up to conjugation by an element of \(L\). The embedding \(\mathbb{G}_a \to L\) corresponds to a choice of nilpotent element in \(\text{Lie}(L)\). This provides the Jacobson-Morozov lemma for Lie algebras: every nilpotent element in a semisimple Lie algebra \(\mathfrak{l}\) can be embedded into an \(\mathfrak{sl}_2\)-subalgebra of \(\mathfrak{l}\), which is unique up to conjugation by an element of \(L\). Let \(G\) be a quasi-reductive algebraic supergroup \(G\), i.e., the even part \(G_{\overline{0}}\) of the supergroup \(G\) is a reductive algebraic group. Given such \(G\), I. Entova-Aizenbud and V. Serganova use the theory of semisimplifications of symmetric monoidal categories to define a symmetric monoidal functor \(\Phi_x: \text{Rep}(G) \to \text{Rep}(\mathrm{OSp}(1|2))\) associated to any given element \(x \in \mathrm{Lie}(G)_{\bar 1}\). For nilpotent elements \(x\), they show that the functor \(\Phi_x\) can be defined using the Deligne filtration associated to \(x\). They use this approach to prove an analogue of the Jacobson-Morozov Lemma for algebraic supergroups by giving a necessary and sufficient condition on odd nilpotent elements \(x\in \mathrm{Lie}(G)_{\bar 1}\) which define an embedding of supergroups \(\mathrm{OSp}(1|2)\to G\) so that \(x\) lies in the image of the corresponding Lie algebra homomorphism (Theorem 4.2.1, page 15): if \(G\) is a quasi-reductive algebraic supergroup and if \(i:\mathbb{G}_a^{(1|1)} \hookrightarrow G\) is a neat injective homomorphism, the inclusion \(i\) can be extended to an injective homomorphism \(\bar{i}: OSp(1|2) \hookrightarrow G\), which is unique up to conjugation by an element of \(G_{\bar 0}\).