Algebraic Groups Af

Algebraic groups afFrom Wikipedia, the free encyclopedia

Contents

1 (B, N) pair 11.1 Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.3 Properties of groups with a BN pair . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21.4 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21.5 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

2 Adelic algebraic group 32.1 Ideles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32.2 Tamagawa numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32.3 History of the terminology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42.4 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42.5 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

3 Algebraic group 53.1 Classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53.2 Algebraic subgroup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53.3 Coxeter groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63.4 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63.5 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63.6 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

4 Algebraic torus 74.1 Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74.2 Weights . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74.3 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84.4 Isogenies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84.5 Arithmetic invariants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94.6 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94.7 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

5 American Mathematical Society 105.1 History . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105.2 Meetings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

i

ii CONTENTS

5.3 Fellows . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115.4 Publications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115.5 Prizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115.6 Typesetting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125.7 Presidents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

5.7.1 18881900 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125.7.2 19011950 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125.7.3 19512000 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135.7.4 2001present . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

5.8 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145.9 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145.10 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

6 Approximation in algebraic groups 156.1 Use . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156.2 History . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156.3 Formal denitions and properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156.4 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166.5 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

7 Arason invariant 177.1 Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177.2 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

8 Arithmetic group 188.1 Formal denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188.2 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188.3 History . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188.4 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

9 Borel subgroup 199.1 Parabolic subgroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199.2 Lie algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199.3 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199.4 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209.5 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

10 Borelde Siebenthal theory 2110.1 Connected subgroups of maximal rank . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2110.2 Maximal connected subgroups of maximal rank . . . . . . . . . . . . . . . . . . . . . . . . . . . 2110.3 Closed subsystems of roots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2310.4 Applications to symmetric spaces of compact type . . . . . . . . . . . . . . . . . . . . . . . . . . 2310.5 Applications to hermitian symmetric spaces of compact type . . . . . . . . . . . . . . . . . . . . . 25

CONTENTS iii

10.6 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2510.7 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26

11 BottSamelson variety 2811.1 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

12 Bruhat decomposition 2912.1 Denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2912.2 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2912.3 Geometry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3012.4 Computations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3012.5 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3012.6 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3012.7 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

13 Cartan subgroup 3113.1 Conventions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3113.2 Denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3113.3 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3113.4 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

14 Chevalleys structure theorem 3214.1 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

15 Cohomological invariant 3315.1 Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3315.2 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3315.3 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34

16 Diagonalizable group 3516.1 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

17 Dieudonn module 3617.1 Dieudonn rings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3617.2 Dieudonn modules and groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3717.3 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3717.4 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

18 Dierential algebraic group 3818.1 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38

19 Dierential Galois theory 3919.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3919.2 Denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3919.3 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

iv CONTENTS

19.4 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

20 E6 (mathematics) 4120.1 Real and complex forms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4120.2 E6 as an algebraic group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4220.3 Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

20.3.1 Dynkin diagram . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4220.3.2 Roots of E6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4220.3.3 Weyl group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4520.3.4 Cartan matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

20.4 Important subalgebras and representations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4620.5 E6 polytope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4620.6 Chevalley and Steinberg groups of type E6 and 2E6 . . . . . . . . . . . . . . . . . . . . . . . . . . 4620.7 Importance in physics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4720.8 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4820.9 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49

21 E7 (mathematics) 5021.1 Real and complex forms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5021.2 E7 as an algebraic group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5121.3 Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

21.3.1 Dynkin diagram . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5121.3.2 Root system . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5121.3.3 Weyl group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5321.3.4 Cartan matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53

21.4 Important subalgebras and representations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5421.4.1 E7 Polynomial Invariants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54

21.5 Chevalley groups of type E7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5521.6 Importance in physics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5521.7 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5521.8 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5621.9 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56

22 E8 (mathematics) 5722.1 Basic description . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5722.2 Real and complex forms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5722.3 E8 as an algebraic group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5822.4 Representation theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5822.5 Constructions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5922.6 Geometry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5922.7 E8 root system . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

22.7.1 Construction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

CONTENTS v

22.7.2 Dynkin diagram . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6022.7.3 Cartan matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6122.7.4 Simple roots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6222.7.5 Weyl group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6322.7.6 E8 root lattice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6322.7.7 Simple subalgebras of E8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63

22.8 Chevalley groups of type E8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6322.9 Subgroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6322.10Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6522.11Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6522.12References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6622.13External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66

23 F4 (mathematics) 6823.1 Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68

23.1.1 Dynkin diagram . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6823.1.2 Weyl/Coxeter group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6823.1.3 Cartan matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6823.1.4 F4 lattice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6823.1.5 Roots of F4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6923.1.6 F4 polynomial invariant . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71

23.2 Representations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7123.3 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7123.4 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71

24 Fixed-point subgroup 73

25 Formal group 7425.1 Denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7425.2 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7525.3 Lie algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7525.4 The logarithm of a commutative formal group law . . . . . . . . . . . . . . . . . . . . . . . . . . 7625.5 The formal group ring of a formal group law . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7625.6 Formal group laws as functors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7725.7 The height of a formal group law . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7725.8 Lazard ring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7725.9 Formal groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7825.10LubinTate formal group laws . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7925.11See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7925.12References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79

26 Fundamental lemma (Langlands program) 8126.1 Motivation and history . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81

vi CONTENTS

26.2 Statement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8126.3 Approaches . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8226.4 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8226.5 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8226.6 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83

27 KazhdanLusztig polynomial 8427.1 Motivation and history . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8427.2 Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8427.3 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8527.4 KazhdanLusztig conjectures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86

27.4.1 Remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8627.5 Relation to intersection cohomology of Schubert varieties . . . . . . . . . . . . . . . . . . . . . . 8727.6 Generalization to real groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8727.7 Generalization to other objects in representation theory . . . . . . . . . . . . . . . . . . . . . . . 8827.8 Combinatorial theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8827.9 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8827.10External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89

28 tale group scheme 9028.1 Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9028.2 Text and image sources, contributors, and licenses . . . . . . . . . . . . . . . . . . . . . . . . . . 91

28.2.1 Text . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9128.2.2 Images . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9228.2.3 Content license . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94

Chapter 1

(B, N) pair

In mathematics, a (B, N) pair is a structure on groups of Lie type that allows one to give uniform proofs of manyresults, instead of giving a large number of case-by-case proofs. Roughly speaking, it shows that all such groups aresimilar to the general linear group over a eld. They were invented by the mathematician Jacques Tits, and are alsosometimes known as Tits systems.

1.1 DenitionA (B, N) pair is a pair of subgroups B and N of a group G such that the following axioms hold:

G is generated by B and N. The intersection, H, of B and N is a normal subgroup of N. The groupW = N/H is generated by a set S of elements wi of order 2, for i in some non-empty set I. If wi is an element of S and w is any element ofW, then wiBw is contained in the union of BwiwB and BwB. No generator wi normalizes B.

The idea of this denition is that B is an analogue of the upper triangular matrices of the general linear groupGLn(K),H is an analogue of the diagonal matrices, and N is an analogue of the normalizer of H.The subgroup B is sometimes called the Borel subgroup, H is sometimes called the Cartan subgroup, and W iscalled theWeyl group. The pair (W,S) is a Coxeter system.The number of generators is called the rank.

1.2 Examples Suppose that G is any doubly transitive permutation group on a set X with more than 2 elements. We let B bethe subgroup of G xing a point x, and we let N be the subgroup xing or exchanging 2 points x and y. Thesubgroup H is then the set of elements xing both x and y, and W has order 2 and its nontrivial element isrepresented by anything exchanging x and y.

Conversely, if G has a (B, N) pair of rank 1, then the action of G on the cosets of B is doubly transitive. SoBN pairs of rank 1 are more or less the same as doubly transitive actions on sets with more than 2 elements.

Suppose thatG is the general linear groupGLn(K) over a eld K. We take B to be the upper triangular matrices,H to be the diagonal matrices, and N to be the monomial matrices, i.e. matrices with exactly one non-zeroelement in each row and column. There are n 1 generators wi, represented by the matrices obtained byswapping two adjacent rows of a diagonal matrix.

1

2 CHAPTER 1. (B, N) PAIR

More generally, any group of Lie type has the structure of a BN-pair.

A reductive algebraic group over a local eld has a BN-pair where B is an Iwahori subgroup.

1.3 Properties of groups with a BN pairThe map taking w to BwB is an isomorphism from the set of elements of W to the set of double cosets of B; this isthe Bruhat decomposition G = BWB.If T is a subset of S then let W(T) be the subgroup of W generated by T : we dene and G(T) = BW(T)B to be thestandard parabolic subgroup for T. The subgroups of G containing conjugates of B are the parabolic subgroups; con-jugates of B are called Borel subgroups (or minimal parabolic subgroups). These are precisely the standard parabolicsubgroups.

