🔢 mathematics

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

This paper establishes that for varieties over a $\mathfrak{B}_s$ -field, higher Chow groups exhibit specific divisibility properties and a direct sum decomposition involving Milnor $K$ -groups, which are then applied to analyze Kato homology groups.

Original authors: Toshiro Hiranouchi, Rin Sugiyama

Published 2026-03-19

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Toshiro Hiranouchi, Rin Sugiyama

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are an architect trying to understand the structure of a massive, complex building (a mathematical object called a variety) built on a specific plot of land (a field).

In the world of algebraic geometry, mathematicians often ask: "What does the foundation of this building look like?" Specifically, they are interested in Zero-Cycles. Think of a zero-cycle as a collection of specific points (like pillars or stones) placed on the building's floor. The "Higher Chow Groups" are a sophisticated way of counting and categorizing these points, not just by how many there are, but by how they relate to each other and the shape of the building.

This paper, by Toshiro Hiranouchi and Rin Sugiyama, is about figuring out the rules for these point-counting games when the "land" (the field) has a very special property.

1. The Special Land: The "Bs-Field"

The authors focus on a specific type of mathematical land called a $B_s$ -field.

The Analogy: Imagine a magical terrain where if you try to move a pile of gold (a mathematical value called a "Milnor K-group") from a neighboring village (a field extension) back to your main village, you can always do it perfectly. You never lose any gold, and you can always fill up any empty spot in your main village's vault using gold from the neighbors.
Real-world examples: This "magic" happens in:
- Finite fields: Like a small, closed island community.
- Local fields: Like a specific neighborhood in a city (e.g., p-adic numbers).
- Global fields: Like the entire country of rational numbers or function fields over finite fields.

The number $s$ in $B_s$ -field is like a "difficulty level" or a "dimension" of the land. For finite fields, $s=1$ . For local fields, $s=2$ .

2. The Main Discovery: The "Divisible" Structure

The paper's main result is a theorem about what happens to our point-counting groups (Higher Chow Groups) when we are on this special $B_s$ -land.

The Rule:
If you look at the point-counting groups for dimensions higher than $s$ , they become "divisible."

The Analogy: Imagine a group of people holding hands in a circle. If a group is "divisible," it means you can always split the circle into smaller, identical circles without anyone getting left out. No matter how many times you try to divide the group by a number (say, 2, 3, or 100), you can always find a sub-group that fits perfectly. There are no "loose ends" or "leftover" people.
The Result: For any dimension $n$ greater than $s+1$ , the group of points is perfectly divisible. It's smooth, fluid, and has no rigid, unbreakable chunks.

The Special Case ( $n = s$ ):
When you look at the group exactly at dimension $s$ , it's slightly more complex. It splits into two parts:

The "Base" Part: This comes directly from the land itself (the Milnor K-group of the field). It's the rigid, unchangeable foundation.
The "Divisible" Part: This is the fluid, divisible group we mentioned earlier.

In simple terms: The structure of the points on your building is just the "Land's own signature" plus a "perfectly flexible, divisible cloud" attached to it.

3. Why Does This Matter? (The Application)

The authors use this discovery to solve a puzzle about Kato Homology Groups.

The Analogy: Imagine you have a map of the building (the variety) and a map of the land (the field). You want to know if the "holes" or "loops" in the building's structure match the "holes" in the land's structure.
The Kato Conjecture: There was a long-standing guess (conjecture) that for these special lands, the map from the building's structure to the land's structure is a perfect match (an isomorphism) for certain dimensions.
The Proof: Because the authors proved that the "extra" parts of the building's structure are perfectly divisible (and thus vanish when we look at them through a specific mathematical lens, like looking at them modulo a prime number), they proved that the building's structure is exactly the same as the land's structure for these specific dimensions.

4. A Concrete Example

Let's look at a Local Field (like the p-adic numbers), which is a $B_2$ -field ( $s=2$ ).

Dimension 3 and up: The point groups are perfectly divisible. They are like a fluid with no rigid shape.
Dimension 2: The group is the sum of the field's own "roots of unity" (like a specific set of keys) and a divisible fluid.
The Result: If you take the "Kato Homology" (a specific way of measuring the building's loops) at dimension 1, it turns out to be exactly the same as the Brauer group of the field (a measure of the field's own internal complexity).

