arxiv:math/ v1 [math.qa] 10 Oct 2003

Transcription

1 Grphicl Clculus on Representtions of Quntum Lie Algebrs rxiv:mth/ v1 [mth.qa] 10 Oct 2003 By Dongseok KIM B. S. (Kyungpook Ntionl University, Kore) 1990 M. S. (Kyungpook Ntionl University, Kore) 1992 M. A. (University of Texs t Austin) 1998 DISSERTATION Submitted in prtil stisfction of the requirements for the degree of DOCTOR OF PHILOSOPHY in MATHEMATICS UNIVERSITY OF CALIFORNIA DAVIS Mrch 2003 i

2 Contents 1 Introduction Preliminries Single Clsp Expnsions for Rnk 2 Lie Algebrs Introduction Single Clsp Expnsion for U q (sl(2, C)) Jones-Wenzl Projector for U q (sl(2, C)) Applictions of Single Clsp Expnsions for U q (sl(2, C)) Single Clsp Expnsion for U q (sl(3, C)) Single Clsp Expnsions of Clsp of Weight (n, 0) nd (0, n) Single Clsp Expnsions of Non-segregted Clsp of Weight (, b) Double Clsp Expnsion of Segregted Clsp of Weight (, b) Single Clsp Expnsion for U q (sp(4)) Trihedron Coefficients for U q (sl(3, C)) Generl Shpes Proofs of Theorems Two Zeros Proof of Theorem Proof of Theorem ii

3 4 A Complete Set of Reltions of U q (sl(4, C)) 52 iii

4 ACKNOWLEDGEMENTS I would like to thnk my dviser, Greg Kuperberg. He hs been exceptionlly ptient to show me how to look Mthemtics in mny different prospects. He hs shred mny ides with me, s well s guided me to the subject of representtion theory. None of these could be done without his supervision. I would like to thnk Professors Dimtry Fuchs, Joel Hss, Albert Schwrtz nd Willim Thurston for teching me. I would like to thnk Professor Khovnov for tking time to tech me mny things tht I should know nd helping me to untie some of my reserch. I would like to thnk my friends in the mth deprtment for helping me get through the period of exhustive study. I would like to thnk my fmily. They hve lwys supported my eduction. I especilly thnk my wife Youngmi, for stnding through our sty in Unites Sttes. I cn not forget my prent who hs been incredibly supportive for ll. My children, Richrd nd Hnnh hve been the biggest motivtion for me to sty in focus. iv

5 Abstrct The min theme of this thesis is the representtion theory of quntum Lie lgebrs. We develop grphicl clcultion methods. Jones-Wenzl projectors for U q (sl(2, C)) re very powerful tools to find not only invrints of links but lso invrints of 3- mnifolds. We find single clsp expnsions of generlized Jones-Wenzl projectors for simple Lie lgebrs of rnk 2. Trihedron coefficients of the representtion theory for U q (sl(2, C)) hs significnt mening nd it is clled 3j symbols. Using single clsp expnsions for U q (sl(3, C)), we find some trihedron coefficients of the representtion theory of U q (sl(3, C)). We study representtion theory for U q (sl(4, C)). We conjecture complete set of reltions for U q (sl(4, C)). v

6 CHAPTER 1. Introduction 1 Chpter 1 Introduction There hs been big progress in the theory bridging Lie lgebrs nd low-dimensionl topology. These developments re bsed on quntum groups, brided ctegories nd new invrints of knots, links nd 3-mnifolds. After the discovery of the Jones polynomil [Jon85] [Jon87], Reshetikhin nd Turev [RT90] [RT91] showed tht brided ctegories derived from quntum groups provide nturl generliztion of the Jones polynomil. One of the developments is tht ctegory of tngles with skein reltions leds to brided ctegory. If we decorte ech component of tngle by module over simple Lie lgebr, the ctegory becomes ribbon ctegory. Then we cn get n invrint of links, nd sometimes 3-mnifolds, from functor constructed in [Tur94]. To develop this theory further, we would like to generlize the Jones-Wenzl projectors in the Temperley-Lieb lgebr to the quntiztion of other simple Lie lgebrs. The n-th Temperley-Lieb lgebr is relized s the lgebr of intertwining opertors of the U q (sl(2, C))-module V n 1, where V 1 is the two-dimensionl irreducible representtion of U q (sl(2, C)). For ech n, the lgebr T n hs n idempotent f n such tht f n x = xf n = ǫ(x)f n for ll x T n nd f n f n = f n, where ǫ is n ugmenttion. These idempotents were first discovered by V. Jones [Jon83] nd H. Wenzl [Wen87], nd

7 CHAPTER 1. Introduction 2 they found recursive formul: f n = f n 1 + [n 1] f n 1 e n 1 f n 1. [n] So they re nmed Jones-Wenzl idempotents(projectors). Kuperberg [Kup96] defines generliztion of the Temperley-Lieb ctegory to the three rnk two Lie lgebrs sl(3, C), sp(4) nd G 2. These generliztions re clled combintoril rnk two spiders. Also he hs proved tht Jones-Wenzl projectors exist for simple Lie lgebrs of rnk 2 nd he clled them clsps. We will study how they cn be expnded inductively in Chpter 2. The skein module theory llows not only links but lso grphs. The invrints of the two simplest nontrivil trivlent grphs, the trihedron nd tetrhedron, hve significnt mening nd they re clled 3j nd 6j symbols. So we cn nturlly sk how to compute trihedron coefficients for U q (sl(3, C)) s suggested in [Kup96]. In Chpter 3, we will pply our clsp expnsions to find some trihedron coefficients for U q (sl(3, C)). Kuperberg s generliztion of the Temperley-Lieb lgebr is set of genertors nd reltions for ech rnk 2 Lie lgebr [Kup96]. The genertors re esy to find, but to get complete set of reltions is chllenging problem. In Chpter 4, we follow Kuperberg s method to find some reltions. We conjecture complete set of reltions of U q (sl(4, C)). 1.1 Preliminries For simple terms, we refer to [Hum72] [Ks95] nd [CKT97]. Quntum integers re defined s

8 CHAPTER 1. Introduction 3 [n] = qn/2 q n/2 q 1/2 q 1/2 [0] = 1 [n]! = [n][n 1]...[2][1] n [n]! = k [k]![n k]! Let sl(n, C) be the Lie lgebr of complex n n-mtrices with trce zero. Let E i,j be the elementry mtrix whose entries re ll zero except 1 in the (i, j)-th entry. Let E i = E i,i+1, F i = E i+1,i nd H i = E i,i E i+1,i+1 where 1 i n 1, then they generte sl(n, C) with reltions: [H i, H j ] = 0 for i, j = 1, 2,..., n 1 [H i, E j ] = α j (H i )E j for 1 i, j n 1 [H i, F j ] = α j (H i )F j for 1 i, j n 1 [E i, F j ] = δ ij H i for 1 i, j n 1 [E i, E j ] = 0 if i j 2 [F i, F j ] = 0 if i j 2 [E i, [E i, E j ]] = 0 if i j = 1 [F i, [F i, F j ]] = 0 if i j = 1 where α i is liner form defined by 2, if i = j α j (H i ) = 1, if i j = 1 0, Otherwise

