[論文レビュー] Indecomposable K_1 and the Hodge-D-conjecture for K3 and Abelian Surfaces

Xi Chen, James D. Lewis|arXiv (Cornell University)|Dec 23, 2002

Algebraic Geometry and Number Theory参考文献 13被引用数 4

ひとこと要約

本稿は、一般のK3面およびアーベル面における高次チャウ群の次数(2,1)におけるホッジ-𝒟予想を証明し、実レギュレータ写像の上への性質を確立する。有理曲線と退化技術を用いて、分解不能なK₁類を構成し、一般のK3面およびアーベル面においてレギュレータ写像が上への性質を示す。さらに、ℙ³内の4次以下の表面を超える範囲で、予想が成立するための鋭い境界を特定する。

ABSTRACT

We prove the Hodge-D-conjecture for general K3 and Abelian surfaces. Some consequences of this result, e.g., on the levels of higher Chow groups of products of elliptic curves, are discussed.

研究の動機と目的

• 一般のK3面およびアーベル面におけるホッジ-𝒟予想を証明すること、すなわち、実レギュレータ写像 r₂,₁⊗ℝ: CH²(X,1)⊗ℝ → Hᴰ³(X,ℝ(2)) の上への性質を示すこと。
• ホッジ-𝒟予想が成立するための有効な境界を確立し、一般のℙ³内の5次以上の表面では予想が成立しないが、K3面およびアーベル面では成立することを示すこと。
• 積の楕円曲線上の分解不能なサイクル CHₙd²(X,1;ℚ) の空間を研究し、アーベル多様体のアーベル写像の核に関するムムフォードの定理を一般化して、そのレベルに対する下界を示すこと。
• 有理曲線およびその対数関数を用いて非自明な高次チャウサイクルを構成し、明示的なレギュレータ計算を可能にすること。

提案手法

• 交わる曲線上で指定された因子 (fᵢ) = pᵢ − pᵢ₊₁ を持つ有理曲線 Dᵢ とメラモーフィック関数 fᵢ を用いて、CH²(X,1) 内の高次チャウサイクルを構成する。
• 退化により有理楕円曲面 X₀: y² = x³ に至ることで、レギュレータ積分を解析し、対称性と体積形式を用いて特異点を研究する。
• 形式 ∫_X log|f| dlog|g| ∧ ω の積分について、特に z=0 の近傍で極限定理を適用するためのリーマン積分理論を応用する。
• 退化曲線のパラメトライゼーション (x,y) = (z²,z³) を用いて、積分を極座標に変換し、漸近的挙動を解析する。
• 調和形式 ω₁, ω₂ におけるレギュレータ評価の2×2行列式の非消滅性を用いて、レギュレータ写像の上への性質を証明する。
• 一般のK3面上の有理曲線の連続性と稠密性を活用し、コホモロジーを張る十分なサイクルの存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般のK3面に対してホッジ-𝒟予想は成り立つか、すなわち、実レギュレータ写像 r₂,₁⊗ℝ: CH²(X,1)⊗ℝ → Hᴰ³(X,ℝ(2)) が上への性質を示すか。
• RQ2 どのような代数的表面のクラスに対してホッジ-𝒟予想が失敗し、その有効な成立境界は何か。
• RQ3 楕円曲線の積 E₁×E₂ 上の分解不能チャウ群 CHₙd²(X,1;ℚ) のレベルは下からどのように抑えられるか。また、これはムムフォードの定理とどのように関係するか。
• RQ4 K3面上の有理曲線をどのように用いて、非自明な高次チャウサイクル CH²(X,1) を構成し、そのレギュレータ像が非自明になるか。
• RQ5 有理楕円曲面への退化が、レギュレータ積分の非消滅性およびしたがって上への性質の証明に果たす役割は何か。

主な発見

• ホッジ-𝒟予想は、一般のK3面に対して、実解析的ザリスキ位相において成立し、レギュレータ写像 r₂,₁⊗ℝ が上への性質を示す。
• 一般のアーベル面およびそのクマーダー表面に対してもホッジ-𝒟予想は成立し、K3面を超えて結果を拡張する。
• 一般の楕円曲線の積 E₁×E₂ に対して、予想は成立し、分解不能チャウ群のレベルは Level(CHₙd²(X,1;ℚ)) ≥ 2−2 = 0 を満たす。さらに、高次元の積に対しても一般化可能である。
• n個の有理曲線を用い、循環的交わり (fᵢ) = pᵢ − pᵢ₊₁ を持つ構成により、CH²(X,1) 内に非自明な要素が生成され、コホモロジーを張る。
• 調和形式 ω₁, ω₂ におけるレギュレータ評価の行列式の非消滅性により、レギュレータ写像の像が Hᴰ³(X,ℝ(2)) を張ることが確認される。
• 有理曲線 X₀: y² = x³ への退化により、レギュレータ積分の精密な解析が可能となり、z=0 での発散挙動が示され、レギュレータ像が非自明であることが示唆される。