Characters in Categorical Representation Theory
|
|
- Reginald Stone
- 5 years ago
- Views:
Transcription
1 Characters in Categorical Representation Theory David Ben-Zvi University of Texas at Austin Symplectic Algebraic eometry and Representation Theory, CIRM, Luminy. July 2012
2 Overview Describe ongoing joint work with David Nadler (Berkeley) on categorical harmonic analysis, centered around the notion of characters of categorical representations. (with J. Francis) Integral Transforms and Drinfeld Centers in Derived Algebraic eometry. JAMS Appendix, July The Character Theory of a Complex roup. arxiv: Beilinson-Bernstein Localization in Families. Preprint. (Summer) Traces, Fixed Points and Characters in Derived Algebraic eometry. Preprint. (Fall) eometry of Harish Chandra Characters. In preparation. (Spring 2013?) Elliptic Character Sheaves. In progress. (2014?)
3 Context We will work in the context of J. Lurie s Higher Algebra but suppress -categorical technicalities throughout. For example: category will stand for an enhanced derived category (pre-triangulated cocomplete dg category). The collection of dg categories form a symmetric monoidal -category. In particular we may speak of monoidal dg categories, module categories, etc. For a scheme or stack X, QC(X ) and D(X ) denote the ( -)categories of quasicoherent sheaves and D-modules on X, respectively.
4 -categories Fix a reductive algebraic group over C, B, N, H, W as usual. Two types of -actions on categories: Algebraic -category: g act coherently on M by functors, varying algebraically Comodule category M for quasicoherent group coalgebra QC() (under pullback for multiplication µ : ) Smooth -category: Algebraic -category, with trivialization of action of Lie algebra g or formal group Ĝ (i.e., algebraic dr-category) Comodule category for smooth group coalgebra D()
5 -categories Fix a reductive algebraic group over C, B, N, H, W as usual. Two types of -actions on categories: Algebraic -category: g act coherently on M by functors, varying algebraically Comodule category M for quasicoherent group coalgebra QC() (under pullback for multiplication µ : ) Smooth -category: Algebraic -category, with trivialization of action of Lie algebra g or formal group Ĝ (i.e., algebraic dr-category) Comodule category for smooth group coalgebra D()
6 Examples of -categories Fix a -space (scheme or stack) X = QC(X ) is an algebraic -category, D(X ) is a smooth -category. Main examples: D(/B) and D H (/N), D-modules on basic affine space locally constant on torus orbits categorifications of principal series and universal principal series representations. Motivating example: The adjoint action of on g gives rise to a smooth -action on Ug mod
7 Examples of -categories Fix a -space (scheme or stack) X = QC(X ) is an algebraic -category, D(X ) is a smooth -category. Main examples: D(/B) and D H (/N), D-modules on basic affine space locally constant on torus orbits categorifications of principal series and universal principal series representations. Motivating example: The adjoint action of on g gives rise to a smooth -action on Ug mod
8 Algebraic Hecke Categories For algebraic -categories, have complete control of elementary categorical harmonic analysis intertwiners, centers, Morita equivalences, characters, spectral decomposition etc. For example, results of [BZFN] together with aitsgory, Sheaves of categories on prestacks (2012) give the following: Theorem: For any affine H, There are equivalences of monoidal categories QC(H\/H) End QC() (QC(/H)) End(( ) H ) The above algebraic Hecke category is Morita equivalent to QC() no difference between algebraic -categories and their H-invariants (with Hecke action).
9 Algebraic Hecke Categories For algebraic -categories, have complete control of elementary categorical harmonic analysis intertwiners, centers, Morita equivalences, characters, spectral decomposition etc. For example, results of [BZFN] together with aitsgory, Sheaves of categories on prestacks (2012) give the following: Theorem: For any affine H, There are equivalences of monoidal categories QC(H\/H) End QC() (QC(/H)) End(( ) H ) The above algebraic Hecke category is Morita equivalent to QC() no difference between algebraic -categories and their H-invariants (with Hecke action).
10 Smooth Hecke Categories Fewer general results hold for D-modules, but still have (in equivariant or monodromic settings): Theorem: End D() (D(/B)) H := D(B\/B), the finite Hecke category, which is a 2-dualizable Calabi-Yau algebra in categories. H is a categorified form of C[W ] analog of finite-dimensional semisimple Frobenius algebra. Corollary: H mod are smooth -categories appearing in principal series subcategory generated by module D(/B).
11 Smooth Hecke Categories Fewer general results hold for D-modules, but still have (in equivariant or monodromic settings): Theorem: End D() (D(/B)) H := D(B\/B), the finite Hecke category, which is a 2-dualizable Calabi-Yau algebra in categories. H is a categorified form of C[W ] analog of finite-dimensional semisimple Frobenius algebra. Corollary: H mod are smooth -categories appearing in principal series subcategory generated by module D(/B).
12 Beilinson-Bernstein Localization The two types of smooth -categories are related by Beilinson-Bernstein localization. Localization and global sections functors (, Γ) give adjunction between g-modules and D-modules on flag varieties, linear over D(). To obtain an equivalence of categories we fix an infinitesimal character [λ] h /W ; choose lift to weight λ h ; modify construction at singular λ.
13 Beilinson-Bernstein in Families Consider derived version in families: : Ug mod D H (/N) : Γ two-sided adjoints, and conservative can readily apply Barr-Beck-Lurie theorem: Theorem: Ug mod D H (/N) W D H (/N) W, modules (or comodules) over the (Frobenius) algebra in the Hecke category W = D N\/N End D() (D H (/N)) Weyl sheaf W: analog of symmetrizing idempotent in Weyl group, Ug mod = Weyl (co)invariants in D H (/N).
14 Beilinson-Bernstein in Families Consider derived version in families: : Ug mod D H (/N) : Γ two-sided adjoints, and conservative can readily apply Barr-Beck-Lurie theorem: Theorem: Ug mod D H (/N) W D H (/N) W, modules (or comodules) over the (Frobenius) algebra in the Hecke category W = D N\/N End D() (D H (/N)) Weyl sheaf W: analog of symmetrizing idempotent in Weyl group, Ug mod = Weyl (co)invariants in D H (/N).
15 Dimensions Context: A symmetric monoidal (higher) category, A A dualizable object Dimension of A: dim(a) End(1 A ) defined by unit=id A 1 A End(A) A A counit=tr A 1 A dim(a)=tr A (Id A ) Examples: Dimension/Euler characteristic of a vector space/complex Hochschild homology of an algebra or category
16 Dimensions Context: A symmetric monoidal (higher) category, A A dualizable object Dimension of A: dim(a) End(1 A ) defined by unit=id A 1 A End(A) A A counit=tr A 1 A dim(a)=tr A (Id A ) Examples: Dimension/Euler characteristic of a vector space/complex Hochschild homology of an algebra or category
17 Functoriality of Dimension A a 2-category notion of adjunctions between morphisms π! A B π! notion of continuous morphism (has right adjoint) Construction: Dim is functorial for continuous morphisms of dualizable objects: dim(a) dim(π! ) dim(b) Corollary: A dualizable object of A (continuous 1 A V A ) has a character dim(v ) dim(a), satisfying abstract RR 1 A dim(v ) dim(π! V ) dim(a) dim(π! ) dim(b)
18 Functoriality of Dimension A a 2-category notion of adjunctions between morphisms π! A B π! notion of continuous morphism (has right adjoint) Construction: Dim is functorial for continuous morphisms of dualizable objects: dim(a) dim(π! ) dim(b) Corollary: A dualizable object of A (continuous 1 A V A ) has a character dim(v ) dim(a), satisfying abstract RR 1 A dim(v ) dim(π! V ) dim(a) dim(π! ) dim(b)
19 Algebraic Examples A=Morita theory of algebras, A = C finite group algebra. dim(a) = C[ ] class functions. V : 1 A A: representation of dim(v ) C[ ]: character of representation. A=Categories, A = QC(X ) or D(X ) sheaves on a scheme (or stack). dim(a)=dolbeault/de Rham cohomology of the scheme (functions/de Rham cohomology of loop stack) V sheaf dim(v ) Chern character.
20 Algebraic Examples A=Morita theory of algebras, A = C finite group algebra. dim(a) = C[ ] class functions. V : 1 A A: representation of dim(v ) C[ ]: character of representation. A=Categories, A = QC(X ) or D(X ) sheaves on a scheme (or stack). dim(a)=dolbeault/de Rham cohomology of the scheme (functions/de Rham cohomology of loop stack) V sheaf dim(v ) Chern character.
21 eometric Examples A=(Derived) Varieties/stacks with correspondences: dim(x ) = LX loop space ( X X = X X X X.) π : X Y dim(π) = Lπ : LX LY. X a -space, π : X / B. L(X /) {g, x X g } Lπ L(B) dimension given by fixed point loci classified over adjoint quotient. p
22 eometric Examples A=(Derived) Varieties/stacks with correspondences: dim(x ) = LX loop space ( X X = X X X X.) π : X Y dim(π) = Lπ : LX LY. X a -space, π : X / B. L(X /) {g, x X g } Lπ L(B) dimension given by fixed point loci classified over adjoint quotient. p
23 Trace and Fixed-Point Formulas Formal consequence: in any theory of sheaves (assignment stack category satisfying base change and proper adjunction) pushforward on Hochschild homology is given by integration on loop maps, i.e., integration on fixed points in equivariant setting Corollary: rothendieck-riemann-roch in Hochschild homology for proper maps of geometric stacks Lefschetz trace formula for D-modules on proper Deligne-Mumford (derived) stacks Atiyah-Bott fixed point theorem for quasicoherent sheaves on proper Deligne-Mumford (derived) stacks (conjecture of Frenkel-Ngô)
24 Trace and Fixed-Point Formulas Formal consequence: in any theory of sheaves (assignment stack category satisfying base change and proper adjunction) pushforward on Hochschild homology is given by integration on loop maps, i.e., integration on fixed points in equivariant setting Corollary: rothendieck-riemann-roch in Hochschild homology for proper maps of geometric stacks Lefschetz trace formula for D-modules on proper Deligne-Mumford (derived) stacks Atiyah-Bott fixed point theorem for quasicoherent sheaves on proper Deligne-Mumford (derived) stacks (conjecture of Frenkel-Ngô)
25 Character Formulas Frobenius character formula: Character of permutation representation C[X ] is Tr(g) = X g : pushforward of constant function under map L(X /). X = /K: character of induced representation C[/K] given by pushforward along {g, x X g } K K Flag variety X = /B Weyl character formula à la Atiyah-Bott: Lπ B B Lπ=rothendieck Springer
26 Character Formulas Frobenius character formula: Character of permutation representation C[X ] is Tr(g) = X g : pushforward of constant function under map L(X /). X = /K: character of induced representation C[/K] given by pushforward along {g, x X g } K K Flag variety X = /B Weyl character formula à la Atiyah-Bott: Lπ B B Lπ=rothendieck Springer
27 Character Formulas Frobenius character formula: Character of permutation representation C[X ] is Tr(g) = X g : pushforward of constant function under map L(X /). X = /K: character of induced representation C[/K] given by pushforward along {g, x X g } K K Flag variety X = /B Weyl character formula à la Atiyah-Bott: Lπ B B Lπ=rothendieck Springer
28 Characters of algebraic -categories Arguments apply unmodified to sheaves of categories and categorical representations: A = QC() or QC(H\/H) quasicoherent group or Hecke algebra (monoidal category) Theorem: dim(a) = QC( ) V algebraic -category dim(v ) QC( ): algebraic character sheaf. Character of QC(X ) for a -space calculated by fixed points map Lπ : LX /.
29 Characters of smooth -categories A = D(): Natural map dim(a) D( ). Calculate characters by fixed points: Corollary: The character of D(/B) is Lπ O D( ), the rothendieck-springer i.e., [Hotta-Kashiwara] the Harish Chandra system HC on. Characters are microlocal: for a -space can calculate dim D(X ) D( ) near 1 from moment map µ : T X g. Characters for Hecke category H = D(B\/B): Theorem: dim(h) is the category of Lusztig character sheaves in D( ) i.e., differential equations on with same singularities as HC.
30 Characters of smooth -categories A = D(): Natural map dim(a) D( ). Calculate characters by fixed points: Corollary: The character of D(/B) is Lπ O D( ), the rothendieck-springer i.e., [Hotta-Kashiwara] the Harish Chandra system HC on. Characters are microlocal: for a -space can calculate dim D(X ) D( ) near 1 from moment map µ : T X g. Characters for Hecke category H = D(B\/B): Theorem: dim(h) is the category of Lusztig character sheaves in D( ) i.e., differential equations on with same singularities as HC.
31 Characters of smooth -categories A = D(): Natural map dim(a) D( ). Calculate characters by fixed points: Corollary: The character of D(/B) is Lπ O D( ), the rothendieck-springer i.e., [Hotta-Kashiwara] the Harish Chandra system HC on. Characters are microlocal: for a -space can calculate dim D(X ) D( ) near 1 from moment map µ : T X g. Characters for Hecke category H = D(B\/B): Theorem: dim(h) is the category of Lusztig character sheaves in D( ) i.e., differential equations on with same singularities as HC.
32 Harish Chandra Theory of Characters Harish Chandra introduced a character for admissible representations M of reductive groups: The character Θ M exists as a distribution on For M with infinitesimal character [λ], Θ M solves the Harish Chandra system i.e., defines a morphism of D-modules on, HC [λ] := D/ z λ(z) z Z(Ug) Θ M C Properties of HC system imply Θ M analytic on rss, extends to L 1 (). Beautiful algebraic and geometric formulas for Θ M suggest it is innately algebraic object.
33 Harish Chandra Theory of Characters Harish Chandra introduced a character for admissible representations M of reductive groups: The character Θ M exists as a distribution on For M with infinitesimal character [λ], Θ M solves the Harish Chandra system i.e., defines a morphism of D-modules on, HC [λ] := D/ z λ(z) z Z(Ug) Θ M C Properties of HC system imply Θ M analytic on rss, extends to L 1 (). Beautiful algebraic and geometric formulas for Θ M suggest it is innately algebraic object.
34 Harish Chandra Theory of Characters Harish Chandra introduced a character for admissible representations M of reductive groups: The character Θ M exists as a distribution on For M with infinitesimal character [λ], Θ M solves the Harish Chandra system i.e., defines a morphism of D-modules on, HC [λ] := D/ z λ(z) z Z(Ug) Θ M C Properties of HC system imply Θ M analytic on rss, extends to L 1 (). Beautiful algebraic and geometric formulas for Θ M suggest it is innately algebraic object.
35 Representations as Intertwiners Admissible representations of real group R Harish Chandra (g, K) modules for K symmetric subgroup [Beilinson-Bernstein] D K (/B): K-equivariant (twisted) D-modules on /B, i.e., D-modules on K\/B \(/B /K) Suggests an interpretation as intertwiners for smooth -categories: Proposition: D(K\/B) Hom (D(/B), D(/K)) Harish Chandra modules are intertwiners between principal series and symmetric space representations.
36 Representations as Intertwiners Admissible representations of real group R Harish Chandra (g, K) modules for K symmetric subgroup [Beilinson-Bernstein] D K (/B): K-equivariant (twisted) D-modules on /B, i.e., D-modules on K\/B \(/B /K) Suggests an interpretation as intertwiners for smooth -categories: Proposition: D(K\/B) Hom (D(/B), D(/K)) Harish Chandra modules are intertwiners between principal series and symmetric space representations.
37 Representations as Intertwiners Admissible representations of real group R Harish Chandra (g, K) modules for K symmetric subgroup [Beilinson-Bernstein] D K (/B): K-equivariant (twisted) D-modules on /B, i.e., D-modules on K\/B \(/B /K) Suggests an interpretation as intertwiners for smooth -categories: Proposition: D(K\/B) Hom (D(/B), D(/K)) Harish Chandra modules are intertwiners between principal series and symmetric space representations.
38 Harish Chandra Characters via Functoriality Now apply functoriality of dim: M a (g, K)-module M defines a -map M D(/B) D(/K) dim(d(/b)) dim(m) dim(d(/k)) HC [λ] Θ M Ξ K Character is a solution of Harish Chandra system valued in K-Springer sheaf Ξ K = (p K K ) O K K
39 Harish Chandra Characters via Functoriality Now apply functoriality of dim: M a (g, K)-module M defines a -map M D(/B) D(/K) dim(d(/b)) dim(m) dim(d(/k)) HC [λ] Θ M Ξ K Character is a solution of Harish Chandra system valued in K-Springer sheaf Ξ K = (p K K ) O K K
40 Harish Chandra Characters via Functoriality Now apply functoriality of dim: M a (g, K)-module M defines a -map M D(/B) D(/K) dim(d(/b)) dim(m) dim(d(/k)) HC [λ] Θ M Ξ K Character is a solution of Harish Chandra system valued in K-Springer sheaf Ξ K = (p K K ) O K K
41 Properties of the Character Construction applies to any subgroup K (not necessarily symmetric). On the regular semisimple locus of K, Θ M is a section of O K rss solving pullback of HC system. e.g., for K = recover Weyl character. ives refined information and algebraic interpretation of character over entire group. Recover the two geometric character formulas of [Schmid-Vilonen] from general formalism: Weyl-Atiyah-Bott character formula: comes from trace/fixed point formalism which described the map dim. Kirillov-Rossman character formula: comes from compatibility of characters and microlocalization.
42 Properties of the Character Construction applies to any subgroup K (not necessarily symmetric). On the regular semisimple locus of K, Θ M is a section of O K rss solving pullback of HC system. e.g., for K = recover Weyl character. ives refined information and algebraic interpretation of character over entire group. Recover the two geometric character formulas of [Schmid-Vilonen] from general formalism: Weyl-Atiyah-Bott character formula: comes from trace/fixed point formalism which described the map dim. Kirillov-Rossman character formula: comes from compatibility of characters and microlocalization.
43 Properties of the Character Construction applies to any subgroup K (not necessarily symmetric). On the regular semisimple locus of K, Θ M is a section of O K rss solving pullback of HC system. e.g., for K = recover Weyl character. ives refined information and algebraic interpretation of character over entire group. Recover the two geometric character formulas of [Schmid-Vilonen] from general formalism: Weyl-Atiyah-Bott character formula: comes from trace/fixed point formalism which described the map dim. Kirillov-Rossman character formula: comes from compatibility of characters and microlocalization.
44 Properties of the Character Construction applies to any subgroup K (not necessarily symmetric). On the regular semisimple locus of K, Θ M is a section of O K rss solving pullback of HC system. e.g., for K = recover Weyl character. ives refined information and algebraic interpretation of character over entire group. Recover the two geometric character formulas of [Schmid-Vilonen] from general formalism: Weyl-Atiyah-Bott character formula: comes from trace/fixed point formalism which described the map dim. Kirillov-Rossman character formula: comes from compatibility of characters and microlocalization.
45 Traces of Hecke Functors oal: Develop theory of characters for smooth L-categories, in particular for modules for spherical and affine Hecke categories H sph = D((O)\L/(O)) Satake QC(B L ) H aff = D(I \L/I ) Bezrukavnikov QC! (St L / L ) Motivation: eometric Arthur-Selberg trace formula C algebraic curve with fixed ramification data, describe character of category D(Bun (C)) module for H sph, H aff, D(L) at places with trivial, tame or full level structure.
46 Traces of Hecke Functors oal: Develop theory of characters for smooth L-categories, in particular for modules for spherical and affine Hecke categories H sph = D((O)\L/(O)) Satake QC(B L ) H aff = D(I \L/I ) Bezrukavnikov QC! (St L / L ) Motivation: eometric Arthur-Selberg trace formula C algebraic curve with fixed ramification data, describe character of category D(Bun (C)) module for H sph, H aff, D(L) at places with trivial, tame or full level structure.
47 Elliptic Character Sheaves What are character sheaves on L? Hard to define directly as D-modules on L L. Two proposals: Algebraic definition: Consider dim(h aff ), characters of affine Hecke modules. Topological Field Theory definition: q-deform L L to Bun (E q ), -bundles on (Tate) elliptic curve E q = C /q Z Consider D nil (Bun (E q )), D-modules with nilpotent singular support. Locally constant in q, can describe monadically in limit q 0. Claim (proof in progress): dim(h aff ) D nil (Bun (E q )) elliptic character sheaves Langlands duality for Hecke categories Corollary: topological geometric Langlands for elliptic curves.
48 Elliptic Character Sheaves What are character sheaves on L? Hard to define directly as D-modules on L L. Two proposals: Algebraic definition: Consider dim(h aff ), characters of affine Hecke modules. Topological Field Theory definition: q-deform L L to Bun (E q ), -bundles on (Tate) elliptic curve E q = C /q Z Consider D nil (Bun (E q )), D-modules with nilpotent singular support. Locally constant in q, can describe monadically in limit q 0. Claim (proof in progress): dim(h aff ) D nil (Bun (E q )) elliptic character sheaves Langlands duality for Hecke categories Corollary: topological geometric Langlands for elliptic curves.
49 Elliptic Character Sheaves What are character sheaves on L? Hard to define directly as D-modules on L L. Two proposals: Algebraic definition: Consider dim(h aff ), characters of affine Hecke modules. Topological Field Theory definition: q-deform L L to Bun (E q ), -bundles on (Tate) elliptic curve E q = C /q Z Consider D nil (Bun (E q )), D-modules with nilpotent singular support. Locally constant in q, can describe monadically in limit q 0. Claim (proof in progress): dim(h aff ) D nil (Bun (E q )) elliptic character sheaves Langlands duality for Hecke categories Corollary: topological geometric Langlands for elliptic curves.
50 Elliptic Character Sheaves What are character sheaves on L? Hard to define directly as D-modules on L L. Two proposals: Algebraic definition: Consider dim(h aff ), characters of affine Hecke modules. Topological Field Theory definition: q-deform L L to Bun (E q ), -bundles on (Tate) elliptic curve E q = C /q Z Consider D nil (Bun (E q )), D-modules with nilpotent singular support. Locally constant in q, can describe monadically in limit q 0. Claim (proof in progress): dim(h aff ) D nil (Bun (E q )) elliptic character sheaves Langlands duality for Hecke categories Corollary: topological geometric Langlands for elliptic curves.
APPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES
APPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES DAVID BEN-ZVI, JOHN FRANCIS, AND DAVID NADLER Abstract. In this brief postscript to [BFN], we describe a Morita equivalence for derived,
More informationLoop Groups, Characters and Elliptic Curves
Loop Groups, Characters and Elliptic Curves David Ben-Zvi University of Texas at Austin ASPECTS of Topology in Geometry and Physics Oxford, December 2012 Overview I will discuss ongoing joint work with
More informationBEILINSON-BERNSTEIN LOCALIZATION OVER THE HARISH-CHANDRA CENTER
BEILINSON-BERNSTEIN LOCALIZATION OVER THE HARISH-CHANDRA CENTER DAVID BEN-ZVI AND DAVID NADLER Abstract. We present a simple proof of a strengthening of the derived Beilinson-Bernstein localization theorem
More informationOn the geometric Langlands duality
On the geometric Langlands duality Peter Fiebig Emmy Noether Zentrum Universität Erlangen Nürnberg Schwerpunkttagung Bad Honnef April 2010 Outline This lecture will give an overview on the following topics:
More informationTilting exotic sheaves, parity sheaves on affine Grassmannians, and the Mirković Vilonen conjecture
Tilting exotic sheaves, parity sheaves on affine Grassmannians, and the Mirković Vilonen conjecture (joint work with C. Mautner) Simon Riche CNRS Université Blaise Pascal (Clermont-Ferrand 2) Feb. 17th,
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationDERIVED HAMILTONIAN REDUCTION
DERIVED HAMILTONIAN REDUCTION PAVEL SAFRONOV 1. Classical definitions 1.1. Motivation. In classical mechanics the main object of study is a symplectic manifold X together with a Hamiltonian function H
More informationANNOTATED BIBLIOGRAPHY. 1. Integrable Systems
ANNOTATED BIBLIOGRAPHY DAVID BEN-ZVI 1. Integrable Systems [BF1] D. Ben-Zvi and E. Frenkel, Spectral Curves, Opers and Integrable Systems. Publications Mathèmatiques de l Institut des Hautes Études Scientifiques
More informationGeometry of Conformal Field Theory
Geometry of Conformal Field Theory Yoshitake HASHIMOTO (Tokyo City University) 2010/07/10 (Sat.) AKB Differential Geometry Seminar Based on a joint work with A. Tsuchiya (IPMU) Contents 0. Introduction
More informationContributors. Preface
Contents Contributors Preface v xv 1 Kähler Manifolds by E. Cattani 1 1.1 Complex Manifolds........................... 2 1.1.1 Definition and Examples.................... 2 1.1.2 Holomorphic Vector Bundles..................
More informationThe derived category of a GIT quotient
September 28, 2012 Table of contents 1 Geometric invariant theory 2 3 What is geometric invariant theory (GIT)? Let a reductive group G act on a smooth quasiprojective (preferably projective-over-affine)
More informationQUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationFixed Point Theorem and Character Formula
Fixed Point Theorem and Character Formula Hang Wang University of Adelaide Index Theory and Singular Structures Institut de Mathématiques de Toulouse 29 May, 2017 Outline Aim: Study representation theory
More informationH(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )).
92 19. Perverse sheaves on the affine Grassmannian 19.1. Spherical Hecke algebra. The Hecke algebra H(G(Q p )//G(Z p )) resp. H(G(F q ((T ))//G(F q [[T ]])) etc. of locally constant compactly supported
More informationFundamental Lemma and Hitchin Fibration
Fundamental Lemma and Hitchin Fibration Gérard Laumon CNRS and Université Paris-Sud May 13, 2009 Introduction In this talk I shall mainly report on Ngô Bao Châu s proof of the Langlands-Shelstad Fundamental
More informationMASTERCLASS MARCH 2013 BY Ben Elias, MIT, Boston and Geordie Williamson, MPI, Bonn Titel: Soergel bimodules & Kazhdan-Lusztig conjectures
Venue: aud. G1 Monday 18 March, The Cast 10.00-10.45 Introduction: Category O and the Kazhdan-Lusztig conjectures The happenings of 1979. The miracle of KL polynomials. Arbitrary Coxeter groups. The miracle
More informationGauge Theory and Mirror Symmetry
Gauge Theory and Mirror Symmetry Constantin Teleman UC Berkeley ICM 2014, Seoul C. Teleman (Berkeley) Gauge theory, Mirror symmetry ICM Seoul, 2014 1 / 14 Character space for SO(3) and Toda foliation Support
More informationNOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE
NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE GUFANG ZHAO Contents 1. Introduction 1 2. What is a Procesi bundle 2 3. Derived equivalences from exceptional objects 4 4. Splitting of the
More informationDerived Morita theory and Hochschild Homology and Cohomology of DG Categories
Derived Morita theory and Hochschild Homology and Cohomology of DG Categories German Stefanich In this talk we will explore the idea that an algebra A over a field (ring, spectrum) k can be thought of
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationStable bundles on CP 3 and special holonomies
Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M
More informationGEOMETRIC FUNCTION THEORY
GEOMETRIC FUNCTION THEORY DAVID BEN-ZVI Dear Cafe Patrons, In this guest post I want to briefly discuss correspondences, integral transforms and their categorification as they apply to representation theory,
More informationSUMMER SCHOOL ON DERIVED CATEGORIES NANTES, JUNE 23-27, 2014
SUMMER SCHOOL ON DERIVED CATEGORIES NANTES, JUNE 23-27, 2014 D. GAITSGORY 1.1. Introduction. 1. Lecture I: the basics 1.1.1. Why derived algebraic geometry? a) Fiber products. b) Deformation theory. c)
More informationRepresentations Are Everywhere
Representations Are Everywhere Nanghua Xi Member of Chinese Academy of Sciences 1 What is Representation theory Representation is reappearance of some properties or structures of one object on another.
More informationVertex algebras, chiral algebras, and factorisation algebras
Vertex algebras, chiral algebras, and factorisation algebras Emily Cliff University of Illinois at Urbana Champaign 18 September, 2017 Section 1 Vertex algebras, motivation, and road-plan Definition A
More informationWe then have an analogous theorem. Theorem 1.2.
1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.
More informationCHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0. Mitya Boyarchenko Vladimir Drinfeld. University of Chicago
arxiv:1301.0025v1 [math.rt] 31 Dec 2012 CHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0 Mitya Boyarchenko Vladimir Drinfeld University of Chicago Overview These are slides for a talk given
More informationCHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0. Mitya Boyarchenko Vladimir Drinfeld. University of Chicago
CHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0 Mitya Boyarchenko Vladimir Drinfeld University of Chicago Some historical comments A geometric approach to representation theory for unipotent
More informationIndCoh Seminar: Ind-coherent sheaves I
IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of
More informationA partition of the set of enhanced Langlands parameters of a reductive p-adic group
A partition of the set of enhanced Langlands parameters of a reductive p-adic group joint work with Ahmed Moussaoui and Maarten Solleveld Anne-Marie Aubert Institut de Mathématiques de Jussieu - Paris
More informationC*-Algebras and Group Representations
C*-Algebras and Department of Mathematics Pennsylvania State University EMS Joint Mathematical Weekend University of Copenhagen, February 29, 2008 Outline Summary Mackey pointed out an analogy between
More informationBraid group actions on categories of coherent sheaves
Braid group actions on categories of coherent sheaves MIT-Northeastern Rep Theory Seminar In this talk we will construct, following the recent paper [BR] by Bezrukavnikov and Riche, actions of certain
More informationRESEARCH STATEMENT. Contents
RESEARCH STATEMENT VINOTH NANDAKUMAR Contents 1. Modular representation theory, and categorification 1 2. Combinatorial bijections arising from Springer theory 3 3. Quantum groups, category O 5 References
More informationBIRTHING OPERS SAM RASKIN
BIRTHING OPERS SAM RASKIN 1. Introduction 1.1. Let G be a simply connected semisimple group with Borel subgroup B, N = [B, B] and let H = B/N. Let g, b, n and h be the respective Lie algebras of these
More informationA miniconference dedicated to A. Vaintrob s 60th birthday. Schedule
VAINTROBFEST: UNIVERSITY OF OREGON, DEPARTMENT OF MATHEMATICS, FENTON HALL, ROOM 117, NOVEMBER 5-6, 2016 REPRESENTATIONS, COMBINATORICS, KNOTS AND GEOMETRY A miniconference dedicated to A. Vaintrob s 60th
More informationWORKING SEMINAR SHEAVES IN REPRESENTATION THEORY
WORKING SEMINAR SHEAVES IN REPRESENTATION THEORY The participants are invited to choose a talk in the following list. We have classified the talks into several streams, which we have abbreviated as follows:
More informationNoncommutative counterparts of the Springer resolution
Noncommutative counterparts of the Springer resolution Roman Bezrukavnikov Abstract. Springer resolution of the set of nilpotent elements in a semisimple Lie algebra plays a central role in geometric representation
More informationHochschild homology and Grothendieck Duality
Hochschild homology and Grothendieck Duality Leovigildo Alonso Tarrío Universidade de Santiago de Compostela Purdue University July, 1, 2009 Leo Alonso (USC.es) Hochschild theory and Grothendieck Duality
More informationVERLINDE ALGEBRA LEE COHN. Contents
VERLINDE ALGEBRA LEE COHN Contents 1. A 2-Dimensional Reduction of Chern-Simons 1 2. The example G = SU(2) and α = k 5 3. Twistings and Orientations 7 4. Pushforward Using Consistent Orientations 9 1.
More informationINTEGRAL TRANSFORMS AND DRINFELD CENTERS IN DERIVED ALGEBRAIC GEOMETRY
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 23, Number 4, October 2010, Pages 909 966 S 0894-0347(10)00669-7 Article electronically published on April 1, 2010 INTEGRAL TRANSFORMS AND DRINFELD CENTERS
More informationGalois to Automorphic in Geometric Langlands
Galois to Automorphic in Geometric Langlands Notes by Tony Feng for a talk by Tsao-Hsien Chen April 5, 2016 1 The classical case, G = GL n 1.1 Setup Let X/F q be a proper, smooth, geometrically irreducible
More informationJOHN FRANCIS. 1. Motivation
POINCARÉ-KOSZUL DUALITY JOHN FRANCIS Abstract. For g a dgla over a field of characteristic zero, the dual of the Hochschild homology of the universal enveloping algebra of g completes to the Hochschild
More informationCHARACTER SHEAVES, TENSOR CATEGORIES AND NON-ABELIAN FOURIER TRANSFORM
CHARACTER SHEAVES, TENSOR CATEGORIES AND NON-ABELIAN FOURIER TRANSFORM Abstract. Notes from a course given by Victor Ostrik in Luminy, 2. Notes by Geordie Williamson.. Character sheaves Character sheaves
More informationA p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1
A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection
More informationQuaternionic Complexes
Quaternionic Complexes Andreas Čap University of Vienna Berlin, March 2007 Andreas Čap (University of Vienna) Quaternionic Complexes Berlin, March 2007 1 / 19 based on the joint article math.dg/0508534
More information370 INDEX AND NOTATION
Index and Notation action of a Lie algebra on a commutative! algebra 1.4.9 action of a Lie algebra on a chiral algebra 3.3.3 action of a Lie algebroid on a chiral algebra 4.5.4, twisted 4.5.6 action of
More informationIntroduction to Chiral Algebras
Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument
More informationMatrix factorizations over projective schemes
Jesse Burke (joint with Mark E. Walker) Department of Mathematics University of California, Los Angeles January 11, 2013 Matrix factorizations Let Q be a commutative ring and f an element of Q. Matrix
More informationarxiv: v3 [math.ag] 30 Oct 2018
CATEGORICAL JOINS ALEXANDER KUZNETSOV AND ALEXANDER PERRY arxiv:1804.00144v3 [math.ag] 30 Oct 2018 Abstract. We introduce the notion of a categorical join, which can be thought of as a categorification
More informationSymplectic algebraic geometry and quiver varieties
Symplectic algebraic geometry and quiver varieties Victor Ginzburg Lecture notes by Tony Feng Contents 1 Deformation quantization 2 1.1 Deformations................................. 2 1.2 Quantization..................................
More informationKazhdan-Lusztig polynomials for
Kazhdan-Lusztig polynomials for Department of Mathematics Massachusetts Institute of Technology Trends in Representation Theory January 4, 2012, Boston Outline What are KL polynomials for? How to compute
More informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationDimensions of Triangulated Categories, joint work with M. Ballard and L. Katzarkov
Dimensions of Triangulated Categories, joint work with M. Ballard and L. Katzarkov David Favero University of Miami January 21, 2010 The Dimension of a Triangulated Category The Dimension of a Triangulated
More informationON THE INTEGRAL HODGE CONJECTURE FOR REAL THREEFOLDS. 1. Motivation
ON THE INTEGRAL HODGE CONJECTURE FOR REAL THREEFOLDS OLIVIER WITTENBERG This is joint work with Olivier Benoist. 1.1. Work of Kollár. 1. Motivation Theorem 1.1 (Kollár). If X is a smooth projective (geometrically)
More informationOn the Virtual Fundamental Class
On the Virtual Fundamental Class Kai Behrend The University of British Columbia Seoul, August 14, 2014 http://www.math.ubc.ca/~behrend/talks/seoul14.pdf Overview Donaldson-Thomas theory: counting invariants
More informationarxiv: v1 [math.ag] 18 Nov 2017
KOSZUL DUALITY BETWEEN BETTI AND COHOMOLOGY NUMBERS IN CALABI-YAU CASE ALEXANDER PAVLOV arxiv:1711.06931v1 [math.ag] 18 Nov 2017 Abstract. Let X be a smooth projective Calabi-Yau variety and L a Koszul
More informationHomological Mirror Symmetry and VGIT
Homological Mirror Symmetry and VGIT University of Vienna January 24, 2013 Attributions Based on joint work with M. Ballard (U. Wisconsin) and Ludmil Katzarkov (U. Miami and U. Vienna). Slides available
More informationEquivariant Algebraic K-Theory
Equivariant Algebraic K-Theory Ryan Mickler E-mail: mickler.r@husky.neu.edu Abstract: Notes from lectures given during the MIT/NEU Graduate Seminar on Nakajima Quiver Varieties, Spring 2015 Contents 1
More informationSEMINAR NOTES: QUANTIZATION OF HITCHIN S INTEGRABLE SYSTEM AND HECKE EIGENSHEAVES (SEPT. 8, 2009)
SEMINAR NOTES: QUANTIZATION OF HITCHIN S INTEGRABLE SYSTEM AND HECKE EIGENSHEAVES (SEPT. 8, 2009) DENNIS GAITSGORY 1. Hecke eigensheaves The general topic of this seminar can be broadly defined as Geometric
More informationNoncommutative motives and their applications
MSRI 2013 The classical theory of pure motives (Grothendieck) V k category of smooth projective varieties over a field k; morphisms of varieties (Pure) Motives over k: linearization and idempotent completion
More informationR-matrices, affine quantum groups and applications
R-matrices, affine quantum groups and applications From a mini-course given by David Hernandez at Erwin Schrödinger Institute in January 2017 Abstract R-matrices are solutions of the quantum Yang-Baxter
More informationPart II: Recollement, or gluing
The Topological Setting The setting: closed in X, := X. i X j D i DX j D A t-structure on D X determines ones on D and D : D 0 = j (D 0 X ) D 0 = (i ) 1 (D 0 X ) Theorem Conversely, any t-structures on
More informationMIXED HODGE MODULES PAVEL SAFRONOV
MIED HODGE MODULES PAVEL SAFRONOV 1. Mixed Hodge theory 1.1. Pure Hodge structures. Let be a smooth projective complex variety and Ω the complex of sheaves of holomorphic differential forms with the de
More informationarxiv: v1 [math.rt] 29 Oct 2012
A REMARK ON BRAID GROUP ACTIONS ON COHERENT SHEAVES R. VIRK arxiv:1210.7861v1 [math.rt] 29 Oct 2012 1. Introduction and notation Examples of braid group actions on derived categories of coherent sheaves
More informationA QUICK NOTE ON ÉTALE STACKS
A QUICK NOTE ON ÉTALE STACKS DAVID CARCHEDI Abstract. These notes start by closely following a talk I gave at the Higher Structures Along the Lower Rhine workshop in Bonn, in January. I then give a taste
More informationA relative version of Kostant s theorem
A relative version of Kostant s theorem 1 University of Vienna Faculty of Mathematics Srni, January 2015 1 supported by project P27072 N25 of the Austrian Science Fund (FWF) This talk reports on joint
More informationA GEOMETRIC JACQUET FUNCTOR
A GEOMETRIC JACQUET FUNCTOR M. EMERTON, D. NADLER, AND K. VILONEN 1. Introduction In the paper [BB1], Beilinson and Bernstein used the method of localisation to give a new proof and generalisation of Casselman
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationA CATEGORIFICATION OF THE ATIYAH-BOTT LOCALIZATION FORMULA
A CATEGORIFICATION OF THE ATIYAH-BOTT LOCALIZATION FORMLA DANIEL HALPERN-LEISTNER Contents 0.1. What s in this paper 1 1. Baric structures and completion 2 2. Baric structures on equivariant derived categories
More informationLectures on the Orbit Method
Lectures on the Orbit Method A. A. Kirillov Graduate Studies in Mathematics Volume 64 American Mathematical Society Providence, Rhode Island Preface Introduction xv xvii Chapter 1. Geometry of Coadjoint
More informationThe Hecke category (part II Satake equivalence)
The Hecke category (part II Satake equivalence) Ryan Reich 23 February 2010 In last week s lecture, we discussed the Hecke category Sph of spherical, or (Ô)-equivariant D-modules on the affine grassmannian
More information8 Perverse Sheaves. 8.1 Theory of perverse sheaves
8 Perverse Sheaves In this chapter we will give a self-contained account of the theory of perverse sheaves and intersection cohomology groups assuming the basic notions concerning constructible sheaves
More informationThe curve and the Langlands program
The curve and the Langlands program Laurent Fargues (CNRS/IMJ) t'etlp.at µ Îà t.at KozoI 2in spoliais Ü c Gallotta The curve Defined and studied in our joint work with Fontaine Two aspects : compact p-adic
More informationDerived intersections and the Hodge theorem
Derived intersections and the Hodge theorem Abstract The algebraic Hodge theorem was proved in a beautiful 1987 paper by Deligne and Illusie, using positive characteristic methods. We argue that the central
More informationCATEGORICAL sl 2 ACTIONS
CATEGORICAL sl 2 ACTIONS ANTHONY LICATA 1. Introduction 1.1. Actions of sl 2 on categories. A action of sl 2 on a finite-dimensional C-vector space V consists of a direct sum decomposition V = V (λ) into
More informationNon characteristic finiteness theorems in crystalline cohomology
Non characteristic finiteness theorems in crystalline cohomology 1 Non characteristic finiteness theorems in crystalline cohomology Pierre Berthelot Université de Rennes 1 I.H.É.S., September 23, 2015
More informationLoop group actions on categories and Whittaker invariants. Dario Beraldo
Loop group actions on categories and Whittaker invariants by Dario Beraldo A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in
More informationHomological mirror symmetry via families of Lagrangians
Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants
More informationPART II.2. THE!-PULLBACK AND BASE CHANGE
PART II.2. THE!-PULLBACK AND BASE CHANGE Contents Introduction 1 1. Factorizations of morphisms of DG schemes 2 1.1. Colimits of closed embeddings 2 1.2. The closure 4 1.3. Transitivity of closure 5 2.
More informationINTEGRAL TRANSFORMS FOR COHERENT SHEAVES
INTEGRAL TRANSFORMS FOR COHERENT SHEAVES DAVID BEN-ZVI, DAVID NADLER, AND ANATOLY PREYGEL Abstract. The theory of integral, or Fourier-Mukai, transforms between derived categories of sheaves is a well
More informationCATEGORICAL ASPECTS OF ALGEBRAIC GEOMETRY IN MIRROR SYMMETRY ABSTRACTS
CATEGORICAL ASPECTS OF ALGEBRAIC GEOMETRY IN MIRROR SYMMETRY Alexei Bondal (Steklov/RIMS) Derived categories of complex-analytic manifolds Alexender Kuznetsov (Steklov) Categorical resolutions of singularities
More informationShow that the second projection Ñ Fl n identifies Ñ as a vector bundle over Fl n. In particular, Ñ is smooth. (Challenge:
1. Examples of algebraic varieties and maps Exercise 1.1 Let C be a smooth curve and f : C P 1 a degree two map ramified at n points. (C is called a hyperelliptic curve.) Use the n ramification points
More informationMatilde Marcolli and Goncalo Tabuada. Noncommutative numerical motives and the Tannakian formalism
Noncommutative numerical motives and the Tannakian formalism 2011 Motives and Noncommutative motives Motives (pure): smooth projective algebraic varieties X cohomology theories H dr, H Betti, H etale,...
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationPART IV.2. FORMAL MODULI
PART IV.2. FORMAL MODULI Contents Introduction 1 1. Formal moduli problems 2 1.1. Formal moduli problems over a prestack 2 1.2. Situation over an affine scheme 2 1.3. Formal moduli problems under a prestack
More informationOn algebraic index theorems. Ryszard Nest. Introduction. The index theorem. Deformation quantization and Gelfand Fuks. Lie algebra theorem
s The s s The The term s is usually used to describe the equality of, on one hand, analytic invariants of certain operators on smooth manifolds and, on the other hand, topological/geometric invariants
More informationLAFFORGUE BACKGROUND SEMINAR PART 3 - UNIFORMIZATION OF Bun G
LAFFORGUE BACKGROUND SEMINAR PART 3 - UNIFORMIZATION OF Bun G EVAN WARNER 1. More about the moduli stack of G-bundles Recall our setup from before: k is a field 1, X a projective connected smooth curve
More informationRTG Mini-Course Perspectives in Geometry Series
RTG Mini-Course Perspectives in Geometry Series Jacob Lurie Lecture IV: Applications and Examples (1/29/2009) Let Σ be a Riemann surface of genus g, then we can consider BDiff(Σ), the classifying space
More informationD-MODULES: AN INTRODUCTION
D-MODULES: AN INTRODUCTION ANNA ROMANOVA 1. overview D-modules are a useful tool in both representation theory and algebraic geometry. In this talk, I will motivate the study of D-modules by describing
More informationCohomological Formulation (Lecture 3)
Cohomological Formulation (Lecture 3) February 5, 204 Let F q be a finite field with q elements, let X be an algebraic curve over F q, and let be a smooth affine group scheme over X with connected fibers.
More informationCategorified Hecke algebras, link homology, and Hilbert schemes
Categorified Hecke algebras, link homology, and Hilbert schemes organized by Eugene Gorsky, Andrei Negut, and Alexei Oblomkov Workshop Summary The workshop brought together experts with a wide range of
More informationNotes on Partial Resolutions of Nilpotent Varieties by Borho and Macpherson
Notes on Partial Resolutions of Nilpotent Varieties by Borho and Macpherson Chris Elliott January 14th, 2014 1 Setup Let G be a complex reductive Lie group with Lie algebra g. The paper [BM83] relates
More informationCharacters of the Negative Level Highest-Weight Modules for Affine Lie Algebras
IMRN International Mathematics Research Notices 1994, No. 3 Characters of the Negative Level Highest-Weight Modules for Affine Lie Algebras Masaki Kashiwara and Toshiyuki Tanisaki 0 Introduction Our main
More informationLONDON NUMBER THEORY STUDY GROUP: CYCLES ON SHIMURA VARIETIES VIA GEOMETRIC SATAKE, FOLLOWING LIANG XIAO AND XINWEN ZHU
LONDON NUMBER THEORY STUDY GROUP: CYCLES ON SHIMURA VARIETIES VIA GEOMETRIC SATAKE, FOLLOWING LIANG XIAO AND XINWEN ZHU ANA CARAIANI Let (G, X be a Shimura datum of Hodge type. For a neat compact open
More informationDarboux theorems for shifted symplectic derived schemes and stacks
Darboux theorems for shifted symplectic derived schemes and stacks Lecture 1 of 3 Dominic Joyce, Oxford University January 2014 Based on: arxiv:1305.6302 and arxiv:1312.0090. Joint work with Oren Ben-Bassat,
More informationArithmetic of certain integrable systems. University of Chicago & Vietnam Institute for Advanced Study in Mathematics
Arithmetic of certain integrable systems Ngô Bao Châu University of Chicago & Vietnam Institute for Advanced Study in Mathematics System of congruence equations Let us consider a system of congruence equations
More informationLectures 1 and 2: General introduction, DG algebras.
Non-commutative Geometry from a homological point of view Seoul, 2009 1 Lectures 1 and 2: General introduction, DG algebras. 1.1 Motivations. Let me start by recalling the standard correspondence between
More informationD-Modules on the Affine Flag Variety and Representations of Affine Kac-Moody Algebras
D-Modules on the ffine Flag Variety and Representations of ffine Kac-Moody lgebras The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters
More informationk=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula
20 VASILY PESTUN 3. Lecture: Grothendieck-Riemann-Roch-Hirzebruch-Atiyah-Singer Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim
More information