The isotropy subalgebra of the canonical 3-form of a semisimple Lie algebra (Q1042755): Difference between revisions

It is a well known fact that \((\text{GL}(8,\mathbb{K}),\Lambda^3 \mathbb{K}^8)\) is a prehomogeneous vector space. This fact may be established by considering a suitable point in \(\Lambda^3 \mathbb{K}^8\) and computing its isotropy subalgebra. It is done using the fact that \(\mathbb{K}^8\) is identified with \(\mathfrak{sl}(3,\mathbb{K})^*,\) the dual space \(\mathfrak{sl}(3,\mathbb{K}),\) and computing the isotropy subalgebra of the canonical \(3\)-form \(\omega\in \Lambda^3{\mathfrak{sl}(3,\mathbb{K})}^*.\) Then it is shown that this isotropy subalgebra is isomorphic to \(\mathfrak{sl}(3,\mathbb{K})\). A similar argument can be applied for the pair \((\text{GL}(6,\mathbb{K}),\Lambda^3{\mathbb{K}}^6)\) in place of \((\text{GL}(8,\mathbb{K}),\Lambda^3{\mathbb{K}}^8)\); in this case, \(\mathbb{K}^6\) is identified with \((\mathfrak{sl}(2,\mathbb{K})\oplus \mathfrak{sl}(2,\mathbb{K}))^*\) and the isotropy subalgebra of the canonical \(3\)-form \(\omega\in \Lambda^3(\mathfrak{sl}(2,\mathbb{K})\oplus \mathfrak{sl}(2,\mathbb{K}))^*\) is isomorphic to \(\mathfrak{sl}(3,\mathbb{K})\oplus \mathfrak{sl}(3,\mathbb{K})\). These two examples show that the isotropy subalgebra in \(\mathfrak{gl(g)}\) of the canonical \(3\)-form of a semisimple Lie algebra \(\mathfrak{g}\) is varies in size from family to family. The aim of the paper under review is to determine the isotropy subalgebra in \(\mathfrak{gl(g)}\) of the canonical \(3\)-form of a finite dimensional semisimple Lie algebra over a field of characteristic zero. The author presents a sufficient condition under which this isotropy subalgebra is isomorphic to \(\mathfrak{g}.\) More precisely, he proves that if \(\mathfrak{g}\) is a finite dimensional semisimple Lie algebra over a filed \(\mathbb{K}\) of characteristic zero such that \(\bar{\mathbb{K}}\otimes_{\mathbb{K}}\mathfrak{g}\), in which \(\bar{\mathbb{K}}\) is the algebraic closure of \(\mathbb{K},\) has no simple ideal isomorphic to \(\mathfrak{sl}(2,{\mathbb{K}})\), then the isotropy subalgebra of the canonical \(3\)-form of \(\mathfrak{g}\) coincides with \(\text{ad}\,(\mathfrak{g})\). He also studies the case when this condition fails.