The generalized roof F(1,2,n): Hodge structures and derived categories

技術要約：一般化された屋根 $F(1, 2, n)$：ホッジ構造と派生カテゴリー

問題設定
本論文は、「一般化された同次的な屋根（generalized homogeneous roofs）」から生じる一対の多様体の間の幾何学的およびカテゴリー的な関係を扱っている。一般化された屋根は、ピカール数が2である有理同次多様体 $G/P$ として定義され、これは2つの異なる射影束構造 $h_1: X \to B_1$ および $h_2: X \to B_2$ を持ち、両方の構造のファイバーに対して $\mathcal{O}(1)$ に制限される線束 $L$ を備えている。

中心となる問題は、一般的な大域切断 $S \in H^0(X, L)$ の零点集合として得られる零点集合 $Y_1 \subset B_1$ および $Y_2 \subset B_2$ を分析することである。古典的なケースにおいて、屋根が「屋根（roof）」（両方の束のランクが等しい場合）であるとき、これらの零点集合は、導来等価ではあるが同型ではないカラビ・ヤウ多様体として知られている。本論文では、ランクが異なる場合に生じる「一般化された屋根」を調査し、その結果として得られるペア $(Y_1, Y_2)$ において、一方が一般型であり他方がファノ多様体である場合、あるいは両方が異なる次元のカラビ・ヤウ多様体である場合などのケースを検討する。著者らは、ホッジ理論的な対応関係と、派生埋め込みの存在を確立することを目的としている。

手法
著者らは、ホッジ理論と、数理物理学に根ざした派生カテゴリーの手法を組み合わせた二角的なアプローチを採用している：

1. ホッジ理論的分析:

   • 著者らは、零点集合のコホモロジーを分析するために、「ジャンプ手順（jump procedure）」（[BFM21]を修正したもの）を利用している。
   • 著者らは、「v-コホモロジー（消失または可変コホモロジー）」を、包含写像による周囲のコホモロジーの像の直交補空間として定義している。
   • 全空間 $M$（屋根上の $S$ の零点集合）を、$B_1$ および $B_2$ 上の射影束として層別化することにより、グロテンディック環における関係式を導出し、レフシェッツの双曲定理を適用して $Y_1$ および $Y_2$ のコホモロジーを分解している。

2. 派生カテゴリーとGLSM:

   • 著者らは、ゲージ線形シグマモデル（GLSM） $(W, G, \mathbb{C}^*_R, f)$ を構築している。
   • 著者らは、$Y_1$ と $Y_2$ を、GLSMの異なるフェーズ（チャンバー）に対応する真空多様体（超ポテンシャル $f$ の臨界点集合のGIT商）として特定している。
   • 「ウィンドウ・カテゴリー（window category）」の手法（[ADS15, Seg11]に基づく）を用いて、スタック $[W/GL(V_{k+1})]$ の派生カテゴリー内にある特定の劣カテゴリー $\mathcal{W}_0$ を特定している。
   • 著者らは、このウィンドウからの制限関手が、二つのフェーズの派生カテゴリーに対して完全忠実であり（かつ一方のフェーズに対して本質的に全射である）、それによって二つのフェーズのB-ブレーン・カテゴリー間の派生埋め込みを誘導することを証明している。
   • 最後に、Knörrerの周期性 [Shi12] を適用して、B-ブレーン・カテゴリーを零点集合 $Y_1$ および $Y_2$ の派生カテゴリーに関連付けている。

主要な貢献と結果

• 一般化された同次的な屋根の分類: 本論文は、二つの射影束の相対次元が異なるケースを含む、屋根の分類を拡張している。具体的には、グラスマン多様体 $G(k, n)$ および $G(k+1, n)$ への射影を持つフラッグ多様体 $F(k, k+1, n)$ （タイプ $A^G_{k, n-1}$）を分析している。
• ホッジ理論的双対性（定理 3.6）: 著者らは、$F(k, k+1, n)$ に関連するペア $(Y_1, Y_2)$ について、「v-コホモロジー」（周囲のグラスマン多様体から来ないコホモロジーの部分）が、有理ホッジ構造として同型であることを証明している：
  $$H^d_{v}(Y_1, \mathbb{Q}) \cong H^d_{v}(Y_2, \mathbb{Q})$$
  これは、適切な次元が満たされる限り、$Y_1$ が一般型であり $Y_2$ がファノ多様体である場合でも成立する。カラビ・ヤウの場合（$n=2k+1$）、これは二つの多様体のホッジ数が同一であることを意味する。
• 派生埋め込み（定理 4.25）: 一般化された屋根 $F(1, 2, n)$ （ここで $k=1$）の特定のケースにおいて、著者らは以下の完全忠実な関手を構成している：
  $$D^b(Y_2) \hookrightarrow D^b(Y_1)$$
  ここで、$Y_2$ はファノ多様体（または小さな $n$ では点の集合）であり、$Y_1$ は一般型の多様体（またはより高い指数を持つファノ多様体）である。この結果は、ウィンドウ・カテゴリーからB-ブレーンへの埋め込みをリフトし、Knörrerの周期性を適用することによって達成される。
• 具体的な例: 本論文は、以下のような特定のケースにおけるホッジ数の具体的な計算を提供している：
  • $F(1, 2, 6)$：$Y_1$ は21個の点からなり、$Y_2$ はファノ6-foldである。それらのv-コホモロジーは同型である。
  • $F(2, 3, 6)$：$Y_1$ は一般型4-foldであり、$Y_2$ はファノ6-foldである。v-コホモロジーが同型であることが示されている。

意義と主張
本論文は、既知のカラビ・ヤウ双対現象を、ファノ多様体や一般型多様体を含むより広い設定へと一般化することを主張している。

• ホッジ理論的近似: 著者らは、ホッジ理論的な結果を「ファノ・ビジター（Fano visitor）」現象の近似として位置づけている。彼らは、一般型／ファノのシナリオにおいては、一般型多様体がファノの「ホスト（host）」の派生カテゴリー内に埋め込まれた「ビジター（visitor）」として振る舞うことを示唆しており、これはカラビ・ヤウのペアで見られる挙動を反映している。
• 物理的動機: 手法は、幾何学的構成を量子場理論のフェーズ遷移に結びつけるGLSMの枠組みに強く依存している。著者らは、このアプローチが、古典的な幾何学的手段では発見が困難な、派生等価（または埋め込み）な多様体の候補ペアを構築するための体系的な方法を提供すると述べている。
• 派生等価の範囲: 本論文は $F(1, 2, n)$ のケースにおける派生埋め込みの存在を証明しているが、一般型／ファノの場合における完全な派生等価については慎重な姿勢を保っている。著者らは、このような埋め込みは一般に存在するであろうと推測しているが、$k > 1$ の場合の完全な等価の証明は困難であり、今後の課題として明示的に残している。彼らは、現在の結果が非カラビ・ヤウの場合における完全な等価関係ではなく、「ビジター」の関係を確立したものであることを強調している。

要約すると、本論文は、一般化された屋根から生じる幾何学的に異なる一対の多様体のホッジ構造の間の厳密なリンクを確立し、GLSMとウィンドウ・カテゴリーを介して、ファノ側の派生カテゴリーを一般型側の派生カテゴリーへと埋め込む具体的なメカニズムを提供している。