A Finiteness Theorem for Quartic K3-Fibred Calabi--Yau Threefolds in Scrolls

技術的要約：スクロールにおける4次K3ファイバーを持つカルビ・ヤウ3次元多様体の有限性定理

問題の所在
本論文は、代数的な極小カルビ・ヤウ3次元多様体に関するグロスの有限性問題の制限された形式に取り組んでいる。ファイバーを持つカルビ・ヤウ3次元多様体に関する一般的な有界性の結果（特にEngelらによる[5]）は確立されているが、これらの結果は、特定の族に対するウェイトベクトル、特異点型、またはホッジ数の明示的な分類を提供するものではない。本研究は、$\mathbb{P}^1$上の「スクロール」における反標準的な超曲面として実現される、4次K3曲面（$S_4 \subset \mathbb{P}^3$）によってファイバー化された3次元多様体に焦点を当てている。本研究は、既知の「ストレート・スクロール」の族（アンビエント空間が非特異な$\mathbb{P}^3$束である場合）を超えて、「オービフォールド・スクロール」の形式 $F^m_n = (\mathbb{P}^1 \times \mathbb{P}^3)/\mathbb{Z}_n$ を含むものへと拡張されている。主な目的は、これらのオービフォールド構成のうち、どのものが少なくとも標準的な特異点（canonical singularities）を持つカルビ・ヤウ3次元多様体をもたらすかを決定し、それによって得られる変形族を明示的に分類することである。

手法
分類は、ウェイトベクトルの組合せ論的解析と、標準的な特異点のためのReid–Shepherd-Barron–Tai (RSBT) 基準の適用に基づいている。

1. 幾何学的構成:

   • ストレート・スクロール ($n=1$): アンビエント空間は、非特異な束 $F = \mathbb{P}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(a_2) \oplus \mathcal{O}_{\mathbb{P}^1}(a_3) \oplus \mathcal{O}_{\mathbb{P}^1}(a_4))$ である。カルビ・ヤウ3次元多様体 $X$ は、$F$ における一般的な反標準的超曲面である。
   • オービフォールド・スクロール ($n \ge 2$): アンビエント空間は商 $F^m_n = (\mathbb{P}^1 \times \mathbb{P}^3)/\mathbb{Z}_n$ である。ここで $\mathbb{Z}_n$ は、ベースに対しては自明に、ファイバー座標 $[x_j]$ に対してはウェイト $m = (m_1, \dots, m_4)$ で対角的に作用する。カルビ・ヤウ条件は、$\mathbb{Z}_n$ 不変な4次多項式の存在を要求し、これはウェイトに関する合同条件を課す。

2. 特異点とRSBT基準:

   • 本論文は、$\mathbb{Z}_n$ 作用の固定軌道（具体的にはセクション $C_j = \mathbb{P}^1 \times \{x_j=0\}$）に対してRSBT基準を適用している。
   • アンビエント・オービフォールドが標準的な特異点を持つためには、固定点における群作用の「エイジ（age）」が $\ge 1$ である必要がある。超曲面の制限が標準的であり続けるためには、この条件は1ユニット分鋭敏化される。
   • これにより、ウェイト $m_i$ と位数 $n$ に関する算術条件の系が導かれる：
     $$m_2 + m_3 + m_4 \equiv \beta \pmod n$$
     $$m_2 + m_3 + m_4 \ge n + 1$$
     ここで $\beta$ は不変な4次式のウェイトである。

3. ウェルフォームドネス（Well-formedness）:

   • 重要な制約は「ウェルフォームドネス」であり、これは3つ以上のウェイトが $n$ を法として合同であるケースを除外する。このようなケースは、群作用における準反射（quasi-reflections）に対応し、曲線ではなく因子（余次元1）を固定するため、標準的な特異点をもたらすか、あるいはカルビ・ヤウ条件（負のコダラ次元）の失敗を招く。

4. ホッジ数の計算:

   • 滑らかな場合、$h^{1,1}$ はレフシェッツの超平面定理によって決定される。
   • オービフォールドの場合、$h^{2,1}$ は、アンビエント空間の自己同型群によるモジュロ計算を行った後の、適切な次数の不変多項式の空間の次元を数えることで計算される。
   • $h^{1,1}$ は、エイジが $\le 1$ である「ツイストされたセクター」（固定曲線）からの寄与によって補正される。これは、クリーペント分解における例外的な因子に対応する。

主要な貢献と結果

1. 有限性定理: 本論文は、標準的な4次K3ファイバーを持つカルビ・ヤウ3次元多様体をもたらす許容可能なウェイトベクトルの集合 $C_n$ が、任意の固定された位数 $n$ に対して有限であることを証明している。

2. $n=1, 2, 3$ における完全な分類:

   • $n=1$ (ストレート・スクロール): 表1に示されている通り、正確に10の族（先行研究 [12, 13, 14] で見出されたもの）の存在を再確認している。
   • $n=2$: ウェイトベクトル $(1, 1, 1) \pmod 2$ に対応する、正確に1つの族（$x_j \mapsto -x_j$ による $X(2,4)$ の商）を特定している。
   • $n=3$: 4つの候補のうち、3つの有効な族を特定している。候補 $(0, 2, 2, 2)$ は、ウェルフォームドネスの欠如（ウェイトの3重の一致）により排除される。有効な族は、ウェイト $(0, 0, 2, 2)$, $(0, 1, 1, 2)$, および $(0, 1, 2, 2)$ に対応する。
   • 合計: 本研究は、この設定における14の異なる変形族を導き出している。

3. 明示的なホッジ・データ:

   • 本論文は、これら14の族すべてのホッジ数 $(h^{1,1}, h^{2,1})$ を計算している。
   • $n=3$ の族については、結果は以下の通りである：
     • 族1 $(0,0,2,2)$: $(5, 23)$
     • 族2 $(0,1,1,2)$: $(6, 34)$
     • 族3 $(0,1,2,2)$: $(4, 34)$
   • 本論文は、族2が特定の完全交差カルビ・ヤウ（CICY）多様体とホッジ数を共有しているものの、それらの構成は異なる（特異なスタック内の超曲面 vs 滑らかな完全交差）ことを指摘しており、数値の一致は同型性の証拠ではなく、数値的な偶然であるとしている。

意義
本論文は、この特定のクラスのカルビ・ヤウ3次元多様体に関する最初の明示的かつ効果的な分類を提供している。ファイバーを持つカルビ・ヤウ3次元多様体の不変量の存在を保証する一般的な有界性定理（例：[5]）は存在するが、それらは具体的なウェイトベクトル、特異点型、またはホッジ数を与えない。本研究は、$\mathbb{P}^1$ 上の（オービフォールド）スクロールにおける4次K3ファイバーの場合について、そのギャップを埋めるものである。

その意義は、抽象的な有界性から具体的な列挙への移行にある。$\mathbb{P}^1$ ベースの剛性とRSBT基準の組合せ論的な性質を利用することで、著者は複雑な幾何学的問題を、解くべき算術不等式の系へと還元している。結果は、これらの特定のオービフォールド構成の存在問題を解決し、それらの特異点構造と位相不変量を含む14の族の完全なデータセットを提供しており、これは低次のK3ファイバーを持つカルビ・ヤウ多様体のさらなる研究のための基礎的なリファレンスとして機能する。

未解決の問い
本論文は、全ての可能な構成において位数 $n$ 自体が有界であるかどうかは決定していないことを明記している。論文では、任意の固定された $n$ に対して、その数の族が有限であることのみを証明している。$n=3$ を超えての分類の拡張、および $n$ の有界性の解決は、未解決の課題として残されている。