Инвариантный выпуклый конус - Invariant convex cone - Wikipedia

В математика, инвариантный выпуклый конус закрытый выпуклый конус в Алгебра Ли связанного Группа Ли инвариантный относительно внутренних автоморфизмов. Исследование таких колбочек было инициировано Эрнест Винберг и Бертрам Костант.

Для простой алгебры Ли существование инвариантного выпуклого конуса вынуждает алгебру Ли иметь эрмитову структуру, т. Е. Максимальная компактная подгруппа имеет центр, изоморфный группе окружности. Инвариантный выпуклый конус, порожденный образующей алгебры Ли центра, замкнут и является минимальным инвариантным выпуклым конусом (с точностью до знака). Двойственный конус относительно Форма убийства - максимальный инвариантный выпуклый конус. Любой промежуточный конус однозначно определяется его пересечением с алгеброй Ли конуса максимальный тор в максимальной компактной подгруппе. Пересечение инвариантно относительно Группа Вейля максимального тора и орбита каждой точки внутри конуса пересекает внутренность инвариантного конуса группы Вейля.

Для настоящего симплектическая группа, максимальный и минимальный конус совпадают, поэтому существует только один инвариантный выпуклый конус. Когда один правильно содержится в другом, возникает континуум промежуточных инвариантных выпуклых конусов.

Инвариантные выпуклые конусы возникают при анализе голоморфных полугрупп в комплексирование группы Ли, впервые изученной Григорием Ольшанским. Они естественно связаны с Эрмитовы симметрические пространства и связанные с ними голоморфный дискретный ряд. Полугруппа состоит из тех элементов комплексификации, которые, действуя на эрмитово симметрическое пространство компактного типа, оставляют неизменной ограниченную область, соответствующую некомпактному двойственному объекту. Полугруппа действует по формуле операторы сжатия о голоморфных дискретных сериях; его интерьер действует Операторы Гильберта – Шмидта. Унитарная часть их полярное разложение - это оператор, соответствующий элементу исходной действительной группы Ли, а положительная часть - это экспонента мнимого кратного инфинитезимального оператора, соответствующего элементу в максимальном конусе. Подобное разложение уже происходит в полугруппе.

В полугруппа осцилляторов из Роджер Хоу касается частного случая этой теории для вещественной симплектической группы. Исторически это было одно из самых важных приложений, которое было распространено на бесконечные измерения. В статье подробно рассматривается пример инвариантного выпуклого конуса для симплектической группы и его использование при изучении симплектической полугруппы Ольшанского.

Инвариантный выпуклый конус в симплектической алгебре Ли

Алгебра Ли симплектической группы на р2п имеет единственный инвариантный выпуклый конус. Он самодвойственный.[1] Конус и его свойства могут быть получены напрямую, используя описание симплектической алгебры Ли, которое дает Исчисление Вейля в квантовая механика.[2] Пусть переменные в р2п быть Икс1, ..., Иксп, у1, ..., уп. Принимая стандартный внутренний продукт на р2псимплектическая форма соответствует матрице

Действительные многочлены на р2п образуют бесконечномерную алгебру Ли под действием Скобка Пуассона

Многочлены степени ≤ 2 образуют конечномерную алгебру Ли с центром постоянных многочленов. Однородные многочлены степени 2 образуют подалгебру Ли, изоморфную симплектической алгебре Ли. Симплектическая группа естественным образом действует на этой подалгебре путем репараметризации, и это дает присоединенное представительство. С другой стороны, однородные полиномы степени 2 - это просто симметричные билинейные формы на р2п. Следовательно, они соответствуют симметричным 2п × 2п матрицы. В Форма убийства на алгебре Ли пропорциональна форме следа Tr AB. Положительно определенные симметричные билинейные формы образуют открытый инвариантный выпуклый конус с замыкающим множеством п положительных полуопределенных симметричных билинейных форм. Поскольку форма Киллинга - это форма следа, конус п самодуальна.

Любая положительно симметричная билинейная форма определяет новый внутренний продукт на р2п. Симплектика из определяет обратимый кососопряженный оператор Т в отношении этого внутреннего продукта с -Т2 положительный оператор. Ортонормированный базис можно выбрать так, чтобы Т имеет кососимметричные матрицы 2 × 2 по диагонали. Масштабируя ортонормированный базис, следует, что существует симплектический базис для р2п диагонализация исходной положительно симметричной билинейной формы. Таким образом, каждая положительно симметричная билинейная форма лежит на орбите диагональной формы относительно симплектической группы.

