[论文解读] A remark on a $3$-fold constructed by Colliot-Thélène and Voisin

Fumiaki Suzuki|arXiv (Cornell University)|May 3, 2018

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文研究了在 codimension 3 循环的 Chow 群上，Abel-Jacobi 映射在正规同态中的普遍性。在假设 Colliot-Thélène 和 Voisin 构造的特定 3-流形的广义 Bloch 猜想成立的前提下，作者构造了一个 4-流形，该流形为 codimension 3 中 Abel-Jacobi 映射的普遍性提供了反例，从而表明当 $ p \geq 3 $ 时，该映射在一般情况下并非普遍的。

ABSTRACT

A classical question asks whether the Abel-Jacobi map is universal among all regular homomorphisms. In this paper, we prove that we can construct a $4$-fold which gives the negative answer in codimension $3$ if the generalized Bloch conjecture holds for a $3$-fold constructed by Colliot-Thélène and Voisin in the context of the study of the defect of the integral Hodge conjecture in degree $4$.

研究动机与目标

• 检验在光滑射影流形的 codimension 3 循环的 Chow 群上，Abel-Jacobi 映射是否在正规同态中具有普遍性。
• 解决关于 Abel-Jacobi 映射在 $ 3 \leq p \leq \dim X - 1 $ 范围内普遍性的经典开放问题，特别是 codimension 3 的情形。
• 在广义 Bloch 猜想的假设下，构造一个 4-流形，以对普遍性问题给出否定回答。
• 利用 Colliot-Thélène 和 Voisin 构造的 3-流形，该流形在研究 degree 4 的积分 Hodge 猜想的缺陷中起核心作用。
• 建立普遍性失败与该特定 3-流形的广义 Bloch 猜想成立之间的联系。

提出的方法

• 使用正规同态理论以及光滑射影流形的 Abel-Jacobi 映射 $ \psi^p: A^p(X) \to J^p_a(X) $ 的结构。
• 应用 Walker 映射 $ \widetilde{\psi}^p $，该映射通过中间雅可比簇 $ J(N^{p-1}H^{2p-1}(X,\mathbb{Z}(p))) $ 因子化，以分析普遍性。
• 利用谱序列以及余维滤子的 $ E^{p,q}_2 $-项，研究 Chow 群中的挠子群及其在 $ \widetilde{\psi}^p $ 下的像。
• 利用流形 $ X $ 上的条件 $ L_{3,s} $，该条件控制余维滤子谱序列的退化性，以分析映射 $ f^p $ 的核。
• 应用引理 A.1 证明某些 $ E^{p,q}_2 $-项为挠子群，从而证明 $ f^p $ 的核为挠子群，并支持其在挠子群上的同构性。
• 通过纤维积和基变换，从给定的 3-流形构造一个 4-流形，以检验 codimension 3 中的普遍性。

实验结果

研究问题

• RQ1 在光滑射影流形的 codimension 3 循环上，Abel-Jacobi 映射是否在正规同态中具有普遍性？
• RQ2 Colliot-Thélène-Voisin 3-流形的广义 Bloch 猜想是否意味着在 codimension 3 中存在 Abel-Jacobi 映射普遍性的反例？
• RQ3 能否构造一个 4-流形，使得在广义 Bloch 猜想成立的条件下，Abel-Jacobi 映射在 codimension 3 中不具有普遍性？
• RQ4 在何种条件下，映射 $ \widetilde{\psi}^p|_{\text{tors}}: A^p(X)_{\text{tors}} \to J(N^{p-1}H^{2p-1}(X,\mathbb{Z}(p)))_{\text{tors}} $ 成为同构？
• RQ5 余维滤子谱序列退化性条件 $ L_{3,s} $ 是否能保证 Walker 映射 $ \widetilde{\psi}^p $ 在 codimension 3 中的普遍性？

主要发现

• 在 Colliot-Thélène-Voisin 3-流形的广义 Bloch 猜想成立的假设下，可构造一个 4-流形，该流形为 codimension 3 中 Abel-Jacobi 映射的普遍性提供了反例。
• 当 $ L_{3,s} $ 在流形 $ X $ 上成立时，映射 $ \widetilde{\psi}^p|_{\text{tors}} $ 在 $ p \in [3, s+3] \cup [d-s-1, d-1] $ 范围内为同构。
• 证明了映射 $ f^p $ 的核为挠子群，这表明在给定条件下，Abel-Jacobi 映射的挠子群部分为同构。
• 通过谱序列分析以及某些 $ E^{p,q}_2 $-项的无挠性，证明 Walker 映射 $ \widetilde{\psi}^p $ 在限制到挠循环时具有普遍性。
• 结果表明，除非满足额外的猜想性假设（如广义 Bloch 猜想），否则 Abel-Jacobi 映射在 codimension 3 中一般并非普遍的。
• 该构造依赖于余维滤子以及谱序列 $ E^{p,q}_2 $ 的行为，特别是当 $ p > d-s-1 $ 或 $ q > d-s-1 $ 时，$ E^{p,q}_2(\widetilde{W}_{s+1}) $ 项的消失，这确保了退化性并支持了在挠子群上的同构性。