[論文レビュー] A remark on a $3$-fold constructed by Colliot-Thélène and Voisin

Fumiaki Suzuki|arXiv (Cornell University)|May 3, 2018

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

この論文は、3次元サイクルのチャウ群上の正則ホモモーフィズムの中でアーベル・ヤコビ写像の普遍性を調査する。コリオ・テレーヌとヴァイジンが構築した特定の3次元多様体について一般化ブロッハ予想を仮定すると、著者は4次元多様体を構成し、3次元においてアーベル・ヤコビ写像の普遍性に反する反例を提供する。これにより、一般に $ p \geq 3 $ に対して写像が普遍でないことが示される。

ABSTRACT

A classical question asks whether the Abel-Jacobi map is universal among all regular homomorphisms. In this paper, we prove that we can construct a $4$-fold which gives the negative answer in codimension $3$ if the generalized Bloch conjecture holds for a $3$-fold constructed by Colliot-Thélène and Voisin in the context of the study of the defect of the integral Hodge conjecture in degree $4$.

研究の動機と目的

• 滑らかで射影的な多様体の3次元サイクルのチャウ群上の正則ホモモーフィズムの中で、アーベル・ヤコビ写像が普遍であるかを検討する。
• 3 \leq p \leq \dim X - 1 の範囲で、アーベル・ヤコビ写像の普遍性に関する古典的未解決問題、特に3次元においてを扱う。
• 一般化ブロッハ予想の下で、3次元においてアーベル・ヤコビ写像の普遍性に反する反例を提供する4次元多様体を構成する。
• コリオ・テレーヌとヴァイジンが構築した3次元多様体を用い、これは4次元における整数ホッジ予想の欠陥の研究の中心的役割を果たす。
• 普遍性の失敗と、この特定の3次元多様体における一般化ブロッハ予想の成立との間の関係を確立する。

提案手法

• 滑らかで射影的な多様体 $ X $ に対して、アーベル・ヤコビ写像 $ \psi^p: A^p(X) \to J^p_a(X) $ の正則ホモモーフィズムの理論と構造を用いる。
• 中間ヤコビ多様体 $ J(N^{p-1}H^{2p-1}(X,\mathbb{Z}(p))) $ を通るWalker写像 $ \widetilde{\psi}^p $ を適用し、普遍性を分析する。
• スペクトル系列と、コニヴェランスフィルトレーションの $ E^{p,q}_2 $-項を用いて、チャウ群のねじれ部分とその $ \widetilde{\psi}^p $ による像を研究する。
• 多様体 $ X $ における条件 $ L_{3,s} $ を用い、写像 $ f^p $ の核を分析する。この条件はコニヴェランススペクトル系列の退化を制御する。
• 補題A.1を適用して、特定の $ E^{p,q}_2 $-項がねじれであることを示し、$ f^p $ の核がねじれであることを証明する。これにより、ねじれ部分群への同型が裏付けられる。
• 与えられた3次元多様体を基に、ファイバー積と基底変換を用いて4次元多様体を構成し、3次元における普遍性をテストする。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的な多様体上の3次元サイクルの正則ホモモーフィズムの中で、アーベル・ヤコビ写像は普遍的か？
• RQ2 コリオ・テレーヌ＝ヴァイジンの3次元多様体における一般化ブロッハ予想が、3次元においてアーベル・ヤコビ写像の普遍性に反する反例の存在を示唆するか？
• RQ3 一般化ブロッハ予想の下で、3次元においてアーベル・ヤコビ写像が普遍でない4次元多様体を構成できるか？
• RQ4 写像 $ \widetilde{\psi}^p|_{\text{tors}}: A^p(X)_{\text{tors}} \to J(N^{p-1}H^{2p-1}(X,\mathbb{Z}(p)))_{\text{tors}} $ が同型となる条件は何か？
• RQ5 コニヴェランススペクトル系列の退化条件 $ L_{3,s} $ が、3次元においてWalker写像 $ \widetilde{\psi}^p $ の普遍性を保証するか？

主な発見

• コリオ・テレーヌ＝ヴァイジンの3次元多様体における一般化ブロッハ予想を仮定すると、3次元においてアーベル・ヤコビ写像の普遍性に反する反例を提供する4次元多様体を構成できる。
• 条件 $ L_{3,s} $ が多様体 $ X $ で成り立つ限り、$ \widetilde{\psi}^p|_{\text{tors}} $ は $ p \in [3, s+3] \cup [d-s-1, d-1] $ に対して同型である。
• 写像 $ f^p $ の核がねじれであることが示され、これにより与えられた条件下でアーベル・ヤコビ写像のねじれ部分が同型であることが示される。
• スペクトル系列の分析と特定の $ E^{p,q}_2 $-項のねじれなし性を用いて、Walker写像 $ \widetilde{\psi}^p $ がねじれサイクルに制限したときに普遍的であることが示された。
• 結果として、アーベル・ヤコビ写像が一般に3次元で普遍的でないことが確立された。これは、一般化ブロッハ予想のような追加の予想的仮定が満たされない限り成立しない。
• 構成はコニヴェランスフィルトレーションとスペクトル系列 $ E^{p,q}_2 $ の振る舞いに依存しており、特に $ p > d-s-1 $ または $ q > d-s-1 $ のとき $ E^{p,q}_2(\widetilde{W}_{s+1}) $ の消滅が、退化を保証し、ねじれ部分への同型を支援する。