Twisted Sheaves on Flag Varieties: sl(2, C) Calculations

Size: px
Start display at page:

Download "Twisted Sheaves on Flag Varieties: sl(2, C) Calculations"

Transcription

1 Twisted Sheaves on Flag Varieties: sl(, C) Calculations Anna Romanova December 14, 016 These are notes from a series of talks given in the representation theory student seminar at the University of Utah in November 016. These talks explored the twists that arise in the geometry of the Borel Weil theorem and Beilinson and Bernstein s equivalence of categories. Throughout the talks, we assume g = sl(, C). We discuss the Serre s twisted sheaves of sections of line bundles, sheaves of twisted differential operators, and sheaves of modules over twisted differential operators. We describe standard Harish-Chandra sheaves for Harish-Chandra pairs (g, N) and (g, K), where N SL(, C) is a unipotent subgroup and K SL(, C) is the complexification of the maximal compact subgroup SO() SL(, R). We calculate the action of the Lie algebra g on global sections of these sheaves and realize them as representations of g. We finish by describing standard η-twisted Harish-Chandra sheaves for η a character of LieN, which are a geometric model for a class of g-modules called Whittaker modules. 1 A Family of D C -modules We begin this document by describing a family of D C -modules and their direct images as D C - modules. We examine the conditions under which these modules are reducibile and the parameterizaton of isomorphism classes of these modules. These modules will appear in later calculations, and we will refer back to these reducibility conditions. For t C, let N t be the D C -module spanned by elements e k, k Z with D C -action given by z e k = e k+1 e k = (k (t + 1))e k 1. The associativity of D C -actions implies that z 1 D C must act by z 1 e k = e k 1. Let E = z be the Euler operator. Then E e k = z k+1 = (k t)e k, so the spanning set elements are eigenvectors of E. We claim that N t are irreducible for all values of t C. The proof of this is as follows. Let W N t be a submodule. Then since E D C, W is E-stable. We can express any w W as a linear combination of {e k }, w = k Z α k e k, where all but finitely many α k are zero. Let l(w) = Card{n Z α n 0}. If w 0, then l(w) > 0. Let w W be a non-zero element such that l(w) is minimal. If l(w) = 1, then w = e n for some n Z, and W = N t, since repeated action by z and z 1 maps e n to any e j for j Z. Assume l(w) > 1. Then if w = k Z α ke k, E w = k Z(k t)α k e k W, 1

2 and l(e w) l(w). If t = i Z and α i t 0, then l(e w) < l(w), which contradicts the minimality of l(w). If t = i Z and α i t = 0, or if t Z, then α n 0 for some n Z such that n t 0. Then 1 n t E w = α ne n + (k t)α k e k, k Z,k n so l( 1 n te w w) < l(w), which contradicts the minimality of l(w). Therefore, any submodule must contain a spanning set element, which generates the entire module, so no proper submodules exist. This completes the proof that N t is irreducible. Let {e k } be the spanning set of N t and {f k } the spanning set of N t+p for a fixed integer p Z. The map φ p : N t N t+p e k f k+p is an isomorphism of D C -modules. Indeed, it is clearly an isomorphism of vector spaces, and it the following calculation shows that it is also a D C -module morphism: φ p (e k ) = f k+p = (k+p (t+p+1))f k+p 1 = (k (t+1))f k+p 1 = φ p ((k (t+1))e k 1 ) = φ p ( e k ) Therefore N k N k+p for any p Z, and isomorphism classes of N t are parameterized by C/Z. Let i : C C be inclusion of varieties. Then the sheaf theoretic direct image i (N t ) is a D C -module. It is isomorphic to N t as a vector space with the restricted action of D C as a subring of D C. Since z 1 D C, the reducibility of i (N t ) depends on the integrality of t. If t Z, then i (N t ) is irreducible since neither nor powers of z annihilate any e k. But if t Z, then e t+1 = 0, so i (N t ) has a submodule which is spanned by {e k } for k Z t+1. Serre s Twisted Sheaves We start our sl(, C) calculations by exploring the twists that arise in the Borel Weil theorem. Let g = sl(, C), and X = P 1 its flag variety. Let 0 = [1 : 0] P 1 and = [0 : 1] P 1. Then X has an open cover consisting of the sets U 0 = P 1 { } and U 1 = P 1 {0}. Let V = U 0 U 1 C. We identify U 0 with C using the usual coordinate z : U 0 C so that z([1 : x 1 ]) = x 1. We identify U 1 with C using the coordinate ζ : U 1 C where ζ([x 0 : 1]) = x 0. Under these identifications, we see that on the intersection V, our coordinates are related by z = 1 ζ. Let O X be the structure sheaf on X, and let L be an invertible O X -module such that L U0 O U0 and L U1 O U1. Restricting L U0 to V gives an isomorphism L V O V, as does restricting L U1 to V. The identity map on L V induces an O V -module isomorphism ϕ : O V O V. Since V C is affine, a theorm of Serre implies that there is an Γ(V, O V )-module isomorphism which we also denote by ϕ: ϕ : R(C ) R(C ). This morphism is entirely determined by ϕ(1) = p R(C ) since 1 generates R(C ) as an R(C )- module. For q R(C ), ϕ(q) = ϕ(q 1) = qϕ(1) = qp. Since ϕ is an isomorphism, it has an inverse ϕ 1 given by ϕ 1 (q) = qr for q R(C ), and r(z)p(z) = 1 for all z C. This implies that p and r have no zeros or poles in C, so they must be proportional to an integral power of z; i.e. p(z) = cz n for c C and n Z.

3 We can see from the relationship of the coordinate systems of U 0 and U 1 on the intersection V that global sections of L U0 are polynomials in z in R(C ), and the global sections of L U1 are polynomials in ζ = z 1 in R(C ). Global sections of L must restrict to functions in R(C ) which are global sections of both L U0, and L U1, related by ϕ. We have two cases. If n > 0, no elements of C[z] are mapped to elements of C[z 1 ] under ϕ, so L has no global sections. If n 0, then the subset of C[z] spanned by {z n, z n 1,..., 1} will be sent to a subset of C[z 1 ], so Γ(X, L) is (n + 1)-dimensional. Such L = O(n) are completely determined by n Z, and are called Serre s Twisted Sheaves. These appeared in our study of the Borel-Weil theorem as sections of G-equivariant line bundles constructed from irreducible representations of a maximal torus T G. The Borel-Weil theorem states that for n Z 0, Γ(X, O(n)) F n, where F n is the finite dimensional irreducible representation of g of highest weight n, and for n Z >0, Γ(X, O(n)) = 0. In this first example, we see that in the case of sl(, C), invertible O X -modules with respect to the cover {U 0, U 1 } are completely determined by their integral twist n, and the value of n dictates whether or not such sheaves will have any global sections. 3 Sheaves of Twisted Differential Operators In this section, we explore differential operators on the twisted sheaves of regular functions from the previous section. Such sheaves of rings are examples of sheaves of twisted differential operators. Sheaves of twisted differential operators can be defined more generally and do not have to arise from sheaves of sections of line bundles. However, constructing them in this way gives a natural motivation for the general definition. Let O(n) be the invertible O X -module determined by ϕ(q) = z n q for q R(C ) as described in the. Let D X be the ring of local differential operators on X. Let D n be the sheaf of rings on X given by D n (U 0 ) = Diff(O(n) U0 ) D U0 and D n (U 1 ) = Diff(O(n) U1 ) D U1. The sheaf D n is locally isomorphic to D X, so it is an example of a sheaf of twisted differential operators. See [] for a precise definition of these objects. Let D C = Γ(C, D C ) be the ring of differential operators on C. We can define a ring isomorphism ψ : D C D C in the following way. For T D C, let ψ(t ) be the differential operator which makes the diagram ϕ R(C ) R(C ) T ψ(t ) ϕ R(C ) R(C ) commute. Since D C is generated by z and differentiation with respect to z, which we denote by, we can precisely describe ψ by calculating the image of z and. First we notice that ψ(z) = z. Indeed, for f R(C ), ϕ(z f) = z n zf = z n+1 f = zz n f = z ϕ(f). It remains to calculate the image of. Since ψ is an isomorphism of rings of differential operators, it must preserve order. This implies that ψ( ) must be a first order differential operator of the form a + b for a, b R(C ). Since ϕ( (f)) = ϕ(f ) = z n f, the following calculation determines the value of a and b: ψ( )(ϕ(f)) = (a +b)(z n f) = a (z n f)+bz n f = anz n 1 f+az n f +fz n f = ( an z +b)zn f+az n f = z n f 3

