Dexter's story

수업시간에 마주한 Frobenius' theorem이 특수상대론의 유명한 문제인 '회전하는 원반의 둘레는 얼마인가?'와 연결된다는 것을 깨닫고 작성을 시작한 노트. 별 내용도 없는데 생각보다 작성하는데 시간이 오래 걸렸다. 특수상대론을 다루는 부분은 작업 시작한 날 3시간만에 전부 정리했는데 나머지 부분에서 제대로 된 설명을 만드느라 헤매서....

처음 쓰기 시작했을 때는 '오 이거 재미있다!'란 생각으로 타자를 쳤는데 다 치고 나니까 '뭐야 이거 당연한 소리였잖아...'란 느낌만 든다. 안 그런 일이 드물기는 하지만...

Frobenius Theorem in General Relativity.pdf

오늘 아카이브에 들어가봤다가 의외의 글을 발견했다.

http://arxiv.org/abs/1508.05607

de Sitter 공간에서 타키온을 올려놓은 문제인데, 사실 '어 이게 글로 나올 만한 문제였던가?'가 솔직한 감상. 고전적인 타키온 입자는 유한한 시간 동안만 생존한다는게 주요 내용인데(양자적인 경우는 조금 다르게 취급), '유한한 시간 동안 생존한다'는 해석을 빼면 전혀 새로울 것이 없었는지라. 다만 이런 느낌은 내가 타키온을 해석하는 방법 때문인지도 모르겠다.

우선 예전 글들 링크.

2015/01/09 - 일반상대론에서의 쌍둥이 역설

2014/01/11 - Poincare Half Plane 푸앙카레 반평면 (1)

2014/05/25 - Poincare Half Plane 푸앙카레 반평면 (2)

지금 보니 블로그에서 직접적으로 언급한 적이 없다는 것이 살짝 의외인데, de Sitter(이하 dS) 공간과 Anti-de Sitter(이하 AdS) 공간은 사실상 똑같은 공간이다. 푸앙카레 반평면 (1)글에서 마지막에 살짝 언급하고 넘어갔듯, 푸앙카레 반평면 (2)글에서 t와 z의 해석을 뒤바꿔주면 AdS 공간이 dS 공간으로 변한다. 이 말은 AdS 공간에 사는 질량이 있는 물질, 타디온(tardyon)들이 dS 공간의 질량 제곱이 음수인 물질, 타키온들과 똑같이 움직인다는 것을 의미한다. 그 반대로 dS 공간의 타디온들이 AdS 공간의 타키온들처럼 행동한다는 해석 또한 가능하고.

다만 우리가 일반적으로 생각하는 시공간에서는 시간 차원이 하나밖에 존재하지 않아서 완전히 동일하지는 않다. AdS/CFT에서와 같이 일반적으로 AdS 공간을 생각할 경우 한 차원 높은 민코프스키 공간에서 초쌍곡면을 그대로 가져다가 AdS 공간으로 잡지 않고 그 universal cover를 이용하곤 한다. 이 짓을 안 하면 closed timelike trajectory가 나와서 인과율에 문제가 생기기 때문이다. 이건 시간 방향이 1차원이라서 $S^1$의 위상을 갖기 때문에 가능한 일인데, 만약 시간 방향이 2차원이거나 보다 높은 차원을 가질 경우에는 $S^n$의 위상을 갖게 되고, $S^n$은 자기 자신이 universal cover이기 때문에 universal cover를 취해서 closed timelike trajectory를 없애는 것이 불가능해진다. n+1차원의 dS 공간에서 움직이는 타키온을 무작정 측지텐서의 부호를 뒤집어서 AdS 공간에서 움직이는 타디온으로 바꾸어 해석하려면 조심해야 할 필요가 있다는 소리.

여기까지는 주의사항이었으니 타키온에 물리적인 의미를 줄 수 있는 방법을 생각해보자. 일반상대론에서의 쌍둥이 역설에서 설명했듯, 양의 질량 제곱을 가진 물체가 관성운동을 하면서 재는 고유시간은 그 물체가 만든 직선(일반상대론에서 관성운동하는 물체가 그리는 경로는 직선이다)의 길이를 의미한다. 같은 해석을 타키온에 적용하면, 타키온이 관성운동을 하면서 재는 고유시간(tachyonic proper time이라고 부를 수 있을 것이다)은 타키온이 그린 경로의 길이, 혹은 타키온이 지난 경로를 온전히 포함하는 time slice 위에서의 spatial distance에 해당한다.^[각주:1]

