Симметричный конус - Symmetric cone - Wikipedia

В математика, симметричные конусыиногда называют области позитивности, являются открытыми выпуклыми самодуальными шишки в евклидовом пространстве, которые имеют транзитивную группу симметрий, то есть обратимые операторы, переводящие конус на себя. Посредством Теорема Кохера – Винберга они соответствуют конусу квадратов в конечномерном вещественные евклидовы йордановы алгебры, первоначально изученные и классифицированные Иордания, фон Нейман и Вигнер (1934). В пробка домен связанный с симметричным конусом, является некомпактным Эрмитово симметричное пространство из тип трубки. Все алгебраические и геометрические структуры, связанные с симметричным пространством, могут быть естественным образом выражены в терминах йордановой алгебры. Остальные неприводимые эрмитовы симметрические пространства некомпактного типа соответствуют Siegel домены второго рода. Их можно описать с помощью более сложных структур, называемых Иорданские тройные системы, которые обобщают йордановы алгебры без единицы.[1]

Определения

А выпуклый конус C в конечномерном реальном внутреннее пространство продукта V - выпуклое множество, инвариантное относительно умножения на положительные скаляры. Он охватывает подпространство CC и самое большое подпространство, которое оно содержит, это C ∩ (−C). Он охватывает все пространство тогда и только тогда, когда содержит основу. Поскольку выпуклый корпус базиса - многогранник с непустой внутренностью, это происходит тогда и только тогда, когда C имеет непустой интерьер. Внутренность в этом случае также представляет собой выпуклый конус. Более того, открытый выпуклый конус совпадает с внутренней частью своего замыкания, так как любая внутренняя точка в замыкании должна лежать внутри некоторого многогранника исходного конуса. Выпуклый конус называется правильный если его замыкание, тоже конус, не содержит подпространств.

Позволять C - открытый выпуклый конус. Его двойной определяется как

Это также открытый выпуклый конус и C** = C.[2] Открытый выпуклый конус C как говорят самодвойственный если C* = C. Он обязательно правильный, так как не содержит 0, поэтому не может содержать оба Икс и -Икс.

В группа автоморфизмов открытого выпуклого конуса определяется формулой

Четко грамм лежит в Aut C если и только если грамм принимает закрытие C на себя. Итак, Aut C - замкнутая подгруппа в GL (V) и, следовательно, Группа Ли. Кроме того, Aut C* = (Aut C)*, куда грамм* примыкает к грамм. C как говорят однородный если Aut C действует транзитивно на C.

Открытый выпуклый конус C называется симметричный конус если он самодуальный и однородный.

Теоретико-групповые свойства

  • Если C симметричный конус, то Aut C замкнуто относительно присоединения.
  • Компонент идентичности Aut0 C действует транзитивно на C.
  • Стабилизаторы очков - максимальные компактные подгруппы, все сопряжены, и исчерпывают максимальные компактные подгруппы Aut C.
  • В Aut0 C стабилизаторы очков максимальные компактные подгруппы, все сопряжены, и исчерпывают максимальные компактные подгруппы Aut0 C.
  • Максимальные компактные подгруппы в Aut0 C подключены.
  • Компонентная группа Aut C изоморфна группе компонентов максимальной компактной подгруппы и, следовательно, конечна.
  • Aut C ∩ O (V) и Aut0 C ∩ O (V) - максимальные компактные подгруппы в Aut C и Aut0 C.
  • C естественно Риманово симметрическое пространство изоморфен грамм / K куда грамм = Aut0 C. Инволюция Картана определяется формулой σ (грамм)=(грамм*)−1, так что K = грамм ∩ O (V).

Спектральное разложение в евклидовой йордановой алгебре

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

Определение

Позволять E - конечномерное вещественное векторное пространство с симметричным билинейным произведением

с единичным элементом 1 таким, что а1 = а за а в А и настоящий внутренний продукт (а,б), для которого операторы умножения L(а) определяется L(а)б = ab на E самосопряжены и удовлетворяют соотношению Жордана

Как будет показано ниже, условие на сопряжения можно заменить эквивалентным условием, что след формирует Tr L(ab) определяет внутренний продукт. Форма следа имеет то преимущество, что она явно инвариантна относительно автоморфизмов йордановой алгебры, которая, таким образом, является замкнутой подгруппой в O (E) и, следовательно, компактная группа Ли. Однако в практических примерах часто бывает проще произвести внутренний продукт, для которого L(а) являются самосопряженными, чем непосредственно подтверждают положительную определенность формы следа. (Эквивалентное исходное условие Джордана, фон Неймана и Вигнера заключалось в том, что если сумма квадратов элементов равна нулю, то каждый из этих элементов должен исчезнуть.[3])

Ассоциативность власти

Из условия Жордана следует, что йорданова алгебра ассоциативный, т.е. йорданова подалгебра, порожденная любым единственным элементом а в E на самом деле ассоциативная коммутативная алгебра. Таким образом, определяя ап индуктивно ап = а (ап−1) выполняется следующее соотношение ассоциативности:

так что подалгебру можно отождествить с р[а], многочлены от а. Фактически поляризующий отношения Жордана - заменяя а к а + tb и принимая коэффициент т- урожайность

Из этого тождества следует, что L(ам) - многочлен от L(а) и L(а2) для всех м. Фактически, предполагая результат для более низких показателей, чем м,

Параметр б = ам – 1 в поляризованном тождестве Жордана дает:

а отношение повторения индуктивно показывая, что L(ам + 1) - многочлен от L(а) и L(а2).

Следовательно, если ассоциативность степеней верна, когда первый показатель ≤ м, то это верно и для м+1 с

Идемпотенты и ранг

Элемент е в E называется идемпотент если е2 = е. Два идемпотента называются ортогональными, если ef = 0. Это эквивалентно ортогональности по отношению к скалярному произведению, поскольку (ef,ef) = (е,ж). В этом случае грамм = е + ж также идемпотент. Идемпотент грамм называется примитивный или же минимальный если его нельзя записать как сумму ненулевых ортогональных идемпотентов. Если е1, ..., ем являются попарно ортогональными идемпотентами, то их сумма также является идемпотентом, и порождаемая ими алгебра состоит из всех линейных комбинаций ея. Это ассоциативная алгебра. Если е идемпотент, то 1 - е ортогональный идемпотент. Ортогональный набор идемпотентов с суммой 1 называется полный комплект или раздел 1. Если каждый идемпотент в наборе минимален, он называется Рамка Jordan. Поскольку количество элементов в любом ортогональном множестве идемпотентов ограничено dim E, Жордановы рамки существуют. Максимальное количество элементов в жордановом фрейме называется классифицировать р из E.

Спектральное разложение

Спектральная теорема утверждает, что любой элемент а можно однозначно записать как

где идемпотенты ея's представляют собой разбиение 1, а λя, то собственные значения из а, реальны и отчетливы. На самом деле пусть E0 = р[a] и пусть Т быть ограничением L(а) к E0. Т самосопряжен и имеет 1 как циклический вектор. Итак коммутант из Т состоит из многочленов от Т (или же а). Посредством спектральная теорема для самосопряженных операторов,

где пя ортогональные проекции на E0 с суммой я а λя- различные действительные собственные значения Т. Поскольку пяездит с Т и являются самосопряженными, они задаются элементами умножения ея из р[a] и, таким образом, образуют разбиение 1. Единственность следует, потому что если жя является разбиением 1 и а = ∑ μя жя, затем с п(т)=∏ (т - μj) и пя = п/(т - μя), жя = пя(а)/пяя). Итак жя- многочлены от а а единственность следует из единственности спектрального разложения Т.

Из спектральной теоремы следует, что ранг не зависит от жордановой шкалы. Для рамы Jordan с k минимальные идемпотенты могут использоваться для создания элемента а с k различные собственные значения. Как и выше, минимальный многочлен п из а имеет степень k и р[а] имеет измерение k. Его размер также самый большой k такой, что Fk(а) ≠ 0 где Fk(а) - определитель Матрица Грама:

Итак, звание р это наибольшее целое число k для которого Fk не является тождественным нулем на E. В этом случае как ненулевой многочлен Fр отлична от нуля на открытом плотном подмножестве E. то регулярные элементы. Любой другой а предел регулярных элементов а(п). Поскольку операторная норма L(Икс) дает эквивалентную норму на E, стандартное рассуждение о компактности показывает, что переходя, если необходимо, к подпоследовательности, спектральные идемпотенты а(п) и соответствующие им собственные значения сходятся. Предел жордановых шкал является жордановой шкалой, поскольку предел ненулевых идемпотентов дает ненулевой идемпотент по непрерывности операторной нормы. Отсюда следует, что каждый фрейм Жордана состоит из р минимальные идемпотенты.

Если е и ж ортогональные идемпотенты, спектральная теорема показывает, что е и ж являются многочленами от а = еж, так что L(е) и L(ж) ездить. Это видно непосредственно из поляризованного тождества Жордана, из которого следует L(е)L(ж) = 2 L(е)L(ж)L(е). Коммутативность следует за счет присоединения к ней.

Спектральное разложение идемпотента

Если е ненулевой идемпотент, то собственные значения L(е) может быть только 0, 1/2 и 1, так как взяв а = б = е в поляризованном тождестве Жордана дает

В частности, операторная норма L(е) равно 1 и его след строго положителен.

Имеется соответствующее разложение на собственное ортогональное подпространство E

где, для а в E, Eλ(а) обозначает λ-собственное подпространство L(а). В этом разложении E1(е) и E0(е) - йордановы алгебры с единицами е и 1 - е. Их сумма E1(е) ⊕ E0(е) является прямой суммой йордановых алгебр в том смысле, что любое произведение между ними равно нулю. Это централизаторная подалгебра из е и состоит из всех а такой, что L(а) ездит с L(е). Подпространство E1/2(е) является модулем централизатора е, то модуль центратора, а произведение любых двух элементов в ней лежит в централизующей подалгебре. С другой стороны, если

тогда U самосопряжено, равное 1 на алгебре централизаторов и −1 на модуле централизаторов. Так U2 = я и свойства выше показывают, что

определяет инволютивный автоморфизм йордановой алгебры σ E.

