[論文レビュー] Kodaira Dimension in Low Dimensional Topology

Tianjun Li|arXiv (Cornell University)|Nov 16, 2015

Algebraic Geometry and Number Theory参考文献 77被引用数 3

ひとこと要約

この論文は、2006年以降のシンプレクティック4次元多様体および3次元多様体に注目して、低次元位相幾何学におけるコーバー次元の発展をサーベイする。シンプレクティックコーバー次元 $\kappa^s$ とトポロジカルコーバー次元 $\kappa^t$ を定義・精緻化し、ファイブレーション、スケーリング、幾何的分解における挙動を確立し、加法性、劣加法性、次元および曲率型による多様体の分類といった主要な結果を提示する。

ABSTRACT

This is a survey on the various notions of Kodaira dimension in low dimensional topology. The focus is on progress after the 2006 survey [78].

研究の動機と目的

• 2006年のサーベイに続く、低次元位相幾何学におけるコーバー次元の理解を更新・拡張すること。特にシンプレクティック4次元多様体および3次元多様体に注目する。
• タウブスのセイバーウェン・理論と相対不変量を用いて、4次元多様体に対するシンプレクティックコーバー次元 $\kappa^s$ を定義・分析すること。
• タウブスの幾何的分解と幾何構造の分類に基づき、3次元多様体に対するトポロジカルコーバー次元 $\kappa^t$ を確立すること。
• スケーリング、ファイブレーション、ファイバー和の操作における $\kappa^s$ および $\kappa^t$ の挙動を調査し、不変性および加法性の性質を探索すること。
• 相対的および類似の設定（例えばシンプレクティックキャップや凹境界を持つ多様体）へと枠組みを拡張し、代数幾何における対数コーバー次元と関連付けること。

提案手法

• タウブスのセイバーウェン理論に基づき、$K_\omega \cdot \omega$ と $(K_\omega)^2$ の符号と正の性質を用いて、シンプレクティック4次元多様体 $M$ に対して $\kappa^s(M,\omega)$ を定義し、値を $\{-\infty, 0, 1, 2\}$ にとじめる。
• 球面成分を含まない最大のシンプレクティック曲面 $F$ を持つシンプレクティック対 $(M,\omega)$ に対して、$K_\omega + [F]$ の交点数と平方を用いて、相対コーバー次元 $\kappa^s(M,\omega,F)$ を導入する。
• 最小モデルプログラムを用いて、対の唯一の最小モデルを介して $\kappa^s(M,\omega,F)$ を定義し、補題5.1による一意性を保証する。
• 凹境界を持つシンプレクティック4次元多様体に対する「ユニルーデッド」および「カラビ＝ヤウキャップ」の概念を用いて、相対コーバー次元を定義し、それらをグローバル不変量と関連付ける。
• ルッティンジャースケーリング、Genus 0 および正のGenusのファイバー和、およびラショナルブローイングダウンの操作における $\kappa^s$ の挙動を分析し、劣加法性および加法性の性質を確立する。
• 3次元多様体のヤマベ不変量およびタウブスの幾何的分解（Thurston幾何構造）を用いて、$\kappa^t(M^3)$ を、分解に幾何的タイプが存在するかによって $-\infty$、0、または 1 に定義する。

実験結果

リサーチクエスチョン

• RQ1 ルッティンジャースケーリングおよび他の4次元多様体スケーリングにおいて、シンプレクティックコーバー次元 $\kappa^s$ はどのように振る舞うか？
• RQ2 3次元および4次元多様体において、シンプレクティックコーバー次元 $\kappa^s$ とトポロジカルコーバー次元 $\kappa^t$ の関係は何か？
• RQ3 擬全純特異点または重み付き構造を持つシンプレクティック曲面 $F$ に対して、相対コーバー次元 $\kappa^s(M,\omega,F)$ は一貫して定義可能か？
• RQ4 シンプレクティックキャップの相対コーバー次元が、周囲の閉多様体のグローバルコーバー次元をどの程度決定するか？
• RQ5 アフィン代数的曲面の文脈において、相対コーバー次元 $\kappa^s(M,\omega,F)$ はイタカの対数コーバー次元と同値か？

主な発見

• シンプレクティックコーバー次元 $\kappa^s(M,\omega)$ は適切に定義されており、$K_\omega \cdot \omega$ と $(K_\omega)^2$ の符号と成長度に従って $\{-\infty, 0, 1, 2\}$ の値をとる。
• 球面成分を含まない最大のシンプレクティック曲面 $F$ に対して、$(K_\omega + [F]) \cdot \omega < 0$ または $(K_\omega + [F])^2 < 0$ ならば $\kappa^s(M,\omega,F) = -\infty$ であり、交点数と平方が両方正であると2に増加する。
• 相対コーバー次元は $\kappa^s(M,\omega,F) \geq \kappa^s(M,\omega)$ を満たし、同調的で最大の曲面に対して不変である。
• $\kappa^s(M,\omega) = -\infty$ かつ $(K_\omega + [F])^2 > 0$ ならば、$(K_\omega + [F]) \cdot \omega > 0$ でなければならないため、$K_\omega + [F] \cdot \omega = 0$ を満たすようなそのような最大曲面は存在しない。
• Genus $h \geq 1$ の $S^2$-バンドルに対して、$F$ が切断であり $\kappa^s(M) = -\infty$ ならば、$\kappa^s(M,\omega,F) = -\infty$ である。
• ユニルーデッドキャップ（$[c_1(P)] \cdot [\omega,\alpha] > 0$）を含む任意の閉多様体 $M$ に対して $\kappa^s(M,\Omega) = -\infty$ であり、カラビ＝ヤウキャップ（$c_1(P)$ がねじれ）を含むと $\kappa^s(M,\Omega) \leq 0$ である。