Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field

Algebraic groups play much the same role for algebraists as Lie groups play for analysts. This book is the first comprehensive introduction to the theory of algebraic group schemes over fields that includes the structure theory of semisimple algebraic groups, and is written in the language of modern algebraic geometry. The first eight chapters study general algebraic group schemes over a field and culminate in a proof of the Barsotti–Chevalley theorem, realizing every algebraic group as an extension of an abelian variety by an affine group. After a review of the Tannakian philosophy, the author provides short accounts of Lie algebras and finite group schemes. The later chapters treat reductive algebraic groups over arbitrary fields, including the Borel–Chevalley structure theory. Solvable algebraic groups are studied in detail. Prerequisites have also been kept to a minimum so that the book is accessible to non-specialists in algebraic geometry.

[1]  Principal bundles, quasi-abelian varieties and structure of algebraic groups☆ , 2008, 0806.3712.

[2]  G. Lusztig,et al.  Representations of reductive groups over finite fields , 1976 .

[3]  J. Tate.  Finite Flat Group Schemes , 1997 .

[4]  B. Totaro.  Pseudo-abelian varieties , 2011, 1104.0856.

[5]  Michael Francis Atiyah,et al.  Introduction to commutative algebra , 1969 .

[6]  R. Garibaldi.  Isotropic Trialitarian Algebraic Groups , 1998 .

[7]  A hyperalgebraic proof of the isomorphism and isogeny theorems for reductive groups , 1983 .

[8]  S. Garibaldi.  $E_8$, the most exceptional group , 2016, 1605.01721.

[9]  Some remarks on affine homogeneous spaces , 1989 .

[10]  Michel Demazure,et al.  Lectures on p-divisible groups , 1972 .

[11]  O. Gabber,et al.  Pseudo-reductive Groups , 2010 .

[12]  A. Borel.  Properties and linear representations of Chevalley groups , 1970 .

[13]  R. Pink.  On Weil restriction of reductive groups and a theorem of Prasad , 2004 .

[14]  I. Barsotti.  A note on abelian varieties , 1953 .

[15]  Jean-Pierre Serre,et al.  Groupes algébriques et corps de classes , 1975 .

[16]  Linearity for actions on vector groups , 2014 .

[17]  AN ELEMENTARY PROOF OF THE STRUCTURE THEOREM FOR CONNECTED SOLVABLE AFFINE ALGEBRAIC GROUPS , 2019 .

[18]  Sylvain Brochard.  Topologies de Grothendieck, descente, quotients , 2012, 1210.0431.

[19]  G. Harder.  Über die Galoiskohomologie halbeinfacher Matrizengruppen. II , 1966 .

[20]  I. Satake.  On the theory of reductive algebraic groups over a perfect field , 1963 .

[21]  C. Chevalley,et al.  Classification des groupes de Lie algébriques : Séminaire C. Chevalley, 1956-1958 , 1958 .

[22]  Daniel Allcock.  A new approach to rank one linear algebraic groups , 2009 .

[23]  T. A. Springer,et al.  Seminar on Algebraic Groups and Related Finite Groups , 1970 .

[24]  J. Humphreys.  Reflection groups and coxeter groups , 1990 .

[25]  R. Fossum,et al.  On Picard groups of algebraic fibre spaces , 1973 .

[26]  D. Luna.  Sur les orbites fermées des groupes algébriques réductifs , 1972 .

[27]  M. Rosenlicht.  Toroidal algebraic groups , 1961 .

[28]  P. Deligne,et al.  Groupes de monodromie en geometrie algebrique , 1972 .

[29]  A. Borel,et al.  Automorphic Forms, Representations, and L-Functions , 1979 .

[30]  M. Rosenlicht,et al.  Some Basic Theorems on Algebraic Groups , 1956 .

[31]  M. Rosenlicht.  Some rationality questions on algebraic groups , 1957 .

[32]  I. Satake.  On Classification of Semisimple Algebraic Groups , 2001 .

[33]  W. Chow.  On the Projective Embedding of Homogeneous Varieties , 1957 .

[34]  V. Mehta.  Representations of Algebraic Groups and Principal Bundles on Algebraic Varieties , 2002 .

[35]  S. Lane.  Categories for the Working Mathematician , 1971 .