Фактически свойства йордановой алгебры и модуля следуют заменой а и б в поляризованном жордановом тождестве е и а. Если еа = 0, это дает L(е)L(а) = 2L(е)L(а)L(е). Взяв присоединения, получаем, что L(а) ездит с L(е). Аналогично, если (1 - е)а = 0, L(а) ездит с яL(е) и поэтому L(е). Отсюда следует йорданова алгебра и свойства модуля. Чтобы проверить, что произведение элементов в модуле лежит в алгебре, достаточно проверить это для квадратов: но если L(е)а = ½ а, тогда еа = ½ а, так L(а)2 + L(а2)L(е) = 2L(а)L(е)L(а) + L(а2е). Взяв присоединения, получаем, что L(а2) ездит с L(е), что влечет свойство квадратов.

Форма следа

Форма следа определяется

Это внутренний продукт, поскольку для ненулевого а = ∑ λя ея,

Поляризованную идентичность Джордана можно снова поляризовать, заменив а к а + tc и принимая коэффициент т. Дальнейшая асимметризация в а и c дает:

Нанесение следа на обе стороны

так что L(б) является самосопряженным для формы следа.

Простые евклидовы йордановы алгебры

Адольф Гурвиц (1855–1919), чьи работы на композиционные алгебры был опубликован посмертно в 1923 году.

Классификация простых евклидовых йордановых алгебр была проведена Иордания, фон Нейман и Вигнер (1934), с деталями одной исключительной алгебры, приведенной в статье сразу после их Альберт (1934). С использованием Разложение Пирса, они свели проблему к алгебраической задаче, включающей мультипликативные квадратичные формы уже решено Гурвиц. Презентация здесь, после Фараут и Кораньи (1994), с помощью композиционные алгебры или же Евклидовы алгебры Гурвица, это более короткая версия оригинального происхождения.

Центральное разложение

Если E является евклидовой йордановой алгеброй и идеальный F в E - линейное подпространство, замкнутое относительно умножения на элементы из E, т.е. F инвариантен относительно операторов L(а) за а в E. Если п ортогональная проекция на F он коммутирует с операторами L(а), Особенно F = (яп)E также идеал и E = FF. Кроме того, если е = п(1), то п = L(е). Фактически для а в E

так что еа = а за а в F и 0 для а в F. Особенно е и 1 - е ортогональные идемпотенты с L(е) = п и L(1 − е) = яп. е и 1 - е являются тождествами в евклидовых йордановых алгебрах F и F. Идемпотент е является центральный в E, где центр из E определяется как набор всех z такой, что L(z) ездит с L(а) для всех а. Он образует коммутативную ассоциативную подалгебру.

Продолжая таким образом E можно записать в виде прямой суммы минимальных идеалов

Если пя это проекция на Eя и ея = пя(1) тогда пя = L(ея). В ея's ортогональны с суммой 1 и являются тождествами в Eя. Минимальность сил Eя быть просто, т.е. не иметь нетривиальных идеалов. Ибо с тех пор L(ея) ездит со всеми L(а), любой идеал FEябудет инвариантным относительно E поскольку F = еяF. Такое разложение в прямую сумму простых евклидовых алгебр единственно. Если E = ⊕ Fj другое разложение, то Fj= ⊕ eяFj. По минимальности только один из членов здесь отличен от нуля, поэтому равен Fj. По минимальности соответствующие Eя равно Fj, доказывая уникальность.

Таким образом, классификация евклидовых йордановых алгебр сводится к классификации простых. Для простой алгебры E все внутренние продукты, для которых операторы L(а) самосопряжены, пропорциональны. Действительно, любой другой продукт имеет вид (Та, б) для некоторого положительного самосопряженного оператора, коммутирующего с L(а) s. Любое ненулевое собственное подпространство Т идеал в А и поэтому по простоте Т должен действовать в целом E как положительный скаляр.

Список всех простых евклидовых йордановых алгебр

  • Позволять ЧАСп(р) - пространство действительных симметричных п к п матрицы с внутренним произведением (а,б) = Tr ab и продукт Иордании аб = ½(ab + ба). потом ЧАСп(р) - простая евклидова йорданова алгебра ранга п за п ≥ 3.
  • Позволять ЧАСп(C) - пространство комплексных самосопряженных п к п матрицы с внутренним произведением (а,б) = Re Tr ab* и продукт Jordan аб = ½(ab + ба). потом ЧАСп(C) - простая евклидова йорданова алгебра ранга п ≥ 3.
  • Позволять ЧАСп(ЧАС) - пространство самосопряженных п к п матрицы с записями в кватернионы, внутренний продукт (а,б) = Re Tr ab* и продукт Jordan аб = ½(ab + ба). потом ЧАСп(ЧАС) - простая евклидова йорданова алгебра ранга п ≥ 3.
  • Позволять V быть конечномерным вещественным внутренним пространством продукта и положить E = Vр с внутренним продуктом (ты⊕λ,v⊕μ) = (ты,v) + λμ и произведение (u⊕λ) ∘ (v⊕μ) = (μты + λv) ⊕ [(ты,v) + λµ]. Это евклидова йорданова алгебра ранга 2.
  • Приведенные выше примеры фактически дают все простые евклидовы йордановы алгебры, за исключением одного исключительного случая. ЧАС3(О) самосопряженные матрицы над октонионы или же Числа Кэли, еще одна простая евклидова йорданова алгебра ранга 3 размерности 27 (см. ниже).

Разложение Пирса

Позволять E - простая евклидова йорданова алгебра со скалярным произведением, задаваемым формой следа τ (а) = Tr L(а). Доказательство того, что E имеет указанный выше вид, основанный на построении аналога матричных единиц для жордановой шкалы в E. Следующие свойства идемпотентов выполняются в E.

  • Идемпотент е минимален в E если и только если E1(е) имеет размерность один (так что равно ре). более того E1/2(е) ≠ (0). Фактически спектральные проекции любого элемента E1(е) роды E поэтому, если ненулевое значение должно быть равно е. Если собственное подпространство 1/2 исчезло, то E1(е) = ре был бы в идеале.
  • Если е и ж являются неортогональными минимальными идемпотентами, то существует автоморфизм σ периода 2 E такое, что σе=ж, так что е и ж имеют такой же след.
  • Если е и ж ортогональные минимальные идемпотенты, то E1/2(е) ∩ E1/2(ж) ≠ (0). Более того, существует автоморфизм σ периода 2 E такое, что σе=ж, так что е и ж имеют такой же след, и для любого а на этом перекрестке, а2 = ½ τ (е) |а|2 (е + ж).
  • Все минимальные идемпотенты в E находятся на одной орбите группы автоморфизмов, поэтому имеют один и тот же след τ0.
  • Если е, ж, грамм - три минимальных ортогональных идемпотента, то для а в E1/2(е) ∩ E1/2(ж) и б в E1/2(ж) ∩ E1/2(грамм), L(а)2 б = ⅛ τ0 |а|2 б и |ab|2 = ⅛ τ0 |а|2|б|2. Более того, E1/2(е) ∩ E1/2(ж) ∩ E1/2(грамм) = (0).
  • Если е1, ..., ер и ж1, ..., жр - это рамки Иордании в E, то существует автоморфизм α такой, что αея = жя.
  • Если (ея) - жорданов фрейм и Eii = E1(ея) и Eij = E1/2(ея) ∩ E1/2(еj), тогда E ортогональная прямая сумма Eii'песок Eijс. С E просто, Eiiодномерны, а подпространства Eij все ненулевые для яj.
  • Если а = ∑ αя ея для некоторого фрейма Жордана (ея), тогда L(а) действует как αя на Eii и (αя + αя) / 2 на Eij.

Приведение к евклидовым алгебрам Гурвица

Позволять E - простая евклидова йорданова алгебра. Из свойств разложения Пирса следует, что:

  • Если E имеет ранг 2, то имеет вид Vр для некоторого внутреннего пространства продукта V с продуктом Jordan, как описано выше.
  • Если E имеет звание р > 2, то существует неассоциативная алгебра с единицей А, ассоциативно, если р > 3, снабженный внутренним произведением, удовлетворяющим (ab, ab) = (a, a) (b, b) и таким, что E = ЧАСр(А). (Спряжение в А определяется а* = −a + 2 (a, 1) 1.)

Такая алгебра А называется Евклидова алгебра Гурвица. В А если λ (а)б = ab и ρ (а)б = ба, тогда:

  • инволюция - антиавтоморфизм, т. е. (а б)*=б* а*
  • а а* = ‖ а ‖2 1 = а* а
  • λ (а*) = λ (а)*, ρ (а*) = ρ (а)*, так что инволюция на алгебре соответствует взятию примыкает
  • Re (а б) = Re (б а) если ReИкс = (Икс + Икс*)/2 = (Икс, 1)1
  • Re (а б) c = Reа(до н.э)
  • λ (а2) = λ (а)2, ρ (а2) = ρ (а)2, так что А является альтернативная алгебра.

К Теорема Гурвица А должен быть изоморфен р, C, ЧАС или же О. Первые три являются ассоциативными алгебрами с делением. Октонионы не образуют ассоциативной алгебры, поэтому ЧАСр(О) может дать йорданову алгебру только для р = 3. Потому что А ассоциативен, когда А = р, C или же ЧАС, немедленно, что ЧАСр(А) является йордановой алгеброй для р ≥ 3. Отдельный аргумент, первоначально приведенный Альберт (1934), требуется, чтобы показать, что ЧАС3(О) с Иордановым произведением аб = ½(ab + ба) удовлетворяет тождеству Жордана [L(а),L(а2)] = 0. Более позднее существует более прямое доказательство с использованием Теорема Фрейденталя о диагонализации из-за Фройденталь (1951): он доказал, что для любой матрицы в алгебре ЧАСр(А) существует автоморфизм алгебры, переводящий матрицу на диагональную матрицу с вещественными элементами; тогда несложно проверить, что [L(а),L(б)] = 0 для вещественных диагональных матриц.[4]

Исключительные и специальные евклидовы йордановы алгебры

В исключительный Евклидова йорданова алгебра E= ЧАС3(О) называется Алгебра Альберта. Из теоремы Кона – Ширшова следует, что он не может быть порожден двумя элементами (и тождеством). Это видно прямо. Так как по теореме Фройденталя о диагонализации один элемент Икс можно рассматривать как диагональную матрицу с действительными элементами, а другие Y быть ортогональной йордановой подалгебре, порожденной Икс. Если все диагональные элементы Икс различны, йорданова подалгебра, порожденная Икс и Y порождается диагональными матрицами и тремя элементами