Summary

Think of the paper as a guidebook for architects building on "magic land."

The Land: If the land has the "surjective norm" property (you can always move resources back and forth perfectly), it's a $B_s$ -field.
The Building: On this land, the complex structures of points (Higher Chow Groups) behave very predictably.
The Pattern: Above a certain height ( $s+1$ ), the structures are perfectly flexible (divisible). At the critical height ( $s$ ), they are a mix of the land's own identity and that flexible structure.
The Payoff: This predictability allows mathematicians to prove that the "shape" of the building is perfectly aligned with the "shape" of the land, confirming a major mathematical guess (the Kato Conjecture) for these specific types of fields.

In essence, the authors found a universal rule that simplifies the chaotic world of counting points on complex shapes, showing that on these special fields, the chaos resolves into a beautiful, predictable order.

1. Problem Statement and Context

The paper investigates the structure of higher Chow groups $CH^{d+n}(X, n)$ and Kato homology groups $KH^{(n)}_j(X, \mathbb{Z}/l^r\mathbb{Z})$ for a smooth projective, geometrically irreducible variety $X$ of dimension $d$ defined over a specific class of fields.

Background: The structure of Chow groups is well-understood for finite fields (via higher-dimensional class field theory), where $CH^{d+n}(X, n) = 0$ for $n \ge 2$ and $CH^{d+1}(X, 1) \cong F^\times$ .
The Gap: The authors aim to generalize these results to a broader class of fields where the norm map on Milnor K-groups is surjective. They seek to determine the divisibility properties of these groups and their relationship to Milnor K-groups of the base field $F$ .
Key Object: The study focuses on $B_s$ -fields, a class of fields defined by the surjectivity of norm maps on Milnor K-groups $K^M_s(E)$ for finite extensions. This class includes finite fields ( $s=1$ ), local fields and totally imaginary number fields ( $s=2$ ), and higher-dimensional local fields.

2. Methodology

The authors employ a combination of Mackey functor theory, class field theory, and cohomological dimension arguments.

Mackey Functors and Products: The paper utilizes the theory of Mackey functors (covariant functors with contravariant transfer maps). A central tool is the Mackey product ( $M_1 \boxtimes \dots \boxtimes M_n$ ), which allows the authors to relate the Chow groups of varieties to the Milnor K-groups of the base field via Somekawa-type K-groups.
Reduction to Curves: To handle higher-dimensional schemes, the authors use a "reduction to a curve" strategy. They show that properties of the Chow groups of a variety $X$ can be deduced from those of a curve $C \subset X$ containing the relevant zero-cycles. This involves normalization, base change to ensure rationality of points, and analyzing the push-forward maps on zero-cycles.
Divisibility Arguments: The core technical lemmas involve proving that certain Mackey products are $l$ -divisible (or vanish modulo $l$ ) over $B_s$ -fields. This relies heavily on the projection formula and the surjectivity of norm maps $N_{E'/E}: K^M_s(E') \to K^M_s(E)$ .
Kato Homology Complexes: The authors construct homological complexes of Bloch-Ogus type to define Kato homology groups. They establish a bridge between these homology groups and higher Chow groups using the Norm Residue Isomorphism Theorem (Bloch-Kato conjecture), which relates Milnor K-groups to Galois cohomology.

3. Key Contributions and Results

A. Characterization of $B_s$ -Fields

