Title: Stable connectivity over a base

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.