[36]  GJ McNinch.  Dimensional Criteria for Semisimplicity of Representations , 1998 .

[37]  Jean-Pierre Serre.  Cours d'arithmétique , 1971 .

[38]  H. A. Nielsen.  Diagonalizably linearized coherent sheaves , 1974 .

[39]  W. Waterhouse,et al.  Introduction to Affine Group Schemes , 1979 .

[40]  A. Borel,et al.  Algebraic groups and discontinuous subgroups , 1966 .

[41]  Michael Ernst,et al.  THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE , 2015, The Review of Symbolic Logic.

[42]  Felix Klein,et al.  An approach through invariants and representations , 2008 .

[43]  R. Skip Garibaldi.  GROUPS OF TYPE E 7 OVER ARBITRARY FIELDS , 1998 .

[44]  Robert Steinberg,et al.  Lectures on Chevalley Groups , 2016 .

[45]  G. Mostow,et al.  ON THE ALGEBRA OF REPRESENTATIVE FUNCTIONS OF AN ANALYTIC GROUP. , 1961 .

[46]  André Weil,et al.  Adeles and algebraic groups , 1982 .

[47]  A. Białynicki-Birula.  Some properties of the decompositions of algebraic varieties determined by actions of a torus , 1976 .

[48]  D. Mumford,et al.  Geometric Invariant Theory , 2011 .

[49]  J. Carrell,et al.  Algebraic Quotients. Torus Actions and Cohomology. The Adjoint Representation and the Adjoint Action , 2002 .

[50]  P. Müller.  Algebraic groups over finite fields, a quick proof of Lang’s theorem , 2002 .

[51]  G. Hochschild,et al.  Basic Theory of Algebraic Groups and Lie Algebras , 1981 .

[52]  G. Harder.  Über die Galoiskohomologie halbeinfacher algebraischer Gruppen. III. , 1975 .

[53]  Gunter Malle,et al.  Linear Algebraic Groups and Finite Groups of Lie Type , 2011 .

[54]  R. Ree.  Commutators in semi-simple algebraic groups , 1964 .

[55]  M. Sweedler.  HOPF ALGEBRAS WITH ONE GROUPLIKE ELEMENT , 1967 .

[56]  G. Harder.  Über einen Satz von E. Cartan , 1965 .

[57]  George J. McNinch.  Levi Factors of the Special Fiber of a Parahoric Group Scheme and Tame Ramification , 2014 .

[58]  F. Murnaghan,et al.  LINEAR ALGEBRAIC GROUPS , 2005 .

[59]  M. Carral,et al.  Quadratic and λ-hermitian forms , 1989 .

[60]  On the descent of Levi factors , 2013 .

[61]  A. Białynicki-Birula.  Some theorems on actions of algebraic groups , 1973 .

[62]  S. Lang,et al.  Algebraic Groups Over Finite Fields , 1956 .

[63]  Jean-Pierre Serre.  Groupes de Grothendieck des schémas en groupes réductifs déployés , 1968 .

[64]  J. Alper.  On the local quotient structure of Artin stacks , 2009, 0904.2050.

[65]  Gary Cornell,et al.  Modular Forms and Fermat's Last Theorem , 1997 .

[66]  T. A. Springer,et al.  Octonions, Jordan Algebras and Exceptional Groups , 2000 .

[67]  B. Iversen.  The geometry of algebraic groups , 1976 .

[68]  Arthur Cayley.  Sur quelques propriétés des déterminants gauches. , 1846 .

[69]  M. Lazard.  Sur les groupes de Lie formels à un paramètre , 1955 .

[70]  On quasi-reductive group schemes , 2004, math/0405381.

[71]  G. Kempf.  Linear systems on homogeneous spaces , 1976 .

[72]  C. Schoeller.  Groupes affines, commutatifs, unipotents sur un corps non parfait , 1972 .

[73]  Optimal $SL(2)$-homomorphisms , 2003, math/0309385.

[74]  E. Stiefel.  Über eine Beziehung zwischen geschlossenen Lie'schen Gruppen und diskontinuierlichen Bewegungsgruppen euklidischer Räume und ihre Anwendung auf die Aufzählung der einfachen Lie'schen Gruppen , 1941 .

