English

Naive $\mathbb A^1$-homotopies on ruled surfaces

Algebraic Geometry 2021-07-22 v3 Commutative Algebra K-Theory and Homology

Abstract

We explicitly describe the A1\mathbb A^1-chain homotopy classes of morphisms from a smooth henselian local scheme into a smooth projective surface, which is birationally ruled over a curve of genus >0> 0. We consequently determine the sheaf of naive A1\mathbb A^1-connected components of such a surface and show that it does not agree with the sheaf of its genuine A1\mathbb A^1-connected components when the surface is not a minimal model. However, the sections of the sheaves of both naive and genuine A1\mathbb A^1-connected components over schemes of dimension 1\leq 1 agree. As a consequence, we show that the Morel-Voevodsky singular construction on a smooth projective surface, which is birationally ruled over a curve of genus >0> 0, is not A1\mathbb A^1-local if the surface is not a minimal model.

Keywords

Cite

@article{arxiv.2002.08761,
  title  = {Naive $\mathbb A^1$-homotopies on ruled surfaces},
  author = {Chetan Balwe and Anand Sawant},
  journal= {arXiv preprint arXiv:2002.08761},
  year   = {2021}
}

Comments

15 pages, final version before page proofs, accepted for publication in IMRN. arXiv admin note: text overlap with arXiv:1911.05549

R2 v1 2026-06-23T13:48:08.707Z