[論文レビュー] The generalized Hodge and Bloch conjectures are equivalent for general complete intersections, II

Claire Voisin|arXiv (Cornell University)|Mar 16, 2014

Algebraic Geometry and Number Theory被引用数 13

ひとこと要約

本稿は、チヴォー群が自明な多様体内の一般の完全交差について、一般化されたホッジ予想とブローチ予想の間の同値性の、条件なしでやや弱めた形を確立する。もしこのような完全交差 $Y$ の最高コホモロジー群 $H^m(Y,\mathbb{Q})$ が次元 $c$ の代数的サイクルによってパラメトライズされるならば、そのコホモロジーのパラメトライズ条件が幾何的コノイエューブ $\geq c$ を意味するものとして、$CH_i(Y)_{\mathbb{Q}} = 0$ が $i \leq c-1$ に対して成り立つことを示す。これは、デリーニの混合ホッジ理論と双対性の議論を用いて、従来の条件付き結果を、条件なしの枠組みへと拡張したものである。

ABSTRACT

We prove an unconditional (but slightly weakened) version of the main result of our earlier paper with the same title, which was, starting from dimension $4$, conditional to the Lefschetz standard conjecture. Let $X$ be a variety with trivial Chow groups, (i.e. the cycle class map to cohomology is injective on $CH(X)_\mathbb{Q}$). We prove that if the cohomology of a general very ample hypersurface $Y$ in $X$ is ``parameterized by cycles of dimension $c$'', then the Chow groups $CH_{i}(Y)_\mathbb{Q}$ are trivial for $i\leq c-1$.

研究の動機と目的

• チヴォー群が自明な多様体内の一般の完全交差について、一般化されたホッジ予想とブローチ予想の間の条件なしでやや弱めた同値性を確立すること。
• 完全交差 $Y$ の最高コホモロジー群 $H^m(Y,\mathbb{Q})$ が次元 $c$ の代数的サイクルによってパラメトライズされるならば、そのコホモロジーの条件のもとで $CH_i(Y)_{\mathbb{Q}} = 0$ が $i \leq c-1$ に対して成り立つことを証明すること。
• 従来の結果の一般性を制限していたレフシェッツ標準予想への依存を排除すること。
• 完全交差の文脈において、幾何的コノイエューブ、ホッジ的コノイエューブ、チヴォー群の構造との関係を明確にすること。
• コホモロジー群がサイクルによってパラメトライズされるというコホモロジー的基準を提供し、低次のチヴォー群の自明性を示す。$K3$ 表面やセクシティック4次元多様体への応用を含む。

提案手法

• 次元 $c$ の代数的サイクルによるコホモロジーのパラメトライズを定義する。これは、$P \in CH^{m-c}(T \times Y)_{\mathbb{Q}}$ が存在し、$P^*$ が $H^m(Y,\mathbb{Q})$ に単射であり、非ゼロの有理数係数 $N$ を用いて交差形式と整合的であることを要請する。
• デリーニの混合ホッジ構造論を用いて、$H^m(Y,\mathbb{Q})$ が次元 $c$ のサイクルによってパラメトライズされるならば、その超越的コホモロジーが余次元 $\geq c$ の部分多様体に支持されることを示し、幾何的コノイエューブ $\geq c$ を得る。
• 双対性とコホモロジーにおけるレフシェッツ定理を用いて、$P^*$ の単射性と $Y$ のコホモロジー構造、および次元 $m - c$ の多様体 $W$ へのモルフィズム $j: W \to Y$ の存在を関連付ける。
• 環境多様体 $X$ におけるチヴォー群の自明性が、$X$ のすべての有理コホモロジーが代数的であることを意味するため、サイクル類がコホモロジーを生成し、代数的サイクル技法を用いることが可能になる。
• パラメトライズ条件と一般化されたブローチ予想との間の関係を確立し、与えられたコホモロジー的仮定のもとで、$CH_i(Y)_{\mathbb{Q}} = 0$ が $i \leq c-1$ に対して成り立つことを示す。
• 具体的な例（$K3$ 表面やセクシティック4次元多様体）にこの結果を適用し、$H^4(X,\mathbb{Q})$ の $i$-不変部分空間が $1$-サイクルによってパラメトライズされるならば、$CH_0(X)^+_{0} = 0$ が成り立ち、これは特定の $K3$ 表面における $\mu_S^{-}$ の消失を示唆する。