4 To make the final equality hold, we determine that a = 1 and b = n z. We conclude that our sheaf of twisted differential operators D n is determined up to ismorphism by the ring isomorphism ψ : D C D C z z n z We can observe that the differential operator n z = zn z n. Indeed, for f R(C ), (z n z n )(f) = z z (z n f) = z n ( nz n 1 )f + z n z n f = f n z = ( n z )(f). We conclude this section by noting that the formula ψ( ) = n z defines a ring endomorphism of D C for any n C. This is in contrast to the R(C )-module endomorphism of R(C ) given by ϕ(q) = z n q, which is only well-defined for n Z. This observation explains the general fact that the sheaves of sections of line bundles on the flag variety constructed in the Borel-Weil theorem are parameterized by integral lattices, whereas sheaves of homogeneous twisted differential operators on the flag variety are parameterized by complex vector spaces. 4 Sheaves of Modules over Twisted Differential Operators In this section, we describe D n -modules which are homogeneous with respect to the action of Int(g) = P SL(, C). Such modules which also obey certain compatibility conditions with the action of a subgroup of P SL(, C) are called Harish-Chandra sheaves. For a precise construction of Harish-Chandra sheaves, see []. We examine standard objects in two categories of Harish-Chandra sheaves - those corresponding to the unipotent subgroup N of P SL(, C) and those corresponding to the complexification K of the maximal compact subgroup of P SL(, R). We explicitly calculate the action of g on the global sections of these standard objects which allows us to recognize them as familiar representations of g. In the (g, N) case, we see that for negative integral n, global sections of Harish-Chandra sheaves are dual Verma modules, and in the (g, K) case, we see that for integral n, global setions of Harish-Chandra sheaves are principle series representations of SL(, R). Before we analyze the standard Harish-Chandra sheaves, we need to realize elements of our Lie algebra as vector fields on X. To do so, we will need to give a more explicit description of O(n) as it appears in the context of the Borel-Weil theorem. Let {H, E, F } be the standard basis for sl(, C). These elements are given by the matrices ( ) ( ) ( ) H =, E =, F =, and satisfy the commutation relations [H, E] = E, [H, F ] = F, and [E, F ] = H. We have G =Int(g) = P SL(, C). This group acts transitively on the flag variety X. Let N be the unipotent subgroup of the Borel subgroup in P SL(, C) which stabilizes 0 X, and N the unipotent subgroup of the stabilizer of X. Let T be the maximal torus normalizing both N and N. Then Lie(N) =span{e}, Lie( N) =span{f }, and Lie(T ) =span{h}. The subgroups N, N, and T correspond to the subgroups of SL(, C). {( 1 b 0 1 ) b C}, {( ) 1 0 c C}, and c 1 {( ) a 0 0 a 1 a C} 4

5 Next we realize Serre s twisted sheaves as sheaves ( of sections ) of line bundles. Let σ n : T a 0 GL(C) be the irreducible representation of T mapping 0 a 1 a n. As we discussed in previous seminars, we can use σ n to build a homogeneous G-equivariant line bundle over X in the following way: we extend our representation σ n to N trivially to get a one-dimensional representation of B = T N =stab G {0}. Then let E = \G V where (g, v) (bg, σ n (b)v) for g G, b B, v C. We have a G-equivariant line bundle π : E X mapping the equivalence class [g, v] to the coset Bg. The line bundle (E, X, π) is the homogeneous vector bungle attached to the representation (σ n, C). Let O(n) be the sheaf of sections of (E, X, π). In our study of Borel-Weil, we showed that O(n) is isomorphic to the sheaf of holomorphic functions on C {0} which are homogeneous of degree n. Let p : C {0} P 1 be the quotient by the relation (x 0, x 1 ) (λx 0, λx 1 ) for (x 0, x 1 ) C {0} and λ C. Then we can consider O(n) as a sheaf on X = P 1 by letting O(n)(U i ) be the vector space of homogeneous holomorphic functions on p 1 (U i ) of degree n. These O(n) are Serre s twisted sheaves that we discussed in, so they are locally isomorphic to O X. More explicitly, for U 0 we have an isomorphism between O(n)(U 0 ) and O X (U 0 ) which associates f O(n)(U 0 ) with g := f(1, ) O X (U 0 ). For U 1 our isomorphism associates f O(n)(U 1 ) with h := f(, 1) O X (U 1 ). In order to calculate the action of g on our standard Harish-Chandra sheaves, we need to explicitly realize H, E, F as differential operators on regular functions on each of our charts U 0 and U 1. We begin with U 0. As in, we identify U 0 with C in the usual ( coordinate ) z([1 : x 1 ]) = x 1. a b The group G acts on the flag variety X in the following way. For G and [x c d 0 : x 1 ] X, ( ) a b [x c d 0 : x 1 ] = [ax 0 + bx 1 : cx 0 + dx 1 ]. If we restrict this action to N, we see that U 0 is invariant. This gives us an action map: a : N U0 U 0 (( ) ) 1 0, [1 : x c 1 1 ] [1 : c + x 1 ] By restricting the action map to 0 = [1 : 0] U 0 and composing with z we have an isomorphism a z N {0} U 0 C ( ) 1 0 [1 : c] c c 1 This induces an isomorphism of the collection of vector fields on N with the collection of vector fields on C. Let be differentiation with respect to z, considered as a vector field on C. Elements of the Lie algebra of N can be associated to vector fields on N in the following way. For X Lie N, the corresponding vector field acts on a function f C ( N) by X(f)(x) = d dt (1 + tx) f(x). The vector field on N associated to F acts on f C by 5

