Конформная группа

В математике конформная группа пространства внутреннего продукта — это группа преобразований пространства в себя, сохраняющих углы. Более формально, это группа преобразований, сохраняющих конформную геометрию пространства.

Несколько конкретных конформных групп особенно важны:

Конформно- ортогональная группа . Если V — векторное пространство с квадратичной формой Q , то конформная ортогональная группа CO( V , Q ) — это группа линейных преобразований T , для которых V существует скаляр λ такой, что для всех x в V
$Q(Tx)=\lambda ^{2}Q(x)$

Для определенной квадратичной формы конформная ортогональная группа равна произведению ортогональной группы на группу расширений .

Конформная группа сферы порождается инверсиями окружностей . Эта группа также известна как группа Мёбиуса .
В евклидовом пространстве E ^н, n > 2 , конформная группа порождается инверсиями в гиперсферах .
В псевдоевклидовом пространстве E ^{п , д}, конформная группа — это Conf( p , q ) ≃ O( p + 1, q + 1)/Z ₂ . ^[1]

Все конформные группы являются группами Ли .

Угловой анализ [ править ]

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

Метод создания подходящей конформной группы состоит в том, чтобы имитировать шаги группы Мёбиуса как конформной группы обычной комплексной плоскости . Псевдоевклидова геометрия поддерживается альтернативными комплексными плоскостями, где точки представляют собой расщепленные комплексные числа или двойственные числа . Точно так же, как группа Мёбиуса требует для полного описания сферы Римана , компактного пространства , альтернативные комплексные плоскости требуют компактификации для полного описания конформного отображения. Тем не менее конформная группа в каждом случае задается дробно-линейными преобразованиями на соответствующей плоскости. ^[2]

Математическое определение [ править ]

Учитывая ( псевдо- ) риманово многообразие . $M$ с конформным классом $[g]$ , конформная группа ${\text{Conf}}(M)$ — группа конформных отображений из $M$ самому себе.

Более конкретно, это группа гладких карт, сохраняющих угол, из $M$ самому себе. Однако когда подпись $[g]$ не определен, «угол» — это гиперугол , который потенциально бесконечен.

Для псевдоевклидова пространства определение немного другое. ^[3] ${\text{Conf}}(p,q)$ — конформная группа многообразия, возникающая в результате конформной компактификации псевдоевклидова пространства. $\mathbf {E} ^{p,q}$ (иногда отождествляется с $\mathbb {R} ^{p,q}$ после выбора ортонормированного базиса ). Эту конформную компактификацию можно определить с помощью $S^{p}\times S^{q}$ , рассматриваемый как подмногообразие нулевых точек в $\mathbb {R} ^{p+1,q+1}$ путем включения $(\mathbf {x} ,\mathbf {t} )\mapsto X=(\mathbf {x} ,\mathbf {t} )$ (где $X$ рассматривается как единый вектор пространства-времени). Тогда конформная компактификация $S^{p}\times S^{q}$ с выявленными «антиподальными точками». Это происходит за счет проективизации ^{[ проверьте орфографию ]} пространство $\mathbb {R} ^{p+1,q+1}$ . Если $N^{p,q}$ – конформная компактификация, то ${\text{Conf}}(p,q):={\text{Conf}}(N^{p,q})$ . В частности, к этой группе инверсии относятся $\mathbb {R} ^{p,q}$ , который не является картой из $\mathbb {R} ^{p,q}$ самому себе, поскольку он отображает начало координат в бесконечность и отображает бесконечность в начало координат.

Conf(p,q) [ править ]

Для псевдоевклидова пространства $\mathbb {R} ^{p,q}$ алгебра Ли конформной группы задается базисом $\{M_{\mu \nu },P_{\mu },K_{\mu },D\}$ со следующими коммутационными соотношениями: ^[4]

{\begin{aligned}&[D,K_{\mu }]=-iK_{\mu }\,,\\&[D,P_{\mu }]=iP_{\mu }\,,\\&[K_{\mu },P_{\nu }]=2i(\eta _{\mu \nu }D-M_{\mu \nu })\,,\\&[K_{\mu },M_{\nu \rho }]=i(\eta _{\mu \nu }K_{\rho }-\eta _{\mu \rho }K_{\nu })\,,\\&[P_{\rho },M_{\mu \nu }]=i(\eta _{\rho \mu }P_{\nu }-\eta _{\rho \nu }P_{\mu })\,,\\&[M_{\mu \nu },M_{\rho \sigma }]=i(\eta _{\nu \rho }M_{\mu \sigma }+\eta _{\mu \sigma }M_{\nu \rho }-\eta _{\mu \rho }M_{\nu \sigma }-\eta _{\nu \sigma }M_{\mu \rho })\,,\end{aligned}}

