Free-Field Construction of Heterotic String Compactified on Calabi-Yau Orbifolds via Correspondence with $\mathcal{N}{=}2$ SCFT Minimal Models

技術要約：カルビ・ヤウ・オービフォールド上のヘテロティック弦のフリーフィールド構成

問題提起
本論文は、ベルグランド–ヒュブシュ（BH）型のカルビ・ヤウ多様体およびそのオービフォールド上にコンパクト化された4次元ヘテロティック弦理論の構成について扱っている。このような構成には主に2つの枠組みが存在する。一つは、$N=2$ 超対称共形場理論（SCFT）の積に基づくミニマルモデル構成であり、もう一つは、バティレフ–ボリソフの組合せ論的データに基づく自由なボゾンおよびフェルミオン場を用いたフリーフィールド構成である。これら2つの手法の間の正確な対応関係は、特にオービフォールドの場合において、一般論としては完全には確立されていなかった。ミニマルモデルの手法はモジュラー不変性に関してよく理解されているが、中心電荷の条件 $d/k_i$ が整数となる特定の多項式（フェルマー型）に限定されている。一方、フリーフィールド構成はより広いクラスのBH多様体に適用可能であるが、モジュラー不変性の独立した検証や、正しい質量ゼロスペクトルを保証するオービフォールドへの体系的な拡張が欠けていた。

手法
著者らは、フェルマー型の多項式によって定義されるBHカルビ・ヤウ多様体に対して、フリーフィールド構成とミニマルモデル構成の間の厳密な対応関係を確立している。その手法は以下の通りである：

1. 対応関係のマッピング： 著者らは、フリーフィールド構成の頂点演算子を、$N=2$ ミニマルモデルの基本場の積へと写像する。共形次元（$\Delta$）および$U(1)$電荷（$Q$）を比較することで、フリーフィールドの格子ベクトル（$\vec{m}, \vec{n}, \vec{S}$）とミニマルモデルの量子数（$l, q, s$）の間の明示的な関係を導出している。

   • 具体的には、フェルマー型の多項式に対して、関係式 $p_i + 2 = A_{ii}$ が回収され、ミニマルモデルのレベルと多項式の次数が結び付けられる。
   • このマッピングにより、フリーフィールドの頂点演算子が基本場 $\Phi^{\vec{S}}_{\vec{l}, \vec{q}}$ の積に対応することが明らかになる。

2. モジュラー不変性の検証： 確立された対応関係を用いることで、著者らはフリーフィールド構成が許容される最小の群に対してモジュラー不変条件を満たすことを検証している。彼らは、フリーフィールド形式における左および右移動セクターの制約（具体的にはスペクトルフローの関係）が、ミニマルモデル構成における対角的なモジュラー不変分配関数条件（$A^{\vec{l}_L}_{\vec{l}_R} = \delta_{\vec{l}_L, \vec{l}_R}$）と等価であることを示している。

3. オービフォールドへの一般化： 論文は、BHカルビ・ヤウ・オービフォールドへのフリーフィールド構成を拡張している。鍵となる構造的な洞察は、左（ホロモーフィック）セクターと右（アンチホロモーフィック）セクターの間の非対称性である：

   • 右セクター： 頂点代数は、オービフォールドを定義する特定の許容群 $G$ から導かれる組合せ論的データ（格子 $M(G)$ および $N(G)$）を用いて構成される。
   • 左セクター： 頂点代数は、特定のオービフォールド群 $G$ にかかわらず、最小許容群 $G^{\text{min}}_{\text{adm}}$ の組合せ論的データを用いて構成される。
   • これにより、理論は元のカルビ・ヤウ超曲面（左セクター）とそのオービフォールド（右セクター）のハイブリッドとなる。

4. ペアリング条件の導出： 完全な物理的頂点演算子を構成するために、著者らは左右の格子ベクトルの間の特定のペアリング条件を提案している。オービフォールドの場合、条件は以下の通りである：
   $$\vec{m}_L + \hat{A}\vec{n}_L = \vec{m}_R + \hat{A}\vec{n}_R$$
   ここで $\hat{A}$ は次数行列である。この条件は、オービフォールドにおけるミニマルモデル構成のモジュラー不変性制約の、フリーフィールドにおける等価物であることが示されている。

主な貢献と結果

• 対応関係の確立： 本論文は、フェルマー型の多項式に対して、フリーフィールドの頂点演算子が $N=2$ ミニマルモデルの基本場の積と一対一の対応関係にあることを証明している。
• モジュラー不変性の検証： ミニマルモデル構成の既知のモジュラー不変性を利用することで、著者らは、フェルマー型のカルビ・ヤウ多様体に対してフリーフィールド構成がモジュラー不変であることを確認している。
• オービフォールド構成： 著者らは、BHオービフォールドへのフリーフィールド構成を成功裏に一般化した。彼らは、左右のセクターに必要とされる格子を区別しながら、オービフォールドのための必要な組合せ論的データを定義している。
• スペクトルの照合： 提案された構成は、正しい数の質量ゼロのシングレットおよび $E(6)$ の $27$/$\overline{27}$表現を与える。著者らは、ホッジ数が$(17, 21)$ であるクインティック・オービフォールドに対してこれを明示的に検証し、ミニマルモデル構成から導かれるスペクトルと完全に一致することを示している。
• 非標準的なホッジ数の扱い： 本論文は、変形数がホッジ数と一致しない特定のオービフォールドにおいて、構成がミラー群 $G$ と $G^*$ の特別な要素から生じる追加の生成/反生成状態を正しく考慮していることを指摘している。

意義
本論文は、この研究が、より広い範囲のベルグランド–ヒュブシュ・カルビ・ヤウ多様体への適用可能性において、フリーフィールド構成をミニマルモデル手法に代わる堅牢な選択肢として正当化するものであると主張している。対応関係を確立することで、著者らは、ミニマルモデル構成のキャラクタに基づく手法のみに依存することなく、モジュラー不変性を検証し、物理スペクトルを導出する方法を提供している。オービフォールド上のヘテロティック弦の左および右のセクターが、異なる幾何学的構造（元の多様体とオービフォールド）に対応するという発見は、ヘテロティック弦の新しい幾何学的解釈、すなわち2つの異なるカルビ・ヤウ幾何学のハイブリッドとしての解釈を提示している。これらの結果は、派生されたペアリング条件によって制約されたフリーフィールド構成が、ミニマルモデルの枠組みによって予測される正確な質量ゼロスペクトルを再現することを裏付けている。