[论文解读] 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)$）與代數幾何之間的差距，並在凱勒類的語境下建立聯繫。
• 提供一個上同調準則以判斷凱勒類，該準則推廣了子簇上的經典正性條件。

提出的方法

• 本文研究子空間 $H^2(\pi_1(X),\mathbb{R})^{1,1} \subset H^{1,1}(X,\mathbb{R})$，定義為霍奇(1,1)-類與映射 $X \to B\pi_1(X)$ 的像的交集。
• 考慮上同調類 $[\omega]$ 屬於和 $H^2(\pi_1(X),\mathbb{R})^{1,1} + NS(X) \otimes \mathbb{R}$，結合了拓撲與代數部分。
• 主要準則以高階交點數 $[\omega]^d \cdot Z > 0$ 的正性形式表述，其中 $Z \subset X$ 為所有約化、閉合、d維子簇，$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 若對所有維度為 $d$ 的約化、閉合子簇 $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)-類，且其與內侖-塞弗爾群的交集在正性語境下性質良好。
• 對所有子簇的正性條件是 $[\omega]$ 可由凱勒度量表示的必要且充分條件，從而推廣了經典的奈凱-莫希澤準則。
• 該結果適用於複數域上光滑、緊致、射影代數簇，且類 $[\omega]$ 不必為代數類，因其包含來自 $H^2(\pi_1(X),\mathbb{R})^{1,1}$ 的拓撲貢獻。
• 證明確立了此子空間中凱勒類錐體的精確特徵，即其由所有正維數子簇上交點數的正性所決定。
• 本文提供了一個上同調準則，統一了凱勒幾何中的拓撲與代數面向，表明即使超出內侖-塞弗爾群，子簇上的正性亦可決定凱勒表示性。