괴델 계량

**괴델 해** 또는 **괴델 우주**라고도 하는 **괴델 계량**(Gödel metric)은 에너지-운동량 텐서에 두 항이 포함되어 있는 아인슈타인 장 방정식의 정확한 해다. 첫 번째 항은 균일하게 분포된 소용돌이 치는 먼지 입자(먼지 해)들의 질량 밀도를 나타내고, 두 번째 항은 음의 우주상수와 관련되어 있다.(Lambdavacuum 해 참조).

이 해에는 많은 특이한 성질이 있다. 특히 시간 여행을 허용하는 닫힌 시간꼴 곡선이 존재한다. 먼지 알갱이의 밀도에 맞게 우주 상수의 값을 신중하게 선택해야 한다는 점에서 그 정의는 다소 인위적이지만, 이 시공간은 중요한 교육적 예이기도 하다.

이 해는 쿠르트 괴델이 1949년에 발견했다.

## 정의
장 방정식의 다른 해들과 마찬가지로, 괴델 해는 국소적 좌표 조각의 관점에서 계량 텐서를 제공한다. 괴델 우주를 원통 좌표 조각(아래 제시)를 사용하여 이해하는 것이 가장 쉬울 수 있지만 이 글에서는 괴델이 원래 사용했던 좌표 조각을 사용한다. 이 좌표 조각에서 계량(또는 이에 상응하는 선 요소)은

:  g = \frac{1}{2\omega^2} \left[ -(dt + e^x \, dy)^2 + dx^2 + \tfrac{1}{2} e^{2x} \, dy^2 +dz^2\right], \qquad -\infty 

여기서,  \omega는 먼지 알갱이 중 하나를 타고 있는 "회전하지 않는" 관찰자가 측정한 *y*축 주위의 주변 먼지 알갱이의 각속력에 해당하는 0이 아닌 실수 상수이다. "회전하지 않는"은 관찰자가 원심력을 느끼지 않는다는 것을 의미하지만 이 좌표 조각에서는 *y* 축에 평행한 축을 중심으로 회전한다. 알 수 있듯이 먼지 알갱이는 *x*, *y* 및 *z* 의 일정한 값을 유지한다. 이 좌표 조각에서 밀도는 *x* 에 따라 증가하지만, 자신의 기준 틀에서 밀도는 모든 곳에서 동일하다.

## 속성
괴델 해의 속성을 연구하기 위해 틀 장를 채택할 수 있다.

: \vec{e}_0 = \sqrt{2} \omega \, \partial_t
: \vec{e}_1 = \sqrt{2} \omega \, \partial_x
: \vec{e}_2 = \sqrt{2} \omega \, \partial_y
: \vec{e}_3 = 2 \omega \, \left( \exp(-x) \, \partial_z - \partial_t \right).

이 틀은 '먼지 알갱이와 함께 움직이는' 관성 관찰자들의 족을 정의한다. 그러나 \vec{e}_0에 대하여 페르미-워커 도함수를 계산하면 공간 틀이 \vec{e}_2에 대해 각속도 -\omega로 *회전* 하고 있음을 보여준다. 먼지 알갱이와 함께 움직이는 '비회전 관성틀'은 다음과 같다:

: \vec{f}_0 = \vec{e}_0
: \vec{f}_1 = \cos(\omega t) \, \vec{e}_1 - \sin(\omega t) \, \vec{e}_3
: \vec{f}_2 = \vec{e}_2
: \vec{f}_3 = \sin(\omega t) \, \vec{e}_1 + \cos(\omega t) \, \vec{e}_3.

### 아인슈타인 텐서
아인슈타인 텐서의 구성 요소(위의 두 틀에 대해)는 다음과 같다.

: G^{\hat{a}\hat{b}} = \omega^2 \operatorname{diag} (-1,1,1,1) + 2 \omega^2 \operatorname{diag} (1,0,0,0).

여기서 첫 번째 항은 Lambdavacuum 해의 특성이고, 두 번째 항은 압력이 없는 완벽한 유체 또는 먼지 해의 특성이다. 우주 상수는 먼지의 물질 밀도를 부분적으로 상쇄하기 위해 신중하게 선택된다.

### 위상 수학적 성질
괴델 시공간은 아인슈타인 장 방정식의 정규(특이점이 없는) 해의 드문 예이다. 괴델의 원래 좌표 조각은 측지완비이고 특이점이 없다. 따라서 이것은 대역적 좌표 조각이고, 시공간은 \mathbb R^4 와 동형이므로 단일 연결 공간이다.

