The gravitational index and allowable complex metrics

技術的要約：重力指数と許容される複素計量

問題提起
重力パスインテグラル（GPI）は、ユークリッド作用によって重み付けられた重力場の構成を総和することで観測量を計算する、量子重力を研究するための基本的なツールである。半古典的極限において、この総和は古典解に対応するサドルポイント（鞍点）によって支配される。しかし、どの複素計量をこの総和に含めるべきかという点に関して、重大な曖昧さが生じる。具体的には、超対称指数を計算するためにユークリッド時間へと解析接続された超対称回転ブラックホールは、一般に複素計量をもたらす。本論文が取り組む中心的な問題は、これらの複素サドルポイントの妥当性、すなわち、これらが重力パスインテグラルへの「許容される」寄与なのか、あるいは除外されるべきなのかを判断することである。

著者らは、Kontsevich–Segal–Witten (KSW) 基準を調査している。これは、Kontsevich と Segal の研究に基づく Witten による提案であり、複素計量の許容性を判定するための条件を提供するものである。本論文は、超対称ブラックホールの微視的状態計数の文脈において、KSW 基準を他の2つの物理的要件と比較することを目的としている：

1. 幾何学的整合性： ユークリッド断面の滑らかさおよび、対応するローレンツ解析接続の因果構造（地平線の存在、超光速フレームの不在など）から導かれる条件。
2. 微視的収束性： 双対の微視的トレース（境界理論における超対称指数）が収束するという要件であり、複素化学ポテンシャルに対する制約を課す。

手法
著者らは、異なる漸近的背景における3つの特定の超対称指数に対応する重力パスインテグラルに対して、KSW 基準を適用している：

1. 4次元漸近平坦（AF）空間 ($AF_4$)： $N=2$ 非ゲージ超重力における超対称指数（ヘリシティ・スートレース）。
2. 4次元漸近AdS（AAdS）空間 ($AAdS_4$)： 最小ゲージ超重力におけるトポロジカル・ツイスト指数。
3. 4次元漸近AdS（AAdS）空間 ($AAdS_4$)： 最小ゲージ超重力における超共形指数。

各ケースにおいて、著者らは以下を行っている：

• フェルミオンの境界条件を満たすために、重力の運動方程式に超対称性を課し、必要なパラメータ（角速度や電位など）の解析接続を行うことで、関連する複素サドルポイント解を構成する。
• KSW 基準を適用する。この基準は、多様体上のあらゆる点において、計量が複素二次形式を誘導し、行列式の平方根の実部と、任意の非ゼロの実 $q$-形式との計量の縮退の積が正であることを要求する。これは数学的には、実基底における計量の固有値の偏角の絶対値の和が $\pi$ 未満であることを要求することと同等である。
• 幾何学的整合性（インスタントンとしての滑らかさ、ローレンツ解析接続における光速面（velocity-of-light surfaces）の不在）から導かれるパラメータ空間の制約を導出する。
• 微速的トレースの収束（逆温度 $\beta$ の実部が正であること、および化学ポテンシャル $\tau$ の虚部が正であることを保証すること）から導かれる制約を導出する。

主要な貢献と結果

1. AF4 空間（超対称指数）：

   • サドルポイントは、Israel–Wilson–Perjes ファミリーの超対称解に対応する。
   • 超対称性と境界条件を満たすためには、角速度を純虚数へと解析接続しなければならない。
   • この解析接続により、計量は実数（リーマン的）となる。したがって、この計量は自明に KSW 基準を満たす。
   • 計量が滑らかであるための条件（径方向座標が実数かつ正であることを要求する条件）は、微視的トレースの収束に必要な条件と同一であることが判明した。

2. AAdS4 空間（トポロジカル・ツイスト指数）：

   • 関連するサドルは、リーマン面地平線を持つ静的なダイオン・ブラックホールである。
   • AF の場合と同様に、超対称性を満たすためには電荷の解析接続が必要であり、その結果、実数のユークリッド計量が得られる。
   • KSW 基準は自明に満たされる。
   • 解の正則性に関する条件（$r_+ > r_*$）は、微視的トレースの収束条件（$\text{Re}(\beta) > 0$）と正確に等価であることが示されている。

3. AAdS4 空間（超共形指数）：

   • このケースは、超対称サドルポイントが本質的に複素であるという点で他と異なる。これらはパラメータの解析接続によって実数化することはできない。
   • 計量は、複素化学ポテンシャル（角速度 $\Omega$ および電位 $\Phi_e$）に依存する。
   • 著者らは、この複素計量に対して詳細な KSW 基準の分析を行っている：
     • 地平線付近： 基準は、径方向関数 $\Delta_r$ の微分の実部が正であることを要求することに帰着し、これは $r_+ > r_*$ を意味する。
     • 漸近領域： 基準は、光速面の不在（$|\Omega| < 1$）および $\text{Re}(\beta) > 0$ を要求する。
     • 内部領域： パラメータ空間内の $10^6$ 個のランダムな点に対する数値的チェックにより、幾何学的制約および収束制約が成立する場合に限り、KSW 基準が成立することが確認された。
   • 結果： KSW 基準によって許容されるパラメータ空間の領域は、微視的トレースの収束およびローレンツ解の幾何学的整合性に必要な領域と完全に一致している。

意義と主張
本論文は、検討されたすべての状況（AF および AAdS 空間、各種指数）において、以下の3つの異なる基準が、サドルポイントを選択するための全く同じ有効領域を与えることを主張している：

1. KSW 基準（量子場理論を定義するための複素計量の許容性に関する条件）。
2. 幾何学的整合性（ユークリッド断面の滑らかさと、ローレンツ解析接続の因果的な振る舞い）。
3. 微視的収束性（双対の微視的理論のトレースがウェルディファインドであるという要件）。

著者らは、これらの異なる基準によって「切り出される」空間が全く同一であることを結論づけている。この一致は、超対称指数を計算する際の重力パスインテグラルにおける複素サドルポイントの包含に対する、非自明な正当付けを与えるものである。これは、KSW 基準が単なる数学的な整合性条件ではなく、熱力学的安定性や、ウェルディファインドな双対微視的記述の存在という物理的要件と深く結びついていることを示唆している。

論文では、KSW 基準が非超対称な文脈（スペクトル・フォーム・ファクター、ノーバウンドリー提案など）でも研究されてきたことに触れつつ、本研究が特に超対称ブラックホールのエントロピーおよび微視的状態計数との整合性を検証したものであることを述べている。また、フレーバーの精緻化を伴う非最小超重力理論への一般化や、複素ゲージ場が「許容性」の定義を複雑にする可能性のある、弦理論／M理論における高次元アップリフトへの適用に関する未解決の課題についても言及している。