Тор Клиффорда

Тор Клиффорда — это простейшее и наиболее симметричное вложение в евклидово пространство прямого произведения двух окружностей $S_{a}^{1}$ и $S_{b}^{1}$ . Он располагается в R⁴, а не в R³. Чтобы видеть, почему требуется R⁴, заметим, что если $S_{a}^{1}$ и $S_{b}^{1}$ лежат в их собственных независимых пространствах вложения $\mathbf {R} _{a}^{2}$ и $\mathbf {R} _{b}^{2}$ , результирующее пространство произведения будет R⁴, а не R³. Исторически популярное рассмотрение прямого произведения двух окружностей как тора в R³, в качестве контраста, требует довольно высокой асимметрии оператора вращения для второй окружности, поскольку окружность имеет только одну независимую ось z, в то время как для первой окружности имеется две оси — x и y.

Вращающаяся стереографическая проекция тора Клиффорда

Топологически прямоугольник является фундаментальным многоугольником тора, со склеенными противоположными краями.

Говоря иначе, тор в R³ является асимметричной проекцией с уменьшением размерности тора Клиффорда максимальной симметрии в R⁴. Связь похожа на проекцию рёбер куба на лист бумаги. Такая проекция создаёт образ меньшей размерности, который аккуратно показывает связь рёбер куба, но требует также удаления произвольно выбранной одной из трёх осей симметрии куба.

Если каждая из окружностей $S_{a}^{1}$ и $S_{b}^{1}$ имеет радиус ${\sqrt {1/2}}$ , их произведение в виде тора Клиффорда прекрасно размещается на 3-сфере S³, которая является 3-мерным подмногообразием R⁴. Тор Клиффорда можно рассматривать как располагающийся в комплексном координатном пространстве C², поскольку пространство C² топологически эквивалентно R⁴.

Тор Клиффорда является примером квадратного тора, поскольку он изометричен квадрату с отождествлёнными противоположными сторонами. Он известен как евклидов 2-тор (здесь «2» — топологическая размерность). Фигуры, нарисованные на нём, подчиняются евклидовой геометрии как если бы он был плоским, в то время как поверхность тора в виде «пончика» имеет положительную кривизну по внешнему ободу и отрицательную по внутреннему. Хотя квадратный тор имеет отличную от стандартного вложения в евклидово пространство геометрию, согласно теореме Нэша о вложениях, его можно вложить в трёхмерное пространство. Одно такое вложение модифицирует стандартный тор фрактальным множеством волн, пробегающих в двух перпендикулярных направлениях вдоль поверхности[1].

Формальное определение

Единичная окружность S¹ в R² может быть параметризована угловым значением:

S^{1}=\{(\cos {\theta },\sin {\theta })\,|\,0\leqslant \theta <2\pi \}.

В другой копии R² будет другая копия единичной окружности

S^{1}=\{(\cos {\phi },\sin {\phi })\,|\,0\leqslant \phi <2\pi \}.

Тогда тор Клиффорда задаётся уравнением

({\sqrt {1/2}})S^{1}\times ({\sqrt {1/2}})S^{1}=\{{\sqrt {1/2}}(\cos {\theta },\sin {\theta },\cos {\phi },\sin {\phi })\,|\,0\leqslant \theta <2\pi ,0\leqslant \phi <2\pi \}.

Поскольку каждая копия S¹ является вложенным подмногообразием R², тор Клиффорда является вложением тора в $\mathbf {R} ^{2}\times \mathbf {R} ^{2}=\mathbf {R} ^{4}$ .

Если в R⁴ используются координаты $(x_{1},y_{1},x_{2},y_{2})$ , то тор Клиффорда задаётся уравнением

x_{1}^{2}+y_{1}^{2}=1/2=x_{2}^{2}+y_{2}^{2}.\,

.

Это показывает, что в R⁴ тор Клиффорда является подмногообразием единичной 3-сферы S³.

Легко проверить, что тор Клиффорда является минимальной поверхностью в S³.

Альтернативный вывод, использующий комплексные числа

Обычно рассматривают также тор Клиффорда как вложение тора в C². В двух копиях C мы имеем следующие единичные окружности (также параметризованные углом):

S^{1}=\{e^{i\theta }\,|\,0\leqslant \theta <2\pi \}

и

S^{1}=\{e^{i\phi }\,|\,0\leqslant \phi <2\pi \}.

Теперь тор Клиффорда задаётся уравнением

({\sqrt {1/2}})S^{1}\times ({\sqrt {1/2}})S^{1}=\{{\sqrt {1/2}}(e^{i\theta },e^{i\phi })\,|\,0\leqslant \theta <2\pi ,0\leqslant \phi <2\pi \}.

Как и прежде, это является вложенным подмногообразием в единичную сферу S³ в C².

Если C², используем координаты (z₁, z₂), то тор Клиффорда задаётся уравнением

\left|z_{1}\right|^{2}=1/2=\left|z_{2}\right|^{2}.

В торе Клиффорда, определённого выше, расстояние от любой точки тора Клиффорда до начала координат C² равно

{\sqrt {\left|e^{i\theta }\right|^{2}+\left|e^{i\phi }\right|^{2}}}=1.

Множество всех точек на расстоянии 1 от начала координат C² — это 3-сфера, так что тор Клиффорда располагается внутри этой 3-сферы. Фактически, тор Клиффорда делит эту 3-сферу на два конгруэнтных полных тора. (См. «Разбиение Хегора»[2].)