Если C любой другой инвариантный выпуклый конус, то он инвариантен относительно замкнутой подгруппы U симплектической группы, состоящей из ортогональных преобразований, коммутирующих с J. Идентификация р2п со сложным внутренним пространством продукта Cп используя сложную структуру J, U можно отождествить с U(п). Взяв любую ненулевую точку в C. в среднем более U относительно Мера Хаара лежит в C и отличен от нуля. Соответствующая квадратичная форма кратна стандартному внутреннему произведению. Замена C к -C этот коэффициент можно считать положительным. Имеется копия SL (2,р) в симплектической группе, действующей только на переменные Икся и уя. Эти операторы можно использовать для преобразования(Икся)2 + (уя)2 вт(Икся)2 + (2 – т)(уя)2 с 0 < т <2. Отсюда следует, что C содержит точку (Икс1)2 + (у2)2 + ... + (уп)2. Применяя операторы диагонального масштабирования во втором и последующих экземплярах SL (2,р), конус C должен содержать квадратичную форму (Икс1)2. По инвариантности C также должны содержать квадратичные формы (Икся)2 и (уя)2. По выпуклости он содержит все диагональные положительно симметричные билинейные формы. Поскольку любая положительно симметричная билинейная форма находится в орбите диагональной формы, C содержит конус неотрицательных симметричных билинейных форм. По двойственности двойственный конус C* содержится в п. Если C является собственным конусом, предыдущие рассуждения показывают, что C* = п и, следовательно, что C = п.

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

с ая > 0. Это соответствует конусу в алгебре Ли (диагонального) максимальный тор из U.

Поскольку каждый элемент п диагонализуема, стабилизатор положительного элемента симплектической группы содержится в сопряженном к U. С другой стороны, если K - еще одна компактная подгруппа симплектической группы, усреднение по мере Хаара показывает, что она оставляет инвариантным положительный элемент группы п. Таким образом K содержится в конъюгате U. Следует, что U это максимальная компактная подгруппа симплектической группы и что любая другая такая подгруппа должна быть сопряжена с U.

Разложение в симплектическую полугруппу Ольшанского

Комплексная симплектическая группа действует преобразованиями Мёбиуса на Икс, комплексные симметричные матрицы с операторной нормой, меньшей или равной единице. Представление элемента в виде блочной матрицы 2 × 2, действие задается

Существует автоморфизм σ периода 2 комплексной симплектической группы с подгруппой неподвижных точек вещественной симплектической группы. потом Икс+ = σ (x) ^ {- 1} - антиавтоморфизм ЧАС который индуцирует обратное к вещественной симплектической группе грамм. Если грамм находится в открытой полугруппе Ольшанского ЧАС, позволять час = грамм+грамм. К Теорема Брауэра о неподвижной точке применительно к компактному выпуклому множеству Икс, грамм имеет фиксированную точку в Икс. С грамм несет Икс внутри неподвижная точка - это внутренняя точка. С грамм действует транзитивно на внутренней части Икс, после умножения на элемент грамм при необходимости можно предположить, что час исправляет 0. Поскольку час+ = час, следует, что б = c = 0. Сопряжение элементом в K ⊂ SU (1,1), а и d можно диагонализовать. Он имеет положительные собственные значения, поэтому существует единственный положительный диагональный оператор час1 с квадратом час. По уникальности (час1)+ = час1. С час1 диагональна, теория для SU (1,1) и SL (2,C) действующей на единичный диск в C показывает, что час1 лежит в exp C. С другой стороны, k = грамм (час1)−1 удовлетворяет k+k = 1, так что σ (k) = k. Таким образом k лежит в грамм а значит, используя инвариантность C, ЧАС допускает разложение

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

Более того, карта (грамм,Икс) ↦ грамм exp Икс является гомеоморфизмом.[3]

Фактически, если Икс в C, его можно диагонализовать с помощью вещественных собственных значений. Так что exp Икс имеет строго положительные собственные значения. По непрерывности, если Икс находится в закрытии C, он имеет действительные собственные значения и exp Икс имеет строго положительные собственные значения. Любой обратимый оператор, являющийся пределом такого exp Икс также будут иметь строго положительные собственные значения. Посредством голоморфное функциональное исчисление экспоненциальное отображение на пространстве операторов с вещественным спектром определяет гомеоморфизм на пространство операторов со строго положительным спектром с аналитическим обратным, задаваемым логарифмом. Следует, что замкнута в комплексной симплектической группе.

