Pith. sign in

REVIEW 1 cited by

Homotopy theory of schemes and $R$-equivalence

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2311.00092 v1 pith:273Q3IPG submitted 2023-10-31 math.AG math.AT

classification math.AGmath.AT
keywords birationalcategorymathbfschemesequivalencehomotopymapsmathcal
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We prove that, for any smooth and projective scheme $X$ over a field $k$ of char. $0$, the set of maps from Spec $k$ to $X$ in the $\mathbf{A}^1$-homotopy category of schemes $\mathcal{H}_{\mathbf{A}^1}(k)$ is in bijection with the quotient of $X(k)$ by $R$-equivalence, and is a birational invariant of $X$. This is achieved by establishing a precise relation between the localization of the category of smooth $k$-schemes by birational maps and the category $\mathcal{H}_{\mathbf{A}^1}(k)$, and by applying results of the second named author and R. Sujatha on birational invariants. This gives a new proof of results obtained by A. Asok and F. Morel.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Schematic Functorialities of Birational Motivic Homotopy Categories

    math.AG 2026-08 conditional novelty 6.0 of 10

    The zeroth birational motivic homotopy category of a unibranch scheme is the product of those of its function fields.

Pith tools