Abstract:We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes the rings $\mathbf{Z}/p^n$ where $p$ is a prime.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to calculate the algebraic K - groups of quotient rings of the form \( \mathcal{O}_K / \pi^n \), where \( \mathcal{O}_K \) is the ring of integers of a p - adic number field \( K \), and \( \pi \) is a uniformizer of \( \mathcal{O}_K \). Specifically, the authors provide an explicit algebraic description method through prismatic cohomology to calculate these K - groups.
The following are the specific problems and goals mentioned in the paper:
1. **Calculation of K - groups**:
- The authors aim to give a practical algorithm to calculate each K - group and obtain some theoretical results, such as the vanishing of higher - even K - groups, the determination of the order of higher - odd K - groups, and the nilpotency degree of \( v_1 \) in the mod - \( p \) syntomic cohomology.
2. **Main results**:
- **Theorem 1.1**: For a given \( K \), \( n \), \( i\geq1 \), and a fixed uniformizer \( \pi\in\mathcal{O}_K \), there exists an explicit, algorithmically computable three - term cochain complex:
\[
\cdots \to 0 \to \mathbb{Z}_p^{f(i n - 1)} \xrightarrow{\text{syn}_0} \mathbb{Z}_p^{2 f(i n - 1)} \xrightarrow{\text{syn}_1} \mathbb{Z}_p^{f(i n - 1)} \to 0 \to \cdots
\]
This complex is concentrated in the finite - rank free \( \mathbb{Z}_p \)-modules of cohomological degrees 0, 1, 2, and is quasi - isomorphic to \( Z_p(i)(\mathcal{O}_K / \pi^n) \).
3. **Even - vanishing theorem**:
- **Theorem 1.4**: If certain conditions are met (see the formula), then for all p - adic number fields \( K \) and ramification indices \( e \), we have \( K_{2i - 2}(\mathcal{O}_K / \pi^n; \mathbb{Z}_p)=0 \).
4. **Angeltveit quotient**:
- **Proposition 1.5**: For any p - adic number field \( K \) and any \( n\geq1 \), \( i\geq2 \), we have:
\[
\left| K_{2i - 1}(\mathcal{O}_K / \pi^n; \mathbb{Z}_p) \right| / \left| K_{2i - 2}(\mathcal{O}_K / \pi^n; \mathbb{Z}_p) \right| = q^{i(n - 1)}
\]
5. **Nilpotency theorem**:
- **Theorem 1.8**: In the motivic - related stratification, the nilpotency degree of \( v_1\in\mathbb{F}_p(p - 1)(\mathbb{Z}/p^n) \) is exactly \( [n]_p=\frac{p^n - 1}{p - 1} \).
Through these results, the authors not only provide a specific method for calculating K - groups but also reveal the behavioral characteristics of these K - groups at higher degrees.