Если граммп exp Иксп как правило час, то exp 2Иксп как правило час+час. С закрыто, час+час = ехр 2Икс для некоторых Икс и поэтому час exp -Икс лежит в грамм. Итак, закрытие замкнуто и совпадает с . Аналогично, если граммп exp Иксп как правило грамм exp Икс, то exp 2 Иксп имеет тенденцию к exp 2Икс. Следовательно Иксп как правило Икс. Но потом Иксп имеет тенденцию к истощению Икс, так что граммп как правило грамм.

Использование теоремы Брауэра о неподвижной точке можно избежать, применяя более прямые теоремы о неподвижной точке для голоморфных отображений, таких как Теорема Эрла – Гамильтона о неподвижной точке и его варианты.[4] Фактически преобразование Мёбиуса ж принимая {z: ||z|| < 1, zт = z} в компактное подмножество имеет единственную неподвижную точку z0 с жп(z) → z0 для любого z.

Уникальность следует потому что, если ж имеет неподвижную точку, после сопряжения элементом вещественной симплектической группы ее можно считать равной 0. Тогда ж имеет форму ж(z) = az(1 + cz)−1ат, куда cт = c, с итерациямижм(z) = амz(1 + cмz)−1(ам)т с cм = c + аток + ⋅⋅⋅ + (ам − 1)токм − 1. Здесь а и cм у всех операторная норма меньше единицы. Таким образом, для ||z|| ≤ р < 1, жм(z) стремится к 0 равномерно, так что, в частности, 0 является единственной неподвижной точкой и получается путем применения итераций ж.

Существование фиксированной точки для ж следует, отмечая, что это возрастающая последовательность пk такой, что жпk и жп2k + 1п2k оба сходятся равномерно на компактах, к час и грамм соответственно. Это следует потому, что реальные симплектические преобразования граммп можно выбрать так, чтобы часп = граммпжп исправляет 0 с подпоследовательностью граммпсходится именно тогда, когда соответствующая подпоследовательность жп(0) сходится. Поскольку преобразования часп можно записать как часп(z) = апz(1 + бпz)−1 (ап)т, можно выбрать сходящиеся подпоследовательности. По конструкции граммчас = час. Так указывает на изображение час фиксируются грамм. Сейчас же грамм и час либо постоянны, либо имеют вид az(1 + cz)−1ат с последующим реальным симплектическим преобразованием. Поскольку образ час связно, а непостоянная карта имеет только одну фиксированную точку, образ час это одна точка z0, фиксируется грамм. С грамм ездит с ж, ж(z0) также фиксируется грамм и поэтому ж(z0)= z0, так что z0 неподвижная точка ж.[5]

Максимальность симплектической полугруппы Ольшанского

Симплектическая группа действует транзитивно преобразованиями Мёбиуса на комплексных симметрических матрицах с операторной нормой меньше единицы. Открытая полугруппа Ольшанского состоит из преобразований Мёбиуса в комплексной симплектической группе, которые переводят пространственные комплексные симметрические матрицы нормы ≤ 1 в комплексные симметрические матрицы нормы <1. Ее замыкание является максимальной собственной полугруппой в комплексной симплектической группе.

В двух измерениях это следует из общий аргумент из Лоусон (1998) что также применимо в одном измерении. Позволять грамм = SL (2,р) действуют преобразованиями Мёбиуса на продолженной вещественной прямой и пусть ЧАС - открытая полугруппа, состоящая из преобразований, переводящих [–1,1] в (–1,1). Его закрытие - замкнутая полугруппа преобразований, переводящих [–1,1] в себя. Максимальность доказывается, сначала показывая, что любая строго большая полугруппа S содержит элемент грамм отправка |т| <1 на |т| > 1. Ведь если Икс в S но не в , то есть интервал я1 в я = (–1,1) такое, что Икс я1 лежит в [–1,1]c. Тогда для некоторых час в ЧАС, я1 = Здравствуй. по аналогии yxI1 = [–1,1]c для некоторых у в ЧАС. Так грамм = yxh лежит в S и отправляет я на [–1,1]c. Следует, что грамм2 исправления я, так что грамм−1 лежит в S. Если z лежит в ЧАС тогда z грамм я содержит грамм я. Следовательно грамм−1z−1 грамм лежит в . Так z−1 лежит в S и поэтому S содержит открытую окрестность 1. Следовательно S = SL (2,р).[6]

