Preface |
|
ix | |
|
|
1 | (66) |
|
|
1 | (6) |
|
1.2 Pullback, push-forward, and base change |
|
|
7 | (9) |
|
1.3 Open and closed embeddings |
|
|
16 | (7) |
|
1.4 Tensor product and sheaf Horn |
|
|
23 | (7) |
|
1.5 The right adjoint to proper push-forward |
|
|
30 | (6) |
|
1.6 Relations among natural transformations |
|
|
36 | (5) |
|
|
41 | (10) |
|
|
51 | (5) |
|
1.9 More base change theorems |
|
|
56 | (6) |
|
1.10 Additional notes and exercises |
|
|
62 | (5) |
|
Chapter 2 Constructible sheaves on complex algebraic varieties |
|
|
67 | (62) |
|
2.1 Preliminaries from complex algebraic geometry |
|
|
67 | (7) |
|
2.2 Smooth pullback and smooth base change |
|
|
74 | (6) |
|
2.3 Stratifications and constructible sheaves |
|
|
80 | (6) |
|
2.4 Divisors with simple normal crossings |
|
|
86 | (4) |
|
2.5 Base change and the affine line |
|
|
90 | (4) |
|
2.6 Artin's vanishing theorem |
|
|
94 | (3) |
|
2.7 Sheaf functors and constructibility |
|
|
97 | (5) |
|
|
102 | (3) |
|
2.9 More compatibilities of functors |
|
|
105 | (6) |
|
2.10 Localization with respect to a Gm-action |
|
|
111 | (6) |
|
2.11 Homology and fundamental classes |
|
|
117 | (7) |
|
2.12 Additional notes and exercises |
|
|
124 | (5) |
|
Chapter 3 Perverse sheaves |
|
|
129 | (52) |
|
3.1 The perverse t-structure |
|
|
129 | (6) |
|
3.2 Tensor product and sheaf Hom for perverse sheaves |
|
|
135 | (3) |
|
3.3 Intersection cohomology complexes |
|
|
138 | (6) |
|
3.4 The noetherian property for perverse sheaves |
|
|
144 | (4) |
|
3.5 Affine open subsets and affine morphisms |
|
|
148 | (7) |
|
|
155 | (5) |
|
|
160 | (8) |
|
|
168 | (4) |
|
3.9 The decomposition theorem and the hard Lefschetz theorem |
|
|
172 | (5) |
|
3.10 Additional notes and exercises |
|
|
177 | (4) |
|
Chapter 4 Nearby and vanishing cycles |
|
|
181 | (36) |
|
4.1 Definitions and preliminaries |
|
|
181 | (7) |
|
4.2 Properties of algebraic nearby cycles |
|
|
188 | (4) |
|
4.3 Extension across a hypersurface |
|
|
192 | (7) |
|
4.4 Unipotent nearby cycles |
|
|
199 | (3) |
|
|
202 | (9) |
|
4.6 Additional notes and exercises |
|
|
211 | (6) |
|
|
217 | (44) |
|
5.1 Etale and L-adic sheaves |
|
|
217 | (8) |
|
5.2 Local systems and the etale fundamental group |
|
|
225 | (5) |
|
5.3 Passage to the algebraic closure |
|
|
230 | (5) |
|
|
235 | (7) |
|
5.5 D-modules and the Riemann Hilbert correspondence |
|
|
242 | (7) |
|
|
249 | (6) |
|
5.7 Further topics around purity |
|
|
255 | (6) |
|
Chapter 6 Equivariant derived categories |
|
|
261 | (64) |
|
6.1 Preliminaries on algebraic groups, actions, and quotients |
|
|
261 | (7) |
|
6.2 Equivariant sheaves and perverse sheaves |
|
|
268 | (9) |
|
|
277 | (6) |
|
6.4 Equivariant derived categories |
|
|
283 | (7) |
|
6.5 Equivariant sheaf functors |
|
|
290 | (6) |
|
6.6 Averaging, invariants, and applications |
|
|
296 | (8) |
|
6.7 Equivariant cohomology |
|
|
304 | (6) |
|
6.8 The language of stacks |
|
|
310 | (5) |
|
6.9 Fourier--Laumon transform |
|
|
315 | (8) |
|
6.10 Additional exercises |
|
|
323 | (2) |
|
Chapter 7 Kazhdan Lusztig theory |
|
|
325 | (36) |
|
7.1 Flag varieties and Hecke algebras |
|
|
325 | (4) |
|
|
329 | (4) |
|
7.3 The categorification theorem |
|
|
333 | (6) |
|
7.4 Mixed sheaves on the flag variety |
|
|
339 | (4) |
|
|
343 | (5) |
|
|
348 | (9) |
|
|
357 | (4) |
|
Chapter 8 Springer theory |
|
|
361 | (26) |
|
8.1 Nilpotent orbits and the Springer resolution |
|
|
361 | (3) |
|
|
364 | (4) |
|
8.3 The Springer correspondence |
|
|
368 | (4) |
|
8.4 Parabolic induction and restriction |
|
|
372 | (8) |
|
8.5 The generalized Springer correspondence |
|
|
380 | (3) |
|
|
383 | (4) |
|
Chapter 9 The geometric Satake equivalence |
|
|
387 | (46) |
|
9.1 The affine flag variety and the affine Grassmannian |
|
|
387 | (7) |
|
|
394 | (4) |
|
9.3 Categorification of the affine and spherical Hecke algebras |
|
|
398 | (4) |
|
9.4 The Satake isomorphism |
|
|
402 | (2) |
|
9.5 Exactness and commutativity |
|
|
404 | (6) |
|
|
410 | (6) |
|
9.7 Standard sheaves and Mirkovic Vilonen cycles |
|
|
416 | (8) |
|
9.8 Hypercohomology as a fiber functor |
|
|
424 | (4) |
|
9.9 The geometric Satake equivalence |
|
|
428 | (2) |
|
9.10 Additional exercises |
|
|
430 | (3) |
|
Chapter 10 Quiver representations and quantum groups |
|
|
433 | (34) |
|
10.1 Quiver representations |
|
|
433 | (6) |
|
10.2 Hall algebras and quantum groups |
|
|
439 | (5) |
|
|
444 | (8) |
|
10.4 Canonical bases for quantum groups |
|
|
452 | (5) |
|
10.5 Mixed Hodge modules and categorification |
|
|
457 | (6) |
|
10.6 Mixed L-adic sheaves and the Hall algebra |
|
|
463 | (3) |
|
10.7 Additional exercises |
|
|
466 | (1) |
|
Appendix A Category theory and homological algebra |
|
|
467 | (46) |
|
A.1 Categories and functors |
|
|
467 | (5) |
|
|
472 | (2) |
|
A.3 Additive and abelian categories |
|
|
474 | (6) |
|
A.4 Triangulated categories |
|
|
480 | (6) |
|
A.5 Chain complexes and the derived category |
|
|
486 | (4) |
|
|
490 | (7) |
|
|
497 | (7) |
|
A.8 Karoubian and Krull Schmidt categories |
|
|
504 | (4) |
|
|
508 | (1) |
|
A.10 Duality for rings of finite global dimension |
|
|
509 | (4) |
|
Appendix B Calculations on Cn |
|
|
513 | (28) |
|
B.1 Holomorphic maps and cohomology |
|
|
513 | (2) |
|
B.2 Constructible sheaves on Cn, I |
|
|
515 | (6) |
|
B.3 Local systems on open subsets of C |
|
|
521 | (3) |
|
B.4 Constructible sheaves on Cn, II |
|
|
524 | (3) |
|
|
527 | (9) |
|
B.6 Equivariant sheaves on C |
|
|
536 | (5) |
Quick reference |
|
541 | (4) |
Bibliography |
|
545 | (12) |
Index of notation |
|
557 | (2) |
Index |
|
559 | |