[论文解读] Bloch's formula for 0-cycles with modulus

Rahul Gupta, Amalendu Krishna|arXiv (Cornell University)|Aug 13, 2020

Algebraic Geometry and Number Theory参考文献 11被引用 5

一句话总结

本文利用高维ramified几何类域论的新结果，为有限域上光滑射影代数簇的0-循环模群建立了Bloch公式。关键贡献在于通过cycle class maps与互惠同构，对0-循环模群的结构进行了刻画。

ABSTRACT

We prove Bloch's formula for the Chow group of 0-cycles with modulus on smooth projective varieties over finite fields. The proof relies on some new results in higher dimensional ramified geometric class field theory that we also prove.

研究动机与目标

• 将Bloch公式——最初针对有限域上代数簇的普通0-循环——推广至模条件下的0-循环设置。
• 解决高维代数簇模条件下缺乏几何类域论的问题。
• 为0-循环模群建立一种对偶理论，使其与经典类域论相呼应。
• 通过cycle class maps，为0-循环模群的上同调描述提供一种上同调刻画。
• 为实现主要结果，发展ramified几何类域论中的基础工具。

提出的方法

• 利用从0-循环模群到特定具有紧支集上同调群的cycle class map。
• 应用将0-循环模群与函数域模的Galois上同调群联系起来的互惠同构。
• 采用关于以模为系数的相对K-理论层的代数簇上同调的对偶定理。
• 依赖于高维ramified类域论中互惠映射的新构造。
• 使用奇异点的解析与纯性定理，将问题约化至光滑情形。
• 通过互惠映射，建立0-循环模群与某一上同调群的对偶之间的同构。

实验结果

研究问题

• RQ1 Bloch公式能否推广至有限域上光滑射影代数簇的0-循环模群？
• RQ2 在高维类域论背景下，0-循环模群的结构是怎样的？
• RQ3 在高维情形下，如何为0-循环模群构造互惠同构？
• RQ4 何种上同调不变量控制0-循环模群？
• RQ5 该结果对具有模条件的代数簇的几何类域论有何影响？

主要发现

• Bloch公式在有限域上光滑射影代数簇的0-循环模群上成立。
• 0-循环模群同构于某一具有紧支集上同调群的对偶。
• 从0-循环模群到Galois上同调群的互惠映射是同构，从而确立了对偶性。
• 证明依赖于高维ramified几何类域论的新结果，尤其是互惠同构的构造。
• 0-循环模群的结构完全由代数簇及其模的上同调数据所描述。
• 该结果将经典Bloch公式推广至模条件情形，扩展了算术对偶定理的适用范围。