Линейная сложная структура - Linear complex structure

В математика, а сложная структура на реальное векторное пространство V является автоморфизм из V что квадраты к минусу личность, −I. Такая структура на V позволяет определить умножение на комплексные скаляры каноническим образом с учетом V как комплексное векторное пространство.

Каждое комплексное векторное пространство может быть оснащено совместимой сложной структурой, однако в целом канонической такой структуры не существует. Сложные конструкции находят применение в теория представлений а также в сложная геометрия где они играют важную роль в определении почти комплексные многообразия, в отличие от комплексные многообразия. Термин «сложная структура» часто относится к этой структуре на коллекторах; когда он вместо этого ссылается на структуру в векторных пространствах, его можно назвать линейная сложная структура.

Определение и свойства

А сложная структура на реальное векторное пространство V настоящий линейное преобразование

${\displaystyle J:V\rightarrow V}$

такой, что

${\displaystyle J^{2}=-{\rm {{Id}_{V}.}}}$

Здесь J² средства J составлен с собой и Идентификатор_V это карта идентичности на V. То есть эффект от применения J дважды - это то же самое, что умножение на −1. Это напоминает умножение на мнимая единица, я. Сложная структура позволяет жертвовать V со структурой комплексное векторное пространство. Комплексное скалярное умножение можно определить как

${\displaystyle (x+iy)v=xv+yJ(v)}$

для всех действительных чисел Икс,у и все векторы v в V. Можно проверить, что это действительно дает V структура комплексного векторного пространства, которое мы обозначим V_J.

Идя в другом направлении, если начать со сложного векторного пространства W тогда можно определить сложную структуру в нижележащем реальном пространстве, определив Jw = iw для всех ш ∈ W.

Более формально, линейная комплексная структура в реальном векторном пространстве - это представление алгебры из сложные числа C, задуманный как ассоциативная алгебра над действительные числа. Эта алгебра конкретно реализуется как

${\displaystyle \mathbf {C} =\mathbf {R} [x]/(x^{2}+1),}$

что соответствует я² = −1. Тогда представление C это реальное векторное пространство Vвместе с действием C на V (карта C → Конец (V)). Конкретно это просто действие я, поскольку это порождает алгебру, а оператор, представляющий я (изображение я в Конец(V)) точно J.

Если V_J имеет сложный измерение п тогда V должен иметь реальное измерение 2п. То есть конечномерное пространство V допускает сложную структуру, только если она четномерна. Нетрудно увидеть, что каждое четномерное векторное пространство допускает сложную структуру. Можно определить J на парах е,ж из основа векторов Je = ж и Jf = −е а затем продолжить по линейности на все V. Если (v₁, …, v_п) является базисом комплексного векторного пространства V_J тогда (v₁, СП₁, …, v_п, СП_п) это основа для лежащего в основе реального пространства V.

Настоящее линейное преобразование А : V → V это сложный линейное преобразование соответствующего комплексного пространства V_J если и только если А ездит с J, т.е. тогда и только тогда, когда

${\displaystyle AJ=JA.}$

Точно так же настоящий подпространство U из V является комплексным подпространством V_J если и только если J сохраняет U, т.е. тогда и только тогда, когда

${\displaystyle JU=U.}$

Примеры

C^п

Основным примером линейной сложной структуры является структура на р^2п исходящий из сложной структуры на C^п. То есть сложный п-мерное пространство C^п также настоящий 2п-мерное пространство - с использованием того же сложения векторов и действительного скалярного умножения - при умножении на комплексное число я это не только сложный линейное преобразование пространства, рассматриваемое как сложное векторное пространство, но также настоящий линейное преобразование пространства, рассматриваемого как реальное векторное пространство. Конкретно это потому, что скалярное умножение на я коммутирует со скалярным умножением на действительные числа ${\displaystyle \qquad i(\lambda v)=(i\lambda )v=(\lambda i)v=\lambda (iv)\qquad }$ - и распределяет по векторному сложению. Как комплекс п×п матрица, это просто скалярная матрица с я по диагонали. Соответствующее действительное 2п×2п матрица обозначается J.

Учитывая основу ${\displaystyle \left\{e_{1},e_{2},\dots ,e_{n}\right\}}$ для комплексного пространства этот набор вместе с этими векторами, умноженными на я, а именно ${\displaystyle \left\{ie_{1},ie_{2},\dots ,ie_{n}\right\},}$ составляют основу реального пространства. Есть два естественных способа упорядочить этот базис, в зависимости от того, записывают ли тензорное произведение как ${\displaystyle \mathbf {C} ^{n}=\mathbf {R} ^{n}\otimes _{\mathbf {R} }\mathbf {C} }$ или вместо этого как ${\displaystyle \mathbf {C} ^{n}=\mathbf {C} \otimes _{\mathbf {R} }\mathbf {R} ^{n}.}$

