위키백과

반 더시터르 공간: 두 판 사이의 차이

입체적으로 역사 찾아보기
← 이전 편집다음 편집 →
내용 삭제됨 내용 추가됨
시각위키텍스트
잔글 Osteologia 사용자가 반 드 지터 공간 문서를 반 더 시터르 공간 문서로 옮겼습니다: 토론:빌럼 더 시터르 참고. 물리/천문학회 용어집 미수록. 수학회 용어집에는 "반 드 시터 공간"
잔글편집 요약 없음
1번째 줄:
'''반 드지터더 시터르 공간'''(反 de Sitter 空間, {{llang|en|anti–de Sitter space}}, 기호 AdS)은 최대 대칭적({{lang|en|maximally symmetric}})이고, 음의 [[스칼라 곡률]]을 갖는 [[로렌츠 다양체]]다. [[쌍곡공간]]을 임의의 [[계량 부호수|부호수]]에 대하여 일반화한 것이다. ([[드지터더 시터르 공간]]은 최대대칭적이고 양의 스칼라 곡률을 갖는 다양체다.)
 
반드지터반 더 시터르 공간은 음의 [[우주상수]]를 가지는 [[일반 상대성 이론]]의 진공해를 이루며, 또 [[끈 이론]]에서 [[AdS/CFT 대응성]]에 중요한 역할을 한다.
 
== 정의 ==
[[계량 부호수|부호수]]가 <math>(p,q)</math>인 반드지터반 더 시터르 공간은 부호수가 <math>(p,q+1)</math>인 [[민코프스키 공간]]에 국소적 [[등거리사상|등거리]] [[묻기]]({{lang|en|isometry}})가 가능하다. <math>(p,q+1)</math>-민코프스키 공간의 [[계량 텐서|계량 형식]]은
:<math>ds^2 = \sum_{i=1}^p dx_i^2 - \sum_{j=1}^{q+1} dt_j^2</math>
이다. 이 때, 반드지터'''반 공간은더 시터르 공간'''은 다음 식을 만족하는 [[부분공간]]으로 정의할 수 있다.
:<math>\sum_{i=1}^p x_i^2 - \sum_{j=1}^{q+1} t_j^2 = -\alpha^2</math>
여기서 <math>\alpha>0</math>는 양의 실수로, '''반 드더 지터시터르 반지름'''({{llang|en|anti-de Sitter radius}})이라고 불린다. 즉, 반 드더 지터시터르 공간은 민코프스키 공간에서의 [[구 (기하학)|구]]이다. 이 때, <math>q=0</math>이면 이는 일반적인 [[쌍곡공간]]이 된다.
 
<math>q\ge1</math>인 경우, 이 등거리묻기를 전역적으로 생각하여 정의한 부분공간은 시간꼴 폐곡선을 지닌다. <math>q=1</math>인 경우, 이는 [[전피복공간]]을 취하여 시간꼴 폐곡선을 없앨 수 있다. (<math>q>1</math>인 경우는 그렇지 않다.) 시간꼴 폐곡선은 물리학적으로 역설적이므로, 일반적으로 물리학에서 "반드지터반더 시터르 공간"이라면 전피복공간을 취한 경우를 일컫는다.
 
반 드더 지터시터르 공간은 [[전피복공간]]을 취하지 않은 경우 등거리변환군이 <math>O(p,q+1)</math>이다. 전피복공간을 취하였다면, 등거리변환군은 <math>O(p,q+1)</math>의 어떤 피복군이 된다.
 
== 성질 ==
<math>d</math>차원 (로런츠 [[계량 부호수]]) 반 드더 지터시터르 공간의 [[리만 곡률]]은 다음과 같다. (<math>-++\dotsb +</math> 부호수를 사용한다.)
:<math>R_{\mu\nu\rho\sigma}=\alpha^{-2}(g_{\mu\sigma}g_{\nu\rho}-g_{\mu\rho}g_{\nu\sigma})</math>
따라서 [[리치 곡률]]과 [[스칼라 곡률]]은 다음과 같다.
:<math>R_{\mu\nu}=-(d-1)\alpha^{-2}g_{\mu\nu}</math>
:<math>R=-d(d-1)\alpha^{-2}</math>.
이로부터 반 드더 지터시터르 공간은 [[우주 상수]]
:<math>\Lambda=-\frac12(d-1)(d-2)\alpha^{-2}</math>
인 [[아인슈타인 방정식]]의 해임을 알 수 있다.
 
