Телепараллелизм (также называемый телепараллельной гравитацией ) был попыткой Альберта Эйнштейна [1] основать единую теорию электромагнетизма и гравитации на математической структуре удаленного параллелизма, также называемого абсолютным или телепараллелизмом. В этой теории пространство-время характеризуется линейной связью без кривизны в сочетании с метрическим тензорным полем, которые определяются в терминах динамического тетрадного поля.
Важнейшей новой идеей для Эйнштейна было введение тетрадного поля, т. е. набора {X 1 , X 2 , X 3 , X 4 } четырех векторных полей , определенных на всем M , таких, что для каждого p ∈ M множество {X 1 ( p ), X 2 ( p ) , X 3 ( p ), X 4 ( p )} является базисом T p M , где T p M обозначает слой над p касательного векторного расслоения TM . Следовательно, четырехмерное пространственно -временное многообразие M должно быть параллелизуемым многообразием . Поле тетрад было введено, чтобы обеспечить возможность удаленного сравнения направлений касательных векторов в разных точках многообразия, отсюда и название удаленного параллелизма. Его попытка провалилась, поскольку в его упрощенном уравнении поля не было решения Шварцшильда.
Фактически, можно определить соединение распараллеливания (также называемое соединением Вайценбека ) {X i } как линейное соединение ∇ на M такое, что [2]
где v ∈ T p M и fi — (глобальные) функции на M ; таким образом, f i X i — глобальное векторное поле на M . Другими словами, все коэффициенты связности Вейценбека ∇ относительно {X i } тождественно равны нулю, что неявно определяется следующим образом:
следовательно
для коэффициентов связи (также называемых коэффициентами Вайценбека) в этом глобальном базисе. Здесь ω k — двойственный глобальный базис (или кофрейм), определяемый формулой ω i (X j ) = δя
Дж.
Это то, что обычно происходит в Rn , в любом аффинном пространстве или группе Ли (например, «искривленная» сфера S3 , но «плоское» многообразие Вейценбека).
Используя закон преобразования связности или, что то же самое, свойства ∇ , мы получаем следующий результат.
Предложение . В естественном базисе, связанном с локальными координатами ( U , x µ ) , т. е. в голономной системе отсчета ∂ µ , (локальные) коэффициенты связности связи Вайценбека задаются формулой:
где X i = hмкм
я∂ µ для i , µ = 1, 2,… n — локальные выражения глобального объекта, то есть данной тетрады.
Связность Вайценбека имеет исчезающую кривизну , но, вообще говоря, неисчезающее кручение .
Учитывая поле кадра {X i } , можно также определить метрику, представляя поле кадра как ортонормированное векторное поле. Тогда можно было бы получить псевдориманово метрическое тензорное поле g сигнатуры (3,1) по формуле
где
Соответствующее базовое пространство-время в этом случае называется пространством-временем Вайценбека . [3]
Стоит отметить, что эти «параллельные векторные поля» порождают метрический тензор в качестве побочного продукта.
Новая теория телепараллельной гравитации (или новая общая теория относительности ) представляет собой теорию гравитации в пространстве-времени Вайценбека и приписывает гравитацию тензору кручения, образованному из параллельных векторных полей.
В новой теории телепараллельной гравитации фундаментальные предположения заключаются в следующем:
В 1961 году Кристиан Мёллер [4] возродил идею Эйнштейна, а Пеллегрини и Плебански [5] нашли лагранжеву формулировку абсолютного параллелизма .
В 1961 г. Мёллер [4] [6] показал, что тетрадное описание гравитационных полей позволяет более рационально трактовать комплекс энергии-импульса , чем теория, основанная только на метрическом тензоре . Преимущество использования тетрад в качестве гравитационных переменных было связано с тем, что это позволяло строить выражения для комплекса энергии-импульса, обладающие более удовлетворительными трансформационными свойствами, чем в чисто метрической формулировке. В 2015 году было показано, что полная энергия материи и гравитации пропорциональна скаляру Риччи трехмерного пространства с точностью до линейного порядка возмущения. [7]
Независимо в 1967 году Хаяси и Накано [8] возродили идею Эйнштейна, а Пеллегрини и Плебански [5] начали формулировать калибровочную теорию группы сдвигов пространства-времени . [ нужны разъяснения ] Хаяси указал на связь между калибровочной теорией группы перевода пространства-времени и абсолютным параллелизмом. Первую формулировку пучка волокон предложил Чо. [9] Эта модель позже изучалась Швейцером и др., [10] Нитшем и Хель, Мейером; [ нужна цитация ] более поздние достижения можно найти у Альдрованди и Перейры, Гронвальда, Итина, Малуфа и да Роча Нето, Мюнха, Обухова и Перейры, а также Шукинга и Суровица. [ нужна цитата ]
В настоящее время телепараллелизм изучается исключительно как теория гравитации [11] без попыток объединить ее с электромагнетизмом. В этой теории гравитационное поле оказывается полностью представленным трансляционным калибровочным потенциалом B a µ , как и должно быть в калибровочной теории для группы трансляций.
Если этот выбор сделан, то никакой лоренцевой калибровочной симметрии больше не существует , поскольку внутренний слой пространства Минковского — над каждой точкой пространственно-временного многообразия — принадлежит расслоению с абелевой группой R 4 в качестве структурной группы . Однако трансляционную калибровочную симметрию можно ввести следующим образом: вместо того, чтобы рассматривать тетрады как фундаментальные, мы вместо этого вводим фундаментальную трансляционную калибровочную симметрию R 4 (которая действует на внутренние слои пространства Минковского аффинно, так что этот слой снова становится локальным) с связь B и «координатное поле» x , принимающее значения в слое пространства Минковского.
Точнее, пусть π : M → M — расслоение Минковского над пространственно-временным многообразием M . Для каждой точки p ∈ M слой Mp является аффинным пространством . В диаграмме слоя ( V , ψ ) координаты обычно обозначаются как ψ = ( x µ , x a ) , где x µ — координаты на пространственно-временном многообразии M , а x a — координаты в слое M p .
Используя обозначение абстрактного индекса , пусть a , b , c ,… относятся к M p , а µ , ν ,… относятся к касательному расслоению TM . В любой конкретной калибровке значение x a в точке p определяется сечением
Ковариантная производная
определяется относительно формы связности B , 1-формы, принимающей значения в алгебре Ли трансляционной абелевой группы R 4 . Здесь d — внешняя производная a - го компонента x , который является скалярным полем (так что это не чисто абстрактное обозначение индекса). При калибровочном преобразовании полем сдвига α a
и
и поэтому ковариантная производная x a = ξ a ( p ) является калибровочно-инвариантной . Это отождествляется с трансляционной (ко-) тетрадой.
которая представляет собой одноформу , принимающую значения в алгебре Ли трансляционной абелевой группы R 4 , следовательно, она калибровочно-инвариантна. [12] Но что это значит? x a = ξ a ( p ) — локальное сечение (чисто трансляционного) аффинного внутреннего расслоения M → M , еще одна важная структура в дополнение к трансляционному калибровочному полю B a µ . Геометрически это поле определяет происхождение аффинных пространств; он известен как радиус-вектор Картана . В рамках калибровочной теории одноформа
возникает как нелинейное трансляционное калибровочное поле с ξ a, интерпретируемое как поле Голдстоуна, описывающее спонтанное нарушение трансляционной симметрии.
Грубая аналогия: представьте себе M p как экран компьютера, а внутреннее смещение — как положение указателя мыши. Думайте об изогнутом коврике для мыши как о пространстве-времени, а о положении мыши — как о положении. Сохраняя ориентацию мыши фиксированной, если мы перемещаем мышь по изогнутому коврику, положение указателя мыши (внутреннее смещение) также меняется, и это изменение зависит от пути; т.е. оно не зависит только от начального и конечного положения мыши. Изменение внутреннего смещения при перемещении мыши по замкнутому пути на коврике — это кручение.
Еще одна грубая аналогия: представьте себе кристалл с линейными дефектами ( краевыми и винтовыми дислокациями , но не дисклинациями ). Параллельный транспорт точки M по пути определяется путем подсчета количества пересеченных кристаллических связей (вверх/вниз, вперед/назад и влево/вправо). Вектор Бюргерса соответствует кручению. Наклоны соответствуют кривизне, поэтому ими пренебрегают.
Кручение — то есть поступательная напряженность поля телепараллельной гравитации (или поступательная «кривизна») —
является калибровочным инвариантом .
We can always choose the gauge where xa is zero everywhere, although Mp is an affine space and also a fiber; thus the origin must be defined on a point-by-point basis, which can be done arbitrarily. This leads us back to the theory where the tetrad is fundamental.
Teleparallelism refers to any theory of gravitation based upon this framework. There is a particular choice of the action that makes it exactly equivalent[9] to general relativity, but there are also other choices of the action which are not equivalent to general relativity. In some of these theories, there is no equivalence between inertial and gravitational masses.[13]
Unlike in general relativity, gravity is due not to the curvature of spacetime but to the torsion thereof.
There exists a close analogy of geometry of spacetime with the structure of defects in crystal.[14][15] Dislocations are represented by torsion, disclinations by curvature. These defects are not independent of each other. A dislocation is equivalent to a disclination-antidisclination pair, a disclination is equivalent to a string of dislocations. This is the basic reason why Einstein's theory based purely on curvature can be rewritten as a teleparallel theory based only on torsion. There exists, moreover, infinitely many ways of rewriting Einstein's theory, depending on how much of the curvature one wants to reexpress in terms of torsion, the teleparallel theory being merely one specific version of these.[16]
A further application of teleparallelism occurs in quantum field theory, namely, two-dimensional non-linear sigma models with target space on simple geometric manifolds, whose renormalization behavior is controlled by a Ricci flow, which includes torsion. This torsion modifies the Ricci tensor and hence leads to an infrared fixed point for the coupling, on account of teleparallelism ("geometrostasis").[17]