[论文解读] Torsion cycles on Fermat varieties

Ramesh Sreekantan|arXiv (Cornell University)|Feb 28, 2026

Algebraic Geometry and Number Theory被引用 0

一句话总结

该论文通过混合Hodge理论重新证明Rohrlich关于Fermat曲线上度零除数的扭结定理，并将框架推广到Fermat多样性的高编码子圈和高 Chow 偶环上的null-homologous循环，证明中介雅克比群中的扭结以及构造循环的regulator为0。

ABSTRACT

A theorem of Manin and Drinfeld states that any divisor of degree $0$ on the cusps of a modular curve is torsion in the Jacobian. An elegant proof of this result was provided by Elkik using mixed Hodge theory. Rohrlich proved a generalization of this to Fermat curves. In this note we reprove his results along the lines of the work of Elkik. We then use the same methods to generalize it to higher codimensional null-homologous cycles as well as higher Chow cycles on Fermat varieties.

研究动机与目标

• 将Manin–Drinfeld现象从模曲线推广并应用到Fermat多样性上以激发研究兴趣。
• 证明在Fermat多样性线性子varieties上支撑的null-homologous循环在中介Jacobian中是扭结。
• 将分裂精确序列框架扩展到高编码子循环和动机（高）Chow群。
• 证明在Fermat多样性上某些高Chow循环的regulator为0。
• 将结果与Beilinson–Bloch猜想联系起来，并指明对Chow群的潜在影响。

提出的方法

• 使用混合Hodge结构以及Carlson对MHS中Ext^1的解释，将扭结与精确序列的分裂联系起来。
• 构造并分析 0 → H^{2p-1}(F_d^n,Q) → H^{2p-1}(F_d^n−S_d^p,Q) → H^{2p}_{S_d^p}(F_d^n,Q)^0 → 0 的精确序列并证明其分裂。
• 引入对cohomology的G_d^n作用，通过d-th roots of unity并利用平均化（T）产生互补的纯Hodge子结构。
• 将这些分裂应用于支撑在并集S_d^p（线性子varieties的并集）上的null-homologous循环，以推出在p-th中介Jacobian中的扭结。
• 将分裂论证推广到CH^p(F_d^n,q)中的动机循环以及通过regulator映射的Deligne上同调。
• 讨论Beilinson–Bloch框架下对higher Chow群和regulator映射的含义。

实验结果

研究问题

• RQ1 对于Fermat超曲面的S_d^p并集是否相对于它的混合Hodge结构的精确序列仍然成立？
• RQ2 在S_d^p上支撑的null-homologous循环是否在p-th中介Jacobian中为扭结？
• RQ3 是否可以将分裂技巧扩展到动机循环和高Chow群以得到regulator为0的结果？
• RQ4 这些结果是否在数域上的varieties下隐含Beilinson–Bloch期望的Chow群扭结？
• RQ5 在某些高维情形（超出Rohrlich情形）是否存在非扭结循环，如何检测？

主要发现

• 该精确序列 0 → H^{2p-1}(F_d^n,Q) → H^{2p-1}(F_d^n−S_d^p,Q) → H^{2p}_{S_d^p}(F_d^n,Q)^0 → 0 作为Hodge结构序列是分裂的。
• 任何支撑在S_d^p上的null-homologous循环在p-th中介Jacobian中为扭结。
• 当n=1（Rohrlich设置）时，该结果简化为Rohrlich定理：支撑在Fermat点的度为零的除数在Jacobian中是扭结。
• 相同的方法表明某些支撑在线性子varieties上的高Chow循环的regulator在Deligne同调中为零（reg(y)=0）。
• 这些regulator为0的结果与Beilinson–Bloch的期望一致，即在数域上的Chow群的regulator是单射，从而在所述情形下暗示Chow群中存在扭结。
• 论文还在其他构造性情形下识别出非扭结循环（例如某些原始共形性情形和已知示例），突显Fermat循环理论的细腻景观。