6 (( )) 1 0 F (f) = d ( ( )) c 1 dt f (1 + tf ) c 1 = d (( ) ( )) dt f t 1 c 1 = d (( )) 1 0 dt f t + c 1 (( )) = f 1 0 c 1 From this calculation we see that under the isomorphism between N and C, is associated with F g. To find the vector fields which correspond to H and E, we can use the bracket relations on g and the isomorphism between O(n)(U 0 ) and O X (U 0 ). Since the torus T acts on U 0 by left multiplication, ( ) we have a natural action of T on O(n)(U 0 ) a 0 by the left regular representation. For A = 0 a 1 T and f O(n)(U 0 ), A f(x 0, x 1 ) = f(p 1 (A 1 [x 0, x 1 ])) = f(a 1 x 0, ax 1 ). So under the isomorphism described earlier, T acts on g(z) O X (U 0 ) by A g(z) = A f(1, z) = f(a 1, az) = a n f(1, a z) = a n g(a z). Here the second to last equality comes from the fact that f O(n)(U 0 ) is homogeneous of degree n. We can differentiate this action to get an action of Lie(T ) =span{h}: ( ) a 0 g(z) = d ( )) a 0 0 a dt (1 + t g(z) 0 a = d ( ) 1 + ta 0 dt 1 g(z) 0 1+ta = d dt (1 + ta) n g((1 + ta) z) = ((1 + ta) n g ((1 + ta) z)(az(1 + ta)) + g((1 + ta) z)(na(1 + ta) n 1 )) = azg (z) + ang(z) From this calculation we see that in the chart U 0, H acts by the vector field z + n. We can use the bracket relations on g to find the vector field associated to E in this chart. Since E must be associated to a first order differential operator, E = a + b for a, b C[z]. Since [E, F ] = H, the following calculation, [E, F ] = [a + b, ] = ( a a ) + ( b b ) = [, a] + [, b] = a + b = z + n, lets us conclude that a = z + a 0 and b = nz + b 0, where a 0, b 0 C. In the calculation above, we use the fact that as differential operators on C, [, a] = a, since for f C (C), [, a] = af a f = (a)f + a (f) a (f) = a f. 6

7 Finally we use the bracket relation [H, E] = E to conclude so a 0 = b 0 = 0. Summing up, in U 0, we have [H, E] = [z + n, z + a 0 + nz + b 0 ] = [z, z ] + a 0 [z, ] + n[z, z] = z a 0 + nz = (z + a 0 + nz + b 0 ), E = z + nz, H = x + n, F =. Then, our map ψ : D C D C lets us conclude that in the other chart U 1, E = z H = z n F = + n z. At this point in time, we wish to generalize our twisted sheaves of differential operators to allow for the possibility of non-integral twists while maintaining the structure present in the previous construction. We also introduce a ρ-shift for symmetry purposes. Let D X be the sheaf of local differential operators on X. For t C, let D t be the twisted sheaf of differential operators on X such that D t U0 D U0 and D t U1 D U1 with the relationship on the intersection given by ψ : D C D C t + 1 z Let the local isomorphisms between D t and D X be given in such a way that the Lie algebra basis elements are associated with the following vector fields in our two charts: In U 0, In U 1, E = z + (t + 1)z, H = x + (t + 1), F =. E = z H = z (t + 1) F = + n t + 1. If we specialize to integral values of t, these are the sheaves of twisted differential operators on O(t + 1) described previously. Before we construct standard Harish-Chandra sheaves, we will calculate the operator corresponding to the Casimir element in our two charts. The Casimir element for sl(, C) is Ω = H + EF + F E z(g). The following calculation shows that the Casimir operator in the chart U 0 acts by the scalar (t + 1) (t + 1). We use the fact mentioned previously that [, z] = 1. Ω = (z + (t + 1))(z + (t + 1)) + (z + (t + 1)z)( ) + ( )(z + (t + 1)z) = 4z z + 4(t + 1)z + (t + 1) z (t + 1)z z (t + 1) z = (z z + z z z z ) + (t + 1)(z z) + (t + 1) = (t + 1) (t + 1) + ((z z)z + z( z z )) = (t + 1) (t + 1) + z z = (t + 1) (t + 1) 7

8 Similarly, in the other chart U 1 a different calculation yields the same result. Here we use the fact mentioned previously that z z 1 = z 1. Ω = (z (t + 1))(z (t + 1)) + (z )( + (t + 1)z 1 ) + ( + (t + 1)z 1 )(z ) = 4z z 4(t + 1)z + (t + 1) z + (t + 1)z z 1 z + (t + 1)z = (z z z z ) (t + 1)z( z z 1 ) + (t + 1) = ((z z)z + z( z z )) (t + 1)z( ( z 1 )) + (t + 1) = z z (t + 1)zz 1 + (t + 1) = (t + 1) (t + 1) Since the Casimir element is in the center of the universal enveloping algebra of g, this computation confirms the fact that it acts by a scalar. Our next step is to construct standard Harish-Chandra sheaves on X and realize their global sections as representations of g by calculating the actions of H, E, F in U 0 and U 1. Before we can construct standard Harish-Chandra sheaves in our specific setting, we will give a basic idea of their general construction. A precise construction of standard Harish-Chandra sheaves can be found in []. Definition 4.1. A pair (g, K), where g is a complex semisimple Lie algebra and K Int(g) is a subgroup, is called a Harish-Chandra pair if K acts on the flag variety X of g with finitely many orbits. A Harish-Chandra sheaf for the Harish-Chandra pair (g, K) is a K-homogeneous D λ -module on X where the action of g restricted to the Lie algbra of K agrees with the differential of the action of K. For a precise definition of this compatibility condition, see []. For intuition, the reader may consider Harish-Chandra sheaves to be the D-module analogue to Harish-Chandra modules, where the compatibility conditions between the actions are more straightforward. Standard Harish- Chandra sheaves are parameterized by pairs of geometric data (Q, τ), where Q is a K-orbit on X and τ is an irreducible K-homogeneous connection on Q. They are constructed in the following way. Let i : Q X be inclusion. Then the standard Harish-Chandra sheaf corresponding to (Q, τ) is I(Q, τ) := i + (τ), where i + is the D-module direct image functor. Some properties of I(Q, τ) that fall from its construction are the following: First, I(Q, τ) has a unique irreducible submodule, L(Q, τ) and all irreducible Harish-Chandra modules arise in this way. Second, the support of I(Q, τ) is Q. Third, if Q is an open affine subvariety, I(Q, τ) Q = τ. 4.1 The Harish-Chandra Pair (sl(, C), N) Now, we specialize to the Harish-Chandra pair (sl(, C), N), where N is the unipotent subgroup of P SL(, C) described previously. The N-orbits on X are {0} and U 1. The only N-homogeneous irreducible connections on {0} and U 1 are O {0} and O U1. This implies that there are two standard Harish-Chandra sheaves for a choice of t C, one corresponding to each N-orbit. We denote the standard Harish-Chandra sheaves in the category of D t -modules by I({0}, t) and I(U 1, t). Here the t indicates the twist in D t since there is only once choice of irreducible connection on each orbit. We begin by analyzing I({0}, t). This is a D t -module supported at {0}, so I({0}, t) U1 =0. Therefore it is enough to examine I({0}, t) U0. We claim that I({0}, t) is isomorphic to the D C - module of truncated Laurent series centered at 0. We begin by discussing precisely what we mean by the D C -module of truncated Laurent series at 0. 8

9 Let M be the sheaf of Laurent series centered at 0 on C. M is clearly a D C -module. The structure sheaf O C on C is a maximal submodule of M. The quotient D C -module P = M/O C is isomorphic to the module of Laurent series with strictly negative terms. This is what we refer to as the D C -module of truncated Laurent series. It is irreducible, generated by z 1, and supported at {0}. Since irreducible Harish-Chandra sheaves are determined uniquely by their geometric data, there is only one irreducible D n -module supported at {0} up to isomorphism. Therefore, I({0}, t) P is irreducible for any t C. Now that we have a concrete realization of our module, we can calculate the action of E, F and H. Since I({0}, t) is supported in U 0, we can do our calculations entirely in the coordinate system on U 0. Consider the action of E, F and H on the generator z 1 : E z 1 = (z + (t + 1)z) z 1 = z ( z ) + (t + 1) = 1 + (t + 1) = 0 F z 1 = z 1 = z H z 1 = (z + (t + 1)) z 1 = z( z ) + (t + 1)z 1 = z 1 + (t + 1)z 1 = (t 1)z 1 We see that E annihilates z 1, F m z 1 = ( 1) m+1 m!z (m+1) span P for m Z +, and H acts on z 1 by the scalar t 1. From our previous calculation, we know that the Casimir element Ω acts on z 1 as multiplication by (t + 1) (t + 1). From these actions we conclude that Γ(X, I({0}, n)) M(t), where M(t) is the Verma module of highest weight t 1 C. Next we study the Harish-Chandra sheaf on the open orbit, I(U 1, t). Since the support of this sheaf is all of X, we need to use both charts and the twist given by ψ to understand its structure. Recall that the coordinates on U 0 are z and, which is differentiation with respect to z. The coordinates on U 1 are ζ and ζ, which is differentiation with respect to ζ. On the intersection of the charts, V C, we have the relationship ζ = 1 z and ζ = z. The last assertion falls from the following calculation: Let f : C C be a regular function. Then by the chain rule, ζ f(z) = ζ f( 1 ζ ) = ζ f ( 1 ζ ) = z f (z). Let i 0 : U 0 X and i 1 : U 1 X be inclusions of varieties. Then by definition, I(U 1, t) = i 1+ (O U1 ) = i 1 (O U1 ). Here, i 1 is the sheaf-theoretic direct image, which agrees with the D-module direct image in this setting. By construction, I(U 1, t) U1 = O U1 is irreducible. Since irreducibility of D t -modules is a local property, to examine the reducibility of I(U 1, t), it remains to study its restriction to U 0. We do so by using the relationship between trivializations on the intersection V. Since U 1 is affine, we can study I(U 1, t) U1 = O U1 by instead considering its global sections, Γ(U 1, O U1 ) = R(C) = C[ζ]. The D C -module C[ζ] is generated by 1. When we restict C[ζ] to C, localization gives us the D C -module R(C ) C[ζ] C[ζ] = R(C ) on the intersection. Here R(C ) is a D C -module with the standard actions z k = kz k 1 and z z k = z k+1. The relationship between our trivializations ψ : D C D C gives us another module structure on R(C ), where t + 1 z z k = ψ( )z k = ( t + 1 )z k = (k (t + 1))z k 1, and z 9

10 z z k = ψ(z)z k = z k+1. With this action, R(C ) is isomorphic as a D C -module to N t from 1. Therefore, global sections of our standard Harish-Chandra sheaf on U 0 are Γ(U 1, I(U 1, t) U0 ) i (N t ), where i : C C. From our arguments in 1, we know that this D C -module is irreducible if and only if t Z. This leaves us with two cases. Our first case is t Z. Here, I(U 1, t) U0 and I(U 1, t) U1 are both irreducible. Since irreducibility of D t -modules is a local property, we conclude that if t Z, I(U 1, t) is an irreducible D t -module. Our second case is when t Z. In this case, we claim that our twisted sheaf of functions O(t+1) is a sub-d t -module of I(U 1, t). Indeed, since sheaf theoretic direct image and restiction are adjoint functors, we have Hom Dt U1 (O(t + 1) U1, O U1 ) = Hom Dt (O(t + 1), i 1 (O U1 )). Since O(t + 1) U1 O U1 and i 1 (O U1 ) = I(U 1, t), the identity morphism from O U1 to itself corresponds to a non-trivial morphism φ : O(t + 1) I(U 1, t). O(t + 1) is irreducible as a D t -module, so φ must be an injective morphism. Therefore, we have a short exact sequence of D t -modules If we restrict this sequence to U 1, we get 0 O(t + 1) I(U 1, t) R 0. 0 O U1 O U1 R U1 0, since O(t + 1) U1 O U1 and I(U 1, t) U1 = O U1. This implies that R U1 =0, so suppr = {0}. If we restrict to U 0, we have 0 O U0 I(U 1, t) U0 R U0 0. Taking global sections of this, we have 0 R(C) M R U0 0, where M = Γ(U 0, M) is the D U0 -module of Laurent series mentioned earlier. This implies that R U0 P I({0}, t), the D-module of truncated Laurent series. This short exact sequence gives a long exact sequence in sheaf cohomology. 0 Γ(X, O(t + 1)) Γ(X, I(U 1, t)) Γ(X, I({0}, t)) H 1 (O(t + 1)) H 1 (I(U 1, t)) H 1 (I({0}, t)) 0 If t + 1 Z <0, we know from the Borel-Weil theorem that Γ(X, O(t + 1)) = F (t+1), the finite dimensional g-representation of highest weight (t + 1), and H 1 (O(t + 1)) = 0. From our previous analysis of the standard Harish-Chandra sheaf on the closed orbit, we know that Γ(X, I({0}, t)) = M(t), an irreducible Verma module. In this case, the final three terms of our long exact sequence vanish, and we have the short exact sequence 0 F (t+1) Γ(X, I(U 1, t)) M(t) 0. If t + 1 Z 0, we know from the Borel-Weil-Bott theorem that Γ(X, O(t + 1)) = 0 and H 1 (O(t + 1)) = F t+1, the finite dimensional g-module of highest weight t + 1. From our previous analysis, we know that Γ(X, I({0}, t)) = M(t), a reducible Verma module. In this case, the final two terms of our long exact sequence vanish and we have the short exact sequence 0 Γ(X, I(U 1, t)) M(t) F t

11 We end our computations for the Harish-Chandra pair (g, N) by computing the action of H, E, and F on Γ(X, I(U 1, t)). We do the computations on Γ(U 1, I(U 1, t) U1 ) C[ζ]. We start by remarking that by using the relationships z = 1 ζ and = ζ ζ between the coordinate systems, in U 1 -coordinates, E = ζ H = ζ ζ (t + 1) F = ζ ζ + (t + 1)ζ. This allows us to compute the action of the Lie algebra basis on the constant function 1 and ζ k for k Z + : E 1 = ζ 1 = 0 H 1 = ( ζ ζ (t + 1)) 1 = (t + 1) E ζ k = ζ ζ k = kζ k 1 H ζ k = ( ζ ζ (t + 1)) ζ k = (t k)ζ k F 1 = ( ζ ζ + (t + 1)ζ) 1 = (t + 1)ζ F ζ k = ( ζ ζ + (t + 1)ζ) ζ k = (k + t + 1)ζ k+1 We see from this computation that E annihilates constant functions, H acts on the generator 1 by the scalar (t + 1) and F sends ζ k to ζ k+1 and scales by a value depending on k and t. Again, the Casimir element Ω acts in this chart by the scalar (t + 1) (t + 1). We see that this case splits into two more cases. If t + 1 0, 1 generates Γ(X, I(U 1, t)), which is isomorphic to the Verma module of highest weight (t + 1), M( t). If t < 0, F ζ (t+1) = 0, so the irreducible finite dimensional g-module of highest weight (t + 1) is a submodule of Γ(X, I(U 1, t)), and the quotient of Γ(X, I(U 1, t)) is the Verma module M(t). In this case, we see that Γ(X, I(U 1, t)) has the structure of a dual Verma module. We summarize our findings in the following theorem. Theorem 4.. (i) I({0}, t) is an irreducible D t -module for any t C. (ii) Γ(X, I({0}, t)) = M(t) for any t C. (iii) If t Z, I(U 1, t) is an irreducible D t -module. (iv) If t Z, then there is a short exact sequence of D t -modules (v) If t Z 0, Γ(X, I(U 1, t)) = M( t). 0 O(t + 1) I(U 1, t) I({0}, t) 0. (vi) If t Z <0, there is a short exact sequence of g-modules 0 F (t+1) Γ(X, I(U 1, t)) M(t) 0, where F (t+1) is the irreducible finite dimensional g-module of highest weight (t + 1). 4. The Harish-Chandra Pair (sl(, C), K) Now we turn our attention to our second Harish-Chandra pair. Let K P SL(, C) be the complexification of the maximal compact subgroup SO() P SL(, R). Then {( ) a 0 K = T = 0 a 1 a C} C. K acts on X with three orbits: {0}, { }, and V. The standard Harish-Chandra sheaves supported on the closed orbits {0} and { } have the same structure as the standard Harish-Chandra sheaf 11

12 supported at {0} in the previous example, so we will concentrate on the open orbit V. We use the coordinate z on U 0 to identify V with C : V C [1 : x 1 ] x 1 K acts on V by the restricted action of G on X: ( ) a 0 0 a 1 [1 : x 1 ] = [a : a 1 x 1 ] = [1 : a x 1 ]. Therefore, under the associations K C and V C, our action map corresponds to the action of C on itself via C C C (a, z) a z We claim that there are two irreducible K-homogeneous connections on C. The justification for this is as follows: Let τ be a C -homogeneous connection on C. Then M = Γ(C, τ) is a C -equivariant R(C )- module. More precisely, if π : C L(M) is the action of C on M giving it the structure of a C -module and ρ : C L(R(C )) is the action of C on R(C ) induced from the action of C on itself described above (for f R(C ) and a C, (ρ(a)f)(z) = f(a z)), then the R(C )-module action map R(C ) M M is C -equivariant; i.e. for f R(C ), v M, and a C, π(a)(f v) = (ρ(a)f) π(a)v. Since all irreducible representations of C are one dimensional vector spaces where a C acts by a n for some n Z, any semisimple C -module has a spanning set {v n } parameterized by a subset of the integers such that a v n = a n v n for a C. We can apply this observation to both R(C ) and M to get spanning sets {f n } of R(C ) and {v l } of M. On R(C ), this tells us that f n (a z) = ρ(a)f n (z) = a n f n (z), so f n (a ) = a n f n (1). We can normalize f n (1) = 1 to conclude that f n (a ) = a n so f n (z) = z n/. This implies that n is even. In other words, the indexing set of our spanning set contains only even integers. So by re-indexing and letting {F m } be the new spanning set, we see that R(C ) decomposes as a C -module in the following way: R(C ) = m Z C F m, where F m (z) = z m and ρ(a)f m (z) = a m F m (z). Now, the C -equivariance of M implies that π(a)f m v l = (ρ(a)f m )π(a)v l = (a m F m )a l v l = a m+l F m v l. 1

13 If we now assume that M is irreducible as a C -equivariant R(C )-module, we can conclude that if v l M such that v l 0, then F m v l 0 and F m v l spans a one dimensional sub-c -module M m+l, where a C acts by a m+l. Therefore, M decomposes as M = m Z M m+l. This leaves us two cases. If l is even, then M R(C ) as a C -equivariant R(C )-module. If l is odd, then M = m Z M m+1. Denote v 1 = z 1/. Then in the second case, M = R(C ) z 1/. This completes the proof of our claim. Since C is affine, we can conclude that there are only two irreducible K-homogeneous connections on C up to isomorphism: τ 0 = O C and τ 1 such that Γ(C, τ 1 ) = R(C ) z 1/. An alternate way to conclude that there are only two irreducible K-homogeneous connections on C is to examine the representations of the stabilizer in K of a point in C. For a generic z C, stab K {z} = {±1} Z/. There are two irreducible representations of Z/, the trivial representation and the sign representation, and these correspond to the two irreducible K-homogeneous connections on C described above. This parameterization of K-homogeneous connections on an orbit Q by irreducible representations of the stabilizer in K of a point in Q holds in general, but we will not discuss the details in this document. We can differentiate the action of K on R(C ) described earlier to get an action of the Lie algebra basis element H on R(C ). Let f R(C ). Then, ( ) 1 0 ) f(z) = d ( )) dt (1 + t f(z) 0 1 = d ( ) 1 + t 0 dt 1 f(z) 0 1+t = d dt f((1 + t) z) = ((1 + t)zf (1 + t) z)) = zf (z). From this we conclude that H = z. We can see from our previous calculations that this is not the differential operator associated to H in our trivializations of D t on U 0 and U 1. To remedy this, we can introduce another trivialization of D t on C where H corresponds to the differential operator z on C. We obtain this trivialization by resticting our original z-trivialization on U 0 to C and twisting it by the D C -automorphism given by t + 1 z. This gives a new trivialization of D t C following vector fields: where our Lie algebra basis elements correspond to the E = z + t + 1 z F = + t + 1 H = z 13

