Grothendieck--Serre for constant reductive group schemes

The Grothendieck--Serre conjecture predicts that on a regular local ring there is no nontrivial torsor under a reductive group scheme that becomes trivial over the fraction field.

While this conjecture has been proven in the equicharacteristic case, it remains open in the mixed characteristic case.

In this article, we establish a generalised version of the conjecture over Prüfer bases for constant reductive group schemes.

In particular, the Noetherian case of our main result settles the constant, unramified case of the Grothendieck--Serre conjecture.

Along the way, inspired by the recent article by $\check{\mathrm{C}}$esnavi$\check{\mathrm{c}}$ius [Ces24], we also prove several versions of the Nisnevich conjecture in our context.