Stringy Constraints on Modular Flavor Models

技術要約：モジュラー・フレーバー・モデルに対するストリング理論的制約

問題提起
モジュラー・フレーバー・モデルは、複素モジュラス $\tau$ の真空期待値（VEV）に関連付けることで、クォークやレプトンのフレーバー構造（質量階層、混合角、CP位相）を説明するための説得力のある枠組みを提供している。ここで $\tau$ は、弦理論のコンパクト化における複素構造モジュラスやケーラー・モジュラスといった幾何学的自由度に由来する。ボトムアップ的なアプローチでは、実験データに適合させるために $\tau$ を特定のات値に固定することが多いが、トップダウン的なアプローチでは、これらの値が基礎となる弦理論と整合していることが求められる。摂動的なヘテロティック弦の真空内における $\tau$ の許容パラメータ空間を理解することには、大きな隔たりが存在する。具体的には、フレーバー・モデルでしばしば用いられる大きな $\tau$ の値（例：$\tau \simeq i\infty$）や特定の固定点（例：$\tau = i$）が、理論の摂動的な妥当性と整合しているかどうかが不明である。

手法
著者らは、トーラス・オービフォールド上のヘテロティック弦の真空における、ゲージ結合のモジュラス依存の一ループ・閾値補正を解析することにより、モジュラス空間に対するストリング的な制約を調査している。手法は以下の通りである：

1. 枠組み： 本研究は、トーラス・オービフォールド（$T^6/\mathbb{Z}_4$ および $T^6/\mathbb{Z}_{6-II}$）上の摂動的ヘテロティック弦理論の設定で行われる。弦スケールでのゲージ結合は、ツリーレベルではディラトン（$S$）によって決定され、一ループレベルでは質量を持つ弦モードからの補正を受ける。
2. 閾値補正： 著者らは、ターゲット空間の双対性対称性（具体的には、異なるオービフォールドのねじれやルート格子に対応する $PSL(2, \mathbb{Z})$、$\bar{\Gamma}_0(n)$、および $\bar{\Gamma}_0(n)$ の組み合わせ）に基づき、ケーラー・モジュラス（$T$）と複素構造モジュラス（$U$）に依存する、閾値補正（$\Delta_a$）の一般式（文献 [32–34] より導出）を利用する。
3. 摂動的基準： 摂動的な記述の妥当性を保証するためには、ツリーレベルのゲージ結合（$\text{Im}S$ に比例）が閾値補正よりも支配的である必要がある。これにより、以下の不等式が得られる：
   $$16\pi^2 k_a \text{Im}S > |\Delta_a|$$
   ここで $k_a$ はカクマディ・レベルである。
4. 解析： 著者らは、閾値補正関数（デデキント・エータ関数 $\eta(\tau)$ を含む）を摂動的境界に対して評価することで、$T$ と $U$ に関する明示的な制約を導出する。$\text{Im}\tau > 1$ の領域ではランベルトのW関数を用いて解析的に、$\text{Im}\tau \lesssim 1$ の領域では数値的に解析を行う。解析にあたっては、ディラトンの VEV（$\text{Im}S$）、ベータ関数係数（$b_a^{N=2}$）、およびモジュラスの比（$T = aU$）を含むパラメータを変化させる。

主要な貢献および結果

• 制約の分類： 本論文は、ターゲット空間のモジュラー対称性（例：$PSL_T(2, \mathbb{Z}) \times PSL_U(2, \mathbb{Z})$、$\bar{\Gamma}_0^T(2) \times (\bar{\Gamma}_U)_0(2)$ など）に基づいて、様々なオービフォールドに対する閾値補正を5つのグループに系統的に分類している。
• モジュラスに関する一般的な制約：
  • 大きなモジュラス： フレーバー構造を制御するモジュラスの大きな値（具体的には $\tau \simeq i\infty$、すなわち大きな $\text{Im}\tau$）は、摂動的弦理論と矛盾していることが本研究で示された。閾値補正が大きくなりすぎ、ツリーレベルの結合に対して劣位ではなくなるためである。
  • パラメータへの依存性： 制約は、以下の条件において強くなる（すなわち、許容領域が縮小する）：
    1. ディラトン VEV（$\text{Im}S$）が減少する場合。
    2. ベータ関数係数（$|b_a^{N=2}|$）が増加する場合。
    3. ケーラー・モジュラスと複素構造モジュラスの比（$T/U$）が増加する場合。
  • 固定点： 大体積領域（$T \gg 1$）において、自己双対点 $\tau = i$ は好ましくない。しかし、特定の双対性対称性については、固定点 $\tau = \omega$（ここで $\omega = e^{2\pi i/3}$）は大体積極限においても許容される。
• 特定のオービフォールドの結果：
  • $PSL(2, \mathbb{Z}) \times PSL(2, \mathbb{Z})$ の場合、$\text{Im}U$ の許容領域はランベルトのW関数に従う曲線によって制限される。典型的な値（$b_a^{N=2} \sim 10, \text{Im}S \sim 2$）では、$\text{Im}U$ は $\lesssim 34$ に制限される。
  • $\bar{\Gamma}_0(n)$ 対称性を持つオービフォールド（例：$T^6/\mathbb{Z}_4$）の場合、制約はモジュラスの特定の比に依存する。あるケース（例：$aT = U$）では、標準的な $PSL(2, \mathbb{Z})$ の場合よりも制約が著しく厳しくなり、大きなベータ関数係数の場合には基本領域全体を排除する可能性がある。
  • 数値解析によれば、大きなベータ関数係数（$b_a^{N=2} > 90$）の場合、双対性の基本領域内において摂動的記述を保証することはできない。

意義および現象論的含意
本論文は、これらのストリング的な制約がモジュラー・フレーバー・モデルに深い影響を与えることを主張している：

1. 大きなモジュラス・シナリオの排除： 放射状のモジュラス安定化を通じて階層的なユカワ結合を生成するために、モジュラスの虚部を大きくする（例：$\text{Im}\tau \sim 10$ 以上）モデルは、摂動的ヘテロティック弦理論に組み込むことが一般に困難である。
2. 固定点の選好： 制約は、現象論的に実行可能なモデルが、大体積極限において、カスプ（$\tau = i\infty$）や自己双対点（$\tau = i$）よりも、双対性対称性の固定点（特に $\tau = \omega$）の近くで実現される可能性が高いことを示唆している。
3. モデル構築への指針： これらの結果は、トップダウン的なモデル構築のための定量的な「フィルター」を提供する。ヘテロティック・オービフォールドから構築されるあらゆるモジュラー・フレーバー・モデルは、その予測されるモジュラス VEV が、ディラトンおよびベータ関数係数によって定義される摂動的に許容された領域内にあることを保証しなければならない。
4. 限界： 著者らは、自身の解析が厳密に摂動的であることを注記している。含まれていない非摂動的効果が、これらの結論を修正する可能性がある。また、本研究はトーラス・オービフォールドに焦点を当てており、制約はカラビ・ヤウコンパクト化においては異なる可能性がある。

要約すると、本研究は、ヘテロティック弦理論における摂動的妥当性の要求が、フレーバー・モデルで使用されるモジュラスの値に対して厳格な上限を課しており、非常に大きなモジュラスを持つシナリオを事実上排除し、特定の固定点を支持することを確立している。