14 We can calculate the operator associated to the Casimir element in this trivialization as well, and we see that again Ω acts by (t + 1) (t + 1): Ω = (z )(z ) + (z + t + 1 z)( + t + 1 z 1 ) + ( + n z 1 )(z + t + 1 z) = 4z z z + nz z 1 nz + n z n z + nz + n = (z( z z ) + (z z)z) + (t + 1)z( z 1 ) + (t + 1) (t + 1) z = (t + 1)z (t + 1)zz 1 + (t + 1) (t + 1) z = (t + 1)(z z) (t + 1) + (t + 1) = (t + 1) (t + 1) Our last step is to study the structure of the two standard Harish-Chandra sheaves corresponding to the two connections on C. We denote these two D t -modules by I(C, τ 0, t) and I(C, τ 1, t). To analyze the reducibility of I(C, τ i, t), we will examine I(C, τ i, t) Uj for i, j {0, 1}, as we did in with the previous Harish-Chandra pair. First we discuss I(C, τ 1, t). The global sections of I(C, τ 1, t) on C are spanned by e k = z k+ 1 for k Z, since by construction, Γ(C, I(C, τ 1, t) C ) = Γ(C, τ 1 ) = R(C ) z 1/. This is a D C -module with action of and z given by e k = (k + 1 )e k 1 z e k = e k+1. We can recognize this module as the D C -module N 1 of D t. They are related on C by ring isomorphisms D C ψ 0 DC from 1. Now we have three trivializations ψ 1 DC, where ψ 0 ( ) = t+1 z and ψ 1 ( ) = + t+1 z. Note that the composition ψ 0 ψ1 1 = ψ, our twist described earlier. These two maps give us two alternate module structures on Γ(C, τ 1 ), where the actions are: e k = ψ 0 ( ) e k = ( t + 1 z )e k = (k + 1 )e k 1 ( t + 1 )e k 1 = (k t )e k 1, and e k = ψ 1 ( ) e k = ( + t + 1 z )e k = (k + 1 )e k 1 + ( t + 1 )e k 1 = (k + t + )e k 1. The first action gives a module isomorphic to N t to N t+. Therefore, we conclude that Γ(U 0, I(C, τ 1, t) U0 ) i (N t ), and Γ(U 1, I(C, τ 1, t) U1 ) i (N t+ ). and the second action gives a module isomorphic From our previous analysis, we know that each of these are irreducible as D C -modules if and only both t t+ and are not integers, which happens exactly when t is not an even integer. We conclude that I(C, τ 1, t) is irreducible if and only if t Z. 14

