[论文解读] 0-cycles with modulus on surfaces

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

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

一句话总结

本文建立了一个精确序列，将光滑曲面 $X$ 与有效 Cartier 除子 $D$ 的 Chow 群与模 $CH_0(X,D)$ 和相对 $K$-群 $K_0(X,D)$ 联系起来。该研究解决了 Kerz 与 Saito 关于正规曲面的奇点解析的 $CH_0(X,D)$ 结构的问题，并表明普通 Chow 群的局部化序列无法推广至带有模的 Chow 群。

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$ 与有效 Cartier 除子 $D$ 构造一个连接 $CH_0(X,D)$ 与 $K_0(X,D)$ 的精确序列。
• 回答 Kerz 与 Saito 提出的问题，即当 $X$ 是正规曲面的奇点解析时，$CH_0(X,D)$ 的结构问题。
• 研究普通 Chow 群的局部化序列在带有模的 Chow 群背景下为何不成立。
• 阐明普通 Chow 群与带有模的 Chow 群在曲面上的结构性差异。

提出的方法

• 利用代数 $K$-理论技术分析与对 $(X,D)$ 相关的相对 $K$-群 $K_0(X,D)$。
• 应用 Gersten 分解与谱序列方法，将 $K_0(X,D)$ 与带有模的 Chow 群 $CH_0(X,D)$ 联系起来。
• 利用相对 $K$-群的结构，推导出包含 $CH_0(X,D)$ 与 $K_0(X,D)$ 的精确序列。
• 在 $X$ 是正规曲面奇点解析的假设下分析该精确序列的行为。
• 利用该精确序列证明普通 Chow 群的局部化序列无法推广至带有模的 Chow 群。
• 应用 $K$-理论中的对偶性与对偶定理，验证该序列的精确性与结构性质。

实验结果

研究问题

• RQ1 对于光滑曲面 $X$ 与有效 Cartier 除子 $D$，是否存在一个自然的精确序列连接 $CH_0(X,D)$ 与 $K_0(X,D)$？
• RQ2 该精确序列能否用于解决 Kerz 与 Saito 关于当 $X$ 是正规曲面的奇点解析时 $CH_0(X,D)$ 的问题？
• RQ3 普通 Chow 群的局部化序列在多大程度上无法推广至带有模的 Chow 群？
• RQ4 在模周期的背景下，代数 $K$-群 $K_0(X,D)$ 如何反映 $X$ 与 $D$ 的几何结构？
• RQ5 在曲面上，普通 Chow 群与带有模的 Chow 群之间存在哪些结构性差异？

主要发现

• 为光滑曲面 $X$ 与有效 Cartier 除子 $D$ 构造了一个连接 $CH_0(X,D)$ 与 $K_0(X,D)$ 的精确序列。
• 该精确序列在 $X$ 是正规曲面奇点解析时，为 Kerz 与 Saito 提出的问题提供了肯定回答。
• 本文表明普通 Chow 群的局部化序列无法推广至带有模的 Chow 群，凸显了其根本的结构性差异。
• 该精确序列揭示了在模条件下 $K$-理论与周期理论之间的深刻联系。
• 在模设定下局部化序列的失效被证明是由于 $K_0(X,D)$ 相对于 $CH_0(X,D)$ 的非平凡性所致。
• 结果证实，带有模的 Chow 群并不遵循与普通 Chow 群相同的正式性质，尤其是在局部化方面。