[75]  Hideyasu Sumihiro,et al.  Equivariant completion II , 1975 .

[76]  M. Rosenlicht.  Questions of rationality for solvable algebraic groups over nonperfect fields , 1963 .

[77]  R. Richardson.  Affine Coset Spaces of Reductive Algebraic Groups , 1977 .

[78]  M. E. Keating,et al.  An Introduction to Rings and Modules: With K-Theory in View , 2000 .

[79]  N. Q. Thang,et al.  On Galois cohomology of semisimple groups over local and global fields of positive characteristic, II , 2008 .

[80]  H. T. H. PIAGGIO,et al.  Foundations of Algebraic Geometry , 1948, Nature.

[81]  Conjugacy in semisimple algebraic groups , 1978 .

[82]  Sebastian Herpel.  On the Smoothness of Centralizers in Reductive Groups , 2010, 1009.0354.

[83]  J. Humphreys.  Conjugacy classes in semisimple algebraic groups , 1995 .

[84]  A. Borel.  Groupes Lineaires Algebriques , 1956 .

[85]  Michael Patrick. O'Donnell,et al.  Theory of rings , 1952 .

[86]  M. Bate,et al.  Complete reducibility and separability , 2007, 0709.3803.

[87]  J. Milne.  Reductive Groups , 2012 .

[88]  J. Isbell,et al.  Reports of the Midwest Category Seminar I , 1967 .

[89]  E. R. Kolchin,et al.  On Certain Concepts in the Theory of Algebraic Matric Groups , 1948 .

[90]  Valentin Evgenʹevich Voskresenskiĭ,et al.  Algebraic Groups and Their Birational Invariants , 1998 .

[91]  Sam Lichtenstein,et al.  NÉRON MODELS , 2011 .

[92]  P. M. Cohn.  ALGEBRES DE LIE SEMI‐SIMPLES COMPLEXES , 1968 .

[93]  I. Mirkovic,et al.  Geometric Langlands duality and representations of algebraic groups over commutative rings , 2004, math/0401222.

[94]  M. Miyanishi,et al.  Unipotent algebraic groups , 1974 .

[95]  J. Humphreys.  Algebraic groups and modular lie algebras , 1967 .

[96]  M. Demazure.  Schémas en groupes réductifs , 1965 .

[97]  Andrei S. Rapinchuk,et al.  Algebraic groups and number theory , 1992 .

[98]  Masayoshi Nagata,et al.  Complete reducibility of rational representations of a matric group , 1961 .

[99]  E. R. Kolchin,et al.  Algebraic Matric Groups and the Picard-Vessiot Theory of Homogeneous Linear Ordinary Differential Equations , 1948 .

[100]  G. Harder,et al.  Existence of discrete cocompact subgroups of reductive groups over local fields. , 1978 .

[101]  I. Satake.  Symplectic representations of algebraic groups satisfying a certain analyticity condition , 1967 .

[102]  Saunders Mac Lane,et al.  One universe as a foundation for category theory , 1969 .

[103]  V. Popov.  On the equations defining affine algebraic groups , 2015, 1508.02860.

[104]  F. Oort,et al.  Group schemes of prime order , 1970 .

[105]  F. Oort.  Algebraic group schemes in characteristic zero are reduced , 1966 .

[106]  Xiaolong Wu.  On the extensions of abelian varieties by affine group schemes , 1986 .

[107]  E. Sopkina.  Classification of all connected subgroup schemes of a reductive group containing a split maximal torus , 2009 .

[108]  Craig Huneke,et al.  Commutative Algebra I , 2012 .

[109]  M. Brion.  Anti-affine algebraic groups , 2007, 0710.5211.

[110]  G. Harder,et al.  Über die Galoiskohomologie halbeinfacher Matrizengruppen. I , 1965 .

[111]  E. Cline,et al.  Induced modules and affine quotients , 1977 .

[112]  P. Russell.  Forms of the affine line and its additive group , 1970 .

[113]  Burt Totaro,et al.  Hilbert’s 14th problem over finite fields and a conjecture on the cone of curves , 2008, Compositio Mathematica.

[114]  J. Oesterlé.  Nombres de Tamagawa et groupes unipotents en caractéristique p , 1984 .