1.4 ApplicationsBN-pairs can be used to prove that many groups of Lie type are simple modulo their centers. More precisely, if Ghas a BN-pair such that B is a solvable group, the intersection of all conjugates of B is trivial, and the set of generatorsofW cannot be decomposed into two non-empty commuting sets, then G is simple whenever it is a perfect group. Inpractice all of these conditions except for G being perfect are easy to check. Checking that G is perfect needs someslightly messy calculations (and in fact there are a few small groups of Lie type which are not perfect). But showingthat a group is perfect is usually far easier than showing it is simple.

1.5 References Bourbaki, Nicolas (2002). Lie Groups and Lie Algebras: Chapters 46. Elements of Mathematics. Springer.ISBN 3-540-42650-7. Zbl 0983.17001. The standard reference for BN pairs.

Serre, Jean-Pierre (2003). Trees. Springer. ISBN 3-540-44237-5. Zbl 1013.20001.

Chapter 2

Adelic algebraic group

In abstract algebra, an adelic algebraic group is a semitopological group dened by an algebraic group G over anumber eld K, and the adele ring A = A(K) of K. It consists of the points of G having values in A; the denition ofthe appropriate topology is straightforward only in caseG is a linear algebraic group. In the case ofG an abelian varietyit presents a technical obstacle, though it is known that the concept is potentially useful in connection with Tamagawanumbers. Adelic algebraic groups are widely used in number theory, particularly for the theory of automorphicrepresentations, and the arithmetic of quadratic forms.In case G is a linear algebraic group, it is an ane algebraic variety in ane N-space. The topology on the adelicalgebraic groupG(A) is taken to be the subspace topology in AN , the Cartesian product of N copies of the adele ring.

2.1 IdelesAn important example, the idele group I(K), is the case of G = GL1 . Here the set of ideles (also idles /dlz/)consists of the invertible adeles; but the topology on the idele group is not their topology as a subset of the adeles.Instead, considering that GL1 lies in two-dimensional ane space as the 'hyperbola' dened parametrically by

{(t, t1)},

the topology correctly assigned to the idele group is that induced by inclusion in A2; composing with a projection, itfollows that the ideles carry a ner topology than the subspace topology from A.Inside AN , the product KN lies as a discrete subgroup. This means that G(K) is a discrete subgroup of G(A), also. Inthe case of the idele group, the quotient group

I(K)/K

is the idele class group. It is closely related to (though larger than) the ideal class group. The idele class group is notitself compact; the ideles must rst be replaced by the ideles of norm 1, and then the image of those in the idele classgroup is a compact group; the proof of this is essentially equivalent to the niteness of the class number.The study of the Galois cohomology of idele class groups is a central matter in class eld theory. Characters of theidele class group, now usually called Hecke characters, give rise to the most basic class of L-functions.

2.2 Tamagawa numbersSee also: Weil conjecture on Tamagawa numbers

For more general G, the Tamagawa number is dened (or indirectly computed) as the measure of

G(A)/G(K).

3

4 CHAPTER 2. ADELIC ALGEBRAIC GROUP

Tsuneo Tamagawa's observation was that, starting from an invariant dierential form on G, dened over K, themeasure involved was well-dened: while could be replaced by c with c a non-zero element of K, the productformula for valuations in K is reected by the independence from c of the measure of the quotient, for the productmeasure constructed from on each eective factor. The computation of Tamagawa numbers for semisimple groupscontains important parts of classical quadratic form theory.

2.3 History of the terminologyHistorically the idles were introduced by Chevalley (1936) under the name "lment idal, which is ideal elementin French, which Chevalley (1940) then abbreviated to idle following a suggestion of Hasse. (In these papers healso gave the ideles a non-Hausdor topology.) This was to formulate class eld theory for innite extensions in termsof topological groups. Weil (1938) dened (but did not name) the ring of adeles in the function eld case and pointedout that Chevalleys group of Idealelemente was the group of invertible elements of this ring. Tate (1950) dened thering of adeles as a restricted direct product, though he called its elements valuation vectors rather than adeles.Chevalley (1951) dened the ring of adeles in the function eld case, under the name repartitions. The term adle(short for additive idles, and also a French womans name) was in use shortly afterwards (Jaard 1953) and mayhave been introduced by Andr Weil. The general construction of adelic algebraic groups by Ono (1957) followedthe algebraic group theory founded by Armand Borel and Harish-Chandra.

2.4 References Chevalley, Claude (1936), Gnralisation de la thorie du corps de classes pour les extensions innies.,Journal de Mathmatiques Pures et Appliques (in French) 15: 359371, JFM 62.1153.02

Chevalley, Claude (1940), La thorie du corps de classes, Annals of Mathematics. Second Series 41: 394418, ISSN 0003-486X, JSTOR 1969013, MR 0002357

Chevalley, Claude (1951), Introduction to the Theory of Algebraic Functions of One Variable, MathematicalSurveys, No. VI, Providence, R.I.: American Mathematical Society, MR 0042164

Jaard, Paul (1953), Anneaux d'adles (d'aprs Iwasawa), Sminaire Bourbaki, Secrtariat mathmatique,Paris, MR 0157859

Ono, Takashi (1957), Sur une proprit arithmtique des groupes algbriques commutatifs, Bulletin de laSocit Mathmatique de France 85: 307323, ISSN 0037-9484, MR 0094362

Tate, John T. (1950), Fourier analysis in number elds, and Heckes zeta-functions, Algebraic Number The-ory (Proc. Instructional Conf., Brighton, 1965), Thompson, Washington, D.C., pp. 305347, ISBN 978-0-9502734-2-6, MR 0217026

Weil, Andr (1938), Zur algebraischen Theorie der algebraischen Funktionen., Journal fr Reine und Ange-wandte Mathematik (in German) 179: 129133, doi:10.1515/crll.1938.179.129, ISSN 0075-4102

2.5 External links Rapinchuk, A.S. (2001), Tamagawa number, inHazewinkel, Michiel, Encyclopedia ofMathematics, Springer,ISBN 978-1-55608-010-4

Chapter 3

Algebraic group

In algebraic geometry, an algebraic group (or group variety) is a group that is an algebraic variety, such that themultiplication and inversion operations are given by regular functions on the variety.In terms of category theory, an algebraic group is a group object in the category of algebraic varieties.

3.1 ClassesSeveral important classes of groups are algebraic groups, including:

Finite groups GL(n, C), the general linear group of invertible matrices over C Jet group Elliptic curves.

Two important classes of algebraic groups arise, that for the most part are studied separately: abelian varieties (the'projective' theory) and linear algebraic groups (the 'ane' theory). There are certainly examples that are neither onenor the other these occur for example in the modern theory of integrals of the second and third kinds such as theWeierstrass zeta function, or the theory of generalized Jacobians. But according to Chevalleys structure theorem anyalgebraic group is an extension of an abelian variety by a linear algebraic group. This is a result of Claude Chevalley:if K is a perfect eld, and G an algebraic group over K, there exists a unique normal closed subgroup H in G, suchthat H is a linear group and G/H an abelian variety.According to another basic theorem, any group in the category of ane varieties has a faithful nite-dimensionallinear representation: we can consider it to be a matrix group over K, dened by polynomials over K and with matrixmultiplication as the group operation. For that reason a concept of ane algebraic group is redundant over a eld we may as well use a very concrete denition. Note that this means that algebraic group is narrower than Lie group,when working over the eld of real numbers: there are examples such as the universal cover of the 22 special lineargroup that are Lie groups, but have no faithful linear representation. A more obvious dierence between the twoconcepts arises because the identity component of an ane algebraic group G is necessarily of nite index in G.When one wants to work over a base ring R (commutative), there is the group scheme concept: that is, a group objectin the category of schemes over R. Ane group scheme is the concept dual to a type of Hopf algebra. There is quitea rened theory of group schemes, that enters for example in the contemporary theory of abelian varieties.

3.2 Algebraic subgroupAn algebraic subgroup of an algebraic group is a Zariski closed subgroup. Generally these are taken to be connected(or irreducible as a variety) as well.

5

6 CHAPTER 3. ALGEBRAIC GROUP

Another way of expressing the condition is as a subgroup which is also a subvariety.This may also be generalized by allowing schemes in place of varieties. The main eect of this in practice, apartfrom allowing subgroups in which the connected component is of nite index > 1, is to admit non-reduced schemes,in characteristic p.

3.3 Coxeter groupsMain article: Coxeter groupFurther information: Field with one element

There are a number of analogous results between algebraic groups and Coxeter groups for instance, the number ofelements of the symmetric group is n! , and the number of elements of the general linear group over a nite eldis the q-factorial [n]q! ; thus the symmetric group behaves as though it were a linear group over the eld with oneelement. This is formalized by the eld with one element, which considers Coxeter groups to be simple algebraicgroups over the eld with one element.