9 CHAPTER 1. Introduction 4 The quntum group U q (sl(n, C)) is n ssocitive lgebr over C(q) with genertors, E i, F i, K ± i with 1 i n 1, nd reltions: K i K 1 i = 1 = K 1 i K i for i = 1, 2,..., n 1 K i E j = q α j(h i ) E j K i for i, j = 1, 2,..., n 1 K i F j = q α j(h i ) F j K i for i, j = 1, 2,..., n 1 K i Ki 1 [E i, F j ] = δ ij for i, j = 1, 2,..., n 1 q q 1 [E i, E j ] = 0 if i j 2 [F i, F j ] = 0 if i j 2 E 2 i E j (q + q 1 )E i E j E i + E j E 2 i = 0 if i j = 1 F 2 i F j (q + q 1 )F i F j F i + F j F 2 i = 0 if i j = 1 Let h be the Lie sublgebr of sl(n, C) generted by H i nd let Λ h be the integrl lttice of liner forms on H i where n 1 i 1. Let λ Λ, ǫ = (ǫ 1,...,ǫ n 1 ), then there is unique universl highest weight module, Verm Module, with highest weight (λ, ǫ). M(λ, ǫ) hs unique simple quotient L(λ, ǫ) which is highest module with highest weight (λ, ǫ). Then L(λ, ǫ) is finite dimensionl if nd only if λ is dominnt weight. One cn see tht s U q (sl(n, C)) module L(λ, ǫ) = L(λ, 0) L(0, ǫ). So we cn study L(λ, 0) which is denoted by L(λ). Then there is theorem which connects studies of U q (sl(n, C)) modules nd sl(n, C) modules. Theorem 1.1 [CKT97] i) Any finite dimensionl simple U q (sl(n, C)) module is of the form L(λ, ǫ) where λ is dominnt weight nd ǫ (Z/2Z) n 1.

10 CHAPTER 1. Introduction 5 ii) The chrcter ch(l(λ)) is given by the sme formul s the chrcter of simple sl(n) module prmeterized by the sme highest weight. iii) The multiplicity of simple module L(ν) in the decomposition of the tensor product L(λ) L(µ) of two simple modules is the sme s for the decomposition of the corresponding sl(n, C) module.

11 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 6 Chpter 2 Single Clsp Expnsions for Rnk 2 Lie Algebrs 2.1 Introduction Let T n be the n-th Temperley-Lieb lgebr with genertors, 1, e 1, e 2,...,e n 1, nd reltions: e 2 i = (q q 1 2 )ei e i e j = e j e i if i j 2 e i = e i e i±1 e i For ech n, the lgebr T n hs n idempotent f n such tht f n x = xf n = ǫ(x)f n for ll x T n, where ǫ is n ugmenttion. These idempotents were first discovered by V. Jones [Jon83] nd H. Wenzl [Wen87]. They found recursive formul: f n = f n 1 + [n 1] f n 1 e n 1 f n 1 [n] s in the following figure where we use red box to represent f n :

12 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 7 n n = n 1 n 1 + [n 1] [n] n 1 n 2 n 1 (2.1) So they re nmed Jones-Wenzl idempotents(projectors). We will recll n lgebric definition of Jones-Wenzl projectors in section 1. We refer to [Kup96] for definitions, nottion nd simple clcultions. We provide single clsp expnsions of generlized Jones-Wenzl projectors for U q (sl(3, C)) in section 2. In section 3 we study single clsp expnsions of generlized Jones-Wenzl projectors for U q (sp(4)). 2.2 Single Clsp Expnsion for U q (sl(2, C)) First we recll nother definition of Jones-Wenzl projectors nd single clsp expnsions for U q (sl(2, C)). Then we use it to find trihedrl coefficients for U q (sl(2, C)) Jones-Wenzl Projector for U q (sl(2, C)) Let us give precise definition [Kho97] of clsp for U(sl(2, C)). Let V i be n irreducible representtion of highest weight i. Then i n : V n V1 n is defined by 1 i n (v m ) = n q s v s 1... v sn n m 2 nd π n : V n 1 V n is defined by s, s =m π n (v s 1 v s 2... v sn ) = q s + v s where s = (s 1, s 2,...,s n ), s i = ±1, s = s i nd s + = i<j {s i > s j }, s = i>j {s i > s j } nd { > b} = 1 if > b, nd 0 otherwise.

13 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 8 Then the composition i n π n is clled Jones-Wenzl projector, denoted by p n. It hs the following properties 1) it is n idempotent 2) p n e i = 0 = e i p n where e i is U-turn from the i-th to the i + 1-th string s in the following figures. n n k n = n n, n = 0 n k 2 We cn generlize the second property s follows: if we ttch web with cut pth with less weight, then it is zero. Then we cn xiomtize these two properties to define generlized Jones-Wenzl projectors for ny simple Lie lgebr. Kuperberg [Kup96] proved tht Jones-Wenzl projectors exist for simple Lie lgebr of rnk 2 nd he clled clsps (sometimes they re clled mgic weving elements or boxes). Here, we will cll them clsps. For U q (sl(2, C)), it is known tht we cn inductively expnd it s in eqution 2.1. For dvnced clcultions, the single clsp expnsion in eqution 2.2 is very useful nd hs been used in [Kho97] for some beutiful results. By symmetry, there re four different positions for the single clsp expnsion depending on where the clsp of weight n 1 is locted. For eqution 2.2, the clsp is locted t the southwest corner, which will be considered the stndrd expnsion, otherwise, we will stte the loction of the clsp. n i 1 n = i i=1 n n 1 Proposition 2.1 The coefficients in eqution 2.2 re (2.2) i = [n + 1 i]. [n] Proof: By ttching U turn t consecutive strings to the top, we hve the following n 1 equtions.

14 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 9 For i = 1, 2,..., n 2, n 1 [2] n = 0. i [2] i+1 + i+2 = 0. One cn see tht these equtions re independent. By ttching the clsp of weight n to the bottom of every web in eqution 2.2, we get 1 = 1 by the properties of clsp. This process is clled normliztion. Then we check the nswer in the proposition stisfies these equtions. Since these webs in eqution 2.2 form bsis, these coefficients re unique Applictions of Single Clsp Expnsions for U q (sl(2, C)) We cn esily prove the following propositions using the single clsp expnsion of U q (sl(2, C)). Let + b = c + d nd b = min{, b, c, d}. b b = k b k c k d b b k (2.3) c d k=0 k Proposition 2.2 The coefficients in eqution 2.3 re c d k = [c]![b]![ + b k]! [c k]![b k]![k]![ + b]!. Proof: We induct on + b. If + b = 1, it is cler. Without loss of generlity, we ssume tht b. Denote the digrm corresponding to the coefficient k in the right hnd side of eqution 2.3 by D(k). By pplying single clsp expnsion for

