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

Стереографические проекции тора Клиффорда

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

Тор Клиффорда — простейшее и наиболее симметричное вложение тора $\mathbb {S} ^{1}\times \mathbb {S} ^{1}$ в четырёхмерное евклидово пространство $\mathbb {R} ^{4}$. При этом $\mathbb {S} ^{1}$-факторы лежат в своих независимых двумерных пространствах, результирующее пространство произведения будет $\mathbb {R} ^{4}=\mathbb {R} ^{2}\times \mathbb {R} ^{2}$, а не $\mathbb {R} ^{3}$.

Обычное вложение тора в $\mathbb {R} ^{3}$ как поверхность вращения менее симметрично. Это вложение является проекцией тора Клиффорда максимальной симметрии из $\mathbb {R} ^{4}$ в $\mathbb {R} ^{4}$.

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

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

Определение

Единичная окружность S¹ в $\mathbb {R} ^{2}$ может быть параметризована угловым значением:

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

В другой копии $\mathbb {R} ^{2}$ будет другая копия единичной окружности

$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¹ является вложенным подмногообразием $\mathbb {R} ^{2}$, тор Клиффорда является вложением тора в $\mathbb {R} ^{2}\times \mathbb {R} ^{2}=\mathbb {R} ^{4}$.

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

$x_{1}^{2}+y_{1}^{2}=1/2=x_{2}^{2}+y_{2}^{2}.$

Это показывает, что в $\mathbb {R} ^{4}$ тор Клиффорда является подмногообразием единичной 3-сферы $\mathbb {S} ^{3}$.

Легко проверить, что тор Клиффорда является минимальной поверхностью в $\mathbb {S} ^{3}$.

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

Обычно рассматривают также тор Клиффорда как вложение тора в $\mathbb {C} ^{2}$. В двух копиях $\mathbb {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 \}.$

Как и прежде, это является вложенным подмногообразием в единичную сферу $\mathbb {S} ^{3}$ в $\mathbb {C} ^{2}$.

Если $\mathbb {C} ^{2}$, используем координаты (z₁, z₂), то тор Клиффорда задаётся уравнением

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

В торе Клиффорда, определённого выше, расстояние от любой точки тора Клиффорда до начала координат $\mathbb {C} ^{2}$ равно

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

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

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

Свойства

• Для расслоения Хопфа $\mathbb {S} ^{3}\to \mathbb {S} ^{2}$, тор Клиффорда является прообразом окружности, делящей площадь $\mathbb {S} ^{2}$ пополам.

• Тор Клиффорда «плоский». Он может быть выровнен в плоскость без растяжений, в отличие от стандартного тора вращения.

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

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

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

Вариации и обобщения

В трёхмерной сфере

Плоские торы единичной 3-сферы $\mathbb {S} ^{3}$, которая является произведением окружностей радиуса $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) означает окружность на плоскости $\mathbb {R} ^{2}$, имеющую центр =(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}$ в евклидовом пространстве чётной размерности $\mathbb {R} ^{2n}=\mathbb {C} ^{n}$ может быть выражена в терминах комплексных координат следующим образом:

$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).

См. также

• Расслоение Хопфа