2017/07/05 by Ivan Panin, Panin, Ivan
Mathematics · #Algebraic Geometry and Number Theory #Homotopy and Cohomology in Algebraic Topology #Advanced Algebra and Geometry
paper · pdf · doi:10.48550/arxiv.1707.01763
In a series of papers [Pan0], [Pan1], [Pan2], [Pan3] we give a detailed and better structured proof of the Grothendieck--Serre's conjecture for semi-local regular rings containing a finite field. The outline of the proof is the same as in [P1],[P2],[P3]. If the semi-local regular ring contains an infinite field, then the conjecture is proved in [FP]. Thus the conjecture is true for regular local rings containing a field. A proof of Grothendieck--Serre conjecture on principal bundles over a semi-local regular ring containing an arbitrary field is given in [Pan3]. That proof is heavily based on Theorem 1.3 stated below in the Introduction and proven in the present paper.