Finite $N$ black hole cohomologies

技術的要約：有限 $N$ ブラックホール・コホモロジー

問題設定
本研究が扱う中心的な問題は、$N > 2$ の $SU(N)$ ゲージ群を持つ $\mathcal{N}=4$ 超対称ヤン＝ミルズ（SYM）理論における、BPSブラックホールの微視的な特徴付けである。$AdS_5$ におけるBPSブラックホールのエントロピーは、大 $N$ 極限における超共形インデックスを通じて成功裏に数え上げられてきたが、強結合における対応する量子状態を明示的に構成することは依然として困難である。先行研究では、$Q$-コホモロジーを用いた1ループBPS状態の研究プログラムが確立されており、$SU(2)$ 理論における新しい非グラビトン（ブラックホール）コホモロジーの特定に成功している。本論文は、BPSスペクトルの構造および有限 $N$ におけるブラックホール的なエントロピーの出現をより深く理解するために、このプログラムを $SU(3)$ および $SU(4)$ へと拡張するものである。

手法
著者らは、理論の特定の量子力学的サブセクターである、BMN行列モデルに焦点を当てている。このセクターは、微分を含まない3つのスカラー（$\bar{\phi}_m$）、3つのフェルミオン（$\psi_{m+}$）、および1つの電場成分（$f_{++}$）から構成される演算子によって定義される。この截断（truncation）により、計算が簡略化される一方で、大 $N$ におけるブラックホール的なエントロピーの増大を保持している。

手法は以下の3つの段階で進められる：

1. インデックス計算とグラビトン除去：

   • 著者らは、行列積分公式を用いて、BMNセクターにおける有限 $N$ のフル・インデックスを計算する。
   • 「ブラックホール」コホモロジー（非グラビトン状態）を孤立させるために、「グラビトン」コホモロジー（マルチグラビトン状態）の寄与を差し引く必要がある。
   • 有限 $N$ のグラビトンを数え上げることは非自明である。これは、$N \times N$ 行列間のトレース関係（ストリンギー排他原理）によるものである。著者らは、以下のハイブリッド戦略を採用する：
     • 固有値計数： 問題を固有値の多項式の計数へと還元する。
     • グレブナー基底： 計算量（特に $SU(3)$ および $SU(4)$ のフルセクターにおいて）を考慮し、コンピュータ代数（Singular）を用いてトレース関係のグレブナー基底を求める。ここでは、サブセクター（例：電場 $f$ を除外したもの）に対してグレブナー基底を求め、その後、全セクターに対して電荷の次数ごとに独立な多項式を「ブルートフォース」で数え上げるハイブリッドなアプローチをとる。

2. コホモロジーの構成（アンザッツ）：

   • 明示的な演算子を構成するために、インデックス計算中に特定されたトレース関係を利用する。
   • 著者らは、演算子がトレース関係を課した後にのみ $Q$-閉（$Q$-closed）となるというアンザッツを提案する。これは「関係の間の関係（relations of relations）」（トレース関係間の恒等式）に基づいている。もし、トレース関係の線形結合（グラビトン・コホモロジーによって重み付けされたもの）が恒等的にゼロになるならば、対応する「前像（pre-image）」演算子に超電荷を作用させることで、$Q$-閉な演算子を構成できる。
   • これにより、候補となる $Q$-閉演算子の集合が生成される。

3. 非自明性の検証（$Q$-完全性チェック）：

   • これらの候補が $Q$-完全（$Q$-exact、すなわち自明）であるか、あるいは新しいコホモロジーを表すかを判断することは、計算量的に非常に困難である。
   • 著者らは、数値計算を用いたアプローチを開発した：
     • 反交換関係を扱うためにグラスマン変数を順序付ける。
     • 多項式をベクトルに変換するために、行列要素をランダムな整数で置換する。
     • これらのベクトルの線形従属性を分析することで、対象となる演算子が $Q$ の像（image）に含まれるかどうかを判定する。
     • この手法により、標準的な係数行列の抽出が不可能なほど変数の多い演算子に対しても、$Q$-完全性をチェックすることが可能となる。