=== 등각 경계 ===
반 드더 지터시터르 공간은 시간꼴(timelike) '''등각 경계'''({{llang|en|conformal boundary}})를 가진다. ''n''차원 반 드더 지터시터르 공간의 등각 경계는 위상수학적으로 <math>S^{n-1}\times S^1</math>이고,<ref>{{저널 인용|arxiv=hep-th/0512182|title=Anti-de Sitter boundary in Poincare coordinates|doi=10.1007/s10714-007-0446-y|bibcode=2007GReGr..39.1367B|issn=0001-7701|저널=General Relativity and Gravitation|권=39|호=9|쪽=1367–1379|날짜=2007-09|이름=C. A.|성=Ballón Bayona|공저자=Nelson R. F. Braga|언어고리=en}}</ref><ref>{{저널 인용|
제목=Introduction to the Maldacena Conjecture on AdS/CFT
|이름=Jens Lyng|성=Petersen|doi=10.1142/S0217751X99001676|bibcode=1999IJMPA..14.3597P|arxiv=hep-th/9902131|저널=International Journal of Modern Physics A|권=14|호=23|쪽=3597–3672|날짜=1999-09-20|issn=0217-751X|언어고리=en}}</ref> [[전피복공간]]을 취하였을 경우 위상수학적으로 <math>S^{n-1}\times\mathbb R</math>이다. 등각 경계가 시간꼴이므로, 반 드더 지터시터르 공간은 [[코시 곡면]](Cauchy surface)을 가지지 않는다. 즉, 주어진 시간에 초기 조건을 부여하더라도, 등각 경계에 [[경계 조건]]을 부여하지 않으면 [[초기값 문제]]를 풀 수 없다.
 
특히, [[빛의 속력]]의 입자는 반 드더 지터시터르 공간의 등각 경계에 유한 시간 안에 도달할 수 있다. 정적 좌표계를 사용하고, 입자의 궤적이 <math>r(t)</math>라고 하자. 입자가 빛의 속력으로 움직이므로
:<math>0=ds^2=-(r^2/\alpha^2+1)dt^2+(r^2/\alpha^2+1)^{-1}dr^2</math>
이고, 따라서
39번째 줄:
임을 알 수 있다.
 
반 드더 지터시터르 공간의 '''푸앵카레 조각'''({{llang|en|Poincaré patch}})은 푸앵카레 좌표계로 나타낼 수 있는 부분공간이다. 푸앵카레 조각의 등각 경계는 ''n''&minus;1차원 [[민코프스키 공간]]이며, AdS<sub>''n''</sub>의 등거리사상군 SO(''n''&minus;1,2)는 이 민코프스키 공간의 [[등각변환|등각변환군]]으로 작용한다. 이는 [[AdS/CFT 대응성]]에 핵심적인 역할을 한다.
 
== 좌표계 ==
반 드더 지터시터르 공간에는 여러 좌표계를 정의할 수 있다. 흔히 쓰이는 것들은 다음과 같다.
 
=== 푸앵카레 좌표계 ===
[[File:AdS A.PNG|thumb|right|반 드더 지터시터르 공간(의 전피복공간)의 형상화. 반 드더 지터시터르 공간은 원기둥의 내부에 해당하고, 그 등각 경계는 원기둥의 표면이다. 푸앵카레 조각은 녹색으로 칠해진 부분이다. 푸앵카레 조각의 표면은 마름모꼴인데, 이는 [[민코프스키 공간]]의 [[펜로즈 그림]]에 해당한다.]]
'''푸앵카레 좌표계'''({{llang|en|Poincaré coordinates}})를 사용하면 AdS<sub>''n''</sub>의 [[계량 텐서]]는 다음과 같다.
:<math>ds^2=\frac1{z^2}\left(-dt^2+dz^2+\sum_{i=1}^{n-2}(dx^i)^2\right)</math>
반 드더 지터시터르 공간의 경계는 <math>z=0</math>에 위치해 있다.
 
