Varieties with representable CH₀-group and a question of Colliot-Thélène

基本信息

• 论文ID: 2508.02331
• 标题: Varieties with representable CH₀-group and a question of Colliot-Thélène
• 作者: Claire Voisin
• 分类: math.AG (代数几何)
• 发表时间: 2025年10月15日 (arXiv v2)
• 论文链接: https://arxiv.org/abs/2508.02331

摘要

本文继续研究0-循环上Albanese态射的几何性质。作者提供了一个具有可表示CH₀群但不存在万有0-循环的光滑射影簇的例子，回答了Colliot-Thélène提出的问题。该构造依赖于Benoist和Ottem提供的积分Hodge猜想的反例。

研究背景与动机

核心问题

本文研究的核心问题是关于代数簇的万有0-循环存在性。对于光滑射影复代数簇X，万有0-循环是定义在Alb(X)×X上的余维数n循环Γ，满足特定的万有性质。

重要性

1. 理论意义：万有0-循环的存在性与积分Hodge猜想密切相关，是代数几何中的核心问题
2. 分类问题：区分具有可表示CH₀群的代数簇是否都具有万有0-循环，这涉及到代数循环理论的深层结构
3. Hodge理论：万有0-循环的不存在性提供了积分Hodge猜想的反例

现有理论局限

• Mumford和Roitman的工作建立了可表示CH₀群的理论基础
• 之前的反例主要集中在不具有可表示CH₀群的情形
• Colliot-Thélène的问题填补了理论空白：是否存在既有可表示CH₀群又无万有0-循环的代数簇

核心贡献

1. 构造了关键反例：给出了具有可表示CH₀群但无万有0-循环的光滑射影三维代数簇
2. 解答了重要问题：完整回答了Colliot-Thélène在文献6中提出的问题1.3
3. 建立了结构定理：证明了具有可表示CH₀群的代数簇必须具有特殊的几何结构（引理1.5）
4. 提供了系统分析：深入分析了万有0-循环存在性与各种几何不变量的关系

方法详解

核心定义

定义1.1（万有0-循环）：对于n维光滑射影代数簇X，万有0-循环是余维数n的循环Γ ∈ CHⁿ(Alb(X)×X)，使得对任意t ∈ Alb(X)：

aₓ ∘ Γ*({t} - {0_{Alb(X)}}) = t in Alb(X)

结构分析

引理1.5：若X具有可表示CH₀群且Albanese簇非平凡，则存在光滑射影曲线C使得：

• J(C) ≅ Alb(X)
• Albanese态射分解为X → C → Alb(X)

这一结果表明，具有可表示CH₀群的代数簇具有非常限制性的几何结构。

构造方法

作者的主要构造基于：

1. 基础对象：K3曲面S配备反辛对合g，椭圆曲线E配备2阶平移tξ
2. 商构造：考虑X := (E × S)/(tξ, g)
3. 关键性质：
   • CH₀(X)可表示（引理3.1）
   • Alb(X) ≅ Eξ = E/tξ
   • 在适当选择下不存在万有0-循环

技术创新点

同调分析技术

作者巧妙地利用了Z/2-系数上的同调分析：

• 将万有0-循环的存在性转化为同调条件
• 利用双重覆盖的分类元素建立约束方程
• 通过Benoist-Ottem的结果证明约束无解

指标理论应用

命题2.7：如果Albanese态射通过φₓ : X → C分解且φₓ的指标为1，则X具有万有0-循环。

这提供了万有0-循环存在性的充分条件，并与主定理形成对比。

实验设置

构造验证

作者通过以下步骤验证构造的正确性：

1. 可表示性验证：证明pEξ* : CH₀(X) → CH₀(Eξ)是同构
2. 万有0-循环不存在性：利用Benoist-Ottem的结果和同调约束
3. 指标计算：证明对一般的E，pEξ的指标为2

对比分析

引理3.4：存在积分Hodge类α ∈ H⁴(X,Z)使得pEξ*α = 1Eξ，表明指标的限制不是由拓扑或Hodge理论原因决定的。

实验结果

主要定理

定理1.4：存在光滑射影三维代数簇X使得CH₀(X)可表示但X不具有万有0-循环。

构造的几何性质

1. 维数：三维代数簇（这是可能的最低维数）
2. 拓扑性质：积分Betti同调中有扭元
3. 代数性质：Albanese簇同构于椭圆曲线的商

曲面情形的完整分析

命题4.4：对于由循环群作用得到的曲面，指标总是1，因此具有万有0-循环。

这表明三维情形确实提供了新的现象。

相关工作

历史发展

1. Mumford-Roitman理论：建立了可表示CH₀群的基础理论
2. Voisin的前期工作：在21,22中构造了无万有0-循环的代数簇
3. Benoist-Ottem结果：为积分Hodge猜想提供了反例，成为本文的关键工具

与相关问题的联系

• Question 2.5（Colliot-Thélène）：关于函数域上0-循环的满射性
• 积分Hodge猜想：万有0-循环的不存在性提供了新的反例
• 动机理论：与Künneth投影子的代数性相关

结论与讨论

主要结论

1. 存在具有可表示CH₀群但无万有0-循环的光滑射影代数簇
2. 这样的例子必须具有非常特殊的几何结构
3. 积分Betti同调中的扭元在构造中起关键作用

局限性

1. 扭元依赖：构造依赖于积分Betti同调中的扭元
2. 维数限制：尚不清楚是否存在更低维数的例子
3. 一般性：构造的特殊性限制了其推广性

未来方向

1. 无扭情形：寻找积分Betti同调无扭的例子
2. 分类问题：完整分类具有可表示CH₀群的代数簇
3. 高维推广：研究更高维数情形的类似问题

深度评价

优点

1. 理论突破：解决了代数几何中的重要开问题
2. 技术创新：巧妙结合了多个深刻的理论工具
3. 构造精妙：通过商构造实现了看似矛盾的性质组合
4. 分析全面：提供了问题的系统性分析框架

不足

1. 构造复杂：依赖多个深层理论结果，不够直接
2. 特殊性强：例子具有很强的特殊性，一般化程度有限
3. 计算验证：某些关键步骤需要更详细的计算验证

影响力

1. 理论贡献：为代数循环理论提供了新的视角
2. 方法价值：展示了不同理论工具的有机结合
3. 后续研究：为相关问题的研究提供了新的思路和方法

适用场景

该工作主要适用于：

1. 代数几何中的循环理论研究
2. Hodge理论和动机理论的相关问题
3. 代数簇的双有理几何分类问题

参考文献

论文引用了25篇重要文献，其中关键的包括：

• 3 Benoist-Ottem关于积分Hodge猜想的工作
• 14 Mumford关于可表示CH₀群的经典工作
• 21,22 作者前期关于万有0-循环的研究
• 6 Colliot-Thélène提出原问题的文献

这篇论文通过精妙的构造解决了代数几何中的一个重要问题，展示了现代代数几何理论的深度和复杂性。其技术创新和理论贡献将对该领域的后续发展产生重要影响。