Abstract:Our investigation focuses on an additive analogue of the Bloch-Gabber-Kato theorem which establishes a relation between the Milnor $K$-group of a field of positive characteristic and a Galois cohomology group of the field. Extending the Aritin-Schreier-Witt theory, we present an isomorphism from the Mackey product associated with the Witt group and the multiplicative groups to a Galois cohomology group. As a result, we give an expression for the torsion subgroup of the Brauer group of a field, and more generally, the Kato homology groups.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to establish the Bloch - Gabber - Kato theorem of additive variants. Specifically, it is achieved by introducing the isomorphism between the Mackey product of Witt groups and multiplicative groups and Galois cohomology groups. This work extends the Artin - Schreier - Witt theory and provides a new expression for the \(p^r\)-torsion subgroups of the Brauer group over fields of characteristic \(p > 0\) and more general Kato homology groups.
### Main problem description
1. **Canonical residue isomorphism theorem of additive variants**:
- The paper aims to study the situation where the first \(G_m\) in Somekawa K - groups is replaced by the additive group \(G_a\) or more general Witt groups \(W_r\).
- For \(n = 1\), the additive variant should correspond to the Artin - Schreier - Witt theory:
\[
W_r(k)/\wp(W_r(k))\cong H^1(k,\mathbb{Z}/p^r\mathbb{Z})
\]
where \(\wp((x_0,\ldots,x_{r - 1}))=(x_0^p,\ldots,x_{r - 1}^p)-(x_0,\ldots,x_{r - 1})\).
2. **Main results**:
- Theorem 1.1 shows that for any field \(k\) of characteristic \(p > 0\), there is an isomorphism:
\[
(W_rM\otimes G_m^{\otimes(n - 1)})(k)/\wp\cong H^n(k,\mathbb{Z}/p^r\mathbb{Z}(n - 1))=H^1_{\text{et}}(\text{Spec}(k),W_r\Omega^{n - 1}_{\log})
\]
Here \(\wp:(W_rM\otimes G_m^{\otimes(n - 1)})(k)\to (W_rM\otimes G_m^{\otimes(n - 1)})(k)\) is the map defined by \(\wp:W_r(K)\to W_r(K)\) on Witt groups.
3. **Applications**:
- This theorem provides a new expression for the \(p^r\)-torsion subgroups of the Brauer group over fields of characteristic \(p > 0\).
- More generally, it provides an alternative expression for Kato homology groups.
### Summary
The core problem of the paper is to introduce the Mackey product of Witt groups and multiplicative groups, establish the isomorphism relationship between them and Galois cohomology groups, and thus provide a new understanding way for algebraic structures (such as Brauer groups and Kato homology groups) over fields of characteristic \(p > 0\). This not only extends the Artin - Schreier - Witt theory, but also provides a theoretical basis for further research in related fields.