[论文解读] Remarks on curve classes on rationally connected varieties

Claire Voisin|arXiv (Cornell University)|Jan 5, 2012

Algebraic Geometry and Number Theory参考文献 21被引用 8

一句话总结

本文研究了有理连通复射影簇在度 $2n-2$ 下的整霍奇类的消失问题，表明在有限域上曲面的度 2 霍奇类的 Tate 猜想成立的前提下，度 $2n-2$ 的群 $Z^{2n-2}(X)$——即整霍奇猜想失效的度量——在所有复数域上的有理连通簇上消失。该论证利用了形变不变性、$l$-进上同调，以及通过 Schoen 定理将问题约化到有限域。

ABSTRACT

We study for rationally connected varieties $X$ the group of degree 2 integral homology classes on $X$ modulo those which are algebraic. We show that the Tate conjecture for divisor classes on surfaces defined over finite fields implies that this group is trivial for any rationally connected variety.

研究动机与目标

• 研究整霍奇猜想在度 $2n-2$ 下失效的度量群 $Z^{2n-2}(X)$ 是否在复数域上的有理连通复射影簇上消失。
• 建立复数域上 $Z^{2n-2}(X)$ 的消失性与有限域上曲面的度 2 霍奇类的 Tate 猜想之间的联系。
• 通过形变不变性与约化技术，将复数域上具有有理连通性的簇的整霍奇类消失问题约化为数域与有限域上的问题。

提出的方法

• 证明 $Z^{2n-2}(X)$ 在复数域上具有有理连通簇族中是局部形变不变的，从而将问题约化为定义在数域上的簇。
• 利用 Artin 比较同构，将复数域上的奇异上同调与数域上的 $l$-进上同调联系起来，将 $Z^{2n-2}(X) \otimes \mathbb{Z}_l$ 识别为平展上同调的变体 $Z^{2n-2}_{\text{et}}(X)_l$。
• 通过模素数约化，将数域上簇的上同调与有限域上簇的上同调联系起来，将问题转移到正特征情形。
• 利用 Schoen 定理：若曲面上的度 2 霍奇类的 Tate 猜想成立，则有限域上簇的任意整霍奇类均可通过上推从曲面获得。
• 利用有理连通簇的 $H^{2n-2}(X,\mathbb{Q})$ 上的霍奇结构为平凡的事实，即 $Z^{2n-2}(X) = H^{2n-2}(X,\mathbb{Z}) / H^{2n-2}(X,\mathbb{Z})_{\text{alg}}$，从而简化目标群。
• 应用 $(1,1)$-类的 Lefschetz 定理与强 Lefschetz 定理，将问题约化为曲面上度 2 类的代数性问题。

实验结果

研究问题

• RQ1 对于任意光滑的、复数域上的、维数为 $n$ 的有理连通复射影簇 $X$，群 $Z^{2n-2}(X)$ 是否消失？
• RQ2 复数域上 $Z^{2n-2}(X)$ 的消失性是否可约化为有限域上光滑射影曲面的度 2 霍奇类的 Tate 猜想？
• RQ3 数域上具有有理连通性的簇的 $l$-进上同调在多大程度上反映了复数域上整霍奇类的性质？

主要发现

• 在有限域上曲面的度 2 霍奇类的 Tate 猜想成立的前提下，任意光滑的有理连通簇 $X$ 在复数域上，群 $Z^{2n-2}(X)$ 消失。
• $Z^{2n-2}(X)$ 在复数域上具有有理连通族时是局部形变不变的，因此其在某一纤维上消失意味着在邻域内所有纤维上均消失。
• 对于复数域上的有理连通簇 $X$，通过 Artin 比较定理，$Z^{2n-2}(X)$ 在与 $\mathbb{Z}_l$ 张量后，同构于 $Z^{2n-2}_{\text{et}}(X)_l$。
• 若对模素数约化后的簇 $X_p$，有 $Z^{2n-2}_{\text{et}}(X_p)_l$ 消失，则其在定义在数域上的 $X$ 上的 $Z^{2n-2}_{\text{et}}(X)_l$ 也消失。
• Schoen 定理保证：若曲面上的 Tate 猜想成立，则有限域上任意整霍奇类均可作为曲面上度 2 霍奇类的上推获得。
• 该结果表明：在有限域上曲面的 Tate 猜想成立的条件下，整霍奇猜想在复数域上具有有理连通性的簇的度 $2n-2$ 下成立。