Title: Stable connectivity over a base

Abstract: Morel's stable connectivity theorems state that for any connective $S^1$-spectrum $F$ of Nisnevich sheaves over an arbitrary field, 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 Ayoub's conterexamples to the same statement in the relative case of sheaves of $S^1$-spectra over a base scheme $S$, the modified version of Morel's conjecture states that $L_{\mathbb A^1}(F)$ is $(-d)$-connective for any connective $F$, where $d=\dim S$ is the Krull dimension. The conjecture is proven for the cases of Dedekind schemes in and noetherian domains in under the assumption on the infiniteness of the residue fields. In the article we prove the general case.