О полупростых подалгебрах особых алгебр ЛИ

Содержание

• Введение
  • 0. 1. Исторические сведения и краткое описание работы
  • 0. 2. Результаты главы
  • 0. 3. Результаты главы
• 1. Классификация в комплексном случае
  • 1. 1. Предварительные сведения
    • 1. 1. 1. Эквивалентность и линейная эквивалентность
    • 1. 1. 2. Описание регулярных подалгебр
    • 1. 1. 3. Полные регулярные подалгебры
    • 1. 1. 4. R- и S-подалгебры
    • 1. 1. 5. Одно свойство линейно сопряжённых подалгебр
  • 1. 2. Классификация простых вложений
    • 1. 2. 1. Идентификация простых подалгебр
    • 1. 2. 2. Результат Дынкина
    • 1. 2. 3. Описание таблиц 1
    • 1. 2. 4. Несколько замечаний
    • 1. 2. 5. Случай д = Е
    • 1. 2. 6. Случай д = Е
    • 1. 2. 7. Случай 0 = Es
  • 1. 3. Инварианты особых алгебр Ли
  • 1. 4. Классификация полупростых вложений
    • 1. 4. 1. Характеристики Дынкина 3-мерных подалгебр
    • 1. 4. 2. Основная идея
    • 1. 4. 3. Случай D."
    • 1. 4. 4. Случай Е
    • 1. 4. 5. Основной результат
  • 1. 5. Нормализаторы простых подалгебр
    • 1. 5. 1. Результаты Алексеевского
    • 1. 5. 2. Нахождение групп N = Г X Z
    • 1. 5. 3. Описание таблиц 1
    • 1. 5. 4. Примеры нахождения группы Z — Zc (b)
    • 1. 5. 5. Примеры нахождения группы N = TAZc{b)
  • 1. 6. Таблицы
• 2. Классификация в вещественном случае
  • 2. 1. Предварительные замечания
  • 2. 2. Классификация инволюций
    • 2. 2. 1. Редукция к классификации внутренних инволюцйй
    • 2. 2. 2. Классификация внутренних инволюций
    • 2. 2. 3. Случай и ± Id
  • 2. 3. Частичный порядок на множестве подалгебр
    • 2. 3. 1. Задание частичного порядка
    • 2. 3. 2. Определение х для классических алгебр Ли
    • 2. 3. 3. Определение ц для особых алгебр Ли
  • 2. 4. Отображение v и его слои
    • 2. 4. 1. Теорема о редукции
    • 2. 4. 2. Сведение к случаю: г — простая алгебра Ли, R = Aut х,
• G = R (С)
  • 2. 4. 3. Классификация вещественных форм //[g] -примитивных подалгебр
  • 2. 5. Группа автоморфизмов полупростой вещественной алгебры Ли
  • 2. 6. Вложения между особыми вещественными алгебрами Ли
  • 2. 7. Таблицы
