Naive $\mathbb A^1$-homotopies on ruled surfaces
Abstract
We explicitly describe the -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 . We consequently determine the sheaf of naive -connected components of such a surface and show that it does not agree with the sheaf of its genuine -connected components when the surface is not a minimal model. However, the sections of the sheaves of both naive and genuine -connected components over schemes of dimension 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 , is not -local if the surface is not a minimal model.
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