[论文解读] Rank of normal functions and Betti strata

Ziyang Gao, Shou-Wu Zhang|arXiv (Cornell University)|Jan 16, 2026

Algebraic Geometry and Number Theory被引用 0

一句话总结

论文将格雷斯-斯海因和塞雷萨循环的贝蒂分层及贝蒂秩的几何结果推广到任意同调平凡循环族的族群；证明贝蒂分层的代数性，并给出通过周期映射和 Mumford–Tate 数据可计算的贝蒂秩公式，附带应用与退化情形讨论。

ABSTRACT

In a recent work of the authors, we proved the generic positivity of the Beilinson-Bloch heights of the Gross-Schoen and Ceresa cycles. The geometric part of the proof was to prove the maximality of the rank of the associated normal function and the Zariski closedness of the Betti strata. In this paper, we generalize these geometric results to an arbitrary family of homologically trivial cycles. More generally, we prove a formula to compute the Betti rank and prove the Zariski closedness of the Betti strata, for any admissible normal function of a variation of Hodge structures of weight $-1$. We also define and prove results about degeneracy loci. In the end, we go back to the arithmetic setting and ask some questions about the rationality of the Betti strata and the torsion loci.

研究动机与目标

• 通过研究循环族中的贝蒂分层来激发 Beilinson–Bloch 的正性高度问题。
• 将前人工作中的几何部分推广到权重 -1 的 VHS 的任意 homologically trivial 循环族。
• 确立贝蒂分层的代数性（Zariski 闭性）并给出可计算的贝蒂秩公式。
• 将贝蒂叶函数与周期映射相关联，并为退化情形的情形及代数问题打下基础。

提出的方法

• 使用与正规函数相关的 VMHS 的周期映射来对中间连接单位上的贝蒂叶函数进行建模。
• 描述混合 Hodge 结构的分类空间与 Mumford–Tate 域及它们的商。
• 给出贝蒂秩 r(nu) 的公式，该公式以周期映射和泛 Mumford–Tate 群的正规子群为变量：r(nu)=min_N(dim varphi_/N(S) + 1/2 dim_Q(V ∩ N))。
• 通过半代数与复分析结构论证来证明贝蒂分层 S^{Betti}(t) 的 Zariski 闭性。
• 讨论退化情形及对 torsion 点的代数含义潜在影响。

实验结果

研究问题

• RQ1 在权重 -1 的 VHS 中，与可接受的正规函数相关的贝蒂分层的精确代数结构是什么？
• RQ2 如何从周期映射和 VMHS 的 Mumford–Tate 数据计算贝蒂秩 r(nu)？
• RQ3 在一般循环族下哪些条件能保证贝蒂分层为 Zariski 闭？
• RQ4 在这一背景下会出现哪些退化区与扭结现象，它们与代数问题有何关系？

主要发现

• 贝蒂分层 S^{Betti}(t) 对任意 t≥0 在 S 上为 Zariski 闭。
• 贝蒂秩满足可计算公式 r(nu)=min_N(dim varphi_/N(S) + 1/2 dim_Q(V∩N))。
• 对 r(nu) 的改进上界为 r(nu) ≤ min{dim phi(S), (1/2) dim_Q V}，在关键的不可约或简单单模时达到尖锐。
• 在经典的与 Gross–Schoen 或 Ceresa 正则函数相关的 M_g 案例中，r(nu)=3g−3 = dim M_g。
• 论文还导出关于 torsion 区域与退化区域的结果，对代数性问题有影响。
• 两个应用表明在不可约或简单 Mumford–Tate 情形下，虚上界可被达到。