A^1-homotopy equivalences and a theorem of Whitehead

DOI10.4310/HHA.2021.V23.N1.A14zbMATH Open1465.14012arXiv2103.02204MaRDI QIDQ2214752FDOQ2214752

Authors: Eoin Mackall 

Publication date: 10 December 2020

Published in: Homology, Homotopy and Applications (Search for Journal in Brave)

Abstract: We prove analogs of Whitehead's theorem (from algebraic topology) for both the Chow groups and for the Grothendieck group of coherent sheaves: a morphism between smooth projective varieties whose pushforward is an isomorphism on the Chow groups, or on the Grothendieck group of coherent sheaves, is an isomorphism. As a corollary, we show that there are no nontrivial naive $mathbb{A}^1$-homotopy equivalences between smooth projective varieties.

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

Recommendations

• A classical proof that the algebraic homotopy class of a rational function is the residue pairing
• Zeroth \(\mathbb{A}^1\)-homology of smooth proper varieties
• Universal birational invariants and A1-homology
• \(\mathbb A^1\)-algebraic topology over a field
• Splitting vector bundles and \(\mathbb A^{1}\)-fundamental groups of higher-dimensional varieties
• \(\mathbb{A}^1\)-algebraic topology
• Smooth varieties up to \(\mathbb A^1\)-homotopy and algebraic \(h\)-cobordisms
• Birational invariants and \(\mathbb{A}^1\)-connectedness
• scientific article
• The trace of the local \(\mathbb{A}^1\)-degree

zbMATH Keywords

Chow groupGrothendieck group\(\mathbb{A}^1\)-homotopy

Mathematics Subject Classification ID

Algebraic cycles (14C25) Applications of methods of algebraic (K)-theory in algebraic geometry (14C35)

Cited In (7)

• The certain exact sequence of Whitehead and the classification of homotopy types of CW-complexes
• A classical proof that the algebraic homotopy class of a rational function is the residue pairing
• Naive 𝔸1-Homotopies on Ruled Surfaces
• The topological Whitehead torsion of an equivariant fiber homotopy equivalence
• A \(\delta\)-first Whitehead lemma
• Comparing \(\mathbb{A}^1\)-\(h\)-cobordism and \(\mathbb{A}^1\)-weak equivalence
• Relative \(\mathbb{A}^1\)-homology and its applications

This page was built for publication: \( \mathbb{A}^1\)-homotopy equivalences and a theorem of Whitehead

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