Stable $\mathbb{A}^1$-connectivity over Dedekind schemes

Abstract

We show that ${\mathbb{A}}^1$-localization decreases the stable connectivity by at most one over a Dedekind scheme with infinite residue fields. For the proof, we establish a version of Gabber’s geometric presentation lemma over a henselian discrete valuation ring with infinite residue field.