Фейнмановские лекции по гравитации

'

=

exp(ia)

,

при вычислении вероятности, то ничего не меняется в предсказываемой физике. В общем константа a не приводит к появлению различий в предсказаниях. Что же происходит, если вместо константы о мы используем функцию X, которая меняется от точки к точке в пространстве? Уравнения всегда включают в себя градиенты , которые есть

'

=

exp(iX)

(

+

iX

).

(8.4.2)

Однако оператор (-iA') оставляет функцию такой, что она изменилась только по фазе

(-iA')'

=

exp(iX)

(-iA)

.

(8.4.3)

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

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

'

=

exp(ir·a)

,

(8.4.4)

описывает объект, который частично является протоном, частично нейтроном. Если a есть постоянный вектор в изоспиновом пространстве, то инвариантность ядерных сил по отношению к изменениям изотопического спина означает, что новый объект ' действует во всех ядерных реакциях как . Предложение Янга и Миллса состоит в том, что поле должно быть добавлено к лагранжиану таким способом, чтобы пространственно-зависимая фазовая замена (a->X) не приводила к различиям в уравнениях.

Как такие идеи могут быть связаны с гравитацией? Уравнения физики являются инвариантными, когда мы делаем координатные замены с любыми постоянными значениями a

x'

=

x

+

a

.

(8.4.5)

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

exp(ip

a

)

.

С другой стороны, возможно исследовать, каким образом уравнения физики могут быть сделаны инвариантными в том случае, когда мы допускаем зависящие от координат в пространстве переменные смещения (a– >) Исследование будет проводиться для более полного лагранжиана; новые члены, которые необходимы, являются в точности теми же самыми, что и для гравитационного поля. Таким образом, гравитация является тем полем, которое соответствует калибровочной инвариантности по отношению к преобразованиям смещения.

8.5. Кривизна как величина, относящаяся к касательному пространству

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

g

0

=

(8.5.1)

путём соответствующего выбора шестнадцати первых производных x/x'. Мы предполагаем также, что мы можем выбрать сорок вторых производных (^2x/x'x') таким образом, что все первые производные

g

0

равны нулю. Тогда имеется восемьдесят выбранных третьих производных и сотня вторых производных величины g. Есть двадцать линейных комбинаций этих вторых производных, причём эти комбинации могут иметь геометрическое определение. Они не могут быть устранены преобразованием координат. То, что мы будем искать - это выражение для двадцати таких величин на языке исходных величин g. Мы делаем данную процедуру в три шага, возвращаясь назад, так сказать. Сначала мы предполагаем, что выбрали первые и вторые производные (в выбранной точке путём преобразования к римановым нормальным координатам) таким образом, что

g

0

=

и

g

0

,

=

0,

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

Рис. 8.2.

Сначала мы обсудим геометрически определяемые величины в терминах координат в касательном пространстве в точке. То, что мы делаем в пространстве с четырьмя измерениями, аналогично следующей ситуации в двумерном пространстве. Искривлённое пространство можно рассматривать как поверхность и сравнить геометрию поверхности в данной точке с геометрией, рассматриваемой с касательной плоскости, как показано на рис. 8.2. Исходные координат ты на искривлённом пространстве вообще говоря неортогональны и не являются соответствующим образом ориентированными для того, чтобы допустить простейшее описание геометрии на языке инварианта 1/(RR) Первый шаг состоит в том, чтобы определить эту внутреннюю кривизну на языке исходной геометрии.

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

x

=

x'

+

1

2

a

x'

x'

+

1

6

b

x'

x'

x'

.

(8.5.2)

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

x

x'

=

+

a

x'

+

1

2

b

x'

x'

.

(8.5.3)

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