Varieties with representable CH_0-group and a question of Colliot-Thélène

技術的要約：表現可能な $CH_0$ 群を持つ多様体とコリオ・テレーヌンの問い

問題の所在
本論文は、滑らかな射影複素多様体における $CH_0$（0次サイクル）の表現可能性と、「普遍的な0次サイクル（universal 0-cycle）」の存在との関係に関する、コリオ・テレーヌン（Colliot-Thélène）による特定の問いを扱っている。

滑らかな射影多様体 $X$ について、$CH_0(X)$ が表現可能（representable）であるとは、アルバネーゼ写像 $a_X: CH_0(X)_{hom} \to Alb(X)$ が同型であることを指す。$X$ のための普遍的な0次サイクルとは、余次元 $n$ のサイクル $\Gamma \in CH_n(Alb(X) \times X)$（ここで $n = \dim X$）であり、任意の $t \in Alb(X)$ に対して、合成写像 $a_X \circ \Gamma^* (\{t\} - \{0\})$ が $Alb(X)$において$t$ に等しくなるものとして定義される。

$CH_0$ が表現可能である多様体が存在する一方で、普遍的な0次サイクルを持たない多様体（著者による先行研究で構成された特定の曲面など）が存在することは既知であるが、これら2つの性質が互いに排他的であるかどうかは未解決の問いであった。具体的には、コリオ・テレーヌンは次のように問いかけた：「$CH_0$ 群が表現可能でありながら、普遍的な0次サイクルを持たないような滑らかな複素射影多様体 $X$ は存在するか？」

手法および理論的枠組み
著者は、$CH_0$ の表現可能性が課す幾何学的制約を分析することでこの問題にアプローチしている。

1. 幾何学的還元： マムフォード（Mumford）の定理を用い、本論文では、$CH_0(X)$ が表現可能であり $Alb(X)$が非自明である場合、アルバネーゼ写像$a_X$が滑らかな射影曲線$C$を通じて分解されることを確立する。具体的には、優射影的な射影$\phi: X \to C$が存在し、$Alb(X) \cong J(C)$ となる。
2. 射影の指数（Index of Morphisms）： 普遍的な0次サイクルの存在は、射影 $\phi: X \to C$ の**指数（index）**に関連している。指数は、$C$ を支配する $X$ の既約部分多様体の次数の最大公約数として定義される。本論文では、この指数が1であれば、普遍的な0次サイクルが存在することを証明している。
3. ホッジ理論との関連： 普遍的な0次サイクルの非存在は、特定のホッジ類 $\gamma_X \in H^{2n}(Alb(X) \times X, \mathbb{Z})_{tf}$（捩角を除いたもの）の非代数性と結びついている。この類は対角線のクネース分解から生じる。したがって、反例を構成するには、この特定の類が代数的でないような多様体を見つける必要があり、これは捩角を除いた整数ホッジ予想に対する反例を与えることになる。
4. 反例の構成： 構成は、ブノワ（Benoist）とオッテム（Ottem）による整数ホッジ予想の反例に基づいている。著者は、楕円曲線 $E$ と、固定点を持たない反対称的対合 $g$ を持つK3曲面 $S$ の直積の商として、3次元多様体 $X$ を構成する。

主要な貢献および結果

• 定理 1.4（主要な結果）： 本論文は、$CH_0(X)$ が表現可能であるが、普遍的な0次サイクルを持たないような滑らかな射影3次元多様体 $X$ の存在を証明している。これにより、コリオ・テレーヌンの問いに対して肯定的な回答を与えている。

  • 構成： $X = (E \times S) / (t_\xi, g)$ である。ここで $E$ は位数2の平行移動 $t_\xi$ を持つ楕円曲線であり、$S$ は固定点を持たない対合 $g$ を持つK3曲面である。この商は、エンリケス曲面 $\Sigma = S/g$ と、楕円曲線 $E_\xi = E/t_\xi$ を生成する。
  • 表現可能性： 写像 $p_{E_\xi}: X \to E_\xi$ は $CH_0$ 上の同型を誘導し、表現可能性を証明する。
  • 普遍的な0次サイクルの非存在： 普遍的な0次サイクルが存在すると仮定すれば、エタール二重被覆に関する特定のコホモロジー条件を満たす対応 $\Gamma_\Sigma \in CH_1(E_\xi \times \Sigma)$ が存在することになる。この条件は、ブノワとオッテムによる非代数的な捩角曲線類に関する結果に基づき、一般的なパラメータの選択においては不可能であることが示される。

• 命題 2.2： 本論文は、アルバネーゼ多様体が曲線のヤコビ多様体の中に直和成分として含まれる場合、普遍的な0次サイクルの存在と、$X \times X$ 上のクネース射影 $\delta_1$ の代数性の間の同値性を確立している。これは、幾何学的性質を $X$ のモチーフ構造へと結びつけるものである。

• 命命題 2.7： アルバネーゼ写像が指数1の曲線 $C$ を通じて分解される場合、普遍的な0次サイクルが存在することを証明している。本論文では、その逆は必ずしも真ではないことを指摘しており、指数 $d > 1$ の曲面でありながら普遍的な0次サイクルを持つ例を挙げている。

• 命題 3.5： 著者は、ブノワとオッテムによる結果の簡潔な証明および緩やかな一般化を提供している。それは、滑らかな射影多様体 $W$ と非ゼロの類 $\beta \in H^1(W, \mathbb{Z}/k)$ に対して、対応 $\Gamma$ を持ち $[\Gamma]^*\beta \neq 0$ となるような楕円曲線 $E$ は高々可算個しか存在しないというものである。この技術的な補題は、主要な構成における必要な対応の非存在を保証するために極めて重要である。

• 曲面の解析（セクション 4）： 本論文は、$p_g=0$ かつ $q \neq 0$ である曲面を調査している。このような曲面が、巡回群による曲線の直積の商である場合、アルバネーゼファイブレーションの指数は1となり、普遍的な0次サイクルの存在を意味することを示している。これは3次元多様体の例とは対照的であり、反例の特殊性を際立たせている。

意義および主張

本論文は、0次サイクルの幾何学における特定の未解決問題を、表現可能な $CH_0$ 群を持つことが普遍的な0次サイクルの存在を保証しないことを示すことで解決したと主張している。

この構成は、$X$ が整数ベッチコホモロジーに捩角を持つという事実に依存している。したがって、$X$ に対する普遍的な0次サイクルの非存在は、4次元多様体 $Alb(X) \times X$ 上の曲線類（次数2のホッジホモロジー類）に関する、捩角を除いた整数ホッジ予想への反例を与える。

著者は、本論文の主要な定理の仮定は幾何学的に「非常に制限的」であると述べている。なぜなら、$CH_0$ の表現可能性は、アルバネーゼ多様体が曲線のヤコビ多様体と同型であることを強制するためである。本論文は、整数ベッチコホモロジーに捩角を持たない例を構成することを主張しておらず、それを未解決の問いとして残している。本研究は、表現可能性、アルバネーゼ写像の構造、および整数ホッジ予想の間の微妙な区別を明確にする役割を果たしている。