• Глава. О
  • 0. 1. Исторические сведения и краткое описание работы

  В диссертации решается проблема классификации с точностью до сопряженности полупростых подалгебр полупростых алгебр Ли над полями С и I. Этот вопрос актуален со времени возникновения теории С. Ли о группах преобразований и тесно связан с классификацией однородных пространств групп Ли [И]. Проблемой описания подалгебр алгебр Ли занимались многие математики.

  Первый значимый прогресс в этом направлении был сделан Э. Картаном [14], [15] и Г. Вейлем [22], развившим теорию представлений полупростых комплексных алгебр Ли. Тем самым была получена классификация полупростых подалгебр в ап} Описание полупростых подалгебр других классических алгебр Ли вп, сп и dn было дано А. И. Мальцевым [10], им же частично были исследованы подалгебры особых алгебр Ли G2 и F4.

  Идея Мальцева использовать теорию представлений для классификации подалгебр, была реализована Е. Б. Дынкиным в работе [4] для классификации полупростых подалгебр особых комплексных алгебр Ли. А именно, Дын-кин рассматривал классификацию с точностью до линейной сопряженности. (Подалгебры f) i и 1)2 алгебры Ли д называются линейно сопряженными, если для любого линейного представления алгебры g образы подалгебр fji и 1)2 сопряжены в алгебре матриц.) Сопряженные подалгебры линейно сопряжены, и в подавляющем большинстве случаев верно обратное, как было

  1 Поскольку группа внутренних автоморфизмов полупростой алгебры Ли раскладывается в прямое произведение соответствующих групп ее простых идеалов, для решения поставленной задачи достаточно классифицировать полупростые подалгебры простых алгебр Ли. отмечено в [4]. (Дынкин классифицировал с точностью до сопряженности обширное и важное семейство подалгебр, о чем пойдет речь ниже.) Однако полный

  список линейно сопряженных несопряженных полупростых подалгебр особых комплексных алгебр Ли получен не был (в классическом случае ответ дается в работе [10]). В настоящей работе этот

  список найден, что в некотором смысле завершает классификацию полупростых подалгебр полупростых комплексных алгебр Ли.

  Случай произвольного алгебраически замкнутого поля (с небольшими ограничениями на характеристику) был рассмотрен в [17]. А именно, были классифицированы простые подалгебры особых алгебр Ли с точностью до сопряженности, а также найдены их централизаторы.

  Имея классификацию в комплексном случае, естественно попытаться получить таковую и для поля вещественных чисел. В предположении, что известна классификация с точностью до сопряженности полупростых подалгебр комплексной полупростой алгебры g, а также известны их нормализаторы в Intg, Ф. И. Карпелевич [6] предложил метод получения классификации с точностью до квазисопряэюенности полупростых подалгебр вещественных форм алгебры д. (Если г — вещественная форма то 5i, 52 с г квази-сопряжены, если существует автоморфизм ip? Intg такой, что cp (t) = г и ip{s) — so). Таким^образом им была получена классификация с точностью до квазисопряженности полупростых подалгебр классических вещественных алгебр Ли.

  Некоторые результаты в вопросе описания подалгебр особых вещественных алгебр Ли получены в работах [13], [23], [16], [8]. А именно, были найдены вещественные формы комплексных пар (g, fy) в некоторых специальных случаях. (Комплексная (вещественная) пара — это набор из полупростой комплексной (вещественной) алгебры Ли д и ее полупростой подалгебры f). Вещественная форма комплексной пары — это набор из вещественной формы г алгебры 0 и вещественной формы s алгебры f) такой, что s с г. Всякая вещественная пара является вещественной формой комплексной пары.) Кроме того, Комраковым был предложен метод получения вещественных форм произвольных пар, зная вышеуказанные. Это дает некий способ описания всех полу простых подалгебр полупростых вещественных алгебр Ли, но тем не менее, вопрос о нахождении классов сопряженности остается открытым.

  В настоящей диссертации излагается несколько отличное от предыдущего описание вещественных форм произвольных комплексных пар, а также дается классификация с точностью до сопряженности (и квазисопряженности)

  2Формально Карпелевич классифицировал простые подалгебры, однако из его результатов, как мы увидим, легко вытекает и классификация полупростых подалгебр. полупростых подалгебр полупростых вещественных алгебр Ли. В частности, мы получаем усиление классификации Карпелевича.

  Отметим также работу [20], где классифицированы с точностью до сопряженности картановские подалгебры вещественных полупростых алгебр Ли. (Как известно, в комплексных полупростых алгебрах Ли все картановские подалгебры сопряжены.)

  Автор выражает благодарность своим научным руководителям Э. Б. Винбер-гу и И. В. Аржанцеву за внимание к данной работе.

  0.2 Результаты главы

  Особые комплексные алгебры Ли представлены пятыо типами (т. е. классами изоморфности) Go > Fa, Ев, Ej и Е% .3 В отличие от классических алгебр Ли, о которых удобно говорить на языке теории представлений, особые алгебры Ли, с точки зрения классификации их полупростых подалгебр, представляют собой довольно сложный объект в смысле какого бы то ни было матричного описания. Дынкин нашел выход из этой ситуации при помощи введения понятий регулярной подалгебры и S-подалгебры.

  Полупростая подалгебра в 0 называется регулярной, если она порождена некоторым множеством корневых векторов относительно некоторой карта-новской подалгебры 0. Описание множества регулярных подалгебр сводится к описанию подсистем системы корней алгебры д. Дынкин классифицировал все регулярные подалгебры с точностью до сопряженности. Оказывается, что как правило регулярные подалгебры одного типа сопряжены. Это позволяет обозначать их классы сопряженности при помощи их типов, с некоторыми уточнениями в исключительных случаях, например, А2, А2 при д = Fi или [SAiY, [ЗЛх]" при д = Е7.

  Подалгебра, не содержащаяся ни в одной регулярной подалгебре, называется S-подалгеброй. Например, неприводимые подалгебры классических алгебр Ли являются S-подалгебрами, и как правило верно обратное (все исключения известны). В работе [4] классифицированы, с точностью до сопряженности, все S-подалгебры особых алгебр Ли. А именно, указаны их канонические образующие, выраженные через канонические образующие алгебры g.

  Поскольку отношение регулярности транзитивно (регулярная подалгебра регулярной подалгебры g регулярна в 0), всякая полупростая подалгебра g является S-подалгеброй некоторой регулярной подалгебры g (называе

  3Иногда нам будет удобно к этому списку относить и D4, что будет специально оговариваться. мой минимальной объемлющей регулярной подалгеброй). В силу того, что S-подалгебры Q ф 02 характеризуются тем, что их проекции на gi, 02 являются S-подалгебрами, из описания регулярных подалгебр и S-подалгебр простых алгебр Ли выводится описание множества

  На множестве

  Программа Мальцева решения обозначенной проблемы состоит в следующем: классифицировать полупростые подалгебры с точностью до линейной сопряженности, а затем в каждом классе линейной сопряженности описать классы сопряженности, на которые он разбивается. Например, в смысле этой программы имеется следующая классификация в классическом случае. Пусть V — комплексное конечномерное векторное пространство g = st (V), so (У) или sp (V), t) i, f)2 С g — полупростые подалгебры, являющиеся образами вложений cpii fj —> 0, г = 1,2. Продолжение ^ до вложения в Ql{V) (представление ^ в У) обозначим через ф{, г = 1,2. Рассмотрим три условия:

  CI) f) i и f)2 линейно сопряжены-

  С2) фт ~ Ф2 для некоторого автоморфизма г? Aut f) — (СЗ) I) i и) о сопряжены-

  Из результатов работ [10], [4] непосредственно выводится

  Теорема 1. Если g Ф so (V), mo все условия эквивалентны. В любом случае верны импликации (СЗ) (С1) (С2). Пусть g = so (У). Тогда условие (2) равносильно

  С2!) f)2 = c (f)i) — а? Autg — автоморфизм, индуцированный ортогональным преобразованием V.

  Импликация (С2') =Ф- (С1) (соотв. (С2') (СЗ)) неверна тогда и только тогда, когда представление щ не содержит нулевого веса и | det crj = —1 (соотв. нельзя выбрать tug так, чтобы ipir = cripi).

  Теорема 1 дает ответы на все вопросы из программы Мальцева в классическом случае. Сформулируем известные результаты (см. [4]) относительно взаимосвязи условий (С 1)--(03) для особых алгебр д. Определение ф$ при этом обобщается следующим образом: ф-% = ptpi, i = 1,2, где р: g —> gl (V) — представление минимальной размерности.

  Теорема 2. Пусть 0 — особая комплексная алгебра Ли. Тогда верны импликации (О3) (С 1) (С2) верны для всех особых алгебр JIu g. Если F) i и f)2 регулярны или типа А, то (С 1) ~ (СЗ). Если f) i и t) o являются S-подалгебрами g, то импликация (С1) => (СЗ) неверна только в случаях g = Eq,) ~ Ао или G2 ¦ При этом 1)2 = &-(Ь 1) > где a G AutE& — внешний автоморфизм.

  Теорема 2 дает классификацию существенного (но не всего) множества полупростых подалгебр особых алгебр Ли. Для классификации подалгебр fj 6

  В работе [4] был получен следующий критерий линейной сопряженности.

  Теорема 3. Две полупростые подалгебры полупростой алгебры Ли линейно сопряоюены тогда и только тогда, когда их системы простых корней сопряжены.

  Дынкин классифицировал с точностью до линейной сопряженности простые подалгебры особых алгебр Ли. При этом для классификации трехмерных подалгебр была использована теорема 3, а для других подалгебр — равносильность условий (01) и (С2). А именно, были рассмотрены все пары (Г, fy), где регулярная подалгебра I С g и S-подалгебра 1} С [ взяты с точностью до сопряженности (в частности, число таких пар конечно). В случае f) ~ ^©, было найдено вложение в g полупростого элемента (характеристики) h € s lo © с квадратом длины 2 в терминах скалярных произведений h с простыми корнями относительно некоторой картановской подалгебры 0. В других случаях было вычислено представление (его класс эквивалентности) рц. Таким образом, для каждого класса линейной сопряженности были указаны все пары ([, fj), в него входящие.

  4Система простых корней полупростой алгебры Jin вкладывается в ее картановскуго подалгебру при помощи формы Картана-Киллинга.

  Оказывается, почти всякий класс линейной сопряженности однозначно определяется типом Т алгебры и ее индексом (Дынкина) cl. По определению, индекс простой подалгебры — это коэффициент сжатия корней I) при вложении в g с условием, что скалярные произведения на f) и простых идеалах 0 одинаково нормированы: например, (а, а) = 2 для максимального корня а. В работе [4] доказано, что индекс является целым числом. Из теоремы 3 следует, что линейно сопряженные простые подалгебры имеют одинаковые индексы. Классы линейной сопряженности обозначаются как Td или, если первое обозначение можно отнести к нескольким классам.

  Основным результатом первой главы является

  Теорема 4. Классы линейной сопряженности С Eq и Af' С Eg содержат ровно два класса сопряженности, при этом в случае g = Eq последние переводятся один в другой внешним автоморфизмом g. Остальные классы линейной сопряженности полупростых подалгебр особых алгебр Ли совпадают с классами сопряженности.

  Мы обозначаем классы сопряженности, на которые распадается класс линейной сопряженности L, как L (1) и Ь (2). Все классы сопряженности простых подалгебр ранга больше 1 представлены в таблицах 1.10−1.14.

  При доказательстве теоремы 4 мы пользуемся следующими соображениями. Пусть f) G

  Второй результат первой главы касается альтернативного описания полупростых подалгебр особых алгебр Ли. А именно, мы находим централизаторы 3(1)) представителей всех классов сопряженности простых подалгебр I) с g ранга более 1. Алгебры 3(f)) находятся с помощью своей известной размерности т: если мы обнаружили подалгебру fj (c)3 с д и сИтз = т, то 3 = 3(f)). Алекееевским были найдены [1] группы Zintg (fj) в случае, когда f) ~ и g — особая алгебра Ли. Мы получили аналогичный результат для оставшихся простых подалгебр f) С Q теми же методами, что использовались в упомянутой работе. Более того, нами был получен образ группового нормализатора iVxntg (f)) в Aut^fy). Соответствующие результаты представлены в таблицах 1.10−1.14. Они используются нами в главе 2.

  0.3 Результаты главы

  В главе 2 объектом нашего исследования являются полупростые вещественные алгебры Ли и их полупростые подалгебры. Всякая полупростая вещественная алгебра Ли х допускает разложение (Картана) х = t © р, где t С г — максимальная компактная подалгебра, р = — ее ортогональное дополнение. Все такие разложения сопряжены, иными словами, все максимальные компактные подалгебры х сопряжены. При этом инволютивный оператор в на х, въ — Е, вр = —Е является автоморфизмом г- он называется инволюцией Картана алгебры х, Всякий автоморфизм алгебры х однозначно продолжается до автоморфизма ее комплексификации 0 = r© = г (8)® С.

  Соответствие х н-" {д, 0) определяет биекцию между типами полупростых вещественных алгебр Ли и классами изоморфизма пар (я, 9), или пар (д,, где q — полупростая комплексная алгебра Ли, в б Autg, в2 = 1. (Пары (gi, 6i) и (52,^2) изоморфны, если существует изоморфизм a: —* 02 такой, что в2(а (х)) = а (6(х)), х € fli.) При этом, если алгебра х проста и не имеет комплексной структуры5, то алгебра 0 также проста- в противном случае g ~ г ф г и 0 — перестановка идеалов t. Если г компактна, то в = 1. Типы некомпактных вещественных форм простых комплексных алгебр Ли перечислены в следующей таблице.

  9 вв ' r slk© + sl"-k© + С su? = suk, nk, s = n-2k son{C)

  5pn©, п = 2m

  50П© 50fc (C)+50nfc© SOsn = S0k, n-k, S — n — 2k

  JSrtm©, n = 2m u*mm

  С) *MC)+Sp2(n-fc)© 5pSn = SPk, n-b S = n-2k

  5 Т. е. не существует линейного оператора i": с —" с такого, что I2 = —Е и 1[х, у] = [х, 1у] (х, у € с).

  С) *p2n№ g2 ai + ai, gi ai + C3, в, fi, fii

  Eq ca, ai+as, de + гь f4 EI, Ell, EIII, EIV ej a7, Ai 4- De, e6 + tx EV, EVI, EVII

  Ев, d8, Ai + E7 EVIII, EIX

  Первым нашим результатом в главе 2 является представление нового (комбинаторного) метода описания типов пар (д, 9). При этом мы классифицируем инволюции 9 не только с точностью до Autg-сопряженности, но и с точностью до lilt g-сопряженности, или (внутренней) сопряженности, что нам понадобится в дальнейшем. Мы сводим это описание к случаю простой алгебры g и в G Int д. Фиксируем картановскую подалгебру t С g и систему простых корней П С f алгебры д. Тогда в = ехр7Гih для некоторого элемента he. t, и для всякого, а Е П верно a (h) G Ъ. Элементы ха = a{h) mod 2 не зависят от выбора h таким образом, имеем отображение X Э в ь→ х{9) = {ха, си е П} € Zrj-, где X с Int g — группа инволютивных элементов максимального тора Т С Intg, Lie Г = t, n = rkg. Группа Вейля W алгебры g действует на X, причем ее орбиты являются пересечениями с X орбит группы Int g. Для каждой простой алгебры g мы выводим критерий сопряженности Gl в терминах x (9i),, т. е. наборов из 0 и 1. Например, в случае g = F 3 (соотв. п = 2), класс Aut g-сопряженности инволюции в, для которой д9 имеет тип Ап 1, содержит ровно два (соотв. три) класса сопряженности.

  Пусть R с G — замкнутая подгруппа, причем Lie Я = г С g = LieG. Функтор комплексификации определяет отображение множеств полупростых подалгебр S [г] —>

  Введем частичный порядок на < р. Пусть qi,., qs & < i < s. Из соотношения р* = Ad^-(p) для некоторого ^ б G, 1 < i < s, определим fji = Adgi (lj). По аналогии с z/, имеем естественные отображения

  Щ — S[ci]/Qi S[Pi/Ph 1

  Пусть qij, 1 < j < Si, — представители всех R-орбит слоя г/"1^^). Тогда

  Теорема 5. Подалгебры q^- 6 < г < s, 1 < j < Si, являются представителями всех R -орбит слоя v~l (

  §).

  Подмножество П с

  Р1) построение разделяющего множества Q = f2[g] для произвольной полупростой комплексной алгебры Ли g —

  Р2) построение отображения —" О, I) ц (Ъ)]

  РЗ) описание слоев v в случае G Q-

  Р4) определение групп AdP, AdQ, где Р — No (fy), Q = Nr (s), 5 — произвольная вещественная форма алгебры) е П, лежащая в R.

  В данной работе эти вопросы решаются, однако, (РЗ) и (Р4) — с некоторыми пробелами, которые мы надеемся заполнить в последующих публикациях. Проблема (Р1) легко сводится к случаю простых алгебр g, для которых мы получаем следующий результат. Если g — классическая алгебра Ли, то положим Q = Qi U П2 U Q3, где Г^х — множество регулярных подалгебр, а также типа + Дг-/г-1 в случае, g = Dn- Clo — множество неприводимых подалгебр, заданных тензорными произведениями матричных алгебр ^-©, S0k©, spfc©, причем последние две возможности допускаются только в случаях g = son© и spn (C) — Пз — множество неприводимых простых подалгебр, а также G2 в случае g = D4. Если g — особая алгебра Ли, то

  6Когда речь идет о множестве представителей, предполагается, что они представляют различные орбиты. положим Г2 = U П5 U Qe j где П4 — множество максимальных среди полупростых подалгебр g- fi5 — множество максимальных S-подалгебр, в случае 9 = Е$ включающее также S-подалгебру 20+А подалгебры I) € Пб исчерпываются в списке пар (g, fj): (Р4, D4), (Е&-, D4), (?7, D4 -f 3Ai), (E7, 7Ai),

  8Ax), (??8,4A2), (?8,^f).

  Теорема 6. Построенные множества О = Г2[д] являются разделяющими.

  Комраков [8] построил разделяющие множества, которые совпадают с нашими в случае особых алгебр g. Подалгебры из этих множеств были названы почти-примитивными подалгебрами. Они представляют собой предмакси-мальные элементы относительно выбранного выше упорядочения

  Предполагая задачу (Р4) решенной, мы сводим (РЗ) к случаю R = Autt, G = Я© с Autg, х проста. В этом случае задача (рз) фактически решена Карпелевичем [6] для I)? , — оставшийся классический случай f) б оказывается довольно простым. Для особых алгебр g задача (РЗ) решается в случаях f) G ^4,^5. Наш метод основан на представлении и в виде композиции v" о у', где i/: S[x}/G S[q/G, v": 5[г]/Д S[x]/Gестественные отображения. (Хотя группа G не действует на г, на х определено отношение G-сопряженности.) Таким образом, задача (РЗ) разбивается на две подзадачи:

  РЗ') найти представителей классов эквивалентности в слоях отображения

  РЗ") найти представителей Л-орбит слоев отображения и" —

  Пусть f) G

  §) -орбит инволюций г алгебры I), для которых множество £(т, 9) не пусто. Соответствующие вещественные формы f) обозначим через, г G /.

  Теорема Т. Подалгебры Si С J), г G I, образуют множество представителей в

  Опять же, предположив задачу (Р4) решенной, задача (РЗ') сводится к проблеме определения множеств £(т, 9). Мы решаем эту проблему для fy? (см. табл. 2.6−2.9). Вопрос (РЗ") решается при помощи следующего утверждения.

  Теорема 8. Пусть $? г, f) = 5© €

  В случае S-подалгебры f), теорема 8 была доказана Карпелевичем [6]. В общем случае им же в основном (с нашими дополнениями) получена

  Теорема 9. R -орбиты слоя fi"~l (Gs) находятся во взаимно-однозначном соответствии с орбитами действия Nq (fy): £(т, 9).

  Соответствие, о котором идет речь в теореме 9, указано в тексте работы.

  Таким образом, задача классификации решена по модулю (Р4) и (РЗ) для f) € Qq В последнем разделе мы изучаем группу автоморфизмов полупростой вещественной алгебры Ли. Это создает почву для последующего решения проблемы (Р4).