Заметки на полях: геометрия замкнутых потоков

1. Проблема заранее заданного пространства-времени

Современные геометрические формулировки релятивистской физики обычно начинают с уже готовой структуры пространства-времени. В специальной теории относительности исходно задаётся четырёхмерное пространство с лоренцевой метрикой; в общей теории относительности метрика становится динамической, однако локальное различие времеподобных, пространственноподобных и светоподобных направлений по-прежнему входит в фундаментальное описание через сигнатуру пространства-времени. Электромагнитное поле затем определяется на этом фоне как дополнительный геометрический объект – антисимметричный тензор, 2-форма или бивектор.

Такая последовательность математически чрезвычайно эффективна, но оставляет открытым более ранний вопрос: почему фундаментальное геометрическое описание вообще должно начинаться именно с лоренцева пространства-времени?

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

Можно ли начать с пространства, в котором ещё нет физически выделенного времени, светового конуса и разложения (1+3), и получить эти структуры только после появления физического объекта и способа его взаимодействия с другими объектами?

2. Простейшая модель: факторизация плоскости замкнутыми потоками

Прежде чем переходить к четырёхмерному случаю, полезно рассмотреть его простейший двумерный аналог. Он позволяет отдельно увидеть три ключевых элемента конструкции:

уменьшение наблюдаемой размерности за счёт замкнутой степени свободы;
различие движения вдоль потока и перехода между потоками;
возможность ввести эффективную лоренцеву сигнатуру без изменения евклидовой геометрии исходного пространства.

Рассмотрим обычную евклидову плоскость $E^2_{}$ с выделенной точкой $O^{}_{}$ . Введём полярные координаты

$q(\rho,\theta)=\rho\left(\cos\theta\,e_1+\sin\theta\,e_2\right),$

где

$\rho\ge0,\qquad\theta\in[0,2\pi).$

При фиксированном $\rho^{}_{}$ множество точек

$C_\rho =\left\{q(\rho,\theta)\mid 0\le\theta<2\pi\right\}$

является окружностью

$C_\rho\simeq S^1.$

Тем самым плоскость вне точки $O^{}_{}$ представляется как семейство концентрических замкнутых кривых:

$E^2\setminus\{O\}\simeq\mathbb R_+\times S^1.$

2.1. Окружность как одна наблюдаемая точка

Теперь введём главное предположение модели.

Будем считать, что положение внутри одной замкнутой окружности $C_\rho^{}$ не является отдельной наблюдаемой пространственной координатой. Все точки одной окружности относятся к различным фазам одного замкнутого потока и поэтому образуют один класс эквивалентности:

$q(\rho,\theta_1)\sim q(\rho,\theta_2).$

Наблюдаемой точкой становится вся окружность:

$\boxed{[\rho]= C_\rho.}$

После такой факторизации

$\boxed{(E^2\setminus\{O\})/S^1\simeq\mathbb R_+.}$

Двумерное исходное пространство тем самым даёт одномерное наблюдаемое пространство.

Это уменьшение размерности не связано с удалением одной координаты. Угловая степень свободы $\theta^{}_{}$ сохраняется геометрически, но перестаёт различать пространственные точки.

Положение в наблюдаемом пространстве определяется тем, какой именно замкнутый поток выбран, а не тем, где внутри этого потока находится фундаментальная точка $q^{}_{}$ .

Так появляется естественное различие между двумя типами перемещения: движение вдоль потока $C_\rho^{}$ не меняет наблюдаемое положение, тогда как

$\boxed{C_\rho\rightarrow C_{\rho+d\rho}}$

является настоящим пространственным смещением.

2.2. Геометрия потока и поперечного смещения

Дифференцируя $q(\rho,\theta)^{}_{}$ , получаем два естественных касательных направления:

$\partial_\rho q=\cos\theta\,e_1+\sin\theta\,e_2, \\\partial_\theta q=\rho\left(-\sin\theta\,e_1+\cos\theta\,e_2\right).$

Первое направление переводит одну окружность в соседнюю. Второе направлено вдоль самой окружности.

Они ортогональны:

$\partial_\rho q\cdot\partial_\theta q=0.$

Их нормы равны

$\left|\partial_\rho q\right|^2=1,$ $\left|\partial_\theta q\right|^2=\rho^2.$

Поэтому обычная евклидова метрика плоскости имеет вид

