Algebraic Spivak's theorem and applications

Abstract

We prove an analogue of Lowrey--Schürg's algebraic Spivak's theorem when working over a base ring $A$ that is either a field or a nice enough discrete valuation ring, and after inverting the residual characteristic exponent $e$ in the coefficients. By this result algebraic bordism groups of quasi-projective derived $A$-schemes can be generated by classical cycles, leading to vanishing results for low degree $e$-inverted bordism classes, as well as to the classification of quasi-smooth projective $A$-schemes of low virtual dimension up to $e$-inverted cobordism. As another application, we prove that $e$-inverted bordism classes can be extended from an open subset, leading to the proof of homotopy invariance of $e$-inverted bordism groups for quasi-projective derived $A$-schemes.

arXiv comment45 pages. Submitted version

References in corpus (9)

• Derived Smooth Manifolds
• Hypersurfaces in projective schemes and a moving lemma
• Modules over algebraic cobordism
• Degeneracy Loci Classes in $K$-theory - Determinantal and Pfaffian Formula -
• Derived algebraic cobordism
• K-theory and G-theory of derived algebraic stacks
• Precobordism and cobordism
• Segre classes and Kempf-Laksov formula in algebraic cobordism
• Chern classes from Morava K-theories to $p^n$-typical oriented theories

Cited by in corpus (2)

• Virtual Cartier divisors and blow-ups
• ${\mathbb{A}}^1$-invariance of localizing invariants