Koszul factorization and the Cohen–Gabber theorem

Abstract

We present a sharpened version of the Cohen–Gabber theorem for equicharacteristic, complete local domains $(A,\mathfrak{m},k)$ with algebraically closed residue field and dimension $d>0$. Namely, we show that for any prime number $p$, $\operatorname{Spec}A$ admits a dominant, finite map to $\operatorname{Spec}k[[X_{1},\ldots,X_{d}]]$ with generic degree relatively prime to $p$. Our result follows from Gabber’s original theorem, elementary Hilbert–Samuel multiplicity theory, and a “factorization” of the map induced on the Grothendieck group $\mathbf{G}_{0}(A)$ by the Koszul complex.