$d\sigma_E^2=d\rho^2+\rho^2d\theta^2.$

На этом этапе это просто стандартная полярная запись плоской евклидовой геометрии.

Физическое различие появляется не из изменения этой метрики, а из различной интерпретации двух ортогональных направлений.

Движение вдоль $S^1_{}$ относится к внутреннему замкнутому потоку и не является наблюдаемым пространственным перемещением. Смещение по $\rho^{}_{}$ , напротив, переводит один класс потока в другой и поэтому является пространственным.

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

$\boxed{ds^2=\rho^2d\widetilde\theta^2-d\rho^2.}$

Здесь $\widetilde\theta\in\mathbb R^{}_{}$ обозначает развёрнутую фазу потока. В отличие от самой периодической координаты $\theta^{}_{}$ ,

$\theta=\widetilde\theta\mod 2\pi,$

она накапливается при каждом полном обороте и поэтому может служить параметром последовательности изменений.

Принципиально, что лоренцев знак здесь не присутствует в фундаментальной метрике $E^2_{}$ . Он вводится только на уровне эффективного интервального прочтения после того, как два ортогональных евклидовых направления получают различный физический смысл:

вдоль замкнутого потока $\longrightarrow$ временной канал;
между потоками $\longrightarrow$ пространственный канал.

2.3. Полученная метрика является плоской

Несмотря на зависимость коэффициента при $d\widetilde\theta^2_{}$ от $\rho^{}_{}$ , форма

$ds^2=\rho^2d\widetilde\theta^2-d\rho^2$

имеет нулевую кривизну.

Действительно, введём координаты

$T=\rho\sinh\widetilde\theta, \\X=\rho\cosh\widetilde\theta.$

Тогда

$dT^2-dX^2=\rho^2d\widetilde\theta^2-d\rho^2,$

то есть

$\boxed{ds^2=dT^2-dX^2.}$

Получена обычная плоская лоренцева метрика сигнатуры (1,1).

По существу, $(\rho,\widetilde\theta)^{}_{}$ здесь играют роль риндлеровских координат соответствующего клина плоскости Минковского. Новым элементом предлагаемой конструкции является не сама эта координатная форма, а интерпретация $\rho^{}{}$ и $\widetilde\theta^{}_{}$ через поперечное смещение между потоками и развёрнутую фазу замкнутого потока.

Таким образом, концентрические окружности дают простейший пример того, как одна и та же плоская евклидова геометрия допускает два различных уровня описания.

Фундаментально имеется $E^2_{}$ с положительно определённой метрикой.

После факторизации замкнутой степени свободы и принятого интервального прочтения внутреннего и поперечного каналов получаем плоскую $L^{1,1}_{}$ .

Никакого искривления исходной плоскости для этого не требуется.

2.4. Почему точка с большим радиусом находится дальше

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

Расстояние между соседними классами определяется поперечным смещением:

$d\ell=d\rho.$

Поэтому между $C_{\rho_1}^{}$ и $C_{\rho_2}^{}$

$\ell=|\rho_2-\rho_1|.$

То есть сама геометрия семейства потоков задаёт порядок наблюдаемых точек:

$C_{\rho_1}, \quad C_{\rho_2}, \quad C_{\rho_3}, \quad ...$

Если

$\rho_3>\rho_2>\rho_1,$

то третий класс действительно расположен дальше от центра факторизации, чем второй.

Это свойство не следует автоматически из произвольного семейства замкнутых кривых. Оно обеспечивается особой геометрией концентрических окружностей:

каждая точка плоскости вне $O^{}_{}$ принадлежит ровно одной окружности;
разные окружности не пересекаются;
существует единственное поперечное направление между соседними окружностями;
величина поперечного шага не зависит от скрытой фазы $\theta^{}_{}$ .

Именно поэтому концентрическая система представляет наиболее простой плоский предел факторизации.

2.5. Квадратичная координата

Для дальнейшего перехода к четырёхмерной модели полезно сделать ещё один шаг.

До сих пор $\rho^{}_{}$ использовался просто как геометрическая метка окружности. Однако наблюдаемая величина, инвариантная относительно движения вдоль $S^1_{}$ , естественно может быть построена квадратично из исходной координаты.

В двумерном случае удобно объединить координаты в комплексную величину

Перемещение вдоль окружности имеет вид

$z\rightarrow ze^{i\theta}.$

