[論文レビュー] Torsion cycles on Fermat varieties

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

Algebraic Geometry and Number Theory被引用数 0

ひとこと要約

要約: 本論文は混合特異性理論を用いてファーマット曲線上の零次数除数のねじれ定理 Rohrlich を再証明し、枠組みをファーマット多様体上の高次概値サイクルおよび高次 Chow サイクルへ拡張して、介在的ジョージア数でのねじれを証明し、構築サイクルのレギュレータを消す。

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現象を動機づけて一般化する。
• ファーマット多様体の線形サブ多様体に支えられるnull-homologous サイクルが介在的ジョージア数でねじれであることを示す。
• 分解性正準列の枠組みを高次の次元サイクルおよび motivic (高次) Chow 群へ拡張する。
• ファーマット多様体上の特定の高次 Chow サイクルに対するレギュレータの消失を実証する。
• Beilinson–Bloch の予想と Chow 群への影響を示唆する。

提案手法

• 混合ヘッジ構造とMHSにおけるExt^1のCarlsonの解釈を用いてねじれを正確列の分解と関連付ける。
• 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 の正確列を構築し、それが分解することを示す。
• d乗根の一つを用いて cohomology on G_d^n の作用を導入し、平均化(t)を用いて補完的な純粋Hodge部分構造を作る。
• S_d^p上の連結和である線形サブ多様体の併合上で支えられるnull-homologous サイクルにこの分解を適用して、p番目の介在的ジョージア数でのねじれを推定する。
• この分解の議論をmotivic cycles in CH^p(F_d^n,q) および regulator mapsを介してDeligne cohomologyへ拡張する。
• Beilinson–Bloch の枠組みでの higher Chow groups および regulator maps への影響を論じる。

実験結果

リサーチクエスチョン

• RQ1 ファーマット超曲線に対して、S_d^pの併合に関する混合ヘッジ構造正確列の分解は成り立つか？
• RQ2 S_d^p上に支えられるnull-homologous サイクルはp番目の介在的ジョージア数でねじれか？
• RQ3 分解技術をmotivic cyclesおよびhigher Chow groupsへ拡張して regulator 消失を得られるか？
• RQ4 これらの結果は 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番目の介在的ジョージア数でねじれである。
• n=1の Rohrlich 設定では、ファーマット点に支えられる次数0の除数がジャコビアンでねじれであるという Rohrlich の定理に特異化する。
• 線形サブ多様体上の現在のサポートを持つ特定の高次 Chow サイクルがDeligne cohomologyでレギュレータ0を与える（reg(y)=0）。
• これらのレギュレータ消失の結果は、Beilinson–Bloch の期待と整合し、数体上の Chow 群に対するレギュレータが注入性を持つことを示唆し、上記の場合に Chow 群のねじれを意味する。
• この論文は他の構成的な状況（例：特定の原始コホモロジーの場合や既知の例）で非ねじれサイクルを特定しており、ファーマット-サイクル理論のニュアンス豊かな風景を浮き彫りにしている。