### 곡률 불변량
모든 로렌츠 시공간에서 4차 리만 텐서는 접벡터의 4차원 공간에 대한 다중 선형 연산자(일부 사건에서)이지만 해당 사건에서 이중 벡터의 6차원 공간에 대한 선형 연산자이다. 따라서 고유값이 근이 되는 특성 다항식을 갖는다. 괴델 시공간에서 이러한 고유값들은 간단하다.

* 삼중 고유값 0,
* 이중 고유값 -\omega^2 ,
* 단일 고유값 \omega^2 .

### 킬링 벡터
이 시공간은 시간 병진 변환  \partial_t , 2개의 '공간 병진 변환'  \partial_y, \; \partial_z, 2개의 추가 킬링 벡터장:

:  \partial_x - z \, \partial_z 

그리고

:  -2 \exp(-x) \, \partial_t + z \, \partial_x + \left( \exp(-2x) -z^2/2 \right) \, \partial_z.

들로 생성되는 킬링 벡터의 5차원 리 대수를 허용한다. 등장사상 군은 '병진적으로' 작동한다. 따라서 시공간은 '균질'하다. 그러나 '등방적'이 아니다.

x=x_0인 초평면이 추이적 아벨 3차원 변환 군을 허용하므로, 해의 몫은 고정된 원통형 대칭 해로 재해석될 수 있다. 초평면 y=y_0는 SL(2, '''R''' ) 작용을 허용하고 초평면 t=t_0는 Bianchi III를 허용한다(네 번째 킬링 벡터 장 참조). 이를 대칭 군이 Bianchi 유형 I, III 및 VIII의 3차원 하위 군 예를 포함한다고 설명할 수 있다. 5개의 킬링 벡터 중 4개와 곡률 텐서는 좌표 y에 의존하지 않는다. 괴델 해는 3차원 로렌츠 다양체(부호수 −++)가 있는 인수 **R**의 데카르트 곱이다.

괴델 해는 국소 등장사상까지 킬링 벡터의 5차원 리 대수를 허용하는 아인슈타인 장 방정식의 유일한 완벽한 유체 해라는 것을 보여줄 수 있다.

### 페트로프 분류 및 벨 분해
괴델 해의 바일 곡률 텐서는 페트로프 분류 '''D'''이다. 이것은 적절하게 선택된 관찰자의 경우 조석력이 뉴턴 중력의 점질량에서 느껴지는 것과 아주 가깝다는 것을 의미한다.

조석력을 더 자세히 연구하기 위해 리만 텐서의 벨 분해는 조석력 또는 전기 중력 텐서(조석력을 나타냄), 자기 중력 텐서(회전하는 시험 입자에 대한 스핀-스핀 힘을 나타냄) 및 topogravitic tensor(공간 단면 곡률을 나타냄)의 세 부분으로 계산할 수 있다. 자기와 유사한 다른 중력 효과)

먼지 입자와 함께 이동하는 관찰자는 \vec{u} = \vec{e}_0에 대한 조석 텐서는 다음과 같다:

: {E\left[ \vec{u} \right]}_{\hat{m}\hat{n}} = \omega^2 \operatorname{diag}(1,0,1).

즉, 방향 \partial_y과 직교하는 등방성 조석장력을 측정한다.  .

중력 자기 텐서는 사라진다:

: {B\left[ \vec{u} \right]}_{\hat{m}\hat{n}} = 0.

이것은 이 시공간의 비정상적인 대칭의 결과이며 먼지의 추정 "회전"에는 일반적으로 회전하는 물질에 의해 생성되는 중력장과 관련된 중력 자기 효과가 없음을 의미한다.

여기서 리만 텐서의 주요 로렌츠 불변량은 다음과 같다.

: R_{abcd} \, R^{abcd} = 12 \omega^4, \; R_{abcd}  = \mu \operatorname{diag}(1,0,0,0) + p \operatorname{diag}(0,1,1,1)

이것은 다음 조건을 준다:

:  b^{\prime\prime\prime} = \frac{b^{\prime\prime} \, b^{\prime}}{b}, \; \left( a^\prime \right)^2 = 2 \, b^{\prime\prime} \, b

이것들을 아인슈타인 텐서에 연결하면 \mu = p임을 알 수 있다. 이러한 방식으로 구성할 수 있는 가장 단순한 비자명 시공간은 분명히 이 계수가 0이 아니지만 반경 좌표의 *상수* 함수일 것이다. 구체적으로, 약간의 예지력을 가지고 \mu = \omega^2를 선택하자. 그러면,