15 Similarly, global sections of I(C, τ 0, t) on C are spanned by z k for k Z, so Γ(U 0, I(C, τ 0, t) U0 ) i (N t 1 ), and Γ(U 1, I(C, τ 0, t) U1 ) i (N t+1 ). Therefore, by the same argument we conclude that I(C, τ 0, t) is irreducble if and only if t Z + 1. Finally, we realize the global sections of I(C, τ i, t) as g-modules. The global sections of I(C, τ i, t) are spanned by e k = z k+ i. For i {0, 1}, the actions of H, E, and F are: H e k = z z k+ i = (k + i )zk+ i = (k + i )e k E e k = (z + t + 1 z) zk+ i = (k + i + t + 1 )zk+ i +1 = (k + i + t + 1 )e k+1 F e k = ( + t + 1 z ) zk+ i = ( k i + t + 1 )zk+ i 1 = ( k i + t + 1 )e k 1 We can see that Γ(X, I(C, τ i, t)) is reducible only when E or F annihilates some e k ; i.e. when k+ i + t+1 = 0 or k i + t+1 = 0 for some k Z. This happens precisely when t+1 Z+i. The structure of this reducible module depends on the sign of t+1. If t+1 Z >0, then Γ(X, I(C, τ i, t)) has two submodules - one spanned by {e k } for k t+1 i, and the other spanned by {e k } for k t+1+i. If t + 1 Z <0, then Γ(X, I(C, τ i, t)) has a finite dimensional submodule spanned by {e k } for t+1 i k t+1+i. We can see from this structure that Γ(X, I(C, τ i, t)) as a principle series representation of SL(, R). In the case where i = 0 and t + 1 = 0, the representation Γ(X, I(C, τ i, t)) is a limit of two discrete series representations. ***DOUBLE CHECK THIS. LANG?** We summarize our conclusions about the reducibilty of the Harish-Chandra sheaves for (sl(, C), K) in the following theorem. Theorem 4.3. (i) I(C, τ 1, t) is irreducible as a D t -module if and only if t Z. (ii) I(C, τ 0, t) is irreducible as a D t -module if and only if t Z + 1. (iii) Γ(X, I(C, τ 1, t)) is irreducible as a g-module if and only if t Z. (iv) Γ(X, I(C, τ 0, t)) is irreducible as a g-module if and only if t Z η-twisted Harish-Chandra Sheaves In this final section, we discuss the D t -modules which correspond to a class of representations of g called Whittaker modules. These are η-twisted Harish-Chandra sheaves, where η : LieN C is a character of the the Lie algebra of N. For non-degenerate η, there is only one standard object in this category, and this standard object is irreducible. This is the geometric analogue to the main algebraic result of Kostant in [1]. In this section, we prove this fact directly for g = sl(, C). We begin with the general definition of η-twisted Harish-Chandra sheaves. Definition 5.1. Let (g, K) be a Harish-Chandra pair, and let k = LieK be the Lie algebra of K. Let η k be a character of k, and λ h, where h is the abstract Cartan subalgebra of g. We say V is a (D λ, K, η)-module (also called an η-twisted Harish-Chandra sheaf ) if the following conditions are satisfied. (i) V is a coherent D λ -module, (ii) V is a K-equivariant O X -module, and 15

16 (iii) π(ξ) = µ(ξ) + η(ξ) for all ξ k, and the morphism D λ OX V V is K-equivariant. Here π is the action of k on V induced by the D λ -action, and µ is the differential of the K-action. Standard objects in the category M(D λ, K, η) of η-twisted Harish-Chandra sheaves are constructed analogously to those in the untwisted category. That is, standard objects in M(D λ, K, η) are parameterized by pairs (Q, τ), where Q X is a K-orbit and τ is an irreducible η-twisted K-homogeneous connection on Q. If i : Q X is inclusion, then the standard η-twisted Harish- Chandra sheaf corresponding to the geometric data (Q, τ) is I(Q, τ, η) = i + (τ). If η = 0, this construction gives our previous definition of Harish-Chandra sheaves. As in the untwisted case, constructing standard objects in this category amounts to constructing irreducible K-homogeneous connections on K-orbits. But in contrast to the untwisted case, in this setting we seek connections where the two natural actions of k differ by η. We will see in the following calculations that not all K-orbits admit such connections. We dedicate the rest of this section to to calculating the η-twisted Harish-Chandra sheaves for g = sl(, C) and N the unipotent subgroup of P SL(, C) described in 4. Let n = Lie(N) and fix a nonzero character η n. Let t C. The two N-orbits are {0} and U 1. First we analyze the closed orbit. As described in 4.1, the only irreducible connection on the closed orbit {0} is P, the D C -module of truncated Laurent series. Recall that P is generated by z 1. Since this orbit is a single point, N acts trivially on P, so the differential µ of the N-action is zero; i.e. for ξ n, µ(ξ) = 0. Since n = span{e}, this implies µ(e) = 0. We calculated previously that as a differential operator on U 0, E = z + nz. As above, we denote this action of n on P induced by the D t -action by π. We calculated previously that π(e)z 1 = 0. Therefore, the equality π(e)z 1 = µ(e)z 1 + η(e)z 1 can only hold if η = 0. We conclude that for non-zero η, there is no irreducible η-twisted N- homogeneous connection on the closed orbit {0}, and in turn, there is no standard η-twisted Harish-Chandra sheaf corresponding to the orbit {0}. Next we turn our attention to the open orbit U 1. Let R be the D U1 -module with R := Γ(U 1, R) = C[ζ] as a vector space, with D C -action π given by π( ζ )ζ k = kζ k 1 η(e)ζ k for k > 0, π( ζ )1 = η(e), and π(ζ)ζ k = ζ k+1 for k Z 0. Here ζ and ζ are the coordinates on U 1 described in 4. Since U 1 is affine, specifying the global sections of R completely determines its structure, so we will work in the setting of rings. We showed previously that in these coordinates on U 1, E = ζ, so π(e) = π( ζ ). Under the isomorphisms described in 4, N acts on C[ζ] by ( ) 1 b f(ζ) = f(ζ b). 0 1 The differential µ of this action is µ(e)f(ζ) = ζ f(ζ). 16

