Abstract:We describe the modulo $2$ de Rham-Witt complex of a field of characteristic $2$, in terms of the powers of the augmentation ideal of the $\mathbb{Z}/2$-geometric fixed points of real topological restriction homology TRR. This is analogous to the conjecture of Milnor, proved by Kato for fields of characteristic $2$, which describes the modulo $2$ Milnor K-theory in terms of the powers of the augmentation ideal of the Witt group of symmetric forms. Our proof provides a somewhat explicit description of these objects, as well as a calculation of the homotopy groups of the geometric fixed points of TRR and of real topological cyclic homology, for all fields.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is a description similar to the Milnor conjecture regarding the de Rham - Witt complex over fields of characteristic 2. Specifically, the author attempts to establish a similar structure theorem by describing the mod - 2 de Rham - Witt complex over fields of characteristic 2 and relating it to the homotopy groups of the geometric fixed points of the Real Topological Restriction Homology (TRR).
### Background and Motivation
In algebraic K - theory, the Milnor conjecture provides a relationship between Milnor K - theory and the powers of the augmentation ideal of the Witt group. Specifically, for a field \(k\) of characteristic 2, the Milnor conjecture asserts that there is an isomorphism:
\[K^M_*(k)/2\cong I^*/I^{* + 1}\]
where \(K^M_*(k)\) is the Milnor K - theory of \(k\), and \(I=\ker(\text{rk}:W_s(k)\to\mathbb{Z}/2)\) is the augmentation ideal of the symmetric form Witt group \(W_s(k)\).
### Research Objectives
The objective of this paper is to establish a similar structure theorem, but with the objects changed from Milnor K - theory and the Witt group to the de Rham - Witt complex and the Real Topological Restriction Homology. Specifically, the author hopes to prove the following result:
**Main Theorem A**: Let \(k\) be a field of characteristic 2. The maps \(R, F, V\) and \(d := 1+\sigma\) endow the sequence \(J^{\langle 2\bullet\rangle}_*/2J^{\langle 2\bullet\rangle}_{*+1}\) with the structure of a 2 - typical Witt complex over \(k\), and the unique 2 - typical Witt complex map:
\[(W^{\langle 2\bullet\rangle}\Omega^*_k)/2\to J^{\langle 2\bullet\rangle}_*/2J^{\langle 2\bullet\rangle}_{*+1}\]
is a strict isomorphism.
### Key Results
1. **Special cases of Theorem A**:
- For \( * = 0\), the isomorphism in Theorem A corresponds to the isomorphism \(W^{\langle 2n\rangle}(k)\cong\pi_0 TR_{n + 1}(k; 2)\) under mod - 2 reduction.
- For \(\bullet = 0\), the isomorphism in Theorem A corresponds to the isomorphism \(\Omega^*_k\cong J^*/J^{*+1}\) discussed above.
- If the characteristic of \(k\) is not 2, then both \((W^{\langle 2\bullet\rangle}\Omega^*_k)/2\) and \(TRR_{n+1}(k; 2)^{\phi\mathbb{Z}/2}\) vanish, so Theorem A holds for all characteristics.
- If \(k\) is a perfect field of characteristic 2, then \((W^{\langle 2\bullet\rangle}\Omega^*_k)/2 = 0\) when \( * > 0\), and \((W^{\langle 2\bullet\rangle}\Omega^0_k)/2=W^{\langle 2\bullet\rangle}(k)/2\cong k\).
2. **Theorem B**: Let \(k\) be a field of characteristic 2. For every integer \(l\geq0\), there exists an exact sequence:
\[
0\to\pi_{2l} TCR(k; 2)^{\phi\mathbb{Z}/2}\t