Описание в трехмерном пространстве Минковского
Обратимся теперь к уравнению (7.2.11) в искривленном пространстве-времени
общего вида, где для простоты мы будем рассматривать лишь изопараметрические лучи. Матрицы вновь имеют формат
, причем
— произвольная эрмитова
-матрица. Для большего упрощения выберем конгруэнцию без вращения (т. е. конгруэнцию, лучи которой являются образующими изотропной гиперповерхности), так что
откуда следует, что матрица Р тоже эрмитова. Следуя предложению Росса (N. F. Ross), мы вводим трехмерную метрику «Минковского»
в пространстве точками которого являются матрицы Р. По существу нас будет интересовать лишь конформная структура пространства т. е. структура изотропных конусов, определяемая метрикой (7.2.33). Две точки этого пространства разделены изотропным интервалом [т. е. принадлежат некоторому «световому лучу» в
-изотропной геодезической в метрике (7.2.33)] в том и только в том случае, если коэффициенты матриц
удовлетворяют уравнению
т. е.
или
для некоторой ненулевой
-матрицы
Это означает, что два пучка изопараметрических лучей, соседних с
описываемые матрицами Р! и
соответственно, имеют общий луч (отличный от
Таким образом, конформная метрика (эквивалентная структуре световых лучей), определяемая соотношением (7.2.33), имеет инвариантный геометрический смысл независимо от специального выбора точки Р на
в которой определяются значения
и
. Когда точка Р движется вдоль
величины
изменяются, но пространство 0 при этом рассматривается как неизменное, причем различным его точкам отвечают разные пучки лучей без вращения, изопараметрические с лучом
Различным точкам Р соответствует разный выбор «координат»
в пространстве Каждому такому выбору отвечает метрика вида (7.2.33). Для разных точек Р эти метрики неодинаковы, но в силу сказанного выше, они должны быть связаны друг с другом конформным преобразованием.
В последнем легко убедиться, если воспользоваться уравнением Сакса (7.2.12), примененным к
Здесь символ
означает бесконечно малое изменение, отвечающее выбору близкого к
изопараметрического луча, а не изменению положения точки Р (последняя вариация обозначается символом
Поэтому, чтобы получить требуемый результат, мы полагаем
в формуле (7.2.37). [Отметим, что эти вычисления справедливы и в случае полей с вращением, когда
. В этом случае метрика (7.2.33) заменяется метрикой
а результат вариации положения точки Р имеет вид:
Следовательно, в случае изопараметрических лучей с вращением вместо «трехмерного пространства Минковского» с сигнатурой
мы должны рассматривать конформные метрики, отвечающие четырехмерному пространству с сигнатурой
Одно из преимуществ данного подхода (как отмечал Росс) состоит в том, что он позволяет рассматривать и такие положения точки Р, для которых
и (быть может) а становятся бесконечно большими (каустические точки), например соседние с
лучи в вершине светового конуса, содержащего
. В этом случае следует рассматривать конформную компактификацию
пространства следуя процедуре перехода от М к
описываемой в гл. 9, § 2 (см. примечание на с. 353). Оказывается, что конформные изменения масштаба, индуцированные на
движением точки Р вдоль луча
следует связывать со структурой пространства
а не
Их можно рассматривать как пассивные преобразования на
т. е. переход от одной системы координат
к другой, причем ни одна из этих систем координат не покрывает полностью.
Сама точка Р приобретает в пространстве
смысл точки, представляющей совокупность лучей, соседних с
образующих световой конус точки Р в
Когда точка Р смещается вдоль луча
ее образ в
претерпевает гладкую деформацию, смещаясь вдоль линии, времениподобной в смысле метрики
В этом направлении можно получить ряд интересных результатов, но мы не будем здесь на этом останавливаться. Отметим, однако, что пространство
получается также в ином подходе как пространство лагранжевых 2-плоскостей в четырехмерном симплектическом векторном пространстве, элементами которого являются все соседние с
изопараметрические лучи.
Симплектическая структура в этом пространстве дается в точности формой (7.2.18). (Подробно эта структура исследуется в работе [377] в частности, см. с. 307 данной работы, где компактифицированное 3-мерное пространство Минковского рассмотрено с этих позиций.)