Representation theory of Lie colour algebras and its connection with Brauer algebras
Mengyuan Cao
Thesis submitted to the Faculty of Graduate and Postdoctoral Studies in partial fulfillment of the requirements for the degree of Master of Science in Mathematics1
Department of Mathematics and Statistics Faculty of Science University of Ottawa
c Mengyuan Cao, Ottawa, Canada, 2018
1The M.Sc. program is a joint program with Carleton University, administered by the Ottawa- Carleton Institute of Mathematics and Statistics Abstract
In this thesis, we study the representation theory of Lie colour algebras. Our strategy follows the work of G. Benkart, C. L. Shader and A. Ram in 1998, which is to use the Brauer algebras which appear as the commutant of the orthosymplectic Lie colour algebra when they act on a k-fold tensor product of the standard representation. We give a general combinatorial construction of highest weight vectors using tableaux, and compute characters of the irreducible summands in some borderline cases. Along the way, we prove the RSK-correspondence for tableaux and the PBW theorem for Lie colour algebras.
ii Dedications
To the ones that I love.
iii Acknowledgements
I offer my most sincere gratitude to my supervisors, Dr. Monica Nevins and Dr. Hadi Salmasian, for their exceptional guidance and immense enthusiasm. I would also like to thank Dr. Alistair Savage and Dr. Yuly Billig for their careful reading, motivating questions and comments, and my family and friends for their support and encouragement.
iv Contents
1 Introduction 1
2 Lie colour algebras and spo(V, β) 4 2.1 Lie colour algebras ...... 5 2.2 The category of modules of Lie colour algebras ...... 9 2.3 The orthosymplectic Lie colour algebra spo(V, β)...... 19 2.4 Homogeneous bases for V , V ∗ and spo(V, β)...... 23 2.5 Roots and root vectors in spo(V, β)...... 32
3 The PBW theorem for Lie colour algebras 40 3.1 Tensor algebras and symmetric algebras ...... 41 3.2 Universal enveloping algebras ...... 45 3.3 A spanning set of U(g)...... 48 3.4 The PBW theorem ...... 52 3.5 Proof of Proposition 3.4.2 ...... 58
4 The Brauer algebra action on V ⊗k 68 4.1 The Brauer algebra ...... 68
v CONTENTS vi
4.2 The commuting action of the Brauer algebra on the spo(V, β)- module V ⊗k ...... 72
5 Highest weight vectors in V ⊗k 80 5.1 (r, s)-hook tableaux and simple tensors ...... 81 5.2 Young symmetrizers ...... 86 5.3 Contraction maps on V ⊗k ...... 88 5.4 Construction of highest weight vectors ...... 93 5.5 An illustration of Theorem 5.4.1 ...... 107 5.5.1 The highest weight vectors ...... 107
5.5.2 Verification that v1, v2 and v3 are highest weight vectors . . 109 5.5.3 spo(V, β)-submodules generated by the highest weight vectors 110 5.5.4 Summary: a decomposition of V ⊗ V as spo(V, β)-modules when n = 2, m = 4 and k =2 ...... 113
6 Characters of some spo(V, β)-modules 115 6.1 Schur-Weyl duality-like decomposition of V ⊗k ...... 115
6.2 The Brauer algebra B2(η)...... 118 6.3 Borderline case |n − m| = k =2 ...... 121 6.4 More examples on borderline cases ...... 128 6.5 The characters of W Y (λ) and U Y (λ) ...... 133
A Schur polynomials and the RSK-Correspondence 140 A.1 Symmetric functions and Schur polynomials ...... 141 A.2 Young tableaux ...... 142 A.3 Knuth Equivalence ...... 148 A.4 The RSK-Correspondence ...... 154 CONTENTS vii
A.5 An application of the RSK-Correspondence ...... 157
Bibliography 173 Chapter 1
Introduction
One of the remarkable results in representation theory, now referred to as Schur-Weyl
duality, connects the irreducible representations of the general linear group GLn(C)
to the irreducible representations of the symmetric group Sk. Precisely, let V be an
⊗k n-dimensional vector space. There is an action of GLn(C) on V that commutes
⊗k with the action of Sk on V . Moreover, the action of GLn(C) generates the full
centralizer of the action of Sk, and vice versa. Thus Schur-Weyl duality says that
⊗k there is a multiplicity free decomposition of V as an Sk × GLn(C)-module, given by
M V ⊗k ∼= Sλ ⊗ Eλ. λ
Here the sum is over all partitions λ of k with length at most n, and Sλ and Eλ
are the irreducible representations of Sk and GLn(C) respectively parametrized by λ.
From Schur-Weyl duality, one can compute the characters of these GLn(C)-modules, which turn out to be Schur polynomials. These polynomials are certain symmetric polynomials, named after Issai Schur. Different variations of Schur polynomials appear as characters of representations of similar algebraic structures. For example the hook
1 1. INTRODUCTION 2
Schur functions describe the characters of the irreducible representations of the Lie superalgebra gl(m, n). See for example [BR87]. The main objective of this thesis is a generalization of Schur-Weyl duality due to G. Benkart, C. L. Shader and A. Ram to the setting of the orthosymplectic Lie colour algebras, spo(V, β).
The general linear group GLn(C) admits several important subgroups, such as the orthogonal group O(n) and the symplectic group Sp(2n). In order to obtain a Schur-Weyl duality-like theorem in terms of O(n), one has to find a larger algebra B whose action generates the full centralizer of the action of O(n). Ideally, this algebra
B should contain Sk as a subalgebra. In 1937, Richard Brauer introduced an algebra
in [Bra37], now referred to as the Brauer algebra Bk(η), where η ∈ C. The Brauer
algebra Bk(n) (respectively Bk(−2m)) plays the same role as C[Sk] in Schur-Weyl
duality when GLn(C) is replaced by O(n) (respectively Sp(2m)). The Brauer algebra plays a principal role in the fundamental book, The Classical Groups,[Wey97] by Hermann Weyl. The outline of the thesis is as follows. In Chapter 2, we study the orthosympletic Lie colour algebra, which is a family of Lie colour algebras which generalizes both the orthogonal and symplectic Lie algebras. In Chapter 3, we prove two versions of the Poincar´e-Birkhoff-Witt(PBW) theorem in the Lie colour algebra setting. In Chapter 4, we discuss the commuting actions of the Brauer algebra and spo(V, β) on a tensor space V ⊗k. In Chapter 5, we construct highest weight vectors of spo(V, β)-submodules of V ⊗k following [BSR98]. In the last chapter, we calculate modules in a borderline case that is a case does not satisfy the hypothesis of [BSR98, Proposition 4.2]. We explore extra examples not covered by [BSR98, Proposition 4.2] or Theorem 5.4.1 which show how the conclusions can fail for a variety of reasons. Our main results are 1. INTRODUCTION 3
Theorem 6.3.2 and Corollary 6.5.9. In Appendix A, we include a brief introduction to Schur polynomials and the RSK correspondence. Our main original contributions in this thesis are
(i) We generalize the proof of the PBW theorem to the Lie colour algebra case. In fact, the PBW theorem for Lie algebras and Lie superalgebras are also deduced from our proof.
(ii) In [BSR98], Benkart et. al introduced a right action of the Brauer algebra
⊗k ⊗k Bk(n − m) on V which commutes with the left action of spo(V, β) on V . We elaborate these commuting actions with detailed examples.
(iii) We give a detailed example in Section 5.5 to find the highest weight vectors of V ⊗ V , and then find the submodules generated by the highest weight vectors.
(iv) Using this example for intuition, we extend one of the theorems [BSR98, Propo- sition 4.2] to a borderline case, which we do in Theorem 6.3.
(v) We compute the characters of the irreducible summands of V ⊗ V in this borderline case, and use them to show that the submodules we obtained in
Theorem 6.3.2 coincide with those predicted by spo(V, β) × Bk duality.
In the future, it would be interesting to learn more about the combinatorial description of the characters of the spo(V, β)-submodules, in terms of variants of Young tableaux. Another unexplored avenue of research is the relation between the spo(V, β)-submodules generated by the highest weight vectors from Theorem 5.4.1
and the modules predicted by spo(V, β) × Bk duality. It is also interesting to extend [BSR98, Proposition 4.2] to other borderline cases beyond the ones we investigated here. Chapter 2
Lie colour algebras and spo(V, β)
The goal of this chapter is to explore the structure theory of the orthosymplectic Lie colour algebra spo(V, β). In Section 2.1, we give the definition of Lie colour algebras and analyze some of their basic properties. In Section 2.2, we define the modules of Lie colour algebras and give some examples such as the trivial module, the contragredient module and the tensor product of modules. Then we give the definition of g-module morphisms, and provide an important example, called the braiding morphism, in Proposition 2.2.10, which plays a vital role in the subsequent chapters. In Section 2.3, we describe the main object in this thesis, the othosymplectic Lie colour algebra spo(V, β). In the last two sections, Section 2.4 and Section 2.5, we first give homogeneous bases of V , V ∗ and spo(V, β) respectively, and then give an explicit description of the roots and root vectors in spo(V, β). Moreover, we provide a basis of root vectors which will be used in the proof of one of the main theorems in our thesis, Theorem 5.4.1. The material in this chapter comes from [BSR98] but the examples as well as the proofs are ours.
4 2. LIE COLOUR ALGEBRAS AND spo(V, β) 5
As of Section 2.4, in the rest of this thesis F will be assumed algebraically closed and char F 6= 2.
2.1 Lie colour algebras
Definition 2.1.1. Let G be a finite abelian group with identity 1G. A symmetric bicharacter on G over a field F is a map β : G × G → F× such that
(i) β(ab, c) = β(a, c)β(b, c), for all a, b, c ∈ G;
(ii) β(a, bc) = β(a, b)β(a, c), for all a, b, c ∈ G; and
(iii) β(a, b)β(b, a) = 1, for all a, b ∈ G.
Notice that β is called a bicharacter because holding one variable fixed gives a character, which is a 1-dimensional representation in the other variable. In the rest of the thesis, β plays a very important role. We will define new categories of vector spaces, algebras and maps based on β.
Lemma 2.1.2. Let β be a symmetric bicharacter on an abelian group G. Then we have the following:
(i) β(1G, a) = β(a, 1G) = 1 for all a in G,
(ii) β(a−1, a) = β(a, a−1) = β(a, a)−1 for all a in G,
(iii) β(ab, ab) = β(a, a)β(b, b) for all a, b in G,
(iv) β(a, a) ∈ {−1, 1} for all a in G.
Proof. Let a, b ∈ G. By Definition 2.1.1, we have 2. LIE COLOUR ALGEBRAS AND spo(V, β) 6
(i) β(b, a) = β(1G, a)β(b, a) which implies that β(1G, a) = 1 for all a in G. Similarly
we have β(a, 1G) = 1 for all a in G.
−1 −1 (ii) Consequently we have 1 = β(a, 1G) = β(a, aa ) = β(a, a)β(a, a ). Hence β(a, a−1) = β(a, a)−1 for all a in G.
(iii) For all a, b in G, we have β(ab, ab) = β(a, a)β(a, b)β(b, a)β(b, b) = β(a, a)β(b, b).
(iv) Since β(a, b)β(b, a) = 1, we have β(a, a)β(a, a) = 1 for all a in G. This implies β(a, a) ∈ {−1, 1} for all a in G.
Example 2.1.3. Let G be an abelian group. Then β : G × G → F∗ such that β(a, b) = 1 for all a, b in G is a symmetric bicharacter.
Example 2.1.4. Let G = Z2 × Z2 = {(0, 0), (1, 0), (0, 1), (1, 1)}. Let a = (a1, a2) and
b = (b1, b2) be in G. The group operation of G is a + b := (a1 + b1, a2 + b2). Let us verify that
a·b β(a, b) = (−1) where a · b = a1b1 + a2b2, a, b ∈ G
is a symmetric bicharacter.
Take a = (a1, a2), b = (b1, b2) and c = (c1, c2) in G. Then we have
β(a + b, c) = (−1)(a+b)·c = (−1)(a1+b1)c1+(a2+b2)c2
= (−1)a1c1+a2c2 (−1)b1c1+b2c2
= β(a, c)β(b, c) which verifies the first condition of Definition 2.1.1. The second condition follows since 2. LIE COLOUR ALGEBRAS AND spo(V, β) 7
a · b = b · a. Now for the third condition, we have
β(a, b)β(b, a) = (−1)a·b(−1)b·a = (−1)2a·b = 1.
Therefore, the β we defined in Example 2.1.4 is a symmetric bicharacter.
Definition 2.1.5. If an F-vector space V has a direct sum decomposition
M V = Va, a∈G
where each Va is subspace of V indexed by a ∈ G, then V is called a G-graded vector space. Moreover, if v ∈ Va for some a ∈ G, then v is called homogeneous of degree a. We say v has colour a.
Definition 2.1.6. Given a symmetric bicharacter β on a group G, a Lie colour algebra g is a G-graded vector space M g = ga a∈G together with an F-bilinear map [·, ·]: g × g → g such that
(i) [ga, gb] ⊆ gab, for all a, b ∈ G,
(ii) [x, y] = −β(b, a)[y, x], for x ∈ ga, y ∈ gb,
(iii) For all x ∈ ga, y ∈ gb, and z ∈ gc, the Jacobi identity for Lie colour algebras, given by
β(a, c)[x, [y, z]] + β(c, b)[z, [x, y]] + β(b, a)[y, [z, x]] = 0, (2.1.1)
is satisfied. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 8
Lemma 2.1.7. The Lie colour algebra Jacobi identity is equivalent to
[x, [y, z]] = [[x, y], z] + β(b, a)[y, [x, z]], for all x ∈ ga, y ∈ gb and z ∈ g. (2.1.2)
Proof. First suppose that x ∈ ga, y ∈ gb, and z ∈ gc, for some a, b, c ∈ G. We swap z with [x, y] in the second term of (2.1.1) and swap z with x in the third term of (2.1.1). Then (2.1.1) becomes
β(a, c)[x, [y, z]] − β(c, b)β(ab, c)[[x, y], z] − β(b, a)β(a, c)[y, [x, z]] = 0, which can be simplified to
β(a, c)[x, [y, z]] − β(a, c)[[x, y], z] − β(b, a)β(a, c)[y, [x, z]] = 0.
Dividing both sides of the above equation by β(a, c) and rearranging the equation gives [x, [y, z]] = [[x, y], z] + β(b, a)[y, [x, z]].
The resulting equation is independent of the choice of c. Since (2.1.2) is linear in z, we thus conclude it holds for all z ∈ g.
Example 2.1.8.
(i) Let G = {1G} be the trivial group. Then the Lie colour algebra g is a Lie algebra in the classical sense.
ab (ii) Let G = Z2 = {0, 1}, and β(a, b) = (−1) for all a, b ∈ G. Then the Lie colour algebra g is a Lie superalgebra. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 9
We can classify the elements a in G by the value of β(a, a). According to Lemma 2.1.2, we know that β(a, a) = ±1. Therefore we define
G(0) := {a ∈ G | β(a, a) = 1} and G(1) := {a ∈ G | β(a, a) = −1}. (2.1.3)
We have G = G(0) ∪ G(1), and G(0) is a subgroup of G. Moreover, given a Lie colour algebra g, we define M M g(0) = ga and g(1) = ga.
a∈G(0) a∈G(1) This gives a decomposition of Lie colour algebras as vector spaces:
g = g(0) ⊕ g(1).
Remark 2.1.9.
(i) g(0) is a Lie colour subalgebra of g.
(ii) g(1) is not subalgebra of g unless [g(1), g(1)] = 0 .
The first part is clear since G(0) is a subgroup of G. Therefore g(0) is closed. For
(ii): take x ∈ ga and y ∈ gb such that β(a, a) = β(b, b) = −1. So x, y ∈ g(1), and
[x, y] ∈ gab. However, β(ab, ab) = β(a, a)β(b, b) = 1. Therefore [x, y] is not in g(1) unless [x, y] = 0.
2.2 The category of modules of Lie colour algebras
In this section, as in classic Lie algebra textbooks, we discuss the concepts of Lie colour algebra modules and module morphisms. Moreover we define the braid morphism which will be a very important tool in later sections. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 10
Definition 2.2.1. Let g be a Lie colour algebra. A g-module is a G-graded F-vector L space V = a∈G Va together with a g-action
g × V → V, (x, v) 7→ xv which is a bilinear map satisfying the following properties:
(i) If x ∈ ga and v ∈ Vb, then xv ∈ Vab,
(ii) [x, y]v = x(yv) − β(b, a)y(xv), for all x ∈ ga, y ∈ gb and for all v ∈ V .
A g-module is also called a representation of g over F.
Example 2.2.2. Let V = g, with the action of g on itself given by (x, y) 7→ [x, y] for all x, y ∈ g. Then together with this action, g is a g-module by Definition 2.1.6 and Lemma 2.1.7. This g-module is called the adjoint representation.
Example 2.2.3. The trivial module of g is the one-dimensional vector space V with
grading V = V1G . The g-action is defined as x · v = 0 for all x ∈ g and v ∈ V .
Definition 2.2.4. Let V be a g-module over the field F. The contragredient module of V is the vector space V ∗ := {f : V → F | f is a linear functional }, such that
∗ ∗ −1 (i) the G-grading is defined by (V )a := {f ∈ V | f(Vb) = 0 if a 6= b },
(ii) the g-action is defined on homogeneous elements by
(xf)(v) = −β(b, a)f(xv)
∗ for all x ∈ ga, f ∈ (V )b and v ∈ V. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 11
Let B = {v1, . . . , vn} be a homogeneous basis of a g-module V . We denote
∗ 1 n ∗ i B = {v , . . . , v } the dual basis of V defined by v (vj) = δi,j for all 1 ≤ i, j ≤ n.
Notice that since B is a homogeneous basis of V = ⊕a∈GVa, it can be partitioned into
i ∗ bases for each Va. Thus by the way we define v , we conclude that B is a homogeneous basis of V ∗. Then we compute the colour of vi by the following lemma.
i −1 Lemma 2.2.5. Let vi ∈ B have colour c. Then v has colour c .
i i i Proof. Let vi have colour c. Since v is homogeneous, v (vi) = 1 6= 0 and v (vj) = 0
i −1 for any vj not in Vc implies that v has colour c by Definition 2.2.4.
Now that we have defined g-modules, we must define the morphisms between them.
Definition 2.2.6. Let V and W be g-modules. A g-module morphism from V to W is an F-linear map φ : V → W satisfying
(i) φ(xv) = x(φv) for all x ∈ g and all v ∈ V, and
(ii) φ(Va) ⊆ Wa for all a ∈ G.
The set of all g-module morphisms from V to W is denoted Homg(V,W ).
Notice that If a g-module morphism has an inverse which is also a g-module morphism, then we call it g-module isomorphism. Moreover, if V = W in Definition
2.2.6, then an element φ ∈ Homg(V,V ) is a graded operator on V which commutes with the action of g. One frequently-used g-module example in this thesis is the tensor product given by the following definition. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 12
Definition 2.2.7. Suppose V and W are two g-modules. By definition V and W are G-graded vector spaces. Then V ⊗ W is again a G-graded vector space with respect to the G-grading M (V ⊗ W )c = Va ⊗ Wb. a,b∈G ab=c We define the g-module structure on V ⊗ W by defining the g-action
x(v ⊗ w) = xv ⊗ w + β(b, a)v ⊗ xw
for all x ∈ ga, v ∈ Vb and w ∈ W .
It is straightforward to verify that Definition 2.2.7 satisfies the conditions of Definition 2.2.1.
Example 2.2.8.
(i) Let V be the trivial module, as defined in Example 2.2.3. Then (V ⊗ W )a = ∼ F ⊗ Wa = Wa for all a ∈ G. In particular, V ⊗ W → W such that a ⊗ w 7→ aw for all a ∈ F is a g-module isomorphism.
¯ ¯ (ii) However, let G = Z2 = {0, 1}. Let V = V0¯ ⊕ V1¯ such that V0¯ = {0} and V1¯ = F.
Let W = W0¯ ⊕ W1¯ such that W0¯ = {0} and W1¯ = W . Let g act trivially on V . Then V ⊗ W is isomorphic to W as vector spaces. However, the map
V1¯ ⊗ W1¯ → W1¯ is not a g-module isomorphism since there does not exist a grading compatible homomorphism.
Lemma 2.2.9. Let M, N, U, V be g-modules, and let f : M → U and g : N → V be two g-module morphisms. Then
f ⊗ g : M ⊗ N → U ⊗ V 2. LIE COLOUR ALGEBRAS AND spo(V, β) 13
m ⊗ n 7→ f(m) ⊗ g(n) is again a g-module morphism.
Proof. We first verify the first condition of Definition 2.2.6. Take x ∈ ga, m ∈ Mb and n ∈ N. Then by Definition 2.2.7, x(m ⊗ n) is equal to
xm ⊗ n + β(b, a)m ⊗ xn. (2.2.1)
Since f(xm) = x(fm) and g(xn) = x(gn), applying f ⊗ g to (2.2.1) gives
f(xm) ⊗ g(n) + β(b, a)f(m) ⊗ g(xn) = x(fm) ⊗ g(n) + β(b, a)f(m) ⊗ x(gn), which is equal to x f(m) ⊗ g(n)
since f and g preserve colours. Secondly, recall from Definition 2.2.7, we have
M (M ⊗ N)c = Ma ⊗ Nb. a,b∈G ab=c
Then take any arbitrary homogeneous simple tensor ma ⊗ nb ∈ Ma ⊗ Nb. By 2.2.7, we have
(f ⊗ g)(ma ⊗ nb) = f(ma) ⊗ g(nb) ∈ Ua ⊗ Vb ⊆ (U ⊗ V )c.
By linearity, (ii) holds.
Next we give some examples of g-module morphisms which play a vital role in 2. LIE COLOUR ALGEBRAS AND spo(V, β) 14
Chapter 4.
ˇ Proposition 2.2.10. Let M,N be g-modules. Consider the linear map RM,N defined on homogeneous elements m ∈ Ma and n ∈ Nb by
ˇ RM,N : M ⊗ N → N ⊗ M
m ⊗ n 7→ β(b, a)n ⊗ m.
ˇ Then RM,N is a g-module isomorphism called the braiding morphism.
ˇ Proof. First we verify that RM,N is a g-module morphism. The second condition of Definition 2.2.6 is satisfied since m ⊗ n has the same colour as n ⊗ m. For the first
condition, take x ∈ ga, m ∈ Mb and n ∈ Nc. Then we have
ˇ ˇ RM,N x(m ⊗ n) = RM,N (xm ⊗ n + β(b, a)m ⊗ xn) ˇ ˇ = RM,N (xm ⊗ n) + β(b, a)RM,N (m ⊗ xn)
= β(c, ab)n ⊗ xm + β(b, a)β(ac, b)xn ⊗ m
= β(c, a)β(c, b)n ⊗ xm + β(b, a)β(a, b)β(c, b)xn ⊗ m
= β(c, a)β(c, b)n ⊗ xm + β(c, b)xn ⊗ m
= β(c, b) xn ⊗ m + β(c, a)n ⊗ xm
= β(c, b)x(n ⊗ m) ˇ = xRM,N (m ⊗ n).
ˇ Therefore by Definition 2.2.6, RM,N is a g-module morphism. ˇ2 Moreover, since β(a, b)β(b, a) = 1 for all a, b ∈ G, we have that RM,N = 1M⊗N . ˇ Thus, RM,N is an g-module isomorphism. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 15
ˇ Let V be a g-module. The braid morphism RV,V is an isomorphism of V ⊗ V
defined by swapping two factors, that is, sending va ⊗ vb to β(b, a)vb ⊗ va for all
homogenous elements va, vb ∈ V with colour a and b respectively. ˇ ˇ ⊗k Then for all k ∈ Z≥2, we define Ri = R(i,i+1) on V by
ˇ ⊗(i−1) ˇ ⊗(k−i−1) Ri = id ⊗ (−RV,V ) ⊗ id . (2.2.2)
ˇ ˇ Notice that since RV,V is a g-module isomorphism, −RV,V is also a g-module isomorphism. The reason we introduce this minus sign is that in Chapter 4, we will define a right action of the Brauer algebra on V ⊗k. Then the action of the generator
⊗k ˇ ⊗k si on V on the right will be the same as Ri acting on V on the left.
ˇ Lemma 2.2.11. The maps Ri satisfy the same relations as the standard generators of the symmetric group. Namely we have
ˇ2 (i) Ri = 1,
ˇ ˇ ˇ ˇ (ii) RiRj = RjRi if |i − j| ≥ 2,
ˇ ˇ ˇ ˇ ˇ ˇ (iii) RiRi+1Ri = Ri+1RiRi+1.
ˇ Proof. The proof is a straightforward calculation from the definition of Ri’s and the property of the symmetric bicharacter.
Consequently, for any permutation π, if we choose an expression π = si1 ··· sip as ˇ a product of adjacent transpositions, where sij = (ij, ij + 1), then we can define Rπ as
ˇ ˇ ˇ ˇ Rπ = Ri1 Ri2 ··· Rip . (2.2.3)
ˇ Lemma 2.2.11 implies that Rπ is independent of the choice of expression. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 16
Lemma 2.2.12. Let V be a g-module with homogeneous basis B = {v1, . . . , vn}. Let V ∗ be the contragredient module of V with homogeneous basis B∗ = {v1, . . . , vn} dual
to B. Let V1G be the trivial g-module. Then the following maps
∗ Pn i (i) the map prV : V1G → V ⊗ V such that 1 7→ i=1 vi ⊗ v , and
∗ i (ii) the evaluation map evV : V ⊗V → V1G such that v ⊗vj 7→ δi,j for all 1 ≤ i, j ≤ n are g-module morphisms.
Remark 2.2.13. Note that the map prV is also called the coevaluation map.
Proof. Note that prV (x1) = prV (0) = 0 for all x ∈ g. In order to prove that
prV satisfies the first condition of Definition 2.2.6, it suffices to show that for all
Pn i homogeneous elements x ∈ g, xprV (1) = x( i=1 vi ⊗ v ) = 0, that is to show Pn i Ω = i=1 vi ⊗ v is a g-invariant tensor.
Let B = {v1, . . . , vn} be a homogeneous basis of V such that for all 1 ≤ i ≤ n,
i −1 vi has colour ai ∈ G. By Lemma 2.2.5, the dual basis vector v has colour ai . Let
i x ∈ g be homogeneous with colour b ∈ G. We then write xvi and xv explicitly. First notice that n X xvi = cikvk, (2.2.4) k=1
for some cik ∈ F. Then for each 1 ≤ j ≤ n, we have
i −1 i (xv )(vj) = −β(ai , b)v (xvj) n −1 X i = −β(ai , b) cj`v (v`) `=1
−1 = −β(ai , b)cji. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 17
Thus we deduce that n i X −1 j xv = −β(ci , a)cjiv . (2.2.5) j=1 Therefore we have
n ! n n X i X i X i x vi ⊗ v = xvi ⊗ v + β(ai, b)vi ⊗ xv i=1 i=1 i=1 n n n n X X i X X −1 j = cikvk ⊗ v + −β(ai, b)β(ai , b)cjivi ⊗ v i=1 k=1 i=1 j=1 n n n n X X i X X j = cikvk ⊗ v − cjivi ⊗ v = 0. i=1 k=1 i=1 j=1
Thus follows from the fact that both 1 and Ω have colour 1, prV is a g-module
morphism. The proof of evV being a g-module morphism is similar.
Notice that the maps in Lemma 2.2.12 are independent of the choice of basis. See for example [Kas95, Section II.3].
Now let V and W be two g-modules. We notice that prV ⊗W can be obtained by the following composition of the maps:
prV ∗ ∼ ∗ id⊗prW ⊗id ∗ ∗ V1G −−→ V ⊗ V = V ⊗ V1G ⊗ V −−−−−−→ V ⊗ W ⊗ W ⊗ V .
Similarly the map evV ⊗W can be obtained by
∗ ∗ ∗ id⊗evV ⊗id ∗ ∼ ∗ evW W ⊗ V ⊗ V ⊗ W −−−−−−→ W ⊗ V1G ⊗ W = W ⊗ W −−→ V1G.
Thus inductively, we have the following lemma.
Lemma 2.2.14. Let V be a g-module. Let B = {v1, . . . , vn} be a homogeneous basis
1 n i of V . Let {v , . . . , v } be the dual of B such that v (vj) = δi,j for all 1 ≤ i, j ≤ n. Let 2. LIE COLOUR ALGEBRAS AND spo(V, β) 18
k ≥ 1. Then both of the following maps are g-module morphisms
⊗k ∗ ⊗k (i) pr˜ k : V1G → V ⊗ (V ) such that
X ik i1 1 7→ vi1 ⊗ · · · ⊗ vik ⊗ v ⊗ · · · ⊗ v , and
1≤i1,...,ik≤n
∗ ⊗k ⊗k (ii) ev˜ k :(V ) ⊗ V → V1G such that
k i1 ik Y ev˜ k(v ⊗ · · · ⊗ v ⊗ vjk ⊗ · · · ⊗ vj1 ) 7→ δik,jk ··· δi1,j1 = δi`,j` , `=1
extended by linearity.
Now let us talk about the category of g-modules.
Definition 2.2.15. Let g be a finite dimensional Lie colour algebra over a field F. We denote the category of g-modules by C. Then the morphisms are the g-module morphisms.
In particular, for any two objects V and W in C, by Definition 2.2.7, V ⊗ W is a g-module. Therefore, V ⊗ W is in C. With this extra tensor structure, C becomes a monoidal category. ∼ ∼ We showed there was an identity object V1G such that V ⊗ V1G = V1G ⊗ V = V for all V ∈ C. Also, Proposition 2.2.10 provides us an g-module isomorphism to swap V ⊗ W to W ⊗ V with some β factor generated. With this morphism, C becomes a braided monoidal category. Furthermore, for any object V in C, the dual V ∗ of V is still an g-module. With
∗ the morphisms defined in Lemma 2.2.12, V1G → V ⊗ V , the category C becomes a braided rigid monoidal category of g-modules. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 19
2.3 The orthosymplectic Lie colour algebra spo(V, β)
In this section, we first construct the general linear Lie colour algebra, gl(V, β). Then we provide a particular subalgebra of gl(V, β), the orthosymplectic Lie colour algebra spo(V, β). The rest of this paper will mainly focus on this special case.
Let V be a graded vector space over a field F, and let G be an abelian group. Let β be a symmetric bicharacter of G. Let End(V ) be the vector space of all F-linear maps from V to V . We let
gl(V, β)a := {x ∈ End(V ) | xVb ⊆ Vab for all b ∈ G}. (2.3.1)
Definition 2.3.1. The general linear Lie colour algebra is the vector space
M gl(V, β) = gl(V, β)a a∈G equipped with the Lie colour algebra bracket defined by
[x, y] = xy − β(b, a)yx
for all x ∈ gl(V, β)a, y ∈ gl(V, β)b.
Remark 2.3.2. Notice that as a vector space, gl(V, β) is isomorphic to End(V ).
Lemma 2.3.3. Equipped with the Lie colour bracket defined above, gl(V, β) is a Lie colour algebra.
Proof. We need to show that gl(V, β) satisfies Definition 2.1.6.
(i) Let x ∈ gl(V, β)a, y ∈ gl(V, β)b and v ∈ Vc for some a, b and c ∈ G. Then we 2. LIE COLOUR ALGEBRAS AND spo(V, β) 20
have [x, y]v = xyv − β(b, a)yxv.
For the first term, we have
xyv ∈ xyVc ⊆ xVbc ⊆ Vabc
and similarly for the second term we have
β(b, a)yxv ∈ yxVc ⊆ yVac ⊆ Vbac = Vabc
since G is abelian. So we have [x, y]Vc ⊆ Vabc holds for all c ∈ G. So [x, y] ∈ Vab.
Therefore we have shown that [ga, gb] ⊆ gab.
(ii) Take x ∈ gl(V, β)a and y ∈ gl(V, β)b. Then we have
−β(b, a)[y, x] = −β(b, a)yx + β(b, a)β(a, b)xy = [x, y].
(iii) The Lie colour Jacobi identity can be proved by a straightforward calculation by using the relations β(a, b)β(b, a) = 1 and β(ab, c) = β(a, c)β(b, c) for all a, b, c ∈ G.
Remark 2.3.4. We adopt the convention that if v ∈ Va and u ∈ Vb, then we write
β(v, u) = β(a, b), and gl(V, β)v = gl(V, β)a.
That is, we use a vector itself to denote its colour and by extension, we write v−1 for a−1. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 21
We next construct a homogeneous basis for gl(V, β) and discuss the colours of its basis vectors.
Let B = {v1, . . . , vn} be a homogeneous basis of V . Recall that the elementary
matrix Evivj in End(V ) is defined by Evivj vk = δjkvi for all 1 ≤ i, j, k ≤ n, where δjk is the Kronecker delta.
Lemma 2.3.5. The set {Evivj | 1 ≤ i, j ≤ n} forms a homogeneous basis for gl(V, β).
Proof. By Remark 2.3.2, gl(V, β) is isomorphic to End(V ) as vector space. Thus the
set {Evivj | 1 ≤ i, j ≤ n} forms a basis for gl(V, β). Then since Evivj sends vi to vj
−1 for all 1 ≤ i, j ≤ n, by (2.3.1) it has colour viv . Therefore Ev v ∈ gl(V, β) −1 and j i j vivj thus it is homogeneous.
Now we begin to construct the orthosymplectic Lie colour algebras.
Definition 2.3.6. Let V be a G-graded vector space. An F-bilinear map
h·, ·i : V × V → F is called a β-skew-symmetric bilinear form if it satisfies:
(i) h·, ·i is nondegenerate;
−1 (ii) hVa,Vbi = 0 whenever b 6= a ; and
(iii) hv, wi + β(b, a)hw, vi = 0, for all v ∈ Va, w ∈ Vb.
Remark 2.3.7. From part (ii) of Definition 2.3.6, it follows that part (iii) holds trivially for b 6= a−1. If however, b = a−1, we have β(b, a) = β(a−1, a) = β(a, a)−1 =
−1 ±1. Therefore for all v ∈ Va and w ∈ Wa−1 , hv, wi + β(a , a)hw, vi = 0 implies hv, wi = ±hw, vi. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 22
We explore this form further in Section 2.4.
Definition 2.3.8. The orthosymplectic Lie colour algebra
M spo(V, β) = spo(V, β)a a∈G is the subalgebra of the Lie colour algebra gl(V, β), where for each a ∈ G, the graded component spo(V, β)a is defined as
spo(V, β)a = {x ∈ gl(V, β)a | hxw, vi+β(b, a)hw, xvi = 0, ∀w ∈ Vb, v ∈ V }. (2.3.2)
Lemma 2.3.9. Equipped with the Lie colour bracket defined above, spo(V, β) is a Lie colour algebra.
Proof. Since for all a ∈ G, spo(V, β)a ⊆ gl(V, β)a. we have spo(V, β) ⊆ gl(V, β) as G-graded vector spaces. Next we prove that spo(V, β) is closed under the Lie colour bracket. It suffices to show that for homogeneous elements x and y in spo(V, β), we have
[x, y] ∈ spo(V, β)xy. Therefore it is enough to show that
h[x, y]w, vi = −β(w, xy)hw, [x, y]vi, for all v ∈ V.
The method is to expand [x, y] = xy − β(y, x)yx first, and use the linearity of h·, ·i. Therefore h[x, y]w, vi = hxyw, vi − β(y, x)hyxw, vi. (2.3.3) 2. LIE COLOUR ALGEBRAS AND spo(V, β) 23
The first term of (2.3.3) can be written as
hxyw, vi = −β(yw, x)hyw, xvi
= β(yw, x)β(w, y)hw, yxvi
= β(w, xy)β(y, x)hw, yxvi
= β(w, xy)hw, β(y, x)yxvi. (2.3.4)
Similarly, the second term of (2.3.3) is −β(y, x)β(xw, y)β(w, x)hw, xyvi which can be simplified to − β(w, xy)hw, xyvi. (2.3.5)
Thus by adding (2.3.4) and (2.3.5) it follows that (2.3.5) is equal to
β(w, xy)hw, (β(y, x)yx − xy)vi which is −β(w, xy)hw, [x, y]vi as we claimed.
2.4 Homogeneous bases for V , V ∗ and spo(V, β)
In this section, starting with a G-graded vector space carrying a β-skew-symmetric invariant bilinear form, we give homogeneous bases for a G-graded vector space V , its contragredient V ∗, and spo(V, β). Recall that from (2.1.3), we define
M M V(0) = Va and V(1) = Va.
a∈G(0) a∈G(1)
Lemma 2.4.1. Let h·, ·i be as in Definition 2.3.6. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 24
(i) The restricted form h·, ·i : V(0) ×V(0) → F is a (nondegenerate) symplectic bilinear form.
(ii) The restricted form h·, ·i : V(1) × V(1) → F is a nondegenerate and symmetric bilinear form.
−1 Proof. Let a, b ∈ G. If ab 6= 1, then hVa,Vbi = 0. So we may assume that b = a . Now
−1 −1 −1 −1 if a ∈ G(i) for i = 0, 1, then by Lemma 2.1.2, β(a , a ) = β(a, a ) = β(a, a) = ±1
−1 implies a ∈ G(i). Thus for all v ∈ Va and w ∈ Va−1 , we have
hv, wi = −β(a−1, a)hw, vi = ±hw, vi.
Thus h·, ·i : V(0) × V(0) → F is skew-symmetric, and h·, ·i : V(1) × V(1) → F is symmetric. Next we prove non-degeneracy. By Definition 2.3.6, h·, ·i : V × V → F is a non- degenerate form. Then for each nonzero v in V , there exists some w in V such that P hv, wi 6= 0. Write w = b∈G wb as a sum of homogeneous vectors. By Definition
−1 2.3.6 (ii), hv, wi = hv, wbi where b = a . Without loss of generality, we can replace
−1 −1 w with wb. Now if v ∈ V(i) for i = 0, 1, then ±1 = β(v, v) = β(w , w ) = β(w, w).
Therefore w is in V(i) as well. Therefore h·, ·i : V(i) × V(i) → F is a non-degenerate form for i = 0, 1.
Let us fix our notation. From now on, we fix
dim V(0) = m and dim V(1) = n.
Moreover since h·, ·i : V(0) × V(0) → F is symplectic, we have m = 2r for some r ∈ Z≥0.
But V(1) can have odd or even dimension. We define s ∈ Z≥0 by declaring n = 2s or n = 2s + 1. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 25
We claim that there exists a homogeneous basis
∗ ∗ B(0) = {t1, t1, . . . , tr, tr}
of V(0) which decomposes V(0) into an orthogonal direct sum of hyperbolic planes
∗ Hi = Span{ti, ti }. Namely, let t ∈ V(0) be homogeneous and nonzero. Then as in the
0 0 proof of Lemma 2.4.1, there exists a homogeneous t ∈ V(0) such that ht, t i= 6 0. Also since char F 6= 2, we can assume ht, ti = ht0, t0i = 0. Thus, replacing t0 by a scalar multiple if necessary, this gives a hyperbolic pair {t, t0}. Repeating this process on the orthogonal complement of Span{t, t0} completes the proof.
If F is algebraically closed, by a similar argument, there exists a homogeneous basis
∗ ∗ B(1) = {u1, u1, . . . , us, us, (us+1)}
∗ of V(1) where each {ui, ui } is a hyperbolic pair. The vector us+1 is only included if the dimension of V(1) is odd, and we put a bracket around such u2s+1 to indicate this.
∗ In this case, we have us+1 = us+1. When F is not algebraically closed, we add the additional hypothesis that V(1) admits a basis B(1) of the above form. Moreover, we make the convention that we extend the definition of * such that v∗∗ = v for all v ∈ B. Therefore we have the following homogeneous basis for V :
∗ ∗ ∗ ∗ B = B(0) ∪ B(1) = {t1, t1, . . . , tr, tr, u1, u1, . . . , us, us, (us+1)}. (2.4.1)
Remark 2.4.2. In what follows, we frequently need the basis vectors with no ∗ signs. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 26
Therefore for future reference, we let
0 0 0 B = {t1, ··· , tr, u1, ··· , us, (us+1)} = B(0) ∪ B(1)
0 0 where B(0) = {t1, ··· , tr} and B(1) = {u1, ··· , us, (us+1)}.
Since h·, ·i is a nondegenerate form, it induces an isomorphism F : V → V ∗ by v 7→ hv, ·i for all v ∈ V . Next we prove in fact F is a g-module isomorphism between V and its contragredient.
Lemma 2.4.3. The map
F : V → V ∗
v 7→ hv, ·i is a g-module isomorphism.
Proof. It suffices to prove that for all homogeneous x ∈ g and homogeneous v, w ∈ V we have F (xv)(w) = (xF (v))(w). Since F (v) ∈ V ∗, by Definition 2.2.4, we have
(xF (v))(w) = −β(F (v), x)F (v)(xw) = −β(F (v), x)hv, xwi.
By (2.3.2), we have the relation
hxv, wi + β(F (v), x)hv, xwi = 0 which implies that
F (xv)(w) = hxv, wi = −β(F (v), x)hv, xwi = (xF (v))(w) 2. LIE COLOUR ALGEBRAS AND spo(V, β) 27
for all w ∈ V . Note that F is bijective, and let F −1 be the inverse linear map of F . Let w ∈ V ∗ and notice that F (x(F −1w)) = (xF )(F −1w) = xw, thus applying F −1 to both sides we get (xF −1)(w) = F −1(xw) for all x ∈ g and w ∈ V ∗. Therefore F −1 is a g-module morphism. Thus, F is a g-module isomorphism.
Lemma 2.4.4. With the above setting, if vi ∈ B has colour c, then
(i) F (vi) has colour c,
(ii) F −1(vi) has colour c−1.
Proof. The result is immediate by using the facts that both F and F −1 are g-module
i morphisms and v has opposite colour as vi.
We recall the following fact. Let B = {v1, . . . , vn} be an ordered basis of (V, h·, ·i).
1 n ∗ i Then denote by {v , . . . , v } the dual basis of V defined by v (vj) = δij for all
∗ 1 ≤ i, j ≤ n. With respect to these bases, the matrix FB of the map F : V → V such
−1 that v 7→ hv, ·i is given by (FB)i,j = Fi,j = hvi, vji. We follow [BSR98] to use Fi,j to −1 denote the (i, j) entry of the inverse matrix FB . Now based on the homogeneous basis B in (2.4.1), we can find the explicit matrix
FB. By the calculation above (2.4.1), for i = 1, . . . , r and j = 1, . . . , s, (s + 1), we have
F ∗ = 1,F ∗ = −1,F ∗ = 1,F ∗ = 1, and F 0 = 0 otherwise. (2.4.2) ti,ti ti ,ti uj ,uj uj ,uj v,v
−1 The inverse of the matrix FB is the matrix FB with
−1 −1 −1 −1 F ∗ = −1,F ∗ = 1,F ∗ = 1,F ∗ = 1, and Fv,v0 = 0 otherwise. (2.4.3) ti,ti ti ,ti uj ,uj uj ,uj 2. LIE COLOUR ALGEBRAS AND spo(V, β) 28
0 ∗ Lemma 2.4.5. For all v, w ∈ B , we have Fv∗,w = −β(w, v )Fw,v∗ .
Proof. Since all v, w ∈ B are homogeneous, we have
∗ ∗ ∗ ∗ Fv∗,w = hv , wi = −β(w, v )hw, v i = −β(w, v )Fw,v∗ .
Theorem 2.4.6. The following vectors form a basis for spo(V, β), as v and w range over B0 as indicated:
∗ 0 (i) Yv∗,w = Ev∗,w + β(v, v)β(wv , w)Ew∗,v, where v 6= w if v, w ∈ B(1);
∗ 0 (ii) Yv,w∗ = Ev,w∗ + β(v , w)Ew,v∗ , where v 6= w if v, w ∈ B(1);
(iii) Yv,w = Ev,w − β(w, w)β(v, w)Ew∗,v∗ .
Proof. First, it is straightforward that the vectors in Theorem 2.4.6 are linearly independent. Next, we first show that those vectors are in spo(V, β). Then we show that they span spo(V, β). It suffices to find all the homogeneous vectors x ∈ gl(V, β) that satisfy (2.3.2). Now take a homogeneous x ∈ gl(V, β). We have the relation hxv, wi + β(v, x)hv, xwi = 0, which is equivalent to
t t t v x FBw + β(v, x)v FBxw = 0.
First, letting v and w run over all pairs of vectors in the set B0, we can reduce the above matrix equation into equations of the form:
t (x )v,w∗ Fw∗,w + β(v, x)Fv,v∗ xv∗,w = 0. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 29
After taking the transpose, we have
xw∗,vFw∗,w + β(v, x)Fv,v∗ xv∗,w = 0. (2.4.4)
∗ By Lemma 2.4.5, we can replace Fw∗,w by −β(w, w )Fw,w∗ , and the equation becomes
∗ −xw∗,vβ(w, w )Fw,w∗ + β(v, x)Fv,v∗ xv∗,w = 0, which is equivalent to
∗ −1 Fw,w∗ xw∗,v = β(w, w ) β(v, x)Fv,v∗ xv∗,w.
0 ∗ −1 By using the fact that Fv,v∗ = 1 for all v ∈ B , and the fact that β(w, w ) = β(w, w) for all w ∈ B0, we have
xw∗,v = β(w, w)β(v, x)xv∗,w. (2.4.5)
If xv∗,w =6 0, then since x is homogeneous in gl(V, β), it must have the same colour as
∗ ∗ ∗ ∗ Ev∗,w which is v w . Therefore (2.4.5) becomes xw∗,v = β(w, w)β(v, v w )xv∗,w, which (by using the fact β(v, v∗) = β(v, v) for all v ∈ B0 and the fact β(v∗, w) = β(v, w∗)) is
∗ xw∗,v = β(w, w)β(v, v)β(v , w)xv∗,w, (2.4.6)
which also holds if xv∗,w = 0. Similarly, for all v, w ∈ B0, we have the relation
∗ xw,v∗ = β(v , w)xvw∗ , (2.4.7) 2. LIE COLOUR ALGEBRAS AND spo(V, β) 30
and for all v, w ∈ B0, we have
xw∗,v∗ = −β(w, w)β(v, w)xv,w. (2.4.8)
0 Note that when v = w in B(1), β(v, v) = −1. Therefore in these cases (2.4.7) and
(2.4.6) imply xv,v∗ = xv∗,v = 0. Thus x is a homogeneous element of spo(V, β) if and only if its entries satisfy (2.4.6), (2.4.7) and (2.4.8). Comparing these conditions with the list of vectors in the statement of the proposition yields:
∗ (i) Yv∗,w = Ev∗,w + β(v, v)β(wv , w)Ew∗,v ∈ spo(V, β)v∗w∗ , where v =6 w if v, w ∈
0 B(1);
∗ 0 (ii) Yv,w∗ = Ev,w∗ + β(v , w)Ew,v∗ ∈ spo(V, β)vw, where v 6= w if v, w ∈ B(1);
(iii) Yv,w = Ev,w − β(w, w)β(v, w)Ew∗,v∗ ∈ spo(V, β)vw∗ which proves that the vectors in Theorem 2.4.6 are all in spo(V, β). Now in order to show that these vectors span spo(V, β), we first give an order to the basis B. Namely, we write
∗ ∗ ∗ ∗ B = {t1 < t1 < . . . < tr < tr < u1 < u! < . . . < us < us < (us+1)}.
Take arbitrary x ∈ spo(V, β). We let xv,w be the (v, w)-entry for all v, w ∈ B. Then P we write x = v,w∈B xv,wEv,w which can be regrouped as
X X x = (xv,wEv,w + xw∗,v∗ Ew∗,v∗ ) + (xv∗,wEv∗,w + xw∗,vEw∗,v) v,w∈B0 v X X + (xv,w∗ Ev,w∗ + xw,v∗ Ew,v∗ ) + (xv∗,vEv∗,v + xv,v∗ Ev,v∗ ). (2.4.9) v Applying the relation (2.4.8) to the first term yields X X xv,w (Ev,w − β(w, w)β(v, w)Ew∗,v∗ ) = xv,wYv,w. v,w∈B0 v,w∈B0 Similarly, applying relation (2.4.6) and (2.4.7) to the second and third terms of (2.4.9) yields X X xv∗,wYv∗,w and xv,w∗ Yv,w∗ v respectively. For the fourth term of (2.4.9), notice that Yv,v∗ = 2Ev,v∗ and Yv∗v = 2Ev∗,v. Thus the fourth term of (2.4.9) is X 1 (xv∗,vYv∗,v + xv,v∗ Yv,v∗ ). 0 2 v∈B(0) Therefore we can write any arbitrary x ∈ spo(V, β) as X X X 1 X x = x Y + x ∗ Y ∗ + x ∗ Y ∗ + (x ∗ Y ∗ +x ∗ Y ∗ ). v,w v,w v ,w v ,w v,w v,w 2 v ,v v ,v v,v v,v v,w∈B0 v Thus, the vectors in Theorem 2.4.6 span spo(V, β), and in turn, they form a homoge- neous basis of spo(V, β). 0 Remark 2.4.7. When v = w ∈ B , the vector Yv,w simplifies to Hv = Ev,v − Ev∗,v∗ . Notice that these elements always have colour 1, regardless of the grading on V . 2. LIE COLOUR ALGEBRAS AND spo(V, β) 32 2.5 Roots and root vectors in spo(V, β) In this section, let g = spo(V, β). We compute the weights of each basis vector in (2.4.1) of V under the standard action of g. Then we construct a root system of g with respect to the homogeneous basis in Theorem 2.4.6. The first step is to find a Cartan subalgebra of g and its dual. Recall that we have a homogeneous basis ∗ ∗ ∗ ∗ B = {t1, t1, . . . , tr, tr, u1, u1, . . . , us, us, (us+1)} 0 of V , and the corresponding subset B = {t1, . . . , tr, u1, . . . , us, (us+1)} of V . Definition 2.5.1. Let Hv = Ev,v − Ev∗,v∗ as in Remark 2.4.7. We call 0 h = SpanF{Hv | v ∈ B }. the standard Cartan subalgebra of g. Lemma 2.5.2. The set h is an abelian subalgebra of g. Proof. Take Hv and Hw in h. We have [Hv,Hw] = HvHw − β(Hw,Hv)HwHv which is HvHw − HwHv since Hv has colour 1G. Also since Hv is diagonal matrix for all 0 0 v ∈ B , Hv commutes with Hw. Therefore we have [Hv,Hw] = 0 for all v ∈ B . Thus h is an abelian subalgebra. Definition 2.5.3. An g-module W has a weight space decomposition with respect to h∗ if M W = Wα, α∈h∗ 2. LIE COLOUR ALGEBRAS AND spo(V, β) 33 where Wα = {w ∈ W | Hw = α(H)w for all H ∈ h}. We call α a weight if the corresponding weight space Wα is nonzero, and the nonzero elements of a given weight space are called weight vectors. Definition 2.5.4. The dual basis of h is the set ∗ 0 {αv ∈ h | αv(Hw) = δvw for all v, w ∈ B }. (2.5.1) Let us prove that the αv’s in (2.5.1) are weights of the standard representation of spo(V, β) on V . Lemma 2.5.5. Each basis vector w in B is a weight vector. For all w ∈ B0, the ∗ weight of w is αw and the weight of w is −αw. In particular, the weight of us+1 ∈ B is 0. 0 Proof. Let v, w ∈ B and take Hv = Ev,v − Ev∗,v∗ in h. Then we have (Ev,v − Ev∗,v∗ )w = Ev,vw = δw,vw = αw(Hv)w. Therefore the weight of w is αw. On the other hand, we have ∗ ∗ ∗ ∗ ∗ (Ev,v − Ev∗,v∗ )w = −Ev∗,v∗ w = −δw∗,v∗ w = −δw,vw = −αw(Hv)w . ∗ Thus w has weight −αw. Lemma 2.5.6. Let v = v1 ⊗ · · · ⊗ vk with each vi ∈ B. Then the weight of v is given by k X αv = αvi . i=1 2. LIE COLOUR ALGEBRAS AND spo(V, β) 34 Proof. Each H ∈ h acts on v1 ⊗ · · · ⊗ vk diagonally as per Definition 2.2.7. Since the colour of H is 1, we have β(H, vi) = 1 for all vi ∈ B. Thus we have k X H · (v1 ⊗ · · · ⊗ vk) = v1 ⊗ · · · ⊗ v`−1 ⊗ (H · v`) ⊗ v`+1 ⊗ · · · ⊗ vk `=1 k X = v1 ⊗ · · · ⊗ v`−1 ⊗ αv` (H)v` ⊗ v`+1 ⊗ · · · ⊗ vk `=1 k X = αv` (H)(v1 ⊗ · · · ⊗ vk). `=1 Therefore we have shown that the tensor v1 ⊗ · · · ⊗ vk is a weight vector with weight Pk i=1 αvi . Next we provide a root system of g. First notice that the basis vectors defined in Theorem 2.4.6 are all weight vectors under the adjoint representation. Lemma 2.5.7. For vectors u, v, w in B0, we have the following: (i) [Hu,Yv,w∗ ] = (αv + αw)(Hu)Yv,w∗ , (ii) [Hu,Yv∗,w] = (−αv − αw)(Hu)Yv∗,w, (iii) [Hu,Yv,w] = (αv − αw)(Hu)Yv,w. Proof. We only prove (i), and the rest can be calculated similarly. Since Yv,w∗ = ∗ 0 Ev,w∗ + β(v , w)Ew,v∗ , notice that Ev,w∗ Eu,u = 0 = Eu∗,u∗ Ev,w∗ for all u, v, w ∈ B . Thus we have [Hu,Yv,w∗ ] = Eu,uYv,w∗ − Yv,w∗ Eu∗,u∗ . Therefore [Hu,Yv,w∗ ] = Eu,uYv,w∗ − Yv,w∗ Eu∗,u∗ ∗ ∗ = (Eu,uEv,w∗ + β(v , w)Eu,uEw,v∗ ) − (−Ev,w∗ Eu∗,u∗ − β(v , w)Ew,v∗ Eu∗,u∗ ) ∗ ∗ = δuvEu,w∗ + δu,wβ(v , w)Eu,v∗ + δwuEv,u∗ + δuvβ(v , w)Ew,u∗ 2. LIE COLOUR ALGEBRAS AND spo(V, β) 35 ∗ ∗ = δuv(Eu,w∗ + β(v , w)Ew,u∗ ) + δuw(Ev,u∗ + β(v , w)Eu,v∗ ) = (αv + αw)(Hu)(Yv,w∗ ) We now give definitions of roots and the root space decomposition of g. Definition 2.5.8. Let h = g0 be the Cartan subalgebra of g introduced in Definition 2.5.1. The root space decomposition of g relative to h is given by M g = h ⊕ gα α∈Φ ∗ where Φ := {α ∈ h \{0} | gα 6= 0} where gα := {x ∈ g | [H, x] = α(H)x, ∀H ∈ h}. We call α a root if α ∈ Φ and call the associated gα a root space. 0 All the vectors Hv lie in h = g0. Moreover, by Lemma 2.5.7, for all v, w ∈ B ∗ ∗ the basis vectors Yv,w , Yv ,w and Yv,w are in the distinct nonzero root spaces gαv+αw , g−αv−αw and gαv−αw respectively. Therefore we can conclude that the root spaces are each one-dimensional. Remark 2.5.9. From the subscripts of our notation, we can read both the colour of a root vector, and the value of its corresponding root. For example, Yv,w∗ has colour −1 −1 ∗ vw and it lies in the space gαv+αw . Yv ,w has colour v w , and it is in the root space −1 g−αv−αw . Yv,w has colour vw , and it is in the root space gαv−αw . In summary, as shorthand notation, we set εi = αti and δj = αuj for 1 ≤ i ≤ r and 1 ≤ j ≤ s. The roots of spo(V, β), are: (i) When n = 2s + 1, Φ0 = {±(εi ± εj), ±2εi, ±(δk ± δl), ±δk | 1 ≤ i =6 j ≤ r, 1 ≤ k 6= l ≤ s} Φ1 = {±(εi ± δj), ±εi | 1 ≤ i ≤ r, 1 ≤ j ≤ s}; 2. LIE COLOUR ALGEBRAS AND spo(V, β) 36 (ii) When n = 2s Φ0 = {±(εi ± εj), ±2εi, ±(δk ± δl) | 1 ≤ i 6= j ≤ r, 1 ≤ k 6= l ≤ s} Φ1 = {±(εi ± δj) | 1 ≤ i ≤ r, 1 ≤ j ≤ s}. We denote the set of roots of spo(V, β) by Φ = Φ0 ∪ Φ1. The root system we defined is not like the usual root system of Lie algebras. For example, when n = 2s + 1, we can have both ±εi and ±2εi as roots. However Φ0 and Φ1 are the set of even and odd roots for the Lie superalgebra spo(2r|2s + 1), see for example [FSS00, Table 6 and 9]. Lemma 2.5.10. The union of the following sets (i) When n = 2s + 1, + Φ0 = {εi ± εj, 2ε1, 2εj, δk ± δl, δ1, δl | 1 ≤ i < j ≤ r, 1 ≤ k < l ≤ s} + Φ1 = {εi ± δj, εi | 1 ≤ i ≤ r, 1 ≤ j ≤ s}; (ii) When n = 2s, + Φ0 = {εi ± εj, 2ε1, 2εj, δk ± δl | 1 ≤ i < j ≤ r, 1 ≤ k < l ≤ s} + Φ1 = {εi ± δj | 1 ≤ i ≤ r, 1 ≤ j ≤ s}. are positive roots of spo(V, β), denoted by Φ+. Proof. We see directly that Φ = Φ+ ∪ −Φ+, and that if two roots in Φ+ are such that their sum is a root, then the sum is in Φ+. Hence Φ+ is a positive root system. Definition 2.5.11. Given a set of positive roots, the corresponding set of simple roots ∆ is a basis of V such that each α ∈ Φ+ is a nonnegative integral linear combination of elements in ∆. 2. LIE COLOUR ALGEBRAS AND spo(V, β) 37 Lemma 2.5.12. With respect to the positive root system above, if r = 1, s = 1 and n = 2s, the set of simple roots ∆ is given by ∆ = {ε1 + δ1, ε1 − δ1}. Otherwise, the set of simple roots ∆ = {γ1, . . . , γr+s} is given by γi = εi − εi+1, 1 ≤ i ≤ r − 1, γr+j = δj − δj+1, 1 ≤ j ≤ s − 1 εr if n = 1, δs if n = 2s + 1, γr = γr+s = εr − δ1 otherwise, δs−1 + δs if n = 2s, where we adopt the convention that εi = δi = 0 if i ≤ 0. Proof. It can be checked that ∆ satisfies Definition 2.5.11. Definition 2.5.13. The set of simple root vectors ∆Y is denoted {Yγ|γ ∈ ∆}. If r = 1, s = 1 and n = 2s, then ∆Y is the set ∗ {E + β(t , u )E ∗ ∗ ,E ∗ + β(t , u )E ∗ }. t1,u1 1 1 u1,t1 t1,u1 1 1 u1,t1 Otherwise, the Yγ’s are explicitly given by: (i) Y = E − β(t , t )E ∗ ∗ , where 1 ≤ i ≤ r − 1, γi ti,ti+1 i i+1 ti+1,ti ∗ Etr,u1 + β(tr, u1)Eu1,tr , if n = 1, (ii) Yγr = ∗ E + β(t , u )E ∗ ∗ , otherwise, tr,u1 r 1 u1,tr (iii) Y = E + β(u , u )E ∗ ∗ , where 1 ≤ j ≤ s − 1, γr+j uj ,uj+1 j j+1 uj+1,uj ∗ Eus,us+1 + β(us, us+1)Eus+1,us , if n = 2s + 1, (iv) Yγr+s = ∗ E ∗ + β(u , u )E ∗ , if n = 2s. us,us−1 s s−1 us−1,us 2. LIE COLOUR ALGEBRAS AND spo(V, β) 38 Lemma 2.5.14. Let v be a weight vector with weight α. Let Y be a simple root vector in ∆Y with weight λ. Then the weight of Y v is α + λ. Proof. Notice that since β(H, ·) = 1, we have H(Y v) = [H,Y ]v + Y (Hv) = λ(H)Y v + Y α(H)v, which is (λ + α)(H)Y v. Example 2.5.15. Take r = 1, s = 2, m = 2r, n = 2s. Then V has the basis ∗ ∗ ∗ B = {t1, t1, u1, u1, u2, u2}. An arbitrary H in h is of the form H = a1Ht1 + a2Hu1 + a3Hu2 , which in matrix form is given with respect to the basis B by the following diagonal matrix: a1 −a 1 a2 H = −a2 a 3 −a3 where the off-diagonal entries are all 0’s. In the following matrix, we label each Evw by the unique root, such that the 2. LIE COLOUR ALGEBRAS AND spo(V, β) 39 corresponding root space has a nonzero projection onto Span{Evw}. 0 ε1 + ε1 ε1 − δ1 ε1 + δ1 ε1 − δ2 ε1 + δ2 −ε − ε 0 −ε − δ δ − ε −ε − δ −ε + δ 1 1 1 1 1 1 1 2 1 2 δ1 − ε1 δ1 + ε1 0 0 δ1 − δ2 δ1 + δ2 . −δ1 − ε1 ε1 − δ1 0 0 −δ1 − δ2 −δ1 + δ2 δ − ε δ + ε δ − δ δ + δ 0 0 2 1 2 1 2 1 2 1 −δ2 − ε1 −δ2 + ε1 −δ2 − δ1 −δ2 + δ1 0 0 The set of simple roots in this case is {ε1 − δ1, δ1 − δ2, δ1 + δ2}. Finally we give the definition of highest weight vectors. Definition 2.5.16. Let W be an spo(V, β)-module. Let g+ be the span of the positive root vectors. Then a vector w in W is a highest weight vector of weight λ ∈ h∗ if the following holds: (i) Xw = 0, for all X ∈ g+, (ii) Hw = λ(H)w for all H ∈ h. Chapter 3 The Poincar´e-Birkhoff-Witt Theorem for Lie Colour Algebras In this chapter, our goal is to state and prove the Poincar´e-Birkhoff-Witt(PBW) theorem for Lie colour algebras. The statement and proof of the PBW theorem for Lie algebras in the usual sense can be obtained from our proof in this chapter by choosing β to be the trivial bicharacter of the trivial group. Our proof is inspired by [Hum72, Chapter 17] and [Car05, Chapter 9]. In Section 3.1, we give the definition of tensor algebra and symmetric algebra for any vector spaces, and briefly discuss their grading. In Section 3.2, we provide the definition of the universal enveloping algebra U(g) of any arbitrary Lie colour algebra g. Then in Section 3.3, we provide a spanning set of U(g), which will be proved to be a basis of U(g) in Section 3.4. This existence of this basis is known as one of the versions of the PBW theorem. Thereafter, assuming Proposition 3.4.2, we prove another version of the PBW theorem which states that the associated graded algebra of U(g) is isomorphic to the symmetric algebra. Moreover we give an application of 40 3. THE PBW THEOREM FOR LIE COLOUR ALGEBRAS 41 the PBW theorem at the end of this section. We give the technical details of the proof of Proposition 3.4.2 in Section 3.5. 3.1 Tensor algebras and symmetric algebras Unlike Chapter 2, in this chapter, g always denotes an arbitrary Lie colour algebra over a field F. Nevertheless, all of the definitions in this section make sense if g is just a G-graded vector space. th Definition 3.1.1. For any m ∈ Z+, the m tensor product of g is defined to be the vector space T m(g) = g ⊗ g · · · ⊗ g | {z } m times that is, T m(g) consists of all linear combinations of m-tensors on g. Note that by convention, T 0(g) = F. Definition 3.1.2. The tensor algebra T (g) of g is an associative algebra with unity, m defined to be the direct sum of T (g) for all m ∈ Z≥0 : ∞ M i T (g) = T (g) = F ⊕ g ⊕ (g ⊗ g) ⊕ · · · . i=0 The multiplication on homogeneous generators of T (g) is defined by the rule: k+m (v1 ⊗ · · · ⊗ vk) · (w1 ⊗ · · · ⊗ wm) = v1 ⊗ · · · ⊗ vk ⊗ w1 ⊗ · · · ⊗ wm ∈ T (g) where k, m ∈ Z+, v1, . . . , vk, w1, . . . , wm ∈ g. Note that with this multiplication rule, T (g) is a graded algebra. 3. THE PBW THEOREM FOR LIE COLOUR ALGEBRAS 42 Definition 3.1.3. We say a G-graded algebra A is colour-commutative if for all homogeneous elements x, y in A, we have xy = β(y, x)yx . The tensor algebra is not colour-commutative if dim(g) > 1. We construct a new algebra called the β-symmetric algebra, in which the multiplication is colour- commutative. Definition 3.1.4. The β-symmetric algebra of g is defined to be the quotient algebra T (g) S(g) = I where I is the two sided ideal generated by x ⊗ y − β(y, x)y ⊗ x for all homogeneous x, y in g. Let us discuss more about I and S(g). We first show that I is a homogeneous ideal. Since I is a two-sided ideal generated by x ⊗ y − β(y, x)y ⊗ x, I is spanned as a vector space by elements of the form v · (x ⊗ y − β(y, x)y ⊗ x) · w for some i homogeneous x, y in g and v, w ∈ T (g). Moreover, since T (g) = ⊕i≥0T (g) is a direct sum of homogeneous components, we can view I as the span of elements of the form m n v · (x ⊗ y − β(y, x)y ⊗ x) · w, for some v ∈ T (g) and w ∈ T (g) where m, n ∈ Z+. Therefore, in this case we have v · (x ⊗ y − β(y, x)y ⊗ x) · w ∈ I ∩ T m+n+2(g). Therefore, since I is spanned by homogeneous elements, it is a homogeneous ideal and it admits a grading of the form M I = Ij where Ij = I ∩ T j(g). j≥0 3. THE PBW THEOREM FOR LIE COLOUR ALGEBRAS 43 Therefore S(g) is also a graded algebra, with grading M S(g) = Si(g) i≥0 i i i T (g) T (g) where S (g) = Ii = I ∩ T i(g) for all i ≥ 0. Lemma 3.1.5. Let y1, . . . , yn ∈ g be homogenous elements. Let π ∈ Sn. Then there × is a scalar βπ(y1, . . . , yn) ∈ F such that in S(g), we have y1 ⊗ · · · ⊗ yn + I = βπ(y1, . . . , yn)yπ(1) ⊗ · · · ⊗ yπ(n) + I. Proof. By the discussion above, for homogeneous elements x, y ∈ g, v ∈ T m(g) and w ∈ T n(g), we have v ⊗ x ⊗ y ⊗ w = β(y, x)v ⊗ y ⊗ x ⊗ w (3.1.1) in S(g). Therefore the result follows from the fact that the scalar βπ is obtained by writing π as a product of adjacent transpositions, and inductively applying relation (3.1.1). Remark 3.1.6. Indeed the function βπ(y1, . . . , yn) depends only on the colours of y1, . . . , yn. Definition 3.1.7. Let m m M i M i Tm = T (g) and Sm = S (g) i=0 i=0 be the mth filtration subspaces of T (g) and S(g) respectively. 3. THE PBW THEOREM FOR LIE COLOUR ALGEBRAS 44 Now for any G-graded vector space V , we give a basis for S(g). We first need the following lemma. Lemma 3.1.8. Let V be a G-graded vector space with G-graded decomposition V = U ⊕ W . Then S(U ⊕ W ) ∼= S(U) ⊗ S(W ). Proof. Let us consider Diagram (3.1.2). V = U ⊕ W S(U ⊕ W ) ϕ (3.1.2) ρ S(U) ⊗ S(W ) where ρ(u) = u ⊗ 1 and ρ(w) = 1 ⊗ w for all u ∈ U and w ∈ W. Then ρ extends to a map ϕ : S(U ⊕ W ) → S(U) ⊗ S(W ). Here we use the universal property of the symmetric algebra. See for example [DF04, Chapter 11, Theorem 34]. It is trivial that ϕ is surjective. Now let φ be the embedding map from S(U)⊗S(W ) into S(U ⊕W ) generated by the inclusions S(U) ,→ S(U ⊕W ) and S(W ) ,→ S(U ⊕W ). Then φ ◦ ϕ|V = id which implies that ϕ is injective. L Corollary 3.1.9. Let V be a G-graded vector space such that V = a∈G Va where N each Va is one-dimensional vector space. Then S(V ) = a∈G S(Va). Remark 3.1.10. By Corollary 3.1.9, we can think of an element of S(V ) as a product of elements of S(Va). Proposition 3.1.11. Let V be a G-graded vector space. Let {x1, . . . , xk} be a homo- geneous basis of V . Then the set i1 ik {x1 ··· xk |ij ∈ Z≥0 if β(xj, xj) = 1, ij ∈ {0, 1} if β(xj, xj) = −1} (3.1.3) is a basis of S(V ). 3. THE PBW THEOREM FOR LIE COLOUR ALGEBRAS 45 N Proof. By Corollary 3.1.9, we have S(V ) = a∈G S(Va). Since each Va is one- dimensional for all a ∈ G, we have T (Va) S(Va) = hx ⊗ x − β(x, x)x ⊗ xi for all x ∈ Va. Therefore, if β(x, x) = β(a, a) = 1, we have S(Va) = T (Va) and if T (Va) β(x, x) = −1, we have S(Va) = hx ⊗ xi. Thus the result follows by Remark 3.1.10. 3.2 Universal enveloping algebras Now we have enough tools to introduce the universal enveloping algebra. Recall that g denotes a Lie colour algebra over a field F. Definition 3.2.1. The β-universal enveloping algebra of g is defined as T (g) U(g) = J where J is the ideal generated by x ⊗ y − β(y, x)y ⊗ x − [x, y] for all homogeneous x, y ∈ g. Definition 3.2.2. Let σ be the composite linear map T (g) g ,→ T (g) → J = U(g) such that σ(x) = x + J for all x ∈ g. 3. THE PBW THEOREM FOR LIE COLOUR ALGEBRAS 46 Note that for all homogeneous x, y ∈ g, we have σ([x, y]) = [x, y] + J = x ⊗ y − β(y, x)y ⊗ x + J (3.2.1) = σ(x)σ(y) − β(y, x)σ(y)σ(x). Since J is not a homogeneous ideal, U(g) is not automatically graded in accordance with T (g). But later in this chapter, we will consider a natural filtration of U(g) and construct the associated graded algebra of U(g), gr(U(g)). Moreover the PBW theorem (Theorem (3.4.6)) states gr(U(g)) ∼= S(g). We can also characterize the universal enveloping algebra by the following property, which says that representations of the non-associative, but finite-dimensional, algebra g are in bijective correspondence with representations of the associative, but infinite- dimensional, algebra U(g). Proposition 3.2.3. [Universal property] Let A be an associative algebra with unity over F, and let ρ : g → A be an F-linear map such that ρ([x, y]) = ρ(x)ρ(y) − β(y, x)ρ(y)ρ(x). Then there exists a unique homomorphism of algebras ϕ : U(g) → A (sending 1 to 1), such that the following diagram commutes: g σ U(g) ϕ (3.2.2) ρ A where σ is the map in (3.2.1). Remark 3.2.4. We can turn any associative algebra A into a Lie colour algebra by equipping A with the bracket [a, b] = ab − β(y, x)ba for all a, b ∈ A. Then ρ becomes 3. THE PBW THEOREM FOR LIE COLOUR ALGEBRAS 47 a Lie colour algebra homomorphism. Proof of Proposition 3.2.3. We first define an algebra homomorphism ϕ0 : T (g) → A by 0 ϕ (x1 ⊗ · · · ⊗ xk) = ρ(x1) ··· ρ(xk). Since ρ is linear, the map ϕ0 is well-defined, and it is straightforward to check ϕ0 is a homomorphism. In particular, for all homogeneous x, y in g, we have ϕ0(x ⊗ y − β(y, x)y ⊗ x − [x, y]) = ρ(x)ρ(y) − β(y, x)ρ(y)ρ(x) − ρ([x, y]), which is 0 by the hypothesis of ρ. Thus ϕ0 factors through to an algebra homomorphism ϕ : U(g) → A such that the diagram (3.2.2) commutes. To prove uniqueness, let ϕ0 : U(g) → A be another algebra homomorphism satisfying our assumption. Then for any x ∈ g, we have ϕ0(σ(x)) = ρ(x) = ϕ(σ(x)). Thus ϕ0 = ϕ on U(g) since σ(g) generates U(g). Proposition 3.2.5. Let (ρ, V ) be an g-module. Let v be an element of V . Then the subspace U(g) · v is a g-submodule of V. Proof. It is enough to show that for all x ∈ g and w ∈ U(g)·v we have ρ(x)w ∈ U(g)·v. We prove this proposition by using the universal property of U(g). In Proposition 3.2.3, let A = gl(V, β), which is an associative algebra. Then ρ : g → gl(V, β) is a map satisfying the hypotheses of Proposition 3.2.3. There is an algebra homomorphism ρ˜ from U(g) to End(V, β) such that ρ˜ ◦ σ = ρ. For each w ∈ U(g) · v, we have w =ρ ˜(u)(v) for some u ∈ U(g). Thus for all x ∈ g, we have ρ(x)w =ρ ˜(σ(x))˜ρ(u)(v) 3. THE PBW THEOREM FOR LIE COLOUR ALGEBRAS 48 =ρ ˜(σ(x)u)(v) ∈ U(g) · v, which completes the proof. 3.3 A spanning set of U(g) In order to understand more about the structure of the universal enveloping algebra, we give a spanning set of U(g) in this section. Then we state and prove the Poincar´e- Birkhoff-Witt (PBW) theorem in the next section. First, we need to fix some general notation. Let {x1, . . . , xn} be a homogeneous basis of g. We write σ(xi) = Xi in U(g) for all i in {1, . . . , n}. Given a sequence J = (j1, ··· , jq), the length of J is defined by `(J) = q. Moreover we say J is weakly increasing if ji ≤ jk whenever 1 ≤ i < k ≤ q. Let XJ = Xj1 ··· Xjq ∈ U(g) for any sequence J. Definition 3.3.1. Let Up(g) be the subspace of U(g) spanned by the elements of the form XJ , where J is a sequence with `(J) ≤ p. Remark 3.3.2. Notice that the subspaces Up(g) give a filtration of U(g). That is, they give a chain of subspaces of U(g) such that C = U0(g) ⊆ U1(g) ⊆ U2(g) ⊆ · · · S and U(g) = p≥0 Up(g). Next we will use the following lemma to show that in fact Up(g) in Definition 3.3.1 is spanned by elements of the form XJ with J weakly increasing and `(J) ≤ p. Lemma 3.3.3. Let y1, . . . , yp be homogeneous elements of g. Let π be a permutation of {1, . . . , p}. Then σ(y1) ··· σ(yp) − βπ(y1, . . . , yp)σ(yπ(1)) ··· σ(yπ(p)) ∈ Up−1(g) (3.3.1) 3. THE PBW THEOREM FOR LIE COLOUR ALGEBRAS 49 where βπ is as defined in Lemma 3.1.5. Proof. Suppose π = (i, i + 1) for some i in {1, . . . , p − 1}. Let Y be the term σ(y1) ··· σ(yi)σ(yi+1) ··· σ(yp) − β(yi+1, yi)σ(y1) ··· σ(yi+1)σ(yi) ··· σ(yp). which is