1: \begin{abstract}

2: The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. We settle it in the case when $G$ is split and $R$ is unramified. To overcome obstacles that have so far kept the mixed characteristic case out of reach, we rely on the recently-established Cohen--Macaulay version of the resolution of singularities. Namely, we combine Macaulayfications with the Cohen--Macaulay version of Artin's technique of ``good neighborhoods'' over discrete valuation rings to show that, modulo Popescu approximation, an unramified regular local ring $R$ is the localization at a smooth point of a finite flat cover of the affine line over a regular base of lower dimension. This reduces us to analyzing generically trivial $G$-torsors over relative Cohen--Macaulay $R$-curves $C$, and we work out several d\'{e}vissages in this Cohen--Macaulay setting to reduce the analysis to the familiar case $C = \bA^1_R$.

3: \end{abstract}

4: