概型的精化非分歧上同调

我们引入代数概型精化非分歧上同调的概念，并证明将这些群中的某些与循环群辨识的比较定理。这恢复了光滑射影簇上低余维循环先前由Bloch--Ogus、Colliot-Thélène--Voisin、Kahn、Voisin与Ma给出的结果。我们将我们的方法与由Voevodsky证明的Bloch--Kato猜想相结合，证明在光滑复射影簇上，任何具有平凡Abel--Jacobi不变量的同调平凡挠循环具有余维1的coniveau。这建立了Jannsen最初以有理系数为系数提出的猜想的一个挠版本。我们进一步证明同调平凡挠循环模代数等价群具有一个有限滤列（按coniveau），使得其分次商由我们构造的高阶Abel--Jacobi不变量决定。这可被视为Green猜想在模代数等价的挠循环上的变体。我们还证明了在任何包含全部 $\ell$ 次幂单位根域上的这些结果的 $\ell$-adic类比。