Простейший инвариант этого преобразования:

$\boxed{R=z\bar z.}$

Но

$z\bar z=\rho^2.$

Следовательно,

$\boxed{R=\rho^2.}$

Если фундаментальные координаты имеют размерность

$[q_\mu]=L^{1/2},$

то

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

В координате $R^{}_{}$ та же плоская лоренцева форма записывается

$\boxed{ds^2=R\,d\widetilde\theta^2-\frac{dR^2}{4R}.}$

Её вид изменился, но кривизна по-прежнему равна нулю: замена $\rho=\sqrt R^{}_{}$ является только заменой координаты.

Этот простой пример показывает важное различие между тремя объектами: $q^{}_{}$ – фундаментальная координата, $[q]_{S^1}$ – наблюдаемая точка как класс замкнутого потока, и $R=q\bar{q}$ – квадратичная координата этого класса.

В четырёхмерном случае эти три уровня сохранятся, но комплексная величина $z^{}_{}$ будет заменена четырёхкомпонентным $q^{}_{}$ , окружности на $S^1_{}$ – фибрами на $S^3_{}$ , а вещественный инвариант $z^{}_{}\bar{z}$ будет расширен до трёхкомпонентного билинейного отображения.

2.6. Неоднородная организация потоков как источник метрической деформации

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

Это свойство не обязано сохраняться для произвольной системы стримлетов.

Если форма стримлетов меняется от точки к точке, если их взаимный шаг зависит от положения внутри петли или если изменяется локальная интенсивность потока, то после факторизации могут возникнуть коэффициенты

$A(x),\qquad B(x),$

и эффективная интервальная форма

$\boxed{ds^2=A^2(x)d\tau^2-B^2(x)dx^2.}$

В общем случае такая метрика уже не обязана быть плоской.

Поэтому в рамках такой схемы искривление наблюдаемой геометрии в принципе может быть связано не с искривлением фундаментального $E^2_{}$ , а с изменением организации замкнутых потоков внутри остающегося плоским прото-пространства.

В двумерном примере это различие особенно наглядно:

однородные концентрические стримлеты $\longrightarrow$ плоская $L^{1,1}_{}$ , тогда как
деформированная стримлет-структура $\longrightarrow$ переменные коэффициенты эффективной метрики, которые в общем случае могут давать ненулевую кривизну.

Именно эту логику далее предполагается перенести в четырёхмерное ПП.

2.7. Что переносится в четырёхмерный случай

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

В ней:

$E^2\simeq\mathbb R_+\times S^1,$

и факторизация по замкнутому потоку даёт

$E^2/S^1\simeq\mathbb R_+.$

В четырёхмерном случае требуется аналогичная структура:

$E^4\setminus\{O\}\simeq \mathbb R_+\times S^3,$

причём $S^3_{}$ должна быть согласованно заполнена замкнутыми $S^1_{}$ -потоками.

Тогда ожидаемая схема имеет вид

$\boxed{S^1\hookrightarrow S^3\longrightarrow S^2,}$

а после добавления радиальной координаты

$\boxed{(E^4\setminus\{O\})/S^1\simeq \mathbb R_+\times S^2\simeq E^3\setminus\{0\}.}$

После добавления вырожденного центрального класса $q=0^{}_{}$ получаем пространство, топологически эквивалентное $E^3_{}$ .

То есть двумерное соответствие

$\boxed{2=1_{\rm observable}+1_{\rm closed\ flow}}$

переходит в

$\boxed{4=3_{\rm observable}+1_{\rm closed\ flow}.}$

Главный вопрос следующего раздела состоит поэтому не в том, можно ли произвольно удалить одно измерение из $E^4_{}$ , а в том, существует ли в четырёхмерном евклидовом пространстве геометрически естественная система замкнутых потоков, которая:

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

В $E^4_{}$ существует естественный кандидат на такую структуру: изоклинное $S^1_{}$ -действие, приводящее к комплексной структуре $J^{}_{}$ и фибрации Хопфа.

3. Четырёхмерное прото-пространство и замкнутый поток

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

В качестве фундаментальной геометрической сцены рассмотрим ориентированное плоское пространство

$V\simeq E^4$

с геометрической алгеброй

$Cl_{(4,0)}.$

Положение относительно некоторой точки $O^{}_{}$ зададим элементом

Как и в двумерной модели, будем считать фундаментальные координаты величинами размерности