15 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 10 the clsp of weight + b, then single clsp expnsion of the clsp locted t the northest corner, we get b b c b d = b 1 c d 1 [][c] [ + b][ + b 1] 1 c 1 b 1 d 1 c By induction, the right side equls d c d b 1 k=0 + [c]![b 1]![ + b 1 k]! [c k]![b 1 k]![k]![ + b 1]! D(k) [][c] [ + b][ + b 1] b 1 k=0 [c 1]![b 1]![ + b 2 k]! D(k + 1) [c 1 k]![b 1 k]![k]![ + b 2]! b 1 [c]![b 1]![ + b 1 k]! = D(0) + ( [c k]![b 1 k]![k]![ + b 1]! k=1 [][c] [c 1]![b 1]![ + b 2 (k 1)]! + [ + b][ + b 1] [c 1 (k 1)]![b 1 (k 1)]![k 1]![ + b 2]! )D(k) [][c] [c 1]![b 1]![ + b 2 (b 1)]! + [ + b][ + b 1] [c 1 (b 1)]![b 1 (b 1)]![b 1]![ + b 2]! D(b) = D(0) + + b 1 k=1 [c]![b]![ + b k]! [c k]![b k]![k]![ + b]! k][ + b] + [k][] ([b )D(k) [b][ + b k] [c]![b]![]! b [c b]![0]![b]![ + b]! D(b) = [c]![b 1]![ + b k]! [c k]![b k]![k]![ + b]! D(k). k=0 We use well-known identity for quntum integers, [m + r][n + r] = [m][n] + [m + n + r][r] in the 6-th line of the bove eqution with n =, m = k nd r = + b. Next we look t the trihedron coefficient(or 3j symbol) [Lic72] [MV94] [Tur94].

16 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 11 Proposition 2.3 The trihedron coefficient is i j j k = ( 1) i+j+k[i + j + k + 1]![i]![j]![k]!. [i + j]![j + k]![i + k]! Proof: The ide of the proof is identicl to the previous proposition. We induct on i + j + k. If i + j + k = 1, it is just circle, so its vlue is [2] = ( 1) 1[2]![1]![0]![0]!. [1]![1]![0]! We pply single clsp expnsion for the clsp of weight i + k, then nother single clsp expnsion, for which the clsp is locted t the northest corner. By induction, we hve [j + k + 1] = ( 1) i+j+k 1 [i + j + k]![i]![j]![k 1]! [j + k] [i + j]![i + k 1]![j + k 1]! [i][i] + j + k]![i 1]![j + 1]![k 1]! + ( 1)i+j+k 1[i [i + k][i + k 1] [i + j]![i + k 2]![j + k]! = ( 1) i+j+k[i + j + k + 1]![i]![j]![k]! [i + k][j + k] ( [i + j]![i + k]![j + k]! [i + j + k + 1][k] [i][j + 1] [i + j + k + 1][k] ) = ( 1) i+j+k[i + j + k + 1]![i]![j]![k]! [i + j]![i + k]![j + k]! 2.3 Single Clsp Expnsion for U q (sl(3, C)) A complete set of reltions for skein theory of U q (sl(3, C)) s given in equtions ws found in [Kup96]. There is reltion for every elliptic fce, fce with less thn 6 edges. We cll the reltion 2.6 rectngulr reltion nd the first(second) shpe

17 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 12 in the right side of the equlity is clled horizontl(verticl, respectively) splitting. For severl resons, such s positivity nd integrlity, we use [2] in reltion 2.5 but one cn use quntum integer [2] nd get n independent result. If one uses [2], one cn rewrite ll results in here by multiplying ech trivlent vertex by the complex number i. = [3] (2.4) = [2] (2.5) = + (2.6) A clsp for U q (sl(3, C)) cn be defined xiomticlly: 1) it is n idempotent nd 2) if we ttch U turn or Y, it becomes zero. An explicit definition of clsps for U q (sl(3, C)) cn be found in [Kup96]. First we look t single clsp expnsion of the clsp of weight (, 0) where the weight (, b) stnds for λ 1 +bλ 2 nd λ i is fundmentl dominnt weight of sl(3, C). Ech directed edge represents V λi, the fundmentl representtion of the highest weight λ i. We might use the nottion +, for V λ1, V λ2 but it should be cler. We recll the usul prtil ordering of the weight lttice of lttice of sl(3, C) s λ 1 + bλ 2 ( + 1)λ 1 + (b 2)λ 2 λ 1 + bλ 2 ( 2)λ 1 + (b + 1)λ 2. A cut pth is pth which is trnsverse to strings of web, nd the weight of cut pss is (, b) if it psses strings decorted by V λ1 nd b strings decorted by V λ1.

18 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs Single Clsp Expnsions of Clsp of Weight (n, 0) nd (0, n) A bsis for the single clsp expnsion is given in eqution 2.7. If we ttch Y on the top of webs in the eqution 2.7, there is t lest one elliptic fce on which we cn pply our reltions. This process gives us exctly the sme equtions we got for U q (sl(2, C)). Thus, we cn esily estblish proposition 2.4. Moreover, this single clsp expnsion holds for ny U q (sl(n, C)) where n 4 becuse U q (sl(3, C)) is nturlly embedded in U q (sl(n, C)). Lter we will mention the importnce of this fct. As sme s for U q (sl(2, C)), there re four different positions for the single clsp expnsions for U q (sl(3, C)) so we use the sme convention we used for single clsp expnsion for U q (sl(2, C)). i n n = i i=1 n n 1 Proposition 2.4 The coefficients in eqution 2.7 re 1 (2.7) i = [n + 1 i]. [n] Also, we cn esily find single clsp expnsion of the clsp of weight (0, b) by reversing rrows Single Clsp Expnsions of Non-segregted Clsp of Weight (, b) The most interesting cse is single clsp expnsion of the clsp of weight (, b). First of ll, we find the dimension of Inv(V +1 λ 1 V b λ 2 V (b 1)λ1 +λ 2 ) in lemm 2.5.

19 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 14 Lemm 2.5 dim(inv(v +1 λ 1 V b λ 2 V (b 1)λ1 +λ 2 )) = if b = 0 ( + 1)b if b > 0 Proof: For b = 0, the result follows from proposition 2.4. We induct on b to show the multiplicity of V λ1 +(b 1)λ 2, V (+1)λ1 +bλ 2 nd V ( 1)λ1 +(b+1)λ 2 in the decomposition of V1,0 +1 V0,1 b into irreducible representtions re (+1)b, 1 nd respectively. By simple ppliction of Schur s Lemm, we find tht the dimension of Inv(V +1 λ 1 V b λ 2 V (b 1)λ1 +λ 2 ) is equl to the multiplicity of V λ1 +(b 1)λ 2 in the decomposition of V +1 λ 1 V b λ 2 into irreducible representtions. Lemm 2.5 work for ny A n where n 2 by replcing λ 2 by λ n. Moreover the single clsp expnsion of the clsp of weight λ 1 + bλ n s in eqution 2.7 is lso true for ny U q (sl(n, C)) where n 3. We need set of bsis webs with nice rectngulr order, but we cn not find one in the generl cse. Even if one find bsis, they hve mny hexgonl fces which mke it very difficult to get numericl reltions. So we strt from n lterntive, non-segregted clsp. A non-segregted clsp is obtined from the segregted clsp by ttching sequence of H s until we get the desired shpe of edge orienttions. Fortuntely, there is cnonicl wy to find by putting H from the leftmost string of weight λ 2 or until it rech to the desired position. In the following lemm, we will show the non-segregted clsp is well defined. The following figure is n exmple of non-segregted clsp of weight (2, 3) nd how to obtin it from segregted clsp of weight (2, 3).

