First and second cohomologies of grading-restricted vertex algebras
|
|
- Angel Smith
- 5 years ago
- Views:
Transcription
1 First and second cohomologies of grading-restricted vertex algebras Yi-Zhi Huang Abstract Let V be a grading-restricted vertex algebra and W a V -module. We show that for any m Z +, the first cohomology Hm(V, 1 W ) of V with coefficients in W introduced by the author is linearly isomorphic to the space of derivations from V to W. In particular, Hm(V, 1 W ) for m N are equal (and can be denoted using the same notation H 1 (V, W )). We also show that the second cohomology H 1 (V, W ) of V with coefficients in W introduced by the author corresponds bijectively to the set of equivalence classes of square-zero extensions of V by W. In the case that W = V, we show that the second cohomology H 1 (V, V ) corresponds bijectively to the set of equivalence classes of first order deformations of V. 1 Introduction The present paper is a sequel to the paper [H]. We discuss the first and second cohomologies of grading-restricted vertex algebras introduced by the author in that paper. Let V be a grading-restricted vertex algebra and W a V -module. Recall from [H] that for each m Z + and n N, we have an n-th cohomology Hm(V, n W ) of V with coefficients in W. For each n N, We also have an n-th cohomology H (V, n W ) of V with coefficients in W which is isomorphic to the inverse limit of the inverse system {Hm(V, n W )} m Z+. We also have an additional second cohomology H 1 (V, W ) of V with coefficients in W. In the present paper, we discuss only Hm(V, 1 W ) for m Z + and H 1 (V, W ). 1
2 Let V be a grading-restricted vertex algebra and W a V -module. grading-preserving linear map f : V W is called a derivation if A f(y V (u, z)v) = Y W W V (f(u), z)v + Y W (u, z)f(v) = e zl( 1) Y W (v, z)f(u) + Y W (u, z)f(v) for u, v V. We use Der (V, W ) to denote the space of all such derivations. We have the following result for the first cohomologies of V with coefficients in W : Theorem 1.1. Let V be a grading-restricted vertex algebra and W a V - module. Then H 1 m(v, W ) is linearly isomorphic to the space of derivations from V to W for any m Z +, that is, H 1 m(v, W ) is linearly isomorphic to Der (V, W ) for any m Z +. In particular, H 1 m(v, W ) for m N are isomorphic (and can be denoted using the same notation H 1 (V, W )). Definition 1.. Let V be a grading-restricted vertex algebra. A square-zero ideal of V is an ideal W of V such that for any u, v W, Y V (u, x)v = 0. Definition 1.3. Let V be a grading-restricted vertex algebra and W a Z- graded V -module. A square-zero extension (Λ, f, g) of V by W is a gradingrestricted vertex algebra Λ together with a surjective homomorphism f : Λ V of grading-restricted vertex algebras such that ker f is a squarezero ideal of Λ (and therefore a V -module) and an injective homomorphism g of V -modules from W to Λ such that g(w ) = ker f. Two square-zero extensions (Λ 1, f 1, g 1 ) and (Λ, f, g ) of V by W are equivalent if there exists an isomorphism of grading-restricted vertex algebras h : Λ 1 Λ such that the diagram 0 W Λ 1 V 0 g 1 f 1 1 W h 1 V is commutative. 0 W Λ V 0, g f The notion of square-zero extension of V by W is an analogue of the notion of square-zero extension of an associative algebra by a bimodule. (see, for example, Section 9.3 of [W]).
3 We have the following result for the second cohomology H 1 (V, W ) of V with coefficients in W : Theorem 1.4. Let V be a grading-restricted vertex algebra and W a V - module. Then the set of the equivalence classes of square-zero extensions of V by W corresponds bijectively to H 1 (V, W ). Definition 1.5. Let t be a complex variable. A family of grading-restricted vertex algebras up to the first order in t is a Z-graded vector space V, a family Y t : V V V ((x)) for t C of linear maps of the form Y t = Y 0 +tψ where Y 0 and Ψ are linear maps from V V to V ((x)) independent of t, and an element 1 V satisfying all the axioms for grading-restricted vertex algebras up to the first order in t. More precisely, the triple (V, Y t, 1) satisfies the grading restriction condition, lower-truncation condition for vertex operators, L(0)- bracket formula and the following conditions: 1. Identity property up to the first order in t: Y t (1, x) = 1 V + O(t ).. Creation property up to the first order in t: For u V, Y t (u, x)1 V [[x]] and lim x 0 Y t (u, x)1 = v + O(t ). 3. Duality up to the first order in t: For v 1, v, v 3 V and v V, the coefficients of t 0 and t 1 terms of v, Y t (v 1, z 1 )Y t (v, z )v 3 v, Y t (v, z )Y t (v 1, z 1 )v 3 v, Y t (Y t (v 1, z 1 z )v, z )v 3 are absolutely convergent in the regions z 1 > z > 0, z > z 1 > 0 and z > z 1 z > 0, respectively, to common rational functions in z 1 and z with the only possible poles at z 1, z = 0 and z 1 = z. Definition 1.6. Let (V, Y V, 1) be a grading-restricted vertex algebra. A first order deformation of V is a family Y t : V V V ((x)) for t C of linear maps of the form Y t = Y V + tψ where Ψ : V V V ((x)) v 1 v Ψ(v 1, x)v is a linear map such that (V, Y t, 1) for t C is a family of grading-restricted vertex algebras up to the first order in t. Two first order deformations Y (1) t 3
4 and Y () t, t C, of (V, Y V, 1) are equivalent if there exists a family f t : V V, t C of linear maps of the form f t = 1 V + tg where g : V V is a linear map preserving the gradings of V such that for v 1, v V. We have: f t (Y (1) t (v 1, x)v ) Y () t (f t (v 1 ), x)f t (v ) t V ((x)) (1.1) Theorem 1.7. The set of equivalence classes of first order deformations of a grading-restricted vertex algebra is in bijection with the set of equivalence classes of square-zero extensions of V by V. From Theorems 1.4 and 1.7, we obtain immediately the following result for the second cohomology H 1 (V, V ) of V with coefficients in V : Theorem 1.8. Let V be a grading-restricted vertex algebra. Then the set of the equivalence classes of first order deformations of V correspond bijectively to H 1 (V, V ). We prove Theorems 1.1, 1.4 and 1.7 in Sections, 3 and 4, respectively. Acknowledgments grant PHY The author is grateful for partial support from NSF First cohomologies and spaces of derivations We prove Theorem 1.1 in the present section. First, we need the following: Lemma.1. Let f : V W be a derivation. Then f(1) = 0. Proof. By definition, f(1) = f(y V (1, z)1) = lim f(y V (1, z)1) z 0 = lim e zl( 1) Y W (1, z)f(1) + lim Y W (1, z)f(1) z 0 z 0 = f(1). 4
5 So f(1) = 0. Let Φ : V W z1 be an element of Cm(V, 1 W ) satisfying δmφ 1 = 0. Since Φ satisfies the L(0)-conjugation property, for v V (n) and z C, z L(0) (Φ(v))(0) = (Φ(z L(0) v))(0) = z n (Φ(v))(0). Thus (Φ(v))(0) W (n). So (Φ(v))(0) is a grading-preserving linear map from V to W. Since δ 1 mφ = 0, R( w, Y W (v 1, z 1 )(Φ(v ))(z ) ) R( w, (Φ(Y V (v 1, z 1 z )v ))(z ) ) = 0 +R( w, Y W (v, z )(Φ(v 1 ))(z 1 ) ) for v 1, v V and w W. By L( 1)-derivative property for Φ and the vertex operator map Y W, R( w, Y W (v, z )(Φ(v 1 ))(z 1 ) ) = R( w, e z 1L( 1) Y W (v, z 1 + z )(Φ(v 1 ))(0) ). Thus we have R( w, Y W (v 1, z 1 )(Φ(v ))(z ) ) R( w, (Φ(Y V (v 1, z 1 z )v ))(z ) ) = 0. Let z = 0. We obtain +R( w, e z 1L( 1) Y W (v, z 1 + z )(Φ(v 1 ))(0) ) R( w, Y W (v 1, z 1 )(Φ(v ))(0) ) R( w, (Φ(Y V (v 1, z 1 )v ))(0) ) = 0. +R( w, e z 1L( 1) Y W (v, z 1 )(Φ(v 1 ))(0) ) Since w is arbitrary, we obtain (Φ(Y V (v 1, z 1 )v ))(0) = e z 1L( 1) Y W (v, z 1 )(Φ(v 1 ))(0) + Y W (v 1, z 1 )(Φ(v ))(0) = Y W W V ((Φ(v 1 ))(0), z 1 )(Φ(v ))(0) + Y W (v 1, z 1 )(Φ(v ))(0) 5
6 for v 1, v V. This means that (Φ( ))(0) : V W is a derivation from V to W. Note that δm(c 0 m(v, 0 W )) = 0. So we obtain a linear map from H 1 (V, W ) to the space of derivations from V to W. Conversely, given any derivation f from V to W, let Φ f : V W z1 be given by (Φ f (v))(z 1 ) = f(y V (v, z 1 )1) = YW W V (f(v), z 1 )1 for v V, where we have used Lemma.1. By Theorem 5.6. in [FHL], the map from V to W z1 given by v Y W W V ((Φ(v))(0), z 1)1 is composable with m vertex operators for any m N. Thus Φ f C 1 m(v, W ) for any m N. For v 1, v V and w W, ((δ 1 mφ f )(v 1 v ))(z 1, z ) = R( w, Y W (v 1, z 1 )Y W W V (f(v ), z )1 ) R( w, Y W W V (f(y V (v 1, z 1 z )v ), z )1) ) +R( w, Y W (v, z )Y W W V (f(v 1 ), z 1 )1 ) = R( w, Y W (v 1, z 1 )Y W W V (f(v ), z )1 ) R( w, Y W W V (Y W W V (f(v 1 ), z 1 z )v ), z )1) ) R( w, Y W W V (Y W (v 1, z 1 z )f(v ), z )1) ) +R( w, Y W (v, z )Y W W V (f(v 1 ), z 1 )1 ) = R( w, Y W (v 1, z 1 )Y W W V (f(v ), z )1 ) R( w, e z L W ( 1) Y W W V (f(v 1 ), z 1 z )v ) R( w, e z L W ( 1) Y W (v 1, z 1 z )f(v ) ) +R( w, Y W (v, z )Y W W V (f(v 1 ), z 1 )1 ) = R( w, Y W (v 1, z 1 )Y W W V (f(v ), z )1 ) R( w, Y W W V (f(v 1 ), z 1 )e z L V ( 1) v ) R( w, Y W (v 1, z 1 )e z L W ( 1) f(v ) ) +R( w, Y W (v, z )Y W W V (f(v 1 ), z 1 )1 ) = R( w, Y W (v 1, z 1 )Y W W V (f(v ), z )1 ) R( w, Y W W V (f(v 1 ), z 1 )Y W (v, z )1 ) R( w, Y W (v 1, z 1 )Y W W V (f(v ), z )1 ) +R( w, Y W (v, z )Y W W V (f(v 1 ), z 1 )1 ) = R( w, Y W W V (f(v 1 ), z 1 )Y V (v, z )1 ) +R( w, Y W (v, z )Y W W V (f(v 1 ), z 1 )1 ). 6
7 (.1) From Theorem 5.6. in [FHL], we know that the right-hand side of (.1) is 0. So we obtain a linear map f Φ f from the space Der (V, W ) to H 1 m(v, W ) = C 1 m(v, W ). Clearly these two maps are inverse to each other and thus Der (V, W ) and H 1 m(v, W ) are isomorphic. 3 Second cohomologies and square-zero extensions In this section, we prove Theorem 1.4. Let (Λ, f, g) be a square-zero extension of V by W. Then there is an injective linear map Γ : V Λ such that the linear map h : V W Λ given by h(v, w) = Γ(v) + g(w) is a linear isomorphism. By definition, the restriction of h to W is the isomorphism g from W to ker f. Then the gradingrestricted vertex algebra structure and the V -module structure on Λ give a grading-restricted vertex algebra structure and a V -module structure on V W such that the embedding i : W V W and the projection p 1 : V W V are homomorphisms of grading-restricted vertex algebras. Moreover, ker p 1 is a square-zero ideal of V W, i is an injective homomorphism such that i (W ) = ker p 1 and the diagram 0 W i V W p 1 V 0 1 W h 1 V 0 W g Λ f V 0 (3.1) of V -modules is commutative. So we obtain a square-zero extension (V W, p 1, i ) equivalent to (Λ, f, g). We need only consider square-zero extension of V by W of the particular form (V W, p 1, i ). Note that the difference between two such square-zero extensions are in the vertex operator maps. So we use (V W, Y V W, p 1, i ) to denote such a square-zero extension. We now write down the vertex operator map for V W explicitly. Since (V W, Y V W, p 1, i ) is a square-zero extension of V, there exists Ψ(u, x)v 7
8 W ((x)) for u, v V such that Y V W ((v 1, 0), x)(v, 0) = (Y V (v 1, x)v, Ψ(v 1, x)v ), Y V W ((v 1, 0), x)(0, w) = (0, Y V (v 1, x)w ), Y V W ((0, w 1 ), x)(v, 0) = (0, Y W W V (w, x)v ), Y V W ((0, w 1 ), x)(0, w ) = 0 for v 1, v V and w 1, w W. Thus we have Y V W ((v 1, w 1 ), x)(v, w ) = (Y V (v 1, x)v, Y W (v 1, x)w + Y W W V (w 1, x)v + Ψ(v 1, x)v ) (3.) for v 1, v V and w 1, w W. The vacuum of V W is (1, 0). Since Y V W ((v, w), x)(1, 0) = e xl V W ( 1) (v, w) for v W and w W, we have = (e xl V ( 1) v, e xl W ( 1) w) = (Y V (v, x)1, Y W W V (w, x)1) Ψ(v, x)1 = 0 (3.3) for v V. We identify (V W ) with V W. For v 1, v V and w W, (0, w ), Y V W ((v 1, 0), z 1 )Y V W ((v, 0), z )(1, 0) = w, Ψ(v 1, z 1 )Y V (v, z )1 + Y W (v 1, z 1 )Ψ(v, z )1 = w, Ψ(v 1, z 1 )Y V (v, z )1, (0, w ), Y V W ((v, 0), z )Y V W ((v 1, 0), z 1 )(1, 0) = w, Ψ(v, z )Y V (v 1, z 1 )1 + Y W (v, z )Ψ(v 1, z 1 )1 = w, Ψ(v, z )Y V (v 1, z 1 )1, (0, w ), Y V W (Y V W ((v 1, 0), z 1 z )(v, 0), z )(1, 0) = w, Y W W V (Ψ(v 1, z 1 z )v, z )1 + Ψ(Y V (v 1, z 1 z )v, z )1 = w, Y W W V (Ψ(v 1, z 1 z )v, z )1 are absolutely convergent in the region z 1 > z > 0, z > z 1 > 0, z > z 1 z > 0, respectively, to one rational function in z 1 and z with 8
9 the only possible poles at z 1, z = 0 and z 1 = z. Using our notation in [H], we denote this rational function by R( w, Ψ(v 1, z 1 )Y V (v, z )1 ) or or R( w, Ψ(v, z )Y V (v 1, z 1 )1 ) R( w, Y W W V (Ψ(v 1, z 1 z )v, z )1 ). Then we obtain an element, denoted by E(Ψ(v 1, z 1 )Y V (v, z )1) or or E(Ψ(v, z )Y V (v 1, z 1 )1) E(Y W W V (Ψ(v 1, z 1 z )v, z )1), of W z1,z given by w, E(Ψ(v 1, z 1 )Y V (v, z )1) = R( w, Ψ(v 1, z 1 )Y V (v, z )1 ) or w, E(Ψ(v, z )Y V (v 1, z 1 )1) = R( w, Ψ(v, z )Y V (v 1, z 1 )1 ) or w, E(Y W W V (Ψ(v 1, z 1 z )v, z )1) = R( w, Y W W V (Ψ(v 1, z 1 z )v, z )1 ). By definition, we have for v 1, v V. Let E(Ψ(v 1, z 1 )Y V (v, z )1) = E(Ψ(v, z )Y V (v 1, z 1 )1) = E(Y W W V (Ψ(v 1, z 1 z )v, z )1) Φ : V V W z1,z 9
10 be the linear map given by (Φ(v 1 v ))(z 1, z ) = E(Ψ(v 1, z 1 )Y V (v, z )1) = E(Ψ(v, z )Y V (v 1, z 1 )1) = E(Y W W V (Ψ(v 1, z 1 z )v, z )1) (3.4) for v 1, v V and (z 1, z ) F C. We first prove that Φ Ĉ 1 (V, W ). By the L( 1)-derivative property and the L(0)-bracket formula for V W, we have d dx Y V W ((v, 0), x) = Y V W ((L V ( 1)v, 0), x) (3.5) = [L V +W ( 1), Y V W ((v, 0), x)], (3.6) [L V +W (0), Y V W ((v, 0), x)] = Y V W ((L V (0)v, 0), x) + x d dx Y V W ((v, 0), x) (3.7) for v V. By (3.5), (3.6), (3.7), (3.) and the L( 1)-derivative property and the L(0)-bracket formula for V, we obtain d dx Ψ(v, x) = Ψ(L V ( 1)v, x) (3.8) = L W ( 1)Ψ(v, x) Ψ(v, x)l V ( 1), (3.9) L W (0)Ψ(v, x) Ψ(v, x)l V (0) = Ψ(L V (0)v, x) + x d Ψ(v, x) dx (3.10) for v V. From (3.10), we obtain z L W (0) Ψ(v, x) = Ψ(z L V (0) v, zx)z L V (0) (3.11) for v V. For v 1, v V and w W, by (3.8) and the L( 1)-derivative property for V, we obtain z 1 w, (Φ(v 1 v ))(z 1, z ) = z 1 w, E(Ψ(v 1, z 1 )Y V (v, z )1) 10
11 = R( w, Ψ(v 1, z 1 )Y V (v, z )1 ) z ( 1 ) = R w, Ψ(v 1, z 1 )Y V (v, z )1 z 1 = R( w, Ψ(L V ( 1)v 1, z 1 )Y V (v, z )1 ) = w, E(Ψ(L V ( 1)v 1, z 1 )Y V (v, z )1) = w, (Φ(L V ( 1)v 1 v ))(z 1, z ) (3.1) and w, (Φ(v 1 v ))(z 1, z ) z = w, E(Ψ(v 1, z 1 )Y V (v, z )1) z = R( w, Ψ(v 1, z 1 )Y V (v, z )1 ) z ( = R w, Ψ(v 1, z 1 ) ) Y V (v, z )1 z = R( w, Ψ(v 1, z 1 )Y V (L V ( 1)v, z )1 ) = w, E(Ψ(v 1, z 1 )Y V (L V ( 1)v, z )1) = w, (Φ(v 1 L V ( 1)v ))(z 1, z ). (3.13) Using (3.8), (3.9) and the L( 1)-derivative property for V, we obtain ( + ) w, (Φ(v 1 v ))(z 1, z ) z z ( = + ) w, E(Ψ(v 1, z 1 )Y V (v, z )1) z z ( = + ) R( w, Ψ(v 1, z 1 )Y V (v, z )1) ) z z ( ) = R w, Ψ(v 1, z 1 )Y V (v, z )1 z ( 1 +R w, Ψ(v 1, z 1 ) ) Y V (v, z )1 z = R( w, Ψ(L V ( 1)v 1, z 1 )Y V (v, z )1 ) +R( w, Ψ(v 1, z 1 )Y V (L V ( 1)v, z )1 ) 11
12 = R( w, L W ( 1)Ψ(v 1, z 1 )Y V (v, z )1 ) = R( L W (1)w, Ψ(v 1, z 1 )Y V (v, z )1 ) = L W (1)w, E(Ψ(v 1, z 1 )Y V (v, z )1) = w, L W ( 1)E(Ψ(v 1, z 1 )Y V (v, z )1) = w, L W ( 1)(Φ(v 1 v ))(z 1, z ) (3.14) for v 1, v V and w W, From (3.1), (3.13) and (3.14), we see that Φ satisfies the L( 1)-derivative property. Also for v 1, v V and w W, by (3.11) and the L(0)-bracket formula for V, we have w, z L W (0) (Φ(v 1 v ))(z 1, z ) = w, z L W (0) E(Ψ(v 1, z 1 )Y V (v, z )1) = z L W (0) w, E(Ψ(v 1, z 1 )Y V (v, z )1) = R( z L W (0) w, Ψ(v 1, z 1 )Y V (v, z )1 ) = R( w, z L W (0) Ψ(v 1, z 1 )Y V (v, z )1 ) = R( w, Ψ(z L V (0) v 1, zz 1 )Y V (z L V (0) v, zz )1 ) = w, E(Ψ(z L V (0) v 1, zz 1 )Y V (z L V (0) v, zz )1) = w, (Φ(z L V (0) v 1 z L V (0) v ))(zz 1, zz ), that is, Φ satisfies the L(0)-conjugation property. Since V W is a grading-restricted vertex algebra, for v 1, v, v 3 V and w W, the series and (0, w ), Y V W ((v 1, 0), z 1 )Y V W ((v, 0), z )Y V W ((v 3, 0), z 3 )(1, 0) (0, w ), Y V W (Y V W ((v 1, 0), z 1 z )(v, 0), z )Y V W ((v 3, 0), z 3 )(1, 0) are absolutely convergent in the regions given by z 1 > z > z 3 > 0 and by z > z 1 z, z 3 > 0 and z z 3 > z 1 z, respectively, to a same rational function with the only possible poles at z 1 = z, z 1 = z 3, z = z 3. But by (3.) and (3.3), these series are equal to w, Ψ(v 1, z 1 )Y V (v, z )Y V (v 3, z 3 )1 + w, Y W (v 1, z 1 )Ψ(v, z )Y V (v 3, z 3 )1 1
13 and w, Ψ(Y V (v 1, z 1 z )v, z )Y V (v 3, z 3 )1 + w, Y W W V (Ψ(v 1, z 1 z )v, z )Y V (v 3, z 3 )1, respectively, and are absolutely convergent to a same rational function which in our convention is equal to R( w, Ψ(v 1, z 1 )Y V (v, z )Y V (v 3, z 3 )1 + w, Y W (v 1, z 1 )Ψ(v, z )Y V (v 3, z 3 )1 ) and R( w, Ψ(Y V (v 1, z 1 z )v, z )Y V (v 3, z 3 )1 + w, Y W W V (Ψ(v 1, z 1 z )v, z )Y V (v 3, z 3 )1 ). In particular, we have proved that Φ Ĉ 1 (V, W ). Since by (3.4), (Φ(v 1 v ))(z 1, z ) = E(Ψ(v 1, z 1 )Y V (v, z )1) for v 1, v V and (z 1, z ) F C, that is, for v 1, v V, We obtain = E(Ψ(v, z )Y V (v 1, z 1 )1) = (Φ(v v 1 ))(z, z 1 ) = (σ 1 (Φ(v v 1 )))(z 1, z ) Φ(v 1 v ) σ 1 (Φ(v v 1 )) = 0 σ J ;1 ( 1) σ σ(φ(v 1 v )) = Φ(v 1 v ) σ 1 (Φ(v v 1 )) = 0 for v 1, v V. So Φ C (V, W ). Next we show that δ 1 (Φ) = 0. For v 1, v, v 3 V, w W, w, ((δ 1 (Φ))(v 1 v v 3 ))(z 1, z, z 3 ) 13
14 = R( w, (E (1) W (v 1; Φ(v v 3 )))(z 1, z, z 3 ) + w, (Φ(v 1 E () (v v 3 ; 1)))(z 1, z, z 3 ) ) R( w, (Φ(E () (v 1 v ; 1) v 3 ))(z 1, z, z 3 ) + w, (E W ;(1) W V (Φ(v 1 v ); v 3 ))(z 1, z, z 3 ) ) = R( w, Y W (v 1, z 1 )Ψ(v, z )Y V (v 3, z 3 )1 + w, Ψ(v 1, z 1 )Y V (v, z )Y V (v 3, z 3 )1 ) R( w, Ψ(Y V (v 1, z 1 z )v, z )Y V (v 3, z 3 )1 + w, Y W W V (Ψ(v 1, z 1 z )v, z )Y V (v 3, z 3 )1 ). (3.15) Since V W is a grading-restricted vertex algebra, we have the associativity property R( (0, w ), Y V W ((v 1, 0), z 1 )Y V W ((v, 0), z )Y V W ((v 3, 0), z 3 )(1, 0) ) = R( (0, w ), Y V W (Y V W ((v 1, 0), z 1 z )(v, 0), z ) which, by (3.) and (3.3), is equivalent to R( w, Ψ(v 1, z 1 )Y V (v, z )Y V (v 3, z 3 )1 + w, Y W (v 1, z 1 )Ψ(v, z )Y V (v 3, z 3 )1 ) = R( w, Ψ(Y V (v 1, z 1 z )v, z )Y V (v 3, z 3 )1 Y V W ((v 3, 0), z 3 )(1, 0) ), + w, Y W W V (Ψ(v 1, z 1 z )v, z )Y V (v 3, z 3 )1 ), as we have noticed above. So the right-hand side of (3.15) is 0. Thus Φ + δc 1 (V, 1 W ) is an element of H 1 (V, W ). Conversely, given any element of H 1 (V, W ), let Φ C 1 (V, W ) be a rep- resentative of this element. Then for any v 1, v V, there exists N such that for w W, w, (Φ(v 1 v ))(z, 0) is a rational function of z with the only possible pole at z = 0 of order less than or equal to N. For v 1, v V, let Ψ(v 1, x)v W ((x)) be given by w, Ψ(v 1, x)v x=z = w, (Φ(v 1 v ))(z, 0). for z C. For v 1, v V, define Y V W (v 1, x)v using (3.). So we obtain a vertex operator map Y V W. Reversing the proof above, we see that V W equipped with the vertex operator map Y V +W and the vacuum (1, 0) is a 14
15 grading-restricted vertex algebra and together with the projection p 1 : V W V and the embedding i : W V W, V W is a square-zero extension of V by W. Next we prove that two elements of ker δ 1 obtained this way differ by an element of δ 1 C 1 (V, W ) if and only if the corresponding square-zero extensions of V by W are equivalent. Let Φ 1, Φ ker δ 1 be two such elements obtained from square-zero extensions (V W, Y (1) V W, p 1, i ) and (V W, Y () V W, p 1, i ). Assume that Φ 1 = Φ + δ 1 (Γ) where Γ C 1 (V, W ). Since we have w, ((δ 1 (Γ))(v 1 v ))(z 1, z ) = R( w, Y W (v 1, z 1 )(Γ(v ))(z ) ) R( w, (Γ(Y V (v 1, z 1 z )v ))(z ) ) +R( w, Y W (v, z )(Γ(v 1 ))(z 1 ) ), R( w, Ψ 1 (v 1, z 1 )Y V (v, z )1 ) = w, (Φ 1 (v 1 v ))(z 1, z ) = w, (Φ (v 1 v ))(z 1, z ) + w, (δ 1 (Γ))(z 1, z ) = R( w, Ψ (v 1, z 1 )Y V (v, z )1 +R( w, Y W (v 1, z 1 )(Γ(v ))(z ) ) R( w, (Γ(Y V (v 1, z 1 z )v ))(z ) ) +R( w, Y W (v, z )(Γ(v 1 ))(z 1 ) ) = R( w, Ψ (v 1, z 1 )Y V (v, z )1 +R( w, Y W (v 1, z 1 )(Γ(v ))(z ) ) R( w, (Γ(Y V (v 1, z 1 z )v ))(z ) ) +R( w, e (z 1 z )L W ( 1) Y W (v, z 1 )(Γ(v 1 ))(z ) ). (3.16) Let z go to zero on both sides of (3.16). We obtain w, Ψ 1 (v 1, z 1 )v = w, Ψ (v 1, z 1 )v + w, Y W (v 1, z 1 )(Γ(v ))(0) w, (Γ(Y V (v 1, z 1 )v ))(0) 15
16 + w, e z 1L W ( 1) Y W (v, z 1 )(Γ(v 1 ))(0) = w, Ψ (v 1, z 1 )v + w, Y W (v 1, z 1 )(Γ(v ))(0) w, (Γ(Y V (v 1, z 1 )v ))(0) + w, YW W V ((Γ(v 1 ))(0), z 1 )v. Then Ψ 1 (v 1, x)v = Ψ (v 1, x)v + Y W (v 1, x)(γ(v ))(0) (Γ(Y V (v 1, x)v ))(0) + Y W W V ((Γ(v 1 ))(0), x)v. (3.17) For v 1, v V and w 1, w W, by (3.) and (3.17), we have Y (1) V W ((v 1, w 1 ), x)(v, w ) = (Y V (v 1, x)v, Y W (v 1, x)w + Y W W V (w 1, x)v + Ψ 1 (v 1, x)v ) = (Y V (v 1, x)v, Y W (v 1, x)w + Y W W V (w 1, x)v + Ψ (v 1, x)v ) +(Y V (v 1, x)v, Y W (v 1, x)(γ(v ))(0)) (Y V (v 1, x)v, (Γ(Y V (v 1, x)v ))(0)) +(Y V (v 1, x)v, Y W W V ((Γ(v 1 ))(0), x)v ) = Y () V W ((v 1, w 1 + (Γ(v 1 ))(0)), x)(v, w + (Γ(v ))(0)) (Y V (v 1, x)v, (Γ(Y V (v 1, x)v ))(0)). (3.18) We now define a linear map h : V W V W by e(v, w) = (v, w + (Γ(v))(0)) for v V and w W. Then h is a linear isomorphism and (3.18) can be rewritten as h(y (1) V W ((v 1, w 1 ), x)(v, w )) = Y () V W (h(v 1, w 1 ), x)h(v, w ). (3.19) for v 1, v V and w 1, w W. Thus h is an isomorphism of gradingrestricted vertex algebras from (V W, Y (1) () V W, (1, 0)) to (V W, Y V W, (1, 0)) such that the diagram 0 W i V W p 1 V 0 1 W h 1 V (3.0) 0 W i V W p 1 V 0 16
17 is commutative. Thus the two square-zero extensions of V by W are equivalent. Conversely, let (V W, Y (1) V +W, p 1, i ) and (V W, Y () V +W, p 1, i ) be two equivalent square-zero extensions of V by W. So there exists an isomorphism h : V W V W of grading-restricted vertex algebras such that (3.0) is commutative. We have the following lemma which is also needed in the next section: Lemma 3.1. There exists a linear map g : V V such that for v V and w W. h(v, w) = (v, w + g(v)) Proof. Let h(v, w) = (f(v, w), g(v, w)) for v V and w W. Then by (3.0), we have f(v, w) = v and g(0, w) = w. Since h is linear, we have g(v, w) = g(v, 0)+g(0, w) = w+g(v, 0). So h(v, w) = (v, w+g(v, 0)). Taking g(v) to be g(v, 0), we see that the conclusion holds. Let (Γ(v))(z 1 ) = e z 1L W ( 1) g(v) W. Then Γ : V W z1 is an element of C(V, 1 W ). By definition, we have g(v) = (Γ(v))(0) and h(v, w) = (v, w + (Γ(v))(0)) for v V and w W. Let Φ 1 and Φ be elements of ker δ 1 obtained from (V W, Y (1) V W, p 1, i ) and (V W, Y () V +W, p 1, i ), respectively, and Ψ 1 and Ψ the corresponding maps from V V to W ((x)). Then since h is a homomorphism of grading-restricted vertex algebras, (3.19) holds for v 1, v V and w 1, w W. Thus the two sides of (3.18) are equal for v 1, v V and w 1, w W. So the two expressions in the middle of (3.18) are equal for v 1, v V and w 1, w W. Thus we have (3.17) for v 1, v V. Formula (3.17) implies that the two sides of (3.16) are equal for v 1, v V. Thus the middle expressions in (3.16) are all equal for v 1, v V. In particular, we obtain Φ 1 = Φ + Γ. So Φ 1 and Φ differ by an element of δ 1 C 1 (V, W ). 4 Square-zero extensions and first order deformations In this section, we prove Theorem
18 Let Y t : V V V ((x)), t U, be a first order deformation of V. By definition, there exists such that Ψ : V V V ((x)) v 1 v Ψ(v 1, x)v Y t (v 1, x)v = Y V (v 1, x)v + tψ(v 1, x)v for v 1, v V and (V, Y t, 1) is a family of grading-restricted vertex algebras up to the first order in t. The identity property for (V, Y t, 1) up to the first order in t gives Y V (1, x)v + tψ(1, x)v = v + O(t ) for v V. So we obtain Ψ(1, x)v = 0 (4.1) for v V. The creation property for (V, Y t, 1) up to the first order in t gives for v V. Then we have lim (Y V (v, x) + tψ(v, x))1 = v + O(t ) x 0 lim Ψ(v, x)1 = 0 (4.) x 0 for v V. The duality property up to the first order in t can be written explicitly as follows: For v 1, v, v 3 V and v V, v, (Y V (v 1, z 1 )Ψ(v, z ) + Ψ(v 1, z 1 )Y V (v, z ))v 3 (4.3) v, (Y V (v, z )Ψ(v 1, z 1 ) + Ψ(v, z )Y V (v 1, z 1 ))v 3 (4.4) v, (Y V (Ψ(v 1, z 1 z )v, z ) + Ψ(Y V (v 1, z 1 z )v, z ))v 3 (4.5) are absolutely convergent in the regions z 1 > z > 0, z > z 1 > 0 and z > z 1 z > 0, respectively, to a common rational function in z 1 and z with the only possible poles at z 1, z = 0 and z 1 = z. Let Y V V : (V V ) (V V ) (V V )[[x, x 1 ]] (u 1, v 1 ) (u, v ) Y V V ((u 1, v 1 ), x)(u, v ) 18
19 be given by Y V V ((u 1, v 1 ), x)(u, v ) = (Y V (u 1, x)u, Y V (u 1, x)v + Y V (v 1, x)u + Ψ(u 1, x)u ) (4.6) for u 1, u, v 1, v V. By (4.6) and (4.1), Y V V ((1, 0), x)(u, v) = (Y V (1, x)u, Y V (1, x)v + Y V (0, x)u + Ψ(1, x)u) = (u, v) for u, v V, that is, (V V, Y V V, (1, 0)) has the identity property. By (4.6) and (4.), lim Y V V ((u, v), x)(1, 0) x 0 = (lim Y V (u, x)1, lim Y V (u, x)0 + lim Y V (v, x)1 + lim Ψ(u, x)1) x 0 x 0 x 0 x 0 = (u, v) for u, v V, that is, (V V, Y V V, (1, 0)) has the creation property. By (4.6), we have (u, v ), Y V V ((u 1, v 1 ), z 1 )Y V V ((u, v ), z )(u 3, v 3 ) = (u, v ), Y V V ((u 1, v 1 ), z 1 ) (Y V (u, z )u 3, Y V (u, z )v 3 + Y V (v, z )u 3 + Ψ(u, z )u 3 ) = u, Y V (u 1, z 1 )Y V (u, z )u 3 + v, Y V (u 1, z 1 )Y V (u, z )v 3 + v, Y V (u 1, z 1 )Y V (v, z )u 3 + v, Y V (u 1, z 1 )Ψ(u, z )u 3 + v, Y V (v 1, z 1 )Y V (u, z )u 3 + v, Ψ(u 1, z 1 )Y V (u, z )u 3. (4.7) By the properties of V and the absolute convergence of (4.3), we see that the left-hand side of (4.7) is absolutely convergent when z 1 > z > 0. Similarly, by (4.6), we have (u, v ), Y V V ((u, v ), z )Y V V ((u 1, v 1 ), z 1 )(u 3, v 3 ) = u, Y V (u, z )Y V (u 1, z 1 )u 3 + v, Y V (u, z )Y V (u 1, z 1 )v 3 + v, Y V (u, z )Y V (v 1, z 1 )u 3 + v, Y V (u, z )Ψ(u 1, z 1 )u 3 + v, Y V (v, z )Y V (u 1, z 1 )u 3 + v, Ψ(u, z )Y V (u 1, z 1 )u 3 (4.8) and the left-hand side of (4.8) is absolutely convergent when z > z 1 > 0. Moreover, since (4.3) and (4.4) converges absolutely when z 1 > z > 0 19
20 and when z > z 1 > 0, respectively, to a common rational function with the only possible poles at z 1, z, z 1 z = 0, the left-hand side of (4.7) and left-hand side of (4.8) also converges absolutely when z 1 > z > 0 and when z > z 1 > 0, respectively, to a common rational function with the only possible pole at z 1 z = 0. By (4.6) again, we have (u, v ), Y V V (Y V V ((u 1, v 1 ), z 1 z )(u, v ), z )(u 3, v 3 ) = (u, v ), Y V V ((Y V (u 1, z 1 z )u, Y V (u 1, z 1 z )v + Y V (v 1, z 1 z )u +Ψ(u 1, z 1 z )u ), z )(u 3, v 3 ) = u, Y V (Y V (u 1, z 1 z )u, z )u 3 + v, Y V (Y V (u 1, z 1 z )u, z )v 3 + v, Y V (Y V (u 1, z 1 z )v, z )u 3 + v, Y V (Y V (v 1, z 1 z )u, z )u 3 + v, Y V (Ψ(u 1, z 1 z )u, z )u 3 + v, Ψ(Y V (u 1, z 1 z )u, z )u 3. (4.9) By the properties of V and the absolute convergence of (4.5) and (4.9), we see that the left-hand side of (4.9) is absolutely convergent when z > z 1 z > 0. Moreover, since (4.3) and (4.5) converges absolutely when z 1 > z > 0 and when z > z 1 z > 0, respectively, to a common rational function with the only possible poles at z 1, z, z 1 z = 0, the left-hand side of (4.7) and left-hand side of (4.9) also converges absolutely when z 1 > z > 0 and when z > z 1 z > 0, respectively, to a common rational function with the only possible poles at z 1, z, z 1 z = 0. So (V V, Y V V, (1, 0)) has the duality property. Note that the L( 1)-derivative property is in fact a consequence of the other axioms for vertex algebras. Thus (V V, Y V V, (1, 0)) is a gradingrestricted vertex algebra. By definition, p 1 (Y V V ((u 1, v 1 ), x)(u, v )) = p 1 (Y V (u 1, x)u, Y V (u 1, x)v + Y V (v 1, x)u + Ψ(u 1, x)u ) = Y V (u 1, x)u = Y V (p 1 (u 1, v 1 ), x)p 1 (u, v ) for u 1, u, v 1, v V. Also ker p 1 = 0 V 0
21 and Y V V ((0, v 1 ), x)(0, v ) = (0, 0) for v 1.v V. So p 1 is a surjective homomorphism of grading-restricted vertex algebras and ker p 1 is a square-zero ideal of V V. We use YV V V to denote the vertex operator map for V V when V V is viewed as a V -module. Then by definition, i (Y V (v 1, x)v ) = (0, Y V (v 1, x)v ) = Y V V V (v 1, x)(0, v ) = Y V V V (v 1, x)i (v ) for v 1, v V. So i is an injective homomorphism of V -modules. Clearly, we have i (V ) = ker p 1. Thus (V V, Y V V, p 1, i ) is a square-zero extension of V by V. Conversely, let (V V, Y V V, p 1, i ) be a square-zero extension of V by V. Then there exists such that Ψ : V V V ((x)) v 1 v Ψ(v 1, x)v Y V V ((u 1, 0), x)(u, 0) = (Y V (u 1, x)u, Ψ(u 1, x)u ) for u 1, u V. The identity property and the creation property of the grading-restricted vertex algebra (V V, Y V V, (1, 0)) give (4.1) and (4.). The duality property for (V V, Y V V, (1, 0)) gives (4.3), (4.4) and (4.5). For t C, define Y t (v 1, x)v = Y V (v 1, x)v + tψ(v 1, x)v for v 1, v V. Then (4.1) and (4.) imply that Y t satisfies the identity property and the creation property up to the first order in t and (4.3), (4.4) and (4.5) imply that Y t satisfies the duality property up to the first order in t. Thus (V, Y t, 1) is a grading-restricted vertex algebras up to the first order in t, that is, Y t is a first-order deformation of (V, Y V, 1). Now we prove that two first-order deformations of V are equivalent if and only if the corresponding square-zero extensions of V by V are equivalent. 1
22 Consider two equivalent first-order deformations of V given by Y (1) t : V V V ((x)) and Y () t : V V V ((x)) for t C. Then there exist a family f t : V V, t C, of linear maps of the form f t = 1 V + tg where g : V V is a linear map preserving the grading of V such that (1.1) holds for v 1, v V. By definition, there exist linear maps and Ψ 1 : V V V ((x)) v 1 v Ψ 1 (v 1, x)v Ψ : V V V ((x)) v 1 v Ψ (v 1, x)v such that Y (1) t = Y V + tψ 1 and Y () t = Y V + tψ. By (1.1), we have Ψ 1 (v 1, x)v Ψ (v 1, x)v = g(y V (v 1, x)v ) + Y V (g(v 1 ), x)v + Y V (v 1, x)g(v ) (4.10) for v 1, v V. Let (V V, Y (1) V V, p 1, i ) and (V V, Y () V V, p 1, i ) be the square-zero extensions of V by V constructed from Y (1) t and Y () t. Let h : V V V V be defined by h(v 1, v ) = (v 1, v + g(v 1 )) for v 1, v V. Clearly, h is a linear isomorphism. For u 1, u, v 1, v V, by definition and (4.10), h(y (1) V V ((u 1, v 1 ), x)(u, v )) = h(y V (u 1, x)u, Y V (u 1, x)v + Y V (v 1, x)u + Ψ 1 (u 1, x)u ) = (Y V (u 1, x)u, Y V (u 1, x)v + Y V (v 1, x)u +Ψ 1 (u 1, x)u + g(y V (u 1, x)u )) = (Y V (u 1, x)u, Y V (u 1, x)v + Y V (v 1, x)u +Ψ (u 1, x)u + Y V (g(u 1 ), x)u + Y V (u 1, x)g(u ))) = (Y V (u 1, x)u, Y V (u 1, x)(v + g(u )) = Y () V V (h(u 1, v 1 ), x)h(u, v ). +Y V ((v 1 + g(u 1 )), x)u + Ψ (u 1, x)u )
23 So h is in fact an isomorphism from the algebra (V V, Y (1) V V, (1, 0)) to the algebra (V V, Y () V V, (1, 0)). Now it is clear that the following diagram is commutative: 0 V i V V p 1 V 0 1 W h 1 V 0 V i V V p 1 V 0, So these two first order deformations are equivalent. Conversely, let (V V, Y (1) V V, p 1, i ) and (V V, Y () V V, p 1, i ) be two equivalent square-zero extensions of V by V. Let Ψ 1, Ψ : V V V ((x)) be given by Y (1) V V ((u 1, 0), x)(u, 0)) = (Y V (u 1, x)u, Ψ 1 (u 1, x)u ), Y () V V ((u 1, 0), x)(u, 0)) = (Y V (u 1, x)u, Ψ (u 1, x)u ) for u 1, u V. Then Y (1) t, Y () t : V V V ((x)) given by Y (1) t (v 1, x)v = Y V (v 1, x)v + tψ 1 (v 1, x)v, Y () t (v 1, x)v = Y V (v 1, x)v + tψ (v 1, x)v for v 1, v V are first-order deformations of (V, Y V, 1) by the proof above. Let h : V V V V be an equivalence from (V V, Y (1) V V, p 1, i ) to (V V, Y () V V, p 1, i ). Then by Lemma 3.1, there exists a linear map g : V V such that h(v 1, v ) = (v 1, v + g(v 1 )) for v 1, v V. Using the fact that h is an isomorphism of grading-restricted vertex algebras from (V V, Y (1) () V V, (1, 0)) to (V V, Y V V, (1, 0)), we obtain (4.10) which implies (1.1). Thus the two first-order deformations Y (1) t and are equivalent. Y () t References [FHL] I. Frenkel, Y. Huang and J. Lepowsky, On axiomatic approaches to vertex operator algebras and modules, Memoirs American Math. Soc. 104,
24 [H] [W] Y.-Z. Huang, A cohomology theory of grading-restricted vertex algebras, to appear; arxiv: C. Weibel, An introduction to homological algebras, Cambridge Studies in Adv. Math., Vol. 38, Cambridge University Press, Cambridge, Beijing International Center for Mathematical Research, Peking University, Beijing , China, Kavali Institute For Theoretical Physics China, CAS, Beijing , China and Department of Mathematics, Rutgers University, 110 Frelinghuysen Rd., Piscataway, NJ (permanent address) address: yzhuang@math.rutgers.edu 4
Meromorphic open-string vertex algebras and Riemannian manifolds
Meromorphic open-string vertex algebras and Riemannian manifolds Yi-Zhi Huang Abstract Let M be a Riemannian manifold. For p M, the tensor algebra of the negative part of the (complex) affinization of
More informationOn vertex Leibniz algebras
On vertex Leibniz algebras Haisheng Li a1, Shaobin Tan b2, and Qing Wang b3 a Department of Mathematical Sciences Rutgers University, Camden, NJ 08102, USA b School of Mathematical Sciences Xiamen University,
More informationOn the concepts of intertwining operator and tensor product module in vertex operator algebra theory
On the concepts of intertwining operator and tensor product module in vertex operator algebra theory Yi-Zhi Huang, James Lepowsky, Haisheng Li and Lin Zhang Abstract We produce counterexamples to show
More informationThe duality between vertex operator algebras and coalgebras, modules and comodules
Contemporary Mathematics The duality between vertex operator algebras and coalgebras, modules and comodules Keith Hubbard Abstract. We construct an equivalence between the categories of vertex operator
More informationOpen-string vertex algebras, tensor categories and operads
Open-string vertex algebras, tensor categories and operads Yi-Zhi Huang and Liang Kong Abstract We introduce notions of open-string vertex algebra, conformal openstring vertex algebra and variants of these
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationINTEGRAL FORMS FOR CERTAIN CLASSES OF VERTEX OPERATOR ALGEBRAS AND THEIR MODULES
INTEGRAL FORMS FOR CERTAIN CLASSES OF VERTEX OPERATOR ALGEBRAS AND THEIR MODULES BY ROBERT H. MCRAE A dissertation submitted to the Graduate School New Brunswick Rutgers, The State University of New Jersey
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationMath 396. Quotient spaces
Math 396. Quotient spaces. Definition Let F be a field, V a vector space over F and W V a subspace of V. For v, v V, we say that v v mod W if and only if v v W. One can readily verify that with this definition
More informationHARTSHORNE 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 informationCLASSICAL R-MATRICES AND NOVIKOV ALGEBRAS
CLASSICAL R-MATRICES AND NOVIKOV ALGEBRAS DIETRICH BURDE Abstract. We study the existence problem for Novikov algebra structures on finite-dimensional Lie algebras. We show that a Lie algebra admitting
More informationwhich is a group homomorphism, such that if W V U, then
4. Sheaves Definition 4.1. Let X be a topological space. A presheaf of groups F on X is a a function which assigns to every open set U X a group F(U) and to every inclusion V U a restriction map, ρ UV
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationMATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.
MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.
More informationLECTURE 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 informationDu Val Singularities
Du Val Singularities Igor Burban Introduction We consider quotient singularities C 2 /G, where G SL 2 (C) is a finite subgroup. Since we have a finite ring extension C[[x, y]] G C[[x, y]], the Krull dimension
More informationOn a Homoclinic Group that is not Isomorphic to the Character Group *
QUALITATIVE THEORY OF DYNAMICAL SYSTEMS, 1 6 () ARTICLE NO. HA-00000 On a Homoclinic Group that is not Isomorphic to the Character Group * Alex Clark University of North Texas Department of Mathematics
More informationarxiv: v2 [math.ra] 14 Sep 2016
ON THE NEGATIVE-ONE SHIFT FUNCTOR FOR FI-MODULES arxiv:1603.07974v2 [math.ra] 14 Sep 2016 WEE LIANG GAN Abstract. We show that the negative-one shift functor S 1 on the category of FI-modules is a left
More informationABSOLUTELY PURE REPRESENTATIONS OF QUIVERS
J. Korean Math. Soc. 51 (2014), No. 6, pp. 1177 1187 http://dx.doi.org/10.4134/jkms.2014.51.6.1177 ABSOLUTELY PURE REPRESENTATIONS OF QUIVERS Mansour Aghasi and Hamidreza Nemati Abstract. In the current
More informationThis is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:
Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties
More informationarxiv: v1 [math.rt] 12 Jan 2016
THE MCM-APPROXIMATION OF THE TRIVIAL MODULE OVER A CATEGORY ALGEBRA REN WANG arxiv:1601.02737v1 [math.rt] 12 Jan 2016 Abstract. For a finite free EI category, we construct an explicit module over its category
More informationA note on the basic Morita equivalences
SCIENCE CHINA Mathematics. ARTICLES. March 204 Vol.57 No.3: 483 490 doi: 0.007/s425-03-4763- A note on the basic Morita equivalences HU XueQin School of Mathematical Sciences, Capital Normal University,
More informationALGEBRA HW 10 CLAY SHONKWILER. Proof. Suppose that these three functions are not linearly independent. Then there exist a, b R such that
ALGEBRA HW 10 CLAY SHONKWILER 1 (a): If A is a square matrix satisfying A 3 A 2 + A I = 0, find A 1 in terms of A. Answer: If A 3 A 2 + A I = 0, then (A 2 A + I)A = A 3 A 2 + A = I = A 3 A 2 + A = A(A
More informationCurves on P 1 P 1. Peter Bruin 16 November 2005
Curves on P 1 P 1 Peter Bruin 16 November 2005 1. Introduction One of the exercises in last semester s Algebraic Geometry course went as follows: Exercise. Let be a field and Z = P 1 P 1. Show that the
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 informationarxiv: v1 [math.nt] 16 Jan 2018
ROOTED TREE MAPS AND THE KAWASHIMA RELATIONS FOR MULTIPLE ZETA VALUES HENRIK BACHMANN AND TATSUSHI TANAKA arxiv:1801.05381v1 [math.nt] 16 Jan 2018 Abstract. Recently, inspired by the Connes-Kreimer Hopf
More informationON CONNES AMENABILITY OF UPPER TRIANGULAR MATRIX ALGEBRAS
U.P.B. Sci. Bull., Series A, Vol. 80, Iss. 2, 2018 ISSN 1223-7027 ON CONNES AMENABILITY OF UPPER TRIANGULAR MATRIX ALGEBRAS S. F. Shariati 1, A. Pourabbas 2, A. Sahami 3 In this paper, we study the notion
More informationON STRUCTURE OF KS-SEMIGROUPS
International Mathematical Forum, 1, 2006, no. 2, 67-76 ON STRUCTURE OF KS-SEMIGROUPS Kyung Ho Kim Department of Mathematics Chungju National University Chungju 380-702, Korea ghkim@chungju.ac.kr Abstract
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More informationSimple vertex operator algebras are nondegenerate
Journal of Algebra 267 2003 99 2 www.elsevier.com/locate/jalgebra Simple vertex operator algebras are nondegenerate Haisheng Li a,b, a Department of Mathematical Sciences, Rutgers University, Camden, NJ
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationNOTES ON ALGEBRAIC GEOMETRY MATH 202A. Contents Introduction Affine varieties 22
NOTES ON ALGEBRAIC GEOMETRY MATH 202A KIYOSHI IGUSA BRANDEIS UNIVERSITY Contents Introduction 1 1. Affine varieties 2 1.1. Weak Nullstellensatz 2 1.2. Noether s normalization theorem 2 1.3. Nullstellensatz
More informationPacific 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 informationWIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES
WIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES MARTIN HERSCHEND, PETER JØRGENSEN, AND LAERTIS VASO Abstract. A subcategory of an abelian category is wide if it is closed under sums, summands, kernels,
More informationFactors in Graphs With Multiple Degree Constraints
Factors in Graphs With Multiple Degree Constraints Richard C. Brewster, Morten Hegner Nielsen, and Sean McGuinness Thompson Rivers University Kamloops, BC V2C0C8 Canada October 4, 2011 Abstract For a graph
More informationAN INTRODUCTION TO A -ALGEBRAS
AN INTRODUCTION TO A -ALGEBRAS Nathan Menzies Supervisor: Dr. Daniel Chan School of Mathematics, The University of New South Wales. November 2007 Submitted in partial fulfillment of the requirements of
More informationVERTEX-ALGEBRAIC STRUCTURE OF THE PRINCIPAL SUBSPACES OF CERTAIN A (1)
VERTEX-ALGEBRAIC STRUCTURE OF THE PRINCIPAL SUBSPACES OF CERTAIN A (1) 1 -MODULES I: LEVEL ONE CASE arxiv:07041759v1 [mathqa] 13 Apr 2007 C CALINESCU J LEPOWSKY AND A MILAS Abstract This is the first in
More informationHow to sharpen a tridiagonal pair
How to sharpen a tridiagonal pair Tatsuro Ito and Paul Terwilliger arxiv:0807.3990v1 [math.ra] 25 Jul 2008 Abstract Let F denote a field and let V denote a vector space over F with finite positive dimension.
More informationERRATA for An Introduction to Homological Algebra 2nd Ed. June 3, 2011
1 ERRATA for An Introduction to Homological Algebra 2nd Ed. June 3, 2011 Here are all the errata that I know (aside from misspellings). If you have found any errors not listed below, please send them to
More informationMATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1
MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 CİHAN BAHRAN I discussed several of the problems here with Cheuk Yu Mak and Chen Wan. 4.1.12. Let X be a normal and proper algebraic variety over a field k. Show
More informationHOMOLOGY AND COHOMOLOGY. 1. Introduction
HOMOLOGY AND COHOMOLOGY ELLEARD FELIX WEBSTER HEFFERN 1. Introduction We have been introduced to the idea of homology, which derives from a chain complex of singular or simplicial chain groups together
More informationK-theoretic analog of Postnikov Shapiro algebra distinguishes graphs
Journal of Combinatorial Theory, Series A 148 (2017) 316 332 Contents lists available at ScienceDirect Journal of Combinatorial Theory, Series A www.elsevier.com/locate/jcta K-theoretic analog of Postnikov
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationLOCAL 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(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 informationBoson-fermion correspondence of type B and twisted vertex algebras
Boson-fermion correspondence of type B and twisted vertex algebras Iana I. Anguelova Abstract The boson-fermion correspondence of type A is an isomorphism between two super vertex algebras (and so has
More informationSTABLY FREE MODULES KEITH CONRAD
STABLY FREE MODULES KEITH CONRAD 1. Introduction Let R be a commutative ring. When an R-module has a particular module-theoretic property after direct summing it with a finite free module, it is said to
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More informationRepresentable presheaves
Representable presheaves March 15, 2017 A presheaf on a category C is a contravariant functor F on C. In particular, for any object X Ob(C) we have the presheaf (of sets) represented by X, that is Hom
More informationarxiv: v1 [math.ag] 28 Sep 2016
LEFSCHETZ CLASSES ON PROJECTIVE VARIETIES JUNE HUH AND BOTONG WANG arxiv:1609.08808v1 [math.ag] 28 Sep 2016 ABSTRACT. The Lefschetz algebra L X of a smooth complex projective variety X is the subalgebra
More informationSheaves. S. Encinas. January 22, 2005 U V. F(U) F(V ) s s V. = s j Ui Uj there exists a unique section s F(U) such that s Ui = s i.
Sheaves. S. Encinas January 22, 2005 Definition 1. Let X be a topological space. A presheaf over X is a functor F : Op(X) op Sets, such that F( ) = { }. Where Sets is the category of sets, { } denotes
More informationAN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE
AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE FRANCIS BROWN Don Zagier asked me whether the Broadhurst-Kreimer conjecture could be reformulated as a short exact sequence of spaces of polynomials
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationMATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.
MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.
More informationSome notes on linear algebra
Some notes on linear algebra Throughout these notes, k denotes a field (often called the scalars in this context). Recall that this means that there are two binary operations on k, denoted + and, that
More informationA Little Beyond: Linear Algebra
A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two
More informationAssociative algebras for (logarithmic) twisted modules for a vertex operator algebra
Associative algebras for logarithmic) twisted modules for a vertex operator algebra Yi-Zhi Huang and Jinwei Yang Abstract We construct two associative algebras from a vertex operator algebra V and a general
More informationE 2 01 H 1 E (2) Formulate and prove an analogous statement for a first quadrant cohomological spectral sequence.
Josh Swanson Math 583 Spring 014 Group Cohomology Homework 1 May nd, 014 Problem 1 (1) Let E pq H p+q be a first quadrant (homological) spectral sequence converging to H. Show that there is an exact sequence
More informationVertex operator algebras, the Verlinde conjecture and modular tensor categories
Vertex operator algebras, the Verlinde conjecture and modular tensor categories Yi-Zhi Huang Abstract Let V be a simple vertex operator algebra satisfying the following conditions: (i) V (n) = 0 for n
More information3 Universal enveloping algebras
3 UNIVERSAL ENVELOPING ALGEBRAS 26 3 Universal enveloping algebras 3.1 Definition and first properties In this section, k will be an arbitrary field, not necessarily of characteristic zero. The idea is
More informationEQ-ALGEBRAS WITH PSEUDO PRE-VALUATIONS. Yongwei Yang 1. Xiaolong Xin
italian journal of pure and applied mathematics n. 37 2017 (29 48) 29 EQ-ALGEBRAS WITH PSEUDO PRE-VALUATIONS Yongwei Yang 1 School of Mathematics and Statistics Anyang Normal University Anyang 455000 China
More information1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces.
1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces. The set of n-tuples of real numbers is denoted by R n. Suppose that a is a real number
More informationGorenstein rings through face rings of manifolds.
Gorenstein rings through face rings of manifolds. Isabella Novik Department of Mathematics, Box 354350 University of Washington, Seattle, WA 98195-4350, USA, novik@math.washington.edu Ed Swartz Department
More informationAbstract Vector Spaces and Concrete Examples
LECTURE 18 Abstract Vector Spaces and Concrete Examples Our discussion of linear algebra so far has been devoted to discussing the relations between systems of linear equations, matrices, and vectors.
More informationDerived Categories. Mistuo Hoshino
Derived Categories Mistuo Hoshino Contents 01. Cochain complexes 02. Mapping cones 03. Homotopy categories 04. Quasi-isomorphisms 05. Mapping cylinders 06. Triangulated categories 07. Épaisse subcategories
More informationA CRITERION FOR POTENTIALLY GOOD REDUCTION IN NON-ARCHIMEDEAN DYNAMICS
A CRITERION FOR POTENTIALLY GOOD REDUCTION IN NON-ARCHIMEDEAN DYNAMICS ROBERT L. BENEDETTO Abstract. Let K be a non-archimedean field, and let φ K(z) be a polynomial or rational function of degree at least
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 informationA NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS
A NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS RAVI JAGADEESAN AND AARON LANDESMAN Abstract. We give a new proof of Serre s result that a Noetherian local ring is regular if
More informationPROBLEMS, MATH 214A. Affine and quasi-affine varieties
PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset
More informationHigher Categories, Homotopy Theory, and Applications
Higher Categories, Homotopy Theory, and Applications Thomas M. Fiore http://www.math.uchicago.edu/~fiore/ Why Homotopy Theory and Higher Categories? Homotopy Theory solves topological and geometric problems
More informationRAPHAËL ROUQUIER. k( )
GLUING p-permutation MODULES 1. Introduction We give a local construction of the stable category of p-permutation modules : a p- permutation kg-module gives rise, via the Brauer functor, to a family of
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 informationAdditivity of maps on generalized matrix algebras
Electronic Journal of Linear Algebra Volume 22 Volume 22 (2011) Article 49 2011 Additivity of maps on generalized matrix algebras Yanbo Li Zhankui Xiao Follow this and additional works at: http://repository.uwyo.edu/ela
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 informationAPPLICATIONS OF LOCAL COHOMOLOGY
APPLICATIONS OF LOCAL COHOMOLOGY TAKUMI MURAYAMA Abstract. Local cohomology was discovered in the 960s as a tool to study sheaves and their cohomology in algebraic geometry, but have since seen wide use
More informationThe structure of ideals, point derivations, amenability and weak amenability of extended Lipschitz algebras
Int. J. Nonlinear Anal. Appl. 8 (2017) No. 1, 389-404 ISSN: 2008-6822 (electronic) http://dx.doi.org/10.22075/ijnaa.2016.493 The structure of ideals, point derivations, amenability and weak amenability
More informationHomework #05, due 2/17/10 = , , , , , Additional problems recommended for study: , , 10.2.
Homework #05, due 2/17/10 = 10.3.1, 10.3.3, 10.3.4, 10.3.5, 10.3.7, 10.3.15 Additional problems recommended for study: 10.2.1, 10.2.2, 10.2.3, 10.2.5, 10.2.6, 10.2.10, 10.2.11, 10.3.2, 10.3.9, 10.3.12,
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationMathematics Department Stanford University Math 61CM/DM Vector spaces and linear maps
Mathematics Department Stanford University Math 61CM/DM Vector spaces and linear maps We start with the definition of a vector space; you can find this in Section A.8 of the text (over R, but it works
More informationIntroduction to Neutrosophic BCI/BCK-Algebras
Introduction to Neutrosophic BCI/BCK-Algebras A.A.A. Agboola 1 and B. Davvaz 2 1 Department of Mathematics, Federal University of Agriculture, Abeokuta, Nigeria aaaola2003@yahoo.com 2 Department of Mathematics,
More informationMetric Spaces Math 413 Honors Project
Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only
More informationA CHARACTERIZATION OF REFLEXIVITY OF NORMED ALMOST LINEAR SPACES
Comm. Korean Math. Soc. 12 (1997), No. 2, pp. 211 219 A CHARACTERIZATION OF REFLEXIVITY OF NORMED ALMOST LINEAR SPACES SUNG MO IM AND SANG HAN LEE ABSTRACT. In [6] we proved that if a nals X is reflexive,
More informationMath 6140 Notes. Spring Codimension One Phenomena. Definition: Examples: Properties:
Math 6140 Notes. Spring 2003. 11. Codimension One Phenomena. A property of the points of a variety X holds in codimension one if the locus of points for which the property fails to hold is contained in
More informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Week 9 November 13 November Deadline to hand in the homeworks: your exercise class on week 16 November 20 November Exercises (1) Show that if T B(X, Y ) and S B(Y, Z)
More informationThis section is preparation for the next section. Its main purpose is to introduce some new concepts.
4. Mapping Cylinders and Chain Homotopies This section is preparation for the next section. Its main purpose is to introduce some new concepts. 1. Chain Homotopies between Chain Maps. Definition. C = (C
More informationOn vertex operator algebras as sl 2 -modules
On vertex operator algebras as sl 2 -modules Chongying Dong, Zongzhu Lin, Geoffrey Mason 1. Introduction Suppose that V is a vertex operator algebra (VOA). One of the axioms for a VOA is that V is a module
More informationNONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) aar. Heidelberg, 17th December, 2008
1 NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Heidelberg, 17th December, 2008 Noncommutative localization Localizations of noncommutative
More informationFLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS
FLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS HANFENG LI Abstract. We construct examples of flabby strict deformation quantizations not preserving K-groups. This answers a question of Rieffel negatively.
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
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 informationNONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES
NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES KENTA UEYAMA Abstract. Gorenstein isolated singularities play an essential role in representation theory of Cohen-Macaulay modules. In this article,
More informationMath 231b Lecture 16. G. Quick
Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector
More informationReduced phase space and toric variety coordinatizations of Delzant spaces
Under consideration for publication in Math. Proc. Camb. Phil. Soc. 147 Reduced phase space and toric variety coordinatizations of Delzant spaces By JOHANNES J. DUISTERMAAT AND ALVARO PELAYO Mathematisch
More informationWeeks 6 and 7. November 24, 2013
Weeks 6 and 7 November 4, 03 We start by calculating the irreducible representation of S 4 over C. S 4 has 5 congruency classes: {, (, ), (,, 3), (, )(3, 4), (,, 3, 4)}, so we have 5 irreducible representations.
More informationAlgebraic Topology M3P solutions 2
Algebraic Topology M3P1 015 solutions AC Imperial College London a.corti@imperial.ac.uk 3 rd February 015 A small disclaimer This document is a bit sketchy and it leaves some to be desired in several other
More information1.4 Solvable Lie algebras
1.4. SOLVABLE LIE ALGEBRAS 17 1.4 Solvable Lie algebras 1.4.1 Derived series and solvable Lie algebras The derived series of a Lie algebra L is given by: L (0) = L, L (1) = [L, L],, L (2) = [L (1), L (1)
More informationMASTER S THESIS MAT CHOW VARIETIES
MASTER S THESIS MAT-2003-06 CHOW VARIETIES David Rydh DEPARTMENT OF MATHEMATICS ROYAL INSTITUTE OF TECHNOLOGY SE-100 44 STOCKHOLM, SWEDEN Chow Varieties June, 2003 David Rydh Master s Thesis Department
More informationSynopsis of material from EGA Chapter II, 3
Synopsis of material from EGA Chapter II, 3 3. Homogeneous spectrum of a sheaf of graded algebras 3.1. Homogeneous spectrum of a graded quasi-coherent O Y algebra. (3.1.1). Let Y be a prescheme. A sheaf
More informationGELFAND S THEOREM. Christopher McMurdie. Advisor: Arlo Caine. Spring 2004
GELFAND S THEOREM Christopher McMurdie Advisor: Arlo Caine Super Advisor: Dr Doug Pickrell Spring 004 This paper is a proof of the first part of Gelfand s Theorem, which states the following: Every compact,
More information