$\boxed{[q_\mu]=L^{1/2}.}$

Евклидова квадратичная форма ПП поэтому имеет размерность обычной длины:

$q^2=q\cdot q=q_0^2+q_1^2+q_2^2+q_3^2.$

Обозначим

$\rho=|q|.$

Тогда

$[\rho]=L^{1/2},$

$[\rho^2]=L.$

При $q\neq0^{}_{}$ можно написать

$q=\rho u,\qquad u\in S^3.$

Поэтому

$\boxed{E^4\setminus\{O\}\simeq\mathbb R_+\times S^3.}$

Таким образом, прямым четырёхмерным аналогом окружности $S^1_\rho$ из предыдущей главы становится трёхмерная сфера $S^3_\rho$ . Для получения трёхмерного наблюдаемого пространства необходимо согласованно факторизовать каждую такую $S^3_{}$ одной замкнутой степенью свободы.

3.1. Замкнутое движение в четырёхмерном пространстве

Замкнутое движение вокруг точки $O^{}_{}$ естественно описывается вращением. Инфинитезимальным генератором вращения в геометрической алгебре является бивектор

$B\in Cl^2_{(4,0)}.$

В четырёхмерном пространстве имеется шесть координатных плоскостей вращения:

$e_{01},\ e_{02},\ e_{03},\ e_{12},\ e_{13},\ e_{23}.$

Однако это не означает существования шести независимых одновременно протекающих плоскостных циркуляций.

В четырёхмерном евклидовом пространстве общий антисимметричный оператор после ортогональной замены базиса распадается на вращения в двух взаимно ортогональных двумерных плоскостях. После подходящей ортогональной замены базиса общий антисимметричный генератор всегда можно привести к каноническому виду

$\boxed{B=\omega_1e_{01}+\omega_2e_{23}.}$

Плоскости

$P_1=\operatorname{span}\{e_0,e_1\}, \\P_2=\operatorname{span}\{e_2,e_3\}$

ортогональны, а соответствующие вращения коммутируют.

Поэтому общий вращательный поток в $E^4_{}$ имеет максимум два независимых главных плоскостных канала.

Если представить точку ПП двумя комплексными координатами,

$z_1=q_0+iq_1,\qquad z_2=q_2+iq_3,$

то такой поток имеет вид

$z_1(\alpha)=z_1(0)e^{i\omega_1\alpha}, \\z_2(\alpha)=z_2(0)e^{i\omega_2\alpha}.$

Сохраняются обе величины

$|z_1|,\qquad |z_2|,$

поэтому типичная траектория лежит на двумерном торе

$T^2=S^1\times S^1\subset S^3.$

Если отношение $\omega_1/\omega_2^{}$ иррационально, траектория вообще не замыкается и плотно заполняет соответствующий тор. Если отношение рационально, получается замкнутая торическая линия с некоторыми числами намотки.

Таким образом, требование элементарного замкнутого стримлета $S^1_{}$ существенно ограничивает допустимую организацию двух вращательных каналов.

3.2. Изоклинный предел

Особым является случай

$\boxed{|\omega_1|=|\omega_2|.}$

Тогда обе ортогональные плоскости вращаются с одной величиной угловой скорости. Возможны две относительные ориентации:

$B_+=\omega(e_{01}+e_{23}), \\B_-=\omega(e_{01}-e_{23}).$

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

В таком случае две плоскостные циркуляции перестают нести две независимые фазы. Всё движение управляется одним параметром $\alpha^{}_{}$ – обе плоскости управляются одной фазой, и интегральные траектории соответствующего $S^1_{}$ -действия становятся замкнутыми окружностями на $S^3_{}$ .

Для описания такого движения удобно перейти от бивектора-генератора к соответствующему линейному оператору

$J : V \rightarrow V.$

Например, для одной хиральности можно определить

$Je_0=e_1,\qquad Je_1=-e_0, \\Je_2=-e_3,\qquad Je_3=e_2.$

Мы фиксируем одну из двух изоклинных комплексных структур. В кватернионной записи ниже она будет соответствовать правому умножению на выбранную мнимую единицу.

Тогда

$\boxed{J^2=-\operatorname{Id}.}$

Одновременно

$J^TJ=\operatorname{Id},$

то есть $J^{}_{}$ является ортогональным оператором.

Поэтому для любого $q^{}_{}$

