Grothendieck–Serre conjecture

Grothendieck–Serre conjecture
Name	Grothendieck–Serre conjecture
Field	Algebraic geometry
Proposer	Alexander Grothendieck, Jean-Pierre Serre
Date	1950s–1960s
Status	Partially proven

Grothendieck–Serre conjecture The Grothendieck–Serre conjecture posits a local-to-global principle for principal bundles over regular local rings, asserting that a principal G-bundle trivialized over the fraction field is already trivial over the ring. The conjecture connects foundational work of Alexander Grothendieck, Jean-Pierre Serre, Oscar Zariski, André Weil, and Jean-Louis Verdier and remains central in modern problems studied by groups such as the Institute for Advanced Study, the Mathematical Sciences Research Institute, and research groups at École Normale Supérieure and Harvard University.

Statement

In its common formulation the conjecture says: for a regular local ring R with fraction field K and a reductive group scheme G over R, every G-torsor P over R that becomes trivial over K is trivial over R. This precise claim was motivated by work of Grothendieck, Serre, Oscar Zariski, Serre (1958), and later refinements by Pierre Deligne, Grothendieck (SGA 3), and relates to the conceptions in Étienne Bézout-style problems and the ideas appearing in Alexander Grothendieck's lectures at the IHES.

Historical background and motivation

The conjecture grew from Grothendieck's program in SGA 3 and Serre's inquiries into Galois cohomology and algebraic groups, where comparisons between torsors over rings and fields appeared alongside work by Claude Chevalley, Armand Borel, Serge Lang, and Jean-Pierre Serre. Early instances trace to analogues of Hilbert's Theorem 90 and results of Évariste Galois-inspired descent theory examined by Alexander Grothendieck and later developed in contexts related to the Weil conjectures and the structure theory of reductive groups by Robert Steinberg and Jacques Tits. Motivations also came from classification problems considered at institutions such as University of Paris, Princeton University, and University of Chicago where researchers like John Milnor and Jean-Pierre Serre explored the interaction of cohomology, principal bundles, and arithmetic geometry.

Known cases and partial results

Proved cases include: - For G = GL_n and related linear groups via projective module results of Andrei Suslin, Hyman Bass, Daniel Quillen and the solution of the Serre conjecture (Quillen–Suslin theorem) studied at University of Chicago and MIT. - For isotropic reductive groups over regular semilocal rings by work of Ivan Panin, Andrei Suslin, Alexander Merkurjev, and collaborators, with contributions appearing in venues associated with Steklov Institute, MPI MiS, and IHES. - For discrete valuation rings and some low-dimensional bases through techniques of Jean-Claude Touzé, Vladimir Voevodsky, Marc Levine, and Andrei Suslin reflecting methods from Grothendieck and Serre. Significant breakthroughs by Ivan Panin and coauthors established large classes of the conjecture, while remaining cases often involve anisotropic groups and rings beyond the regular local hypothesis studied by teams at MAX Planck Institute and École Polytechnique.

Methods and techniques

Techniques draw on a blend of algebraic geometry, group theory, and K-theory: descent theory from Grothendieck's work in SGA 1 and SGA 3, cohomological methods of Jean-Pierre Serre and Serre (Galois Cohomology), patching and purity arguments influenced by Ofer Gabber and A. Suslin, as well as homotopy-theoretic approaches developed by Vladimir Voevodsky, Fabien Morel, and practitioners of motivic homotopy theory at IHES and Institut Fourier. Key tools include Nisnevich and étale topologies from Grothendieck's school, the theory of reductive group schemes following Demazure and Gabriel, and K-theoretic inputs inspired by Quillen and Hyman Bass.

Applications and consequences

Consequences touch classification of algebraic vector bundles studied by Serre, arithmetic of algebraic groups considered by Platonov and Rapinchuk, and the understanding of torsors in arithmetic geometry in programs led by Pierre Deligne, Gerd Faltings, and Richard Taylor. Positive cases reduce local-global problems in the study of principal bundles over schemes encountered in research at Princeton University and Harvard University and inform the structure theory of reductive groups in the style of Jacques Tits and Armand Borel. The conjecture also impacts computations in algebraic K-theory pioneered by Quillen and Andrei Suslin and moduli problems investigated at University of Cambridge and Oxford University.

Counterexamples and open problems

No outright counterexample is known within the regular local hypothesis, but failures appear outside assumptions: nonregular rings and pathological group schemes produce counterexamples inspired by constructions related to Nagata-type rings and phenomena studied by Raynaud and Grothendieck in his pathological examples. Open problems include full resolution for anisotropic reductive groups, extensions to mixed characteristic settings relevant to work at Harvard University and Princeton University, and finer versions involving torsors with additional structures studied by researchers at Institute for Advanced Study and MPIM. Active research programs continue in groups led by Ivan Panin, Andrei Suslin, Alexander Merkurjev, and collaborators across Europe and North America.

Category:Conjectures in algebraic geometry