Proof of Grothendieck--Serre conjecture on principal G-bundles over regular local rings containing a finite field

2014/06/02 by Panin, Ivan
#Algebraic Geometry (math.AG) #FOS: Mathematics

paper · doi:10.48550/arxiv.1406.0247

Abstract

Let R be a regular local ring, containing a finite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R. In other words, if K is the fraction field of R, then the map of pointed sets H¹_et(R,G) → H¹_et(K,G), induced by the inclusion of R into K, has a trivial kernel. Certain arguments used in the present preprint do not work if the ring R contains a characteristic zero field. In that case and, more generally, in the case when the regular local ring R contains an infinite field this result is proved in joint work due to R.Fedorov and I.Panin (see [FP]). Thus the Grothendieck--Serre conjecture holds for regular local rings containing a field.

Related

• Proof of Grothendieck--Serre conjecture on principal bundles over regular local rings containing a finite field
• On Grothendieck-Serre conjecture concerning principal G-bundles over regular semi-local domains containing a finite field: II
• On Grothendieck-Serre conjecture concerning principal G-bundles over\n regular semi-local domains containing a finite field: I
• On Grothendieck--Serre's conjecture concerning principal G-bundles over reductive group schemes:I
• Two purity theorems and the Grothendieck--Serre's conjecture concerning principal G-bundles