Non-Geometric Heterotic Vacua from Type II$_0$ Loci

技術的要約：Type II0 軌跡からの非幾何学的ヘテロティック真空

問題設定
本論文は、複素構造モジュライ空間内に「type II0」の軌跡（locus）を持つカラビ–ヤウ（CY）三次元多様体にコンパクト化されたType IIB弦理論に対する、具体的なヘテロティック弦理論の双対性を特定することを目的としている。先行研究（具体的には[36]）は、出現的弦予想（Emergent String Conjecture; ESC）を通じて、これらの無限距離極限における出現的な張力ゼロのヘテロティック弦の存在を確立したが、この双対に対応する具体的なワールドシート理論やゲージデータを決定するには至らなかった。課題は、これらの軌跡がしばしば大複素構造（Large Complex Structure; LCS）点に接続されないため、標準的なミラー対称性の議論では不十分であるという点にある。さらに、特定のモデルにおいては、双対となるヘテロティック背景は、10次元への脱コンパクト化極限を持たない「真に四次元的」なものであり、非幾何学的領域に位置している可能性があり、標準的な幾何学的整合性条件（大体積安定性など）が直接適用できない可能性がある。

手法
著者らは、提案されたType IIB–ヘテロティック双対性を構築し検証するために、以下の3段階の手順を用いている：

1. 低エネルギー・スペクトルの照合: 著者らはまず、Type IIBコンパクト化の質量ゼロの$N=2$超重力スペクトル（ベクトルおよびハイパーマルチプレットの数）を一致させることにより、候補となるヘテロティック構成を特定する。これには以下が含まれる：

   • ヘテロティック・トーラスのモジュライ（$T, U$）を、摂動的なゲージ群を強化するためにモジュライ空間の特定の楕円点に固定する。
   • 要求される$U(1)^2$へとゲージ群を破り、アノマリー・キャンセル（Bianchi恒等式）および安定性条件を満たすように、K3曲面上にゲージ束（または可換連接層の導来圏における対象）を構成する。
   • マルチパラメータ・モデルにおいて、ハイパーマルチプレットの数を調整するために、時空を満たすNS5-ブレーンを考慮に入れる。

2. 摂動的BPSスペクトルの照合: 著者らは、量子レベルで双対性をテストするために、摂動的BPSスペクトルを照合する。彼らは、Type IIB側で特殊ラグランジュ3-サイクルを巻く軽いD3-ブレーンの中心電荷と質量（これらはtype II0軌跡付近で質量ゼロになる）と、ヘテロティック弦の摂動的BPS状態（トーラス上の運動量および巻きモード）を比較する。これには、ヘテロティック・トーラスの複素構造を、退化するK3曲面の周期と特定する作業が必要となる。

3. モノドロミー群の照合（非摂動的テスト）: 最後に、ヘテロティックの視点からType IIB複素構造モジュライ空間のモノドロミー群を再構成することで、双対性を検証する。著者らは、非摂動的状態（KKモノポールやNS5-ブレーンなど）に由来するユニポテント部分と、トーラス・モジュライのスタビライザーに由来するセミシンプル部分の両方を組み込んで、ヘテロティック弱結合極限の周りのモノドロミー行列を計算する。この行列を、既知のType IIBモデルのモノドロミー行列と比較する。

主な貢献と結果

• 一パラメータ・モデルに対する双対の明示的構成: 本論文は、3つの超幾何学的一パラメータ・カラビ–ヤウ三次元多様体（$X_{3,3}, X_{4,4}, X_{6,6}$）に対して、ヘテロティック双対を明示的に構成している。

  • $X_{3,3}$: 双対は、$K3 \times T^2$上での$SO(32)$ヘテロティック弦の標準的な幾何学的コンパクト化（固定されたトーラス・モジュライと特定のゲージ束を持つ）として特定される。これは、LCS点から離れた場所にあるtype II0軌跡においてもESCが成立することを示す原理証明として機能する。
  • $X_{4,4}$ および $X_{6,6}$: これらのモデルは「真に四次元的」なヘテロティック理論をもたらす。双対は、K3モジュライ空間のGepner/Landau-Ginzburg点において実現される。ゲージデータは、大体積極限において滑らかなベクトル束としては実現不可能な（具体的には、代数的格子において奇数の第一チェルン類を持つ）導来圏の対象に対応する。その結果、これらの背景は8次元または10次元への脱コンパクト化極限を持たない。

• 非幾何学的ヘテロティック背景: 本論文は、非幾何学的領域においても、一貫性があり、超対称的で、アノマリーフリーなヘテロティック・コンパクト化が存在することを実証している。$X_{4,4}$および$X_{6,6}$について、著者らは、ワールドシートの超対称性やアノマリー・キャンセルを直接、大体積幾何学的基準を用いて検証することはできないものの、Type IIBへの双対性（ここで有効場理論の弦はUV完全な理論のBPS解である）が、ヘテロティック・ワールドシート理論の整合性を保証していると主張している。

• 二パラメータ・モデルとNS5-ブレーンの核生成: 著者らは、type II0およびtype II1の両方の軌跡を特徴とする二パラメータ・モデル$X_{12}$を分析している。

  • 彼らは、type II0軌跡のヘテロティック双対を、時空を満たすNS5-ブレーンを含む構成として特定している。
  • 彼らは、type II0とtype II1のヘテロティック双対間の滑らかな遷移を実証している。六次元の小さなインスタントン遷移とは異なり、この四次元の遷移は滑らかである。これは、NS5-ブレーンの位置モジュライによる媒介を通じた、NS5-ブレーンの核生成とゲージ束データの変化を伴うものである。これは、事実上、K3の体積モジュライを置き換えるものである。

• 双対性群の照合: 本論文は、Type IIBモデルの完全なモノドロミー群（セミシンプル部分とユニポテント部分の両方を含む）をヘテロティック側から再現することに成功しており、モジュライ空間のグローバルな構造が一致していることを確認している。

意義
本論文は、よく研究されている大体積/LCS領域を超えた、具体的かつ新しいType IIB–ヘテロティック双対の事例を確立したと主張している。その主要な意義は以下の通りである：

1. 出現的弦予想の実装: 出現的弦の存在証明を超えて、type II0軌跡に対するワールドシート理論とゲージデータを明示的に決定することで、モジュライ空間の特異な領域におけるESCを検証した。
2. 非幾何学的で一貫した真空の存在: 一貫性があり、超対称的で、アノマリーフリーな、本質的に四次元的かつ非幾何学的（幾何学的記述を欠く）なヘテロティック・コンパクト化の存在に関する強い証拠を提供した。
3. 4次元における滑らかな遷移: NS5-ブレーンの核生成を伴う、四次元ヘテロティック理論における新しいクラスの滑らかな遷移を明らかにした。これは、高次元における特異な遷移とは定性的に異なる。
4. 手法的な有用性: （そこで有効場理論の弦は既知のBPS解である）Type IIBの視点を利用することで、幾何学的極限を欠くために分析が困難なヘテロティック・ワールドシート理論の整合性を推論し、実質的に双対性を利用して$\alpha'$補正された整合性条件を解いている。

著者らは、これらの結果が、非幾何学的領域においても一貫した弱結合の双対記述が出現することを示しており、これらのセットアップに対して距離予想や出現的弦予想のいかなる精緻化も必要ないというさらなる証拠を提供していると結論づけている。