Generating Function of single-centered Black Hole Index in CHL Models

技術的要約：CHLモデルにおける単一中心ブラックホール指数の母関数

問題提起
4次元 $N=4$ 超対称ストリング理論のコンパクト化、特に $M \times T^2$ 上の $\mathbb{Z}_N$ 対称性によるタイプIIストリング理論のオルビフォールドから得られるCHLモデルの文脈において、単一中心ブラックホールの微視的状態を正確に数え上げることは中心的な課題である。1/4 BPS ダイオンの全BPS指数 $d(m, n, \ell)$ は、シゲル型モジュラー形式 $\Phi_k^{-1}(\Omega)$ の逆関数のフーリエ係数として与えられることが知られている。しかし、この全指数には、単一中心ブラックホールと二中心ブラックホール束縛状態の両方の寄与が含まれている。後者は壁（walls of marginal stability）に対して敏感であり、モジュリがこれらの壁を横切る際に指数が跳ね上がる原因となる。ブラックホール・エントロピーのマッチングを通じて量子重力をテストするためには、これらの壁の影響を受けない単一中心ブラックホスの指数 $d^*(m, n, \ell)$ が必要である。先行研究 [24] では、$N=1$（$M=K3$ に対応）の特定のケースにおける単一中心退化度の母関数が構築されているが、任意の $\mathbb{Z}_N$ CHLモデルに対する一般的な構成は欠けていた。さらに、モック・ヤコビ形式を用いた従来のアプローチは、物理的に不適切な負の判別式状態の混入や、自明なS-双対性の不変性の欠如といった制限を受けていた。

手法
本論文では、全指数 $\Phi_k^{-1}(\Omega)$ から二中心ブラックホールの寄与を系統的に差し引くことにより、単一中心ブラックホール指数の母関数 $\tilde{F}_k(\Omega)$ を構成する。この手法は、「束縛状態変態（bound state metamorphosis, BSM）」という物理的原理に依拠しており、これは異なるモジュリ空間のチャンバー間で物理的に等価な束縛状態を特定するものである。

1. 全指数の分解: 著者らは、まず $\Phi_k^{-1}(\Omega)$ が $n_2(\tau\sigma - z^2) - m_1\tau + n_1\sigma + jz + m_2 = 0$ で定義される超曲面上に二重極を持つことに着目する。これらの極は、二中心ブラックホールが現れたり消失したりする限界安定性の壁に対応している。
2. 二中心寄与の特定: BSMの規則を用いて、与えられたチャンバーにおいて指数に寄与するハーフBPS状態の特定の束縛状態を特定する。これらの寄与は $\Phi_k^{-1}$ の極の留数に関連付けられる。
3. 差し引きスキーム: 母関数 $\tilde{F}_k(\Omega)$ は、全指数と二中心寄与の和との差として定義される。二中心寄与は $P\Gamma_1(N)$（$\Gamma_1(N)$ の商）上の和として表され、純粋な電気的および磁気的分配関数 $f^{(k)}$ および $g^{(k)}$ の逆関数のフーリエ係数を含む。
4. 発散の処理と識別: 素朴な差し引きは発散する級数をもたらす。著者らは、BSMによる束縛状態の重複カウントを注意深く分析することでこれを解決した。特定の変換（行列 $\begin{pmatrix} 1 & -r \\ 0 & 1 \end{pmatrix}$ および $\begin{pmatrix} 1 & 0 \\ -rN & 1 \end{pmatrix}$ を含むもの）によって関連付けられた特定の束縛状態は、同一の物理的状態を表すと特定した。これには、ドメインの制限と、束縛状態が適切なチャンバーにのみ存在することを保証するためのヘヴィサイド関数の導入が必要となる。
5. 収束解析: 著者らは、結果として得られる無限級数の収束性を厳密に分析している。彼らはこの問題を、$(x, y)$ 平面（ここで $x = z_2/\tau_2, y = \sigma_2/\tau_2$）における基本チャンバー $R_N$ の幾何学へと写像している。著者らは、$N=2$ および $N=3$ において、この和が基本チャンバーの（極に対応する部分空間を除いた）コンパクトな部分集合上で絶対かつ一様に収束することを証明している。

主な貢献と結果

1. 一般的構成: 本論文は、任意の $N$ に対する一般のCHLモデルのための単一中心ブラックホール指数の母関数（式1.27）を明示的な公式として提供する。この公式は、$P\Gamma_1(N)$ 上の和と、チャンバーの制約を課す特定のヘヴィサイド関数を含む項の差し引きを含んでいる。
2. 収束の証明: 著者らは、$N=2$ および $N=3$ に対して $\tilde{F}_k(\Omega)$ を定義する級数が絶対かつ一様に収束することを証明している。これは重要な技術的成果である。なぜなら、$N > 3$ の場合の収束は、$R_N$ 内の無限個の壁によって複雑化するためである。
3. ・メリモルフィック連続: 論文は、$\tilde{F}_k(\Omega)$ が全シゲル上半平面 $\mathbb{H}_2$ 全体にメリモルフィック連続を持つことを示している。$\tilde{F}_k(\Omega)$ の極は、$n_2 \geq 1$ における $\Phi_k^{-1}(\Omega)$ の極と一致するが、$n_2=0$ における $\Phi_k^{-1}$ に存在する追加の極は持たない。これは、差し引きによって二中心の寄与が除去されつつ、単一中心の状態に対する正しい特異構造が保持されていることを裏付けている。
4. 定義の等価性: 著者らは、差し引きによって構築された母関数 $\tilde{F}_k$ が、アトラクター・チャンバーに基づく定義（$F_k$）と同じフーリエ係数を与えることを示している。すなわち、$d^*(T) = \tilde{d}^*(T)$ である。これにより、差し引き法が単一中心の退化度を孤立させるための堅牢な方法であることが検証された。
5. S-双対性の性質: この構成は、理論のS-双対性不変性を尊重し、$\Gamma_1(N)$ の下で適切に変換されることを保証している。

意義と主張
本論文は、[24]（$N=1$ のケースを扱ったもの）の結果を、より広いクラスのCHLモデルへと一般化することを主張している。自明なS-双対性不変性を持ち、モック・ヤコビ形式に関連する曖昧さ（負の判別式状態の包含など）を持たない母関数を構築することで、本研究は、これらのモデルにおける単一中心ブラックホールのエントロピーを研究するためのより厳密な数学的枠組みを提供している。

著者らは、収束の証明が $N=2$ および $N=3$ については完全であることを明示している。$N \geq 4$ の場合、$R_N$ 内の無限個の壁が存在するため、収束の証明を拡張することは困難であり、依然として未解決の課題であることを認めている。彼らは、さらなる一般化のためには新しい手法が必要である可能性を示唆している。また、生成関数の変換特性は、それが「モック・シゲル型モジュラー形式」である可能性を示唆しているが、そのような形式の理論はまだ十分に発展しておらず、$\tilde{F}_k(\Omega)$ の正確な分類は今後の調査における未解決問題として残されている。

要約すると、本論文は $N=2, 3$ のCHLモデルにおける単一中心ブラックホール指数の収束する母関数を構築することに成功し、これらの特定のストリング理論のコンパクト化におけるブラックホールの微視的状態の計数とマクロ的なエントロピー予測を照合するための具体的なツールを提供している。