主な結果

• 閾値レベル（Threshold Levels）：

  • $SU(3)$ について： インデックスは、電荷 $R_1=R_2=R_3, J_1=J_2$、全電荷 $j \equiv 2(R_1+R_2+R_3) + 6J = 24$ において、単一のフェルミオン的閾値コホモロジーを検出している。明示的な構成によるスケーリング次元は $E = 21/2$ である。
  • $SU(4)$ について： インデックスは、$j=28$ において $SO(6)$ の部分群 $SU(3)$ の $[2,0]$ 表示における6つのフェルミオン的閾値コホモロジーを検出している。著者らは、これらはインデックスによって閾値レベルを検出したものであり、明示的に構成したものではないことを明記している。
  • $N=2, 3, 4$ における $j$ の見かけ上の閾値レベルは $24, 24, 28$という数列を形成しており、これは$N$ の増加に伴って非グラビトン演算子のエネルギー閾値が増大することを示唆している。

• $SU(3)$ の明示的構成：

  • 著者らは、$j=24$ における $SU(3)$ の閾値コホモロジーを明示的に構成した。これは $SU(4)_R$ の部分群 $SU(3)$ の下でのフェルミオン・シングレットであり、電荷は $(R, J) = (5/2, 3/2)$ である。
  • 著者らは、$j=24$ における $SU(3)$ シングレット・セクターにおいて、特定の巡回置換特性（これは全ての $SU(3)$ シングレットを包含する）を満たす演算子に限定した場合、この特定の演算子のみが非 $Q$-完全であることを証明した。このセクター内の他のすべての候補演算子は $Q$-完全である。

• スペクトル構造と「ノーヘア（No-Hair）」挙動：

  • 状態のタワー（Towers of States）： 単一のタワーを示した $SU(2)$ のケースとは異なり、$SU(3)$ の非グラビトン・インデックス（$j=54$ まで計算）は、異なるレベルから始まる複数の状態のタワーを明らかにしている。一部のタワーは階層的に関連しているように見える。
  • 部分的なノーヘア定理： インデックスは「部分的なノーヘア」挙動を示す。コアとなるブラックホール・コホモロジーとグラビトン・コホモロジーを掛け合わせた積状態の多くが、インデックスから欠落している。$SU(2)$ では、このような欠落した状態は $Q$-完全であることが示されている。$SU(3)$ において、著者らは特定のグラビトン「ヘア」（具体的には $w_2$）は許容されるが、他のもの（例えば特定の $w_3$ の組み合わせ）は制限されているか $Q$-完全である可能性があり、半古典的な重力理論よりも繊細なノーヘア構造を示唆していると推測している。
  • エントロピーの増大： BMNサブセクターは、大 $N$ においてブラックホール的なエントロピー増大 $S \sim N^2 f(j/N^2)$ を示しており、このセクターが小さなブラックホールの有用なモデルであることを裏付けている。

意義と主張
本論文は、$N=3$ における非グラビトンBPSコホモロジーの最初の明示的な構成を提供することを主張している（$N=4$ については、明示的構成ではなくインデックスによる閾値レベルの特定にとどまる）。閾値レベルを特定し、$SU(3)$ の閾値状態を構成することで、著者らはブラックホール状態のエネルギー閾値が $N$ とともに増大することを実証しており、これは $E \sim N$ までグラビトン記述が信頼できるという期待と一致している。

著者らは、観測された構造（タワー、部分的なノーヘア挙動など）が、インデックスで見落とされているペアの相殺やBMNセクター外の状態によって閾値が下がってしまう可能性を考慮しつつも、これらが「見かけ上の」閾値であることを控えめに述べている。これらのタワーはジャイアント・グラビトン展開やスペクトルの特定のサブセットに関連している可能性があるとしているが、フル・ラージ $N$ 極限とこれらの状態の正確な性質にはさらなる構成と分析が必要であると強調している。本研究は、計算負荷は高いものの、ブラックホールの微視的状態を特徴付ける上で不可欠な、コホモロジーを検出・構成するための合理化された戦略を確立したものである。