Несложно проверить, что вещественная линейная оболочка диагональных матриц, этих матриц и подобных матриц с вещественными элементами образует унитальную йорданову подалгебру. Если диагональные записи Икс не различимы, Икс можно принять за примитивный идемпотент е1 с диагональными элементами 1, 0 и 0. Анализ в Спрингер и Велдкамп (2000) затем показывает, что унитальная йорданова подалгебра, порожденная Икс и Y правильно. Действительно, если 1 - е1 является суммой двух примитивных идемпотентов в подалгебре, то после применения автоморфизма E при необходимости подалгебра будет порождена диагональными матрицами и матрицей, ортогональной диагональным матрицам. По предыдущему аргументу это будет правильно. Если 1 - е1 примитивный идемпотент, подалгебра должна быть собственной по свойствам ранга в E.

Евклидова алгебра называется специальный если его центральное разложение не содержит копий алгебры Альберта. Поскольку алгебра Альберта не может быть порождена двумя элементами, отсюда следует, что евклидова йорданова алгебра, порожденная двумя элементами, является специальной. Это Теорема Ширшова – Кона для евклидовых йордановых алгебр.[5]

Классификация показывает, что каждая неисключительная простая евклидова йорданова алгебра является подалгеброй некоторого ЧАСп(р). Следовательно, то же самое верно и для любой специальной алгебры.

С другой стороны, как Альберт (1934) показал, что алгебра Альберта ЧАС3(О) не может быть реализована как подалгебра в ЧАСп(р) для любого п.[6]

