С каждой редуктивной абелевой группой автоморфизмов (полу)простой комплексной алгебры Ли связана градуировка алгебры , градуирующими подпространствами которой служат весовые подпространства группы . Таким образом получаются корневое разложение, обобщенное корневое разложение (ассоциированное с внешним автоморфизмом алгебры ), различные циклические градуировки и пр.
Интересно, однако, рассматривать и "неабелевы градуировки", под которыми я понимаю разложение алгебры на изотипные компоненты относительно некоторой редуктивной неабелевой группы автоморфизмов. В этом случае коммутатор двух градуирующих подпространств, вообще говоря, не лежит в каком-либо одном градуирующем подпространстве. Тем не менее, при некоторых дополнительных предположениях формулы для коммутаторов выглядят достаточно просто и доставляют полезную информацию о строении алгебры Ли. В частности, таким образом могут быть получены различные модели особых простых алгебр Ли.
В лекциях будет рассказано о нескольких типах таких неабелевых градуировок — коротких -структурах, коротких -структурах и коротких -структурах.
Короткой -структурой в алгебре Ли называется подгруппа , изоморфная , относительно которой алгебра разлагается в сумму неприводимых компонент размерностей 1, 2 и 3. В любой простой алгебре Ли существует такая структура; в частности, в качестве можно взять трехмерную корневую подгруппу, отвечающую длинному корню. Структуры этого последнего вида связаны с кватернионными симметрическими пространствами, а также рассматривались ранее (не называясь таким образом) в связи с задачей геометрического квантования.
Короткой -структурой в алгебре Ли называется подгруппа , изоморфная , относительно которой алгебра разлагается в сумму неприводимых компонент размерностей не больше 5 (т.е. 1, 3 или 5). Такие структуры есть во всех простых алгебрах Ли. С каждой из них связано представление алгебры в виде суммы пространства косоэрмитовых матриц третьего порядка с нулевым следом над некоторой (вообще говоря, неассоциативной) алгеброй с инволюцией и алгебры дифференцирований . Возникающие здесь алгебры с инволюцией называются структурируемыми, или алгебрами Кантора–Аллисона. К ним, в частности, относятся ассоциативные алгебры с инволюцией, йордановы алгебры (с тривиальной инволюцией), а также композиционные алгебры и их попарные тензорные произведения. Короткая -структура на простой алгебре Ли позволяет представить соответствующую группу Ли как группу автоморфизмов "обобщенной эллиптической плоскости" над алгеброй .
Короткой -структурой в алгебре Ли называется подгруппа , изоморфная , относительно которой алгебра разлагается в сумму подалгебры и неприводимых компонент размерностей 1 и 3. В любой простой алгебре Ли, кроме , такая структура существует и единственна с точностью до автоморфизма. В терминах этой структуры алгебра однозначно восстанавливается по некоторой кубической форме (в пространстве меньшего числа измерений), которую я называю нормой алгебры . Доказывается, что кубическая форма в пространстве является нормой некоторой простой алгебры Ли тогда и только тогда, когда группа линейных преобразований, сохраняющих конус , редуктивна и имеет в открытую орбиту.