A^1-homotopy equivalences and a theorem of Whitehead

DOI10.4310/HHA.2021.V23.N1.A14MaRDI QIDQ2214752zbMATH OpenFDO

Authors Eoin Mackall

Publication date 10 December 2020

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

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.

Review text

The author proves the following analogs of Whitehead's theorem. Given a smooth projective variety \(X\), let \(\mathrm{CH}(X):=\bigoplus_{i=0}^\infty\mathrm{CH}_i(X)\) be the Chow group of \(X\). Let \(G(X)\) be the Grothendieck group of coherent sheaves on \(X\). Then if \(f:X\to Y\) is a morphism of smooth projective varieties such that the proper pushforward \(f_*:\mathrm{CH}(X)\to\mathrm{CH}(Y)\) is an isomorphism, then \(f\) is an isomorphism. Similarly, if \(f_*:G(X)\to G(Y)\) is an isomorphism, then \(f\) is an isomorphism. These two theorems are proved using naïve \(\mathbb{A}^1\)-homotopy theory. A fun by-product of the article is Corollary 4.9, where the author proves that if two smooth projective varieties \(X,Y\) are naïvely \(\mathbb{A}^1\)-homotopic, then \(X\) and \(Y\) are isomorphic. The article is well-written and contains nice exposition, especially in Section 2. Naïve \(\mathbb{A}^1\)-homotopy theory has not been studied to the same extent as its non-naïve counterpart, so it is encouraging to see interesting results arising from this area. For another application of naïve \(\mathbb{A}^1\)-homotopy theory, see \textit{C. Cazanave}'s work on the global \(\mathbb{A}^1\)-degree of rational functions [C. R., Math., Acad. Sci. Paris 346, No. 3--4, 129--133 (2008; Zbl 1151.14016)].

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; zbMATH DE number 3855260
• The trace of the local \(\mathbb{A}^1\)-degree

Cited in

(7)

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

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)