実験結果

リサーチクエスチョン

• RQ1 チヴォー群が自明な多様体内の完全交差 $Y$ に対して、$CH_i(Y)_{\mathbb{Q}} = 0$ が $i \leq c-1$ に対して成り立つためのコホモロジー的条件は何か？
• RQ2 $H^m(Y,\mathbb{Q})$ が次元 $c$ の代数的サイクルによってパラメトライズされるという条件が、レフシェッツ標準予想を仮定しないまま、低次のチヴォー群の自明性を示すのに十分か？
• RQ3 レフシェッツ標準予想をコホモロジー的パラメトライズ条件に置き換えることで、チヴォー群が自明な多様体内の一般の完全交差について、一般化されたブローチ予想を条件なしに証明できるか？
• RQ4 特に完全交差の文脈において、コホモロジーがサイクルによってパラメトライズされるのと、多様体の幾何的コノイエューブとの間の正確な関係は何か？
• RQ5 特定のセクシティック4次元多様体 $X$ に対して、$H^4(X,\mathbb{Q})$ がサイクルによってパラメトライズされるならば、$K3$ 表面 $S$ における $CH_0(S)_{\text{hom}} \otimes CH_0(S)_{\text{hom}}$ 上の写像 $\mu_S^{-}$ の消失が導かれるか？

主な発見

• 本稿は、定義 0.3 の意味で、一般の完全交差 $Y$ の最高コホモロジー群 $H^m(Y,\mathbb{Q})$ が次元 $c$ の代数的サイクルによってパラメトライズされるならば、与えられた交差形式との整合性のもとで、$CH_i(Y)_{\mathbb{Q}} = 0$ がすべての $i \leq c-1$ に対して成り立つことを、条件なしに証明する。
• この結果は、[13] の主要結果のやや弱めたが条件なしの形であり、従来は次元 $\geq 4$ でレフシェッツ標準予想を必要としていたが、デリーニの混合ホッジ理論と双対性の使用により、これを排除した。
• $H^m(Y,\mathbb{Q})$ が次元 $c$ のサイクルによってパラメトライズされるという条件は、幾何的コノイエューブ $\geq c$ を意味し、この条件が $CH_i(Y)_{\mathbb{Q}} = 0$ が $i \leq c-1$ に対して成り立つために十分であることが示され、レフシェッツ標準予想を仮定しないでも成立する。
• $\mathbb{P}^2$ に沿って6次曲線で分岐する$K3$ 表面 $S$ について、$\mu_S^{-}$ の消失（サイクル論理における重要な問題）は、関連するセクシティック4次元多様体 $X$ の $H^4(X,\mathbb{Q})$ の $i$-不変部分空間が $1$-サイクルによってパラメトライズされるならば、成立する。
• 本稿は、$H^m(Y,\mathbb{Q})$ が次元 $c$ のサイクルによってパラメトライズされるならば、次元 $m - c$ の滑らかでコンパクトな多様体 $W$ と写像 $j: W \to Y$ が存在し、$j_*: H^{m-2c}(W,\mathbb{Q}) \to H^m(Y,\mathbb{Q})_{\text{tr}}$ が全射であることを示す。これは、コホモロジー的条件の幾何的実現を提供する。
• この結果は次元 2 および 3 では一般化されたブローチ予想と同値であり、レフシェッツ標準予想のもとでは高次元でも同値である。したがって、この設定において予想を統一するコホモロジー的基準を確立する。