17 Since E spans n, this completely describes the n-action coming from the differential of the N-action. Therefore, for k > 0, π(e)ζ k = kζ k 1 + η(e)ζ k = µ(e)ζ k + η(e)ζ k. We conclude that for ξ n, π(ξ) = µ(ξ) + η(ξ), so R is an η-twisted Harish-Chandra sheaf on U 1. Additionally, we claim that R is irreducible. The proof of this fact is similar to the proof in 1 that N t are irreducible D C -modules. The element ζ + η(e) D C acts by π( ζ + η(e))ζ k = kζ k 1 η(e)ζ k + η(e)ζ k = kζ k 1, so repeated action by ζ + η(e) and ζ moves ζ j to ζ i for any i, j Z 0. Let W R be a D C -submodule, and let D = ( ζ + η(e))ζ D C. Then ζ k are eigenvectors for D: π(d)ζ k = π( ζ + η(e))ζ k+1 = (k + 1)ζ k. We define a length function analogous to the length function in 1. If w = k Z 0 β k ζ k, then l(w) = Card{n Z 0 β n 0}. Let w = k Z 0 β k ζ k W be a non-zero element so that l(w) is minimal. If l(w) = 1, then w = β k ζ k for some k Z 0, and repeated action by ζ + η(e) and ζ on w generate all of R. In this case, R is irreducible, as desired. If l(w) > 1, then there 1 exists some n Z 0 such that β n 0 and n The element n+1π(d)w w W, and l( 1 n+1π(d)w w) < l(w), which contradicts the minimality of l(w). Therefore, R is an irreducible D C -module. Since C is affine, this in turn implies that R is irreducible as a D C -module. Therefore, R is an irreducible η-twisted N-homogeneous connection on the open orbit U 1. Let i 1 : U 1 X be inclusion. Then I(U 1, R, t) := i 1+ (R) is the corresponding standard η-twisted Harish-Chandra sheaf. We claim this is an irreducible D t -module. Since irreducibility of D t -modules is a local property and I(U 1, R, t) U1 = R is irreducible, it remains to show that I(U 1, R, t) U0 is irreducible. We do so by using the relationship between the trivializations on the intersection V as we did in previous untwisted examples. Since U 1 is affine, we work with Γ(U 1, I(U 1, R, t) U1 ) = R. As a C[ζ]-module, R = C[ζ] since the η-twist in the module structure of R only comes from the ζ -action. Therefore, when we restrict R to C, localization gives us the D C -module R(C ) C[ζ] R = R(C ) on the intersection. Now, the relationship ψ : D C D C ζ ζ + t + 1 ζ between our trivializations gives us another module structure on R(C ), as in the untwisted case. Let S be the D C -module which is ismorphic to R(C ) as a vector space, with D C -module action ν given by ν( ζ )ζ k = ψ π( ζ )ζ k = kζ k 1 + (t + 1)ζ k 1 η(e)ζ k for k 0, ν( ζ )1 = (t + 1)ζ 1 η(e), and ν(ζ)ζ k = ζ k+1 for k Z. Using the relationship z = 1 ζ, = ζ ζ between our coordinate systems on the intersection V, we can express this action in U 0 -coordinates as ν( )z k = ζ ( kζ k 1 + (t + 1)ζ k 1 η(e)ζ k ) = (k (t + 1))z k 1 + η(e)z k for k 0, ν( )1 = ζ ( ζ + (t + 1)ζ 1 η(e)) 1 = (t + 1)z 1 + η(e)z, and ν(z)z k = z k+1. 17

18 We claim that S is an irreducible D C -module. Again, we prove this fact analogously to the proof in 1. Since both z, z 1 D C, we can move z j to z i for any i, j Z by repeated action by z and z 1. Let W S be a D C -submodule. Let T = z η(e) D C. Then W is T -stable, and T acts on spanning set elements by α(t )z k = α( )z k+ η(e)z k = ((k + ) (t + 1))z k+1 + η(e)z k η(e)z k = (k + 1 t)z k+1. As before, define length of w = k Z β kz k to be l(w) = Card{k Z β k 0}. Let w W be a nonzero element of minimal length. If l(w) = 1, then w = β n z n for some n Z, so repeated action by z and z 1 will generate all of S, and our module is irreducible as claimed. Assume l(w) > 1. If w = k Z β kz k, then α(t )w = k Z(k + 1 t)β k z k+1, so l(α(t )w) l(w). If t = k + 1 Z and β k 0, then l(α(t )w) < l(w), which is a contradiction. If t = k + 1 Z and β k = 0, or if t Z, then there exists n Z such that β n 0 and n + 1 t 0. 1 In this case, l( n+1 tα(t )w zw) < l(w), which is again a contradiction. We conclude that S is irreducible. Our final step is to push this module forward to U 0. Let j 0 : V U 0 be inclusion. Then j 0+ (S) is the D C -module which is isomorphic to R(C ) as a vector space with D C -action α given by α( )z k = (k (t + 1))z k 1 + η(e)z k for k 0, α( )1 = (t + 1)z 1 + η(e)z, and α(z)z k = z k+1. For k Z 0, define T k = z (k t) D C. Then, α(t k )z k = α( )z k+1 (k t)z k = ((k + 1) (t + 1))z k + η(e)z k 1 (k t)z k = η(e)z k 1. Define T 0 = z + t D C. Then α(t 0 )1 = α( )z + t = (1 (t + 1)) + η(e)z 1 + t = η(e)z 1. As a vector space, j 0+ (S) is spanned by {z k } k Z, and we have found a collection of operators T k D C so that repeated action by these operators maps z j to z i for any i, j Z. Since the operator T = z η(e) is in D C as well as D C, an analogous argument to the argument that S is irreducible shows that j 0+ (S) is irreducible as a D C -module. We conclude that I(U 1, R, t) U0 = j 0+ (S) is irreducible, so our standard module I(U 1, R, t) is an irreducible D t -module. We finish this section by arguing that I(U 1, R, t) is the only standard η-twisted Harish-Chandra sheaf on X. To do this, we must show that R is the unique irreducible η-twisted N-homogenous connection on U 1. Under the ismorphism U 1 C described in 4, the action of N on U 1 corresponds to the action of N on C via N C C ( ) 1 b (, ζ) ζ + b 0 1 (( )) 1 b This induces an action ρ of N on R(C) C[ζ] given by ρ f(ζ) = f(ζ b). Let τ be an 0 1 irreducible N-homogeneous connection on C. Then M = Γ(C, τ) is an irreducible N-equivariant 18

19 R(C)-module. What this means precisely is the following. If ν is the action of N on M giving it the structure of a N-module and ρ is the action of N on R(C) induced from the action of N on C as described above, then the R(C)-module action map R(C) M M ( ) (( )) (( )) (( )) 1 b 1 b 1 b 1 b is N-equivariant; i.e. for N, ν (f m) = (ρ f) ν m We claim that any R(C)-invariant subspace of M must contain an N-fixed vector. Since N is abelian, irreducible representations of N are one-dimensional. Therefore, since M is semisimple as an N-module, there exists an element m M such that the N-action is given by ( ) 1 b m = ϕ(b)m 0 1 for ϕ : C C an irreducible representation of C. This action must satisfy ( ) ( ) ( ) 1 a + b 1 a 1 b ϕ(a + b)m = m = m = ϕ(a)ϕ(b)m, so ϕ(b) = e λb for some λ C. However, we are working in the category of algebraic representations, so the only choice of λ that makes ϕ an algebraic representation is λ = 0. Therefore, there exists m M such that N m = m. Let v 0 M be an N-fixed vector. Since M is irreducible as an R(C)-module, then the submodule span{v n := ζ n v 0 } n Z 0 M generated by v 0 must be all of M. Let µ be the action of n on M obtained by differentiating the action ν of N on M. Since the N-action by ν fixes v 0, the n-action by µ must annihilate v 0. Since n = span{e}, this implies that µ(e)v 0 = 0. So far, we have only described the R(C)-module structure of M. If we want to give M the additional structure of an η-twisted D C -module (i.e. π(ξ) = µ(ξ) + η(ξ) for all ξ n, where π is the action of n on M induced from the D C -module structure), then there is only one possibility for the D C -action on v 0 : π(e)v 0 = µ(e)v 0 + η(e)v 0 = η(e)v 0 Since v 0 generates M as an R(C)-module, this determines the action of D C on all of M. Indeed, since E = ζ as a differential operator on U 1, the following calculation π(e)v 1 = π( ζ )ζv 0 = v 0 + η(e)ζv 0 = v 0 + η(e)v 1 lets us determine that π(e)v n = nv n 1 + η(e)v n, and thus π( ζ )v n = nv n 1 η(e)v n. Let us review the conclusions of the preceeding paragraphs. We have determined that any irreducible N-equivariant R(C)-module must be spanned by vectors of the form {v n := ζ n v 0 } n Z 0, where v 0 is a vector fixed by N. If we want to give this module the additional structure of an η- twisted D C -module, then the D C -action must be given by π( ζ )v n = nv n 1 η(e)v n. We claim that any such module must be isomorphic to the module R described in the beginning of this section. What remains is to show that the spanning set {v n } is linearly independent. Let n Z 0 β n v n = 0 be a linear combination of spanning set elements with non-zero coefficients. Then since v n = ζ n v 0, β n v n = β n ζ n v 0 = P (ζ)v 0 = 0, n Z 0 n Z 0 19

