[论文解读] A counterexample to the Hodge conjecture for Kaehler varieties

Claire Voisin|arXiv (Cornell University)|Dec 21, 2001

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

一句话总结

本文构建了一个4维复环面，作为凯勒流形上广义霍奇猜想的反例，证明并非所有度数为4的有理霍奇类都可由解析凝聚层的陈类生成。关键结果表明，在 $ H^4(X, \mathbf{Q}) $ 中存在一个非平凡的霍奇类，其与 $[\rho]^{n-2}$ 正交，且对所有凝聚层 $\mathcal{F}$ 都有 $ c_2(\mathcal{F}) = 0 $，从而证明在凯勒情形下，凝聚层的陈类无法生成所有有理霍奇类。

ABSTRACT

Summary: The Hodge conjecture asks whether rational Hodge classes on a smooth projective manifolds are generated by the classes of algebraic subsets, or equivalently by Chern classes of coherent sheaves. On a compact Kaehler manifold, Hodge conjecture is known to be false if algebraic subsets are replaced with analytic subsets. Here we show that it is even false that for a Kaehler manifold, Hodge classes are generated by Chern classes of coherent sheaves. We also show that finite free resolution do not in general exist for coherent sheaves on compact Kaehler manifolds.

研究动机与目标

• 研究紧致凯勒流形上的有理霍奇类是否可在 $ \mathbb{Q} $ 上由解析凝聚层的陈类生成。
• 将霍奇猜想从射影流形推广至更广泛的凯勒流形类别。
• 构造一个反例，其中存在有理霍奇类但无法被凝聚层的陈类捕捉。
• 证明某些凯勒流形上凝聚层的有限局部自由解析列可能失效。
• 表明在凯勒情形下，凝聚层的陈类集合严格小于有理霍奇类集合。

提出的方法

• 构造一个满足三个关键假设的4维复环面 $ X $：$ NS(X) = 0 $，无正维数解析子簇，且对某个凯勒类 $[\rho]$ 有 $ Hdg^4(X, \mathbb{Q}) \bot [\rho]^{n-2} $。
• 通过凝聚层秩的归纳法证明所有解析凝聚层 $ \mathcal{F} $ 满足 $ c_2(\mathcal{F}) = 0 $，依赖于扭层的 $ c_1 $ 和 $ c_2 $ 的消失性。
• 应用巴ndo-佐伊定理，证明满足 $ c_1 = 0 $ 且 $ \text{ch}_2 \bot [\rho]^{n-2} $ 的可去层是具有平凡陈类的平坦丛。
• 利用 $ \text{Ext}^1 $ 中的扩张理论，通过具有平凡有理陈类的向量丛提升层，借助对偶性定理处理余维数 $ \to 3 $ 的扭支撑。
• 证明 $ X $ 上任意无扭凝聚层均可嵌入一个具有平凡有理陈类的全纯向量丛中。
• 通过证明对所有 $ \mathcal{F} $ 都有 $ c_2(\mathcal{F}) = 0 $，而 $ H^4(X, \mathbb{Q}) $ 中存在非平凡霍奇类，从而证明凝聚层的陈类无法生成完整的有理霍奇类群。

实验结果

研究问题

• RQ1 紧致凯勒流形上的有理霍奇类是否可在 $ \mathbb{Q} $ 上由解析凝聚层的陈类生成？
• RQ2 在凯勒情形下，全纯向量丛或凝聚层的陈类是否足以生成所有有理霍奇类？
• RQ3 是否存在一个紧致凯勒流形，其具有非平凡的4度霍奇类，但该类既非代数类，也无法实现为某个凝聚层的陈类？
• RQ4 一般凯勒流形上的凝聚层是否可能不具有有限局部自由解析列？
• RQ5 巴ndo-佐伊定理对具有平凡一阶与二阶陈类的可去层存在平坦联络的几何后果是什么？

主要发现

• 存在一个4维复环面 $ X $，满足 $ NS(X) = 0 $，无正维数解析子簇，且在 $ H^4(X, \mathbb{Q}) $ 中存在一个非平凡有理霍奇类。
• 对于此 $ X $，所有解析凝聚层 $ \mathcal{F} $ 均满足 $ c_2(\mathcal{F}) = 0 $，尽管在4度中存在一个非平凡霍奇类。
• $ H^4(X, \mathbb{Q}) $ 中的霍奇类与凯勒类 $[\rho]^{n-2}$ 正交，满足该准则中的关键正交性条件。
• 任何 $ X $ 上的无扭凝聚层均可嵌入一个全纯向量丛 $ E $ 中，使得对所有 $ i > 0 $ 都有 $ c_i(E) = 0 $。
• 点 $ Z \to X $ 的理想层 $ \mathcal{I}_Z $ 不具有有限局部自由解析列，因为此类解析列将要求非零陈类。
• 在 $ X $ 上，解析凝聚层的陈类集合严格小于有理霍奇类群，从而为凯勒流形的广义霍奇猜想提供了反例。