и при этом все остальные скобки исчезают. Здесь

\eta _{\mu \nu }

– метрика Минковского .

Фактически, эта алгебра Ли изоморфна алгебре Ли группы Лоренца с еще одним пространственным и еще одним временным измерением, т. е. ${\mathfrak {conf}}(p,q)\cong {\mathfrak {so}}(p+1,q+1)$ . Можно легко проверить соответствие размеров. Чтобы продемонстрировать явный изоморфизм, определите

{\begin{aligned}&J_{\mu \nu }=M_{\mu \nu }\,,\\&J_{-1,\mu }={\frac {1}{2}}(P_{\mu }-K_{\mu })\,,\\&J_{0,\mu }={\frac {1}{2}}(P_{\mu }+K_{\mu })\,,\\&J_{-1,0}=D.\end{aligned}}

Тогда можно показать, что генераторы

J_{ab}

с

a,b=-1,0,\cdots ,n=p+q

подчиняются соотношениям алгебры Лоренца с метрикой

{\tilde {\eta }}_{ab}=\operatorname {diag} (-1,+1,-1,\cdots ,-1,+1,\cdots ,+1)

.

группа в двух измерениях пространства времени - Конформная

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

Для измерения пространства-времени $n>2$ , все локальные конформные симметрии распространяются на глобальные симметрии. Для $n=2$ Евклидово пространство после перехода к комплексной координате $z=x+iy$ локальные конформные симметрии описываются бесконечномерным пространством векторных полей вида

l_{n}=-z^{n+1}\partial _{z}.

Следовательно, локальные конформные симметрии двумерного евклидова пространства представляют собой бесконечномерную алгебру Витта .

Конформная группа пространства-времени [ править ]

В 1908 году Гарри Бейтман и Эбенезер Каннингем , два молодых исследователя из Ливерпульского университета , выдвинули идею конформной группы пространства-времени. ^[5]^[6]^[7] Они утверждали, что кинематические группы по необходимости конформны, поскольку сохраняют квадратичную форму пространства-времени и подобны ортогональным преобразованиям , хотя и относительно изотропной квадратичной формы . Свободы электромагнитного поля не ограничиваются кинематическими движениями, а должны быть только локально пропорциональны преобразованию, сохраняющему квадратичную форму. В статье Гарри Бейтмана 1910 года изучалась матрица Якоби преобразования, сохраняющего световой конус , и было показано, что она обладает конформным свойством (пропорциональным сохранению формы). ^[8] Бейтман и Каннингем показали, что эта конформная группа представляет собой «самую большую группу преобразований, оставляющих уравнения Максвелла структурно инвариантными». ^[9] Конформная группа пространства-времени обозначена $C(1,3)$ ^[10]

Исаак Яглом внес вклад в математику конформных преобразований пространства-времени в расщепленных комплексных и двойственных числах . ^[11] Поскольку расщепляемые комплексные числа и двойственные числа образуют кольца , а не поля , дробно-линейные преобразования требуют, чтобы проективная линия над кольцом была биективным отображением.

в 1914 году стало традиционным Со времен работы Людвика Зильберштейна использовать кольцо бикватернионов для представления группы Лоренца . Для конформной группы пространства-времени достаточно рассмотреть дробно-линейные преобразования на проективной прямой над этим кольцом. Элементы конформной группы пространства-времени назвал сферическими волновыми преобразованиями Бейтман . Детали изучения квадратичной формы пространства-времени были включены в геометрию сферы Ли .

Комментируя продолжающийся интерес к физической науке, А.О. Барут писал в 1985 году: «Одна из основных причин интереса к конформной группе заключается в том, что она, возможно, является самой важной из более крупных групп, содержащих группу Пуанкаре ». ^[12]

См. также [ править ]

Ссылки [ править ]