Если заказать основу как ${\displaystyle \left\{e_{1},ie_{1},e_{2},ie_{2},\dots ,e_{n},ie_{n}\right\},}$ тогда матрица для J берет диагональ блока форма (добавлены нижние индексы для обозначения размера):

${\displaystyle J_{2n}={\begin{bmatrix}0&-1\\1&0\\&&0&-1\\&&1&0\\&&&&\ddots \\&&&&&\ddots \\&&&&&&0&-1\\&&&&&&1&0\end{bmatrix}}={\begin{bmatrix}J_{2}\\&J_{2}\\&&\ddots \\&&&J_{2}\end{bmatrix}}.}$

Такой порядок имеет то преимущество, что учитывает прямые суммы сложных векторных пространств, что означает, что здесь базис для ${\displaystyle \mathbf {C} ^{m}\oplus \mathbf {C} ^{n}}$ то же самое, что и для ${\displaystyle \mathbf {C} ^{m+n}.}$

С другой стороны, если упорядочить базис как ${\displaystyle \left\{e_{1},e_{2},\dots ,e_{n},ie_{1},ie_{2},\dots ,ie_{n}\right\},}$ тогда матрица для J блочно-антидиагональный:

${\displaystyle J_{2n}={\begin{bmatrix}0&-I_{n}\\I_{n}&0\end{bmatrix}}.}$

Этот порядок более естественен, если рассматривать реальное пространство как прямая сумма реальных пространств, как описано ниже.

Данные реального векторного пространства и J Матрица точно такая же, как данные комплексного векторного пространства, поскольку J матрица позволяет определить комплексное умножение. На уровне Алгебры Ли и Группы Ли, это соответствует включению gl (п,C) в gl (2п,р) (Алгебры Ли - матрицы, не обязательно обратимые) и GL (п,C) в GL (2п,р):

gl (п,C) 2n,р) и GL (п,C) 2n,р).

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

GL (п,C) = ${\displaystyle \left\{A\in GL(2n,\mathbf {R} )\mid AJ=JA\right\}.}$

Соответствующее утверждение об алгебрах Ли состоит в том, что подалгебра gl (п,C) комплексных матриц - те, у которых Кронштейн лжи с J исчезает, что означает ${\displaystyle [J,A]=0;}$ другими словами, как ядро ​​карты брекетинга с J, ${\displaystyle [J,-].}$

Обратите внимание, что определяющие уравнения для этих утверждений такие же, как ${\displaystyle AJ=JA}$ такой же как ${\displaystyle AJ-JA=0,}$ который совпадает с ${\displaystyle [A,J]=0,}$ хотя смысл исчезновения скобки Ли не столь очевиден с геометрической точки зрения, как смысл коммутации.

Прямая сумма

Если V в любом вещественном векторном пространстве существует каноническая комплексная структура на прямая сумма V ⊕ V данный

${\displaystyle J(v,w)=(-w,v).\,}$

В блочная матрица форма J является

${\displaystyle J={\begin{bmatrix}0&-I_{V}\\I_{V}&0\end{bmatrix}}}$

куда ${\displaystyle I_{V}}$ тождественная карта на V. Это соответствует сложной структуре на тензорном произведении ${\displaystyle \mathbf {C} \otimes _{\mathbf {R} }V.}$

Совместимость с другими конструкциями

Если B это билинейная форма на V тогда мы говорим, что J сохраняет B если

${\displaystyle B(Ju,Jv)=B(u,v)}$

для всех ты, v ∈ V. Эквивалентная характеристика: J является косо-сопряженный относительно B:

${\displaystyle B(Ju,v)=-B(u,Jv)}$

Если грамм является внутренний продукт на V тогда J сохраняет грамм если и только если J является ортогональное преобразование. Так же, J сохраняет невырожденный, кососимметричный форма ω если и только если J это симплектическое преобразование (то есть, если ω (Ju, СП) = ω (ты, v)). Для симплектических форм ω обычно существует дополнительное ограничение совместимости между J и ω, а именно

${\displaystyle \omega (u,Ju)>0}$

для всех ненулевых ты в V. Если это условие выполняется, то J говорят приручить ω.

Учитывая симплектическую форму ω и линейная сложная структура J, можно определить ассоциированную симметричную билинейную форму грамм_J на V_J

${\displaystyle g_{J}(u,v)=\omega (u,Jv)}$.

Потому что симплектическая форма невырождена, так же как и ассоциированная билинейная форма. Более того, ассоциированная форма сохраняется J тогда и только тогда, когда симплектическая форма есть, и если ω приручен J тогда ассоциированная форма положительно определенный. Таким образом, в этом случае ассоциированная форма является Эрмитова форма и V_J является внутреннее пространство продукта.

Отношение к сложностям

Учитывая любое реальное векторное пространство V мы можем определить его комплексирование к расширение скаляров:

${\displaystyle V^{\mathbb {C} }=V\otimes _{\mathbb {R} }\mathbb {C} .}$

Это комплексное векторное пространство, комплексная размерность которого равна реальной размерности V. Имеет канонический комплексное сопряжение определяется

