반 드 시테르 공간(anti-de Sitter space, AdS)은 음의 우주 상수를 갖는 최대 대칭 시공간으로, AdS/CFT 대응에서 중력 이론이 존재하는 배경 시공간이다.
정의12.1반 드 시테르 공간
(d+1)차원 반 드 시테르 공간AdSd+1은 R2,d 내의 초곡면(hyperboloid)으로 정의된다:
−(X0)2−(Xd+1)2+i=1∑d(Xi)2=−L2
여기서 L은 AdS 반지름(AdS radius)이다. 이 공간은 일정한 음의 스칼라 곡률
R=−L2d(d+1)
을 가지며, 아인슈타인 방정식
Rμν−21gμνR+Λgμν=0
의 해이다. 여기서 우주 상수는 Λ=−2L2d(d−1)이다.
2. 좌표계
AdS 공간은 여러 유용한 좌표계로 기술할 수 있다.
전역 좌표 (Global coordinates): 좌표 (ρ,t,Ωd−1)을 사용하면
ds2=L2(−cosh2ρdt2+dρ2+sinh2ρdΩd−12)
여기서 ρ≥0이고 t∈(−∞,∞)이다. 이 좌표계는 AdS 공간 전체를 덮는다.
푸앵카레 좌표 (Poincare coordinates): 좌표 (z,t,x)를 사용하면
ds2=z2L2(dz2−dt2+dx2)=z2L2(dz2+ημνdxμdxν)
여기서 z>0이다. z→0이 등각 경계(conformal boundary)에 해당하며, z→∞가 AdS 공간의 내부이다.
참고푸앵카레 좌표의 기하학적 의미
푸앵카레 계량에서 z=const 슬라이스는 d차원 민코프스키 시공간과 등형이며, 전체 인자 L2/z2에 의해 스케일링된다. z→0으로 가면 슬라이스의 물리적 크기가 발산하며, 이것이 CFT가 사는 경계이다. 이 좌표계는 AdS의 절반만을 덮으며(푸앵카레 패치), 전역 좌표계와 달리 전체 AdS 공간을 기술하지 못한다.
3. AdS 공간의 등거리 군
AdSd+1의 등거리 군(isometry group)은 SO(2,d)이다.
Isom(AdSd+1)=SO(2,d)
이는 d차원 등각장론의 등각 군SO(2,d)와 정확히 일치한다. 이 일치가 AdS/CFT 대응의 운동학적(kinematic) 기초이다.
유도등거리 군과 등각 군의 대응
AdSd+1의 등거리는 감싸는 공간 R2,d의 부호수 (2,d) 로렌츠 변환, 즉 SO(2,d)로 주어진다. 이 군의 생성원은 2(d+2)(d+1)개이며, 다음과 같이 분류된다:
2d(d−1)개의 경계 로렌츠 변환 Mμν
d개의 경계 병진 Pμ
d개의 특수 등각 변환 Kμ
1개의 팽창 D
합하면 2d(d−1)+d+d+1=2(d+2)(d+1)으로, SO(2,d)의 차원과 일치한다. 푸앵카레 좌표에서 이 대칭이 구현되는 방식을 보면, 팽창은 (z,xμ)→(λz,λxμ)로 작용하며, 이는 경계(z=0)에서의 스케일 변환에 대응한다.
■
4. 등각 경계
AdS 공간의 등각 경계(conformal boundary)는 AdS/CFT 대응에서 CFT가 살아가는 공간이다.
정의12.2등각 경계
AdSd+1의 등각 경계(conformal boundary)는 z→0 (푸앵카레 좌표) 또는 ρ→∞ (전역 좌표)에서의 경계이다. 이는 위상적으로 다음과 같다:
전역 좌표: R×Sd−1 (시간 ×(d−1)-구)
푸앵카레 좌표: d차원 민코프스키 시공간 R1,d−1
경계에서의 유도 계량(induced metric)은 z−2의 발산 인자를 포함하므로, 경계 계량은 등각 동치 부류(conformal equivalence class)로만 정의된다. 이것이 경계에 등각 장론이 살아가는 이유이다.
5. AdS 공간에서의 스칼라장
자유 스칼라장 Φ(z,x)가 AdSd+1에서 질량 m을 갖는 경우, 클라인-고든 방정식은
(□AdS−m2)Φ=0
이다. 경계 근방 z→0에서 해의 점근 거동은
Φ(z,x)∼A(x)zΔ−+B(x)zΔ+
이며, 여기서
Δ±=2d±4d2+m2L2
이다. Δ+≡Δ가 경계 CFT에서의 대응 연산자의 등각 차원이다.
법칙12.1질량-차원 관계
AdSd+1에서 질량 m인 스칼라장은 경계의 d차원 CFT에서 등각 차원
Δ(Δ−d)=m2L2
즉
Δ=2d+4d2+m2L2
인 스칼라 연산자에 대응된다. m2=0이면 Δ=d로 에너지-운동량 텐서의 등각 차원에 해당한다. m2<0도 브라이틀로너-프리드먼 한계(Breitenlohner-Freedman bound) m2L2≥−d2/4를 만족하면 허용된다.