20 where P (ζ) R(C) is a polynomial in ζ that annihilates v 0. Consider the action of ζ on this element: 0 = π( ζ )(0) = π( ζ )P (ζ)v 0 = P (ζ)v 0 + η(e)p (ζ)v 0 = P (ζ)v 0. We see that the derivative of P (ζ) also annihilates v 0. We conclude that all derivatives of P (ζ) annihilate v 0. Let m = deg(p ). Then the m-th derivative annihilates v 0, P (m) (ζ)v 0 = β m m!v 0 = 0. This implies that β m = 0, and thus all β i = 0. Therefore, the set {v n } consists of linearly independent vectors in M, and the map sending v n ζ n is a D C -module isomorphism of M and R. We conclude that R is the unique irreducible η-twisted N -homogeneous connection on U 1, and for non-zero η, there is a single standard object in the category M(D t, N, η) of η-twisted Harish-Chandra sheaves on X. Note that if we specialize to η = 0, the argument above shows that there is a unique irreducible N-homogeneous connection on U 1, which was stated without proof in 4.1. References [1] B. Kostant, On Whittaker vectors and representation theory, Invent. Math. 48 (1978), [] D. Miličić, Localization and representation theory of reductive Lie groups. Preprint,

D-MODULES: AN INTRODUCTION

D-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 information

Highest-weight Theory: Verma Modules

Highest-weight Theory: Verma Modules Highest-weight Theory: Verma Modules Math G4344, Spring 2012 We will now turn to the problem of classifying and constructing all finitedimensional representations of a complex semi-simple Lie algebra (or,

More information

A GEOMETRIC JACQUET FUNCTOR

A 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 information

QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS

QUANTIZATION 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 information

LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O

LECTURE 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 information

A PROOF OF BOREL-WEIL-BOTT THEOREM

A PROOF OF BOREL-WEIL-BOTT THEOREM A PROOF OF BOREL-WEIL-BOTT THEOREM MAN SHUN JOHN MA 1. Introduction In this short note, we prove the Borel-Weil-Bott theorem. Let g be a complex semisimple Lie algebra. One basic question in representation

More information

A relative version of Kostant s theorem

A 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 information

Category O and its basic properties

Category 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 information

BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)

BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that

More information

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group

More information

LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)

LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is

More information

Twisted Harish-Chandra sheaves and Whittaker modules: The nondegenerate case

Twisted Harish-Chandra sheaves and Whittaker modules: The nondegenerate case Twisted Harish-Chandra sheaves and Whittaker modules: The nondegenerate case Dragan Miličić and Wolfgang Soergel Introduction Let g be a complex semisimple Lie algebra, U (g) its enveloping algebra and

More information

1. Algebraic vector bundles. Affine Varieties

1. 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 information

Flag Manifolds and Representation Theory. Winter School on Homogeneous Spaces and Geometric Representation Theory

Flag Manifolds and Representation Theory. Winter School on Homogeneous Spaces and Geometric Representation Theory Flag Manifolds and Representation Theory Winter School on Homogeneous Spaces and Geometric Representation Theory Lecture I. Real Groups and Complex Flags 28 February 2012 Joseph A. Wolf University of California

More information

Conformal 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. 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 information

HARTSHORNE EXERCISES

HARTSHORNE EXERCISES HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

More information

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013

More information

Contents. Chapter 3. Local Rings and Varieties Rings of Germs of Holomorphic Functions Hilbert s Basis Theorem 39.

Contents. Chapter 3. Local Rings and Varieties Rings of Germs of Holomorphic Functions Hilbert s Basis Theorem 39. Preface xiii Chapter 1. Selected Problems in One Complex Variable 1 1.1. Preliminaries 2 1.2. A Simple Problem 2 1.3. Partitions of Unity 4 1.4. The Cauchy-Riemann Equations 7 1.5. The Proof of Proposition

More information

Section Projective Morphisms

Section Projective Morphisms Section 2.7 - Projective Morphisms Daniel Murfet October 5, 2006 In this section we gather together several topics concerned with morphisms of a given scheme to projective space. We will show how a morphism

More information

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly

More information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three 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 information

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups

More information

3d Gauge Theories, Symplectic Duality and Knot Homology I. Tudor Dimofte Notes by Qiaochu Yuan

3d Gauge Theories, Symplectic Duality and Knot Homology I. Tudor Dimofte Notes by Qiaochu Yuan 3d Gauge Theories, Symplectic Duality and Knot Homology I Tudor Dimofte Notes by Qiaochu Yuan December 8, 2014 We want to study some 3d N = 4 supersymmetric QFTs. They won t be topological, but the supersymmetry

More information

Equivariant Algebraic K-Theory

Equivariant 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 information

The Spinor Representation

The Spinor Representation The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)

More information

Math 594. Solutions 5

Math 594. Solutions 5 Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses

More information

LECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES

LECTURE 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 information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined

More information

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need

More information

Representations and Linear Actions

Representations 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 information

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n 12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s

More information

Synopsis 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. 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 information

Algebraic v.s. Analytic Point of View

Algebraic v.s. Analytic Point of View Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,

More information

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

ALGEBRA 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 information

LECTURE 11: SOERGEL BIMODULES

LECTURE 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 information

(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap

(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap The basic objects in the cohomology theory of arithmetic groups Günter Harder This is an exposition of the basic notions and concepts which are needed to build up the cohomology theory of arithmetic groups

More information

Algebraic Geometry Spring 2009

Algebraic 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 information

Section Higher Direct Images of Sheaves

Section Higher Direct Images of Sheaves Section 3.8 - Higher Direct Images of Sheaves Daniel Murfet October 5, 2006 In this note we study the higher direct image functors R i f ( ) and the higher coinverse image functors R i f! ( ) which will

More information

IVAN LOSEV. Lemma 1.1. (λ) O. Proof. (λ) is generated by a single vector, v λ. We have the weight decomposition (λ) =

IVAN LOSEV. Lemma 1.1. (λ) O. Proof. (λ) is generated by a single vector, v λ. We have the weight decomposition (λ) = LECTURE 7: CATEGORY O AND REPRESENTATIONS OF ALGEBRAIC GROUPS IVAN LOSEV Introduction We continue our study of the representation theory of a finite dimensional semisimple Lie algebra g by introducing

More information

ON NEARLY SEMIFREE CIRCLE ACTIONS

ON NEARLY SEMIFREE CIRCLE ACTIONS ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)

More information

Dirac Cohomology, Orbit Method and Unipotent Representations

Dirac Cohomology, Orbit Method and Unipotent Representations Dirac Cohomology, Orbit Method and Unipotent Representations Dedicated to Bert Kostant with great admiration Jing-Song Huang, HKUST Kostant Conference MIT, May 28 June 1, 2018 coadjoint orbits of reductive

More information

Coherent sheaves on elliptic curves.

Coherent sheaves on elliptic curves. Coherent sheaves on elliptic curves. Aleksei Pakharev April 5, 2017 Abstract We describe the abelian category of coherent sheaves on an elliptic curve, and construct an action of a central extension of

More information

(1) is an invertible sheaf on X, which is generated by the global sections

(1) is an invertible sheaf on X, which is generated by the global sections 7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,

More information

ON DEGENERATION OF THE SPECTRAL SEQUENCE FOR THE COMPOSITION OF ZUCKERMAN FUNCTORS

ON DEGENERATION OF THE SPECTRAL SEQUENCE FOR THE COMPOSITION OF ZUCKERMAN FUNCTORS ON DEGENERATION OF THE SPECTRAL SEQUENCE FOR THE COMPOSITION OF ZUCKERMAN FUNCTORS Dragan Miličić and Pavle Pandžić Department of Mathematics, University of Utah Department of Mathematics, Massachusetts

More information

ON THE EXISTENCE OF (g, k)-modules OF FINITE TYPE. Ivan Penkov 1, Vera Serganova 2 and Gregg Zuckerman 3

ON THE EXISTENCE OF (g, k)-modules OF FINITE TYPE. Ivan Penkov 1, Vera Serganova 2 and Gregg Zuckerman 3 Duke Mathematical Journal 125 2004, 329-349. To Israel Moiseevich Gelfand on his 90 th birthday ON THE EXISTENCE OF (g, k)-modules OF FINITE TYPE Ivan Penkov 1, Vera Serganova 2 and Gregg Zuckerman 3 Abstract.

More information

3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).

3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X). 3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)

More information

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open

More information

BIRTHING OPERS SAM RASKIN

BIRTHING 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 information

Quaternionic Complexes

Quaternionic 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 information

Monodromy of the Dwork family, following Shepherd-Barron X n+1. P 1 λ. ζ i = 1}/ (µ n+1 ) H.

Monodromy of the Dwork family, following Shepherd-Barron X n+1. P 1 λ. ζ i = 1}/ (µ n+1 ) H. Monodromy of the Dwork family, following Shepherd-Barron 1. The Dwork family. Consider the equation (f λ ) f λ (X 0, X 1,..., X n ) = λ(x n+1 0 + + X n+1 n ) (n + 1)X 0... X n = 0, where λ is a free parameter.

More information

The Hitchin map, local to global

The 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 information

LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT

LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT 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

More information

Representations Are Everywhere

Representations 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 information

Introduction to Chiral Algebras

Introduction 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 information

An 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 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 information

k=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

k=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

