Stable A^1-homotopy and R-equivalence
In this beautiful short paper, the authors analyze the existence of rational points by means of stable motivic homotopy theory. For a smooth proper variety \(X\) over a field \(k\), a \(k\)-rational point on \(X\) induces a splitting of the induced map \(X \to \mathrm{Spec}\,k\) in the unstable motivic homotopy category. It is a fundamental question in which way the motivic homotopy category can detect rational points. Morel and Voevodsky have shown that the existence of a \(k\)-rational point is invariant under unstable \(\mathbb{A}^1\)-homotopy. The authors of the paper under review show that the existence of a \(k\)-rational point can be detected by the stable \(\mathbb{A}^1\)-homotopy theory of \(S^1\)-spectra. More precisely, they show that the existence of a \(k\)-rational point is equivalent to the existence of a splitting of the induced morphism \(\pi_0^s(X_+) \to \pi_0^s(\mathrm{Spec}\,k_+)\) of \(S^1\)-stable zeroth homotopy group sheaves. Moreover, the authors show that the rational points can even be detected by a splitting of zeroth \(\mathbb{A}^1\)-homology sheaves in Morel's \(\mathbb{A}^1\)-derived category with \(\mathbb{Q}\)-coefficients, a rationalized version of motivic homotopy theory. This result is important, since the stable homotopy category and the rational derived category are a priori easier to analyze.
- Existence of rational points as a homotopy limit problem
- Étale homotopy equivalence of rational points on algebraic varieties
- On the zeroth stable \( \mathbb{A}^1\)-homotopy group of a smooth projective variety
- Rationally trivial torsors in -homotopy theory
- Smooth varieties up to \(\mathbb A^1\)-homotopy and algebraic \(h\)-cobordisms
- \(\mathbb{A}^1\)-homotopy theory of schemes
- Birational invariants and \(\mathbb{A}^1\)-connectedness
- scientific article; zbMATH DE number 4177249 (Why is no real title available?)
- scientific article; zbMATH DE number 3931169 (Why is no real title available?)
- Local and stable homological algebra in Grothendieck abelian categories
- Motivic symmetric spectra
- Slices and transfers
- Smooth varieties up to \(\mathbb A^1\)-homotopy and algebraic \(h\)-cobordisms
- Some remark on rational points
- The stable \(\mathbb{A}^1\)-connectivity theorems
- \(\mathbb{A}^1\)-homotopy theory and contractible varieties: a survey
- Zeroth \(\mathbb{A}^1\)-homology of smooth proper varieties
- Existence of rational points as a homotopy limit problem
- Étale homotopy equivalence of rational points on algebraic varieties
- Lectures on Chow-Witt groups
- Stably \(\mathbb{A}^1\)-connected varieties and universal \(\mathrm{CH}_{0}\)
- The unit map of the algebraic special linear cobordism spectrum
- Universal birational invariants and A1-homology
This page was built for publication: Stable \(\mathbb A^1\)-homotopy and \(R\)-equivalence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q635458)
