Stability and Fourier-Mukai transforms on an eliptic surface

Kota Yoshioka による論文「Stability and Fourier-Mukai Transforms on an Elliptic Surface」の詳細な技術的要約を以下に示す。

1. 問題提起

本論文は、楕円曲面 $\pi: X \to C$ 上の安定な層のモジュライ空間の研究を取り扱っている。Friedman、Bridgeland、Yoshioka による基礎的な研究により、これらのモジュライ空間の双有理幾何（特にランク 2 の場合や、ランクと次数が互いに素である場合）は確立されていたが、ランクと相対次数が互いに素でない一般の場合に対する包括的な安定性条件は、まだ十分に探求されていなかった。

具体的には、著者は以下の目標を掲げている：

1. 楕円ファイバー束に特化し、Gieseker 安定性を一般化する新しい安定性条件、$(f, G, H)$-半安定性を定義すること。
2. 安定なファイバー層のモジュライ空間によって誘導される相対フーリエ・ムカイ変換（導来圏の同値）の下での、この安定性の挙動を調査すること。
3. 壁越え現象（安定性パラメータの変化に伴うモジュライ空間の変化）を分析し、これらの壁を跨ぐ際に位相不変量（仮想ホッジ数など）がどのように振る舞うかを決定すること。
4. この新しい安定性と、Bridgeland 安定性や 1 次元層の安定性といった既存の枠組みとの関係を確立すること。

2. 手法

著者は、導来圏の手法、ムカイ格子理論、および幾何学的不変量理論（GIT）の組み合わせを用いている。

• ムカイ格子とベクトル: 本論文では、ムukai 内積 $\langle \cdot, \cdot \rangle$ を備えたコホモロジー環 $H^*(X, \mathbb{Q})_{alg}$ の代数的部分を利用する。ムカイベクトル $v(E)$ は、チャーン標数とオイラー標数を符号化するように定義される。
• $(f, G, H)$-半安定性の定義:
  • 安定性は、ファイバー $f$、ランクが 0 以上であるねじれ sheaf $G$、および偏極 $H$ に依存する。
  • これは、ファイバー $f$ との交差と、"twisted" オイラー標数 $\chi(G, \cdot)$ を含む傾き条件によって定義される。
  • 決定的な点は、この定義が、コヒーレント層またはコヒーレント層の導来双対であり得る対象、すなわちねじれファイバー層を含む対象を扱うことができることである。
• 壁と chamber の構造: 安定性のパラメータ空間は、$\mathbb{R} \times NS(X)_\mathbb{R}$ の部分集合として特定される。著者は、安定性が変化する壁（loci）と、安定性が一定である連結成分であるchamberを定義する。
• 相対フーリエ・ムカイ変換: 本研究の中心は、$\pi$ のファイバー上で支持される安定層のモジュライ空間 $X'$ に対する変換 $\Phi_{X \to X'}$ である。核は普遍族 $P$ である。著者は、これらの変換がムカイベクトルと安定性条件にどのように作用するかを分析する。
• Bogomolov 不等式: 重要な技術的道具として、半安定な対象に対する Bogomolov 型の不等式を証明し、壁越えデータの有界性と有限性を保証する。

3. 主要な貢献と結果

A. $(f, G, H)$-半安定性の定義

著者は、Gieseker 安定性を一般化する安定性条件を導入する。

