Конформно плоское многообразие

Верхний многообразие плоское. Нижний — нет, но он конформен первому.

( Псевдо ) риманово многообразие является конформно плоским, если каждая точка имеет окрестность, которую можно отобразить в плоское пространство с помощью конформного преобразования .

На практике метрика многообразия должна быть конформной плоской метрике , т. е. геодезические линии должны сохраняться во всех точках углов, перемещаясь из одной в другую, а также сохранять неизменными нулевые геодезические [1] , что означает, что существует функция такая, что , где называется конформным множителем , а является точкой на многообразии. г {\displaystyle г} М {\displaystyle М} η {\displaystyle \эта} М {\displaystyle М} λ ( х ) {\displaystyle \лямбда (x)} г ( х ) = λ 2 ( х ) η {\displaystyle g(x)=\lambda ^{2}(x)\,\eta } λ ( х ) {\displaystyle \лямбда (x)} х {\displaystyle x}

Более формально, пусть будет псевдоримановым многообразием. Тогда является конформно плоским, если для каждой точки из существует окрестность и гладкая функция, определенная на , такая, что является плоской (т.е. кривизна обращается в нуль на ). Функция не обязательно должна быть определена на всех из . ( М , г ) {\displaystyle (М,г)} ( М , г ) {\displaystyle (М,г)} х {\displaystyle x} М {\displaystyle М} У {\displaystyle U} х {\displaystyle x} ф {\displaystyle f} У {\displaystyle U} ( У , е 2 ф г ) {\displaystyle (U,e^{2f}g)} е 2 ф г {\displaystyle e^{2f}g} У {\displaystyle U} ф {\displaystyle f} М {\displaystyle М}

Некоторые авторы используют определение локально конформно-плоского, когда речь идет только о некоторой точке на , и оставляют определение конформно-плоского для случая, в котором соотношение справедливо для всех на . х {\displaystyle x} М {\displaystyle М} х {\displaystyle x} М {\displaystyle М}

Примеры

  • Каждое многообразие с постоянной кривизной сечения является конформно плоским.
  • Каждое двумерное псевдориманово многообразие является конформно плоским. [1]
    г с 2 = г θ 2 + грех 2 θ г ϕ 2 {\displaystyle ds^{2}=d\theta ^{2}+\sin ^{2}\theta \,d\phi ^{2}\,} , [2] имеет метрический тензор  и не является плоским, но с помощью стереографической проекции может быть отображено в плоское пространство с использованием конформного фактора , где - расстояние от начала координат плоского пространства, [3] получая г я к = [ 1 0 0 с я н 2 θ ] {\displaystyle g_{ik}={\begin{bmatrix}1&0\\0&sin^{2}\theta \end{bmatrix}}} 2 ( 1 + г 2 ) {\displaystyle 2 \over (1+r^{2})} г {\displaystyle r}
    г с 2 = г θ 2 + грех 2 θ г ϕ 2 = 4 ( 1 + г 2 ) 2 ( г х 2 + г у 2 ) {\displaystyle ds^{2}=d\theta ^{2}+\sin ^{2}\theta \,d\phi ^{2}\,={\frac {4}{(1+r^{2})^{2}}}(dx^{2}+dy^{2})} .
  • Трехмерное псевдориманово многообразие является конформно плоским тогда и только тогда, когда тензор Коттона равен нулю.
  • n -мерное псевдориманово многообразие при n ≥ 4 является конформно плоским тогда и только тогда, когда тензор Вейля равен нулю.
  • Каждое компактное , односвязное , конформно евклидово риманово многообразие конформно эквивалентно круглой сфере . [4]
  • Стереографическая проекция обеспечивает систему координат для сферы, в которой конформная плоскостность очевидна, поскольку метрика пропорциональна плоскостности.
Например, координаты Крускала-Секереша имеют линейный элемент
г с 2 = ( 1 2 Г М г ) г в г ты {\displaystyle ds^{2}=\left(1-{\frac {2GM}{r}}\right)dv\,du} с метрическим тензором и так не плоский. Но с преобразованиями и г я к = [ 0 1 2 Г М г 1 2 Г М г 0 ] {\displaystyle g_{ik}={\begin{bmatrix}0&1-{\frac {2GM}{r}}\\1-{\frac {2GM}{r}}&0\end{bmatrix}}} т = ( в + ты ) / 2 {\displaystyle t=(v+u)/2} х = ( в ты ) / 2 {\displaystyle x=(vu)/2}
становится
г с 2 = ( 1 2 Г М г ) ( г т 2 г х 2 ) {\displaystyle ds^{2}=\left(1-{\frac {2GM}{r}}\right)(dt^{2}-dx^{2})} с метрическим тензором , г я к = [ 1 2 Г М г 0 0 1 + 2 Г М г ] {\displaystyle g_{ik}={\begin{bmatrix}1-{\frac {2GM}{r}}&0\\0&-1+{\frac {2GM}{r}}\end{bmatrix}}}
что равно произведению плоской метрики на конформный фактор . [7] 1 2 Г М г {\displaystyle 1-{\frac {2GM}{r}}}

Смотрите также

Ссылки

  1. ^ ab Ray D'Inverno. "6.13 Тензор Вейля". Введение в теорию относительности Эйнштейна . стр.  88–89 .
  2. ^ Сферическая система координат - Интегрирование и дифференцирование в сферических координатах
  3. ^ Стереографическая проекция - Свойства . Формула Римана
  4. ^ Кёйпер, NH (1949). «О конформно плоских пространствах в целом». Annals of Mathematics . 50 (4): 916–924 . doi :10.2307/1969587. JSTOR  1969587.
  5. ^ Гарецкий, Януш (2008). «Об энергии вселенных Фридмана в конформно плоских координатах». Акта Физика Полоника Б. 39 (4): 781–797 . arXiv : 0708.2783 . Бибкод : 2008AcPPB..39..781G.
  6. ^ Гарат, Алсидес; Прайс, Ричард Х. (2000-05-18). "Несуществование конформно плоских срезов пространства-времени Керра". Physical Review D. 61 ( 12): 124011. arXiv : gr-qc/0002013 . Bibcode : 2000PhRvD..61l4011G. doi : 10.1103/PhysRevD.61.124011. ISSN  0556-2821. S2CID  119452751.
  7. ^ Рэй Д'Инверно. "17.2 Решение Крускала". Введение в теорию относительности Эйнштейна . С.  230–231 .


Взято с "https://en.wikipedia.org/w/index.php?title=Конформно_плоский_многообразие&oldid=1208873200"