LECTURE 10: KAZHDAN-LUSZTIG BASIS AND CATEGORIES O

LECTURE 10: KAZHDAN-LUSZTIG BASIS AND CATEGORIES O LECTURE 10: KAZHDAN-LUSZTIG BASIS AND CATEGORIES O IVAN LOSEV Introduction In this and the next lecture we will describe an entirely different application of Hecke algebras, now to the category O. In the

More information

The Cartan Decomposition of a Complex Semisimple Lie Algebra

The Cartan Decomposition of a Complex Semisimple Lie Algebra The Cartan Decomposition of a Complex Semisimple Lie Algebra Shawn Baland University of Colorado, Boulder November 29, 2007 Definition Let k be a field. A k-algebra is a k-vector space A equipped with

More information

On the centralizer of a regular, semi-simple, stable conjugacy class. Benedict H. Gross

On the centralizer of a regular, semi-simple, stable conjugacy class. Benedict H. Gross On the centralizer of a regular, semi-simple, stable conjugacy class Benedict H. Gross Let k be a field, and let G be a semi-simple, simply-connected algebraic group, which is quasi-split over k. The theory

More information

SYMPLECTIC GEOMETRY: LECTURE 5

SYMPLECTIC GEOMETRY: LECTURE 5 SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The

More information

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients. EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is

More information

Math 249B. Nilpotence of connected solvable groups

Math 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 information

The Proj Construction

The Proj Construction The Proj Construction Daniel Murfet May 16, 2006 Contents 1 Basic Properties 1 2 Functorial Properties 2 3 Products 6 4 Linear Morphisms 9 5 Projective Morphisms 9 6 Dimensions of Schemes 11 7 Points of

More information

Toric Varieties. Madeline Brandt. April 26, 2017

Toric Varieties. Madeline Brandt. April 26, 2017 Toric Varieties Madeline Brandt April 26, 2017 Last week we saw that we can define normal toric varieties from the data of a fan in a lattice. Today I will review this idea, and also explain how they can

More information

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 18. Category O for rational Cherednik algebra We begin to study the representation theory of Rational Chrednik algebras. Perhaps, the class of representations

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

Variations on a Casselman-Osborne theme

Variations on a Casselman-Osborne theme Variations on a Casselman-Osborne theme Dragan Miličić Introduction This paper is inspired by two classical results in homological algebra o modules over an enveloping algebra lemmas o Casselman-Osborne

More information

On the Harish-Chandra Embedding

On the Harish-Chandra Embedding On the Harish-Chandra Embedding The purpose of this note is to link the Cartan and the root decompositions. In addition, it explains how we can view a Hermitian symmetric domain as G C /P where P is a

More information

arxiv: v1 [math.rt] 14 Nov 2007

arxiv: v1 [math.rt] 14 Nov 2007 arxiv:0711.2128v1 [math.rt] 14 Nov 2007 SUPPORT VARIETIES OF NON-RESTRICTED MODULES OVER LIE ALGEBRAS OF REDUCTIVE GROUPS: CORRIGENDA AND ADDENDA ALEXANDER PREMET J. C. Jantzen informed me that the proof

More information

Lecture 4 Super Lie groups

Lecture 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 information

Geometry of Conformal Field Theory

Geometry 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 information

Math 210C. The representation ring

Math 210C. The representation ring Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let

More information

Mathematical Research Letters 3, (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION. Hanspeter Kraft and Frank Kutzschebauch

Mathematical Research Letters 3, (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION. Hanspeter Kraft and Frank Kutzschebauch Mathematical Research Letters 3, 619 627 (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION Hanspeter Kraft and Frank Kutzschebauch Abstract. We show that every algebraic action of a linearly reductive

More information

Draft: 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 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 information

Cohomology theories on projective homogeneous varieties

Cohomology theories on projective homogeneous varieties Cohomology theories on projective homogeneous varieties Baptiste Calmès RAGE conference, Emory, May 2011 Goal: Schubert Calculus for all cohomology theories Schubert Calculus? Cohomology theory? (Very)

More information

Isogeny invariance of the BSD conjecture

Isogeny invariance of the BSD conjecture Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p

More information

GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS

GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS ANA BALIBANU DISCUSSED WITH PROFESSOR VICTOR GINZBURG 1. Introduction The aim of this paper is to explore the geometry of a Lie algebra g through the action

More information

BRST and Dirac Cohomology

BRST and Dirac Cohomology BRST and Dirac Cohomology Peter Woit Columbia University Dartmouth Math Dept., October 23, 2008 Peter Woit (Columbia University) BRST and Dirac Cohomology October 2008 1 / 23 Outline 1 Introduction 2 Representation

More information

Peter Hochs. Strings JC, 11 June, C -algebras and K-theory. Peter Hochs. Introduction. C -algebras. Group. C -algebras.

Peter Hochs. Strings JC, 11 June, C -algebras and K-theory. Peter Hochs. Introduction. C -algebras. Group. C -algebras. and of and Strings JC, 11 June, 2013 and of 1 2 3 4 5 of and of and Idea of 1 Study locally compact Hausdorff topological spaces through their algebras of continuous functions. The product on this algebra

More information

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic

More information

Reducibility of generic unipotent standard modules

Reducibility of generic unipotent standard modules Journal of Lie Theory Volume?? (??)???? c?? Heldermann Verlag 1 Version of March 10, 011 Reducibility of generic unipotent standard modules Dan Barbasch and Dan Ciubotaru Abstract. Using Lusztig s geometric

More information

TCC Homological Algebra: Assignment #3 (Solutions)

TCC 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 information

12 Geometric quantization

12 Geometric quantization 12 Geometric quantization 12.1 Remarks on quantization and representation theory Definition 12.1 Let M be a symplectic manifold. A prequantum line bundle with connection on M is a line bundle L M equipped

More information

Homogeneous Coordinate Ring

Homogeneous Coordinate Ring Students: Kaiserslautern University Algebraic Group June 14, 2013 Outline Quotients in Algebraic Geometry 1 Quotients in Algebraic Geometry 2 3 4 Outline Quotients in Algebraic Geometry 1 Quotients in

More information

The Canonical Sheaf. Stefano Filipazzi. September 14, 2015

The Canonical Sheaf. Stefano Filipazzi. September 14, 2015 The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over

More information

Atiyah classes and homotopy algebras

Atiyah classes and homotopy algebras Atiyah classes and homotopy algebras Mathieu Stiénon Workshop on Lie groupoids and Lie algebroids Kolkata, December 2012 Atiyah (1957): obstruction to existence of holomorphic connections Rozansky-Witten

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

DERIVED CATEGORIES OF COHERENT SHEAVES

DERIVED 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 information

MUMFORD-TATE GROUPS AND ABELIAN VARIETIES. 1. Introduction These are notes for a lecture in Elham Izadi s 2006 VIGRE seminar on the Hodge Conjecture.

MUMFORD-TATE GROUPS AND ABELIAN VARIETIES. 1. Introduction These are notes for a lecture in Elham Izadi s 2006 VIGRE seminar on the Hodge Conjecture. MUMFORD-TATE GROUPS AND ABELIAN VARIETIES PETE L. CLARK 1. Introduction These are notes for a lecture in Elham Izadi s 2006 VIGRE seminar on the Hodge Conjecture. Let us recall what we have done so far:

More information

COMPLEX MULTIPLICATION: LECTURE 14

COMPLEX MULTIPLICATION: LECTURE 14 COMPLEX MULTIPLICATION: LECTURE 14 Proposition 0.1. Let K be any field. i) Two elliptic curves over K are isomorphic if and only if they have the same j-invariant. ii) For any j 0 K, there exists an elliptic

More information

Representations of semisimple Lie algebras

Representations of semisimple Lie algebras Chapter 14 Representations of semisimple Lie algebras In this chapter we study a special type of representations of semisimple Lie algberas: the so called highest weight representations. In particular

More information

Geometry 9: Serre-Swan theorem

Geometry 9: Serre-Swan theorem Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

The Hecke category (part II Satake equivalence)

The 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 information

AUTOMORPHIC FORMS NOTES, PART I

AUTOMORPHIC FORMS NOTES, PART I AUTOMORPHIC FORMS NOTES, PART I DANIEL LITT The goal of these notes are to take the classical theory of modular/automorphic forms on the upper half plane and reinterpret them, first in terms L 2 (Γ \ SL(2,

More information

1 Fields and vector spaces

1 Fields and vector spaces 1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary

More information

H(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )).

H(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 information

arxiv:alg-geom/ v1 21 Mar 1996

arxiv:alg-geom/ v1 21 Mar 1996 AN INTERSECTION NUMBER FOR THE PUNCTUAL HILBERT SCHEME OF A SURFACE arxiv:alg-geom/960305v 2 Mar 996 GEIR ELLINGSRUD AND STEIN ARILD STRØMME. Introduction Let S be a smooth projective surface over an algebraically

More information