Максимальность может быть выведена для симплектической полугруппы Ольшанского в SL (2,C) из максимальности этой полугруппы в SL (2,р). Достаточно показать, что замкнутая полугруппа содержит SL (2,р), поскольку масштабные преобразования лежат внутри симплектической полугруппы Ольшанского. Таким образом, если их обратные лежат в симплектической полугруппе, она содержит окрестность единицы и, следовательно, всю SL (2,C). Если S является полугруппой, собственно содержащей симплектическую полугруппу, она содержит элемент, несущий замкнутый единичный круг вне себя. Составив до и после композиции с элементами SU (1,1), можно предположить, что элемент грамм из S несет 0 в р > 1. Предварительно составив масштабное преобразование, можно предположить, что грамм переносит замкнутый единичный круг на малую окрестность р. Предварительно составив элемент из SU (1,1), прообраз действительной оси можно принять за диаметр, соединяющий -1 и 1. Но в этом случае грамм должен лежать в SL (2,р). Из результата о максимальности для полугрупп в SL (2,р), S должен содержать SL (2,р) и, следовательно, должно быть всей SL (2,C).[7]

Факторизация Autonne – Takagi утверждает, что для любой сложной симметричной матрицы M, существует унитарная матрица U такой, что УМУт диагональный.[8] ЕслиS является полугруппой, собственно содержащей замыкание полугруппы Ольшанки, то она содержит элемент грамм такой, что z = грамм(0) с 1 <||z|| < ∞.