[115]  C. Chevalley,et al.  Sur certains groupes simples , 1955 .

[116]  Garrett Birkhoff,et al.  Representability of Lie Algebras and Lie Groups by Matrices , 1937 .

[117]  Pierre Deligne,et al.  Hodge Cycles, Motives, and Shimura Varieties , 1989 .

[118]  A. Grothendieck,et al.  Schémas en groupes : séminaire de géométrie algébrique du Bois Marie, 1962/64, SGA 3 , 1970 .

[119]  M. Raynaud.  Faisceaux amples sur les schémas en groupes et les espaces homogènes , 1970 .

[120]  A NOTE ON A THEOREM OF E. CARTAN , 1971 .

[121]  Igor R. Shafarevich,et al.  Algebraic Geometry IV , 1994 .

[122]  M. Takeuchi.  A correspondence between Hopf ideals and sub-Hopf algebras , 1972 .

[123]  N. Vavilov,et al.  On the lattice of subgroups of chevalley groups containing a split maximal torus , 1996 .

[124]  M. Kohls.  A user friendly proof of Nagata's characterization of linearly reductive groups in positive characteristics , 2011 .

[125]  A. Borel.  On affine algebraic homogeneous spaces , 1985 .

[126]  J. S. Milne,et al.  Tannakian Categories , 2012 .

[127]  J. Milne.  A Proof of the Barsotti-Chevalley Theorem on Algebraic Groups , 2013, 1311.6060.

[129]  G. Hochschild,et al.  The Structure of Lie Groups. , 1967 .

[130]  A. Kleshchev.  Lectures on Algebraic Groups , 2005 .

[131]  M. Brion,et al.  Lectures on the Structure of Algebraic Groups and Geometric Applications , 2013 .

[132]  G. Lusztig.  Study of a Z-form of the coordinate ring of a reductive group , 2007, 0709.1286.

[133]  隅広 秀康,et al.  Equivariant Completion (代数幾何学の研究) , 1973 .

[134]  Serge Lang,et al.  Abelian varieties , 1983 .

[135]  A. Rapinchuk,et al.  On the existence of isotropic forms of semi-simple algebraic groups over number fields with prescribed local behavior , 2006 .

[136]  Dominic R. Verity,et al.  ∞-Categories for the Working Mathematician , 2018 .

[137]  Armand Borel,et al.  Rationality properties of linear algebraic groups, II , 1968 .

[138]  R. Steinberg.  The Isomorphism and Isogeny Theorems for Reductive Algebraic Groups , 1999 .

[139]  G. Hochschild.  Introduction to Affine Algebraic Groups , 1971 .

[140]  Jacques Tits,et al.  Représentations linéaires irréductibles d'un groupe réductif sur un corps quelconque. , 1971 .

[141]  W. Hsiang,et al.  Lectures on Lie Groups , 1998 .

[142]  P. Bardsley,et al.  Étale Slices for Algebraic Transformation Groups in Characteristic p , 1985 .

[143]  M. Brion.  On extensions of algebraic groups with finite quotient , 2015, 1503.06564.

[144]  J. Milne.  Semisimple Algebraic Groups in Characteristic Zero , 2007, 0705.1348.

[145]  B. Iversen.  A fixed point formula for action of tori on algebraic varieties , 1972 .

[146]  T. Kambayashi,et al.  On linearizing algebraic torus actions , 1982 .

[147]  Robert Steinberg,et al.  Representations of Algebraic Groups , 1963, Nagoya Mathematical Journal.

[148]  Robert Steinberg,et al.  Endomorphisms of linear algebraic groups , 1968 .

[149]  Z. Reichstein,et al.  Cayley Groups , 2022 .

[150]  J. Humphreys.  Introduction to Lie Algebras and Representation Theory , 1973 .

[151]  Miles Reid,et al.  Commutative Ring Theory , 1989 .

[152]  G. Bergman.  The diamond lemma for ring theory , 1978 .

[153]  N. Jacobson,et al.  Basic Algebra II , 1989 .

[154]  George J. McNinch.  Levi decompositions of a linear algebraic group , 2010, 1007.2777.

[155]  P. Jothilingam,et al.  Lectures On Galois Cohomology of Classical Groups , 1969 .