Serre’s Conjecture II
Canonical statement
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.Notes
Serre's Conjecture II predicts that if is a perfect field whose Galois cohomological dimension is at most , and is a semisimple simply connected linear algebraic group over , then the Galois cohomology set is trivial; equivalently, every -torsor over has a -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 , where no uniform argument for the vanishing of is available.
References (3)
- [Serre1962Cohomologie]
Cohomologie galoisienne
Open ↗Jean-Pierre Serre · 1964 · misc
- [Gille2010SerreII]
Serre’s conjecture II: a survey
Open ↗Philippe Gille · 2010 · misc
- [IzquierdoLucchiniArteche2025]
Transfer principles for Galois cohomology and Serre’s conjecture II
Open ↗Diego Izquierdo and Giancarlo Lucchini Arteche · 2025 · misc
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.