20 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs = Lemm 2.6 Non-segregted clsps re well-defined. Proof: Let α be sequence of H s which induce the sme non-segregted clsp. We find the first string from the leftmost of sign which does move to right. If there is no such string, then the clsp is cnonicl. Otherwise, there exist two consecutive H s which cn be removed by the horizontl splitting becuse it hd to rech the desired position. We induct on the length of the sequence nd it completes the proof. We lso find tht non-segregted clsps stisfy two properties of segregted clsps. Lemm 2.7 1) Two consecutive non-segregted clsps is equl to non-segregted clsp. 2) If we ttch web to non-segregted clsp nd if it hs cut pth of which weight is less thn the weight of the clsp, then it is zero. Proof: Since there is two consecutive non-segregted clsps, we see tht the bottom end of the upper non-segregted clsp nd the top end of the lower non-segregted clsp re the sme non-segregted. Since non-segregted clsp does not depend on the choice of order of ttching H s, we fix the cnonicl one for the both side then we n see tht one is the other s inverse, the inverse is just the horizontl reflection. Therefore, ll the H s in the middle cncel out nd stndrd clsps re idempotents. The second prt is obvious becuse dding H s does not chnge the weight of the miniml pth so we cn chnge to segregted clsp by dding more H s. Then the clsp becomes zero.

21 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 16 The following eqution 2.8 is single clsp expnsion of non-segregted clsp of weight (, b). Let us denote the web corresponding to the coefficient i,j by D i,j. These webs form bsis becuse there re no pplicble reltions. b i 1 j = b i=1 j=0 ij (1) (2) i 1 j (2.8) Kuperberg [Kup96] showed tht for fixed boundry, interior cn be filled by cut out from the hexgonl tiling of the plne with the given boundry. For our cses, there re two possible fillings but we use the mximl cut out of the hexgonl tiling. We drw exmples of the cse i = 6, j = 5 nd the first one in eqution 2.9 is not mximl cut out nd the second one is the mximl cut out which fits to the left rectngle nd the lst one is the mximl cut out which fits to the right rectngle s the number indictes in eqution 2.8.,, (2.9) (1) (2) Theorem 2.8 The coefficients in eqution 2.8 re i,j = [b i + 1] [b] [b + j + 1] [ + b + 1]. Proof: As usul, we ttch Y or U turn to find one exceptionl nd three types of equtions s follow.

22 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 17 Type I : For j = 0, 1,...,, [3] 1,0 [2] 1,1 [2] 2,0 + 2,1 = 0. b 1,j [2] b,j = 0. Type II : For i = 1, 2,...,b 2 nd j = 0, 1,...,. i,j [2] i+1,j + i+2,j = 0. Type III : For i = 1, 2,..., b nd j = 0, 1,..., 2. i,j [2] i,j+1 + i,j+2 = 0. We estblish the following lemm 2.9 first. Lemm 2.9 Let 1,0 = x, then the coefficients in the eqution 2.8 is i,j = [b i + 1] [b] [b + j + 1] x. [b + 1] Proof: First we cn see tht the right side of eqution 2.8 is bsis for single clsp expnsion becuse its number of the webs is equl to the dimension s in lemm 2.5 nd none of these webs hs ny fces. Second we find tht these equtions hs t lest ( + 1)b independent equtions. Then we plug in these coefficients to equtions to check tht they re the right coefficients. Usully we normlize one bsis web in the expnsion to get known vlue. But we cn not normlize for this expnsion yet becuse it is not segregted clsp. Thus we use lemm 2.12 to find tht the coefficient of 1, is 1. Then, we get x = [b+1] [+b+1] nd it completes the proof of the theorem.

23 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs Double Clsp Expnsion of Segregted Clsp of Weight (, b) Now we study single nd double clsps expnsion of segregted clsp of weight (, b). We will strt with n exmple, single clsp expnsion of clsp of weight (2, 2). To pply theorem 2.8, we dd some H s to chnge the segregted clsp to non-segregted clsp. = Then we expnd the clsp. In the following eqution 2.10, we will omit the direction of edges unless there is n mbiguity. [3] [5] + [4] [5] + [5] [5] + [1][2] [3][5] + [1][2] [4][5] + [1][2] [5][5] (2.10) These webs cn be expnded using reltions. For exmple, the first one cn be expnded by eqution 2.6 s = [2] For some smll cses, we cn expnd this wy but it will be difficult to mnge ll possible expnsions. An other wy to look t this expnsion is to use pths : since

24 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 19 there re five points on the top nd three points right bove the clsp nd these three points hve to be connected to points on the top (otherwise, we hve cut pth with weight less thn (2, 1) which mkes the web zero), we hve two Y s or one U turn. We first find ll possible disjoint, monotone(except t Y s) pths connecting these points. For the web on bove exmple, there re eight possibilities s follows.,,,,,, (2.11) If we exmine them to determine whether it will ppered in the ctul expnsion, the first two in the second row pper but the rest of them do not. One cn see tht U turn cn pper only once t the very top.

25 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 20 = [3] [5] [2] [2] + [4] [5] [2] [5] [5] + + [1][2] [3][5] [1][2] [4][5] [1][2] [5][5] + (2.12) Thus, we get single clsp expnsion of clsp of weight (2, 2) s follows.

26 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 21 = + [1] [2] [1] [2][5] [2] [5] [1] [5] [1] [5] (2.13) By ttching (2, 1) clsps on the left top of every web in the right side of eqution 2.13, we get the following double clps expnsion of the clsp of weight (2, 2). = + [1] [2] [1] [5] (2.14) Unfortuntely, there is no prticulr order we cn put for these bsis webs for single clsp expnsions. But for the double clsp expnsion, we cn generlize the euqtion 2.14 s follow. In eqution 2.15, the green box between two clsps is the unique cut out from the hexgonl tiling with the given boundry s we hve seen in Figure 2.9. For eqution 2.15 we ssume tht b 1. b b 1 b b 1 1 = + α b 2 + β 1 (2.15) b b 1 b b 1 1 Theorem 2.10 The coefficients in eqution 2.15 re α = [b 1], β =. We [b] [b][+b+1] ssume tht [0] = 0 for α. []

27 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 22 Proof: It follows from lemm 2.11 nd lemm 2.12 tht α = 2, nd β = 2, 1 [2] 1, 1 + 1,. To prove two key lemms, we generlize the ide of pths in the first exmple. First, we ttch H s s in figure 2.16 to ll bsis webs in eqution 2.8 ech of bsis web is denoted by D ij. After ttching H s s in figure 2.16, the resulting web is denoted by D ij. b (2.16) D ij As we hve seen in the exmple, Di,j is not bsis web becuse it contins some elliptic fces. If we decompose ech D i,j into liner combintion of some webs which hve no elliptic fces, then the union of ll these resulting webs ctully forms bsis. Let us prove tht these webs ctully form bsis which will be denoted by D i,j. As vector spces, this chnge, dding H s, induces n isomorphism between two web spces. Its mtrix representtion with respect to these web bses {D i,j } nd {D i,j } is n ( + 1)b ( + 1)b mtrix whose entries re 0, 1 or [2]. In generl, we will not be ble to write this mtrix becuse there re mny nonzero entries in every columns nd rows. But we know tht the determinnt of this mtrix is ±[2] b becuse ech one H contributes ±[2] depending on the directions. Since D i,j is not bsis web, to find single clsp expnsion, we might hve to use reltions to find its liner expnsion into new web bsis D i,j. In generl this might not be done. If we just limit ourself to double clsp expnsion, We could use the

