References & Citations
Mathematics > Algebraic Geometry
Title: Stable connectivity over a base
(Submitted on 12 Nov 2019 (this version), latest version 2 Jan 2020 (v3))
Abstract: The Morel's stable connectivity theorems [Mor1] states that for an arbitrary field for any connective $S^1$-spectrum $F$ of Nisnevich sheaves, the spectrum $L_{\mathbb A^1}(F)$ is connective, and the same property for $\mathbb P^1$-spectra of Nisnevich sheaves. Here $L_{\mathbb A^1}$ denotes the $\mathbb A^1$-localisation in the stable homotopy category $\mathbf{SH}_\mathrm{nis}^{S^1}(k)$ of $S^1$-spectra of Nisnevich sheaves over a field $k$. In view of the Ayoub's contrexamples to the same statement in the relative case of a $S^1$-spectra sheaves over a base scheme $S$ [Ayo06] the conjecture states that $L_{\mathbb A^1}(F)$ is $(-d)$-connective for any connective $F$, where $d=\mathrm{dim} S$ is the Krull dimension. The conjecture is proven for the cases of dedekind schemes in [SS] by J.~Schmidt and F.~Strunk, and noetherian domains in [DHKY] by N.~Deshmukh, A.~Hogadi, G.~Kulkarni and S.~Yadav under the assumption of the infiniteness of the residue fields. In the article we prove the general case.
Submission history
From: Andrei Druzhinin [view email][v1] Tue, 12 Nov 2019 17:17:43 GMT (12kb)
[v2] Wed, 25 Dec 2019 15:53:18 GMT (13kb)
[v3] Thu, 2 Jan 2020 12:37:00 GMT (14kb)
Link back to: arXiv, form interface, contact.