THE GROTHENDIECK–SERRE CONJECTURE OVER SEMILOCAL DEDEKIND RINGS

For a reductive group scheme G over a semilocal Dedekind ring R with total ring of fractions K, we prove that no nontrivial G-torsor trivializes over K. This generalizes a result of Nisnevich–Tits, who settled the case when R is local. Their result, in turn, is a special case of a conjecture of Grothendieck–Serre that predicts the same over any regular local ring. With a patching technique and weak approximation in the style of Harder, we reduce to the case when R is a complete discrete valuation ring. Afterwards, we consider Levi subgroups to reduce to the case when G is semisimple and anisotropic, in which case we take advantage of Bruhat–Tits theory to conclude. Finally, we show that the Grothendieck–Serre conjecture implies that any reductive group over the total ring of fractions of a regular semilocal ring S has at most one reductive S-model.