{"id":"arxiv/2605.07638","url":"https://arxiv.org/abs/2605.07638","tags":["math.AG","math.AT"],"score":0,"title":"Relative $\\mathbb{A}^1$-Contractibility of Smooth Schemes","domain":"math.AG","source":"arxiv","authors":["Adrien Dubouloz","Krishna Kumar Madhavan Vijayalakshmi","Paul Arne Østvær"],"reviews":0,"subject":"math.AG","summary":"We study smooth morphisms $f \\colon X \\to S$ that are $\\mathbb{A}^1$-contractible in the unstable $\\mathbb{A}^1$-homotopy category $\\mathcal{H}(S)$. For base schemes $S$ of finite Krull dimension, we show that $\\mathbb{A}^1$-contractibility is a fiberwise property: such a morphism is $\\mathbb{A}^1$-contractible if and only if all its geometric fibers are $\\mathbb{A}^1$-contractible. We apply this criterion to $\\mathbb{A}^n$-fiber spaces, obtaining a geometric description of their $\\mathbb{A}^1$-contractibility in terms of local factorizations as towers of torsors under vector bundles,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-08","reactions":{}}