LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT
|
|
- Eileen Hood
- 5 years ago
- Views:
Transcription
1 LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT DENNIS GAITSGORY 1. Statement of the problem Throughout the talk, by a chiral module we shall understand a chiral D-module, unless explicitly stated otherwise Local fusion) definition of tensor product. Let X be a smooth but not necessarily complete) curve Let A be a chiral algebra on X. Let N 1, N 2 and N be chiral A-modules on X. We shall assume that N 1, N 2 and N all belong to the heart of the natural t-structure. We wish to define the notion of chiral pairing 1.1) N 1, N 2 ) N. The most natural definition, and one which generalizes to the case of n-fold operations, as well to the derived case, is the following: Definition The datum of chiral pairing 1.1) is that of a chiral A-module N on X X, equipped with identifications j N ) j N 1 N 2 ), as chiral A-modules on X X X and as chiral A-modules on X. X )! N ) N[ 1], Note that we do not and cannot) require that N belong to the heart of the t-structure. In fact, N can live in cohomological degrees 0 and 1. We shall denote the set of chiral pairings as above by Maps loc A {N 1, N 2 }, N) The above definition can be tautologically rewritten in more elementary terms, which we will use in this talk. Namely, we claim that a datum of chiral pairing as above is equivalent to a map of D-modules on X X: 1.2) j j N 1 N 2 ) X ) dr, N), which satisfies the following condition with respect to the action of A: the three maps j j A N 1 N 2 ) X ) dr, N), sum up to zero, where in the latter formula X is the main diagonal, and j is the complement of the diagonal divisor in X 3. Date: November 30,
2 2 DENNIS GAITSGORY Given N as in Definition 1.1.2, one constructs the map 1.2) from the exact triangle X ) dr,! XN ) N j j N ). Vice versa, a map 1.2) can be viewed as a map of chiral A-modules on X X, and one recovers N as its cone shifted by [ 1] Suppose that for given N 1 and N 2, the functor is co-representable. A-modD-modX)) Sets N Maps loc A {N 1, N 2 }, N) In this case we shall denote the resulting object of A-modD-modX)) by N 1 loc N 2 ) mon. Here the subscript mon refers to the fact that the above object does not capture the full fusion tensor product of N 1 and N 2, but rather the coinvariants of the monodromy in the latter. Remark There seems to be no reasonable way to intrinsically define the full fusion tensor product as an object of A-modD-modX)). The problem is the same as that of making sense of the functor of total nearby cycles for D-modules. We shall take up this issue in the subsequent talks Taking coinvariants. In this talk, by coinvariants we shall always mean the non-derived version Assume now that X is complete, and let X be a point different from 0. Let denote the corresponding maps. ι 0 : pt X, ι : pt X, j : X {0 } := X X In what follows we shall consider the following particular case of the set-up of Sect : We shall denote N 2 =: L, and assume that both L and N are supported at a fixed point 0 X. Note that in either approach to fusion, the result only depends on the restriction N 1 X =: M, so we can talk about the set Maps loc A {M, L}, N) of chiral pairings M, L) N Let P be a chiral A-module supported at. For M, L, N and P as above we can consider as chiral A-modules on and respectively. P M L and P N { } X {0} X X X { } {0} X X,
3 LOCAL VS GLOBAL DEFINITION OF TENSOR PRODUCT 3 In particular, we can consider the corresponding D-modules of conformal blocks C A P, M, L) D-mod X 0) and C A P, N) D-mod{ } {0}). Lemma For a chiral pairing M, L) N there exists a unique map of D-modules on { } X {0} X j C A P, M, L)) ι 0 ) dr, C A P, N)) which makes the following diagram of D-modules commute: j P M L) ι 0 ) dr, P N) j C A P, M, L)) ι 0 ) dr, C A P, N)) Thus, to M, L, N, and P from some fixed subcategory P A-mod ) we can attach the following two sets: A) The set Maps loc A {M, L}, N). B) The set Maps glob,p A {M, L}, N) of natural transformations between the following two functors P D-modX): P j C A P, M, L)) and P ι 0 ) dr, C A P, N)). By Lemma 1.2.3, we have a canonically defined map 1.3) Maps loc A {M, L}, N) Maps glob,p {M, L}, N). The goal of this talk is to gives sufficient conditions on 0, ) X, A, M, L, N and the category P, which will guarantee that the map 1.3) is an isomorphism. 2. Assumptions on the algebra and modules 2.1. Chiral algebras with a Harish-Chandra datum. The first set of assumptions has to do with A itself Let X be a smooth curve. Let A be a chiral algebra on X. We shall assume that A is equipped with a Sugawara data, i.e., with a homomorphism of Lie-* algebras where Θ is some fixes central extension A φ ch : Θ X A, 0 ω X Θ X Θ X 0. By [Ga], formula 6.5), we can define an action of vector fields considered as a sheaf in Zariski topology on X) on A also considered as a sheaf in Zariski topopology) by the formula 2.1) ξ a = h id){φ ch ξ), a}) a ξ Assume now that X is acted on by a group G by automorphisms. In practice, we shall take X = P 1 with fixed points 0, ) X and G = G m. In particular, from formula 2.1) we obtain an action of g := LieG) on local sections of A via the map g ΓX, T X ) given by the action of G on X.
4 4 DENNIS GAITSGORY We shall now impose the following structure on A. We shall assume that A, viewed as a D-module on X carries a weak G-equivariant structure, such that It is compatible with the chiral bracket; The resulting action of g on local) sections of A is given by 2.1). Note that if G is connected, and A lies in the heart of the t-structure, the second condition determines the weak G-equivariant structure uniquely. I.e., it is the question of integrability of the Lie algebra action to the group.) Note that when we consider A as a weakly G-equivariant D-module on X, the obstruction to strong equivariance see [Ga, Sect ]), which is an action of g by endomorphisms of the D-module structure on A is by construction given by the action 2.2) ξ g, a A) h id){φ ch ξ), a}) The structure of weak G-equivariance on A endows the categories A-modQCohX)) and A-modD-modX)) with natural weak G-actions, so that the forgetful functor is weakly) G-equivariant. A-modD-modX)) A-modQCohX)) Now, it follows from [Ga, Proposition 2.7.8], that the datum of φ ch satisfying the conditions of Sect upgrades the above weak G-action on A-modD-modX)) to a strong one The structure of strong G-action on A-modD-modX)) is uniquely characterized by the following property. Let M be an object of A-modD-modX)) G,weak. In particular, the D-module underlying M has a natural structure of object in D-modX) G,weak. Then the obstruction to strong G-equivariance of M as a D-module, which is a map g End D-modX) M) is the sum of the obstruction to strong equivariance of M as an object of A-modD-modX)), which is a map g End A-modD-modX)) M) and the commuting) g-action given by 2.3) ξ g, m M) h id){φ ch ξ), m}) The category of modules. From now on we specialize to the case X = P 1, and G = G m with the standard action Recall that of C is a category acted on strongly by G m, and λ k, there exists a full subcategory C Gm,λ -mon C. Namely, consider C Gm,weak. Obstruction to strong G m -equivariance see [Ga], Sect ) defines on C Gm,weak a structure of module category with respect to QCohA 1 ), and we set C Gm,λ -mon := C Gm,weak QCohA 1 ) {λ}, QCohA 1 ) where QCohA 1 ) {λ} QCohA 1 ) is the full subcategory of objects set-theoretically supported at {λ} A 1.
5 LOCAL VS GLOBAL DEFINITION OF TENSOR PRODUCT 5 Lemma The composed functor is fully faithful. C Gm,λ -mon C Gm,weak C For λ = 0 we shall denote C Gm,0 -mon simply by C Gm,mon. It is easy to see that the essential image of C Gm,mon in C is generated by the essential image of the forgetful functor C Gm,strong C It is easy to see that for λ 1 λ 2 Z, the subcategories C Gm,λ1 -mon Gm,λ2 -mon and C of C coincide. Thus, we have a well-defined subcategory for λ k/z. C Gm,λ -mon C It is also easy to see that if λ 1 λ 2 / Z, the corresponding subcategories are mutually orthogonal. We let denote the full subcategory equal to C Gm,gen-mon C C Gm,λ -mon. λ k/z We let P max,0 be the following full subcategory of the heart of A-mod{0}) Gm gen-mon. Note this category will not be closed under colimits.) Note that for every object N A-mod{0}) Gm gen-mon the action of the generator L 0 := t t of LieG m ) on the underlying vector space is locally finite. We shall say that N P max,0 if the generalized eigenspaces of L 0 are finite-dimensional, and if the intersection of its spectrum with every coset in k mod Z is bounded from above Similarly, we define P max, as the full abelian subcategory of the heart of Gm gen-mon A-mod{ }) by requiring that the generalized eigenspaces of L 0 on the underlying vector space be finitedimensional, and if the intersection of its spectrum with every coset in k mod Z is bounded from below. As in [Ts, Sect. 5], there exists a canonical anti-equivalence characterized by the following property: For N P max,0 and P P max,, we have: D : P max,0 P max,, Hom Pmax, P, DN)) = C A P, N). At the level of underlying vector spaces, for λ k, we have: λdn)) λ N), where λ ) denotes the generalized eigenspace corresponding to λ.
6 6 DENNIS GAITSGORY Let now P 0 be an arbitrary abelian subcategory of P max,0. Let P P max, be the essential image of P 0 under D. We will prove: Theorem The map 1.3) is an isomorphism for N P 0 and P = P Construction of the inverse map. 3. Proof of the Theorem We start with a datum of natural transformation as in B) of Sect I.e., for given M, L and N as in the theorem, we have maps of D-modules functorial in P P. j C A P, M, L)) ι 0 ) dr, C A P, N)) Our first goal is to construct a map of D-modules 3.1) j M L) ι 0 ) dr, N). Fix λ k. We will construct the corresponding composed map 3.2) j M L) ι 0 ) dr, N) ι 0 ) dr, λ N) Consider the functor F λ : P Vect that sends P to λ P. It is easy to see that the functor is pro-representable. Let i Q i λ denote the corresponding filtered) projective system of objects of P. In particular, for every P P, we have λp colim i Hom P Q i λ, P). It is easy to see that we can assume that all Q i λ are λ-monodromic By construction, the vector space underlying each Q i λ comes equipped with a canonical vector qλ i, and there vectors go to one another under the transition maps for i j. Q j λ Qi λ We can replace each Q i λ by its submodule generated by qi λ, and the new projective system will pro-represent the same functor F λ. This allows to assume that the transition maps Q j λ Qi λ are surjective. In particular, for each i, the corresponding map Hom P Q i λ, P) λ P is injective. The latter property, in turn, implies that we can assume that for every P P, the vector space Hom P Q i λ, P) is finite-dimensional since F λp) is), and that the system stabilizes to λ P. i Hom P Q i λ, P)
7 LOCAL VS GLOBAL DEFINITION OF TENSOR PRODUCT For N A-mod{0}), we obtain a canonical map of vector spaces and a thus a map N qi λ id Q i λ N C A Q i λ, N), 3.3) N lim i C A Q i λ, N). The following assertion will play a crucial role: Proposition The projective system i C A Q i λ, N) stabilizes, its eventual value is canonically isomorphic to λ N, so that the map 3.3) identifies with the projection onto the λ eigenspace. Proof. We rewrite C A Q i λ, N) Hom P Q i λ, DN)), and as was mentioned above, the assignment i Hom P Q i λ, DN)), stabilizes to λ DN)); in particular, it is finite-dimensional. Hence, the assignment stabilizes to as required. i C A Q i λ, N) λ DN))) λ N, We are now able to construct the map 3.2). For each index i consider the composed map of D-modules j M L) q i λ id Q i λ j M L) j CA Q i λ, M, L)) ι 0 ) dr, CA Q i λ, N)). Taking i large so that N C A Q i λ, N) identifies with the projection N λ N, we obtain the desired map, so that the diagram j M L) ι 0 ) dr, λ N) q i λ id q i λ id Q i λ j M L) Q i λ ι 0) dr, N) j CA Q i λ, M, L)) ι 0 ) dr, CA Q i λ, N))
8 8 DENNIS GAITSGORY commutes Let us now show that the diagram of D-modules P j M L) P ι 0 ) dr, N) j C A P, M, L)) ι 0 ) dr, C A P, N)) commutes for any P P. By definition, it is enough to do so after precomposing it with the map j M L) P j M L) corresponding to a spanning set of elements in the vector space underlying P. For each λ k and a vector p λ P. Consider the corresponding diagram j M L) ι 0 ) dr, N) p id p id P j M L) P ι 0 ) dr, N) j C A P, M, L)) ι 0 ) dr, C A P, N)), in which the upper square is tautologically commutative. So, we need to establish the commutativity of the outer square. Note also that the right composed arrow factors through the projection of ι 0 ) dr, N) onto ι 0 ) dr, λ N). Choose an index i so that p is the image of qλ i under a map f : Q i λ P. The map j M L) ι 0 ) dr, λ N) p id P ι 0 ) dr, N) equals ι 0 ) dr, C A P, N)) j M L) ι 0 ) dr, λ N) q i λ id Q i λ ι 0) dr, N) ι 0 ) dr, CA Q i λ, N)) f id ι 0 ) dr, C A P, N)).
9 LOCAL VS GLOBAL DEFINITION OF TENSOR PRODUCT 9 The map j M L) p id P j M L) equals j C A P, M, L)) ι 0 ) dr, C A P, N)) j M L) q i λ id Q i λ j M L) j CA Q i λ, M, L)) f id id j C A P, M, L)) ι 0 ) dr, C A P, N)), which by the functoriality of the datum of Maps glob,p A {M, L}, N) equals j M L) q i λ id Q i λ j M L) j CA Q i λ, M, L)) ι 0 ) dr, CA Q i λ, N)) f id ι 0 ) dr, C A P, N)), while the latter, by the construction of the map 3.1), equals j M L) ι 0 ) dr, λ N) q i λ id Q i λ ι 0) dr, N) ι 0 ) dr, CA Q i λ, N)) f id as required. ι 0 ) dr, C A P, N)),
10 10 DENNIS GAITSGORY 3.2. Interlude. Before we prove that the map of D-modules 3.1), constructed above, verifies the axioms of chiral pairing, as a warm-up, let us give a description of a data of chiral action of a chiral algebra on a module in terms of coinvariants Let X be an arbitrary curve with two points 0, ) X, and let A be an arbitrary chiral algebra on X. Let N be a chiral A-module supported at X. In particular, we have a map of D-modules j A) N ι 0 ) dr, N). Let W be a vector space endowed with a pairing In particular, we obtain a map of D-modules ψ : N W k. 3.4) j A left ) N W ι 0 ) dr, k). We wish to describe the map 3.4) in global terms Let us recall the following general construction. Let M be a left D-module on X. Then the data of a map jm) ι 0 ) dr, k) is equivalent to that of a map of left D-modules over X M K 0, where K 0 is the completed local field at 0 X Let P be a chiral A-module supported at X, and suppose that we are given a functional η : CN, P) k. In particular, we have a pairing of vector spaces We shall describe the map ψ η : N P Ψ : CN, P) k. 3.5) A left N P K 0 corresponding to 3.4) for W = P. Remark Note that for 0, ) X and A as in Sect. 2.1, and N P max,0, there is a canonical choice for P, namely, DN). In this case, the vector space underlying P is the restricted dual of that of N with respect to the grading by L Consider the canonical map of D-modules on X: 3.6) A left N P C A A left, N, P) O X C A N, P) η O X. Lemma The Laurent expansion of the map 3.6) at 0 X equals the map 3.5). A left N P O X
11 LOCAL VS GLOBAL DEFINITION OF TENSOR PRODUCT 11 Proof. Follows from the commutative diagram j A left ) N P ι 0 ) dr, N P) j CA A left, N, P) ) ι 0 ) dr, C A N P)) id j O X ) C A N P)) ι 0 ) dr, C A N P)) ψ η ι0 ) dr, k) id η ι 0 ) dr, k) id η ι 0 ) dr, k) where the left bottom horizontal arrow is the canonical map, so that the map O X C A N P) K 0 corresponding to it is given by ψ η and the tautological map O X K Verifying the relations. We shall finally show that the map of D-modules 3.1) verifies the axioms of chiral pairing. In this subsection it will be essential that we work within an abelian category We will show that any map of D-modules 3.7) j M L) ι 0 ) dr, N) such that for every P P there exists a bottom arrow completing to a commutative diagram the map 3.7) is a chiral pairing. j P M L) ι 0 ) dr, P N) j C A P, M, L)) ι 0 ) dr, C A P, N)). j P M L) ι 0 ) dr, P N) j C A P, M, L)) ι 0 ) dr, C A P, N)), As we shall see, it is enough to take P from the collection Q i λ from the previous subsection Let B be the following Lie algebra in the category of D-modules on X X: where B := p 1,2 ) dr, j j p! 3A), X X X p 1,2 X X, and where j is the embedding of the open locus p 3 X x 1, x 2, x 3 ), x 3 x 1, x 2, 0,.
12 12 DENNIS GAITSGORY By construction, the Lie algebra B acts on both j M L) and ι 0 ) dr, N). It is easy to see that if a map j M L) ι 0 ) dr, N) is a chiral pairing, then it also respects the action of B. Proposition For M, L, N lying in the heart of the t-structure, if a map j M L) ι 0 ) dr, N) respects the action of B, then it is a chiral pairing. Remark Note that the property of a map j M L) ι 0 ) dr, N) is local around 0 X, so it does not see the point. However, the assertion of Proposition would have been false, had we not removed the divisor x 3 = from X X X. The latter is done in order to make the map p 1,2 affine. Proof. The assertion follows from the next general observation. Let π : Y 1 Y 2 be a map with affine fibers, and let i : Z Y 1 be a closed subset such that π i : Z Y 2 is finite. Let f : M i dr, N) be a map of D-modules. Assume that the resulting map is zero. p dr, M) p i) dr, N) Then, if M and N both lie in the heart of the t-structure, then f = Thus, we need to prove the commutativity of the square 3.8) B j M L) B ι 0 ) dr, N) j M L) ι 0 ) dr, N). For λ k and an index i, consider the corresponding map N qi λ Q i λ N C A Q i λ, N). By Proposition 3.1.5, it suffices to show that the two circuits of the diagram 3.8) give the same result after composing with the map ι 0 ) dr, N) ι 0 ) dr, CA Q i λ, N) ). In the sequel, instead of Q i λ we shall use an arbitrary object P P and a vector p P.
13 LOCAL VS GLOBAL DEFINITION OF TENSOR PRODUCT We will show that the two arrows are equal by completing the two composed morphisms to a commutative cube: B j M L) B ι 0 ) dr, N) id p id B j P M L) id p id B ι 0 ) dr, P N) 3.9) j M L) ι 0 ) dr, N) j C A P, M, L)) ι 0 ) dr, C A P, N)) Let us specify the arrows in this diagram. The back wall equals the diagram 3.8), whose commutativity we need to establish. The top lid in 3.9) is tautologically commutative. The bottom lid is obtained as the outer square in the diagram which is commutative by assumption. j M L) ι 0 ) dr, N) p id p id j P M L) ι 0 ) dr, P N) j C A P, M, L)) ι 0 ) dr, C A P, N)), The map B j P M L) j C A P, M, L)) is the composition B j P M L) B j P M L) j C A P, M, L)), where the second arrow is the natural projection, and the first arrow is the action of B on the M and L factors. This implies that the left square in 3.9) commutes. The map B ι 0 ) dr, P N) ι 0 ) dr, C A P, N)) is defined similarly. In particular, the right square in 3.9) commutes.
14 14 DENNIS GAITSGORY Hence, it remains to show that the front square in 3.9) commutes. Note, however, that by the definition of coinvariants, the front left vertical arrow equals also the composition B j P M L) B j P M L) j C A P, M, L)), where the second arrow is the natural projection, and the first arrow is the negative of the B-action on the P-factor. A similar remark applies to the front right vertical arrow. This shows that the front square commutes, again by the assumption on the map j M L) ι 0 ) dr, N). References [Ga] D. Gaitsgory Universal constructions of crystals, Seminar notes. [Ts] A. Tsymbalyuk, Category O, Seminar notes.
PART II.1. IND-COHERENT SHEAVES ON SCHEMES
PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image
More informationConformal blocks for a chiral algebra as quasi-coherent sheaf on Bun G.
Conformal blocks for a chiral algebra as quasi-coherent sheaf on Bun G. Giorgia Fortuna May 04, 2010 1 Conformal blocks for a chiral algebra. Recall that in Andrei s talk [4], we studied what it means
More informationConnecting Coinvariants
Connecting Coinvariants In his talk, Sasha taught us how to define the spaces of coinvariants: V 1,..., V n = V 1... V n g S out (0.1) for any V 1,..., V n KL κg and any finite set S P 1. In her talk,
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 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 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 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 informationPART III.3. IND-COHERENT SHEAVES ON IND-INF-SCHEMES
PART III.3. IND-COHERENT SHEAVES ON IND-INF-SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on ind-schemes 2 1.1. Basic properties 2 1.2. t-structure 3 1.3. Recovering IndCoh from ind-proper maps
More informationCHAPTER V.2. EXTENSION THEOREMS FOR THE CATEGORY OF CORRESPONDENCES
CHAPTER V.2. EXTENSION THEOREMS FOR THE CATEGORY OF CORRESPONDENCES Contents Introduction 1 0.1. The bivariant extension procedure 2 0.2. The horizontal extension procedure 3 1. Functors obtained by bivariant
More informationNOTES ON GEOMETRIC LANGLANDS: STACKS
NOTES ON GEOMETRIC LANGLANDS: STACKS DENNIS GAITSGORY This paper isn t even a paper. I will try to collect some basic definitions and facts about stacks in the DG setting that will be used in other installments
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationDerivations and differentials
Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,
More informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationCHAPTER I.2. BASICS OF DERIVED ALGEBRAIC GEOMETRY
CHAPTER I.2. BASICS OF DERIVED ALGEBRAIC GEOMETRY Contents Introduction 2 0.1. Why prestacks? 2 0.2. What do we say about prestacks? 3 0.3. What else is done in this Chapter? 5 1. Prestacks 6 1.1. The
More informationDERIVED CATEGORIES OF STACKS. Contents 1. Introduction 1 2. Conventions, notation, and abuse of language The lisse-étale and the flat-fppf sites
DERIVED CATEGORIES OF STACKS Contents 1. Introduction 1 2. Conventions, notation, and abuse of language 1 3. The lisse-étale and the flat-fppf sites 1 4. Derived categories of quasi-coherent modules 5
More informationLecture 4 Super Lie groups
Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is
More informationDerived Algebraic Geometry IX: Closed Immersions
Derived Algebraic Geometry I: Closed Immersions November 5, 2011 Contents 1 Unramified Pregeometries and Closed Immersions 4 2 Resolutions of T-Structures 7 3 The Proof of Proposition 1.0.10 14 4 Closed
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationDraft: February 26, 2010 ORDINARY PARTS OF ADMISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE GROUPS I. DEFINITION AND FIRST PROPERTIES
Draft: February 26, 2010 ORDINARY PARTS OF ADISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE ROUPS I. DEFINITION AND FIRST PROPERTIES ATTHEW EERTON Contents 1. Introduction 1 2. Representations of p-adic analytic
More informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
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 informationWhat is an ind-coherent sheaf?
What is an ind-coherent sheaf? Harrison Chen March 8, 2018 0.1 Introduction All algebras in this note will be considered over a field k of characteristic zero (an assumption made in [Ga:IC]), so that we
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationLECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS
LECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS In this lecture, we study the commutative algebra properties of perfect prisms. These turn out to be equivalent to perfectoid rings, and most of the lecture
More informationLecture 9: Sheaves. February 11, 2018
Lecture 9: Sheaves February 11, 2018 Recall that a category X is a topos if there exists an equivalence X Shv(C), where C is a small category (which can be assumed to admit finite limits) equipped with
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationLECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O
LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O CHRISTOPHER RYBA Abstract. These are notes for a seminar talk given at the MIT-Northeastern Category O and Soergel Bimodule seminar (Autumn
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 informationLECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES
LECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES DMYTRO MATVIEIEVSKYI Abstract. These are notes for a talk given at the MIT-Northeastern Graduate Student Seminar on category O and Soergel bimodules,
More informationAlgebraic Geometry
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 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 informationINTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES
INTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES 1. Why correspondences? This part introduces one of the two main innovations in this book the (, 2)-category of correspondences as a way to encode
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More informationLecture 15: Duality. Next we spell out the answer to Exercise It is part of the definition of a TQFT.
Lecture 15: Duality We ended the last lecture by introducing one of the main characters in the remainder of the course, a topological quantum field theory (TQFT). At this point we should, of course, elaborate
More informationBRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,
CONNECTIONS, CURVATURE, AND p-curvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and p-curvature, in terms of maps of sheaves
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 informationLecture 9 - Faithfully Flat Descent
Lecture 9 - Faithfully Flat Descent October 15, 2014 1 Descent of morphisms In this lecture we study the concept of faithfully flat descent, which is the notion that to obtain an object on a scheme X,
More informationPERVERSE SHEAVES. Contents
PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on D-modules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a
More informationCategories and Modules
Categories and odules Takahiro Kato arch 2, 205 BSTRCT odules (also known as profunctors or distributors) and morphisms among them subsume categories and functors and provide more general and abstract
More informationLECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES
LECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES DMYTRO MATVIEIEVSKYI Abstract. These are notes for a talk given at the MIT-Northeastern Graduate Student Seminar on category O and Soergel bimodules,
More informationCHAPTER IV.3. FORMAL GROUPS AND LIE ALGEBRAS
CHAPTER IV.3. FORMAL GROUPS AND LIE ALGEBRAS Contents Introduction 2 0.1. Why does the tangent space of a Lie group have the structure of a Lie algebra? 2 0.2. Formal moduli problems and Lie algebras 3
More information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More informationCHAPTER III.4. AN APPLICATION: CRYSTALS
CHAPTER III.4. AN APPLICATION: CRYSTALS Contents Introduction 1 0.1. Let s do D-modules! 2 0.2. D-modules via crystals 2 0.3. What else is done in this chapter? 4 1. Crystals on prestacks and inf-schemes
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationLECTURE 5: v n -PERIODIC HOMOTOPY GROUPS
LECTURE 5: v n -PERIODIC HOMOTOPY GROUPS Throughout this lecture, we fix a prime number p, an integer n 0, and a finite space A of type (n + 1) which can be written as ΣB, for some other space B. We let
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 informationAn introduction to derived and triangulated categories. Jon Woolf
An introduction to derived and triangulated categories Jon Woolf PSSL, Glasgow, 6 7th May 2006 Abelian categories and complexes Derived categories and functors arise because 1. we want to work with complexes
More informationHomology and Cohomology of Stacks (Lecture 7)
Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic
More informationCategory O and its basic properties
Category O and its basic properties Daniil Kalinov 1 Definitions Let g denote a semisimple Lie algebra over C with fixed Cartan and Borel subalgebras h b g. Define n = α>0 g α, n = α
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More information1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim
Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationSupercategories. Urs July 5, Odd flows and supercategories 4. 4 Braided monoidal supercategories 7
Supercategories Urs July 5, 2007 ontents 1 Introduction 1 2 Flows on ategories 2 3 Odd flows and supercategories 4 4 Braided monoidal supercategories 7 1 Introduction Motivated by the desire to better
More informationPERVERSE SHEAVES: PART I
PERVERSE SHEAVES: PART I Let X be an algebraic variety (not necessarily smooth). Let D b (X) be the bounded derived category of Mod(C X ), the category of left C X -Modules, which is in turn a full subcategory
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More informationDeformation theory of representable morphisms of algebraic stacks
Deformation theory of representable morphisms of algebraic stacks Martin C. Olsson School of Mathematics, Institute for Advanced Study, 1 Einstein Drive, Princeton, NJ 08540, molsson@math.ias.edu Received:
More informationMath 210B. Profinite group cohomology
Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More informationThe Hitchin map, local to global
The Hitchin map, local to global Andrei Negut Let X be a smooth projective curve of genus g > 1, a semisimple group and Bun = Bun (X) the moduli stack of principal bundles on X. In this talk, we will present
More informationALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS
ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample
More informationCohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)
More informationCategory Theory. Categories. Definition.
Category Theory Category theory is a general mathematical theory of structures, systems of structures and relationships between systems of structures. It provides a unifying and economic mathematical modeling
More informationMath Homotopy Theory Hurewicz theorem
Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationDerived Algebraic Geometry I: Stable -Categories
Derived Algebraic Geometry I: Stable -Categories October 8, 2009 Contents 1 Introduction 2 2 Stable -Categories 3 3 The Homotopy Category of a Stable -Category 6 4 Properties of Stable -Categories 12 5
More informationConstruction of M B, M Dol, M DR
Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant
More informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More informationThe Hecke category (part I factorizable structure)
The Hecke category (part I factorizable structure) Ryan Reich 16 February 2010 In this lecture and the next, we will describe the Hecke category, namely, the thing which acts on D-modules on Bun G and
More informationMath 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.
Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. 24. We basically know already that groups of order p 2 are abelian. Indeed, p-groups have non-trivial
More informationwhere Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset
Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring
More informationReflexivity of Locally Convex Spaces over Local Fields
Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C- linear isometric
More informationTunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society
Tunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society Grothendieck Messing deformation theory for varieties of K3 type Andreas Langer and Thomas Zink
More informationWild ramification and the characteristic cycle of an l-adic sheaf
Wild ramification and the characteristic cycle of an l-adic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local
More informationDraft: July 15, 2007 ORDINARY PARTS OF ADMISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE GROUPS I. DEFINITION AND FIRST PROPERTIES
Draft: July 15, 2007 ORDINARY PARTS OF ADISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE ROUPS I. DEFINITION AND FIRST PROPERTIES ATTHEW EERTON Contents 1. Introduction 1 2. Representations of p-adic analytic
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationThe V -filtration and vanishing and nearby cycles
The V -filtration and vanishing and nearby cycles Gus Lonergan Disclaimer: We will work with right D-modules. Any D-module we consider will be at least coherent. We will work locally, choosing etale coordinates
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 informationPARABOLIC SHEAVES ON LOGARITHMIC SCHEMES
PARABOLIC SHEAVES ON LOGARITHMIC SCHEMES Angelo Vistoli Scuola Normale Superiore Bordeaux, June 23, 2010 Joint work with Niels Borne Université de Lille 1 Let X be an algebraic variety over C, x 0 X. What
More informationAlgebraic Cobordism. 2nd German-Chinese Conference on Complex Geometry East China Normal University Shanghai-September 11-16, 2006.
Algebraic Cobordism 2nd German-Chinese Conference on Complex Geometry East China Normal University Shanghai-September 11-16, 2006 Marc Levine Outline: Describe the setting of oriented cohomology over a
More informationWEIGHT STRUCTURES AND SIMPLE DG MODULES FOR POSITIVE DG ALGEBRAS
WEIGHT STRUCTURES AND SIMPLE DG MODULES FOR POSITIVE DG ALGEBRAS BERNHARD KELLER AND PEDRO NICOLÁS Abstract. Using techniques due to Dwyer Greenlees Iyengar we construct weight structures in triangulated
More informationHom M (J P (V ), U) Hom M (U(δ), J P (V )),
Draft: October 10, 2007 JACQUET MODULES OF LOCALLY ANALYTIC RERESENTATIONS OF p-adic REDUCTIVE GROUS II. THE RELATION TO ARABOLIC INDUCTION Matthew Emerton Northwestern University To Nicholas Contents
More informationAFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.
More informationDERIVED CATEGORIES OF COHERENT SHEAVES
DERIVED CATEGORIES OF COHERENT SHEAVES OLIVER E. ANDERSON Abstract. We give an overview of derived categories of coherent sheaves. [Huy06]. Our main reference is 1. For the participants without bacground
More informationCHAPTER V.1. THE (, 2) CATEGORY OF CORRESPONDENCES
CHAPTER V.1. THE (, 2) CATEGORY OF CORRESPONDENCES Contents Introduction 2 0.1. Why do we need it? 2 0.2. The actual reason we need it 5 0.3. What is done in this chapter? 7 1. The 2-category of correspondences
More informationLectures on Galois Theory. Some steps of generalizations
= Introduction Lectures on Galois Theory. Some steps of generalizations Journée Galois UNICAMP 2011bis, ter Ubatuba?=== Content: Introduction I want to present you Galois theory in the more general frame
More informationAlgebraic Geometry: Limits and Colimits
Algebraic Geometry: Limits and Coits Limits Definition.. Let I be a small category, C be any category, and F : I C be a functor. If for each object i I and morphism m ij Mor I (i, j) there is an associated
More informationC2.7: CATEGORY THEORY
C2.7: CATEGORY THEORY PAVEL SAFRONOV WITH MINOR UPDATES 2019 BY FRANCES KIRWAN Contents Introduction 2 Literature 3 1. Basic definitions 3 1.1. Categories 3 1.2. Set-theoretic issues 4 1.3. Functors 5
More informationVector Bundles on Algebraic Varieties
Vector Bundles on Algebraic Varieties Aaron Pribadi December 14, 2010 Informally, a vector bundle associates a vector space with each point of another space. Vector bundles may be constructed over general
More informationEXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY
EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY 1. Categories 1.1. Generalities. I ve tried to be as consistent as possible. In particular, throughout the text below, categories will be denoted by capital
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 informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
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 informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationLecture 17: Invertible Topological Quantum Field Theories
Lecture 17: Invertible Topological Quantum Field Theories In this lecture we introduce the notion of an invertible TQFT. These arise in both topological and non-topological quantum field theory as anomaly
More informationCommutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013)
Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013) Navid Alaei September 17, 2013 1 Lattice Basics There are, in general, two equivalent approaches to defining a lattice; one is rather
More informationINTRODUCTION TO PART IV: FORMAL GEOMTETRY
INTRODUCTION TO PART IV: FORMAL GEOMTETRY 1. What is formal geometry? By formal geometry we mean the study of the category, whose objects are PreStk laft-def, and whose morphisms are nil-isomorphisms of
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 information