$q\cdot Jq=0.$

Геометрически это означает, что $Jq^{}_{}$ задаёт в каждой точке направление, ортогональное радиусу $q^{}_{}$ , причём той же магнитуды.

Таким образом, поле

$q\mapsto Jq$

всюду касательно к сфере $S^3_\rho$ .

3.3. Стримлет как интегральная линия поля

Рассмотрим уравнение движения

$\frac{dq}{d\alpha}=J(q).$

Его решение имеет вид

$\boxed{q(\alpha)=q_0\cos\alpha+Jq_0\sin\alpha.}$

Векторы $q_0^{}$ и $Jq_0^{}$ ортогональны и имеют одинаковую норму:

$q_0\cdot Jq_0=0,$ $|q_0|=|Jq_0|=\rho.$

Следовательно, $q(\alpha)^{}_{}$ является обычной окружностью радиуса $\rho^{}_{}$ в двумерной плоскости

$\operatorname{span}\{q_0,Jq_0\}\subset E^4.$

При

$\alpha\rightarrow\alpha+2\pi$

получаем

$q(\alpha+2\pi)=q(\alpha).$

Поэтому элементарная линия изоклинного потока имеет топологию

$\boxed{C_q\simeq S^1.}$

Это и будет четырёхмерным аналогом стримлета из двумерной модели.

Важно, что плоскость конкретной окружности не фиксирована для всего пространства. Она определяется самой точкой $q^{}_{}$ через пару

Поэтому поток не выделяет единую двумерную плоскость или единую векторную опору для всего объекта.

3.4. Факторизация

На фиксированной сфере $S^3_\rho$ поле $Jq^{}_{}$ :

всюду касательно к сфере;
нигде не обращается в ноль;
имеет постоянную магнитуду $\rho^{}_{}$ ;
имеет замкнутые интегральные линии;
через каждую точку проводит ровно одну такую линию.

Следовательно, $S^3_\rho$ полностью разбивается на непересекающиеся окружности.

Получаем расслоение

$\boxed{S^1\hookrightarrow S^3\longrightarrow S^2.}$

Это стандартная геометрия фибрации Хопфа.

Но в рассматриваемой конструкции важна не столько сама известная топология, сколько причина её появления. Она возникает из требования организовать на $S^3_{}$ регулярный ненулевой поток, состоящий из одной замкнутой степени свободы и не требующий выделенной общей векторной опоры.

Локальная касательная конкретного стримлета имеет направление

$N(q)=\frac{Jq}{|q|}.$

Однако эта опора является локальной характеристикой конкретной точки потока.

По всей $S^3_{}$

$\boxed{\langle N\rangle_{S^3}=0.}$

Более того, вследствие полной симметрии сферы

$\boxed{\langle N\otimes N\rangle_{S^3}=\frac14\operatorname{Id}_4.}$

Таким образом, распределение локальных касательных не выделяет общего векторного направления ни в первом, ни во втором моменте. При этом сама организация фибрации, конечно, содержит глобально выбранную комплексную структуру $J^{}_{}$ .

Это существенно отличает его от конструкции, в которой весь макрообъект заранее снабжается одним выделенным направлением $N^{}_{}$ .

Предполагаемая массивная конфигурация здесь может состоять из большого числа замкнутых потоков с локально различными опорами, оставаясь в целом изотропной в ПП.

3.5. Наблюдаемая точка как целый стримлет

Теперь переносим основной принцип двумерной модели.

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

Вводится отношение эквивалентности

$q_1\sim q_2$

тогда и только тогда, когда $q_1^{}$ и $q_2^{}$ лежат на одной интегральной окружности поля $Jq^{}_{}$ .

Наблюдаемой точкой становится целый класс

$\boxed{[q]=\{q(\alpha)\mid\alpha\in[0,2\pi)\}.}$

При фиксированном $\rho^{}_{}$ пространство таких классов двумерно:

$S^3/S^1\simeq S^2.$

Добавляя радиальный параметр, получаем

$\boxed{(E^4\setminus\{O\})/S^1\simeq \mathbb R_+\times S^2.}$

После добавления центральной точки эта структура имеет топологию обычного трёхмерного пространства.

То есть:

$\boxed{4=3_{\rm observable}+1_{\rm closed\ flow}.}$