В самом деле, пусть π - вещественно-линейное отображение E = ЧАС3(О) в самосопряженные операторы на V = рп с π (ab) = ½ (π (а) π (б) + π (б) π (а)) и π (1) = я. Если е1, е2, е3 - диагональные минимальные идемпотенты, то пя = π (ея являются взаимно ортогональными проекциями на V на ортогональные подпространства Vя. Если яj, элементы еij из E с 1 в (я,j) и (j,я) записи и 0 в другом месте удовлетворяют еij2 = ея + еj. Более того, еijеjk = ½ еik если я, j и k различны. Операторы Тij нулевые на Vk (kя, j) и ограничимся инволюциями на VяVj обмен Vя и Vj. Сдача пij = пя Тij пj и установка пii = пя, (пij) образуют систему матричные блоки на V, т.е. пij* = пджи, ∑ пii = я и пijпкм = δjk пя. Позволять Eя и Eij - подпространства разложения Пирса E. За Икс в О, положим πij = пij π (хеij), рассматриваемый как оператор на Vя. Это не зависит от j и для Икс, у в О

Поскольку каждый Икс в О имеет право обратный у с ху = 1 отображение πij инъективно. С другой стороны, это гомоморфизм алгебр из неассоциативной алгебры О в ассоциативную алгебру End Vя, противоречие.[7]

Положительный конус в евклидовой йордановой алгебре

Макс Кехер впервые использовал йордановы алгебры в изучении симметрических пространств

Определение

Когда (ея) является разбиением единицы в евклидовой йордановой алгебре E, самосопряженные операторы L (ея) коммутируют и происходит разложение на одновременные собственные подпространства. Если а = ∑ λя ея собственные значения L(а) имеют вид ∑ εя λя равно 0, 1/2 или 1. ея сами дают собственные значения λя. В частности, элемент а имеет неотрицательный спектр тогда и только тогда, когда L(а) имеет неотрицательный спектр. Более того, а имеет положительный спектр тогда и только тогда, когда L(а) имеет положительный спектр. Ибо если а имеет положительный спектр, а - ε1 имеет неотрицательный спектр для некоторого ε> 0.

В положительный конус C в E определяется как набор элементов а такой, что а имеет положительный спектр. Это условие эквивалентно оператору L(а) быть положительный самосопряженный оператор на E.

  • C выпуклый конус в E поскольку положительность самосопряженного оператора Т- свойство строго положительности собственных значений - эквивалентно (Телевидение,v)> 0 для всех v ≠ 0.
  • C является открытым, поскольку положительные матрицы открыты в самосопряженных матрицах и L является непрерывным отображением: на самом деле, если наименьшее собственное значение Т есть ε> 0, то Т + S положительно всякий раз, когда ||S|| <ε.
  • Закрытие C состоит из всех а такой, что L(а) неотрицательно или, что то же самое, а имеет неотрицательный спектр. Из элементарных свойств выпуклых конусов C это внутренняя часть его закрытия и является правильным конусом. Элементы в закрытии C в точности квадрат элементов в E.
  • C самодуальна. Фактически элементы закрытия C просто набор всех квадратов Икс2 в Eдвойственный конус задается всеми а такой, что (а,Икс2)> 0. С другой стороны, (а,Икс2) = (L(а)Икс,Икс), так что это равносильно положительности L(а).[8]

Квадратичное представление

Чтобы показать, что положительный конус C однороден, т.е. имеет транзитивную группу автоморфизмов, обобщение квадратичного действия самосопряженных матриц на самих себя, заданное формулой ИксYXY должен быть определен. Если Y обратимо и самосопряженно, это отображение обратимо и переносит положительные операторы на положительные.

За а в E, определим эндоморфизм E, называется квадратичное представление, к[9]

Отметим, что для самосопряженных матриц L(Икс)Y = ½(XY + YX), так что Q(Икс)Y = XYX.

Элемент а в E называется обратимый если он обратим в р[а]. Если б обозначает обратное, то спектральное разложение а показывает, что L(а) и L(б) ездить.

Фактически а обратима тогда и только тогда, когда Q(а) обратима. В таком случае

Действительно, если Q(а) обратим, он несет р[а] на себя. С другой стороны, Q(а)1 = а2, так

Принимая б = а−1 в поляризованном жордановом тождестве дает

Замена а обратное соотношение следует, если L(а) и L(а−1) обратимы. Если нет, то а + ε1 при сколь угодно малом ε, а значит, и в пределе.

  • Если а и б обратимы, то также Q(а)б и удовлетворяет обратному тождеству:
  • Квадратичное представление удовлетворяет следующему фундаментальному тождеству:
  • В частности, принимая б быть неотрицательными степенями а, по индукции следует, что

Эти тождества легко доказать в конечномерной (евклидовой) йордановой алгебре (см. Ниже) или в специальная йорданова алгебра, т.е. йордановой алгебры, определенной ассоциативной алгеброй с единицей.[10] Они верны в любой йордановой алгебре. Это было предположено Якобсон и доказал в Макдональд (1960): Макдональд показал, что если полиномиальное тождество от трех переменных, линейное по третьей, справедливо в любой специальной йордановой алгебре, то оно верно во всех йордановых алгебрах.[11]

Фактически для c в А и F(а) функция на А со значениями в конце А, позволятьDcF(а) - производная при т = 0 из F(а + tc). потом

Выражение в квадратных скобках упрощается до c потому что L(а) ездит с L(а−1).

Таким образом

Применение Dc к L(а−1)Q(а) = L(а) и действуя на б = c−1 дает

С другой стороны, L(Q(а)б) обратима на открытом плотном множестве, где Q(а)б также должен быть обратимым с

Взяв производную Dc в переменной б в приведенном выше выражении дает

Это дает фундаментальное тождество для плотного набора обратимых элементов, поэтому в общем случае следует по непрерывности. Из фундаментального тождества следует, что c = Q(а)б обратим, если а и б обратимы и дает формулу, обратную Q(c). Применяя это к c дает обратное тождество в полной общности.

Наконец, сразу из определений можно проверить, что если ты = 1 − 2е для какого-то идемпотента е, тогда Q(ты) - построенный выше автоморфизм периода 2 для централизаторной алгебры и модуля е.

Однородность положительного конуса

Если а - обратимый оператор и б находится в положительном конусе C, тогда так Q(а)б.

Доказательство этого опирается на элементарные свойства непрерывности собственных значений самосопряженных операторов.[12]

Позволять Т(т) (α ≤ т ≤ β) - непрерывное семейство самосопряженных операторов на E с Т(α) положительный и Т(β) имеющий отрицательное значение eiegen. Набор S(т)= –Т(т) + M с M > 0 выбрано настолько большим, что S(т) положительна для всех т. Операторная норма ||S(т) || непрерывно. Это меньше чем M за т = α и больше M за т = β. Итак, для некоторого α < s <β, ||S(s) || = M и существует вектор v ≠ 0 такое, что S(s)v = Мв. Особенно Т(s)v = 0, так что Т(s) не обратима.

Предположим, что Икс = Q(а)б не лежит в C. Позволять б(т) = (1 − т) + tb с 0 ≤ т ≤ 1. По выпуклости б(т) лежит в C. Позволять Икс(т) = Q(а)б(т) и Икс(т) = L(Икс(т)). Если Икс(т) обратима для всех т с 0 ≤ т ≤ 1, аргумент собственного значения дает противоречие, поскольку он положителен при т = 0 и имеет отрицательные собственные значения при т = 1. Итак Икс(s) имеет нулевое собственное значение для некоторого s с 0 < s ≤ 1: Икс(s)ш = 0 с ш 0. По свойствам квадратичного представления Икс(т) обратима для всех т. Позволять Y(т) = L(Икс(т)2). Это положительный оператор, поскольку Икс(т)2 лежит в C. Позволять Т(т) = Q(Икс(т)) обратимый самосопряженный оператор в силу обратимости Икс(т). С другой стороны, Т(т) = 2Икс(т)2 - Y(т). Так (Т(s)ш,ш) <0, поскольку Y(s) положительный и Икс(s)ш = 0. В частности Т(s) имеет отрицательные собственные значения. С другой стороны, оператор Т(0) = Q(а2) = Q(а)2 положительный. По аргументу собственного значения Т(т) имеет собственное значение 0 для некоторого т с 0 < т < s, противоречие.

Отсюда следует, что линейные операторы Q(а) с а обратимые, и их обратные, возьмем конус C на себя. В самом деле, обратное Q(а) просто Q(а−1). С Q(а)1 = а2, таким образом, существует транзитивная группа симметрий:

C является симметричным конусом.

Евклидова йорданова алгебра симметрического конуса

Строительство

Позволять C - симметричный конус в евклидовом пространстве E. Как и выше, Aut C обозначает замкнутую подгруппу в GL (E) принимая C (или, что то же самое, его замыкание) на себя. Позволять грамм = Aut0 C быть его компонентом идентичности. K = грамм ∩ O (E). Это максимальная компактная подгруппа группы грамм и стабилизатор точки е в C. Это связано. Группа грамм инвариантен относительно присоединения. Пусть σграмм =(грамм*)−1, автоморфизм периода 2. Таким образом K - подгруппа неподвижных точек в σ. Позволять быть алгеброй Ли грамм. Таким образом, σ индуцирует инволюцию и, следовательно, разложение собственного подпространства ± 1

куда , +1 собственное подпространство, является алгеброй Ли K и - собственное подпространство −1. Таким образом е является аффинным подпространством размерности dim . С C = грамм/K открытое подпространство E, следует, что dim E = тусклый и поэтому е = E. За а в E позволять L(а) - единственный элемент такой, что L(а)е = а. Определятьаб = L(а)б. потом E со своей евклидовой структурой, и это билинейное произведение является евклидовой йордановой алгеброй с тождеством 1 = е. Выпуклый конус совпадает C с положительным конусом E.[13]

Поскольку элементы самосопряжены, L(а)* = L(а). Произведение коммутативно, поскольку [, ] ⊆ уничтожает е, так что ab = L(а)L(б)е = L(б)L(а)е = ба. Осталось проверить тождество Жордана [L(а),L(а2)] = 0.

В ассоциатор дан кем-то [а,б,c] = [L(а),L(c)]б. С [L(а),L(c)] лежит в следует, что [[L(а),L(c)],L(б)] = L([а,б,c]). Заставляя обе стороны действовать c дает

С другой стороны,

и аналогично

Объединение этих выражений дает

откуда следует тождество Жордана.

Наконец, положительный конус E совпадает с C. Это зависит от того, что в любой евклидовой йордановой алгебре E

Фактически Q(еа) - положительный оператор,Q(ета) является однопараметрической группой положительных операторов: это следует по непрерывности для рациональных т, где он является следствием поведения властей. Таким образом, он имеет вид exp tX для некоторого самосопряженного оператора Икс. Взяв производную в 0, получаем Икс = 2L(а).

Следовательно, положительный конус задается всеми элементами

с Икс в . Таким образом, положительный конус E лежит внутри C. Поскольку оба они самодуальны, они должны совпадать.

Группы автоморфизмов и форма следа

Позволять C положительный конус в простой евклидовой йордановой алгебре E. Aut C - замкнутая подгруппа в GL (E) принимая C (или его закрытие) на себя. Позволять грамм = Aut0 C быть тождественным компонентом Aut C и разреши K - замкнутая подгруппа в грамм фиксация 1. Из теоретико-групповых свойств конусов, K связная компактная подгруппа в грамм и равняется единичной компоненте компактной группы Ли Aut E. Позволять и - алгебры Ли грамм и K. грамм замкнут относительно присоединения и K - подгруппа неподвижных точек автоморфизма периода 2 σ (грамм) = (грамм*)−1. Таким образом K = грамм ∩ ТАК (E). Позволять - собственное подпространство σ.

  • состоит из производных E которые являются кососопряженными для внутреннего продукта, определенного формой трассировки.
  • [[L(а),L(c)],L(б)] = L([а,б,c]).
  • Если а и б находятся в E, тогда D = [L(а),L(б)] является производным от E, так что лежит в . Эти выводы охватывают .
  • Если а в C, тогда Q(а) лежит в грамм.
  • C - связная компонента открытого множества обратимых элементов E содержащий 1. Он состоит из экспонент элементов E а экспоненциальное отображение дает диффеоморфизм E на C.
  • Карта аL(а) дает изоморфизм E на и еL(а) = Q(еа/2). Это пространство таких экспонент совпадает с п положительные самосопряженные элементы в грамм.
  • За грамм в грамм и а в E, Q(грамм(а)) = грамм Q(а) грамм*.

Картановское разложение

  • грамм = пK = Kп и разложение грамм = pk соответствует полярное разложение в GL (E).
  • Если (ея) - жорданов фрейм в E, то подпространство из охватывает L(ея) максимально абелева в . А = exp - абелева подгруппа операторов Q(а) куда а = Σ λя ея с λя > 0. А закрыт в п и поэтому грамм. Если б = Σ μя ея с μя > 0, то Q(ab)=Q(а)Q(б).
  • и п являются союзом K переводы и А.

Разложение Ивасавы для конуса

Если E имеет разложение Пирса относительно шкалы Жордана (ея)

тогда диагонализуется этим разложением с L(а) действующий как (αя + αj) / 2 на Eij, куда а = ∑ αя ея.

Определите закрытую подгруппу S из грамм к

где упорядочение по парам пq является лексикографический. S содержит группу А, поскольку он действует как скаляр на Eij. Если N замкнутая подгруппа в S такой, что nx = Икс по модулю ⊕(п,q) > (я,j) Epq, тогда S = AN = NA, а полупрямой продукт с А нормализация N. Более того, грамм имеет следующие Разложение Ивасавы:

За яj позволять

Тогда алгебра Ли N является

Принимая упорядоченные ортонормированные базисы Eij дает основу E, используя лексикографический порядок пар (я,j). Группа N является нижним унитреугольником, а его алгебра Ли нижнетреугольной. В частности, экспоненциальное отображение - это полиномиальное отображение на N, с полиномом, обратным логарифмом.

Комплексификация евклидовой йордановой алгебры

Определение комплексификации

Позволять E - евклидова йорданова алгебра. Комплексификация EC = EiE имеет естественную операцию сопряжения (а + ib)* = аib и естественный сложный внутренний продукт и норма. Продукт Jordan на E распространяется билинейно на EC, так что (а + ib)(c + я бы) = (acbd) + я(объявление + до н.э). Если умножение определяется как L(а)б = ab то аксиома Жордана

все еще выполняется аналитическим продолжением. Действительно, указанное выше тождество выполняется, когда а заменяется на а + tb за т настоящий; и поскольку левая часть является многочленом со значениями в End EC исчезновение по-настоящему т, он также исчезает т сложный. Аналитическое продолжение также показывает, что все формулы, включающие степенную ассоциативность для одного элемента а в E, включая формулы рекурсии для L(ам), также удерживайте EC. Поскольку для б в E, L(б) по-прежнему самосопряжен на EC, сопряженное отношение L(а*) = L(а) * выполняется для а в EC. Аналогично симметричная билинейная форма β (а,б) = (а,б*) удовлетворяет β (ab,c) = β (б,ac). Если внутренний продукт происходит из формы следа, то β (а,б) = Tr L(ab).

За а в EC, квадратичное представление, как и раньше, определяется формулой Q(а)=2L(а)2L(а2). При аналитическом продолжении фундаментальное тождество остается в силе:

Элемент а в E называется обратимый если он обратим в C[а]. Ассоциативность мощности показывает, что L(а) и L(а−1) ездить. Более того, а−1 обратима с обратным а.

Как в E, а обратима тогда и только тогда, когда Q(а) обратима. В таком случае

Действительно, что касается E, если Q(а) обратим, он несет C[а] на себя, а Q(а)1 = а2, так

так а обратимо. И наоборот, если а обратима, принимая б = а−2 в фундаментальном тождестве показывает, что Q(а) обратима. Замена а к а−1 и б к а затем показывает, что его обратное Q(а−1). Наконец, если а и б обратимы, то также c = Q(а)б и удовлетворяет обратному тождеству:

Обратимость c следует из основной формулы, которая дает Q(c) = Q(а)Q(б)Q(а). Следовательно

Формула

также следует из аналитического продолжения.

Комплексификация группы автоморфизмов

Aut EC это комплексирование of the compact Lie group Aut E в GL (EC). This follows because the Lie algebras of Aut EC and Aut E consist of derivations of the complex and real Jordan algebras EC и E. Under the isomorphism identifying End EC with the complexification of End E, the complex derivations is identified with the complexification of the real derivations.[14]

Структурные группы

The Jordan operator L(а) are symmetric with respect to the trace form, so that L(а)т = L(а) за а в EC. The automorphism groups of E и EC consist of invertible real and complex linear operators грамм такой, что L(га) = gL(а)грамм−1 и g1 = 1. Aut EC is the complexification of Aut E. Since an automorphism грамм сохраняет форму следа, грамм−1 = граммт.

В structure groups из E и EC consist of invertible real and complex linear operators грамм такой, что

They form groups Γ(E) and Γ(EC) with Γ(E) ⊂ Γ(EC).

  • Структурная группа закрыта при переносе граммграммт и примыкает граммграмм*.
  • Структурная группа содержит группу автоморфизмов. Группу автоморфизмов можно отождествить со стабилизатором единицы в структурной группе.
  • Если а is invertible, Q(а) лежит в структурной группе.
  • Если грамм находится в структурной группе и а is invertible, га также обратимо с (га)−1 = (граммт)−1а−1.
  • Если E is simple, Γ(E) = Aut C × {±1}, Γ(E) ∩ O(E) = Aut E × {±1} and the identity component of Γ(E) acts transitively on C.
  • Γ (EC) is the complexification of Γ(E), which has Lie algebra .
  • Структурная группа Γ (EC) действует транзитивно на множестве обратимых элементов в EC.
  • Каждый грамм в Γ (EC) имеет вид грамм = час Q(а) с час автоморфизм и а обратимый.

В унитарная структурная группа Γты(EC) - подгруппа группы Γ (EC) consisting of unitary operators, so that Γты(EC) = Γ (EC) ∩ U (EC).

  • Стабилизатор 1 в Γты(EC) является Aut E.
  • Каждый грамм в Γты(EC) имеет вид грамм = час Q(ты) с час в Aut E и ты обратимый в EC с ты* = ты−1.
  • Γ (EC) - комплексификация Γты(EC), which has Lie algebra .
  • Набор S обратимых элементов ты такой, что ты* = ты−1 можно эквивалентно охарактеризовать как ты для которого L(ты) - нормальный оператор с уу* = 1 или как те ты of the form exp я для некоторых а в E. Особенно S подключен.
  • Компонента идентичности Γты(EC) acts transitively on S
  • грамм в GL (EC) is in the unitary structure group if and only if gS = S
  • Given a Jordan frame (ея) и v в EC, есть оператор ты в компоненте единицы графа Γты(EC) такие, что УФ = ∑ αя ея с αя ≥ 0. Если v обратима, то αя > 0.

Given a frame (ея) in a Euclidean Jordan algebra E, то restricted Weyl group can be identified with the group of operators on р ея arising from elements in the identity component of Γты(EC) that leave р ея инвариантный.

Спектральная норма

Позволять E be a Euclidean Jordan algebra with the inner product given by the trace form. Позволять (ея) be a fixed Jordan frame in E. For given а в EC выберите ты in Γты(EC) такие, чтоua = ∑ αя ея с αя ≥ 0. Then the спектральная норма ||а|| = max αя is independent of all choices. It is a norm on EC с

In addition ||а||2 дается норма оператора из Q(а) on the inner product space EC. The fundamental identity for the quadratic representation implies that ||Q(а)б|| ≤ ||а||2||б||. The spectral norm of an element а определяется в терминах C[а] so depends only on а and not the particular Euclidean Jordan algebra in which it is calculated.[15]

The compact set S это набор крайние точки of the closed unit ball ||Икс|| ≤ 1. Each ты в S has norm one. Более того, если ты = ея и v = еib, then ||УФ|| ≤ 1. Indeed, by the Cohn–Shirshov theorem the unital Jordan subalgebra of E создано а и б is special. The inequality is easy to establish in non-exceptional simple Euclidean Jordan algebras, since each such Jordan algebra and its complexification can be realized as a subalgebra of some Hп(р) and its complexification ЧАСп(C) ⊂ Mп(C). The spectral norm in ЧАСп(C) is the usual operator norm. In that case, for unitary matrices U и V в Mп(C), clearly ||½(УФ + VU) || ≤ 1. The inequality therefore follows in any special Euclidean Jordan algebra and hence in general.[16]

On the other hand, by the Теорема Крейна – Мильмана, the closed unit ball is the (closed) convex span из S.[17] It follows that ||L(ты) || = 1, in the operator norm corresponding to either the inner product norm or spectral norm. Hence ||L(а)|| ≤ ||а|| для всех а, so that the spectral norm satisfies

Следует, что EC это Jordan C* algebra.[18]

Complex simple Jordan algebras

The complexification of a simple Euclidean Jordan algebra is a simple complex Jordan algebra which is also отделяемый, i.e. its trace form is non-degenerate. Conversely, using the existence of a реальная форма of the Lie algebra of the structure group, it can be shown that every complex separable simple Jordan algebra is the complexification of a simple Euclidean Jordan algebra.[19]

To verify that the complexification of a simple Euclidean Jordan algebra E has no ideals, note that if F is an ideal in EC then so too is F, the orthogonal complement for the trace norm. As in the real case, J = FF must equal (0). For the associativity property of the trace form shows that F is an ideal and that ab = 0, если а и б роды J. Следовательно J это идеал. Но если z в J, L(z) берет EC в J и J into (0). Hence Tr L(z) = 0. Since J is an ideal and the trace form degenerate, this forces z = 0. It follows that EC = FF. Если п is the corresponding projection onto F, it commutes with the operators L(а) и F = (яп)EC. is also an ideal and E = FF. Кроме того, если е = п(1), then п = L(е). In fact for а в E

так что еа = а за а в F and 0 for а в F. Особенно е и 1 - е ортогональны центральный idempotents with L(е) = п и L(1 − е) = яп.

So simplicity follows from the fact that the center of EC is the complexification of the center of E.

Symmetry groups of bounded domain and tube domain

According to the "elementary approach" to bounded symmetric space of Koecher,[20] Hermitian symmetric spaces of noncompact type can be realized in the complexification of a Euclidean Jordan algebra E as either the open unit ball for the spectral norm, a bounded domain, or as the open tube domain Т = E + IC, куда C is the positive open cone in E. In the simplest case where E = р, усложнение E просто C, the bounded domain corresponds to the open unit disk and the tube domain to the upper half plane. Both these spaces have transitive groups of biholomorphisms given by Möbius transformations, corresponding to matrices in СУ (1,1) или же SL (2,р). They both lie in the Riemann sphere C ∪ {∞}, the standard one-point compactification of C. Moreover, the symmetry groups are all particular cases of Möbius transformations corresponding to matrices in SL (2,C). This complex Lie group and its maximal compact subgroup SU (2) act transitively on the Riemann sphere. The groups are also algebraic. They have distinguished generating subgroups and have an explicit description in terms of generators and relations. Moreover, the Cayley transform gives an explicit Möbius transformation from the open disk onto the upper half plane. All these features generalize to arbitrary Euclidean Jordan algebras.[21] The compactification and complex Lie group are described in the next section and correspond to the dual Hermitian symmetric space of compact type. In this section only the symmetries of and between the bounded domain and tube domain are described.

Jordan frames provide one of the main Jordan algebraic techniques to describe the symmetry groups. Each Jordan frame gives rise to a product of copies of р и C. The symmetry groups of the corresponding open domains and the compactification—polydisks and polyspheres—can be deduced from the case of the unit disk, the upper halfplane and Riemann sphere. All these symmetries extend to the larger Jordan algebra and its compactification. The analysis can also be reduced to this case because all points in the complex algebra (or its compactification) lie in an image of the polydisk (or polysphere) under the unitary structure group.

Определения

Позволять E be a Euclidean Jordan algebra with complexification А = EC = E + iE.

The unit ball or disk D в А is just the convex bounded open set of elementsа such the ||а|| < 1, i.e. the unit ball for the spectral norm.

The tube domain Т в А is the unbounded convex open set Т = E + IC, куда C is the open positive cone in E.

Преобразования Мебиуса

Группа SL (2,C) действует Преобразования Мебиуса на Сфера Римана C ∪ {∞}, одноточечная компактификация из C. Если грамм в SL (2,C) задается матрицей

тогда

Similarly the group SL(2,р) acts by Möbius transformations on the circle р ∪ {∞}, the one-point compactification of р.

Позволять k = р или же C. Then SL(2,k) is generated by the three subgroups of lower and upper unitriangular matrices, L и U ', and the diagonal matrices D. Он также генерируется нижними (или верхними) унитреугольными матрицами, диагональными матрицами и матрицей

Матрица J соответствует преобразованию Мёбиуса j(z) = −z−1 и может быть написано

The Möbius transformations fixing ∞ are just the upper triangular matrices B = UD = DU. Если грамм не фиксирует ∞, он переводит ∞ в конечную точку а. Но потом грамм can be composed with an upper unitriangular matrix to send а до 0, а затем с J отправить 0 до бесконечности. This argument gives the one of the simplest examples of the Разложение Брюа:

двойное разложение смежных классов SL (2,k). На самом деле объединение не пересекается и может быть записано более точно как

где продукт, входящий во второй член, является прямым.

Теперь позвольте

потом

Следует SL (2,k) порождается группой операторов Т(β) и J при соблюдении следующих отношений:

  • β ↦ Т(β) аддитивный гомоморфизм
  • α ↦ D(α) = JT−1)JT(α)JT−1) является мультипликативным гомоморфизмом
  • D(−1) = J
  • D(α)Т(β)D(α)−1 = Т2β)
  • JD(α)J−1 = D(α)−1