• 定理 0.1: $E$ が $(f, G, H)$-半安定であり、そのフーリエ・ムカイ変換のランクが非ゼロである場合、変換 $\Phi(E)$ は（シフトを除いて）$(f', G', H')$-半安定である。これにより、この安定性条件が相対フーリエ・ムカイ変換の下で適切に振る舞うことが確立される。
• 命題 3.19: 著者は、十分大きな $n$ に対して、$H + nf$に関する$(f, G, H)$-半安定性が標準的な Gieseker 半安定性と一致することを証明する。したがって、この新しい条件は真の一般化である。

B. 壁越えと位相不変量

本論文は、安定性パラメータが壁を越える際にモジュライ空間がどのように変化するかを調査する。

• 命題 0.3: 条件 $(K_X \cdot H) \leq 0$（これには有理楕円曲面や楕円則曲面が含まれる）の下で、半安定層のモジュライスタックの仮想ホッジ数（および仮想ホッジ多項式）は、chamber の選択に依存しない。
• 系: これは、相対フーリエ・ムカイ変換が Gieseker 半安定層のモジュライ空間の仮想ホッジ多項式を保存することを意味する。

C. 1 次元層との関係

重要な結果として、高ランク層の安定性と 1 次元層の安定性が結びつけられている。

• 定理 0.4: ムカイベクトル $v$ が $\langle v, v(P|_{X \times \{x'\}}) \rangle = 0$ を満たす場合、$E$ に対する $(f, G, H)$-半安定性は、フーリエ・ムカイ変換下での 1 次元層 $F$ の $(-G')$-twisted 半安定性と同等である。これにより、高ランク層に対する複雑な壁越えの問題が、1 次元層の研究に還元される。

D. 双有理幾何とモジュライ同型

• 系 5.15: 一般的な安定性パラメータに対して、$(f, G, H)$-半安定層のモジュライスタックと、対象曲面上の Gieseker 半安定層のモジュライスタックとの間に同型を誘導する相対フーリエ・ムカイ変換が存在する。ムカイベクトルが原始である場合、このモジュライ空間は $\mu$-安定なベクトル束からなる。
• 定理 5.16: 十分大きな $m$ に対して、変換 $\Phi(E(mH))$ は Gieseker 半安定性を保存する。

E. 例と明示的な壁構造

本論文は、特定の曲面に対する明示的な計算を提供する：

• 有理楕円曲面: 著者は、完全に半安定な壁を分類し、chamber 間の双有理写像（ムカイフロープ）を記述する。
• 楕円 K3 曲面とアーベル曲面: 本論文は、特定のムカイベクトル（例：$v = 2 + f - \varrho_X$）に対する chamber 分解を分析する。フーリエ・ムカイ変換とテンソル積によって生成される群作用がパラメータ空間にどのように作用し、無限系列の双有理自己同型を生み出すかを実証する。
• 互いに素でない場合: 本論文は、$\gcd(\text{rank}, \text{degree}) > 1$ である場合を明示的に扱い、壁越えの挙動が 1 次元層または twisted 層の研究に還元できることを示している。ただし、多重ファイバーが存在する場合は障害が存在する。

4. 意義

本論文は、代数幾何学およびモジュライ空間の研究分野に対して、いくつかの重要な貢献を行っている：

1. 安定性の統合: 楕円曲面の文脈において、Gieseker 安定性と Bridgeland 安定性を含む統合された枠組みを提供し、特にランクと次数が互いに素でないという困難なケースに対処している。
2. 不変量の不変性: 特定の曲率条件の下で仮想ホッジ数が chamber に依存しないことを証明することにより、安定な対象の「数え上げ」が、選択された特定の安定性条件に関わらず、曲面とムカイベクトルの位相不変量であることを確認している。
3. 双有理幾何のための道具: 結果は、フーリエ・ムカイ変換を介して、異なるランクまたは異なる位相的タイプを持つモジュライ空間間の双有理写像を構成するための強力な手法を提供する。これは、楕円曲面上の層のモジュライ空間のグローバルな構造を理解する上で不可欠である。
4. より単純な場合への還元: 高ランク層の安定性と 1 次元層の安定性との等価性（定理 0.4）は、壁越えの分析を簡素化し、研究者が既存の 1 次元層に関する結果を活用することを可能にする。

要約すると、Yoshioka はフーリエ・ムカイ変換の強力な機構をより広範な安定性条件のクラスに拡張し、楕円曲面上のモジュライ空間の双有理幾何と位相不変量を分析するための堅固な理論的基盤を提供している。