3.4 See also Algebraic topology (object) Borel subgroup Tame group Morley rank CherlinZilber conjecture Adelic algebraic group Glossary of algebraic groups

3.5 Notes

3.6 References Chevalley, Claude, ed. (1958), Sminaire C. Chevalley, 1956-1958. Classication des groupes de Lie al-gbriques, 2 vols, Paris: Secrtariat Mathmatique, MR 0106966, Reprinted as volume 3 of Chevalleys col-lected works.

Humphreys, James E. (1972), Linear Algebraic Groups, Graduate Texts in Mathematics 21, Berlin, New York:Springer-Verlag, ISBN 978-0-387-90108-4, MR 0396773

Lang, Serge (1983), Abelian varieties, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90875-5 Milne, J. S., Ane Group Schemes; Lie Algebras; Lie Groups; Reductive Groups; Arithmetic Subgroups Mumford, David (1970),Abelian varieties, OxfordUniversity Press, ISBN978-0-19-560528-0, OCLC138290 Springer, Tonny A. (1998), Linear algebraic groups, Progress in Mathematics 9 (2nd ed.), Boston, MA:Birkhuser Boston, ISBN 978-0-8176-4021-7, MR 1642713

Waterhouse, William C. (1979), Introduction to ane group schemes, Graduate Texts in Mathematics 66,Berlin, New York: Springer-Verlag, ISBN 978-0-387-90421-4

Weil, Andr (1971), Courbes algbriques et varits abliennes, Paris: Hermann, OCLC 322901

Chapter 4

Algebraic torus

In mathematics, an algebraic torus is a type of commutative ane algebraic group. These groups were named byanalogy with the theory of tori in Lie group theory (see maximal torus). The theory of tori is in some sense oppositeto that of unipotent groups, because tori have rich arithmetic structure but no deformations.

4.1 DenitionGiven a base scheme S, an algebraic torus over S is dened to be a group scheme over S that is fpqc locally isomorphicto a nite product of copies of the multiplicative group schemeGm/S over S. In other words, there exists a faithfullyat map X S such that any point in X has a quasi-compact open neighborhood U whose image is an open anesubscheme of S, such that base change to U yields a nite product of copies of GL,U = Gm/U. One particularlyimportant case is when S is the spectrum of a eld K, making a torus over S an algebraic group whose extension tosome nite separable extension L is a nite product of copies of Gm/L. In general, the multiplicity of this product(i.e., the dimension of the scheme) is called the rank of the torus, and it is a locally constant function on S.If a torus is isomorphic to a product of multiplicative groupsGm/S, the torus is said to be split. All tori over separablyclosed elds are split, and any non-separably closed eld admits a non-split torus given by restriction of scalars over aseparable extension. Restriction of scalars over an inseparable eld extension will yield a commutative group schemethat is not a torus.

4.2 WeightsOver a separably closed eld, a torus T admits two primary invariants. The weight lattice X(T ) is the group ofalgebraic homomorphisms T G, and the coweight lattice X(T ) is the group of algebraic homomorphisms G T. These are both free abelian groups whose rank is that of the torus, and they have a canonical nondegeneratepairingX(T )X(T )! Z given by (f; g) 7! deg(f g) , where degree is the number n such that the compositionis equal to the nth power map on the multiplicative group. The functor given by taking weights is an antiequivalenceof categories between tori and free abelian groups, and the coweight functor is an equivalence. In particular, mapsof tori are characterized by linear transformations on weights or coweights, and the automorphism group of a torusis a general linear group over Z. The quasi-inverse of the weights functor is given by a dualization functor from freeabelian groups to tori, dened by its functor of points as:

D(M)S(X) := Hom(M;Gm;S(X)):

This equivalence can be generalized to pass between groups of multiplicative type (a distinguished class of formalgroups) and arbitrary abelian groups, and such a generalization can be convenient if one wants to work in a well-behaved category, since the category of tori doesn't have kernels or ltered colimits.When a eld K is not separably closed, the weight and coweight lattices of a torus over K are dened as the respectivelattices over the separable closure. This induces canonical continuous actions of the absolute Galois group of K on

7

8 CHAPTER 4. ALGEBRAIC TORUS

the lattices. The weights and coweights that are xed by this action are precisely the maps that are dened over K. Thefunctor of taking weights is an antiequivalence between the category of tori over K with algebraic homomorphismsand the category of nitely generated torsion free abelian groups with an action of the absolute Galois group of K.Given a nite separable eld extension L/K and a torus T over L, we have a Galois module isomorphism

X(ResL/KT ) = IndGKGLX(T ):If T is the multiplicative group, then this gives the restriction of scalars a permutation module structure. Tori whoseweight lattices are permutation modules for the Galois group are called quasi-split, and all quasi-split tori are niteproducts of restrictions of scalars.For a general base scheme S, weights and coweights are dened as fpqc sheaves of free abelian groups on S. Theseprovide representations of fundamental groupoids of the base with respect the fpqc topology. If the torus is locallytrivializable with respect to a weaker topology such as the etale topology, then the sheaves of groups descend to thesame topologies and these representations factor through the respective quotient groupoids. In particular, an etalesheaf gives rise to a quasi-isotrivial torus, and if S is locally noetherian and normal (more generally, geometricallyunibranched), the torus is isotrivial. As a partial converse, a theorem of Grothendieck asserts that any torus of nitetype is quasi-isotrivial, i.e., split by an etale surjection.Given a rank n torus T over S, a twisted form is a torus over S for which there exists a fpqc covering of S for whichtheir base extensions are isomorphic, i.e., it is a torus of the same rank. Isomorphism classes of twisted forms ofa split torus are parametrized by nonabelian at cohomology H1(S;GLn(Z)) , where the coecient group forms aconstant sheaf. In particular, twisted forms of a split torus T over a eld K are parametrized by elements of the Galoiscohomology pointed setH1(GK ; GLn(Z))with trivial Galois action on the coecients. In the one-dimensional case,the coecients form a group of order two, and isomorphism classes of twisted forms of G are in natural bijectionwith separable quadratic extensions of K.Since taking a weight lattice is an equivalence of categories, short exact sequences of tori correspond to short exactsequences of the corresponding weight lattices. In particular, extensions of tori are classied by Ext1 sheaves. Theseare naturally isomorphic to the at cohomology groupsH1(S;HomZ(X(T1); X(T2))) . Over a eld, the extensionsare parametrized by elements of the corresponding Galois cohomology group.

4.3 ExampleLet S be the restriction of scalars of G over the eld extension C/R. This is a real torus whose real points formthe Lie group of nonzero complex numbers. Restriction of scalars gives a canonical embedding of S into GL2, andcomposition with determinant gives an algebraic homomorphism of tori from S to G, called the norm. The kernelof this map is a nonsplit rank one torus called the norm torus of the extension C/R, and its real points form the Liegroup U(1), which is topologically a circle. It has no multiplicative subgroups (equivalently, the weight lattice has nononzero Galois xed points), and such tori are called anisotropic. Its weight lattice is a copy of the integers, with thenontrivial Galois action that sends complex conjugation to the minus one map.

4.4 IsogeniesAn isogeny is a surjective morphism of tori whose kernel is a nite at group scheme. Equivalently, it is an injectionof the corresponding weight lattices with nite cokernel. The degree of the isogeny is dened to be the order of thekernel, i.e., the rank of its structure sheaf as a locally free OS -module, and it is a locally constant function on thebase. One can also dene the degree to be order of the cokernel of the corresponding linear transformation on weightlattices. Two tori are called isogenous if there exists an isogeny between them. An isogeny is an isomorphism if andonly if its degree is one. Note that if S doesn't have a map to Spec Q, then the kernel may not be smooth over S.Given an isogeny f of degree n, one can prove using linear algebra on weights and faithfully at descent that thereexists a dual isogeny g such that gf is the nth power map on the source torus. Therefore, isogeny is an equivalencerelation on the category of tori. T. Ono pointed out that two tori over a eld are isogenous if and only if their weightlattices are rationally equivalent as Galois modules, where rational equivalence means we tensor over Z with Q andget equivalent vector spaces with Galois action. This extends naturally from Galois modules to fpqc sheaves, whereZ and Q are constant sheaves rather than plain groups.

4.5. ARITHMETIC INVARIANTS 9

4.5 Arithmetic invariantsIn his work on Tamagawa numbers, T. Ono introduced a type of functorial invariants of tori over nite separableextensions of a chosen eld k. Such an invariant is a collection of positive real-valued functions fK on isomorphismclasses of tori over K, as K runs over nite separable extensions of k, satisfying three properties:

1. Multiplicativity: Given two tori T1 and T2 over K, fK(T1 T2) = fK(T1) fK(T2)