:  b(r) = \frac{\sinh(\sqrt{2} \omega \,r)}{\sqrt{2} \omega}, \; a(r) = \frac{\cosh(\sqrt{2} \omega r)}{\omega} + c

마지막으로 이 틀이 다음을 만족하도록 하자:

: \vec{e}_0=\partial_t, \; \vec{e}_1=\partial_z, \; \vec{e}_2=\partial_r, \; \vec{e}_3 = \frac{ \sqrt{2} \omega }{ \sinh( \sqrt{2} \omega r ) } \, \partial_\varphi - \frac{\sqrt{2}\sinh(\sqrt{2} \omega r)}{1+\cosh(\sqrt{2} \omega r)} \, \partial_t

그러면 c=-1/\omega 이고, 틀은

: \vec{e}_0=\partial_t, \; \vec{e}_1=\partial_z, \; \vec{e}_2=\partial_r, \; \vec{e}_3 = \frac{ \sqrt{2} \omega }{ \sinh( \sqrt{2} \omega r ) } \, \partial_\varphi - \frac{\sqrt{2}\sinh(\sqrt{2} \omega r)}{1+\cosh(\sqrt{2} \omega r)} \, \partial_t

이 된다.

### 빛원뿔의 모양
계량 텐서에서 우리는 벡터장 이 작은 반지름에 대해 장소꼴이며 에서 r = r_c에서 *빛꼴*이 된다. 여기서

: r_c = \frac{\operatorname{arcosh}(3)}{\sqrt{2} \omega}

이다. 이 반경에서 우리는 \vec{e}_3 = \tfrac{ \omega }2 \, \partial_\varphi - \partial_t를 얻고,  \tfrac{ \omega }2 \, \partial_\varphi = \vec{e}_3+\vec{e}_0이고, 따라서 빛꼴이다. *t* 에서 주어진 원 r = r_c은 닫힌 빛꼴 곡선이지만 빛꼴 측지선은 아니다.

위의 틀을 살펴보면, z좌표가 불필요하다; 이 시공간은 계량 부호수 (−++) 3차원 다양체와 인자 **R** 의 직적이다. z를 무시하고, 3차원 다양체에 집중하기 위해,  대칭축에서 벗어날 때 빛원뿔의 모양이 어떻게 변하는지 살펴보겠다:
가운데|프레임| 괴델 람다 먼지 해에 대한 원통형 좌표 조각의 두 개의 빛원뿔(틀 벡터와 함께). 명목상 대칭 축에서 바깥쪽으로 이동함에 따라 원뿔은 ''앞으로 기울어지고,'' ''넓어진다''. 수직 좌표선(먼지 입자의 세계선을 나타냄)은 ''시간꼴''이다.
임계 반경에 도달하면 빛원뿔들은 닫힌 시간꼴 곡선에 접하게 된다.

### 닫힌 시간꼴 곡선의 합동
임계 반경 r = r_c에서, 벡터장 \partial_\varphi은 빛꼴이 된다. 더 큰 반지름의 경우 *시간꼴*이다. 따라서 대칭 축에 해당하는 시간꼴 합동은 *원*으로 구성되고, 특정 관찰자에 해당한다. 그러나 이 합동은 *원통* r=r_c*의 외부에서만 정의된다.*

이것은 측지적 합동이 아니다. 오히려 이 족의 각 관찰자는 자신의 진로를 유지하기 위해 *일정한 가속* 을 유지해야 한다. 반경이 작은 관찰자는 더 세게 가속해야 한다. 예상 되듯이, r \rightarrow r_c일 때 가속도의 크기는 발산한다.

### 빛꼴 측지선
대칭축에서 사건의 과거 빛 원뿔을 조사하면 다음 그림을 찾을 수 있다.
가운데|프레임| 빛꼴 측지선은 대칭 축에서 관찰자를 향해 시계 반대 방향으로 나선형이다. 이것은 "위에서" 보여준다.
좌표 조각의 수직 좌표선은 먼지 입자의 세계선을 나타내지만 *좌표 조각에서 직선*으로 보이지만 이러한 곡선에 의해 형성되는 합동은 0이 아닌 소용돌이를 가지므로 세계선은 실제로 *서로 뒤틀리고* 있다. 빛꼴 측지선이 위에 표시된 방식으로 안쪽으로 나선을 그린다다는 사실은 관찰자가 *방사형으로 바깥쪽* 을 볼 때, 현재 위치가 아니라 이전 위치에서 근처의 먼지 입자를 볼 수 있음을 의미한다. 이것은 먼지 입자가 실제로 서로 회전하는 경우 예상할 수 있는 것이다.

