[論文レビュー] Rank of normal functions and Betti strata

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

Algebraic Geometry and Number Theory被引用数 0

ひとこと要約

要約: 本論文は、Gross–SchoenおよびCeresaサイクルに関するBetti層およびBettiランクの幾何学的結果を、同調的に無限小なサイクルの任意のファミリへ一般化する。Betti層の代数性を証明し、period mapとMumford–Tateデータを用いたBettiランクの計算可能な公式を示し、応用と縮退 loci の議論を提供する。

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の高さの Positivity 問題を、サイクルのファミリにおける Betti層を研究することによって動機づける。
• VHSの重み -1 における任意の homologically trivial なサイクルのファミリに対して、既存研究の幾何学的部分を拡張する。
• Betti層の代数性（Zariski閉包性）を確立し、計算可能なBettiランク公式を提供する。
• Betti葉状関数を period map に結びつけ、縮退 loci と算術的問題の下地を整える。

提案手法

• 正規関数に対応する VMHS の period map を用いて中間極小ジャコビアン上の Betti 葉状をモデリングする。
• 混合Hodge構造の分類空間とMumford–Tate領域およびそれらの商を記述する。
• period mapと一般的Mumford–Tate群の正規部分群に基づく Bettiランク r(nu) の公式を導出する： r(nu)=min_N(dim varphi_/N(S) + 1/2 dim_Q(V ∩ N))。
• Betti層 S^{Betti}(t) の Zariski閉包性を半代数的および複素解析的構造の議論を通じて証明する。
• 縮退 loci および斜な数論的含意について議論する。

実験結果

リサーチクエスチョン

• RQ1 weight -1 の VHS における admissible 正規関数に関連する Betti層の厳密な代数構造は何か？
• RQ2 period mapと VMHS の Mumford–Tate データから Bettiランク r(nu) をどう計算するか？
• RQ3 一般のサイクルファミリに対して Betti層はいつZariski閉であるか？
• RQ4 この設定で生じる縮退 loci とトーション現象は何か、それは算術問題とどう関連するか？

主な発見

• Betti層 S^{Betti}(t) は S に対してすべての t≥0 で Zariski 閉である。
• Bettiランクは計算可能な公式 r(nu)=min_N(dim varphi_/N(S) + 1/2 dim_Q(V∩N)) を満たす。
• r(nu) の改善された上界は r(nu) ≤ min{dim φ(S), (1/2) dim_Q V} であり、主要な不可約モノドロミーまたは単純モノドロミーの場合には鋭い。
• Gross–Schoen または Ceresa 正規関数を含む古典的な M_g の場合には、r(nu)=3g−3 = dim M_g。
• トーション loci および縮退 loci に関する結果も導出され、算術的考察への含意を含む。
• 二つの応用で、不可約または単純な Mumford–Tate の状況で自明な上界が達成されることを示す。