On the relation of special linear algebraic cobordism to Witt groups
In the article under review the author establishes a new motivic variant of the theorem of Conner-Floyd reconstructing \(K\)-theory from cobordism. More specifically, the article shows that higher Witt theory may be reconstructed from special linear bordism with the Hopf map inverted.NEWLINENEWLINERecall that classically, for a space \(X\) we write \(MU^*(X)\) for the complex cobordism groups, \(KU^*(X)\) for the \(K\)-groups, \(MSp^*(X)\) for the symplectic cobordism groups, and \(KO^*(X)\) for the orthogonal \(K\)-groups. Complex \(K\)-theory is complex oriented, i.e. satisfies a Thom isomorphism formula. Since complex cobordism is the universal complex oriented cohomology theory, there is a natural transformation \(MU^*(X) \to KU^*(X)\). The theorem of Conner-Floyd for \(KU\) can now be stated as NEWLINE\[NEWLINEKU^*(X) \approx MGL^*(X) \otimes_{MGL^*} KU^*.NEWLINE\]NEWLINE Here \(MGL^* := MGL_*(\mathrm{pt})\) denotes the coefficient ring, and similarly for \(KU^*\). (Of course \(MGL^*\) is isomorphic to the Lazard ring by a theorem of Quillen, and \(KU^* = \mathbb{Z}[\beta, \beta^{-1}]\) for some \(\beta\) in degree 2.)NEWLINENEWLINEThere is also a variant for orthogonal \(K\)-theory: even though \(KO\) is not complex orientable, it is symplectically orientable (i.e. satisfies a Thom isomorphism theorem for \textit{symplectic} vector bundles) and hence there is a natural transformation \(MSp^*(X) \to KO^*(X)\) (since symplectic cobordism is the universal symplectically orientable cohomology theory). The Conner-Floyd isomorphism in this setting is NEWLINE\[NEWLINE KO^*(X) \approx MSp^*(X) \otimes_{MSp^*} KO^*. NEWLINE\]NEWLINENEWLINENEWLINEThere are various motivic analogs of these results. Essentially one may make sense of a notion of an extraordinary cohomology theory for algebraic varieties. These cohomology theories are bigraded, and satisfy many analogs of the classical Eilenberg-Steenrod axioms. For a smooth algebraic variety \(X\) (over a field \(k\)), typical examples of cohomology theories are algebraic cobordism \(MGL^{*,*}(X)\) (as constructed by Voevodsky), higher algebraic \(K\)-theory \(KGL^{*,*}(X)\) (as constructed first by Quillen; here Bott periodicity makes one of the indices redundant), Symplectic cobordism \(MSp^{*,*}(X)\) and special linear cobordism \(MSL^{*,*}(X)\) (as constructed by Panin-Walter), (higher) hermitian \(K\)-theory \(KO^{*,*}(X)\), and higher Witt theory \(KT^{*,*}\) (as constructed by Balmer). There are then the following motivic Conner-Floyd isomorphisms: NEWLINE\[NEWLINE KGL^{*,*}(X) \approx MGL^{*,*}(X) \otimes_{MGL^{2*,*}} KGL^{2*,*} NEWLINE\]NEWLINE (Panin-Pimenov-Röndigs) NEWLINE\[NEWLINE KO^{*,*}(X) \approx MSp^{*,*}(X) \otimes_{MSp^{4*,2*}} KO^{4*,2*} NEWLINE\]NEWLINE (Panin-Walter).NEWLINENEWLINEIn motivic homotopy theory there is an algebraic analog \(\eta\) of the Hopf map. This provides a (graded) endomorphism of any cohomology theory. One may show that Balmer's higher witt theory \(KT\) is given by \(KO[1/\eta]\).NEWLINENEWLINEIn the article under review, the author establishes an isomorphism NEWLINE\[NEWLINE KT^{*,*}(X) \approx MSL[1/\eta]^{*,*}(X) \otimes_{MSL[1/\eta]^{4*,2*}} KT^{4*,2*}. NEWLINE\]NEWLINENEWLINENEWLINEThe proof of the result combines the Conner-Floyd isomorphism for Hermitian \(K\)-theory as established by Panin-Walter with the careful study of \(\eta\)-inverted cohomology theories of the author.
- Relationship between algebraic MSL-cobordisms and derived Witt groups
- On the relation of symplectic algebraic cobordism to Hermitian \(K\)-theory
- The special linear version of the projective bundle theorem
- On the relation of Voevodsky's algebraic cobordism to Quillen's \(K\)-theory
- Cohomologie des groupes linéaires, K-théorie de Milnor et groupes de Witt
- Motivic Gauss-Bonnet formulas
- Quaternionic projective bundle theorem and Gysin triangle in MW-motivic cohomology
- Stable operations and cooperations in derived Witt theory with rational coefficients
- scientific article; zbMATH DE number 4129657 (Why is no real title available?)
- SL-oriented cohomology theories
- Relationship between algebraic MSL-cobordisms and derived Witt groups
- The Equivariant Conner-Floyd Isomorphism
- $kq$-resolutions I
- Cobordism of maps of locally orientable Witt spaces
- On the algebraic cobordism spectra 𝐌𝐒𝐋 and 𝐌𝐒𝐩
- Making the motivic group structure on the endomorphisms of the projective line explicit
- Odd rank vector bundles in eta-periodic motivic homotopy theory
- The geometric diagonal of the special linear algebraic cobordism
- KW-Euler classes via twisted symplectic bundles
This page was built for publication: On the relation of special linear algebraic cobordism to Witt groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q303922)