Последнее соотношение следует из определения D(α). Генератор и отношения, приведенные выше, на самом деле представляют собой представление SL (2,k). Действительно, рассмотрим свободную группу Φ, порожденную J и Т(β) с J порядка 4 и его центральной площади. Состоит из всех продуктовТ1)JT2)JT3)J ... Тм)J за м ≥ 0. Существует естественный гомоморфизм Φ на SL (2,k). Его ядро ​​содержит нормальную подгруппу Δ, порожденную указанными выше соотношениями. Таким образом, существует естественный гомоморфизм Φ / ∆ на SL (2,k). Чтобы показать его инъективность, достаточно показать, что разложение Брюа имеет место и в Φ / Δ. Достаточно доказать первую версию, поскольку более точная версия следует из коммутационных соотношений между J иD(α). Набор BB J B инвариантен относительно обращения, содержит операторы Т(β) и J, поэтому достаточно показать, что он инвариантен относительно умножения. По построению он инвариантен относительно умножения на B. Он инвариантен относительно умножения на J из-за определяющего уравнения для D(α).[22]

В частности, центр SL (2,k) состоит из скалярных матриц ±я и это единственная нетривиальная нормальная подгруппа группы SL (2,k), так что PSL (2,k) = SL (2,k)/{±я} является просто.[23] Фактически, если K нормальная подгруппа, то из разложения Брюа следует, что B - максимальная подгруппа, так что либо K содержится в B или жеКБ = SL (2,k). В первом случае K фиксирует одну точку и, следовательно, каждую точку k ∪ {∞}, поэтому лежит в центре. Во втором случае коммутаторная подгруппа из SL (2,k) - это вся группа, так как это группа, порожденная нижними и верхними унитреугольными матрицами, а четвертое соотношение показывает, что все такие матрицы являются коммутаторами, поскольку [Т(β),D(α)] = Т(β - α2β). Письмо J = kb с k в K и б в B, следует, что L = k U k−1. С U и L сгенерировать всю группу, SL (2,k) = KU. Но потом SL (2,k)/KU/UK. Правая часть здесь абелева, а левая часть представляет собой собственную коммутаторную подгруппу. Следовательно, это должна быть тривиальная группа и K = SL (2,k).

Учитывая элемент а в комплексной йордановой алгебре А = EC, унитальная йорданова подалгебра C[а] ассоциативно и коммутативно. Умножение на а определяет оператор на C[а] который имеет спектр, а именно набор комплексных собственных значений. Если п(т) - комплексный многочлен, то п(а) определяется в C[а]. Он обратим в А тогда и только тогда, когда он обратим вC[а], что происходит именно тогда, когда п не исчезает на спектре а. Это позволяет рациональные функции из а быть определенным всякий раз, когда функция определена на спектре а. Если F и грамм являются рациональными функциями с грамм и Fграмм определено на а, тогдаF определяется на грамм(а) и F(грамм(а)) = (Fграмм)(а). Это, в частности, относится к комплексным преобразованиям Мёбиуса, которые могут быть определены какграмм(а) = (αа + β1) (γа + δ1)−1. Они ушли C[а] инвариантен и, если он определен, выполняется закон состава группы. (В следующем разделе мы определим комплексные преобразования Мёбиуса на компактификации А.)[24]

