Comparison of cobordism theories

On the relation of symplectic algebraic cobordism to hermitian K-theory

We reconstruct hermitian K-theory via algebraic symplectic cobordism. In the motivic stable homotopy category SH(S) there is a unique morphism g : MSp -> BO of commutative ring T- spectra which sends the Thom class th^{MSp} to the Thom class th^{BO}. We show that the induced morphism of bigraded cohomology theories MSp^{*,*} -> BO^{*,*} is isomorphic to the morphism of bigraded cohomology theories obtained by applying to MSp^{*,*} the "change of (simply graded) coefficients rings" MSp^{4*,2*} -> BO^{4*,2*}. This is an algebraic version of the theorem of Conner and Floyd reconstructing real K-t…

Bivariant algebraic cobordism with bundles

The purpose of this paper is to study an extended version of bivariant derived algebraic cobordism where the cycles carry a vector bundle on the source as additional data. We show that, over a field of characteristic 0, this extends the analogous homological theory of Lee and Pandharipande constructed earlier. We then proceed to study in detail the restricted theory where only rank 1 vector bundles are allowed, and prove a weak version of projective bundle formula for bivariant cobordism. Since the proof of this theorem works very generally, we introduce precobordism theories over arbitrary No…

On the relation of Voevodsky's algebraic cobordism to Quillen's K-theory

Quillen's algebraic K-theory is reconstructed via Voevodsky's algebraic cobordism. More precisely, for a ground field k the algebraic cobordism P^1-spectrum MGL of Voevodsky is considered as a commutative P^1-ring spectrum. There is a unique ring morphism MGL^{2*,*}(k)--> Z which sends the class [X]_{MGL} of a smooth projective k-variety X to the Euler characteristic of the structure sheaf of X. Our main result states that there is a canonical grade preserving isomorphism of ring cohomology theories MGL^{*,*}(X,U) \tensor_{MGL^{2*,*}(k)} Z --> K^{TT}_{- *}(X,U) = K'_{- *}(X-U)} on the category…

On the relation of special linear algebraic cobordism to Witt groups

We reconstruct derived Witt groups via special linear algebraic cobordism. There is a morphism of ring cohomology theories which sends the canonical Thom class in special linear cobordism to the Thom class in the derived Witt groups. We show that for every smooth variety X this morphism induces an isomorphism between MSL^{*,*}(X)[h^{-1}] with the "extended" coefficient ring MSL^{4*,2*}(pt) -> W^{2*}(pt) and Laurent polynomial ring over the derived Witt groups W^*(X), where h is the stable Hopf map. This result is an analogue of the result by Panin and Walter reconstructing hermitian K-theory u…

Oriented cohomology, Borel-Moore homology and algebraic cobordism

We examine various versions of oriented cohomology and Borel-Moore homology theories in algebraic geometry and put these two together in the setting of an "oriented duality theory", a generalization of Bloch-Ogus twisted duality theory. This combines and exends work of Panin and Mocanasu. We apply this to give a Borel-Moore homology version $MGL'_{*,*}$ of Voevodsky's $MGL^{*,*}$-theory, and a natural map $\vartheta:Ω_*\to MGL'_{2*,*}$, where $Ω_*$ is the algebraic cobordism theory defined by Levine-Morel. We conjecture that $\vartheta$ is an isomorphism and describe a program for proving this…

代数堆的广义上同调理论

Generalized cohomology theories for algebraic stacks

本文扩展了Voevodsky的稳定motivic同调范畴至scalloped代数堆，展示其具备Grothendieck的六操作公理，为堆上的广义上同调理论提供框架，包括代数K理论和新的例子如motivic上同调和代数 bordism。