[論文レビュー] Teissier's problem on proportionality of nef and big classes over a compact Kähler manifold

Jixiang Fu, Jian Xiao|arXiv (Cornell University)|Oct 17, 2014

Geometry and complex manifolds参考文献 10被引用数 8

ひとこと要約

この論文は、コンパクト・カーラー多様体上の超越的ネフで大きいクラスについて、テイッシャーの比例問題を解決し、カルホバンスキー＝テイッシャー不等式における等号が成立するのは、クラスが比例する場合に限ることを証明する。著者たちは、超越的ディスカン卜不等式に依存せずに、微分幾何的技法と特異点の現在の理論を用いてこの結果を得ており、ボックスコム＝ファーヴレ＝ヨンソンの代数的幾何学からの結果をカーラー幾何学へと拡張している。

ABSTRACT

We solve Teissier's proportionality problem for transcendental nef classes over a compact Kähler manifold which says that the equality in the Khovanskii-Teissier inequalities hold for two nef and big classes if and only if the two classes are proportional. This result recovers the previous one of Boucksom-Favre-Jonsson for the case of nef and big line bundles over a (complex) projective algebraic manifold.

研究の動機と目的

• コンパクト・カーラー多様体上の超越的ネフで大きいクラスについて、カルホバンスキー＝テイッシャー不等式における等号のケースを特徴づけること。
• ボックスコム＝ファーヴレ＝ヨンソンの比例結果を、射影代数的多様体からコンパクト・カーラー多様体へと拡張すること。
• ネフで大きいクラスの比例を特徴づける複数の条件の同値性を確立すること、これには体積の加法性とパワー写像埋め込みが含まれる。
• (n−1)-乗写像がネフで大きいコーンをモーブィルコロンに埋め込むことの証明を行い、幾何学的およびコhomオロジカルな性質を結びつけること。

提案手法

• コンパクト・カーラー多様体における混合ホッジ＝リーマン双線形関係を用いて、超越的クラスのカルホバンスキー＝テイッシャー不等式を導出すること。
• 超越的設定において弱いホロモーフィックモース不等式を応用するが、直接的には使用しないが、戦略に影響を与える。
• 最小特異性を持つ正の-current代表元の使用と、デメールィとボックスコムの結果を用いたLelong数の分析。
• ボット＝チエンコhomology枠組みを用いて、ケーラー形式およびケーラー-current代表元を用いてネフ性と大ぶりさを定義すること。
• 背理法と、codimension ≥2 または 1 の解析的集合に台を持つcurrentに関するvanishing定理を用い、補題2.1および補題2.2を適用すること。
• アーマブル領域上でcurrentの差が消えることと、特異性の制御を用いた全多様体への拡張により、比例性を確立すること。

実験結果

リサーチクエスチョン

• RQ1 コンパクト・カーラー多様体上の2つのネフで大きいクラスが、カルホバンスキー＝テイッシャー不等式において等号を満たすのは、どのような条件下か？
• RQ2 2つのネフで大きいクラスの比例性は、混合ホッジ＝リーマン型不等式における等号と同値か？
• RQ3 ボックスコム＝ファーヴレ＝ヨンソンの代数的幾何学的比例結果は、コンパクト・カーラー多様体の超越的設定へと拡張可能か？
• RQ4 (n−1)-乗写像がネフで大きいコーンからモーブィルコロンへの埋め込みとして単射であるか？ これはクラス群の幾何学的性質に何を意味するか？
• RQ5 体積の加法性条件 vol(α+β)^{1/n} = vol(α)^{1/n} + vol(β)^{1/n} は、超越的状況において比例するクラスを特徴づけるか？

主な発見

• 2つのネフで大きいクラス α と β について、カルホバンスキー＝テイッシャー不等式における等号が成立するのは、α と β が比例する場合に限る。
• 体積の加法性条件 vol(α+β)^{1/n} = vol(α)^{1/n} + vol(β)^{1/n} は、α と β が比例するのと同値である。
• (n−1)-乗写像 α ↦ α^{n−1} がネフで大きいコーンをモーブィルコロンに埋め込むのは、α と β が比例する場合に限る。
• すべての 1 ≤ k ≤ n−1 に対して s_k^2 = s_{k−1} s_{k+1} が成り立つのは、α と β が比例する場合に限る。
• クラス α と β が比例するための必要十分条件は、α^{n−1} と β^{n−1} が比例することである。これは強いコhomオロジカルな特徴づけを示している。
• 等号が成立するとき、ケーラー計量代表元の差 α₀ − β₀ は X 上で恒等的に消える。これは α = β を意味する。