Действительно, есть вложение из-за Хариш-Чандра пространства сложных симметричных п к п матриц как плотное открытое подмножество компактного грассманиана лангранжева подпространств C2п. Моревоэра это вложение эквивариантно для действия вещественной симплектической группы.[9] Фактически, со стандартным сложным внутренним продуктом на C2п, грассманиан п-мерные подпространства имеет непрерывное транзитивное действие SL (2п,C) и ее максимальная компактная подгруппа SU (2п). Его можно отождествить с пространством ортогонального ранга п проекции, компактное подпространство в M2п(CПринятие координат (z1,...,zп,ш1,...,шп) на C2п, симплектическая форма имеет вид

An п-мерное подпространство U называется лагранжевым, если B исчезает на U. Лагранжевы подпространства образуют замкнутое подмножество грассманиана, на котором комплексная симплектическая группа и унитарная симплектическая группа действуют транзитивно. Это лагранжев грассманиан. Подпространство U0 сформирован из векторов с zя = 0 лагранжево. Множество лангранжева подпространств U для которого ограничение ортогональной проекции на U0 является изоморфизмом, образует открытое плотное подмножество Ω лагранжевого грассманиана. Любое такое подпространство имеет канонический базис, векторы-столбцы которого образуют 2п к п матрица куда Z сложный симметричный п к п матрица и я это п к п единичная матрица. При этом соответствии элементы комплексной симплектической группы, рассматриваемые как блочные матрицы действуют как преобразования Мёбиуса,грамм(Z) = (Аризона + B)(CZ + D)−1. Единичный шар для операторной нормы и его замыкание остаются инвариантными слева относительно соответствующей вещественной формы симплектической группы.

Если элемент грамм комплексной симплектической группы не лежит в замыкании полугруппы Ольшанского, она должна нести некоторую точку W открытого единичного шара в дополнение к его закрытию. Если грамм(W) не лежит в Ω, то образ шарика вокруг W должен содержать точки с в Ω со сколь угодно большой операторной нормой. Предварительная композиция грамм с подходящим элементом в грамм, следует, что Z = грамм(0) будет иметь операторную норму больше 1. Если грамм(W) уже лежит в Ω, он также будет иметь операторную норму больше 1 и W может быть тогда принято равным 0, предварительно составив подходящий элемент грамм.

Предварительное сочинение грамм с масштабным преобразованием и пост-композицией грамм с унитарным преобразованием можно считать, что грамм(0) - диагональная матрица с элементами λя ≥ 0 с р = λ1 > 0 и что изображение единичного шара содержится в маленьком шаре вокруг этой точки. Элементы λя с я ≥ 2 можно отдельно масштабировать по элементам полугруппы Ольшанки так, чтобы λя <1; а затем они могут быть отправлены в 0 элементами грамм лежащие в коммутирующих копиях SU (1,1). Так грамм(0) - диагональная матрица с элементами р, 0, ..., 0, где р > 1.

Смотрите также

Примечания

  1. ^ Видеть:
  2. ^ Видеть:
  3. ^ Видеть:
  4. ^ Эрве 1963, стр. 83–84
  5. ^ Эрве 1963, стр. 83–84
  6. ^ Видеть:
  7. ^ Видеть:
  8. ^ См. Например Сигел 1932, стр. 12, 14–15
  9. ^ Мок 1989, стр. 65–71

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

  • Фолланд, Г. Б. (1989), Гармонический анализ в фазовом пространстве, Анналы математических исследований, 122, Издательство Принстонского университета, ISBN  9780691085289
  • Эрве, М. (1987), Несколько сложных переменных. Локальная теория, Институт фундаментальных исследований в области математики им. Тата, 1 (2-е изд.), Oxford University Press, ISBN  9780195618884
  • Хильгерт, Иоахим; Хофманн, Карл Генрих; Лоусон, Джимми Д. (1989), Группы Ли, выпуклые конусы и полугруппы, Oxford Mathematical Monographs, Oxford University Press, ISBN  0-19-853569-4
  • Хильгерт, Иоахим; Neeb, Карл-Германн (1993), Полугруппы Ли и их приложения, Конспект лекций по математике, 1552, Springer-Verlag, ISBN  3540569545
  • Хау, Р. (1988), "Полугруппа" Осциллятор ", Труды симпозиумов по чистой математике, Американское математическое общество, 48: 61–132, Дои:10.1090 / pspum / 048/974332, ISBN  9780821814826
  • Kumaresan, S .; Ранджан, A. (1982), "Об инвариантных выпуклых конусах в простых алгебрах Ли", Proc. Индийский акад. Sci. Математика. Sci., 91 (3): 167–182, Дои:10.1007 / bf02881028, S2CID  120478994
  • Лоусон, Дж. Д. (1994), «Максимальные полугруппы Ольшанского» (PDF), Журнал теории лжи, 4 (1): 17–29, CiteSeerX  10.1.1.46.969
  • Лоусон, Дж. Д. (1998), "Полугруппы в Мёбиусе и лоренцевой геометрии", Геом. Dedicata, 70 (2): 139–180, Дои:10.1023 / А: 1004906126006, S2CID  116687780
  • Мок, Нгаиминг (1989), Метрические теоремы о жесткости на эрмитовых локально симметричных многообразиях, World Scientific, ISBN  9971-5-0802-8
  • Ольшанский Г.И. (1981), "Инвариантные конусы в алгебрах Ли, полугруппы Ли и голоморфные дискретные серии", Функц. Анальный. Appl., 15 (4): 275–285, Дои:10.1007 / bf01106156, S2CID  121254166
  • Панейтц, Стивен М. (1981), "Инвариантные выпуклые конусы и причинность в полупростых алгебрах и группах Ли", J. Funct. Анальный., 43 (3): 313–359, Дои:10.1016/0022-1236(81)90021-5
  • Панейтц, Стивен М. (1983), "Определение инвариантных выпуклых конусов в простых алгебрах Ли", Арк. Мат., 21 (1–2): 217–228, Bibcode:1983ArM .... 21..217P, Дои:10.1007 / bf02384311
  • Сигель, Карл Людвиг (1943), «Симплектическая геометрия», Американский журнал математики, 65 (1): 1–86, Дои:10.2307/2371774, JSTOR  2371774
  • Винберг, Э. Б. (1980), "Инвариантные выпуклые конусы и упорядочения в группах Ли", Funct. Анальный. Appl., 14: 1–10, Дои:10.1007 / BF01078407, S2CID  124032779
  • Вольф, Джозеф А. (1972), "Тонкая структура эрмитовых симметрических пространств", в Boothby, William; Вайс, Гвидо (ред.), Симметричные пространства (Краткие курсы, Вашингтонский университет), Чистая и прикладная математика, 8, Dekker, стр. 271–357, ISBN  0608305685