푸앵카레 좌표계는 반 드더 지터시터르 공간의 전체를 덮지 않는다. 하나의 푸앵카레 좌표계로 나타낼 수 있는 부분공간을 '''푸앵카레 조각'''({{llang|en|Poincaré patch}})이라고 한다. 전피복공간을 취하지 않았을 경우 반 드더 지터시터르 공간은 두 개의 푸앵카레 조각으로 이루어진다.
 
=== 정적 좌표계 ===
'''정적 좌표계'''({{llang|en|static coordinates}})를 사용하면 AdS<sub>''n''</sub>의 [[계량 텐서]]는 다음과 같다.
:<math>ds^2=-(r^2/\alpha^2+1)dt^2+(r^2/\alpha^2+1)^{-1}dr^2+r^2d\Omega_{n-2}^2</math>
반 드더 지터시터르 공간의 경계는 <math>r=\infty</math>에 위치해 있다. 이 좌표계는 반 드더 지터시터르 공간 전체를 덮는다.
 
=== 동시 좌표계 ===
'''동시 좌표계'''({{llang|en|synchronous coordinate}})를 통해, 반 드더 지터시터르 공간 AdS<sub>''n''</sub>을 [[쌍곡공간]] ''H''<sub>''n''&minus;1</sub>로 엽층화(foliation)할 수 있다. 이는 [[FLRW 계량]]의 특수한 경우다.
:<math>ds^2=-dt^2+\alpha^2\sin^2(t/\alpha)\left(ds^2+(\sinh^2s)d\Omega_{n-2}^2\right)</math>
::<math>=-dt^2+\alpha^2\sin^2(t/\alpha)\left(\frac{dr^2}{1+r^2/\alpha^2}+r^2d\Omega_{n-2}^2\right)</math>
이 좌표계는 반 드더 지터시터르 공간의 일부만을 덮는다.
 
== 반 드더 지터시터르 공간 위에서의 양자장론 ==
반 드더 지터시터르 공간에서의 [[양자장론]]은 [[민코프스키 공간]]이나 [[드더 지터시터르 공간]]과 구별되는 여러 다른 특성을 가진다.
 
=== 초대칭 ===
[[드더 지터시터르 공간]]에서는 [[초대칭]]이 존재할 수 없다. 그러나 반 드더 지터시터르 공간과 [[민코프스키 공간]]에서는 초대칭이 존재할 수 있다.<ref>{{책 인용|장=Anti-de Sitter supersymmetry|이름=Bernard|성=de Wit|공저자=Ivan Herger|arxiv=hep-th/9908005|bibcode=2000LNP...541...79D|제목=Towards Quantum Gravity. Proceedings of the XXXV International Winter School on Theoretical Physics Held in Polanica, Poland, 2–11 February 1999|기타=Lecture Notes in Physics 541|출판사=Springer|날짜=2000|쪽=79–100|doi=10.1007/3-540-46634-7_4|언어고리=en}}</ref><ref>{{저널 인용|언어고리=en|arxiv=hep-th/9808100|이름=Michael J.|성=Duff|저자고리=마이클 더프 (물리학자)|}doi=10.1142/S0217751X99000403|bibcode=1999IJMPA..14..815D|저널=International Journal of Modern Physics A|권=14|호=6|쪽=815–843|날짜=1999-03-10|issn= 0217-751X|제목=
Anti-de Sitter space, branes, singletons, superconformal field theories and all that}}</ref> 반 드더 지터시터르 공간에서는 민코프스키 공간에서 존재하지 않는 [[초다중항]]이 있는데, 이들을 '''일중항'''({{llang|en|singlet}}) 표현이라고 한다.
 
특히, 다음과 같은 차원에서는 32개의 초전하를 가지는 [[초대칭]]이 존재하며, 이 경우 일중항 표현은 다음과 같다.
84번째 줄:
 
