Serre conjecture II

Serre conjecture II Serre conjecture II is a statement in the theory of Algebraic groups and Galois cohomology predicting vanishing of certain first Galois cohomology sets for simply connected semisimple Linear algebraic groups over fields of cohomological dimension ≤ 2. It connects work of Jean-Pierre Serre with developments in Class field theory, the Bloch–Kato conjecture, and the classification of algebraic groups by Chevalley group constructions. The conjecture drove advances relating torsors, principal homogeneous spaces, and arithmetic of fields arising in Number fields, Local fields, and function fields.

Statement

The conjecture asserts that if k is a field of cohomological dimension at most 2 and G is a simply connected semisimple linear algebraic group defined over k, then the Galois cohomology set H^1(k,G) is trivial. Equivalently, every principal homogeneous space (or G-torsor) under G over k has a k-rational point. In the formulation Serre gave, hypotheses involve the Brauer group of k and the vanishing of higher cohomology groups that appear in Étale cohomology. The prediction applies to groups arising from Chevalley group schemes, including classical families like SL_n, Spin_n, Sp_2n and exceptional families such as G2, F4, E6, E7, E8.

Historical context and motivation

Serre formulated his conjectures in the 1960s and 1970s amid investigations by figures such as Claude Chevalley, Alexander Grothendieck, and Jean-Pierre Serre himself into cohomological invariants of algebraic varieties and groups. The problem grew out of work on principal homogeneous spaces by Emmy Noether’s reciprocity ideas, the structure theory of algebraic groups developed by Chevalley and Armand Borel, and the formalism of Galois cohomology popularized by Jean-Pierre Serre’s own monograph. Connections to the Brauer group and consequences for classification problems attracted interest from researchers including Serre, Tate, Milnor, and later contributors like Vladimir Voevodsky and Alexander Merkurjev. The conjecture was motivated by analogies with the triviality of H^1 for connected linear algebraic groups over algebraically closed fields and local fields observed in work of Albert Weil and researchers studying the Hasse principle and principal homogeneous spaces.

Known cases and proofs

Key progress was made for many families of groups and classes of fields. Classical groups such as SL_n and Sp_2n satisfy the conclusion over fields of cohomological dimension ≤ 2 by results combining theorems of Tate and Merkurjev. For groups of type A and C, proofs use structure theory from Chevalley and cohomological methods from Norm residue isomorphism theorem developments by Voevodsky and Rost. For groups of classical type B and D, techniques involving quadratic forms, the Witt ring, and the theory of spinor norms developed by Milnor, Scharlau, and Lam play major roles. Exceptional groups required specialized invariants: the case of type G2 was settled using octonion algebra techniques from Moufang and Hurwitz traditions alongside cohomological invariants introduced by Rost and Garibaldi. Later work by Chernousov, Platonov, Merkurjev, and Gille established many further cases for fields like p-adic function fields, global fields, and purely transcendental extensions. The full conjecture benefited from advances in the Bloch–Kato conjecture proved by Voevodsky, Rost, and Weibel, which supplied norm residue isomorphisms crucial to controlling Galois cohomology groups. Nonetheless, some exotic combinations of group type and base field remain open, and explicit counterexamples in extremal contexts have not been found.

Consequences and applications

When the conjecture holds it yields rigidity results for rational points on homogeneous varieties studied by Weil, simplifies classification of principal homogeneous spaces in arithmetic questions addressed by Hasse and Tate, and informs understanding of arithmetic of algebraic groups as in works of Platonov and Rapinchuk. Triviality of H^1 has implications for descent theory in the style of Grothendieck and for obstruction-theoretic methods in Arithmetic geometry applied by Skorobogatov. Results inspired by the conjecture influence explicit classification of forms of algebraic groups over fields arising in Quadratic form theory of Pfister forms and in the theory of central simple algebras treated by Albert and Wedderburn. Applications extend to rationality problems and to constructing special field extensions relevant to Inverse Galois problem investigations initiated by Hilbert and continued by Shafarevich.

Related conjectures and generalizations

Serre’s conjecture II sits alongside other major conjectures about Galois cohomology such as the Bloch–Kato conjecture (now theorem), Serre’s earlier conjecture about H^i vanishing for i>0 in specific contexts, and generalizations concerning reductive but not simply connected groups studied by Colliot-Thélène and Sansuc. Extensions ask for analogues over higher cohomological dimension fields, over arithmetic schemes as in conjectures of Grothendieck and Milne, and for finer classification via cohomological invariants developed by Rost and Serre’s school. Active research combines ideas from Algebraic K-theory as advanced by Quillen and Thomason, and from motivic cohomology advanced by Voevodsky and Suslin, to attack remaining cases and propose refined conjectures linking torsors, rationality, and motivic phenomena.

Category:Algebraic groups