The paper formalizes the definition of a $B_s$ -field: A field $F$ is a $B_s$ -field if for any finite extensions $E'/E/F$ , the norm map $N_{E'/E}: K^M_s(E') \to K^M_s(E)$ is surjective.

Examples: Finite fields are $B_1$ ; local fields, totally imaginary number fields, and function fields of curves over finite fields are $B_2$ ; $N$ -dimensional local fields are $B_{N+1}$ .
Connection to Cohomology: For fields of characteristic 0, $F$ is a $B_s$ -field if and only if its cohomological dimension $cd(F) \le s$ .

B. Structure of Higher Chow Groups (Main Theorem)

The central result (Theorem 1.2 / Theorem 3.6) describes the structure of $CH^{d+n}(X, n)$ for a $B_s$ -field $F$ :

Divisibility: For $n \ge s+1$ , the group $CH^{d+n}(X, n)$ is divisible.
Decomposition at $n=s$ : The group $CH^{d+s}(X, s)$ $C H^{d + s} (X, s)$ fits into a short exact sequence:
$0 \to A^{d+s}(X, s) \to CH^{d+s}(X, s) \xrightarrow{f^*} K^M_s(F) \to 0$
where $f^*$ $f^{*}$ is the map induced by the structure morphism $X \to \text{Spec}(F)$ $X \to Spec (F)$ .
- The kernel $A^{d+s}(X, s)$ is a divisible group.
- Consequently, $CH^{d+s}(X, s) \cong K^M_s(F) \oplus D$ , where $D$ is a divisible group.

Significance: This generalizes the known results for finite fields (where $s=1$ and the kernel vanishes for $n \ge 2$ ) to a much wider arithmetic context. It shows that the "arithmetic part" of the Chow group is captured entirely by the Milnor K-group of the base field, while the "geometric part" is purely divisible.

C. Applications to Specific Arithmetic Fields

The authors apply the main theorem to refine known structures:

Local Fields ( $s=2$ ): For a local field $F$ , $CH^{d+2}(X, 2) \cong \mu(F) \oplus mK^M_2(F) \oplus D$ , where $\mu(F)$ is the group of roots of unity and $mK^M_2(F)$ is an uncountable uniquely divisible group.
Global Fields: For totally imaginary number fields or function fields over finite fields, $CH^{d+2}(X, 2) \cong K^M_2(F) \oplus D$ . Since $K^M_2(F)$ is torsion, this provides a precise description of the torsion part of the Chow group.
Real Fields: The paper analyzes the case $F=\mathbb{R}$ , showing that the kernel can be non-trivial and finite (related to the number of connected components of $X(\mathbb{R})$ ), highlighting the necessity of the $B_s$ condition.

D. Kato Homology Groups

The paper applies the Chow group results to Kato homology $KH^{(n)}_0(X, \mathbb{Z}/l^r\mathbb{Z})$ :

Isomorphism Theorem (Theorem 4.9): If $F$ is a $B_s$ -field ( $s \ge 1$ ) and $l \neq \text{char}(F)$ , the map induced by the structure morphism:
$f^*: KH^{(s-1)}_0(X, \mathbb{Z}/l^r\mathbb{Z}) \xrightarrow{\sim} KH^{(s-1)}_0(\text{Spec}(F), \mathbb{Z}/l^r\mathbb{Z})$
is an isomorphism.
Verification of Kato Conjectures:
- For Local Fields ( $N$ -dimensional), this implies the residue map $\Delta_0: KH^{(N)}_0(X) \to KH^{(N-1)}_0(X_k)$ is an isomorphism, confirming a specific case of Kato's conjecture on the special fiber.
- For Global Fields, the result recovers the Hasse-Brauer-Noether theorem for the Brauer group as a short exact sequence involving local Kato homology groups:
  $0 \to KH^{(1)}_0(X) \to \bigoplus_v KH^{(1)}_0(X_v) \to \mathbb{Z}/l^r\mathbb{Z} \to 0$

4. Significance

Unification: The paper unifies the study of zero-cycles and higher Chow groups across diverse arithmetic fields (finite, local, global, higher-dimensional local) under the single framework of $B_s$ -fields.
Optimality: The results are shown to be optimal; the kernel of the map to the base field is generally non-trivial and divisible, but no further structure can be deduced without specific information about the variety's geometry (e.g., the Albanese variety).
Resolution of Conjectures: The work provides unconditional proofs for specific instances of the Kato Conjectures (regarding the vanishing or isomorphism of Kato homology groups) for smooth projective varieties over $B_s$ -fields, extending previous results that relied on resolution of singularities or were limited to lower dimensions.
Methodological Advance: The use of Mackey products to relate Chow groups of varieties to Milnor K-groups of the base field offers a powerful new tool for analyzing arithmetic invariants of schemes.

In summary, Hiranouchi and Sugiyama establish that for a broad class of arithmetic fields, the higher Chow groups of varieties are essentially determined by the Milnor K-theory of the base field, with the remainder being a divisible group, and they leverage this to prove deep structural results about Kato homology and the Brauer group.