=== 음수 제곱 질량 ===
민코프스키 공간에서는 [[불변 질량]]의 제곱 <math>m^2</math>이 항상 음이 아닌 실수이어야 한다. 제곱 질량이 음수인 경우는 [[타키온]]이라고 하며, 이는 [[진공]]의 불안정성을 나타낸다. 즉, 이러한 경우는 진공이 더 안정한, 타키온을 포함하지 않는 진공으로 붕괴하게 된다. 반면 반 드더 지터시터르 공간에서는 제곱 질량이 음수인 경우가 가능하다. 즉, <math>d</math>차원 반 드더 지터시터르 공간에서는 제곱 질량이
:<math>m^2\ge-\frac{(d-1)^2\hbar^2c^2}{4\alpha^2}</math>
을 만족하면 일관적인 이론을 정의할 수 있다.<ref>{{저널 인용|제목=Large ''N'' field theories, string theory and gravity|이름=Ofer|성=Aharony|공저자=Steven S. Gubser, [[후안 말다세나|Juan Maldacena]], Hirosi Ooguri, Yaron Oz|id={{arxiv|hep-th/9905111}}. {{bibcode|1999PhR...323..183A}}|저널=Physics Reports|권=323|호=3–4|쪽=183–386|doi=10.1016/S0370-1573(99)00083-6|날짜=2000-01|언어고리=en}}</ref> 이 부등식을 브라이텐로너-프리드먼 하한({{lang|en|Breitenlohner–Freedman bound}})이라고 하고, 페터 브라이텐로너({{llang|de|Peter Breitenlohner}})와 대니얼 프리드먼({{llang|en|Daniel Z. Freedman}})이 1982년에 발견하였다.<ref>{{저널 인용|이름=Peter|성=Breitenlohner|공저자=Daniel Z. Freedman|제목=Positive energy in anti–de Sitter backgrounds and gauged extended supergravity|저널=Physics Letters B|권=115|호=3|날짜=1982-09-02|쪽=197–201|id={{bibcode|1982PhLB..115..197B}}|doi=10.1016/0370-2693(82)90643-8|언어고리=en}}</ref><ref>{{저널 인용|이름=Peter|성=Breitenlohner|공저자=Daniel Z. Freedman|제목=Stability in gauged extended supergravity|저널=Annals of Physics|권=144|호=2|날짜=1982-12|쪽=249–281|id={{bibcode|1982AnPhy.144..249B}}|doi=10.1016/0003-4916(82)90116-6|언어고리=en}}</ref> 만약
90번째 줄:
인 경우 자유 스칼라장을 [[경계 조건]]에 따라 서로 다른 두 가지 방법으로 [[양자화 (물리학)|양자화]]할 수 있다. (<math>m^2>1-(d-1)^2/4</math>라면 양자화는 유일하다.)
 
반 드더 지터시터르 공간에서 음수 제곱 질량이 가능하다는 사실은 [[AdS/CFT 대응성]]에서 중요한 역할을 한다.
 
=== 블랙홀과 열역학 ===
반 드더 지터시터르 공간은 [[드더 지터시터르 공간]]과 달리 유한한 [[온도]]를 가지지 않는다.<ref name="HawkingPage">{{저널 인용|이름=Stephen W.|성=Hawking|저자고리=스티븐 호킹|공저자=Don N. Page|제목=Thermodynamics of black holes in anti-de Sitter space|저널=Communications in Mathematical Physics|권=87|호=4|쪽=577–588|mr=0691045|url=http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.cmp/1103922135|issn=0010-3616|doi=10.1007/BF01208266|날짜=1983-12}}</ref>{{rp|579}}
 
반 드더 지터시터르 공간 속에 존재하는 [[블랙홀]]은 최소 온도를 가진다.<ref name="HawkingPage"/> 이 온도는 대략
:<math>T_0\sim\frac{\hbar c}{k_B\alpha}</math>
이다.
106번째 줄:
 
== 같이 보기 ==
* [[드지터더 시터르 공간]]
* [[드지터등각 우주장론]]
* [[등각장론]]
* [[AdS/CFT 대응성]]
 
원본 주소 "https://ko.wikipedia.org/wiki/반_더시터르_공간"