--- title: Milnor-Witt Motivic Cohomology url: https://www.emergentmind.com/topics/milnor-witt-motivic-cohomology type: topic --- # Milnor-Witt Motivic Cohomology Searching arXiv for primary sources on Milnor–Witt motivic cohomology and closely related developments. First, I’ll locate the foundational paper and several comparison/structural papers needed to support a comprehensive article. Milnor–Witt motivic cohomology is the version of motivic cohomology obtained by enriching algebraic cycles with symmetric bilinear form data, so that transfers and intersection products keep track of quadratic refinements. Its construction is modeled on Voevodsky’s theory, but it starts from Chow–Witt theory and Milnor–Witt \(K\)-theory; the resulting transfers are weaker than Voevodsky transfers, and the derived category of motives is correspondingly closer to the stable homotopy theory of schemes [2004.06634]. In its basic form, for a smooth scheme \(X\) over a perfect field \(k\), Milnor–Witt motivic cohomology is defined by \[ H^{p,q}_{MW}(X,R):=\mathrm{Hom}_{DM^{\mathrm{eff}}_{MW}(k,R)}\big(M(X),\,\tilde R(q)[p]\big), \] and it recovers Chow–Witt groups in bidegree \((2n,n)\) and Milnor–Witt \(K\)-theory on the diagonal \((n,n)\) [2004.06634]. ## 1. Finite Milnor–Witt correspondences The foundational object is the category of finite Milnor–Witt correspondences. Let \(k\) be a perfect field and \(Sm\) the category of smooth separated \(k\)-schemes of finite type. For \(X,Y\in Sm\) equidimensional with \(\dim Y=d\), one replaces Voevodsky’s finite correspondences by correspondences whose coefficients lie in Chow–Witt groups. A closed subset \(T\subset X\times Y\) is admissible if \(T\to X\) is finite and each component surjects onto a component of \(X\), and the group of finite MW-correspondences is \[ \MWcorr(X,Y):=\varinjlim_{T\in A(X,Y)}\,\widetilde{\mathrm{CH}^{d}_T\!\big(X\times Y,\omega_Y\big). \] Here the coefficients are Chow–Witt groups, equivalently cohomology groups computed via the Rost–Schmid complex with coefficients in \(K_d^{MW}\) and twist by the pullback of \(\omega_Y\) [2004.06634]. Composition is defined by the same pullback–product–pushforward pattern as for Voevodsky correspondences, but orientations are encoded by quadratic form data. This yields a canonical additive symmetric monoidal category \(\tilde{\mathrm{Cor}}_k\) with objects smooth schemes and \(\mathrm{Hom}(X,Y)=\MWcorr(X,Y)\). The graph functor \[ \tilde\gamma:Sm\to \tilde{\mathrm{Cor}}_k \] is faithful and symmetric monoidal. There is also a functor \[ \pi:\tilde{\mathrm{Cor}}_k\to \mathrm{Cor}_k \] induced by the forgetful map from Chow–Witt to Chow; after inverting \(2\), \(\pi\) is surjective and split, so \(\pi\) is full when \(2\) is invertible in the coefficient ring [2004.06634]. A characteristic feature of the theory is that MW transfers are weaker than Voevodsky transfers. The representable presheaves \((X)\) on \(\tilde{\mathrm{Cor}}_k\) are generally not Nisnevich sheaves, and MW sheafification must be imposed separately. This is one of the first concrete ways in which the theory departs from ordinary motivic cohomology: the loss of some transfer functoriality is compensated by the retention of quadratic information [2004.06634]. ## 2. Effective and stable MW motives For a Grothendieck topology \(t\in\{\mathrm{Nis},\acute{e}t\}\), a presheaf with MW-transfers is an additive contravariant functor \(\tilde{\mathrm{Cor}}_k\to \mathbf{Ab}\), and an MW \(t\)-sheaf is such a presheaf whose restriction to \(Sm\) is a \(t\)-sheaf. If \(R\) is a coefficient ring, the abelian category of MW \(t\)-sheaves of \(R\)-modules is denoted \(\mathrm{Sh}^{MW}_t(k,R)\). The representable MW presheaf \((X)\) has sheafification \(R(X)=\tilde a((X))\), and these representables generate \(\mathrm{Sh}^{MW}_t(k,R)\) [2004.06634]. Passing to complexes and then \(\mathbb A^1\)-localizing the derived category gives the effective category of MW motives \[ DM^{\mathrm{eff}}_{MW}(k,R):=\Der(\mathrm{Sh}^{MW}_{Nis}(k,R))\big/\langle R(\mathbb A^1_X)\to R(X)\rangle. \] This is a triangulated symmetric monoidal category. For a smooth \(X\), the effective MW motive \(M(X)\) is \(R(X)\) in degree \(0\) [2004.06634]. The Tate object is \[ \mathbb{1}:=(\mathbb{P}^1)/(\{\infty\})[-2]\simeq (\mathbb A^1)/(\mathbb A^1-\{0\})[-2]\simeq (\mathbb G_m)/(\{1\})[-1], \] and the twist notation is organized by \(\mathbb 1\{1\}=(\mathbb G_m)/(\{1\})\), \(\mathbb 1(1)=\mathbb 1\{1\}[-1]\), and \(\mathbb 1(n)=\mathbb 1\{n\}[-n]\). With coefficients \(R\), one introduces \[ \tilde R(n):=\mathrm{C}_{\mathrm{Sus}}\big((\mathbb G_m)^{\wedge n}\big)[-n],\qquad \tilde R(-n):=\underline{\mathrm{Hom}}(\tilde R(n),\tilde R). \] For \(k\) perfect and infinite, \[ H^{p,q}_{MW}(X,R)\simeq \mathbb H^p_{Nis}(X,\tilde R(q)), \] and for \(R=\mathbb Z\) and \(p\ge 2q-1\), \[ H^{p,q}_{MW}(X,\mathbb Z)\simeq H^{p-q}(X,K^{MW}_q). \] In particular, \[ H^{2n,n}_{MW}(X,\mathbb Z)\simeq \widetilde{\mathrm{CH}^{\,n}(X), \] so the theory recovers the Chow–Witt group in codimension \(n\) [2004.06634]. The stable category \(DM_{MW}(k,R)\) is obtained by inverting \(\mathbb 1\{1\}\) via Tate MW spectra. Over an infinite perfect field of characteristic \(\neq 2\), tensoring with the Tate object is fully faithful: \[ \mathrm{Hom}\big(\mathscr C,\mathscr D\big)\xrightarrow{\simeq}\mathrm{Hom}\big(\mathscr C(1),\mathscr D(1)\big), \] equivalently \(\Sigma^\infty:DM^{\mathrm{eff}}_{MW}\to DM_{MW}\) is fully faithful. This is the MW cancellation theorem, first proved at the correspondence level and then lifted to motives [1708.06098]. ## 3. Diagonal cohomology and Milnor–Witt \(K\)-theory The diagonal part of MW motivic cohomology is controlled by Milnor–Witt \(K\)-theory. For a field \(F\), the graded ring \(K_*^{MW}(F)\) is generated by symbols \([u]\) of degree \(1\) for \(u\in F^\times\) and \(\eta\) of degree \(-1\), subject to the relations \[ [u][1-u]=0,\qquad [uv]=[u]+[v]+\eta[u][v],\qquad \eta[u]=[u]\eta,\qquad \eta(2+\eta[-1])=0. \] The degree-zero class \(\langle a\rangle=1+\eta[a]\) identifies \(K^{MW}_0(F)\) with \(GW(F)\), and negative degrees identify with Witt groups [1708.06100]. For finitely generated field extensions \(F/k\) with \(k\) infinite perfect and \(\mathrm{char}(k)\neq 2\), the comparison theorem states that for every \(n\in \mathbb Z\), \[ \Phi_F:K_n^{MW}(F)\xrightarrow{\cong} H^{n,n}_{MW}(F,\mathbb Z) \] is a canonical isomorphism of graded rings, natural for field extensions and compatible with transfers [1708.06100]. In the systematic theory, this extends sheaf-theoretically: for any smooth \(X\) and \(n\ge 0\), \[ \bigoplus_{n\ge 0}H^{n,n}_{MW}(X,\mathbb Z)\xrightarrow{\simeq} K_*^{MW}(X), \] and the cohomology sheaf of the MW motivic complex satisfies \[ \underline H^n\big(\tilde R(n)\big)\cong K_n^{MW} \] as Nisnevich sheaves [2004.06634]. This diagonal identification is one of the central structural facts of the theory. It shows that MW motivic cohomology is not merely “motivic cohomology with extra signs”: it is built so that the basic coefficient objects already encode Grothendieck–Witt and Witt-theoretic data. The Rost–Schmid complex provides the computational mechanism for this identification, and the category of MW cycle modules gives the corresponding abstract formalism. In Feld’s equivalence, the heart of the homotopy \(t\)-structure on \(SH(k)\) is equivalent to the category of MW cycle modules; for the MW Eilenberg–MacLane spectrum \(\tilde H\mathbb Z\), MW motivic cohomology is computed by MW Rost–Schmid hypercohomology, recovering \[ H^{n,n}_{MW}(X,\mathbb Z)\cong \widetilde{\mathrm{CH}^{n}(X) \] and its twisted variants [1912.12680]. For a finitely generated field extension \(L/k\), the field computation takes the form \[ H^{p,q}_{MW}(L,\mathbb Z)= \begin{cases} 0 & p>q,\\ K^{MW}_p(L) & p=q,\\ H^{p,q}(L,\mathbb Z) & p