Algebraic Spivak's theorem and applications

DOI10.2140/GT.2023.27.351MaRDI QIDQ6043684zbMATH OpenOpenAlexFDO

Authors Toni Annala

Publication date 23 May 2023

Published in Geometry \& Topology (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2101.04162

zbMATH Keywords

algebraic cobordismderived algebraic geometryalgebraic bordism

Mathematics Subject Classification ID

Other algebro-geometric (co)homologies (e.g., intersection, equivariant, Lawson, Deligne (co)homologies) (14F43) Bordism and cobordism theories and formal group laws in algebraic topology (55N22) Fundamental constructions in algebraic geometry involving higher and derived categories (homotopical algebraic geometry, derived algebraic geometry, etc.) (14A30)

Abstract: We prove an analogue of Lowrey--Sch"urg'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.

Recommendations

• Bivariant derived algebraic cobordism
• Base independent algebraic cobordism
• Algebraic cobordism and Grothendieck groups over singular schemes
• The Morel-Voevodsky localization theorem in spectral algebraic geometry
• Projectivity in algebraic cobordism

Cites work

• Algebraic Cobordism
• Algebraic cobordism revisited
• Base independent algebraic cobordism
• Bivariant derived algebraic cobordism
• Bivariant theories in motivic stable homotopy
• Chern classes in precobordism theories
• Comparison of cobordism theories
• Degeneracy loci classes in \(K\)-theory -- determinantal and Pfaffian formula
• Derived algebraic cobordism
• Derived smooth manifolds
• Elementary proofs of some results of cobordism theory using Steenrod operations
• Hypersurfaces in projective schemes and a moving lemma
• Modules over algebraic cobordism
• ORIENTED BIVARIANT THEORIES, I
• Precobordism and cobordism
• Resolution of singularities of arithmetical threefolds
• Segre classes and Damon-Kempf-Laksov formula in algebraic cobordism
• Smoothness, semi-stability and alterations
• Tame distillation and desingularization by \(p\)-alterations
• \(K\)-theory and \(G\)-theory of derived algebraic stacks
• \(\mathbb{A}^1\)-homotopy theory of schemes

Cited in

(5)

• Algebraic Myhill-Nerode theorems
• \(\mathbb{A}^1\)-invariance of localizing invariants
• Sigma-algebra theorems
• Motivic Hirzebruch class and related topics
• Algebraic spans

This page was built for publication: Algebraic Spivak's theorem and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6043684)