[論文レビュー] Infinitesimal invariants for cycles modulo algebraic equivalence and 1-cycles on Jacobians

Claire Voisin|arXiv (Cornell University)|Apr 15, 2013

Advanced Differential Equations and Dynamical Systems参考文献 38被引用数 7

ひとこと要約

本稿では、代数的同値関係に関するサイクルの検出を目的とした新しい無限小不変量を導入し、特に曲線のヤコビアン上の1次サイクルに応用する。主な貢献は、非常に一般な平面曲線に対して、そのヤコビアンにおける1次サイクルのベウヴィル分解の長さが最大であることを示し、$ g \geq 2s+1 $ の範囲で予想を確認することにある。この結果はホッジ論的道具とイケダ族を用いて得られた。

ABSTRACT

We construct an infinitesimal invariant for cycles in a family with cohomology class in the total space lying in a given level of the Leray filtration. This infinitesimal invariant detects cycles modulo algebraic equivalence in the fibers. We apply this construction to the Ikeda family, which gives optimal results for the Beauville decomposition of the 1-cycle of a very general plane curve in its Jacobian.

研究の動機と目的

• ファミリーのファイバー内のサイクルが有理同値よりも強い代数的同値関係でゼロに同値であるかどうかを検出できる無限小不変量を構成すること。
• この不変量を、非常に一般な平面曲線のヤコビアンにおけるその1次サイクルのベウヴィル分解の研究に応用すること。
• 一般ヤコビアン上での1次サイクルのベウヴィル分解の長さが最大であることを証明し、$ g \geq 2s+1 $ の範囲で予想を確認すること。
• リーマンフィルトレーションとホッジ理論の文脈において、無限小不変量の役割を明確にし、有理同値関係に対する先行研究とは区別すること。

提案手法

• ファミリー $ \pi: \mathcal{Y} \to B $ におけるサイクルのドレーブールコhomology類をファイバーに制限し、商 $ \frac{\text{Ker}\,\overline{\nabla}_{s,n-s,n}}{\Omega_B \wedge \text{Ker}\,\overline{\nabla}_{s-1,n-s,s}} $ に値をとる無限小不変量を定義する。
• この不変量はガウス＝ミン・接続および無限小ホッジ構造の変動、特に $ \overline{\nabla}_{s,n-s,n} $ のマップから得られ、ホッジフィルトレーションの変動を符号化する。
• この方法は、全空間のコホモロジー類が $ s \geq 2 $ のレベルでのリーマンフィルトレーションに属するサイクルに適用可能であり、ファイバー内での代数的自明性を検出する。
• 主な技術的道具は、一般曲線におけるコーサル・コホモロジー $ K_{k,1}(C,K_C) $ の消失のホッジ論的解釈であり、これは $ \overline{\nabla}_{0,g-s-1,g-1} $ の核が曲線類とのポンティリャーギン積の像に等しいことを示唆する。
• この構成は、$ \mathbb{P}^2 $ 内の曲線のイケダ族に適用され、無限小不変量はベウヴィル分解の $ s $ 番目の成分 $ \mathcal{Z}_s $ の非自明性を検出する。
• この方法により、次数ゼロの0次サイクルによる相対的平行移動がイケダ部分空間を保存しないことが示され、最大長成分に対して無限小不変量が非ゼロであることが示された。

実験結果

リサーチクエスチョン

• RQ1 有理同値関係を超える代数的同値関係に関するサイクルを検出できる無限小不変量を構成できるか？
• RQ2 非常に一般な曲線のヤコビアンにおける1次サイクルのベウヴィル分解の最大長は何か？
• RQ3 ファミリーのヤコビアン内でのサイクルの相対的平行移動において、無限小不変量はどのように振る舞うか？
• RQ4 イケダの無限小不変量は、全ベウヴィル分解における非自明性を検出するのに十分か、それとも追加の不変量が必要か？
• RQ5 $ g \geq 2k+1 $ に対して $ K_{k,1}(C,K_C) $ が消失することは、$ \overline{\nabla}_{0,g-s-1,g-1} $ の核が曲線とのポンティリャーギン積の像に正確に一致することを示唆するか？

主な発見

• 一般点 $ b \in B $ において、無限小不変量 $ \delta[\mathcal{Z}]_{b,\text{alg}} $ が消えるのは、制限されたサイクル $ \mathcal{Z}_b $ が torsion を除いて代数的同値にゼロであるときである。
• 平面曲線のイケダ族において、無限小不変量は $ g \geq 2s+1 $ のとき、1次サイクルのベウヴィル分解の $ s $ 番目の成分が非ゼロであることを検出でき、分解の最大性が証明された。
• $ \overline{\nabla}_{0,g-s-1,g-1,b} $ の核は、曲線類とのポンティリャーギン積 $ [C]*: H^{g-s,g}(JC) \to H^{g-s-1,g-1}(JC) $ の像に等しい。これは非原始的コホモロジー部分に一致する。
• $ i > 0 $ に対して $ \mathcal{Z}_s * \Gamma_i $ の無限小不変量は (3.31) のイケダ部分空間に属しない。これは、イケダ不変量が全分解における非自明性を検出するのに不十分であることを示している。
• この構成により、非常に一般なヤコビアン上での1次サイクルのベウヴィル分解の長さが最大であることが確認された。$ 1 \leq s \leq g-1 $ に対してすべての成分 $ \text{CH}^{g-1}(JC)_s $ が非ゼロであり、条件 $ g \geq 2s+1 $ を満たす。
• この方法により、代数的同値にゼロであるサイクルのすべての無限小不変量が部分空間 (3.32) に含まれることが示されたが、イケダ部分空間 (3.31) は全分解における非自明性を検出するには小さすぎる。