Четвёртая степень свободы не исчезает из исходной геометрии. В предлагаемой физической интерпретации она сохраняется как внутренняя замкнутая координата каждого пространственного класса.

3.6. Кватернионная запись

Для явной записи факторизации удобно воспользоваться изоморфизмом вещественных линейных пространств

$E^4\simeq\mathbb H.$

Тогда та же точка ПП записывается как

$q=q_0+q_1\mathbf i+q_2\mathbf j+q_3\mathbf k.$

Кватернион здесь не является дополнительным физическим объектом. Это компактная запись тех же четырёх вещественных координат ПП.

Его норма равна

$q\bar q=q_0^2+q_1^2+q_2^2+q_3^2=\rho^2.$

Выберем единичный чистый кватернион $J^{}_{}$ :

Здесь $J^{}_{}$ теперь обозначает единичный чистый кватернион, а действие $q\mapsto qe^{J\alpha}$ является кватернионной записью выбранной выше изоклинной комплексной структуры. Соответствующий стримлет записывается

$\boxed{q(\alpha)=qe^{J\alpha}.}$

Нужно теперь построить величину, которая не меняется при движении по этой окружности.

Такой величиной является

$\boxed{X(q)=qJ\bar q.}$

Действительно,

$\begin{aligned}X(qe^{J\alpha})&=qe^{J\alpha}J e^{-J\alpha}\bar q\\&=qJ\bar q\\&=X(q).\end{aligned}$

То есть все точки одного стримлета имеют один и тот же образ $X^{}_{}$ .

Факторизация поэтому задаётся не абстрактным удалением угловой переменной, а явным геометрическим отображением

$\boxed{q\longmapsto qJ\bar q.}$

3.7. Почему результат трёхмерен

Поскольку $J^{}_{}$ является чистым кватернионом,

$\bar J=-J.$

Поэтому

$\overline{X}=-X.$

Следовательно, $X^{}_{}$ также является чистым кватернионом:

$\boxed{X=X_1\mathbf i+X_2\mathbf j+X_3\mathbf k.}$

Он имеет ровно три вещественные компоненты.

Таким образом,

$\boxed{E^4/S^1\longrightarrow \operatorname{Im}\mathbb H\simeq E^3.}$

В комплексной записи

$z_1=q_0+iq_1,\qquad z_2=q_2+iq_3$

это отображение можно записать через три вещественные координаты

$X_1=2\operatorname{Re}(z_1\bar z_2), \\X_2=2\operatorname{Im}(z_1\bar z_2), \\X_3=|z_1|^2-|z_2|^2.$

В стандартной комплексной параметризации фибрации Хопфа это же отображение выражается тремя вещественными квадратичными комбинациями двух комплексных координат. Общее $U(1)^{}_{}$ -действие вдоль фибры оставляет все три комбинации неизменными.

Именно поэтому $X_1,X_2,X_3^{}$ характеризуют не конкретную точку стримлета, а весь замкнутый поток.

3.8. Квадратичный радиус наблюдаемого пространства

Норма $X^{}_{}$ равна

$|X|=|q|\,|J|\,|\bar q|.$

Для единичного $J^{}_{}$

поэтому

$\boxed{|X|=\rho^2.}$

Обозначим обычный наблюдаемый радиус через $R^{}_{}$ :

$\boxed{R=\rho^2.}$

При исходной размерности

$[\rho]=L^{1/2}$

автоматически получаем

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

После принятой выше размерной калибровки $[q_\mu]=L^{1/2}$ дополнительного преобразования единиц здесь уже не требуется. Квадратичность непосредственно следует из того, что наблюдаемое пространство определяется билинейным инвариантом

$qJ\bar q.$

В частности,

$X_1^2+X_2^2+X_3^2=\rho^4=R^2.$

Поэтому увеличение прото-радиуса от $\rho^{}_{}$ до $\sqrt2\,\rho^{}_{}$ соответствует удвоению наблюдаемого радиуса:

$R\rightarrow 2R.$

Именно $R^{}_{}$ , а не $\rho^{}_{}$ , является физической радиальной координатой пространства классов.

3.9. Метрика пространства классов

Квадратичность отображения меняет и отношение между метрикой ПП и наблюдаемой пространственной метрикой.

Разложим малое изменение $dq^{}_{}$ на составляющую вдоль стримлета и поперечную составляющую:

$dq=dq_{\parallel}+dq_H.$

Вертикальное движение имеет вид

