Selecting Complex Extremal Surfaces with the Kontsevich--Segal--Witten Criterion

技術的要約：Kontsevich–Segal–Witten 基準による複雑な極値曲面の選択

問題の所在
AdS/CFT および dS/CFT の文脈において、時間的（timelike）な部分領域に関連するホログラフィック観測量（時間的もつれエントロピーなど）や、ド・ジッター空間における観測量は、自然に複素極値曲面を伴う。Ryu–Takayagi (RT) および Hubeny–Rangamani–Takayagi (HRT) の処方では、空間的なもつれが半古典的なバルク内の実極値曲面に関連付けられる一方で、時間的な相関には一般に、複素化された幾何学上の非自明なサイクル上での極値曲面の評価が必要となる。この枠組みにおける中心的な困難は、重力パス積分におけるこれらの複素サドルに対する積分路の曖昧さである。Picard–Lefschetz 解析による直接的な決定は、しばしば困難を極める。さらに、対応する複素バルク計量をどのように構成すべきか、また、どの特定の複素幾何学が物理的に許容されるのかについても不明である。

手法
著者らは、複素極値曲面の族から候補となる複素バルク計量を生成するための構成的な手法を提案している。核となる手順は以下の通りである：

1. 族の構成： バルク内の連続的な極値曲面の族を、境界の部分系パラメータ ($a_i$) と固有パラメータ ($\lambda$) によってパラメータ化して考える。
2. 複素化： 実の固有パラメータ $\lambda$ を、複素平面内の輪郭 $\lambda(u)$ （ここで $u \in \mathbb{R}$）に置き換える。これにより、複素化されたバルク内の実次元のサイクルが定義される。
3. 計量のプルバック： 複素化されたバルク計量をこの実次元のサイクル上にプルバックし、複素族計量 $g_{\alpha\beta}(q)$ を得る。
4. KSW 選択： 整合性条件として Kontsevich–Segal–Witten (KSW) 基準を適用し、輪郭 $\lambda(u)$ を制約する。KSW 基準は、実基底で対角化された複素計量について、固有値の絶対位相の和が $\Theta[g] = \sum |\text{Arg } \Lambda_\gamma| \leq \pi$ を満たすことを要求する。著者らは、通常のローレンツ計量を包含するために、境界的なケース ($\Theta = \pi$) も含めている。

主要な貢献と結果

• AdS$_3$ における普遍的な複素計量：
  著者らは、Poincaré AdS$_3$、グローバル AdS$_3$、および非回転 BTZ ブラックホールがすべて同一の局所的な複素族計量を誘導することを示した：
  $$\frac{ds^2_C}{L_{\text{AdS}}^2} = d\lambda^2 + \cosh^2\lambda \, d\xi^2 - \sinh^2\lambda \, d\eta^2$$
  KSW 基準を適用することで、複素 $\lambda$ 平面内の特定の 3 部品からなる輪郭が一意に選択される：

  • 空間的もつれ： 輪郭は純粋に実数であり ($\lambda \in \mathbb{R}$)、標準的なローレンツ AdS$_3$ 幾何学を再現する。
  • 時間的もつれ： 輪郭は、垂直な成分 ($\lambda = if$) によって接続された 2 つの水平な枝 ($\lambda = g \pm i\pi/2$) で構成される。
  • 幾何学的解釈： 得られる幾何学は、区分的なローレンツ型の複素サドルである。水平な枝は元のローレンツ断面（例：Poincaré または BTZ の外部）に対応し、中央の垂直な成分は、異なる実のローレンツ断面（局所的に AdS-Rindler ウェッジの内部に等長的なもの）に対応する。時間的もつれエントロピーにおける虚数の寄与は、幾何学的にはこの中央のタイムライクな成分の長さから生じる。

• dS$_3$ における対応物：
  グローバル dS$_3$ に対する並行した構成は、正の宇宙定数により位相の不等式が逆転した、同様の複素族計量を与える。KSW 基準は、元の宇宙論的セクションと、宇宙論的地平線を通じて接続された中央のローレンツ・パッチ（局所的にはスタティック・パッチ）へと複素化された dS$_3$ 幾何学を分解する輪郭を一意に選択する。

• 高次元双曲面（AdS$_4$）：
  AdS$_4$ において、著者らは双曲的な境界領域に固定された極値曲面を分析している。彼らは、時間的な双曲型族が AdS$_3$ のケースと同様の複素計量を認めることを示している。KSW 基準は、同じ 3 部品構成の輪還を選択し、余剰の双曲方向はゼロの位相を持ち、許容性を維持する。これは、時間的な双曲面と空間的な円が、同一の複素化された二次形式の族の異なる実のセクションであることを裏付けている。

• 平面ストリップに対する KSW 障害：
  本論文では、一般の次元 $d$ における平面ストリップを調査している。

  • 空間的ストリップ： 常に実のローレンツ AdS 幾何学を再現し、KSW バンドを満たす。
  • 時間的ストリップ： その挙動は、境界次元 $d$ のパリティに依存する。
    • 偶数次元（例：AdS$_5$）では、KSW バンドを飽和させる実の枝が存在するが、それは 2 つの境界成分を接続するのではなく、Poincaré 地平線まで延びる。
    • 奇数次元（例：AdS$_4$）では、著者らは KSW 障害 を発見した。共形境界付近での摂動解析によれば、一般的な族の中で KSW 条件を満たす輪郭は存在しない。具体的には、劣次係数の選択にかかわらず、共形境界の $O(z)$ 次のオーダーにおいて位相和 $\Theta[g]$ が $\pi$ を超える。これは、奇数次元における時間的なストリップの誘起された複素幾何学が KSW 基準に違反していることを示唆している。

意義と主張
本論文は、時間的なもつれからいかにして複素バルク幾何学が出現し得るかについての具体的な実現を提供しており、「時空幾何学は量子もつれに符号化されている」というパラダイムを拡張するものである。主な意義は以下の点にある：

1. 選択原理： KSW 基準は、いくつかの非自明な例（AdS$_3$, dS$_3$, AdS$_4$ 双曲型）において、複素極値曲面に対して許容される積分輪郭を一意に決定する強力な選択原理として機能する。
2. 虚数エントロピーの幾何学的起源： この構成は、時間的もつれエントロピーの虚数部分に対する幾何学的な説明を提供し、それを複素化された幾何学の異なる実のローレンツ断面を通過する極値曲面の成分に帰属させている。
3. 限界と障害： 本研究は、構成の範囲と限界を浮き彫りにしている。KSW 基準に違反する構成（AdS$_4$ における時間的ストリップなど）の特定は、提案された仮定の範囲内で、すべての時間的部分系が KSW 許容なサドルを認めるわけではないことを示唆している。この構成依存性は、ローレンツ重力パス積分における正しい複素サドルを選択するという問題の一部を符号化している可能性がある。

著者らは、自身の構成が、利用可能な選択原理と候補となるサドルのセットを提供するものであり、まだ完全な重力パス積分からの第一原理的な積分サイクルとしての導出ではないことを謙虚に述べている。彼らは、これらの幾何学が時間的分離における相関関数を評価できるかどうか、またそれらが既存の実時間ホログラフィーの処方とどのように関連するかを判断するために、さらなる調査が必要であると考えている。