Some results on injectivity and purity in the mixed characteristic case

Let O be a discrete valuation ring of mixed characteristic. For certain class of abelian group presheaves on the category of O-smooth schemes we will discuss injectivity and purity theorems. In particular, we will discuss the Grothendieck–Serre conjecture for some classical groups. We will focus on statements and methods. Proofs will be only sketched.