28 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 23 ide of pths s we demonstrted in the exmple. Let us formlly define it, stem of web. Geometriclly it is trnsversl to cut pths. From D i,j, we see tht there re +b+1 points on top but only +b 1 lines right bove the clsp. Becuse of one of properties of the clsp of weight (, b 1): if we hve cut pth of weight which is less thn (, b 1), then the web becomes zero, we must hve +b 1 verticl lines which connect top + b + 1 nodes to the clsp of weight (, b 1) for non-vnishing webs fter pplying reltions. It is cler tht these connecting lines should be mutully disjoint, otherwise, we will hve cut pth with weight less thn (, b 1). A stem of web is disjoint union of lines s we described. Unfortuntely some of stems do not rise ll cses becuse it my not be obtined by removing elliptic fces. If stem ppers, we cll it n dmissible stem. For single clsp expnsion, finding ll these stems will be more difficult thn n expnsion by reltions but for the double clsp expnsion of segregted clsps, there re only few possible dmissible stems whose coefficient is nonzero. Lemm 2.11 After ttching clsp of weight (, b 1) to top of webs D i,j from eqution 2.16, the only 3 non-vnishing shpes re those in Figure 2.17.,, (2.17) Proof: From D i,j we see tht there re +b+1 lines on top nd +b 1 lines right bove the clsp. If we repetedly use the rectngulr reltion s in eqution 2.6, we cn push up the Y s so tht there re either two Y s or one U shpe t the top. It

29 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 24 is possible to hve two djcent Y s which pper in the second nd third figures in Figure 2.17 but U turn cn pper in only two plces becuse of the orienttion of edges. If we ttch the (, b 1) clsp to the top of the resulting web from the left nd U or Y shpe pper just below it, the web becomes zero. Therefore only these three webs do not vnish. For the next lemm, we will find ll Di,j s which cn be trnsformed to ech of the figures in Figure Lemm 2.12 Only D 1, ( D 2, ) cn be trnsformed to the first(second, respectively) shpe in Figure Only the three webs, D 1, 1, D 1, nd D 2, 1 cn be trnsformed to the lst shpe. Moreover, ll of these trnsformtions use only rectngulr reltions s in eqution 2.6 except for the trnsformtion from D 1, 1 to the third figure uses one loop reltion in eqution 2.5. Proof: (2.18) For the first shpe in figure 2.17, it is esy to see tht we need to look t D i,, for i = 1, 2,...,b, otherwise the lst two strings cn not be chnged to the shpe with U turn s shown in figure 2.18.

30 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 25 (2.19) Now we look t the D i, where i > 1 s in figure Since we picked where the U turn ppers lredy, one cn find cndidte for stem s thick nd shded (green in color) line from the right hnd side but we cn not finish becuse the purple string cn not be join to the bottom clsp without being zero(it will force to hve genertor cps off). So only nonzero dmissible stems should be obtined from D 1,. We split the rectngle(only one in the middle) verticlly(horizontl splitting vnishes immeditely) nd it cretes nother rectngle t right top side of previous plce. We hve to split verticlly except in the lst step, for this rectngle, s in the figure 2.20, both splits do not vnish. The verticl split gives us the first shpe figure 2.17 nd the horizontl split gives the third shpe in figure (2.20) A similr rgument works for the second one in figure The third figure

31 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 26 in 2.17 is little subtle. First one cn see tht none of the D i,j work if either i > 2 or j < 1. Thus, we only need to check D 1, 1, D 1,, D 2, 1 nd D 2, but we lredy know bout D 1,, D 2,. The following figure 2.21 shows the nonzero dmissible stem for D 1, 1. As usul, we drw stem s union of thick nd purple lines. (2.21) The following figure 2.22 shows the nonzero dmissible stem for D 2, 1. (2.22) Note tht the lst figure hs one loop which contributes [2]. This completes the proof of lemm.

32 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 27 Corollry 2.13 b 1 = [ + 3] [ + 1] b 1 = [b + 2][ + b + 3] [b + 1][ + b + 2] b b = [ + 2][ + 1] [2] b = [ + 1][b + 1][ + b + 2] [2] (2.23) Proof: After using double clsps expnsion one cn get the first two equlities with simple clcultion. The next two follow from the previous two by induction. We will pply theorem 2.8 to derive the coefficients in equtions 2.24 nd The expnsion in the proposition 2.24 is known [Kup96], which is only previously known expnsion formul for segregted clsp of weight (, b) nd it ws used to find quntum su(3) invrints in [OY]. Our proof using single clsp expnsion will be used for trihedron coefficients.

33 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 28 b b b = Min(,b) k=0 k b k k k Proposition 2.14 The coefficients in eqution 2.24 is b (2.24) k = ( 1) k []![b]![ + b k + 1]! [ k]![b k]![k]![ + b + 1]!. Proof: Let me denote tht bsis web in the right side of eqution 2.24 by D(k) which corresponding to the coefficient k. We induct on + b. It is cler for = 0 or b = 0. If 0 b then we use segregted single clsp expnsion of weight (, b) in the middle. Even if we do not use entire single clsp expnsion of segregted clsp, once we ttch (, 0), (0, b) clsps on the top, there is only two surviving web which re one with one U turn. One of resulting webs hs some H s s in Figure 2.25 but if we push them down to (, b 1) clsp, it becomes non-segregted clsp.

34 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 29 b b b = b 1 [] [+b+1] 1... b 1 b b b b b = b 1 [][+1] [+b+1][+b] 1 b 1 (2.25) b b We cn find the coefficient using the sme rgument using stems nd it is [2] 1, b +, b+1 + b [] ( i, b+i 2 [2] i, b+i 1 + i, b+i ) = [ + b + 1] i=2 becuse i, b+i 2 [2] i, b+i 1 + i, b+i = 0 for ll i = 2, 3,..., b. Then we ttch some H s to mke the middle clsp s non-segregted clsp of weight (, b 1). By using non-segregted single clsp expnsion for which clsps re locted t northest corner nd by the induction hypothesis, we hve

