Abstract:Let $C$ be a regular, irreducible curve that is projective over a field. We obtain bounds in terms of the arithmetic genus of $C$ for the generators that are required for the cokernel of the tame symbol, as well as, under a simplifying assumption, its kernel. We briefly discuss a potential application to Chow groups.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the boundary problem of the generators of the kernel and cokernel of the tame symbol in the $K_2$ - group of curves. Specifically:
1. **Research Background**:
- The article discusses a regular, irreducible, and projective curve $C$ defined over a field $k$, with its function field $F = k(C)$.
- By Matsumoto's theorem, $K_2(F)$ can be represented as $F^* \otimes_{\mathbb{Z}} F^* / \langle a \otimes (1 - a), a\in F, a\neq 0,1\rangle$.
2. **Main Problem**:
- The researchers hope to find boundaries related to the arithmetic genus $t$ of the curve $C$, which determine the number of generators required for the kernel and cokernel of the tame symbol.
- In particular, under certain simplifying assumptions, the author attempts to determine the generators of the kernel and, for any given divisor $D$, finds an upper bound for the generators of the cokernel.
3. **Specific Goals**:
- **Generators of the Kernel**: The article explores how to simplify and determine the generators of the kernel of the tame symbol under certain assumptions.
- **Generators of the Cokernel**: The article gives a specific upper bound to describe the number of generators required for the cokernel of the tame symbol.
4. **Application Prospects**:
- The author also briefly discusses the potential applications of this result in Chow groups, which may be helpful especially for the study of higher - dimensional varieties.
Expressed in formulas, the core problem of this paper is to find the generator boundaries of the kernel and cokernel of the following mapping:
\[T: K_2(F)\to\coprod_{P\in C^{(1)}}k(P)^*\]
where $C^{(1)}$ is the set of points of codimension 1 in the curve $C$ (i.e., the set of closed points), and $T_P$ is defined for each closed point $P$ as:
\[T_P(\{f, g\})=(- 1)^{\operatorname{ord}_P(f)\cdot\operatorname{ord}_P(g)}\]
Through the above research, the author hopes to provide deeper insights into the algebraic $K$-theory on curves and lay the foundation for further research on advanced algebraic geometric structures such as Chow groups.