이 결론을 임의의 n+1 dS 공간에서 움직이는 타키온들에 적용해보면 재미있는 사실을 몇 가지 알 수 있다. 우선 AdS와 dS의 대칭을 이용하면 임의의 점에서 각기 방향으로^[각주:2] 쏘아보낸 타키온들은 모두 한 점에서 만난다는 사실을 알 수 있다.^[각주:3] FLRW flat 형태의 dS 공간 metric에만 익숙한 분들이라면 약간 놀라울 수 있는 사실. 모든 타키온들이 만나는 점은 타키온을 처음 쏘아보낸 점의 대척점(antipodal point)에 해당한다.

이번에는 좌표를 새로 잡아보도록 하자. 각 방향으로 쏘아보내는 타키온들 중 임의로 하나씩 골라 그 타키온들의 시공간상의 경로가 만들어내는 초평면을 time slice로 하는 좌표계를 만들어보는 것이다.^[각주:4]이렇게 좌표계를 건설하는 것은 dS 공간은 등방적이기 때문에 처음에 쏘아보내는 타키온들의 운동량 분포만 충분히 매끄럽게 만들면 얼마든지 가능하다. 정의상 이 좌표계에서 시간에 해당하는 좌표 t가 상수인 초평면 위를 움직이는 타키온들은 한 점에서 만난다.

결론적으로, 해당 arXiv 글의 결과는 'dS 공간은 모든 spacelike geodesic은 loop를 만든다'는 기하학적인 명제를 다르게 해석한 것이라고 할 수 있다. 타키온이 만드는 경로가 bound되어 있으니 무한한 시간동안 살아남지 못하는 것은 당연한 결과인 셈이다.

Lense-Thirring effect가 과제로 나와서 이책 저책을 찾아보다가 Fermi-Walker transport란걸 알게 되었다. 검색을 조금 돌려보니까 이런 논문도 나오는데, 이 논문까지 읽을 필요는 없을듯. Fermi-Walker transport의 식은 다음과 같이 주어진다.

\[\frac{D_F A^{\mu}}{Ds}=(w^{\mu} u_{\nu}-u^{\mu}w_{\nu})A^{\nu}\] \[\mathbf{u}=\frac{d}{ds}, \mathbf{w}=\nabla_{\mathbf{u}}\mathbf{u}\] \[s \text{ is (natural) parametrisation of the curve; }\mathbf{u}\cdot\mathbf{u}=1\]

notation이 이것저것 섞여있긴 한데 알아들을 분들은 다 알아들으리라 믿고(...)

그래서 이게 뭐냐? 위키백과 항목에는 '평행이동(parallel transport)의 일반화'라고 서술되어 있지만 그 말은 별로 옳지 않아 보인다. 그림으로 보는게 가장 이해하기 편할 듯.

평행이동을 곡면좌표계(curvilinear coordinates)에서 유도하는 과정을 보면 위의 그림이 된다.

그리고 이게 Fermi-Walker transport. 이동시킬 곡선에 평행한 성분은 계속 평행하고 수직한 성분은 계속 수직하게 이동시키는 과정. 따라서 이동시키는 곡선이 '직선'(혹은 측지선-geodesic)인 경우 Fermi-Walker transport는 평행이동과 같아진다. Fermi-Walker transport의 식 유도는 벡터 $\mathbf{A}$를 가져다가 곡선의 접선(tangent)인 $\mathbf{u}$에 평행한 성분과 수직한 성분으로 나눈 뒤 수직한 성분의 변화율을 $\mathbf{u}\cdot\mathbf{A_\perp}=0$을 미분해서 얻으면 된다. 감이 안 잡히면 LPPT Problem book in Relativity and Gravitation의 문제 11.7에서 풀어주고 있으니 그 책을 확인해보는 것도 좋을듯. 이 책은 어둠의 경로가 아니더라도 http://www.nrbook.com/relativity/에서 볼 수 있다.