35 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 30 b 1 = ( 1) k []![b 1]![ + b k]! [ k]![b 1 k]![k]![ + b]! D(k) k=0 [ + 1][] [ + b + 1][ + b] b 1 ( 1) k [ 1]![b 1]![ + b 1 k]! D(k + 1) [ 1 k]![b 1 k]![k]![ + b ]! k=0 b 1 = 1 D(0) + (( 1) k []![b 1]![ + b k]! [ k]![b 1 k]![k]![ + b]! k=1 + ( 1) k [ + 1]![b 1]![ + b k]! [ k]![b 1 k]![k 1]![ + b]! )D(k) ( 1) b 1 [ + 1][] [ 1]![b 1]![]! [ + b + 1][ + b] [ b]![0]![b 1]![ + b 1]! D(b) b 1 = D(0) + ( 1) k []![b]![ + b + 1 k]! k][ + b + 1] + [k][ + 1] ([b )D(k) [ k]![b k]![k]![ + b + 1]! [b][ + b + 1 k] k=1 + ( 1) b []![b 1]![ + 1]! [ b]![0]![b 1]![ + b + 1]! D(b) b = ( 1) k []![b]![ + b + 1 k]! [ k]![b k]![k]![ + b + 1]! D(k) k=0 For eqution 2.26, we ssume 0 b. b b k b = b A(, b, k) k=0 k b (2.26) Proposition 2.15 The coefficients A(, b, k) in eqution 2.26 stisfies the following recurrence reltion.

36 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 31 A(1, 1, 1) = [2] [3], A(1, 1, 0) = 1, [2 k + 1] A(,, k) = (A( 1,, k) + A( 1,, k 1)), [2 + 1] [ i k] A(, + i, k) = A(, + i 1, k). [ i] Proof: Note tht we ssume tht A(, b, i) = A(, b, +i) = 0 for ll i > 0. Using non-segregted single clsp expnsion t the clsp of weight (, b), one stndrd nd one with clsp in the northest corner, we hve the result with two xioms of clsps. Remrk tht these coefficients re not round. 2.4 Single Clsp Expnsion for U q (sp(4)) It is known [Kup96] tht U q (sp(4)) webs re generted by single web with the reltions

37 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 32 = [6][2] [3] = [6][5] [3][2] = 0 = [2] 2 = 0 = (2.27) Also it is known [Kup96] tht we cn define tetrvlent vertex to chieve the sme end s in eqution First we will find single clsp expnsion of clsps of weight (n, 0) nd (0, n) nd then use it to find coefficients of double clsps expnsion of clsps of weight (n, 0) nd (0, n). Remrk tht the cut weight is defined slightly different wy. A cut pth my cut digonlly through tetrvlent vertex, nd its weight is defined s nλ 1 +(k +k )λ 2, where n is the number of type 1, single strnds, tht it cuts, k is the number of type 2, double strnds, tht it cuts, nd k is the number of tetrvlent vertices tht it bisects. And there is nturl prtil ordering of the B 2 weight lttice given by λ 1 + bλ 2 ( 2)λ 1 + (b + 1)λ 2 λ 1 + bλ 2 ( + 2)λ 1 + (b 2)λ 2. We will use the following shpes to find single clsp expnsion becuse there is n mbiguity of preferred direction in the lst reltion We remrk tht the let side of the second equlity of 2.28 is not crossing but vertex where four double

38 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 33 edges meet. = +, = (2.28) By combining with the weight digrm of V n λ 1 nd miniml cut pths, we cn find single clsp expnsion of U q (sp(4)) of type (n, 0) s in eqution 2.29 which hs n unknowns. n n = n 1 n i=0 j=i+1 ij j n 1 i (2.29) Since dding U turn nd Y mke the left side vnish, we will hve n(n 1) equtions. Theorem 2.16 The coefficients in Figure 2.29 re Proof: i,j = [2] i j+1[n + 1][n j + 1][2n 2i + 2]. [n][2n + 2][n i + 1] To proceed the proof of the theorem, we remrk tht the following useful reltions in eqution 2.30 cn be esily obtined from the reltion in eqution = [6][2] [3], = [2] 2 = [2] 2 [2][4] = [2] 2 + [2] 2 (2.30)

39 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 34 Using these reltions, we get the following n 1 equtions by dding U turns from the left to right. By cpping off the genertor from left to right, we hve (n 1) 2 equtions. There re two specil equtions nd four different shpes of eqution s follows. [2][6] [3] n 2,n 1 + [2][6] [3] 12 + [2][6] [3] Type I : For i = 1, 2,..., n 3, n 2,n [2][6] n 1,n = 0 [3] [2][6] b 2 [2][4]b 3 = 0 [3] i,i+1 + [2][6] [3] i,i+2 [2][4] i,i+3 [2][6] [3] Type II : For i = 0, 1,...,n 2, i+1,i+2 + [2][6] i+1,i+3 + i+2,i+3 = 0. [3] i,n 1 [2] 2 i,n = 0. Type III : For i = 0, 1, 2,..., n 3, k = 2, 3,..., n i 1, i,n k [2] 2 i,n k+1 + [2] 2 i,n k+2 = 0. Type IV : For i = 3, 4,..., n, k = n i + 3, n i + 4,...,n, [2] 2 n k,i [2] 2 n k+1,i + n k+2,i = 0. Then we check the nswer in the proposition stisfies the equtions. Since these webs in eqution 2.29 form bsis, the coefficients re unique. Therefore, it completes the proof.

40 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 35 n 1 n 1 n n 1 = + 12 n (2.31) n n 1 n 1 n 1 Corollry 2.17 The double clsp expnsion of B 2 of type (n, 0) cn be obtined s in the eqution 2.31 where 12, 02 re from the Theorem n j i n = n 1 n i=0 j=i+1 ij n 1 (2.32) Then we look for (0, n) cse. The min ide for (n, 0) works exctly sme except we replce the bse s in the eqution By cpping off U turns nd lower weight cp, we get the following coefficients nd we cn solve them successively s in Theorem Also the eqution 2.33 is useful to find the following equtions. = [5], = [2] 2 [5] = [2][4] [2] 2 [3] = [2][4] + [2] 4 [3] (2.33) n 2,n 1 [5][2] 2 n 2,n + [6][5] [3][2] n 1,n = 0 [3][2] 2 n 2,n + [5] n 1,n = 0

41 CHAPTER 2. Single Clsp Expnsions for Rnk 2 Lie Algebrs 36 Type I : For i = 0, 1,..., n 3, i,i+1 [5][2] 2 i,i+2 + [3][2] 4 i,i+3 + [6][5] [3][2] i+1,i+2 [5][2] 2 i+1,i+3 + i+2,i+3 = 0 Type II : For i = 0, 1,...,n 2, i,n 1 [4][2] i,n = 0 Type III : For i = 0, 1,..., n 3 nd j = i + 1, i + 2,..., n 2, i,j [4][2] i,j+1 + [2] 4 i,j+2 = 0 Type IV : For i = 0, 1,..., n 3 nd j = i + 3, i + 4,...,n, Type V : For i = 1, 2,..., n 2 Theorem 2.18 For n 2, [2] 4 i,j [4][2] i+1,j + i+2,j = 0 [3][2] 2 i 1,i+1 + [2] 4 i 1,i+2 + [5] i,i+1 [3][2] 2 i,i+2 = 0. i,j = [2] 2(1+i j)[2n + 1 2i][2n 2j + 2]. [2n][2n + 1] n 1 n 1 n n 1 = + 12 n (2.34) n n 1 n 1 n 1 Corollry 2.19 The double clsp expnsion of B 2 of type (0, n) cn be obtined s in the eqution 2.34 where 12, 02 re from the Theorem 2.18.

42 CHAPTER 3. Trihedron coefficients for U q (sl(3, C)) 37 Chpter 3 Trihedron Coefficients for U q (sl(3, C)) By [Lic72] [MV94] [Tur94], we define trivlent vertex s follow. A triple integers (, b, c) is dmissible if + b + c is even nd b c + b. This is equivlent to the following. For sl(2, C), dim(inv(v V b V c )) is 1 if (, b, c) is n dmissible triple or 0 otherwise, where V is n irreducible representtion of highest weight. Given n dmissible triple, we define trivlent vertex c b = j i k c b where i = ( + b c)/2, j = ( + c b)/2 nd (b + c )/2. Then the trihedron coefficient for U q (sl(2, C)) is known [Lic72] [MV94] [Tur94] s

43 CHAPTER 3. Trihedron coefficients for U q (sl(3, C)) 38 b c = i j j k = ( 1) i+j+k[i + j + k + 1]![i]![j]![k]!. [i + j]![j + k]![i + k]! In previous chpter we found recursive formul for generlized Jones-Wenzl projectors. So we study how we generlize trihedron coefficients to U q (sl(3, C)). But, the definition of the trivlent vertex is little subtle. We will prove the following sttement in lemm 3.3. Let λ 1, λ 2 be the fundmentl dominnt weights of sl(3, C) (minly we will use sl(3, C)-modules becuse it is known tht representtion theories of sl(3, C) nd U q (sl(3, C)) re prllel: see theorem 1.1 nd the representtion theory of sl(3, C) is well known in [Hum72]). Let V λ1 +bλ 2 be n irreducible representtion of sl(3, C) of highest weight λ 1 +bλ 2. Ech edge is decorted by n irreducible representtion of sl(3, C), denoted by V 1 λ 1 +b 1 λ 2, V 2 λ 1 +b 2 λ 2 nd V 3 λ 1 +b 3 λ 2 where i, b j re nonnegtive integers. Let d = Min { 1, 2, 3, b 1, b 2, b 3 }. Then dim(inv(v 1 λ 1 +b 1 λ 2 V 2 λ 1 +b 2 λ 2 V 3 λ 1 +b 3 λ 2 )) is d +1 if there exist non negtive integers i, j, k, l, m, n, o, p, q such tht 1 = i + p, 2 = j + n, 3 = k + l, b 1 = j + o, b 2 = k + m, b 3 = i + q nd 0 = le π 3 i +me π 6 i +n+ oe π 6 i +pe π 3 i q. Otherwise, it is zero. If dim(inv(v 1 λ 1 +b 1 λ 2 V 2 λ 1 +b 2 λ 2 V 3 λ 1 +b 3 λ 2 )) is nonzero, we sy triple of ordered pirs (( 1, b 1 ), ( 2, b 2 ), ( 3, b 3 )) is dmissible. It hs shown tht for fixed boundry, there re fillings which re cut outs from the the hexgonl tiling of the plne [Kup96]. A generl trihedron shpe is given in the following figure where α+β = 1, i+j+k = b 1, k +l = 2, β +j +m = b 2, i+m = 3 nd α+j +l = b 3. The top nd the bottom prt re ctully the sme fter some modifictions which we will discuss lter.

44 CHAPTER 3. Trihedron coefficients for U q (sl(3, C)) 39 α i j j β k l m (3.1) So we cn write trihedron coefficients s (d+1) (d+1) mtrix. Let us denote it by M Θ ( 1, b 1, 2, b 2, 3, b 3 ) or M Θ (λ) where λ = ( 1, b 1, 2, b 2, 3, b 3 ). Also we denotes its (i, j) entry by Θ i,j ( 1, b 1, 2, b 2, 3, b 3 ) or Θ i,j (λ). It is obvious tht M Θ (λ) is symmetric. Unfortuntely the trihedron coefficient of this shpe is no longer rtionl expression composed of monomils of quntum integers (if so, we sy it to be round) in simple cse ((1, 1), (1, 1), (1, 1)). So we strt to look the cse 1 = 0. Then we hve found the trihedron coefficients for the cse α = β = 0 nd either k = 0 or j = 0 from the generl shpe. Theorem 3.1 M Θ (0, i + j, l, j + m, i + m, j + l) is ( 1) j [i + j + m + 1]![i]![j]![m]! [j + l + 1][i + j + l + m + 2] [i + j]![j + m]![i + m]![2]. Theorem 3.2 M Θ (0, i + k, k + l, m, i + m, l) is min{l,k,m} n=0 n [i + l + 1][i + l + m + 2] [i + n + 1][i + n + m + 2] [i + k + m + 2]![k n + 1]![i + m]![m + 1]!. [i + k]![i + m + n]![k + m n + 1]![2]

45 CHAPTER 3. Trihedron coefficients for U q (sl(3, C)) 40 where n = ( 1) n [k] 2n[k + l n]![m]![k + m + l n + 1]!. [k + l]![m n]![k + m + l + 1]! In section 2, we show ll possible trihedron shpes nd some properties of trihedron shpes. In section 3, we prove the min theorems. 3.1 Generl Shpes Now we will look t the trihedron coefficients. The generl shpe is given in figure (3.1) where the weight of clsps re 1 λ 1 + b 1 λ 2, 2 λ 1 + b 2 λ 2 nd 3 λ 1 + b 3 λ 2 nd i, b j re nonnegtive integers. For sl(2, C), dim(inv(v i V j V k )) is 1 if (i, j, k) is n dmissible triple or 0 otherwise, where V i be n irreducible representtion of highest weight i. So there is unique wy to fill in the tringle. But for sl(3, C), we could hve more thn one wys. Thus the shpe of the polygon tht we re filling in might vry depending on the weight of clsps. First we will discuss how we find generl shpe in figure (3.1). Insted of finding cut out from the hexgonl tiling, we find wy to put three clsps into the hexgonl tiling. Since it bounds polygon nd we hve set of restrictions how clsps cn be bent, we cn chnge this problem to n elementry geometry problem. Since ll clsps re segregted, until we reverse the direction of rrows, ll possible interior ngles re 60, 180 or 300. Since n Y mkes the web zero, we cn exclude 60. We would not count 180 becuse it cn be seen s subdivision. Thus it hs to be 300 if we do not chnge the direction of rrows. When we chnge the direction of rrows, there re lso three possible interior ngle either 0, 120, 240 or 360, let us denote this ngle by α i. Since U turn mkes the web zero, we cn lso exclude 0. Let us denote the ngle between clsps by β i. If there is cut out bounded by three given clsps of which ll i, b j re nonzero, we cn see the following equlity

46 CHAPTER 3. Trihedron coefficients for U q (sl(3, C)) 41 from the sum of interior ngles (n 2) = 300(n 6) + α i + β i. And we cn simplify it to hve n = α i +β i. Since β i is either 120 or 240, n cn be either 6, 7 or 8. For ech n, we look t the ll possible combintions of α i, β j up to symmetries. Then we check whether it ctully bounds polygon. For exmple, n = 6 there re 6 possible combintions of ngles but one does not bound polygon, (α i ) = (0, 120, 240), (β i ) = (120, 120, 120). For n > 6, one hs to use n 6 times of 300 ngles. If some of i, b j re zero then we cn ply the sme gme to find ll shpes, we might hve 60 for some β j. The polygon in the middle might be tringle, rectngle or pentgon but we will consider them s specil cse of hexgon. But we cn obtin ll these possible shpes from the generl shpe by substituting some zeros. Then we prove the following lemm. Let d = Min { 1, 2, 3, b 1, b 2, b 3 }. Lemm 3.3 dim(inv(v 1 λ 1 +b 1 λ 2 V 2 λ 1 +b 2 λ 2 V 3 λ 1 +b 3 λ 2 )) is d + 1 if there exist non negtive integers i, j, k, l, m, n, o, p, q such tht 1 = i + p, 2 = j + n, 3 = k + l, b 1 = j + o, b 2 = k + m, b 3 = i + q nd 0 = le π 3 i +me π 6 i +n+ oe π 6 i +pe π 3 i q. Otherwise, it is zero. Proof: One might directly find the nswer by using the decomposition of the tensor product V 1 λ 1 +b 1 λ 2 V 2 λ 1 +b 2 λ 2 V 3 λ 1 +b 3 λ 2 into irreducible representtions. But one cn see tht these re conditions we cn esily obtin from the figure (3.1) nd the i lst one is one condition tht the hexgon in the middle does exist. Since the prllelogrm in figure (3.2) chnges the directions of edges (the interior is filled by the unique mximl hexgonl cut out), we cn push the hexgon to n equilterl tringle (possibly empty). The size of this equilterl tringle is the minimum of differences of lengths of three pirs of prllel edges of the hexgon.

47 CHAPTER 3. Trihedron coefficients for U q (sl(3, C)) 42, (3.2) But the resulting shpe hs mixed spects. First it might contin some nonsegregted clsps which did not exist before. When we pply single or double clsp expnsions to these non segregted clsps, it is possible to get one by trnsforming the bsis by dding H s but usully it becomes very difficult to del with. If we keep the hexgonl shpe, it usully produces multiple non-vnishing terms in single clsp expnsion. So we will use both shpes depend on the fesibility. 3.2 Proofs of Theorems Since M Θ (λ) is n 1 1 mtrix, we will write it s sclr through this section. For nontrivil plnr Θ shpes with d = 0, we could hve t most three zeros for i, b j. Before we prove the min theorems we strt with cses of two zeros Two Zeros If we hve two zeros, up to symmetries, it is either one of these subcses: 1) 1 = b 3 = 0, 2) 1 = 3 = 0. If 1 = b 3 = 0, there exists j such tht b 1 = 2 + j, 3 = b 2 + j nd its shpe is

