[論文レビュー] Un théoréme de Nakai-Moishezon pour certaines classes de type (1,1)

Philippe Eyssidieux|ArXiv.org|Nov 10, 1998

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

ひとこと要約

この論文は、コンパクト・カーラー多様体上の特定の(1,1)-類の正則性について、ナカイ＝モイシェゾン型の基準を確立する。同論文は、$[\omega] \in H^2(\pi_1(X),\mathbb{R})^{1,1} + NS(X) \otimes \mathbb{R}$ がカーラークラスであるための必要十分条件を示しており、任意の非退化で閉じたd次元代数的部分多様体との上での正の交差次数が成り立つことである。これは、射影的多様体上のより広いクラスのコホモロジー類に対して、古典的な正則性基準を拡張するものである。

ABSTRACT

Let $X$ be a smooth compact projective variety over $\mathbb C$. Let $H^2(π_1(X),\mathbb R)^{1,1}$ be the intersection of $H^{1,1}(X,{\mathbb R})$ with the image of the map $H^2(π_1(X),{\mathbb R}) o H^2(X)$ induced by the classifying map $X o Bπ_1(X)$. Let $NS(X)$ be the Néron-Severi group of $X$. Let $[ω]\in H^2(π_1(X),\mathbb R)^{1,1}+ NS(X)\otimes {\mathbb R}$. In this note, we prove that $[ω]$ is the cohomology class of a Kähler metric if and only if for every $d$-dimensional reduced closed algebraic subvariety $Z\subset X$, $[ω]^d.Z>0$.

研究の動機と目的

• コンパクト複素射影的多様体上の、より広いクラスの(1,1)-コホモロジー類に対して、古典的なナカイ＝モイシェゾンの正則性基準を拡張すること。
• コホモロジー類 $H^2(\pi_1(X),\mathbb{R})^{1,1} + NS(X) \otimes \mathbb{R}$ がカーラー計量によって代表可能である条件を同定すること。
• 基本群のコホモロジーとネロン＝セバール群の間の相互作用を分析することにより、トポロジー的不変量（$\pi_1(X)$ を通じて）と代数幾何学の間の溝を埋めること。
• 部分多様体上の正則性条件の一般化により、カーラー類に対するコホモロジー的基準を提供すること。

提案手法

• 論文は、分類写像 $X \to B\pi_1(X)$ による像とホッジ (1,1)-類との交わりとして定義される、部分空間 $H^2(\pi_1(X),\mathbb{R})^{1,1} \subset H^{1,1}(X,\mathbb{R})$ を研究する。
• トポロジー的および代数的要素を組み合わせた、コホモロジー類 $[\omega]$ の和 $H^2(\pi_1(X),\mathbb{R})^{1,1} + NS(X) \otimes \mathbb{R}$ を考察する。
• 主な基準は、すべての非退化で閉じたd次元部分多様体 $Z \subset X$ に対して、上位次元の交差次数 $[\omega]^d \cdot Z > 0$ の正の性質として定式化される。ここで $d = \dim Z$ である。
• 証明はホッジ理論とネロン＝セバール群の構造に依拠しており、$NS(X) \otimes \mathbb{R}$ の類が代数的であるという事実を用い、交差理論的解析が可能であることを活用する。
• 分類写像がコホモロジーに誘導する写像を通じて、トポロジー的情報をホッジ理論的枠組みに移すという事実を活用する。
• 鍵となる技術的ステップは、すべての部分多様体における正の性質が、双対性と有効サイクルの錐を用いて、$[\omega]$ を代表するカーラー計量の存在を示すことにある。

実験結果

リサーチクエスチョン

• RQ1 コホモロジー類 $H^2(\pi_1(X),\mathbb{R})^{1,1} + NS(X) \otimes \mathbb{R}$ がカーラー計量によって代表可能である条件は何か？
• RQ2 純粋に代数的でないが、基本群からのコホモロジーを含むクラスに対しても、古典的なナカイ＝モイシェゾン基準を拡張できるか？
• RQ3 すべての非退化で閉じた部分多様体 $Z$ に対して、交差次数 $[\omega]^d \cdot Z$ が正であることは、$[\omega]$ がカーラー類であることを保証する十分条件か？
• RQ4 基本群から生じるコホモロジー類は、カーラー幾何の文脈でネロン＝セバール群とどのように相互作用するか？
• RQ5 多様体 $X$ のトポロジカル構造（$\pi_1(X)$ を通じて）と、$X$ 上のカーラー計量の存在との間の明確な関係は何か？

主な発見

• コホモロジー類 $[\omega] \in H^2(\pi_1(X),\mathbb{R})^{1,1} + NS(X) \otimes \mathbb{R}$ がカーラー計量のコホモロジー類であるための必要十分条件は、すべての非退化で閉じたd次元代数的部分多様体 $Z \subset X$ に対して $[\omega]^d \cdot Z > 0$ が成り立つことである。
• クラス $H^2(\pi_1(X),\mathbb{R})^{1,1}$ は $H^{1,1}(X,\mathbb{R})$ の部分空間であり、基本群から生じる(1,1)-類を捉えており、ネロン＝セバール群との交わりは正則性の文脈で良好に振る舞う。
• すべての部分多様体における正の性質は、カーラー代表可能性の必要十分条件であり、古典的なナカイ＝モイシェゾン基準を一般化する。
• この結果は、$\mathbb{C}$ 上の滑らかでコンパクトかつ射影的多様体に対して成り立ち、クラス $[\omega]$ が代数的でなくてもよい。これは $H^2(\pi_1(X),\mathbb{R})^{1,1}$ からのトポロジー的寄与を含む。
• 証明により、この部分空間におけるカーラー類の錐が、すべての正次元部分多様体との交差次数の正の性質によって正確に特徴付けられることが示された。
• 本論文は、トポロジー的および代数的側面を統合するコホモロジー的基準を提供しており、ネロン＝セバール群を超えて、部分多様体における正則性がカーラー代表可能性を決定することを示している。