Поскольку O(4) действует на R⁴ как ортогональные преобразования, мы можем переместить «стандартный» тор Клиффорда, определённый выше, в другой эквивалентный тор с помощью вращений твёрдого тела. Все они называются «торами Клиффорда». Шестимерная группа O(4) действует транзитивно в пространстве всех таких торов Клиффорда, находящихся внутри 3-сферы. Однако это действие имеет двумерный стабилизатор (см. «Действие группы»), поскольку вращение в меридианном и долготном направлениях тора сохраняет тор (в противоположность к переходу к другому тору). Таким образом, имеется четырёхмерное пространство торов Клиффорда[2]. Фактически, существует один-к-одному соответствие между торами Клиффорда на единичной 3-сфере и парами полярных больших окружностей. Если дан тор Клиффорда, ассоциированные полярные большие окружности являются первичными окружностями каждой из двух комплементарных областей. Обратно, если дана любая пара полярных больших окружностей, ассоциированный тор Клиффорда — это место точек на 3-сфере, которые находятся на одинаковом расстоянии от двух окружностей.

Более общее определение торов Клиффорда

Плоские торы единичной 3-сферы S³, которая является произведением окружностей радиуса =r в одной 2-плоскости R² и радиуса $={\sqrt {1-r^{2}}}$ в другой 2-плоскости R² иногда также называются «торами Клиффорда».

Те же окружности можно рассматривать как имеющие радиусы, равные $cos(\theta )$ и $sin(\theta )$ для некоторого угла $\theta$ θ в пределах $0\leqslant \theta \leqslant \pi /2$ (где мы включаем вырожденные случаи $\theta =0$ и $\theta =\pi /2$ ).

Для объединения $0\leqslant \theta \leqslant \pi /2$ всех таких торов вида

$T_{\theta }=S(\cos \theta )\times S(\sin \theta )$

(где S(r) означает окружность на плоскости R², имеющую центр =(0,0) и радиус =r) является 3-сферой S³. (Заметим, что мы должны включить два вырожденных случая $\theta =0$ и $\theta =\pi /2$ , каждый из которых соответствует большой окружности S³ и которые вместе образуют пару больших окружностей.)

Этот тор $T_{\theta }$ имеет площадь

$4\pi ^{2}\cos \theta \sin \theta =2\pi ^{2}\sin 2\theta ,$

так что только тор $T_{\pi /4}$ имеет максимально возможную площадь $2pi^{2}$ . Этот тор $T_{\pi /4}$ является тором $T_{\theta }$ , который чаще всего называется «тором Клиффорда» и только он из торов $T_{\theta }$ имеет минимальную поверхность в S³.

Ещё более общее определение торов Клиффорда в пространствах большей размерности

Любая единичная сфера $S^{2n-1}$ в евклидовом пространстве чётной размерности R²ⁿ = ℂⁿ может быть выражена в терминах комплексных координат следующим образом:

$S^{2n-1}=\{(z_{1},\ldots ,z_{n})\in \mathbb {C} ^{n}:|z_{1}|^{2}+\ldots +|z_{n}|^{2}=1\}.$

Тогда для любых неотрицательных чисел $r_{1},\dots ,r_{n}$ , таких, что $r_{1}^{2}+\dots +r_{n}^{2}=1$ , мы определяем обобщённый тор Клиффорда следующим образом:

$T_{r_{1},\ldots ,r_{n}}=\{(z_{1},\ldots ,z_{n})\in \mathbb {C} ^{n}:|z_{k}|=r_{k},~1\leqslant k\leqslant n\}.$

Все эти обобщённые торы Клиффорда не пересекаются друг с другом. Мы можем снова заключить, что объединение этих торов $T_{r_{1},\dots ,r_{n}}$ является единичной (2n-1)-сферой S^2n-1 (где мы снова должны включить вырожденные случаи, в которых по меньшей мере один из радиусов r_k=0).

Свойства

Тор Клиффорда «плоский». Он может быть выровнен в плоскость без растяжений, в отличие от стандартного тора вращения.
Тор Клиффорда делит 3-сферу на два конгруэнтных полнотория. (В стереографической проекции тор Клиффорда выглядит как стандартный тор вращения. Факт, что он делит 3-сферу поровну, означает, что внутренность проекции тора эквивалентна его внешности, что непросто понять визуально).

Использование в математике

В симплектической геометрии тор Клиффорда даёт пример вложения симплектического многообразия C² со стандартной симплектической структурой. (Конечно, любое произведение вложенных окружностей в C даёт лагранжев тор в C², так что они не обязательно являются торами Клиффорда.)

Гипотеза Лоусона утверждает, что любой тор с минимальным вложением в 3-сферу с круглой метрикой должен быть тором Клиффорда. Эту гипотезу доказал y Саймон Бредл в 2012.

Торы Клиффорда и их образы при конформных отображениях являются глобальными минимумами функционала Уилмора.

См. также

Дуоцилиндр
Расслоение Хопфа

Примечания

Borrelli, Jabrane, Lazarus, Thibert, 2012, с. 7218–7223.
Norbs, 2005, с. 244–246.

Литература

Borrelli V., Jabrane S., Lazarus F., Thibert B. Flat tori in three-dimensional space and convex integration // Proceedings of the National Academy of Sciences. — Proceedings of the National Academy of Sciences, 2012. — Апрель (т. 109, вып. 19). — doi:10.1073/pnas.1118478109. — PMID 22523238.
Norbs P. The 12th problem // The Australian Mathematical Society Gazette. — 2005. — Сентябрь (т. 32, вып. 4).

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[_ffe9b8efa18f0a55-1] Borrelli, Jabrane, Lazarus, Thibert, 2012, с. 7218–7223.

[_480bffbbdeaa4be9-2] Norbs, 2005, с. 244–246.