48 CHAPTER 3. Trihedron coefficients for U q (sl(3, C)) 43 2 j b b (3.3) j By the sme ide of the proof of proposition 2.14, we cn esily get the following proposition 3.4. Let i = 2 nd k = b 2. Proposition 3.4 M Θ (0, i + j, i, k, j + k, 0) is [i + j + k + 2]![i + 1]![j]![k + 1]!. [i + j]![j + k]![i + k + 1]![2] Proof: Let us use the nottion [i, j, k] for the trihedron coefficient of this Θ shpe. We induct on k. If k = 0, [i, j, 0] = [i + j + 2][i + j + 1]. [2] For k 0, by the ide of the proof of proposition 2.14 nd the induction hypothesis, we hve [j + k + 2] [i + 1][i] [i, j, k] = [i.j, k 1] [i 1, j + 1, k 1] [j + k] [i + k + 1][i + k] [i + j + k + 2]![i + 1]![j]![k + 1]! [j + k + 2][i + k + 1] [j + 1][i] = ( ) [i + j]![i + k + 1]![j + k]! [i + j + k + 2][k + 1] [i + j + k + 2]![i + 1]![j]![k + 1]! = [i + j]![i + k + 1]![j + k]! becuse [j k + 1][i + k + 1] = [j + 1][i] + [i + j + k + 2][k + 1]. is If 1 = 3 = 0, there exists k such tht b 1 = b 2 + k, 2 = b 3 b 2 + k nd its shpe

