[論文レビュー] Geometric aspects of the AdS/CFT correspondence

Michael T. Anderson|ArXiv.org|Mar 8, 2004

Black Holes and Theoretical Physics被引用数 5

ひとこと要約

本稿は、漸近的に双曲的多様体上の共形的コンパクト化されたアインシュタイン計量を分析することにより、半古典的AdS/CFT双対性の厳密な数学的枠組みを提供する。境界の共形構造と体内のアインシュタイン計量の間の対応を確立し、4次元における存在・一意性および自己双対性に関する主要な結果を示す。さらに、AdSトーブ-ニューマン計量の解析接続により、グローバルに自己相似なデSitter解を構成する。

ABSTRACT

We discuss classical gravitational aspects of the AdS/CFT correspondence, with the aim of obtaining a rigorous (mathematical) understanding of the semi-classical limit of the gravitational partition function. The paper surveys recent progress in the area, together with a selection of new results and open problems.

研究の動機と目的

• 重力的分配関数の分析を通じて、半古典的AdS/CFT双対性の数学的に厳密な基礎を確立すること。
• 所与の共形無限大を有する共形的コンパクト化アインシュタイン計量の存在および一意性を扱うこと。
• 正スカラー曲率および自己双対性が、このような計量の存在および構造に果たす役割を調査すること。
• AdS解を解析接続してデSitter時空に拡張し、グローバルに自己相似な真空中解を構成すること。
• フェッファーマン＝グラハム展開における対数項およびトレースレス成分の幾何的・物理的意味を明確化すること。

提案手法

• $(M,g)$ 上の共形的コンパクト化アインシュタイン計量を用い、$\text{Ric}_g = -n g$ を満たし、$g$ が漸近的に双曲的であることを仮定する。
• フェッファーマン＝グラハム展開を適用し、境界近傍における計量 $g_\rho$ を境界データ $\gamma = g_{(0)}$ の関数として表現する。係数として $g_{(2k)}$ および $g_{(n)}$ を含む。
• 奇数次元では横方向トレースレス項 $g_{(n)}$ の役割を分析し、偶数次元では対数項 $h \log \rho$ を含み、これらがグローバルおよび量子異常を符号化していることを特定する。
• 4次元における自己双対性条件を適用し、(5.5)式を介してストレステンソル $g_{(3)}$ を境界計量と明示的に関連づける。これにより対応関係が簡略化される。
• 径方向座標および計量関数の実解析的接続を用いて、AdSトーブ-ニューマン計量をデSitter計量に解析接続する。
• 得られたdS計量のグローバル構造を研究し、パラメータの範囲（例えば、$E \in (2/3, \frac{1}{3}(2+\sqrt{3}))$）において計量が完全かつグローバルに因果的であることを同定する。

実験結果

リサーチクエスチョン

• RQ1 境界 $\partial M$ 上の共形類 $[\gamma]$ が、$M$ 上の共形的コンパクト化アインシュタイン計量をもつための条件は何か？
• RQ2 フェッファーマン＝グラハム展開における係数は境界計量にどのように依存するか。また、$g_{(n)}$ および $h$ はCFTのストレステンソルに果たす役割は何か？
• RQ3 4次元アインシュタイン計量における自己双対性の幾何的意味は何か。AdS/CFT双対性に与える影響は？
• RQ4 AdS解を解析接続してグローバルに自己相似なデSitter解に拡張可能か。また、グローバル因果的および滑らかな共形無限大を保証する条件は何か？
• RQ5 条件 $R_\gamma > 0$ は、$\mathcal{I}^+$ および $\mathcal{I}^-$ が両方滑らかである完全なdS解の存在を保証するのに十分か？

主な発見

• $n$ が奇数の場合、$g_\rho$ のフェッファーマン＝グラハム展開は $\rho^{n-1}$ まで偶数次の $\rho$ のべき項のみを含み、$g_{(n)}$ は横方向トレースレスであり、グローバルに決定される。
• $n$ が偶数の場合、展開には $\rho^n \log \rho \cdot h$ 項が含まれる。ここで $h$ は $\partial M$ 上の対称でトレースレスかつ横方向のテンソルであり、共形異常に関連する。
• 4次元では、$M$ 上の自己双対アインシュタイン計量は、(5.5)式に示されるように、ストレステンソル $g_{(3)}$ を境界計量の関数として簡単な式で与える。
• パラメータ $E \in (2/3, \frac{1}{3}(2+\sqrt{3}))$ のAdSトーブ-ニューマン計量は、$\mathbb{R} \times S^3$ 上で完全でグローバルに因果的なデSitter計量に解析接続され、滑らかな $\mathcal{I}^+$ および $\mathcal{I}^-$ を持つ。
• 境界値 $E = 2/3$ および $E = \frac{1}{3}(2+\sqrt{3})$ では、dS計量が特異化し、$\tau = \pm 1$ で $A(\tau) = 0$ となる。その結果、半直線のみで定義された計量となり、片方の共形無限大が欠落する。
• $R_\gamma > 0$ は、$\mathcal{I}^+$ が滑らかである完全なdS解の存在を保証するものではない。例として $E \in (0,4)$ の場合、$R_\gamma > 0$ ではあるが、(6.26)式の範囲外で $A(\tau)$ が符号を変えるため、そのようにはならない。