^ Джейме Ваз-младший; Ролдан да Роча-младший (2016). Введение в алгебры и спиноры Клиффорда . Издательство Оксфордского университета. п. 140. ИСБН 9780191085789 .
^ Цурусабуро Такасу (1941) «Общее рассмотрение эллиптической конформной, гиперболической конформной и параболической конформной дифференциальной геометрии», 2 , Proceedings of the Imperial Academy 17 (8): 330–8, ссылка из Project Euclid , MR 14282
^ Шоттенлохер, Мартин (2008). Математическое введение в конформную теорию поля (PDF) . Springer Science & Business Media. п. 23. ISBN 978-3540686255 .
^ Ди Франческо, Филипп; Матье, Пьер; Сенешаль, Дэвид (1997). Конформная теория поля . Нью-Йорк: Спрингер. ISBN 9780387947853 .
^ Бейтман, Гарри (1908). «Конформные преобразования четырехмерного пространства и их приложения к геометрической оптике» . Труды Лондонского математического общества . 7 : 70–89. дои : 10.1112/plms/s2-7.1.70 .
^ Бейтман, Гарри (1910). «Преобразование электродинамических уравнений» . Труды Лондонского математического общества . 8 : 223–264. дои : 10.1112/plms/s2-8.1.223 .
^ Каннингем, Эбенезер (1910). «Принцип относительности в электродинамике и его расширение» . Труды Лондонского математического общества . 8 : 77–98. дои : 10.1112/plms/s2-8.1.77 .
^ Уорик, Эндрю (2003). Магистр теории: Кембридж и возникновение математической физики . Чикаго: Издательство Чикагского университета . стр. 416–24 . ISBN 0-226-87375-7 .
^ Роберт Гилмор (1994) [1974] Группы Ли, алгебры Ли и некоторые их приложения , страница 349, Robert E. Krieger Publishing ISBN 0-89464-759-8 МР 1275599
^ Борис Косяков (2007) Введение в классическую теорию частиц и полей , страница 216, книги Springer через Google Книги
^ Исаак Яглом (1979) Простая неевклидова геометрия и ее физическая основа , Springer, ISBN 0387-90332-1 , МР 520230
^ АО Барут и Х.-Д. Дёбнер (1985) Конформные группы и родственные симметрии: физические результаты и математические основы , Конспекты лекций по физике № 261, книги Springer , цитаты см. в предисловии.

Дальнейшее чтение [ править ]

Кобаяши, С. (1972). Группы преобразований в дифференциальной геометрии . Классика по математике. Спрингер. ISBN 3-540-58659-8 . OCLC 31374337 .
Шарп, RW (1997), Дифференциальная геометрия: обобщение Картана программы Эрлангена Кляйна , Springer-Verlag, Нью-Йорк, ISBN 0-387-94732-9 .
Питер Шерк (1960) «Некоторые концепции конформной геометрии», American Mathematical Monthly 67 (1): 1–30 дои : 10.2307/2308920
Мартин Шоттенлохер, Конформная группа, глава 2 Математического введения в конформную теорию поля, 2008 г. ( pdf )
Конформная группа в nLab

[1] Джейме Ваз-младший; Ролдан да Роча-младший (2016). Введение в алгебры и спиноры Клиффорда . Издательство Оксфордского университета. п. 140. ИСБН 9780191085789 .

[2] Цурусабуро Такасу (1941) «Общее рассмотрение эллиптической конформной, гиперболической конформной и параболической конформной дифференциальной геометрии», 2 , Proceedings of the Imperial Academy 17 (8): 330–8, ссылка из Project Euclid , MR 14282

[3] Шоттенлохер, Мартин (2008). Математическое введение в конформную теорию поля (PDF) . Springer Science & Business Media. п. 23. ISBN 978-3540686255 .

[cft-4] Ди Франческо, Филипп; Матье, Пьер; Сенешаль, Дэвид (1997). Конформная теория поля . Нью-Йорк: Спрингер. ISBN 9780387947853 .

[5] Бейтман, Гарри (1908). «Конформные преобразования четырехмерного пространства и их приложения к геометрической оптике» . Труды Лондонского математического общества . 7 : 70–89. дои : 10.1112/plms/s2-7.1.70 .

[6] Бейтман, Гарри (1910). «Преобразование электродинамических уравнений» . Труды Лондонского математического общества . 8 : 223–264. дои : 10.1112/plms/s2-8.1.223 .

[7] Каннингем, Эбенезер (1910). «Принцип относительности в электродинамике и его расширение» . Труды Лондонского математического общества . 8 : 77–98. дои : 10.1112/plms/s2-8.1.77 .

[8] Уорик, Эндрю (2003). Магистр теории: Кембридж и возникновение математической физики . Чикаго: Издательство Чикагского университета . стр. 416–24 . ISBN 0-226-87375-7 .

[9] Роберт Гилмор (1994) [1974] Группы Ли, алгебры Ли и некоторые их приложения , страница 349, Robert E. Krieger Publishing ISBN 0-89464-759-8 МР 1275599

[10] Борис Косяков (2007) Введение в классическую теорию частиц и полей , страница 216, книги Springer через Google Книги

[11] Исаак Яглом (1979) Простая неевклидова геометрия и ее физическая основа , Springer, ISBN 0387-90332-1 , МР 520230

[12] АО Барут и Х.-Д. Дёбнер (1985) Конформные группы и родственные симметрии: физические результаты и математические основы , Конспекты лекций по физике № 261, книги Springer , цитаты см. в предисловии.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]