$dq_{\parallel}=qJ\,d\alpha.$

Оно изменяет фазу стримлета, но не изменяет его пространственный класс:

$\boxed{dX(dq_{\parallel})=0.}$

Только горизонтальная составляющая $dq_H^{}$ переводит один стримлет в другой.

Для неё квадратичное отображение даёт

$\boxed{|dX|^2=4\rho^2|dq_H|^2.}$

Это соотношение имеет простой геометрический смысл. Наблюдаемое расстояние определяется не непосредственным евклидовым расстоянием между точками ПП, а изменением билинейного инварианта, которым маркируются целые стримлеты.

Поскольку

$R=\rho^2,$

имеем

$dR=2\rho\,d\rho.$

Если определить расстояние между классами евклидовой нормой изменения их квадратичных образов $X(q)^{}_{}$ , то получаем

$\boxed{d\ell^2=dR^2+R^2d\Omega_2^2.}$

Это плоская евклидова метрика трёхмерного пространства.

Таким образом, выбранное квадратичное метрическое прочтение однородной изоклинной факторизации плоского $E^4_{}$ даёт обычную плоскую метрику наблюдаемого $E^3_{}$ .

Это прямой четырёхмерный аналог результата предыдущей главы: наиболее регулярная организация замкнутых потоков соответствует плоскому пределу наблюдаемой геометрии.

3.10. Почему обычная фактор-метрика недостаточна

Если просто взять ортогональное расстояние между фибрами Хопфа внутри исходного $E^4_{}$ , получится метрика

$d\rho^2+\frac{\rho^2}{4}d\Omega_2^2.$

Она сама по себе не является обычной плоской метрикой $E^3_{}$ .

Предлагаемая физическая метрика определяется через тот же квадратичный инвариант, который определяет положение наблюдаемой точки:

$X=qJ\bar q.$

Именно его дифференциал даёт множитель

$4\rho^2$

и переводит естественный радиус ПП в

$R=\rho^2.$

Поэтому в предлагаемой конструкции топологическая факторизация и метрическое прочтение являются двумя связанными, но различными операциями:

$S^1_{}$ -факторизация $\longrightarrow$ какие точки ПП считаются одной точкой пространства, тогда как
$qJ\bar q^{}_{}\longrightarrow$ как измеряются координаты и расстояния между этими точками.

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

3.11. Коллективное выделение замкнутого сектора

Плоскость отдельной фибры, трубки тока или стримлета будем задавать единичным простым бивектором $F^{}_{}$ :

$F^2=-1,\quad F\wedge F=0.$

Предположим теперь, что прото-пространство заполнено множеством таких вихрей со случайно ориентированными плоскостями. В алгебре их возможных взаимодействий уже имеется необходимая асимметрия. Каждое трёхмерное подпространство $W^{}_{}\subset E^4_{}$ и его нормаль $N^{}_{}\perp W^{}_{}$ задают две тройки простых бивекторов:

$\mathcal R_W=\Lambda^2W,\qquad \mathcal S_W=N\wedge W.$

Они ведут себя по-разному:

$\boxed{\begin{aligned}\mathcal R_W\times\mathcal R_W&\subset\mathcal R_W,\\\mathcal R_W\times\mathcal S_W&\subset\mathcal S_W,\\\mathcal S_W\times\mathcal S_W&\subset\mathcal R_W.\end{aligned}}$

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

$\mathfrak h=\Lambda^2W\simeq\mathfrak{so}(3)\simeq\mathfrak{su}(2),$

поскольку результат взаимодействий внутри него остаётся в том же секторе. Незамкнутые компоненты, напротив, не удерживаются в одной тройке и участвуют в переносе между локальными конфигурациями.

После такого коллективного отбора возникают сначала $W^{}_{}$ , а затем единственная ортогональная ему прямая:

$\boxed{\mathfrak h\longrightarrow W\longrightarrow \mathbb R N=W^\perp.}$

Именно эта прямая получает смысл локальной опоры.

3.12. Внутренний и внешний секторы после выделения опоры

Когда локальная опора $N^{}_{}$ уже сформирована, имеем

$E^4=\mathbb R N\oplus W,\qquad W=N^\perp,$

и соответствующее разложение пространства бивекторов:

$\boxed{\Lambda^2E^4=\mathcal R_N\oplus\mathcal S_N,\qquad \mathcal R_N=\Lambda^2W,\quad \mathcal S_N=N\wedge W.}$

