[論文レビュー] The Alexandrov-Fenchel type inequalities, revisited

Ping Li|arXiv (Cornell University)|Oct 2, 2017

Point processes and geometric inequalities参考文献 26被引用数 8

ひとこと要約

本稿は、凸幾何、行列理論、複素代数幾何の分野におけるアレクサンドロフ・フェンヒェル型不等式の包括的比較分析を提供し、コンpact Kähler多様体上のネフかつビッグなクラスの交差数に対する等号成立条件を完全に特徴付けている。複素ヘルミート型の混合判別式不等式と、AF型条件を満たす双線形形式に対する一般化された行列式不等式を導入し、ホッジ理論とコhomological正則性に根ざした共通する構造的原理を通じて、異なる分野を統合している。

ABSTRACT

Various Alexandrov-Fenchel type inequalities have appeared and played important roles in convex geometry, matrix theory and complex algebraic geometry. It has been noticed for some time that they share some striking analogies and have intimate relationships. The purpose of this article is to shed new light on this by comparatively investigating them in several aspects. \emph{The principal result} in this article is a complete solution to the equality characterization problem of various Alexandrov-Fenchel type inequalities for intersection numbers of nef and big classes on compact Kähler manifolds, extending some earlier related results. In addition to this central result, we also give a geometric proof of the complex version of the Alexandrov-Fenchel inequality for mixed discriminants and a determinantal generalization of various Alexandrov-Fenchel type inequalities.

研究の動機と目的

• 凸幾何、行列理論、複素代数幾何の分野におけるアレクサンドロフ・フェンヒェル型不等式を統一的かつ比較的に扱う。
• コンpact Kähler多様体上のネフかつビッグなクラスの交差数に関する長年の等号成立条件の特徴付け問題を解決する。
• 複素ヘルミート型混合判別式不等式の、これまでに完全に一般化された形で記録されていなかった、新たな詳細な証明を提供する。
• Eucledian空間内の閉錐上での抽象的双線形関数に対して、AF型不等式を行列式形式に一般化する。
• ホッジ・リーマン関係、混合ホッジ指数定理、交差理論から生じる対数凸列を結ぶ幾何的枠組みを確立する。

提案手法

• 混合ホッジ・リーマン双線形関係と混合ホッジ指数定理を用いて、コンpact Kähler多様体上での不等式を導出する。
• 代数幾何的文脈（[Li16] より）におけるAF型不等式を応用し、複素ヘルミート型混合判別式不等式の新しい証明を導く。
• AF型不等式を満たす閉錐上での双線形関数に対して、正の整数 $ r $ でパrameter化された一般化された行列式不等式（定理3.5）を導入する。
• コhomology類に関する帰納的議論を用いて、主な等号成立条件の結果（定理3.9）を証明し、$(n-1,n-1)$-類の比例性に依存する。
• コhomological正則性とネフかつビッグなクラスの性質を用い、楔積の消失を介して等号条件を分析する。
• ホッジ指数定理とKählerクラスの性質を応用し、問題をコhomological比例性条件に還元する。

実験結果

リサーチクエスチョン

• RQ1 コンpact Kähler多様体上でのネフかつビッグなクラスの交差数を含むアレクサンドロフ・フェンヒェル型不等式の等号成立条件は、どのように特定できるか？
• RQ2 文献に記録がなく、専門家間では知られていたにもかかわらず、複素ヘルミート型混合判別式不等式の厳密な導出と証明はどのように行えるか？
• RQ3 AF型不等式は、必要な正則性および凹性条件を満たす抽象的双線形関数に対して、行列式形式に一般化可能か？
• RQ4 混合体積、混合判別式、Kähler交差数不等式における等号成立条件の間には、どのような関係があるか？
• RQ5 ホッジ理論的原則は、見た目には異なる数学的分野における等号成立条件を、どの程度統一的に説明できるか？

主な発見

• 本稿は、コンpact Kähler多様体上でのネフかつビッグなクラスを含むアレクサンドロフ・フェンヒェル型不等式の等号成立条件問題を完全に解決し、Bouchot, Favre, Jonsson, Fu, Xiaoらの先行研究を拡張している。
• 文献に記録がなかったにもかかわらず、専門家間では知られていた複素ヘルミート型混合判別式不等式を、完全に詳細に確立・証明している。
• 閉錐上での双線形関数に対して一般化された行列式不等式（定理3.5）を証明し、$ r=1 $ の場合に元のAF不等式が回復され、$ r=2 $ の場合が主な等号成立結果において重要である。
• $ m=2 $ の場合、等号成立は、2つの $(n-1,n-1)$-類 $ \gamma_1 \wedge \gamma_3 \wedge \cdots \wedge \gamma_n $ と $ \gamma_2 \wedge \gamma_3 \wedge \cdots \wedge \gamma_n $ が $ H^{n-1,n-1}(M;\mathbb{R}) $ 内で比例する場合に限り成立する（ネフかつビッグなクラスの仮定のもと）。
• 一般化された $ m $ 重不等式（定理7.1）の等号成立は、最初の $ m $ 個のクラスのうち1つを除いたすべての関連する $(n-1,n-1)$-コhomology類が比例する場合に限り成立する。
• 主な結果の証明は、$ m-1 $ 重の場合の等号成立を仮定して $ m $ 重の場合の比例性を導く帰納的議論に依存し、最終的にコhomological消失と比例性に還元される。