Serre’s Conjecture II

OPENLandmarkConjectureProposed 1962 · Full conjecture

Canonical statement

Let kk be a perfect field of Galois cohomological dimension at most 22, and let GG be a semisimple simply connected linear algebraic group over kk. Then H1(k,G)={1}H^1(k,G)=\{1\}; equivalently, every GG-torsor over Speck\operatorname{Spec}k has a kk-rational point.
View source LaTeX
Let \(k\) be a perfect field of Galois cohomological dimension at most \(2\), and let \(G\) be a semisimple simply connected linear algebraic group over \(k\). Then \(H^1(k,G)=\{1\}\); equivalently, every \(G\)-torsor over \(\operatorname{Spec}k\) has a \(k\)-rational point.

Serre's Conjecture II predicts that if kk is a perfect field whose Galois cohomological dimension is at most 22, and GG is a semisimple simply connected linear algebraic group over kk, then the Galois cohomology set H1(k,G)H^1(k,G) is trivial; equivalently, every GG-torsor over Speck\operatorname{Spec}k has a kk-rational point. Serre formulated the conjecture in his 1962 course on Galois cohomology [Serre1962Cohomologie].

The conjecture has been established for local fields and for totally imaginary global fields, and for several classes of geometric fields as well as for many types of groups; Gille's survey gives a detailed account of the known cases and of the case-by-case methods, following the classification of semisimple groups, that produced them [Gille2010SerreII]. More recently, transfer principles in Galois cohomology have been developed to propagate known cases to new fields [IzquierdoLucchiniArteche2025].

The conjecture remains open in general. The outstanding cases include groups of exceptional type over arbitrary fields of cohomological dimension 22, where no uniform argument for the vanishing of H1H^1 is available.

The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.