개념완성

반 드 시테르 공간 (Anti-de Sitter Space)

1. AdS 공간의 정의

반 드 시테르 공간(anti-de Sitter space, AdS)은 음의 우주 상수를 갖는 최대 대칭 시공간으로, AdS/CFT 대응에서 중력 이론이 존재하는 배경 시공간이다.

정의12.1반 드 시테르 공간

(d+1)(d+1)차원 반 드 시테르 공간 AdSd+1\mathrm{AdS}_{d+1}R2,d\mathbb{R}^{2,d} 내의 초곡면(hyperboloid)으로 정의된다:

(X0)2(Xd+1)2+i=1d(Xi)2=L2-(X^0)^2 - (X^{d+1})^2 + \sum_{i=1}^{d} (X^i)^2 = -L^2

여기서 LLAdS 반지름(AdS radius)이다. 이 공간은 일정한 음의 스칼라 곡률

R=d(d+1)L2R = -\frac{d(d+1)}{L^2}

을 가지며, 아인슈타인 방정식

Rμν12gμνR+Λgμν=0R_{\mu\nu} - \frac{1}{2}g_{\mu\nu}R + \Lambda g_{\mu\nu} = 0

의 해이다. 여기서 우주 상수는 Λ=d(d1)2L2\Lambda = -\frac{d(d-1)}{2L^2}이다.

2. 좌표계

AdS 공간은 여러 유용한 좌표계로 기술할 수 있다.

전역 좌표 (Global coordinates): 좌표 (ρ,t,Ωd1)(\rho, t, \Omega_{d-1})을 사용하면

ds2=L2(cosh2 ⁣ρ  dt2+dρ2+sinh2 ⁣ρ  dΩd12)ds^2 = L^2\left(-\cosh^2\!\rho\; dt^2 + d\rho^2 + \sinh^2\!\rho\; d\Omega_{d-1}^2\right)

여기서 ρ0\rho \geq 0이고 t(,)t \in (-\infty, \infty)이다. 이 좌표계는 AdS 공간 전체를 덮는다.

푸앵카레 좌표 (Poincare coordinates): 좌표 (z,t,x)(z, t, \vec{x})를 사용하면

ds2=L2z2(dz2dt2+dx2)=L2z2(dz2+ημνdxμdxν)ds^2 = \frac{L^2}{z^2}\left(dz^2 - dt^2 + d\vec{x}^2\right) = \frac{L^2}{z^2}\left(dz^2 + \eta_{\mu\nu}dx^\mu dx^\nu\right)

여기서 z>0z > 0이다. z0z \to 0등각 경계(conformal boundary)에 해당하며, zz \to \infty가 AdS 공간의 내부이다.

참고푸앵카레 좌표의 기하학적 의미

푸앵카레 계량에서 z=constz = \text{const} 슬라이스는 dd차원 민코프스키 시공간과 등형이며, 전체 인자 L2/z2L^2/z^2에 의해 스케일링된다. z0z \to 0으로 가면 슬라이스의 물리적 크기가 발산하며, 이것이 CFT가 사는 경계이다. 이 좌표계는 AdS의 절반만을 덮으며(푸앵카레 패치), 전역 좌표계와 달리 전체 AdS 공간을 기술하지 못한다.

3. AdS 공간의 등거리 군

AdSd+1\mathrm{AdS}_{d+1}등거리 군(isometry group)은 SO(2,d)\mathrm{SO}(2, d)이다.

Isom(AdSd+1)=SO(2,d)\mathrm{Isom}(\mathrm{AdS}_{d+1}) = \mathrm{SO}(2, d)

이는 dd차원 등각장론의 등각 군 SO(2,d)\mathrm{SO}(2, d)와 정확히 일치한다. 이 일치가 AdS/CFT 대응의 운동학적(kinematic) 기초이다.

유도등거리 군과 등각 군의 대응

AdSd+1\mathrm{AdS}_{d+1}의 등거리는 감싸는 공간 R2,d\mathbb{R}^{2,d}의 부호수 (2,d)(2, d) 로렌츠 변환, 즉 SO(2,d)\mathrm{SO}(2, d)로 주어진다. 이 군의 생성원은 (d+2)(d+1)2\frac{(d+2)(d+1)}{2}개이며, 다음과 같이 분류된다:

  • d(d1)2\frac{d(d-1)}{2}개의 경계 로렌츠 변환 MμνM_{\mu\nu}
  • dd개의 경계 병진 PμP_\mu
  • dd개의 특수 등각 변환 KμK_\mu
  • 11개의 팽창 DD