빛꼴 측지선은 *기하학적으로 직선*이다. 그림에서 그들은 먼지 입자가 고정되어 나타나도록 하기 위해 좌표가 "회전"하기 때문에 나선형으로 보인다.

### 절대적인 미래
호킹과 엘리스에 따르면 대칭축의 사건에서 방출된 모든 광선은 축의 이후 사건에서 다시 수렴되며 빛꼴 측지선은 (빛꼴 곡선이지만 빛꼴 측지선은 아닌)원형 첨단을 형성한다:
가운데|프레임| 대칭축에서 관찰자에 의해 방출된 빛의 퍼져나감과 재수렴에 대한 호킹과 엘리스의 그림.
이것은 Gödel lambdadust 해에서 각 사건의 절대적인 미래가 우리가 순진하게 예상할 수 있는 것과는 아주 다른 특성을 가지고 있음을 의미한다.

## 우주론적 해석
괴델을 따라서, 우리는 먼지 입자들을 은하들로 해석할 수 있으므로, 괴델 해는 *회전하는 우주의 우주론적 모델이* 된다. 회전하는 것 외에 이 모델은 허블 팽창 을 나타내지 않으므로, 우리가 살고 있는 우주의 현실적인 모델은 아니지만, 원칙적으로 일반 상대성 이론에 의해 허용되는 우주를 설명하는 것으로 볼 수 있다. 잘 알려지지 않은 다른 괴델의 해는 회전과 허블 확장을 모두 보여주고 그의 첫 번째 모델의 다른 특성을 가지고 있지만 과거로의 여행은 불가능하다. 스티븐 호킹에 *따르면 이러한 모델은 우리가 관찰하는 우주에 대한 합리적인 설명* 일 수 있지만 관측 데이터는 아주 낮은 회전 속도에서만 호환된다. 이러한 관찰의 질은 괴델이 죽을 때까지 계속해서 향상되었고, 괴델은 항상 "우주는 아직 회전하고 있는가?"라고 묻곤 했고, "아니오, 그렇지 않다."라는 말을 듣곤 했다.

원래 좌표 조각에서 *y* 축에 누워 있는 관찰자가 그 축을 중심으로 시계 방향으로 회전하는 우주의 나머지 부분을 보는 것을 보았다. 그러나 시공간의 균질성은 이 "축"의 *위치*가 아니라 *방향*이 구별됨을 보여준다.

어떤 사람들은 괴델 우주를 일반 상대성 이론이 일종의 마하의 원리를 나타내야 한다는 아인슈타인의 희망에 대한 반례로 해석했다: 뚜렷한 회전축은 없지만 어떤 의미에서 특별한 방향을 고를 수 있는 예.

다른 사람들은, 마하의 원리를 각 사건에서 회전하지 않는 관성 틀의 정의를, 우주의 모든 곳에서 물질의 전역 분포 및 운동에 연결하는 물리적 법칙을 의미하는 것으로 보고, 회전하지 않는 관성 틀이 정확하게 연결되어 있기 때문에, 마하 원리가 제안하는 방식으로 먼지의 회전에 대해 이 모델은 마하의 우너리와 일치한다고 말한다.

이 밖에도 회전하는 우주의 우주 모델로 해석될 수 있는 다른 많은 정확한 해가 알려져 있다.

## 같이 보기
* van Stockum 먼지, (진정한) 원통형 대칭을 가진 또 다른 회전 먼지 해의 경우,
* 먼지 해, 일반 상대성 이론의 먼지 해에 대한 기사.

## 각주

## 메모
* 
*  See *section 12.4* for the uniqueness theorem.
*  See *section 5.7* for a classic discussion of CTCs in the Gödel spacetime. *Warning:* in Fig. 31, the light cones do indeed tip over, but they also widen, so that vertical coordinate lines are always timelike; indeed, these represent the world lines of the dust particles, so they are timelike geodesics.
* 
* Gödel universe on arxiv.org.
* Vukovic R. (2014): ''Tensor Model of the Rotating Universe'', Exercise in Special Relativity .

분류:쿠르트 괴델의 작품
분류:일반 상대성 이론의 엄밀해
분류:텐서