Stable A^1-homotopy and R-equivalence

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.Comment: 6 pages; various minor additions and corrections, to appear in J Pure Appl Al

Toric varieties, monoid schemes and cdhcdh descent

We give conditions for the Mayer-Vietoris property to hold for the algebraic K-theory of blow-up squares of toric varieties in any characteristic, using the theory of monoid schemes. These conditions are used to relate algebraic K-theory to topological cyclic homology in characteristic p. To achieve our goals, we develop for monoid schemes many notions from classical algebraic geometry, such as separated and proper maps.Comment: v2 changes: field of positive characteristic replaced by regular ring containing such a field at appropriate places. Minor changes in expositio

The K-theory of toric varieties in positive characteristic

We show that if X is a toric scheme over a regular ring containing a field then the direct limit of the K-groups of X taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was known in characteristic 0. The affine case of our result was conjectured by Gubeladze.Comment: Companion paper to arXiv:1106.138