${\displaystyle {\overline {v\otimes z}}=v\otimes {\bar {z}}}$

Если J это сложная структура на V, мы можем продлить J по линейности V^C:

${\displaystyle J(v\otimes z)=J(v)\otimes z.}$

С C является алгебраически замкнутый, J гарантированно будет собственные значения которые удовлетворяют λ² = −1, а именно λ = ±я. Таким образом, мы можем написать

${\displaystyle V^{\mathbb {C} }=V^{+}\oplus V^{-}}$

куда V⁺ и V⁻ являются собственные подпространства из +я и -я, соответственно. Перестановки комплексного сопряжения V⁺ и V⁻. Проекция отображается на V^± собственные подпространства даются

${\displaystyle {\mathcal {P}}^{\pm }={1 \over 2}(1\mp iJ).}$

Так что

${\displaystyle V^{\pm }=\{v\otimes 1\mp Jv\otimes i:v\in V\}.}$

Существует естественный комплексный линейный изоморфизм между V_J и V⁺, поэтому эти векторные пространства можно считать одинаковыми, а V⁻ можно рассматривать как комплексно сопряженный из V_J.

Обратите внимание, что если V_J имеет сложное измерение п тогда оба V⁺ и V⁻ иметь сложное измерение п пока V^C имеет комплексное измерение 2п.

Абстрактно, если начать со сложного векторного пространства W и беря комплексификацию основного реального пространства, мы получаем пространство, изоморфное прямой сумме W и его конъюгат:

${\displaystyle W^{\mathbb {C} }\cong W\oplus {\overline {W}}.}$

Расширение на связанные векторные пространства

Позволять V быть реальным векторным пространством со сложной структурой J. В двойное пространство V* имеет природную сложную структуру J* дается двойным (или транспонировать ) из J. Комплексификация двойственного пространства (V*)^C поэтому имеет естественное разложение

${\displaystyle (V^{*})^{\mathbb {C} }=(V^{*})^{+}\oplus (V^{*})^{-}}$

в ±я собственные подпространства J*. При естественном отождествлении (V*)^C с (V^C) * можно охарактеризовать (V*)⁺ как те комплексные линейные функционалы, которые обращаются в нуль на V⁻. Так же (V*)⁻ состоит из тех комплексных линейных функционалов, которые обращаются в нуль на V⁺.

Комплекс) тензор, симметричный, и внешние алгебры над V^C также допускают разложения. Внешняя алгебра, пожалуй, самое важное применение этого разложения. В общем, если векторное пространство U допускает разложение U = S ⊕ Т тогда внешние силы U можно разложить следующим образом:

${\displaystyle \Lambda ^{r}U=\bigoplus _{p+q=r}(\Lambda ^{p}S)\otimes (\Lambda ^{q}T).}$

Сложная структура J на V поэтому индуцирует разложение

${\displaystyle \Lambda ^{r}\,V^{\mathbb {C} }=\bigoplus _{p+q=r}\Lambda ^{p,q}\,V_{J}}$

куда

${\displaystyle \Lambda ^{p,q}\,V_{J}\;{\stackrel {\mathrm {def} }{=}}\,(\Lambda ^{p}\,V^{+})\otimes (\Lambda ^{q}\,V^{-}).}$

Все внешние силы взяты на комплексные числа. Так что если V_J имеет сложное измерение п (реальное измерение 2п) тогда

${\displaystyle \dim _{\mathbb {C} }\Lambda ^{r}\,V^{\mathbb {C} }={2n \choose r}\qquad \dim _{\mathbb {C} }\Lambda ^{p,q}\,V_{J}={n \choose p}{n \choose q}.}$

Размеры складываются правильно вследствие Личность Вандермонда.

Пространство (п,q) -формы Λ^п,q V_J* - это пространство (комплекс) полилинейные формы на V^C которые обращаются в нуль на однородных элементах, если п из V⁺ и q из V⁻. Также можно рассматривать Λ^п,q V_J* как пространство реального многолинейные карты из V_J к C комплексные линейные по п сроки и сопряженно-линейный в q термины.

Видеть комплексная дифференциальная форма и почти комплексное многообразие для применения этих идей.

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

• Почти комплексное многообразие
• Комплексное многообразие
• Комплексная дифференциальная форма
• Комплексно сопряженное векторное пространство
• Эрмитова структура
• Реальная структура

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

• Кобаяси С. и Номидзу К., Основы дифференциальной геометрии, John Wiley & Sons, 1969. ISBN  0-470-49648-7. (сложные структуры обсуждаются в томе II, главе IX, разделе 1).
• Будинич П., Траутман А. Спинориальная шахматная доска, Springer-Verlag, 1988. ISBN  0-387-19078-3. (сложные конструкции обсуждаются в разделе 3.1).
• Гольдберг С.И., Кривизна и гомологии, Dover Publications, 1982. ISBN  0-486-64314-X. (сложные структуры и почти комплексные многообразия обсуждаются в разделе 5.2).