Учитывая примитивный идемпотент е в E с разложением Пирса

действие SL (2,C) преобразованиями Мёбиуса на E1(е) = C е может быть расширен до действия на А так что действие оставляет неизменными компоненты Ая(е) и, в частности, действует тривиально на E0(е).[25] Если п0 это проекция на А0(е), действие задается формулой

Для жордановой системы примитивных идемпотентов е1, ..., ем, действия SL (2,C) связаны с различными ея коммутируют, таким образом давая действие SL (2,C)м. Диагональная копия SL (2,C) снова дает действие преобразований Мёбиуса на А.

Преобразование Кэли

Преобразование Мёбиуса, определенное формулой

называется Преобразование Кэли. Его обратное дается

Обратное преобразование Кэли переносит реальную прямую на окружность без точки 1. Он несет верхнюю полуплоскость на единичный диск, а нижнюю полуплоскость - на дополнение замкнутого единичного диска. В теория операторов отображение Тп(Т) принимает самосопряженные операторы Т на унитарные операторы U не содержащие 1 в своем спектре. Для матриц это следует потому, что унитарные и самосопряженные матрицы могут быть диагонализованы, а их собственные значения лежат на единичной окружности или вещественной прямой. В этом конечномерном случае преобразование Кэли и обратное к нему устанавливают биекцию между матрицами операторной нормы меньше единицы и операторами с мнимой частью положительным оператором. Это особый случай для А = Mп(C) результата йордановой алгебры, объясняемого ниже, который утверждает, что преобразование Кэли и его обратное устанавливают взаимно однозначное соответствие между ограниченной областью D и трубчатая область Т.

В случае матриц биекция следует из резольвантных формул.[26] Фактически, если мнимая часть Т положительно, то Т + я обратима, поскольку

В частности, установка у = (Т + я)Икс,

Эквивалентно

- положительный оператор, так что ||п(Т) || <1. Наоборот, если ||U|| <1 тогда яU обратима и

Поскольку преобразование Кэли и обратное к нему коммутируют с транспонированием, они также устанавливают биекцию для симметричных матриц. Это соответствует йордановой алгебре симметричных комплексных матриц, комплексификации ЧАСп(р).

В А = EC Вышеупомянутые тождества резольвантов принимают следующий вид:[27]

и эквивалентно

где оператор Бергмана B(Икс,у) определяется B(Икс,у) = я − 2р(Икс,у) + Q(Икс)Q(у) с р(Икс,у) = [L(Икс),L(у)] + L(ху). Обратные здесь хорошо определены. Фактически в одном направлении 1 − ты обратима при ||ты|| <1: это следует либо из того факта, что норма удовлетворяет ||ab|| ≤ ||а|| ||б||; или используя тождество резольванта и обратимость B(ты*,ты) (Смотри ниже). В обратном направлении, если мнимая часть а в C затем мнимая часть L(а) положительно определен, так что а обратимо. Этот аргумент можно применить к а + я, так что он тоже обратимый.

Чтобы установить соответствие, достаточно проверить его при E это просто. В этом случае из связности Т и D и потому что:

* За Икс в E, Q(Икс) является положительным оператором тогда и только тогда, когда Икс или же Икс лежит в C
  • B(а*,а) является положительным оператором тогда и только тогда, когда а или его обратная (если обратимая) лежит в D

Первый критерий следует из того, что собственные значения Q(Икс) точно λяλj если собственные значения Икс находятся λя. Итак λя либо все положительные, либо все отрицательные. Второй критерий следует из того, что еслиа = ты ∑ αя ея = ux с αя ≥ 0 и ты в Γты(EC), тогда B(а*,а) = ты*Q(1 − Икс2)ты имеет собственные значения (1 - αя2) (1 - αj2). Итак αя либо все меньше единицы, либо все больше единицы.

Резольвантное тождество является следствием следующего тождества для а и б обратимый

Фактически в этом случае соотношения для квадратичной йордановой алгебры подразумевать

так что

Равенство двух последних слагаемых влечет тождество, заменяя б к б−1.

Теперь установите а = 1 − Икс и б = 1 − у. Резольвантная идентичность является частным случаем более следующей более общей идентичности:

Фактически

так что идентичность эквивалентна

Использование указанного выше идентификатора вместе с Q(c)L(c−1) = L(c), левая часть равна Q(а)Q(б) + Q(а + б) − 2L(а)Q(б) − 2Q(а)L(б). Правая часть равна 2L(а)L(б) + 2L(б)L(а) − 2L(ab) − 2L(а)Q(б) − 2Q(а)L(б) + Q(а)Q(б) + Q(а) + Q(б). Они равны по формуле ½[Q(а + б) − Q(а) − Q(б)] = L(а)L(б) + L(б)L(а) − L(ab).

Группа автоморфизмов ограниченной области

Преобразования Мёбиуса в СУ (1,1) несут ограниченную область D на себя.

Если а лежит в ограниченной области D, тогда а − 1 обратимо. С D инвариантна относительно умножения на скаляры по модулю ≤ 1, отсюда следует, чтоа - λ обратима при | λ | ≥ 1. Следовательно, при ||а|| ≤ 1, а - λ обратима при | λ | > 1. Отсюда следует, что преобразование Мёбиуса га определено для ||а|| ≤ 1 и грамм в СУ (1,1). Где определено, это инъективно. Он голоморфен на D. Посредством принцип максимального модуля, чтобы показать, что грамм карты D на D достаточно показать это карты S на себя. В этом случае грамм и его обратное сохранение D так должно быть сюръективно. Если ты = еix с Икс = ∑ ξяея в E, тогда гу лежит в C ея. Это коммутативная ассоциативная алгебра, и спектральная норма является нормой супремума. С ты = ∑ ςяея с | ςя| = 1, то гу = ∑ граммя)ея где |граммя) | = 1. Итак гу лежит в S.

Унитарная структурная группа EC несет D на себя.

Это прямое следствие определения спектральной нормы.

Группа преобразований СУ (1,1)м соответствующий жордановой шкале несет D на себя.

Это уже известно для преобразований Мёбиуса, т. Е. Диагонали в СУ (1,1)м. Для диагональных матриц в фиксированной компоненте в СУ (1,1)м потому что они соответствуют преобразованиям в унитарной структурной группе. Сопряжение преобразованием Мебиуса эквивалентно сопряжению матрицей в этом компоненте. Поскольку единственная нетривиальная нормальная подгруппа группы СУ (1,1) является его центром, каждая матрица фиксированного компонента несет D на себя.

Учитывая элемент в D преобразование компонента идентичности унитарной структурной группы переносит его в элемент в C ея с нормой супремума меньше 1. Преобразование в СУ (1,1)м переводит его на ноль. Таким образом, существует транзитивная группа биголоморфных преобразований D. Симметрия z ↦ −z является биголоморфным преобразованием Мёбиуса, фиксирующим только 0.

Биголоморфные отображения D на себя, которые фиксируют начало координат, задаются унитарной структурной группой.

Если ж является биголоморфным отображением D с ж(0) = 0 и производная я при 0, тогда ж должно быть личность.[28] Если не, ж имеет расширение ряда Тейлора ж(z) = z + жk + жk + 1(z) + ⋅⋅⋅ с жя однородный по степени яи жk ≠ 0. Но потом жп(z) = z + п жk(z). Позволять ψ быть функционалом в А* нормы один. Тогда для фиксированного z в D, голоморфные функции комплексного переменного ш данный часп(ш) = ψ (жп(wz)) должен иметь модуль меньше 1 для |ш| <1. Автор Неравенство Коши, коэффициенты при шk должна быть равномерно ограничена независимо от п, что невозможно, если жk ≠ 0.

Если грамм является биголоморфным отображением D на себя, просто фиксируя 0, тогда, если час(z) = еяα zотображение ж = граммчасграмм−1час−α исправляет 0 и имеет производную я там. Следовательно, это карта идентичности. Так грамм(еяα z) = еяαграмм(z) для любого α. Из этого следует грамм является линейным отображением. Поскольку он отображает D на себя он отображает замыкание на себя. В частности, он должен отображать границу Шилова S на себя. Это заставляет грамм быть в унитарной структурной группе.

Группа граммD биголоморфных автоморфизмов D порождается унитарной структурной группой KD и преобразования Мёбиуса, связанные с жордановым репером. Если АD обозначает подгруппу таких преобразований Мёбиуса, фиксирующих ±1, то справедлива формула разложения Картана: граммD = KD АD KD.

Орбита 0 под АD это множество всех точек ∑ αя ея с −1 <αя < 1. Орбита этих точек относительно унитарной структурной группы - это все D. Разложение Картана следует потому, что KD является стабилизатором 0 в граммD.

Центр граммD тривиально.

Фактически, единственная точка, фиксированная (тождественным компонентом) KD в D равно 0. Из единственности следует, что центр из граммD должен зафиксировать 0. Отсюда следует, что центр граммD лежит в KD. Центр KD изоморфна круговой группе: поворот на θ соответствует умножению на еяθ на D так лежит в СУ (1,1) / {± 1}. Поскольку эта группа имеет тривиальный центр, центр группы граммD тривиально.[29]

KD - максимальная компактная подгруппа в граммD.

Фактически любая более крупная компактная подгруппа пересекалась бы АD нетривиально и нет нетривиальных компактных подгрупп.

