On the Chow ring of very general abelian varieties and a question of Pirola

Claire Voisin著「非常に一般的なアーベル多様体のChow環とPirolaの問いについて」テクニカル・サマリー

問題提起
本論文は、アーベル多様体およびヤコビアンの算術および幾何学における、相互に関連する2つの問題に取り組んでいる。

1. Chow環の構造： 著者は、次元 $g \geq 4$ の非常に一般的なアーベル多様体 $A$ 上の、自己交差 $D^2$ が $\text{CH}^2(A)$ において消滅する因子 $D \in \text{CH}^1(A)_{\text{hom}}$ の集合を調査している。先行研究では、$g \geq 3$ の場合、そのような因子の軌跡の次元は0であることが確立されていたが、これらの因子が必ずねじれ点（torsion points）であるかという点が未解決のままであった。
2. Pirolaの問い： 本論文は、種数4の曲線のモジュライ空間 $\mathcal{M}_4$ 上の普遍的なヤコビアン・ファイブレーション $J \to \mathcal{M}_4$ に付随する、クマー・ファイブレーション $K = J/\pm \text{Id} \to \mathcal{M}_4$ の有理切断（rational sections）を特徴付けようとしている。具体的には、種数4の曲線における2つの三角形因子（trigonal divisors）の差から生じる、Griffiths-Pirola正規関数 $\gamma_P$ の整数倍のみが有理切断であるとするPirolaの予想に対処している。

手法
証明は、高次余次元サイクルへと拡張された、正規関数の**グリフィス・インフィニテシマル不変量（Griffiths infinitesimal invariants）**の理論に大きく依存している。核心となる戦略は、これらの不変量の消滅を分析することで、切断の大域的性質を導き出すことにある。

1. インフィニテシマル不変量とスペクトル系列： 著者は、サイクル $Z$ に付随するインフィニテシマル不変量 $\delta_Z(m)$ を利用する。因子 $D$ について、その自乗の不変量は $D$ の不変量の自乗に関連する、すなわち $\delta_{D^2} = (\delta_D)^2$ である。本論文は、特定のスペクトル系列の退化（Proposition 2.5）を確立することで、アーベル多様体の族に対してこれらの不変量を厳密に定義している。
2. 自乗写像の代数的解析： インフィニテシマル不変量の空間上の自乗操作によって誘導される写像 $M^2$ の解析が、中心的な技術的要素である。
   • アーベル多様体のモジュライ空間 $\mathcal{A}_g$ ($g \geq 4$) の場合、不変量の空間は $\text{Hom}(V, \text{Sym}^2 V)$ の商として特定される。
   • 曲線のモジュライ空間 $\mathcal{M}_4$ の場合、不変量の空間は、$q$ を種数4の曲線の標準的埋め込みを定義する二次形式として、$\text{Sym}^2 V / q$ を含む商として特定される。
   • Proposition 3.1 は、不変量の自乗が消滅する場合（または特定の比例関係を満たす場合）、その不変量自体がランク $\leq 1$ である（またはGriffiths-Pirola不変量に比例する）ことを証明している。これは、2次元部分空間への制限およびグラスマン多様体の幾何学を用いた線形代数的な議論に基づいている。
3. Ax-Shanuel型の議論： 正規関数の局所的なリフトがランク1の微分（または特定の代数的構造）を持つことが示された後、著者はAx-Shanuel型の結果（[6], [1], [2]を引用）およびモノドロミー群の性質（具体的には、その像がシンプレクティック群の中でZariski稠密であること）を用いる。これらの議論により、正規関数が水平的（horizontal）であることを強制し（すなわち、その微分が消滅すること）、これは切断がねじれ点であることを意味する。
4. 降下とコホモロジー： クマー・ファイブレーションの問題については、切断 $\gamma$ は符号を除いてのみ定義されるが、その自乗 $D_\gamma^2$ はウェルディファインド（well-defined）であるという事実を利用する。$D_\gamma^2$ と Griffiths-Pirola切断の自乗 $D_{\gamma_P}^2$ を比較することにより（一般ファイバーのChow群が1次元であることを述べるTheorem 4.1を使用）、問題を第3節で導出されたインフィニテシマル不変量の線形関係へと還元する。

主要な結果

• Theorem 1.2:

  • (i) 非常に一般的なアーベル多様体 $A$ の次元 $g \geq 4$ において、もし $D \in \text{Pic}^0(A)$ が $\text{CH}^2(A)$ において $D^2 = 0$ を満たすならば、$D$ はねじれ点である。
  • (ii) 非常に一般的な種数4の曲線のヤコビアンについても同様の結果が成り立つ。
  • 系： これは、\{x} - \{0_A\}^{*2} = 0 が $\text{CH}^0(A)$ において成立する点 $x \in A$ の集合が、正確にねじれ点のみからなることを意味する。

• Theorem 1.8 (Pirolaの予想):

  • クマー・ファイブレーション $K = J/\pm \text{Id} \to \mathcal{M}_4$ のすべての有理切断は、Griffiths-Pirola正規関数 $\gamma_P$ の有理倍である。
  • 具体的には、任意の有理切断 $\gamma$ は、$N \neq 0$ となる整数 $N, N'$ に対して $N\gamma = N'\gamma_P$ を満たす。

意義と主張
本論文は、非常に一般的なアーベル多様体のChow環において、因子の自乗が消滅することが因子がねじれ点であることを意味するかどうかという、次元 $g \geq 4$ で未解決であった問いを解決したと主張している。著者は、結果はおそらくすべての $g \geq 4$ に対して真であるが、証明には（インフィニテシマル不変量の線形代数的性質に起因して）現在 $g \geq 4$（特にヤコビアンの場合は $g=4$）が必要であることを注記している。

さらに、本論文は、Griffiths-Pirola切断の一意性に関するPirolaの問いに決定的な回答を与えている。クマー・ファイブレーション（これはヤコビアンの商である）において期待される可能性のある「余分な」有理切断は存在しないことを確立している。すなわち、唯一の有理切断は、種数4の曲線の2つの三角形ペンシル（trigonal pencils）を含む標準的な幾何学的構成によって生成されるものである。

この研究は、Chow環の構造（特に0-サイクルのポントリャーギン冪）の研究と、正規関数およびそのインフィニテシマル不変量の理論を結びつけており、Griffiths-Pirola切断に対するこれらの不変量の非消滅が、他の有理切断の存在に対する主要な障害であることを示している。著者は、Theorem 1.2の手法がより高次の冪 $D^k = 0$ を研究するために拡張できる可能性を明示しており、$g \geq 2k$ のとき、$D^k=0$ となる因子はねじれ因子のみであるという予想を導いている。