49 CHAPTER 3. Trihedron coefficients for U q (sl(3, C)) 44 = (3.4) We need to prove sequence of lemms. First, we prove tht the clsp in the middle is not essentil. Lemm 3.5 Let n 1, then n n n n n n = n = n n (3.5) Proof: The ide of the proof is tht if we hve ny Y s in the single clsp expnsion t the middle clsp, it becomes zero. The rgument, we used to find the generl shpe, leds us tht there does not exist filling with boundry (0, n, 0, n, 1, n 2). Thus, it hs to vnish once we hve ny Y s. Form the third figure in eqution (3.5), we pply single clsp expnsion to the clsp in the left. For the following eqution, it should be cler without the direction of edges.

50 CHAPTER 3. Trihedron coefficients for U q (sl(3, C)) 45 Lemm 3.6 Let n 1, then n n = ( 1) n [n + 1] n (3.6) Proof: We induct on n. If n = 1, the coefficient is [2] = ( 1) 1 [2]. We pply single clsp expnsion t the left clsp which gives us the first equlity in the following eqution (3.8). n 1 = n 1 + [n 1] [n] n 2 (3.7) = n [n 1] [n] n [n 2] [n] n 2 2 n 2 = α n β [n 1] [n] n [n 2] [n]

51 CHAPTER 3. Trihedron coefficients for U q (sl(3, C)) 46 where α = ( 1) n 1 [n] nd β = ( 1) n 2 [n 1]. For the second equlity, we pply single clsp expnsion for the resulting clsp of weight (n 1)λ 2 for which clsps of weight (n 2)λ 2 re locted t the northest corner. It is not difficult to see the following equlity. The number of strings coming from the trpezoid cn be ny integer between 0 nd n where n is the weight of the clsp given the left side of equlity. =. Thus, we cn put clsp of weight (n 1)λ 2 ((n 2)λ 2, (n 2)λ 2 ) t the gp between n equilterl tringle nd trpezoid t the first (second nd third, respectively) figure in the second line of eqution (3.8). Therefore, we cn use induction to get the third equlity in eqution (3.8). Note tht the size of the third equilterl tringle in the third line is n 2. Lst step is to count how mny [2] s will be produced when we chnge it to multiple of the web in the right hnd side of eqution (3.6). But it is firly esy to see tht ech of them hs just one fctor of [2] in the first two in the third line. If we dd up the ll coefficients, we hve [2]( 1) n 1 [n] [2]( 1) n 2 [n 1][n 1] [n] + ( 1) n 2 [n 1][n 2] [n] = ( 1) n 1 [n] ([2][n]2 [2][n 1] 2 + [n 2][n 1]) = ( 1) n 1 [n] [n + 1][n] = ( 1)n [n + 1] The lemm 3.6 cn be generlized to the following lemm.

52 CHAPTER 3. Trihedron coefficients for U q (sl(3, C)) 47 Lemm 3.7 i j j [i + j + 1] = ( 1) [i + 1] (3.8) Proof: We induct on i+j. If i = 1, j = 0, the coefficient is 1 = ( 1) 1 [2]. If i = 0, it [2] follows from the previous lemm. The first equlity cn be proven with single clsp expnsion t the left middle clsp in left figure. The second equlity cn be proven the sme rgument we use in lemm. The rest of proof follows by induction. Lemm 3.8 i j k j+1 [i + j + k + 1]![i]![j]![k]! = ( 1) [i + j]![j + k]![i + k + 1]! (3.9) Proof: We induct on k. If k = 0, it follows from the previous lemm. If k 0, we use single clsp expnsion t the left middle clsp. Then we get the following equlity.