Обратите внимание, что граммD является группой Ли (см. ниже), так что указанные выше три утверждения верны с граммD и KD заменены их компонентами идентичности, то есть подгруппами, порожденными их однопараметрическими куб-группами. Единственность максимальной компактной подгруппы с точностью до сопряженности следует из общий аргумент или может быть выведен для классических областей непосредственно с помощью Закон инерции Сильвестра следующий Сугиура (1982).[30] Для примера эрмитовых матриц над C, это сводится к доказательству того, что U (п) × U (п) с точностью до сопряженности единственная максимальная компактная подгруппа в U (п,п). Фактически, если W = Cп ⊕ (0), тогда U (п) × U (п) является подгруппой U (п,п) сохранение W. Ограничение эрмитовой формы, заданное внутренним произведением на W минус внутренний продукт на (0) ⊕ Cп.С другой стороны, если K компактная подгруппа в U (п,п), Существует K-инвариантный внутренний продукт на C2п полученный усреднением любого скалярного произведения по мере Хаара на K. Эрмитова форма соответствует ортогональному разложению на два подпространства размерности п оба инвариантны относительно K с формой положительно определенного на одном и отрицательно определенного на другом. По закону инерции Сильвестра, учитывая два подпространства размерности п на которой эрмитова форма положительно определена, одна переносится на другую элементом U (п,п). Следовательно, есть элемент грамм из U (п,п) такое, что положительно определенное подпространство задается формулой гВт. Так гкг−1 листья W инвариант и гкг−1 ⊆ U (п) × U (п).

Похожий аргумент с кватернионы заменяя комплексные числа, показывает единственность для симплектической группы, которая соответствует эрмитовым матрицам над р. Это также можно увидеть более непосредственно, используя сложные конструкции. Сложная структура - это обратимый оператор J с J2 = −я сохраняя симплектическую форму B и такой, что -B(Jx,у) - настоящий внутренний продукт. Симплектическая группа действует транзитивно на комплексных структурах сопряжением. Более того, подгруппа, коммутирующая с J естественно отождествляется с унитарной группой для соответствующего комплексного внутреннего пространства продукта. Единственность следует из доказательства того, что любая компактная подгруппа K ездит с некоторой сложной структурой J. Фактически, усредняя по мере Хаара, существует K-инвариантный внутренний продукт на нижележащем пространстве. Симплектическая форма дает обратимый кососопряженный оператор Т добираясь до K. Оператор S = −Т2 положительный, поэтому имеет единственный положительный квадратный корень, который коммутирует с K. Так J = S−1/2Т, фаза Т, имеет квадрат -я и ездит с K.

Группа автоморфизмов трубчатой ​​области

Существует Картановское разложение за граммТ соответствует действию на трубку Т = E + IC:

  • KТ стабилизатор я в ICТ, поэтому максимальная компактная подгруппа в граммТ. Под преобразованием Кэли, KТ соответствует KD, стабилизатор 0 в ограниченной симметричной области, где он действует линейно. С граммТ полупросто, каждое максимальная компактная подгруппа сопряжен с KТ.
  • Центр граммТ или же граммD тривиально. Фактически единственная точка, зафиксированная KD в D равен 0. Единственность означает, что центр из граммD должен зафиксировать 0. Отсюда следует, что центр граммD лежит в KD а значит, центр граммТ лежит в KТ. Центр KD изоморфна круговой группе: поворот на θ соответствует умножению на еяθ на D. В преобразовании Кэли это соответствует Преобразование Мёбиуса z ↦ (cz + s)(−sz + c)−1 куда c = cos θ / 2 и s = грех θ / 2. (В частности, когда θ = π, это дает симметрию j(z) = −z−1.) Фактически все преобразования Мёбиуса z ↦ (αz + β) (- γz + δ)−1 с αδ - βγ = 1 лежат в граммТ. Поскольку PSL (2,р) имеет тривиальный центр, центр граммТ тривиально.[31]
  • АТ задается линейными операторами Q(а) с а = ∑ αя ея с αя > 0.

Фактически разложение Картана для граммТ следует из разложения для граммD. Данный z в D, есть элемент ты в KD, компонент идентичности Γты(EC), так что z = ты ∑ αjеj с αj ≥ 0. Поскольку ||z|| <1, следует, что αj < 1. Принимая преобразование Кэли z, следует, что каждый ш в Т можно написать ш = kC ∑ αjеj, с C преобразование Кэли и k в KТ. СC ∑ αяея = ∑ βjеj я сβj = (1 + αj) (1 - αj)−1, смысл ш имеет форму ш =ка(я) с а в А. Следовательно граммТ = KТАТKТ.

3-градуированные алгебры Ли

Разложение Ивасавы

Существует Разложение Ивасавы за граммТ соответствует действию на трубку Т = E + IC:[32]

  • KТ стабилизатор я в ICТ.
  • АТ задается линейными операторами Q(а) куда а = ∑ αя ея с αя > 0.
  • NТ является нижней унитреугольной группой на EC. Это полупрямое произведение унипотентной треугольной группы N появляется в разложении Ивасавы грамм (группа симметрии C) и N0 = E, группа переводов ИксИкс + б.

Группа S = AN действует на E линейно и сопряжение на N0 воспроизводит это действие. Поскольку группа S действует просто транзитивно на C, следует, что ANТ=SN0 действует просто транзитивно на Т = E + IC. Позволять ЧАСТ быть группой биголоморфизмы трубки Т. Преобразование Кэли показывает, что она изоморфна группе ЧАСD биголоморфизмов ограниченной области D. С ANТ действует просто транзитивно на трубке Т пока KТ исправления IC, они имеют тривиальное пересечение.

Данный грамм в ЧАСТ, брать s в ANТ такой, что грамм−1(я)=s−1(я). тогда GS−1 исправления я и поэтому лежит в KТ. Следовательно ЧАСТ = KТАNТ. Итак, продукт - это группа.

Структура группы Ли

В результате Анри Картан, ЧАСD группа Ли. Оригинальное доказательство Картана представлено в Нарасимхан (1971). Это также можно вывести из того факта, что D завершено для Метрика Бергмана, для которых изометрии образуют группу Ли; к Теорема Монтеля, группа биголоморфизмов является замкнутой подгруппой.[33]

Который ЧАСТ является группой Ли, которую можно увидеть непосредственно в этом случае. Фактически существует конечномерная 3-градуированная алгебра Ли векторных полей с инволюцией σ. Форма Киллинга отрицательно определена на +1 собственном подпространстве σ и положительно определена на собственном подпространстве −1. Как группа ЧАСТ нормализует поскольку две подгруппы KТ и ANТ делать. Собственное подпространство +1 соответствует алгебре Ли KТ. Аналогично алгебры Ли линейной группы AN а аффинная группа N0 роды . Поскольку группа граммТ имеет тривиальный центр, отображение в GL () инъективно. С KТ компактно, его образ в GL () компактно. Поскольку алгебра Ли совместим с ANТ, образ ANТ закрыто. Следовательно, изображение продукта закрыто, так как изображение KТ компактный. Поскольку это замкнутая подгруппа, отсюда следует, что ЧАСТ группа Ли.

Обобщения

Евклидовы йордановы алгебры могут использоваться для построения эрмитовых симметрических пространств трубчатого типа. Остальные эрмитовы симметрические пространства являются областями Зигеля второго рода. Их можно построить с помощью евклидова Иорданские тройные системы, обобщение евклидовых йордановых алгебр. Фактически для евклидовой йордановой алгебры E позволять

потом L(а,б) дает билинейное отображение в End E такой, что

и

Любая такая билинейная система называется Евклидова тройная система Иордана. По определению операторы L(а,б) образуют подалгебру Ли в End E.

В Конструкция Кантора – Кехера – Титса. дает однозначное соответствие между системами йордановых троек и 3-градуированными алгебрами Ли

удовлетворение

и снабжен инволютивным автоморфизмом σ, обращающим градуировку. В этом случае

определяет систему троек Жордана на . В случае евклидовых йордановых алгебр или систем троек конструкцию Кантора – Кохера – Титса можно отождествить с алгеброй Ли группы Ли всех гомоморфных автоморфизмов соответствующих ограниченная симметричная область.Алгебра Ли строится следующим образом: быть подалгеброй Ли конца E порожденная L (а,б) и быть копиями E. Скобка Ли задается формулой

и инволюция

В Форма убийства дан кем-то

где β (Т1,Т2) - симметричная билинейная форма, определяемая формулой

Эти формулы, первоначально полученные для йордановых алгебр, одинаково хорошо работают и для систем йордановых троек.[34]Счет в Кехер (1969) развивает теорию ограниченные симметричные области начиная с точки зрения 3-градуированных алгебр Ли. Для заданного конечномерного векторного пространства E, Кохер рассматривает конечномерные алгебры Ли векторных полей на E с полиномиальными коэффициентами степени ≤ 2. состоит из постоянных векторных полей ∂я и должен содержать Оператор Эйлера ЧАС = ∑ Икся⋅∂я как центральный элемент. Требование существования инволюции σ приводит непосредственно к структуре жордановой тройки на V как указано выше. Как и для всех тройных структур Жордана, фиксация c в E, операторы Lc(а) = L(а,c) дайте E структура йордановой алгебры, определяемая е. Операторы L(а,б) сами происходят из структуры йордановой алгебры, как указано выше, тогда и только тогда, когда существуют дополнительные операторы E± в так что ЧАС, E± дать копию . Соответствующий элемент группы Вейля реализует инволюцию σ. Этот случай соответствует случаю евклидовых йордановых алгебр.

Остальные случаи равномерно строятся Кохером с использованием инволюций простых евклидовых йордановых алгебр.[35] Позволять E - простая евклидова йорданова алгебра, а τ - автоморфизм йордановой алгебры E периода 2. Таким образом E = E+1E−1 имеет разложение в собственное подпространство для τ с E+1 йордановой подалгеброй и E−1 модуль. Более того, произведение двух элементов в E−1 лежит в E+1. За а, б, c в E−1, набор

и (а,б) = Tr L(ab). потом F = E−1 простая евклидова система троек Жордана, полученная ограничением тройной системы на E к F. Кехер показывает явные инволюции простых евклидовых йордановых алгебр непосредственно (см. Ниже). Эти системы йордановых троек соответствуют неприводимым эрмитовым симметрическим пространствам, задаваемым областями Зигеля второго рода. В листинге Картана их компактные двойники суть SU (п + q) / S (U (п) × U (q)) с пq (AIII), SO (2п) / U (п) с п нечетное (DIII) и E6/ SO (10) × U (1) (EIII).

