Derived algebraic cobordism

Abstract

We construct a cohomology theory using quasi-smooth derived schemes as generators and an analogue of the bordism relation using derived fibre products as relations. This theory has pull-backs along all morphisms between smooth schemes independent of any characteristic assumptions. We prove that in characteristic zero, the resulting theory agrees with algebraic cobordism as defined by Levine and Morel. We thus obtain a new set of generators and relations for algebraic cobordism.

Comments welcome. 35 pages; v2: Changes following referee's suggestions;to appear in JIMJ

References in corpus (1)

• Algebraic cobordism

Cited by in corpus (13)

• Modules over algebraic cobordism
• Virtual fundamental classes of derived stacks I
• A rank 2 Dijkgraaf-Moore-Verlinde-Verlinde formula
• Cobordism invariants of the moduli space of stable pairs
• Bivariant theories in motivic stable homotopy
• Precobordism and cobordism
• The intrinsic stable normal cone
• Sheaves on surfaces and virtual invariants
• Algebraic Spivak's theorem and applications
• Oriented bivariant theory II- Algebraic cobordism of $S$-schemes -
• Cobordism bicycles of vector bundles
• Enriched categories of correspondences and characteristic classes of singular varieties
• On extension of the motivic cohomology beyond smooth schemes