Table of Contents
Fetching ...

Zero-cycles on varieties over a $\mathfrak{B}_s$-field

Toshiro Hiranouchi, Rin Sugiyama

Abstract

A field $F$ is a $\mathfrak{B}_s$-field if, for every finite extension $E'/E$ of $F$, the norm map $K_s^M(E')\to K_s^M(E)$ of the Milnor $K$-groups is surjective. In particular, finite fields ($s=1$), local fields, and certain global fields (with $s=2$) satisfy this condition. For such a field $F$ and a $d$-dimensional variety $X$ over $F$, we prove that $CH^{d+n}(X,n)$ is divisible for $n \geq s+1$, and $CH^{d+s}(X,s)$ is isomorphic to the direct sum of the Milnor $K$-group $K_{s}^M(F)$ and a divisible group. As an application, we study the Kato homology groups $KH_0^{(n)}(X,\mathbb{Z}/l^r\mathbb{Z})$ for any prime $l$ different from the characteristic of $F$.

Zero-cycles on varieties over a $\mathfrak{B}_s$-field

Abstract

A field is a -field if, for every finite extension of , the norm map of the Milnor -groups is surjective. In particular, finite fields (), local fields, and certain global fields (with ) satisfy this condition. For such a field and a -dimensional variety over , we prove that is divisible for , and is isomorphic to the direct sum of the Milnor -group and a divisible group. As an application, we study the Kato homology groups for any prime different from the characteristic of .

Paper Structure

This paper contains 4 sections, 30 theorems, 126 equations.

Key Result

Theorem 1.1

Let $X$ be a smooth projective and geometrically irreducible scheme over a finite field $F$ of $d = \dim(X)$. Then, we have $CH^{d+n}(X,n) = 0$ for $n\ge 2$, and the structure morphism $f\colon X\to \mathop{\mathrm{Spec}}\nolimits(F)$ induces an isomorphism

Theorems & Definitions (59)

  • Theorem 1.1: Akh04c
  • Theorem 1.2: \ref{['thm:main']}, \ref{['cor:main']}
  • Remark 1
  • Corollary 1: \ref{['thm:KH_fintie']}, \ref{['thm:KH']}
  • Example 1
  • Definition 1
  • Theorem 2.1: Akh04
  • Proposition 1: Akh04
  • Definition 2: Kat78
  • Proposition 2: Kat78, KK86
  • ...and 49 more