2. Restriction: For a nite separable extension L/K, fL evaluated on an L torus is equal to fK evaluated on itsrestriction of scalars to K.

3. Projective triviality: If T is a torus over K whose weight lattice is a projective Galois module, then fK(T) = 1.

T. Ono showed that the Tamagawa number of a torus over a number eld is such an invariant. Furthermore, he showedthat it is a quotient of two cohomological invariants, namely the order of the groupH1(Gk; X(T )) = Ext1(T;Gm)(sometimes mistakenly called the Picard group of T, although it doesn't classify G torsors over T), and the order ofthe TateShafarevich group.The notion of invariant given above generalizes naturally to tori over arbitrary base schemes, with functions takingvalues in more general rings. While the order of the extension group is a general invariant, the other two invariantsabove do not seem to have interesting analogues outside the realm of fraction elds of one-dimensional domains andtheir completions.

4.6 See also Torus based cryptography Toric geometry

4.7 References A. Grothendieck, SGA 3 Exp. VIIIX T. Ono, On Tamagawa Numbers T. Ono, On the Tamagawa number of algebraic tori Annals of Mathematics 78 (1) 1963.

Chapter 5

American Mathematical Society

The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to theinterests of mathematical research and scholarship, and serves the national and international community through itspublications, meetings, advocacy and other programs.The society is one of the four parts of the Joint Policy Board forMathematics (JPBM) and amember of the ConferenceBoard of the Mathematical Sciences (CBMS).

5.1 HistoryIt was founded in 1888 as the New York Mathematical Society, the brainchild of Thomas Fiske, who was impressedby the London Mathematical Society on a visit to England. John Howard Van Amringe was the rst president andFiske became secretary.[1] The society soon decided to publish a journal, but ran into some resistance, due to concernsabout competing with theAmerican Journal ofMathematics. The result was theBulletin of the NewYorkMathematicalSociety, with Fiske as editor-in-chief. The de facto journal, as intended, was inuential in increasing membership.The popularity of the Bulletin soon led to Transactions of the American Mathematical Society and Proceedings of theAmerican Mathematical Society, which were also de facto journals. In 1891 Charlotte Scott became the rst womanto join the society. The society reorganized under its present name and became a national society in 1894, and thatyear Scott served as the rst woman on the rst Council of the AmericanMathematical Society. In 1951, the societysheadquarters moved from New York City to Providence, Rhode Island. In 1954 the society called for the creationof a new teaching degree, a Doctor of Arts in Mathematics, similar to a PhD but without a research thesis.[2] In the1970s, as reported in A Brief History of the Association for Women in Mathematics: The Presidents Perspectives,by Lenore Blum, In those years the AMS [American Mathematical Society] was governed by what could only becalled an old boys network, closed to all but those in the inner circle. Mary challenged that by sitting in on theCouncil meeting in Atlantic City. When she was told she had to leave, she refused saying she would wait until thepolice came. (Mary relates the story somewhat dierently: When she was told she had to leave, she responded shecould nd no rules in the by-laws restricting attendance at Council meetings. She was then told it was by gentlemensagreement. Naturally Mary replied Well, obviously I'm no gentleman.) After that time, Council meetings wereopen to observers and the process of democratization of the Society had begun. [3] Julia Robinson was the rstfemale president of the American Mathematical Society (19831984), but was unable to complete her term as shewas suering from leukemia. [4] The society also added an oce in Ann Arbor, Michigan in 1984 and an oce inWashington, D.C. in 1992. In 1988 the Journal of the American Mathematical Society was created, with the intentof being the agship journal of the AMS.

5.2 MeetingsThe AMS, along with the Mathematical Association of America and other organizations, holds the largest annualresearch mathematics meeting in the world, the Joint Mathematics Meeting held in early January. The 2013 JointMathematics Meeting in San Diego drew over 6,600 attendees. Each of the four regional sections of the AMS(Central, Eastern, Southeastern and Western) hold meetings in the spring and fall of each year. The society alsoco-sponsors meetings with other international mathematical societies.

10

5.3. FELLOWS 11

5.3 FellowsSee also: Category:Fellows of the American Mathematical Society

TheAMS selects an annual class of Fellowswho havemade outstanding contributions to the advancement ofmathematics.[5]

5.4 PublicationsThe AMS publishes Mathematical Reviews, a database of reviews of mathematical publications, various journals,and books. In 1997 the AMS acquired the Chelsea Publishing Company, which it continues to use as an imprint.Journals:

General Bulletin of the American Mathematical Society - published quarterly, Electronic Research Announcements of the American Mathematical Society - online only, Journal of the American Mathematical Society - published quarterly, Memoirs of the American Mathematical Society - published six times per year, Notices of the American Mathematical Society - published monthly, one of the most widely read math-ematical periodicals,

Proceedings of the American Mathematical Society - published monthly, Transactions of the American Mathematical Society - published monthly,

Subject-specic Mathematics of Computation - published quarterly, Mathematical Surveys and Monographs Conformal Geometry and Dynamics - online only, Representation Theory - online only.

Blogs:

Blog on Blogs e-Mentoring Network in the Mathematical Sciences AMS Graduate Student Blog PhD + Epsilon On the Market

5.5 PrizesSome prizes are awarded jointly with other mathematical organizations. See specic articles for details.

Bcher Memorial Prize Cole Prize Frank and Brennie Morgan Prize for Outstanding Research in Mathematics by an Undergraduate Student Fulkerson Prize Leroy P. Steele Prizes Norbert Wiener Prize in Applied Mathematics Oswald Veblen Prize in Geometry

12 CHAPTER 5. AMERICAN MATHEMATICAL SOCIETY

5.6 TypesettingThe AMS was an early advocate of the typesetting program TeX, requiring that contributions be written in it andproducing its own packages AMS-TeX and AMS-LaTeX. TeX and LaTeX are now ubiquitous in mathematical pub-lishing.

5.7 PresidentsThe AMS is led by the President, who is elected for a two-year term, and cannot serve for two consecutive terms.[6]

5.7.1 18881900 John Howard Van Amringe (New York Mathematical Society) (18881890) Emory McClintock (New York Mathematical Society) (189194) George Hill (189596) Simon Newcomb (189798) Robert Woodward (18991900)

5.7.2 19011950 Eliakim Moore (190102) Thomas Fiske (190304) William Osgood (190506) Henry White (190708) Maxime Bcher (190910) Henry Fine (191112) Edward Van Vleck (191314) Ernest Brown (191516) Leonard Dickson (191718) Frank Morley (191920) Gilbert Bliss (192122) Oswald Veblen (192324) George Birkho (192526) Virgil Snyder (192728) Earle Raymond Hedrick (192930) Luther Eisenhart (193132) Arthur Byron Coble (193334) Solomon Lefschetz (193536) Robert Moore (193738) Grith C. Evans (193940)

5.7. PRESIDENTS 13

Marston Morse (194142)

Marshall Stone (194344)

Theophil Hildebrandt (194546)

Einar Hille (194748)

Joseph L. Walsh (194950)

5.7.3 19512000

John von Neumann (195152)

Gordon Whyburn (195354)

Raymond Wilder (195556)

Richard Brauer (195758)

Edward McShane (195960)

Deane Montgomery (196162)

Joseph Doob (196364)

Abraham Albert (196566)

Charles B. Morrey, Jr. (196768)

Oscar Zariski (196970)

Nathan Jacobson (197172)

Saunders Mac Lane (197374)

Lipman Bers (197576)

R. H. Bing (197778)

Peter Lax (197980)

Andrew Gleason (198182)

Julia Robinson (198384)

Irving Kaplansky (198586)

George Mostow (198788)

William Browder (198990)

Michael Artin (199192)

Ronald Graham (199394)

Cathleen Morawetz (199596)

Arthur Jae (199798)

Felix Browder (19992000)

14 CHAPTER 5. AMERICAN MATHEMATICAL SOCIETY

5.7.4 2001present Hyman Bass (200102) David Eisenbud (200304) James Arthur (200506) James Glimm (200708) George E. Andrews (200910) Eric M. Friedlander (201112) David Vogan (201314) Robert L. Bryant (201516)

5.8 See also Mathematical Association of America European Mathematical Society London Mathematical Society List of Mathematical Societies

5.9 References[1] Archibald, Raymond Clare (1939). History of the American Mathematical Society, 1888-1938. Bull. Amer. Math. Soc.

45 (1): 3146. doi:10.1090/s0002-9904-1939-06908-5.

[2] Journal of Proceedings and Addresses of the Annual Conference 1960. Association of Graduate Schools

[3] A Brief History of the Association for Women in Mathematics (from Notices): How it was. Awm-math.org. Retrieved2015-05-28.

[4] http://www.encyclopedia.com/topic/Julia_Bowman_Robinson.aspx

[5] Fellows of the American Mathematical Society. Retrieved 21 May 2013.

[6] Bylaws (as amended December 2003)". American Mathematical Society.

5.10 External links The AMS website A Semicentennial History of the American Mathematical Society, 18881938 by Raymond Clare Archibald MacTutor: The New York Mathematical Society MacTutor: The American Mathematical Society

This article incorporates material from American Mathematical Society on PlanetMath, which is licensed under theCreative Commons Attribution/Share-Alike License.

Chapter 6

Approximation in algebraic groups

In algebraic group theory, approximation theorems are an extension of the Chinese remainder theorem to algebraicgroups G over global elds k.

6.1 UseThey give conditions for the group G(k) to be dense in a restricted direct product of groups of the form G(ks) for ksa completion of k at the place s. In weak approximation theorems the product is over a nite set of places s, while instrong approximation theorems the product is over all but a nite set of places.

6.2 HistoryEichler (1938) proved strong approximation for some classical groups. Strong approximation was established in the1960s and 1970s, for semisimple simply-connected algebraic groups over global elds. The results for number eldsare due to Kneser (1966) and Platonov (1969); the function eld case, over nite elds, is due to Margulis (1977) andPrasad (1977). In the number eld case Platonov also proved a related a result over local elds called the KneserTitsconjecture.

6.3 Formal denitions and propertiesLet G be a linear algebraic group over a global eld k, and A the adele ring of k. If S is a non-empty nite set ofplaces of k, then we write AS for the ring of S-adeles and AS for the product of the completions ks, for s in the niteset S; thus A = AS AS. For any choice of S, G(k) embeds in G(AS) and G(AS).The question asked in weak approximation is whether the embedding of G(k) in G(AS) has dense image. If the groupG is connected and k-rational, then it satises weak approximation with respect to any set S (Platonov, Rapinchuk1994, p.402). More generally, for any connected group G, there is a nite set T of nite places of k such that Gsatises weak approximation with respect to any set S that is disjoint with T (Platonov, Rapinchuk 1994, p.415). Inparticular, if k is an algebraic number eld then any group G satises weak approximation with respect to the set S =S of innite places.The question asked in strong approximation is whether the embedding of G(k) in G(AS) has dense image, or equiva-lently whether the set

G(k)G(AS)

is a dense subset in G(A). The main theorem of strong approximation (Kneser 1966, p.188) states that a non-solvablelinear algebraic group G over a global eld k has strong approximation for the nite set S if and only if its radical Nis unipotent, G/N is simply connected, and each almost simple component H of G/N has a non-compact componentHs for some s in S (depending on H).

15

16 CHAPTER 6. APPROXIMATION IN ALGEBRAIC GROUPS

The proofs of strong approximation depended on the Hasse principle for algebraic groups, which for groups of typeE8 was only proved several years later.Weak approximation holds for a broader class of groups, including adjoint groups and inner forms of Chevalleygroups, showing that the strong approximation property is restrictive.

6.4 See also Superstrong approximation

6.5 References Eichler, Martin (1938), Allgemeine Kongruenzklasseneinteilungen der Ideale einfacher Algebren ber alge-braischen Zahlkrpern und ihre L-Reihen., Journal fr Reine und Angewandte Mathematik (in German) 179:227251, doi:10.1515/crll.1938.179.227, ISSN 0075-4102

Kneser, Martin (1966), Strong approximation, Algebraic Groups and Discontinuous Subgroups (Proc. Sym-pos. Pure Math., Boulder, Colo., 1965), Providence, R.I.: American Mathematical Society, pp. 187196, MR0213361

Margulis, G. A. (1977), Cobounded subgroups in algebraic groups over local elds, Akademija Nauk SSSR.Funkcional'nyi Analiz i ego Priloenija 11 (2): 4557, 95, ISSN 0374-1990, MR 0442107

Platonov, V. P. (1969), The problem of strong approximation and the KneserTits hypothesis for algebraicgroups, Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 33: 12111219, ISSN 0373-2436, MR0258839

Platonov, Vladimir; Rapinchuk, Andrei (1994), Algebraic groups and number theory. (Translated from the1991 Russian original by Rachel Rowen.), Pure and Applied Mathematics 139, Boston, MA: Academic Press,Inc., ISBN 0-12-558180-7, MR 1278263

Prasad, Gopal (1977), Strong approximation for semi-simple groups over function elds, Annals of Mathe-matics. Second Series 105 (3): 553572, ISSN 0003-486X, JSTOR 1970924, MR 0444571

Chapter 7

Arason invariant

In mathematics, the Arason invariant is a cohomological invariant associated to a quadratic form of even rank andtrivial discriminant and Cliord invariant over a eld k of characteristic not 2, taking values in H3(k,Z/2Z). It wasintroduced by (Arason 1975, Theorem 5.7).The Rost invariant is a generalization of the Arason invariant to other algebraic groups.

7.1 DenitionSuppose thatW(k) is theWitt ring of quadratic forms over a eld k and I is the ideal of forms of even dimension. TheArason invariant is a group homomorphism from I3 to the Galois cohomology group H3(k,Z/2Z). It is determinedby the property that on the 8-dimensional diagonal form with entries 1, a, b, ab, -c, ac, bc, -abc (the 3-fold Psterforma,b,c) it is given by the cup product of the classes of a, b, c in H1(k,Z/2Z) = k*/k*2. The Arason invariantvanishes on I4, and it follows from the Milnor conjecture proved by Voevodsky that it is an isomorphism from I3/I4to H3(k,Z/2Z).

7.2 References Arason, Jn Kr. (1975), Cohomologische Invarianten quadratischer Formen, J. Algebra (in German) 36 (3):448491, doi:10.1016/0021-8693(75)90145-3, ISSN 0021-8693, MR 0389761, Zbl 0314.12104

Esnault, Hlne; Kahn, Bruno; Levine, Marc; Viehweg, Eckart (1998), The Arason invariant and mod 2algebraic cycles, J. Amer. Math. Soc. 11 (1): 73118, doi:10.1090/S0894-0347-98-00248-3, ISSN 0894-0347, MR 1460391, Zbl 1025.11009

Garibaldi, Skip; Merkurjev, Alexander; Serre, Jean-Pierre (2003), Cohomological invariants in Galois coho-mology, University Lecture Series 28, Providence, RI: American Mathematical Society, ISBN 0-8218-3287-5,MR 1999383, Zbl 1159.12311

Knus, Max-Albert; Merkurjev, Alexander; Rost, Markus; Tignol, Jean-Pierre (1998), The book of involutions,Colloquium Publications 44, With a preface by J. Tits, Providence, RI: American Mathematical Society, p.436, ISBN 0-8218-0904-0, Zbl 0955.16001

17

Chapter 8

Arithmetic group

In mathematics, an arithmetic group is a subgroup of a linear algebraic group with simple algebraic properties.

8.1 Formal denitionAn arithmetic group (arithmetic subgroup) in a linear algebraic groupG dened over a number eld K is a subgroup of G(K) that is commensurable with G(O), where O is the ring of integers of K. Here two subgroups A and B of agroup are commensurable when their intersection has nite index in each of them. It can be shown that this conditiondepends only on G, not on a given matrix representation of G.

8.2 ExamplesExamples of arithmetic groups include the groups GLn(Z). The idea of arithmetic group is closely related to that oflattice in a Lie group. Lattices in that sense tend to be arithmetic, except in well-dened circumstances.

8.3 HistoryThe exact relationship of arithmetic groups and lattices in Lie groups was established by the work of Margulis onsuperrigidity. The general theory of arithmetic groups was developed by Armand Borel and Harish-Chandra; thedescription of their fundamental domains was in classical terms the reduction theory of algebraic forms.

8.4 References Hazewinkel, Michiel, ed. (2001), Arithmetic group, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

18

Chapter 9

Borel subgroup

In the theory of algebraic groups, aBorel subgroup of an algebraic groupG is amaximal Zariski closed and connectedsolvable algebraic subgroup. For example, in the group GLn (n x n invertible matrices), the subgroup of invertibleupper triangular matrices is a Borel subgroup.For groups realized over algebraically closed elds, there is a single conjugacy class of Borel subgroups.Borel subgroups are one of the two key ingredients in understanding the structure of simple (more generally, reductive)algebraic groups, in Jacques Tits' theory of groups with a (B,N) pair. Here the group B is a Borel subgroup and N isthe normalizer of a maximal torus contained in B.The notion was introduced by Armand Borel, who played a leading role in the development of the theory of algebraicgroups.

9.1 Parabolic subgroups

Subgroups between a Borel subgroup B and the ambient group G are called parabolic subgroups. Parabolic sub-groups P are also characterized, among algebraic subgroups, by the condition thatG/P is a complete variety. Workingover algebraically closed elds, the Borel subgroups turn out to be the minimal parabolic subgroups in this sense.Thus B is a Borel subgroup when the homogeneous space G/B is a complete variety which is as large as possible.For a simple algebraic group G, the set of conjugacy classes of parabolic subgroups is in bijection with the set of allsubsets of nodes of the corresponding Dynkin diagram; the Borel subgroup corresponds to the empty set and G itselfcorresponding to the set of all nodes. (In general each node of the Dynkin diagram determines a simple negativeroot and thus a one-dimensional 'root group' of G---a subset of the nodes thus yields a parabolic subgroup, generatedby B and the corresponding negative root groups. Moreover any parabolic subgroup is conjugate to such a parabolicsubgroup.)

9.2 Lie algebra

For the special case of a Lie algebra g with a Cartan subalgebra h , given an ordering of h , the Borel subalgebra is thedirect sum of h and the weight spaces of g with positive weight. A Lie subalgebra of g containing a Borel subalgebrais called a parabolic Lie algebra.

9.3 See also

Hyperbolic group

19

20 CHAPTER 9. BOREL SUBGROUP

9.4 References Gary Seitz (1991). Algebraic Groups. In B. Hartley et al. Finite and Locally Finite Groups. pp. 4570. J. Humphreys (1972). Linear Algebraic Groups. New York: Springer. ISBN 0-387-90108-6. A. Borel (2001). Essays in the History of Lie Groups and Algebraic Groups. Providence RI: AMS. ISBN0-8218-0288-7.

9.5 External links Popov, V.L. (2001), Parabolic subgroup, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer,ISBN 978-1-55608-010-4

Platonov, V.P. (2001), Borel subgroup, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer,ISBN 978-1-55608-010-4

Chapter 10

Borelde Siebenthal theory

In mathematics, Borelde Siebenthal theory describes the closed connected subgroups of a compact Lie group thathavemaximal rank, i.e. contain a maximal torus. It is named after the Swiss mathematicians Armand Borel and Jeande Siebenthal who developed the theory in 1949. Each such subgroup is the identity component of the centralizer ofits center. They can be described recursively in terms of the associated root system of the group. The subgroups forwhich the corresponding homogeneous space has an invariant complex structure correspond to parabolic subgroupsin the complexication of the compact Lie group, a reductive algebraic group.

10.1 Connected subgroups of maximal rank

Let G be connected compact Lie group with maximal torus T. Hopf showed that the centralizer of a torus S T isa connected closed subgroup containing T, so of maximal rank. Indeed, if x is in CG(S), there is a maximal toruscontaining both S and x and it is contained in CG(S).[1]

Borel and de Siebenthal proved that the connected closed subgroups of maximal rank are precisely the identity com-ponents of the centralizers of their centers.[2]

Their result relies on a fact from representation theory. The weights of an irreducible representation of a connectedcompact semisimple group K with highest weight can be easily described (without their multiplicities): they areprecisely the saturation under the Weyl group of the dominant weights obtained by subtracting o a sum of simpleroots from . In particular, if the irreducible representation is trivial on the center of K (a nite Abelian group), 0 isa weight.[3]

To prove the characterization of Borel and de Siebenthal, let H be a closed connected subgroup of G containing Twith center Z. The identity component L of CG(Z) contains H. If it were strictly larger, the restriction of the adjointrepresentation of L to H would be trivial on Z. Any irreducible summand, orthogonal to the Lie algebra of H, wouldprovide non-zero weight zero vectors for T / Z H / Z, contradicting the maximality of the torus T / Z in L / Z.[4]

10.2 Maximal connected subgroups of maximal rank

Borel and de Siebenthal classied the maximal closed connected subgroups of maximal rank of a connected compactLie group.The general classication of connected closed subgroups of maximal rank can be reduced to this case, because anyconnected subgroup of maximal rank is contained in a nite chain of such subgroups, each maximal in the next one.Maximal subgroups are the identity components of any element of their center not belonging to the center of thewhole group.The problem of determining the maximal connected subgroups of maximal rank can be further reduced to the casewhere the compact Lie group is simple. In fact the Lie algebra g of a connected compact Lie group G splits as adirect sum of the ideals

21

22 CHAPTER 10. BORELDE SIEBENTHAL THEORY

g = z g1 gm;where z is the center and the other factors gi are simple. If T is a maximal torus, its Lie algebra t has a correspondingsplitting

t = z t1 tm;where ti is maximal abelian in gi . If H is a closed connected of G containing T with Lie algebra h , the complexi-cation of h is the direct sum of the complexication of t and a number of one-dimensional weight spaces, each ofwhich lies in the complexication of a factor gi . Thus if

hi = h \ gi;then

h = z h1 hm:If H is maximal, all but one of the hi 's coincide with gi and the remaining one is maximal and of maximal rank.For that factor, the closed connected subgroup of the corresponding simply connected simple compact Lie group ismaximal and of maximal rank.[5]

Let G be a connected simply connected compact simple Lie group with maximal torus T. Let g be the Lie algebra ofG and t that of T. Let be the corresponding root system. Choose a set of positive roots and corresponding simpleroots 1, ..., n. Let 0 the highest root in gC and write

0 = m11 + +mnnwith mi 1. (The number of mi equal to 1 is equal to |Z| 1, where Z is the center of G.)TheWeyl alcove is dened by

A = fT 2 t : 1(T ) 0; : : : ; n(T ) 0; 0(T ) 1g:lie Cartan shouwed that it is a fundamental domain for the ane Weyl group. If G1 = G / Z and T1 = T / Z, itfollows that the exponential mapping from g to G1 carries 2A onto T1.The Weyl alcove A is a simplex with vertices at

v0 = 0; vi = m1i Xi;

where i(Xj) = ij.The main result of Borel and de Siebenthal is as follows.THEOREM. The maximal connected subgroups of maximal rank in G1 up to conjugacy have the form CG1 (Xi) for mi = 1 CG1(vi) for mi a prime.The structure of the corresponding subgroup H1 can be described in both cases. It is semisimple in the second casewith a system of simple roots obtained by replacing i by 0. In the rst case it is the direct product of the circlegroup generated by Xi and a semisimple compact group with a system of simple roots obtained by omitting i.This result can be rephrased in terms of the extended Dynkin diagram of g which adds an extra node for the highestroot as well as the labelsmi. The maximal subalgebras h of maximal rank are either non-semisimple or semimsimple.The non-semisimple ones are obtained by deleting two nodes from the extended diagram with coecient one. Thecorresponding unlabelled diagram gives the Dynkin diagram semisimple part of h , the other part being a one-dimensional factor. The Dynkin diagrams for the semisimple ones are obtained by removing one node with coecienta prime. This leads to the following possibilities:

10.3. CLOSED SUBSYSTEMS OF ROOTS 23

An: Ap A n p T (non-semisimple)

Bn: Dn or Bp Dn p (semisimple), Bn T (non-semisimple)

Cn: Cp Cn p (SS), An - T (NSS)

Dn: Dp Dn - p (SS), Dn - T, A- T (NSS)

E6: A1 A5, A2 A2 A2 (SS), D5 T (NSS)

E7: A1 D6, A2 A5, A7 (SS), E6 T (NSS)

E8: D8, A8, A4 A4, E6 A2, E7 A1 (SS)

F4: B4, A2 A2, A1 C3 (SS)

G2: A2, A1 A1 (SS)

All the corresponding homogeneous spaces are symmetric, since the subalgebra is the xed point algebra of an innerautomorphism of period 2, apart fromG2/A2, F4/A2A2, E6/A2A2A2, E7/A2A5 and all the E8 spaces other thanE8/D8 and E8/E7A1. In all these exceptional cases the subalgebra is the xed point algebra of an inner automorphismof period 3, except for E8/A4A4 where the automorphism has period 5. The homogeneous spaces are then calledweakly symmetric spaces.To prove the theorem, note that H1 is the identity component of the centralizer of an element exp T with T in 2 A.Stabilizers increase in moving from a subsimplex to an edge or vertex, so T either lies on an edge or is a vertex. Ifit lies on an edge than that edge connects 0 to a vertex vi with mi = 1, which is the rst case. If T is a vertex vi andmi has a non-trivial factor m, then mT has a larger stabilizer than T, contradicting maximality. So mi must be prime.Maximality can be checked directly using the fact that an intermediate subgroup K would have the same form, so thatits center would be either (a) T or (b) an element of prime order. If the center of H1 is 'T, each simple root with miprime is already a root of K, so (b) is not possible; and if (a) holds, i is the only root that could be omitted with mj= 1, so K = H1. If the center of H1 is of prime order, j is a root of K for mj = 1, so that (a) is not possible; if (b)holds, then the only possible omitted simple root is i, so that K = H1.[6]

10.3 Closed subsystems of rootsA subset 1 is called a closed subsystem if whenever and lie in 1 with + in , then + lies in 1.Two subsystems 1 and 2 are said to be equivalent if ( 1) = 2 for some in W = NG(T) / T, the Weyl group.Thus for a closed subsystem

tC M21

g

is a subalgebra of gC containing tC ; and conversely any such subalgebra gives rise to a closed subsystem. Borel andde Siebenthal classied the maximal closed subsystems up to equivalence.[7]

THEOREM. Up to equivalence the closed root subsystems are given by mi = 1 with simple roots all j with j i or by mi > 1 prime with simple roots 0 and all j with j i.This result is a consequence of the Borelde Siebenthal theorem for maximal connected subgroups of maximal rank.It can also be proved directly within the theory of root systems and reection groups.[8]

10.4 Applications to symmetric spaces of compact typeLet G be a connected compact semisimple Lie group, an automorphism of G of period 2 and G the xed pointsubgroup of . Let K be a closed subgroup of G lying between G and its identity component. The compact homo-geneous space G / K is called a symmetric space of compact type. The Lie algebra g admits a decomposition

24 CHAPTER 10. BORELDE SIEBENTHAL THEORY

g = k p;where k , the Lie algebra of K, is the +1 eigenspace of and p the 1 eigenspace. If k contains no simple summandof g , the pair ( g , ) is called an orthogonal symmetric Lie algebra of compact type.[9]

Any inner product on g , invariant under the adjoint representation and , induces a Riemannian structure on G /K, with G acting by isometries. Under such an inner product, k and p are orthogonal. G / K is then a Riemanniansymmetric space of compact type.[10]

The symmetric space or the pair ( g , ) is said to be irreducible if the adjoint action of k (or equivalently the identitycomponent of G or K) is irreducible on p . This is equivalent to the maximality of k as a subalgebra.[11]

In fact there is a one-one correspondence between intermediate subalgebras h and K-invariant subspaces p1 of p givenby

h = k p1; p1 = h \ p:Any orthogonal symmetric algebra ( g , ) can be decomposed as an (orthogonal) direct sum of irreducible orthogonalsymmetric algebras.[12]

In fact g can be written as a direct sum of simple algebras

g = Ni=1gi;which are permuted by the automorphism . If leaves an algebra g1 invariant, its eigenspace decomposition coin-cides with its intersections with k and p . So the restriction of to g1 is irreducible. If interchanges two simplesummands, the corresponding pair is isomorphic to a diagonal inclusion of K in K K, with K simple, so is alsoirreducible. The involution just swaps the two factors (x,y)=(y,x).This decomposition of an orthogonal symmetric algebra yields a direct product decomposition of the correspondingcompact symmetric spaceG / K whenG is simply connected. In this case the xed point subgroupG is automaticallyconnected (this is no longer true, even for inner involutions, if G is not simply connected).[13] For simply connectedG, the symmetric space G / K is the direct product of the two kinds of symmetric spaces Gi / Ki or H H / H.Non-simply connected symmetric space of compact type arise as quotients of the sinply connected space G / K bynite Abelian groups. In fact if

G/K = G1/K1 Gs/Ks;let

i = Z(Gi)/Z(Gi) \Kiand let i be the subgroup of i xed by all automorphisms ofGi preserving Ki (i.e. automorphisms of the orthogonalsymmetric Lie algebra). Then

= 1 sis a nite Abelian group acting freely on G / K. The non-simply connected symmetric spaces arise as quotients bysubgroups of . The subgroup can be identied with the fundamental group, which is thus a nite Abelian group.[14]

The classication of compact symmetric spaces or pairs ( g , ) thus reduces to the case whereG is a connected simplecompact Lie group. There are two possibilities: either the automorphism is inner, in which case K has maximalrank and the theory of Borel and de Siebenthal applies; or the automorphism is outer, so that, because preserves amaximal torus, the rank of K is less than the rank ofG and corresponds to an automorphism of the Dynkin diagrammodulo inner automorphisms. Wolf (2010) determines directly all possible in the latter case: they correspond tothe symmetric spaces SU(n)/SO(n), SO(a+b)/SO(a)SO(b) (a and b odd), E6/F4 and E6/C4.[15]

Victor Kac noticed that all nite order automorphisms of a simple Lie algebra can be determined using the corre-sponding ane Lie algebra: that classication, which leads to an alternative method of classifying pairs ( g , ), isdescribed in Helgason (1978).

10.5. APPLICATIONS TO HERMITIAN SYMMETRIC SPACES OF COMPACT TYPE 25

10.5 Applications to hermitian symmetric spaces of compact typeThe equal rank case with K non-semisimple corresponds exactly to the Hermitian symmetric spacesG / K of compacttype.In fact the symmetric space has an almost complex structure preserving the Riemannian metric if and only if there isa linear map J with J2 = I on p which preserves the inner product and commutes with the action of K. In this case Jlies in k and exp Jt forms a one-parameter group in the center of K. This follows because if A, B, C, D lie in p , thenby the invariance of the inner product on g [16]

([[A;B]; C]; D) = ([A;B]; [C;D]) = ([[C;D]; B]; A):

Replacing A and B by JA and JB, it follows that

[JA; JB] = [A;B]:

Dene a linear map on g by extending J to be 0 on k . The last relation shows that is a derivation of g . Since gis semisimple, must be an inner derivation, so that

(X) = [T +A;X];

with T in k and A in p . Taking X in k , it follows that A = 0 and T lies in the center of k and hence that K isnon-semisimple. [17]

If on the other hand G / K is irreducible with K non-semisimple, the compact group G must be simple and K ofmaximal rank. From the theorem of Borel and de Siebenthal, the involution is inner and K is the centralizer of atorus S. It follows that G / K is simply connected and there is a parabolic subgroup P in the complexication GC ofG such that G / K = GC / P. In particular there is a complex structure on G / K and the action of G is holomorphic.In general any compact hermitian symmetric space is simply connected and can be written as a direct product ofirreducible hermitian symmetric spaces Gi / Ki with Gi simple. The irreducible ones are exactly the non-semisimplecases described above.[18]

10.6 Notes[1] Helgason 1978

[2] Wolf 2010

[3] See:

Wolf 2010 Bourbaki 1981 Humphreys 1997 Duistermaat & Kolk 2000

[4] Wolf 2010

[5] Wolf, p. 276

[6] See:

Wolf 2010 Kane 2001

[7] Kane 2001, pp. 135136

[8] Kane 2007

26 CHAPTER 10. BORELDE SIEBENTHAL THEORY

[9] Wolf 2010

[10] See:

Helgason 1978 Wolf 2010

[11] See:

Wolf 2010 Helgason 1978, p. 378

[12] See:

Helgason 1978, pp. 378379 Wolf 2010

[13] Helgason 1978, pp. 320321

[14] See:

Wolf 2010, pp. 244,263264 Helgason 1978, p. 326

[15] Wolf 2010

[16] Kobayashi & Nomizu 1996, pp. 149150

[17] Kobayashi & Nomizu 1996, pp. 261262

[18] Wolf 2010

10.7 References Borel, A.; De Siebenthal, J. (1949), Les sous-groupes ferms de rang maximum des groupes de Lie clos,Commentarii mathematici Helvetici 23: 200221

Borel, Armand (1952), Les espaces hermitiens symtriques, Expos No. 62, Sminaire Bourbaki 2 Bourbaki, N. (1981), Groupes et Algbres de Lie (Chapitres 4,5 et 6), lments de Mathmatique, Masson,ISBN 978-3-540-34490-2

Bourbaki, N. (1982), Groupes et Algbres de Lie (Chapitre 9), lments de Mathmatique, Masson, ISBN978-3-540-34392-9

Duistermaat, J.J.; Kolk, A. (2000), Lie groups, Universitext, Springer, ISBN 978-3-540-15293-4 Helgason, Sigurdur (1978), Dierential geometry, Lie groups, and symmetric spaces, Academic Press, ISBN978-0-8218-2848-9

Humphreys, James E. (1981), Linear Algebraic Groups, Graduate texts in mathematics 21, Springer, ISBN978-0-387-90108-4

Humphreys, James E. (1997), Introduction to Lie Algebras and Representation Theory, Graduate texts in math-ematics 9 (2nd ed.), Springer, ISBN 978-3-540-90053-5

Kane, Richard (2001), Reection Groups and Invariant Theory, Springer, ISBN 978-0-387-98979-2 Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Foundations of dierential geometry 2, Wiley-Interscience,ISBN 978-0-471-15732-8

Malle, Gunter; Testerman, Donna (2011), Linear Algebraic Groups and Finite Groups of Lie Type, CambridgeStudies in Advanced Mathematics 133, Cambridge University Press, ISBN 978-1-139-49953-8

Wolf, Joseph A. (2010), Spaces of constant curvature, AMS Chelsea Publishing (6th ed.), American Mathe-matical Society, ISBN 978-0-8218-5282-8

10.7. REFERENCES 27

Extended Dynkin diagrams for the simple complex Lie algebras

Chapter 11

BottSamelson variety

In mathematics, BottSamelson varieties were introduced independently by Hansen (1973) and Demazure (1974)(who named them BottSamelson varieties) as an algebraic group analogue of the spaces constructed for compactgroups by Bott and Samelson (1958, p. 970). They are sometimes desingularizations of Schubert varieties.A BottSamelson variety Z can be constructed as

P1 B P2 B B Pn/B

where B is a Borel subgroup of a reductive algebraic group G and the Ps are minimal parabolic subgroups containingB. (An element b of B acts on P on the right as right multiplication by b and acts on P on the left as left multiplicationby b1.) Taking the product of its coordinates gives a proper map from the BottSamelson variety Z to the agvariety G/B whose image is a Schubert variety. In some cases this map is birational and gives a desingularization ofthe Schubert variety.See also BottSamelson resolution.

11.1 References Bott, Raoul; Samelson, Hans (1958), Applications of the theory of Morse to symmetric spaces, AmericanJournal of Mathematics 80: 9641029, doi:10.2307/2372843, ISSN 0002-9327, MR 0105694

Demazure, Michel (1974), Dsingularisation des varits de Schubert gnralises, Annales Scientiques del'cole Normale Suprieure. Quatrime Srie 7: 5388, ISSN 0012-9593, MR 0354697

Hansen, H. C. (1973), On cycles in ag manifolds, Mathematica Scandinavica 33: 269274, ISSN 0025-5521, MR 0376703

28

Chapter 12

Bruhat decomposition

In mathematics, the Bruhat decomposition (introduced by Franois Bruhat for classical groups and by ClaudeChevalley in general) G = BWB into cells can be regarded as a general expression of the principle of GaussJordanelimination, which generically writes a matrix as a product of an upper triangular and lower triangular matricesbutwith exceptional cases. It is related to the Schubert cell decomposition of Grassmannians: see Weyl group for this.More generally, any group with a (B,N) pair has a Bruhat decomposition.

12.1 Denitions G is a connected, reductive algebraic group over an algebraically closed eld.

B is a Borel subgroup of G

W is a Weyl group of G corresponding to a maximal torus of B.

The Bruhat decomposition of G is the decomposition

G = BWB =aw2W

BwB

ofG as a disjoint union of double cosets of B parameterized by the elements of theWeyl groupW. (Note that althoughW is not in general a subgroup of G, the coset wB is still well dened.)

12.2 ExamplesLet G be the general linear group GL of invertible n n matrices with entries in some algebraically closed eld,which is a reductive group. Then the Weyl group W is isomorphic to the symmetric group Sn on n letters, withpermutation matrices as representatives. In this case, we can take B to be the subgroup of upper triangular invertiblematrices, so Bruhat decomposition says that one can write any invertible matrix A as a product U1PU2 where U1 andU2 are upper triangular, and P is a permutation matrix. Writing this as P = U11AU21, this says that any invertiblematrix can be transformed into a permutation matrix via a series of row and column operations, where we are onlyallowed to add row i (resp. column i) to row j (resp. column j) if i>j (resp. i

30 CHAPTER 12. BRUHAT DECOMPOSITION

12.3 GeometryThe cells in the Bruhat decomposition correspond to the Schubert cell decomposition of Grassmannians. The dimen-sion of the cells corresponds to the length of the word w in the Weyl group. Poincar duality constrains the topologyof the cell decomposition, and thus the algebra of the Weyl group; for instance, the top dimensional cell is unique (itrepresents the fundamental class), and corresponds to the longest element of a Coxeter group.

12.4 ComputationsThe number of cells in a given dimension of the Bruhat decomposition are the coecients of the q-polynomial[1] ofthe associated Dynkin diagram.

12.5 See also Lie group decompositions Birkho factorization, a special case of the Bruhat decomposition for ane groups.

12.6 Notes[1] This Weeks Finds in Mathematical Physics, Week 186

12.7 References Borel, Armand. Linear Algebraic Groups (2nd ed.). NewYork: Springer-Verlag, 1991. ISBN 0-387-97370-2. Bourbaki, Nicolas, Lie Groups and Lie Algebras: Chapters 4-6 (Elements of Mathematics), Springer-Verlag,2008. ISBN 3-540-42650-7

Chapter 13

Cartan subgroup

In mathematics, a Cartan subgroup of a Lie group or algebraic group G is one of the subgroups whose Lie algebrais a Cartan subalgebra. The dimension of a Cartan subgroup, and therefore of a Cartan subalgebra, is the rank of G.

13.1 ConventionsThe identity component of a subgroup has the same Lie algebra. There is no standard convention for which one ofthe subgroups with this property is called the Cartan subgroup, especially in the case of disconnected groups.

13.2 DenitionsA Cartan subgroup of a compact connected Lie group is a maximal connected Abelian subgroup (a maximaltorus). Its Lie algebra is a Cartan subalgebra.For disconnected compact Lie groups there are several inequivalent denitions of a Cartan subgroup. The mostcommon seems to be the one given by David Vogan, who denes a Cartan subgroup to be the group of elements thatnormalize a xed maximal torus and x the fundamental Weyl chamber. This is sometimes called the large Cartansubgroup. There is also a small Cartan subgroup, dened to be the centralizer of a maximal torus. These Cartansubgroups need not be abelian in general.For connected algebraic groups over an algebraically closed eld a Cartan subgroup is usually dened as thecentralizer of a maximal torus. In this case the Cartan subgroups are connected, nilpotent, and are all conjugate.

13.3 See also Cartan subalgebra Carter subgroup

13.4 References Armand Borel (1991-12-31). Linear algebraic groups. ISBN 3-540-97370-2. Anthony William Knapp; David A. Vogan (1995). Cohomological Induction and Unitary Representations.ISBN 978-0-691-03756-1.

Popov, V. L. (2001), C/c020560, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN978-1-55608-010-4

31

Chapter 14

Chevalleys structure theorem

In algebraic geometry, Chevalleys structure theorem states that a connected algebraic group over a perfect eldhas a unique normal ane algebraic subgroup such that the quotient is an abelian variety. It was proved by Chevalley(1960) (though he had previously announced the result in 1953), Barsotti (1955), and Rosenlicht (1956).Chevalleys original proof, and the other early proofs by Barsotti and Rosenlicht, used the idea of mapping thealgebraic group to its Albanese variety. The original proofs were based on Weils book Foundations of algebraicgeometry, but Conrad (2002) later gave an exposition of Chevalleys proof in scheme-theoretic terminology.

14.1 References Barsotti, Iacopo (1955), Structure theorems for group-varieties, Annali di Matematica Pura ed Applicata.Serie Quarta 38: 77119, doi:10.1007/bf02413515, ISSN 0003-4622, MR 0071849

Barsotti, Iacopo (1955), Un teorema di struttura per le variet gruppali, Atti della Accademia Nazionale deiLincei. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali 18: 4350, MR 0076427

Chevalley, C. (1960), Une dmonstration d'un thorme sur les groupes algbriques, Journal de Mathma-tiques Pures et Appliques. Neuvime Srie 39: 307317, ISSN 0021-7824, MR 0126447

Conrad, Brian (2002), A modern proof of Chevalleys theorem on algebraic groups, Journal of the Ramanu-jan Mathematical Society 17 (1): 118, ISSN 0970-1249, MR 1906417

Rosenlicht, Maxwell (1956), Some basic theorems on algebraic groups, American Journal of Mathematics78: 401443, doi:10.2307/2372523, ISSN 0002-9327, MR 0082183

32

Chapter 15

Cohomological invariant

In mathematics, a cohomological invariant of an algebraic group G over a eld is an invariant of forms of G takingvalues in a Galois cohomology group.

15.1 DenitionSuppose that G is an algebraic group dened over a eld K, and choose a separably closed eld K containing K. Fora nite extension L of K in K let L be the absolute Galois group of L. The rst cohomology H1(L, G) = H1(L, G)is a set classifying the forms of G over L, and is a functor of L.A cohomological invariant ofG of dimension d taking values in a K-moduleM is a natural transformation of functors(of L) from H1(L, G) to Hd(L, M).In other words a cohomological invariant associates an element of an abelian cohomology group to elements of anon-abelian cohomology set.More generally, if A is any functor from nitely generated extensions of a eld to sets, then a cohomological invariantof A of dimension d taking values in a -module M is a natural transformation of functors (of L) from A to Hd(L,M).The cohomological invariants of a xed group G or functor A, dimension d and Galois module M form an abeliangroup denoted by Invd(G,M) or Invd(A,M).

15.2 Examples Suppose A is the functor taking a eld to the isomorphism classes of dimension n etale algebras over it. Thecohomological invariants with coecients in Z/2Z is a free module over the cohomology of k with a basis ofelements of degrees 0, 1, 2, ..., m where m is t