합하면 d(d1)2+d+d+1=(d+2)(d+1)2\frac{d(d-1)}{2} + d + d + 1 = \frac{(d+2)(d+1)}{2}으로, SO(2,d)\mathrm{SO}(2,d)의 차원과 일치한다. 푸앵카레 좌표에서 이 대칭이 구현되는 방식을 보면, 팽창은 (z,xμ)(λz,λxμ)(z, x^\mu) \to (\lambda z, \lambda x^\mu)로 작용하며, 이는 경계(z=0z = 0)에서의 스케일 변환에 대응한다.

4. 등각 경계

AdS 공간의 등각 경계(conformal boundary)는 AdS/CFT 대응에서 CFT가 살아가는 공간이다.

정의12.2등각 경계

AdSd+1\mathrm{AdS}_{d+1}등각 경계(conformal boundary)는 z0z \to 0 (푸앵카레 좌표) 또는 ρ\rho \to \infty (전역 좌표)에서의 경계이다. 이는 위상적으로 다음과 같다:

  • 전역 좌표: R×Sd1\mathbb{R} \times S^{d-1} (시간 ×\times (d1)(d-1)-구)
  • 푸앵카레 좌표: dd차원 민코프스키 시공간 R1,d1\mathbb{R}^{1,d-1}

경계에서의 유도 계량(induced metric)은 z2z^{-2}의 발산 인자를 포함하므로, 경계 계량은 등각 동치 부류(conformal equivalence class)로만 정의된다. 이것이 경계에 등각 장론이 살아가는 이유이다.

5. AdS 공간에서의 스칼라장

자유 스칼라장 Φ(z,x)\Phi(z, x)AdSd+1\mathrm{AdS}_{d+1}에서 질량 mm을 갖는 경우, 클라인-고든 방정식은

(AdSm2)Φ=0\left(\Box_{\mathrm{AdS}} - m^2\right)\Phi = 0

이다. 경계 근방 z0z \to 0에서 해의 점근 거동은

Φ(z,x)A(x)zΔ+B(x)zΔ+\Phi(z, x) \sim A(x)\, z^{\Delta_-} + B(x)\, z^{\Delta_+}

이며, 여기서

Δ±=d2±d24+m2L2\Delta_\pm = \frac{d}{2} \pm \sqrt{\frac{d^2}{4} + m^2 L^2}

이다. Δ+Δ\Delta_+ \equiv \Delta가 경계 CFT에서의 대응 연산자의 등각 차원이다.

법칙12.1질량-차원 관계

AdSd+1\mathrm{AdS}_{d+1}에서 질량 mm인 스칼라장은 경계의 dd차원 CFT에서 등각 차원

Δ(Δd)=m2L2\Delta(\Delta - d) = m^2 L^2

Δ=d2+d24+m2L2\Delta = \frac{d}{2} + \sqrt{\frac{d^2}{4} + m^2 L^2}

인 스칼라 연산자에 대응된다. m2=0m^2 = 0이면 Δ=d\Delta = d로 에너지-운동량 텐서의 등각 차원에 해당한다. m2<0m^2 < 0브라이틀로너-프리드먼 한계(Breitenlohner-Freedman bound) m2L2d2/4m^2 L^2 \geq -d^2/4를 만족하면 허용된다.

6. 물리적 의의

예제$\mathrm{AdS}_5 \times S^5$와 $\mathcal{N}=4$ SYM

가장 잘 연구된 AdS/CFT의 예는 IIB형 초끈 이론이 AdS5×S5\mathrm{AdS}_5 \times S^5 배경에서 존재하는 경우이다. 이때:

  • 벌크 이론: AdS5×S5\mathrm{AdS}_5 \times S^5 위의 IIB형 초끈 이론 (또는 저에너지 극한에서 IIB형 초중력)
  • 경계 이론: 4차원 N=4\mathcal{N} = 4 초대칭 양-밀스 이론 (게이지 군 SU(N)\mathrm{SU}(N))

AdS 반지름 LL, 끈 길이 s\ell_s, 양-밀스 결합 상수 gYMg_{\mathrm{YM}}, 색수 NN 사이의 관계는

L4s4=4πgsN=gYM2N=λ\frac{L^4}{\ell_s^4} = 4\pi g_s N = g_{\mathrm{YM}}^2 N = \lambda

여기서 λ=gYM2N\lambda = g_{\mathrm{YM}}^2 N't 호프트 결합 상수이다. 초중력 근사가 유효하려면 LsL \gg \ell_s, 즉 λ1\lambda \gg 1 (강한 결합)이어야 한다. 이것이 AdS/CFT의 강-약 이중성(strong-weak duality)의 핵심이다.