Сектор $\mathcal R_N^{}$ замкнут и описывает внутренние плоскости выбранной трёхмерной ячейки. Сектор $\mathcal S_N^{}$ состоит из плоскостей, содержащих опору, и не замыкается на себе. Оператор Ходжа переставляет эти тройки:

$\star_\delta\mathcal R_N=\mathcal S_N,\qquad \star_\delta\mathcal S_N=\mathcal R_N.$

В согласованном базисе $N=e_0^{}$ :

$\begin{aligned}\mathcal R_N&=\operatorname{span}\{e_{23},e_{31},e_{12}\},\\\mathcal S_N&=\operatorname{span}\{e_{10},e_{20},e_{30}\}.\end{aligned}$

В предлагаемом физическом прочтении $\mathcal R_N^{}$ является внутренним, или запертым, слоем, а $\mathcal S_N^{}$ – внешним слоем переноса. Его связь с фотонным режимом остаётся физической гипотезой, а не следствием одной только незамкнутости.

Квадратичное отображение Хопфа–Кустаанхеймо–Штифеля

$X_H(q)=qJ\widetilde q$

постоянно вдоль фибры $q^{}_{}e^{J\phi}$ . После статистического выделения $\mathcal R_N^{}$ его трёхмерный образ можно связать с наблюдаемым сектором дуализацией:

$\boxed{\mathbf X_N(q)=\star_\delta X_H(q)\in\mathcal S_N.}$

После коллективного выделения $N^{}_{}$ классы эквивалентности фибрации получают локальное трёхмерное прочтение.

3.13. Время как развёрнутая фаза замкнутого потока

Малым объектом будем считать всю замкнутую фибру

$[q]=\{qe^{J\phi}\mid 0\leq\phi<2\pi\},$

а не отдельную точку на ней. Поэтому $\phi^{}_{}$ является внутренней фазой потока, а не дополнительной наблюдаемой координатой.

Периодическая фаза сама по себе не может служить временем. Для этого нужна развёрнутая фаза

$\boxed{\Phi=2\pi n+\phi,\qquad n\in\mathbb Z,}$

которая учитывает число завершённых циклов. Собственное время фибры определим как

$\boxed{d\tau=\frac{d\Phi}{\omega_0},}$

где $\omega_0^{}$ – собственная частота внутреннего потока.

Если фибра перемещается по пространству классов, локальное начало фазы может меняться. Тогда вместо голого $d\phi^{}_{}$ используется калибровочно-инвариантная вертикальная форма

$\Theta=d\phi+\mathcal A,\qquad d\tau=\frac{\Theta}{\omega_0}.$

Опора определяет ориентацию выделенной трёхмерной ячейки,

Тривектор $I_3^{}(N)$ не является временем. Он задаёт ячейку, относительно которой считается поток; временем является накопленная скалярная фаза $\Phi^{}_{}$ .

3.14. Потоковый бюджет и лоренцев интервал

Для перехода к кинематике нужен ещё один физический постулат. Предположим, что полный локальный поток имеет универсальную норму $c^{}_{}\,dt$ и ортогонально расходуется на внутренний фазовый ход $c^{}_{}\,d\tau$ и наблюдаемое перемещение $d\ell^{}_{}$ :

$\boxed{c^2dt^2=c^2d\tau^2+d\ell^2.}$

Тогда собственное время задаёт эффективный интервал

$\boxed{ds^2=c^2d\tau^2=c^2dt^2-d\ell^2.}$

Минус возникает не в фундаментальной евклидовой метрике $E^4_{}$ , а при прочтении собственного времени как остатка полного потокового бюджета после пространственного переноса.

Если $v^{}_{}=d\ell/dt$ , то

$\frac{d\tau}{dt}=\sqrt{1-\frac{v^2}{c^2}},\qquad v\leq c.$

При $v^{}_{}=c$ весь доступный поток приходится на перенос и фазовый остаток исчезает: $d\tau^{}_{}=0$ .

Опоро-зависимую лоренцеву форму можно записать через евклидову метрику $\delta^{}_{}$ и ковектор $\alpha^{}_{}=N^\flat$ :

$\boxed{g_N=2\alpha\otimes\alpha-\delta.}$ ВКонтакте Telegram Twitter

📊 Источник: Habr | Оригинал