Примеры

  • F это пространство п к q матрицы над р с пq. В этом случае L(а,б)c= abтc + cbта с внутренним продуктом (а,б) = Tr abт. Это конструкция Кехера для инволюции на E = ЧАСп + q(р), заданный сопряжением диагональной матрицей с п бигональные записи равны 1 и q до -1.
  • F - пространство вещественных кососимметричных м к м матрицы. В этом случае L(а,б)c = abc + cba с внутренним продуктом (а,б) = −Tr ab. После удаления множителя √ (-1) эта конструкция Кохера применяется к комплексному сопряжению на E = ЧАСп(C).
  • F представляет собой прямую сумму двух копий чисел Кэли, рассматриваемых как матрицы 1 на 2. Эта система троек получается конструкцией Кохера для канонической инволюции, определяемой любым минимальным идемпотентом в E = ЧАС3(О).

Классификация евклидовых систем троек Иордана была достигнута путем обобщения методов Джордана, фон Неймана и Вигнера, но доказательства более сложны.[36] Априорные дифференциально-геометрические методы Кобаяши и Нагано (1964), вызывая 3-градуированную алгебру Ли, и Лоос (1971), Лоос (1985) привести к более быстрой классификации.

Примечания

  1. ^ Эта статья использует в качестве основных источников Иордания, фон Нейман и Вигнер (1934), Кехер (1999) и Фараут и Кораньи (1994), приняв терминологию и некоторые упрощения из последней.
  2. ^ Фараут и Кораньи 1994, стр. 2–4
  3. ^ Для доказательства эквивалентности см .:
  4. ^ Видеть:
  5. ^ Видеть:
  6. ^ Видеть:
  7. ^ Клерк 1992, стр. 49–52
  8. ^ Фараут и Кораньи 1994, стр. 46–49
  9. ^ Фараут и Кораньи 1994, стр. 32–35
  10. ^ Видеть:
  11. ^ Видеть:
  12. ^ Видеть:
  13. ^ Фараут и Кораньи 1994, стр. 49–50
  14. ^ Фараут и Кораньи 1994, стр. 145–146
  15. ^ Лоос 1977, п. 3,15–3,16
  16. ^ Райт 1977, стр. 296–297
  17. ^ Видеть Фараут и Кораньи (1994, pp. 73,202–203) и Рудин (1973 С. 270–273). В силу конечномерности каждая точка выпуклой оболочки S выпуклая комбинация п +1 балл, где п = 2 тускл. E. Итак, выпуклый промежуток S уже компактен и равен замкнутому единичному шару.
  18. ^ Райт 1977, стр. 296–297
  19. ^ Фараут и Кораньи 1994, стр. 154–158
  20. ^ Видеть:
  21. ^ Видеть:
  22. ^ Lang 1985, стр. 209–210
  23. ^ Бурбаки 1981, стр. 30–32
  24. ^ Видеть:
  25. ^ Лоос 1977, стр. 9.4–9.5
  26. ^ Фолланд 1989, стр. 203–204
  27. ^ Видеть:
  28. ^ Фараут и Кораньи 1994, стр. 204–205
  29. ^ Фараут и Кораньи 1994, п. 208
  30. ^ Обратите внимание, что элементарный аргумент в Игуса (1972 г., п. 23) цитируется в Фолланд (1989) неполный.
  31. ^ Фараут и Кораньи 1994, п. 208
  32. ^ Фараут и Кораньи 1994, п. 334
  33. ^ Видеть:
  34. ^ Видеть:
  35. ^ Кехер 1969, п. 85
  36. ^ Видеть:

Рекомендации

  • Альберт, А.А. (1934), "Об одной алгебре квантовой механики", Анналы математики, 35 (1): 65–73, Дои:10.2307/1968118, JSTOR  1968118
  • Бурбаки, Н. (1981), Groupes et algèbres de Lie (Chapitres 4,5 et 6), Éléments de Mathématique, Masson, ISBN  978-2225760761
  • Картан, Анри (1935), Sur les groupes de transformations analytiques, Actualités scientifiques et Industrielles, Германн
  • Клерк, Дж. (1992), "Représentation d'une algèbre de Jordan, полиномы инвариантов и гармоник Штифеля", J. Reine Angew. Математика., 1992 (423): 47–71, Дои:10.1515 / crll.1992.423.47
  • Faraut, J .; Кораньи, А. (1994), Анализ на симметричных конусах, Oxford Mathematical Monographs, Oxford University Press, ISBN  978-0198534778
  • Фолланд, Г. Б. (1989), Гармонический анализ в фазовом пространстве, Анналы математических исследований, 122, Издательство Принстонского университета, ISBN  9780691085289
  • Фройденталь, Ганс (1951), Oktaven, Ausnahmegruppen und Oktavengeometrie, Mathematisch Instituut der Rijksuniversiteit te Utrecht
  • Фройденталь, Ганс (1985), "Oktaven, Ausnahmegruppen und Oktavengeometrie", Геом. Dedicata, 19: 7–63, Дои:10.1007 / bf00233101 (перепечатка статьи 1951 г.)
  • Ханче-Ольсен, Харальд; Стёрмер, Эрлинг (1984), Йордановы операторные алгебры, Монографии и исследования по математике, 21, Питман, ISBN  978-0273086192
  • Хельгасон, Сигурдур (1978), Дифференциальная геометрия , группы Ли и симметричные пространства, Academic Press, Нью-Йорк, ISBN  978-0-12-338460-7
  • Игуса, Дж. (1972), Тета-функции, Die Grundlehren der Mathematischen Wissenschaften, 194, Springer-Verlag
  • Якобсон, Н. (1968), Строение и представления йордановых алгебр, Публикации коллоквиума Американского математического общества, 39, Американское математическое общество
  • Jordan, P .; von Neumann, J .; Вигнер, Э. (1934), "Об одном алгебраическом обобщении квантово-механического формализма", Анналы математики, 35 (1): 29–64, Дои:10.2307/1968117, JSTOR  1968117
  • Кобаяси, Шошичи; Номидзу, Кацуми (1963), Основы дифференциальной геометрии. я, Wiley Interscience, ISBN  978-0-470-49648-0
  • Кобаяси, Шошичи; Нагано, Тадаши (1964), "О фильтрованных алгебрах Ли и геометрических структурах. I.", J. Math. Мех., 13: 875–907
  • Кочер, М. (1967), "Вложение йордановых алгебр в алгебры Ли. I", Амер. J. Math., 89 (3): 787–816, Дои:10.2307/2373242, JSTOR  2373242
  • Кохер, М. (1968), "Вложение йордановых алгебр в алгебры Ли. II", Амер. J. Math., 90 (2): 476–510, Дои:10.2307/2373540, JSTOR  2373540
  • Кехер, М. (1969), Элементарный подход к ограниченным симметричным областям, Конспект лекций, Университет Райса
  • Кехер, М. (1999), Миннесотские заметки о йордановых алгебрах и их приложениях, Конспект лекций по математике, 1710, Спрингер, ISBN  978-3540663607
  • Кехер, М. (1971), «Йордановы алгебры и дифференциальная геометрия» (PDF), Actes du Congrès International des Mathématiciens (Ницца, 1970), Том I, Готье-Виллар, стр. 279–283.
  • Ланг, С. (1985), SL2(Р), Тексты для выпускников по математике, 105, Springer-Verlag, ISBN  978-0-387-96198-9
  • Лоос, Оттмар (1975), Иорданские пары, Конспект лекций по математике, 460, Springer-Verlag
  • Лоос, Оттмар (1971), "Структурная теория жордановых пар", Бык. Амер. Математика. Soc., 80: 67–71, Дои:10.1090 / s0002-9904-1974-13355-0
  • Лоос, Оттмар (1977), Ограниченные симметрические области и жордановы пары (PDF), Математические лекции, Калифорнийский университет, Ирвин, архив из оригинал (PDF) на 2016-03-03
  • Лоос, Оттмар (1985), "Charakterisierung simrischer R-Räume durch ihre Einheitsgitter", Математика. Z., 189 (2): 211–226, Дои:10.1007 / bf01175045
  • Макдональд, И. Г. (1960), «Йордановы алгебры с тремя образующими», Proc. Лондонская математика. Soc., 10: 395–408, Дои:10.1112 / плмс / с3-10.1.395
  • Нарасимхан, Рагхаван (1971), Несколько сложных переменных, Чикагские лекции по математике, Издательство Чикагского университета, ISBN  978-0-226-56817-1
  • Неер, Эрхард (1979), "Cartan-Involutionen von halbeinfachen reellen Jordan-Tripelsystemen", Математика. Z., 169 (3): 271–292, Дои:10.1007 / bf01214841
  • Нехер, Эрхард (1980), "Классификация по специальным характеристикам Jordan-Tripelsysteme", Manuscripta Math., 31 (1–3): 197–215, Дои:10.1007 / bf01303274
  • Неер, Эрхард (1981), "Классификация катушек Ausnahme-Jordan-Tripelsysteme", J. Reine Angew. Математика., 1981 (322): 145–169, Дои:10.1515 / crll.1981.322.145
  • Неер, Эрхард (1987), Жордановы тройные системы сеточным подходом, Конспект лекций по математике, 1280, Springer-Verlag, ISBN  978-3540183624
  • Постников, М. (1986), Группы Ли и алгебры Ли. Лекции по геометрии. Семестр V, Мир
  • Рудин, Вальтер (1973). Функциональный анализ. Международная серия по чистой и прикладной математике. 25 (Первое изд.). Нью-Йорк, штат Нью-Йорк: МакГроу-Хилл Наука / Инженерия / Математика. ISBN  9780070542259.
  • Спрингер, Т.А.; Велдкамп, Ф. Д. (2000), Октонионы, йордановы алгебры и исключительные группы, Springer-Verlag, ISBN  978-3540663379, первоначально конспекты лекций из курса, данного в Геттингенский университет в 1962 г.
  • Сугиура, Мицуо (1982), "Сопряженность максимальных компактных подгрупп для ортогональных, унитарных и унитарных симплектических групп", Sci. Документы Колледжа, генеральный ред. Univ. Токио, 32: 101–108
  • Райт, Дж. Д. М. (1977), "Йордановы C ∗ -алгебры", Michigan Math. Дж., 24 (3): 291–302, Дои:10.1307 / mmj / 1029001946
  • Жевлаков, К. А .; Слинко, А. М .; Шестаков, И. П .; Ширшов А.И. (1982), Кольца, которые почти ассоциативны, Чистая и прикладная математика, 104, Academic Press, ISBN  978-0127798509