Stable A^1-homotopy and R-equivalence

TL;DR

This paper demonstrates that the presence of a k-rational point on a variety can be identified through stable A^1-homotopy theory, linking geometric properties with homotopical invariants.

Contribution

It establishes a new method to detect k-rational points using stable A^1-homotopy categories, including rationalized variants, advancing the connection between algebraic geometry and homotopy theory.

Findings

Detection of k-rational points via stable A^1-homotopy

Use of rationalized A^1-homotopy categories

Bridging algebraic geometry with homotopical methods

Abstract

We prove that existence of a k-rational point can be detected by the stable A^1-homotopy category of S^1-spectra, or even a "rationalized" variant of this category.