[论文解读] The Ceresa class: tropical, topological, and algebraic

Daniel Corey, Jordan S. Ellenberg+1 more|arXiv (Cornell University)|Sep 22, 2020

Algebraic Geometry and Number Theory参考文献 16被引用 4

一句话总结

本文为具有互换单纯德恩扭转的热带曲线与拓扑曲面引入了一种组合Ceresa类，证明其在所有设定下均为挠类，且仅当对象为双椭圆时该类为零。本文建立了代数几何、拓扑学（通过Morita上循环）与热带几何之间Ceresa类的对应关系，证明了非双椭圆热带曲线（如四顶点完全图）的Ceresa类非平凡，其挠阶为16。

ABSTRACT

The Ceresa cycle is an algebraic cycle attached to a smooth algebraic curve with a marked point, which is trivial when the curve is hyperelliptic with a marked Weierstrass point. The image of the Ceresa cycle under a certain cycle class map provides a class in étale cohomology called the Ceresa class. Describing the Ceresa class explicitly for non-hyperelliptic curves is in general not easy. We present a "combinatorialization" of this problem, explaining how to define a Ceresa class for a tropical algebraic curve, and also for a topological surface endowed with a multiset of commuting Dehn twists (where it is related to the Morita cocycle on the mapping class group). We explain how these are related to the Ceresa class of a smooth algebraic curve over $\mathbb{C}(\!(t)\!)$, and show that the Ceresa class in each of these settings is torsion.

研究动机与目标

• 为具有整数边长的热带曲线定义一个组合Ceresa类，将经典Ceresa闭链推广至热带设定。
• 将复数域形式幂级数域 $\mathbb{C}((t))$ 上代数几何中的Ceresa类与拓扑数据（映射类群中的多重德恩扭转）及热带数据（度量图）联系起来。
• 通过群上同调与Johnson同态，证明Ceresa类在代数、拓扑与热带三种设定下均为挠类。
• 研究Ceresa类是否能区分双椭圆型热带曲线与真正的双椭圆热带曲线，尽管其雅可比环同构。
• 提供一个明确的判别准则，说明Ceresa类在何种条件下为零，涉及多重德恩扭转的结构与底图连通性。

提出的方法

• 将热带曲线的Ceresa类定义为基于其对偶图与边长的组合不变量，利用其退化对应的多重德恩扭转。
• 通过映射类群上的Morita上循环在拓扑上定义Ceresa类，将其与Johnson同态及基本群作用联系起来。
• 应用Hain与Matsumoto关于 $2$-幂零基本群与伽罗瓦作用的工作，将Ceresa类提升至 $\mathbb{C}((t))$ 上的平展上同调。
• 通过 $\ell$-进上同调中的周期类映射构造Ceresa类，证明其属于上同调群的特定子群。
• 利用辛表示中的基变换与线性代数，显式计算该类，尤其针对 $K_4$ 图的情形。
• 通过证明 $3\nu(T_\Gamma) \in \overline{A(\delta_\Gamma)}$ 但 $\nu(T_\Gamma) \notin \overline{A(\delta_\Gamma)}$ 来证明其挠性，从而推出阶整除16。

实验结果

研究问题

• RQ1 Ceresa类能否在热带设定中有意义地定义？其与经典代数Ceresa闭链有何关系？
• RQ2 Ceresa类在热带设定下是否为挠类？若是，例如四顶点完全图，其阶为何？
• RQ3 Ceresa类的消失是否意味着双椭圆性？在热带或拓扑设定下，是否存在非双椭圆对象使得Ceresa类为零？
• RQ4 Ceresa类在退化过程中的行为如何？多重德恩扭转结构在决定其平凡性中起何作用？
• RQ5 Ceresa类能否区分双椭圆型热带曲线与真正的双椭圆热带曲线，尽管其雅可比环同构？

主要发现

• 四顶点完全图（所有边长为1）的Ceresa类为阶为16的非零类，证明了其在热带设定下的非平凡性。
• 所有双椭圆热带曲线的Ceresa类均为零，与经典代数情形一致；但逆命题不成立：存在非双椭圆热带曲线其Ceresa类为零。
• 由于像位于上同调群的某个有限指数子群中，Ceresa类在代数、拓扑与热带三种设定下均为挠类。
• 对于 $K_4$ 图，$\nu(T_\Gamma)$ 不在 $\overline{A(\delta_\Gamma)}$ 中，但 $3\nu(T_\Gamma)$ 在其中，表明该类的阶整除16。
• Ceresa类并非仅依赖于雅可比环：具有双椭圆型（与双椭圆曲线雅可比环同构）的热带曲线可能具有非平凡的Ceresa类。
• 对于多重德恩扭转 $T_\Gamma$，Ceresa类为零当且仅当其属于Johnson同态的核，这包括分离型多重德恩扭转，即使该扭转本身非双椭圆。