[論文レビュー] 0-cycles with modulus on surfaces

Amalendu Krishna|arXiv (Cornell University)|Apr 13, 2015

Algebraic Geometry and Number Theory参考文献 17被引用数 3

ひとこと要約

本稿は、滑らかな曲面 $X$ および有効なカーティエ除集合 $D$ に対して、モジュラス付きチャウ群 $CH_0(X,D)$ と相対 $K$-群 $K_0(X,D)$ を結ぶ正確な系列を確立する。これは、正則曲面の特異点の解消におけるケルツとサイトの問いに答え、通常のチャウ群の局所化系列がモジュラス付きチャウ群へと拡張されないことを示している。

ABSTRACT

Given a smooth surface $X$ over a field and an effective Cartier divisor $D$, we provide an exact sequence connecting $CH_0(X,D)$ and the relative $K$-group $K_0(X,D)$. We use this exact sequence to answer a question of Kerz and Saito whenever $X$ is a resolution of singularities of a normal surface. This exact sequence is used to show that the localization sequence for ordinary Chow groups does not extend to Chow groups with modulus.

研究の動機と目的

• 滑らかな曲面 $X$ および有効なカーティエ除集合 $D$ に対して、$CH_0(X,D)$ と $K_0(X,D)$ を結ぶ正確な系列を構成すること。
• 正則曲面の特異点の解消である $X$ の場合に、$CH_0(X,D)$ の構造に関してケルツとサイトが提起した問いに応えること。
• 通常のチャウ群の局所化系列がモジュラス付きチャウ群の文脈に拡張されない理由を調査すること。
• 通常のチャウ群とモジュラス付きチャウ群の間の構造的差異を、曲面上で明確にすること。

提案手法

• 相対 $K$-群 $K_0(X,D)$ をペア $(X,D)$ に関連して分析するために代数的 $K$-理論の技法を用いる。
• ゲルステン分解とスペクトル系列の手法を適用し、$K_0(X,D)$ をモジュラス付きチャウ群 $CH_0(X,D)$ と関連付ける。
• 相対 $K$-群の構造を用いて、$CH_0(X,D)$ と $K_0(X,D)$ を含む正確な系列を導出する。
• $X$ が正則曲面の特異点の解消であるという仮定の下で、その正確な系列の振る舞いを分析する。
• 正確な系列を用いて、通常のチャウ群の局所化系列がモジュラス付きチャウ群へと拡張されないことを示す。
• $K$-理論における双対性および双対性定理を適用して、系列の正確性および構造的性質を検証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな曲面 $X$ および有効なカーティエ除集合 $D$ に対して、$CH_0(X,D)$ と $K_0(X,D)$ を自然に結ぶ正確な系列が存在するか？
• RQ2 この正確な系列を用いて、$X$ が正則曲面の特異点の解消である場合のケルツとサイトの $CH_0(X,D)$ に関する問いに答えられるか？
• RQ3 通常のチャウ群の局所化系列がモジュラス付きチャウ群へとどの程度拡張されないか？
• RQ4 代数的 $K$-群 $K_0(X,D)$ は、モジュラスサイクルの文脈において $X$ と $D$ の幾何的構造をどの程度反映しているか？
• RQ5 曲面上で、通常のチャウ群とモジュラス付きチャウ群の間にはどのような構造的差異が存在するか？

主な発見

• 滑らかな曲面 $X$ および有効なカーティエ除集合 $D$ に対して、$CH_0(X,D)$ と $K_0(X,D)$ を結ぶ正確な系列が構成された。
• この正確な系列は、$X$ が正則曲面の特異点の解消である場合にケルツとサイトが提起した問いに対して肯定的な答えを提供する。
• 本稿は、通常のチャウ群の局所化系列がモジュラス付きチャウ群へと拡張されないことを示しており、根本的な構造的差異を浮き彫りにしている。
• 正確な系列は、モジュラス条件の下での $K$-理論とサイクル理論の深い関係を明らかにする。
• モジュラス設定における局所化系列の失敗は、$CH_0(X,D)$ に対して $K_0(X,D)$ が非自明であることに起因することを示している。
• 結果は、モジュラス付きチャウ群が、特に局所化の面で、通常のチャウ群と同一の形式的性質に従わないことを確認している。