The Gelfand-Tsetlin Realisation of Simple Modules and Monomial Bases

Transcription

1 arxiv:8.976v [math.rt] 3 Dec 8 The Gelfand-Tsetlin Realisation of Simple Modules and Monomial Bases Central European University Amadou Keita (keita amadou@student.ceu.edu December 8

2 Abstract The most famous simple Lie algebra is sl n (the n n matrices with trace equals. The representation theory for sl n has been one of the most important research areas for the past hundred years and within their the simple finite-dimensional modules have become very important. They are classified and Gelfand and Tsetlin actually gave an explicit construction of a basis for every simple module. We try to understand their work extend it by providing theorems and proofs and construct monomial bases of the simple module.

3 . Introduction Lie algebras are interesting because they form a central mathematical crossroad which relates to a host of important areas such as group theory number theory algebraic geometry differential geometry topology particle physics and strings. Therefore knowledge of Lie algebras is critical in making significant progress in many aspects of these related fields. In this project we work with finite-dimensional modules and hence finite-dimensional representation of sl n. This means for g sl n a matrix G of order dim R defined in such a way that g G and f F λg + µf λg + µf and [g f] [G F ]. We will work with partitions. We choose integers m m m n such that m m m n is satisfied. We see that these partitions are quite important because they appear to be the core in constructing representations. Also we can calculate the possible number of entries of the index set as N n(n. (.. Let e ij be a matrix of order dim R which has at the intersection of the i th row and the j th column and zeros in all other places. If i j then Also let E ij be the matrix of order i j n e ij e ii e i+i+. m i m j+ + i j + i j + dim R (.. which under our representation corresponds to elements e ij sl n. We see that each matrix forms a linear combination of e ij ; that is E ij ij a ij e ij for some a ij. Therefore the set E ij distinctly defines our representation. We can find all representations by explicitly describing all linear transformations E ij. The quest for irreducible representations of special linear algebra sl n can be reformulated simpler: we need matrices E ij of order dim R in Equation (.. satisfying the following bracket relations: [E ij E jl ] E il when i l [E ij E ji ] E ii E jj [E i j E i j ] when j i and i j.

4 Page 3 The system E ij is required to have no invariant subspaces (that is to be irreducible. The representation theory of sl n has a unique nature in choosing a partition. For the classification of simple finite dimensional modules we set the last choice m n in the partition. This controls differences between subsequent choices in a partition. With a given module we can set a parametrisation of the partition and then construct all bases vectors. If we construct all bases vectors we will know a highest basis vector. It is called the highest weight vector. If S {} is a submodule of R it has a highest weight vector. This is obvious for the fact that S is finite dimensional and so one of its bases vectors must be highest. Consequently the presence of a highest weight vector in the submodule S implies S is all of R. Hence we have Theorem In Chapter we provide the literature review. We discuss preliminaries in Chapter 3 including important definitions in Section 3. the module R in Section 3. and the module structure in Section 3.3. Then we discuss weight vectors in R in Section 3.4. In Chapter 4 we discuss our results obtained. We prove that sl n module is simple in Section 4. and give monomial basis in Section 4.. Finally we conclude on our findings in Chapter 5.

5 . Literature review A comprehensive theory of infinitesimal transformations was first given by a Norwegian mathematician Sophus Lie ( This was at the heart of his work on what are now called Lie groups and their accompanying Lie algebras; and the identification of their role in geometry and especially the theory of differential equations. The properties of an abstract Lie algebra are exactly those definitive of infinitesimal transformations just as the axioms of group theory embody symmetry. The term Lie algebra was introduced in 934 by a German mathematician Hermann Weyl for what had until then been known as the algebra of infinitesimal transformations of a Lie group. In the year 888 Sophus Lie and Freidrich Engel published their work on Infinitesimal Transformations []; two years later they published the Infinitesimal Transformations [] and in the year 893 they finally published the Infinitesimal Transformations 3 [3]. This series forms a very good foundation in the subject. For the past century mathematicians are trying to understand the works of Sophus Lie and then build on that foundation. Some of his findings have no theorems and proofs but they are explicit constructions that we can work with. In the year 95 I. M. Gelfand and M. L. Tsetlin gave an explicit construction of a basis for every simple module. In their work they gave all the irreducible representations of general linear algebra (gl n but without theorems [4]. In the year 5 V. Futorny D. Grantcharov and L. E. Ramirez provided a classification and explicit bases of tableaux of all irreducible generic Gelfand-Tsetlin modules for the Lie algebra gl n [5]. In February 6 V. Futorny D. Grantcharov and L. E. Ramirez in their paper initiated the systematic study of a large class of non-generic Gelfand-Tsetlin modules - the class of singular Gelfand-Tsetlin modules. An explicit tableaux realization and the action of gl n on these modules is provided using a new construction which they call derivative tableaux. Their construction of singular modules provides a large family of new irreducible Gelfand-Tsetlin modules of gl n and is a part of the classification of all such irreducible modules for n 3 [6]. In this thesis we will show that the Gelfand-Tsetlin constructions given in the year 95 [4] form all the irreducible representations of special linear algebra sl n. We will show that sl n module is simple and also construct monomial basis from these modules. 4

6 3. Preliminaries 3. Definitions 3.. Definitions under representation. Definition 3.. (Representation [7]. Suppose L is a Lie algebra and let x y L. The operation ρ : L End(R ρ([x y] [ρ(x ρ(y] ρ(xρ(y ρ(yρ(x. is a Lie algebra representation. The vector space R is the representation space. The bracket [ ] is bilinear and also an endomorphism. That means [ ] : End(R End(R End(R. There are many types of representation but each of them is either reducible or irreducible. Definition 3..3 (Reducible Representation [8]. A representation ρ : L End(R is called reducible if a sub vector space U R such that So the representation map ρ restricts to x L u U ρ(xu U. ρ u L End(U. Definition 3..4 (Irreducible Representation [8]. A representation ρ : L End(R is called irreducible if no sub vector space U of R U R such that x L u U ρ(xu U. This implies that every subspace U is actually all of R. Understanding representations (especially irreducible representation is necessary for understanding this project work. Below is an example of an irreducible representation. Example Let L sl( C. The basis of L can be written as ( ( ( E F and H H H. Suppose x y L. A representation ρ : L End(C 5

7 Section 3.. Definitions Page 6 ρ([x y] [ρ(x ρ(y] ρ(xρ(y ρ(yρ(x. Suppose ρ id. This implies that ρ(x x. Then Also ρ(h ρ([x y] x y y x. ( ρ(e ( The bracket of any two of the above invariants operates as We know ρ([h E] ρ(e ρ([h F ] ρ(f ρ([e F ] ρ(h. [ρ(h ρ(e] ρ(e and ρ(f ρ(e linearity property ρ([h E]. (. So { (α } β End(C ρ(sl( C γ δ α + δ. Suppose v C and v λ e + λ e where e e are canonical basis and λ λ are coefficients. Let λ and λ. Then F v λ e Also let λ and λ. Then E (F v λ e. E v λ e F (E v λ e. Therefore e e S S C. Since an invariant subspace ρ is an irreducible representation Definitions under weight. Definition 3..7 (Weight Space [7]. Let us explore the anatomy of weight weight space weight vector and highest weight vector as they are crucial in the work of this project. A Lie algebra sl n u h u + where u is all lower triangular matrices h all diagonal matrices and u + is all upper triangular matrices. If R is a finite dimensional sl n module then H h acts on R such that R H ξ + + H n ξ n λ R λ

8 Section 3.. The module R Page 7 where λ runs over H (a dual and { R λ r R H ξ λ(hξ H h }. The weight spaces R λ are infinitely many and different from zero when R is infinite dimensional. R λ is called a weight space ξ a weight vector and we called λ a weight of R. A highest weight vector (maximal vectors in sl n module is a non-zero weight vector β in weight space R λ annihilated by the action of all upper triangular matrices (E. We will prove in this project that a highest weight vector is indeed maximal and hence a generator. Definition 3..8 (Algebra. An algebra is a ring A which is a vector space such that is a ring homomorphism. C A a a Definition 3..9 (Monomial Basis. Let M be a simple module and v be a highest weight vector then M is generated by v through applying iterative lower triangular matrices on v. We can view this iterated applying as being a product in some algebra (namely the universal enveloping algebra. We have the fixed basis F ij and consider monomials in these F ij only. A given set B of monomials is called monomial basis of M if is a basis of M. {F b.v b B} In this project we will prove the existence of monomial basis and give some examples. 3. The module R R is a vector space with bases ξ [4]. These bases depend on the choice of integer partition m m m n with (m m m n. p i i... n p i i... n ξ (3.. p ji { j n i n j

9 Section 3.3. The module structure on R Page 8 In order to understand this basis vector quite well let us consider rows (i i and (i + and entry p ij in ξ. For all p ij if j < or j > n i then p ij. Otherwise the relations of the three rows and specifically the entry p ij are p i j p ij p i j+ p i+j p ij p i+j p j : m j. Below is a pictorial representation of p ij. Figure 3.: Pictogram of entry p ij in ξ. Let m m and m 3. All possible bases from this partition are ( ( (. 3.3 The module structure on R Our representation space R is a sl n module. Although this is true we will not prove it. It is a sl n module via actions of upper triangular matrices lower triangular matrices and the diagonal matrices on ξ [4]. For upper triangular matrices in general as far as the action takes place the coefficients will never be zero. Let m pq p l pq and [ k a j k k ( k i (l ik l jk ] k i (l ik l jk i j (l. (3.3. ik l jk (l ik l jk Suppose ξ j k k is the pattern obtained from ξ by replacing m ik with m ik +. The upper triangular matrix E k k acts on ξ as E k k (ξ j a j k k (ξj k k. (3.3.

10 Section 3.3. The module structure on R Page 9 For a 3 3 matrix the action of E ij on ξ raises the i th row in the basis ξ by on every entry in that row accordingly. The formulas below give explicit descriptions for n 3: ( p p E ( p p (p q q(q p + q + ( p p E (m p (m p (m 3 p (p q + 3 q (p p + (p p + Note that + (m p + (m p (m 3 p (p q (p p + (p p E 3 [E E 3 ]. ( p + p q ( p p + So it is generated by E ii+. The coefficients as far as action can take place are different from zero. This can be seen in the following cases: we consider coefficients from the actions of E and E 3 in our analysis. We know p q and q q + implying (p q. q p so (q p +. In the same way the coefficients from the action of E 3 has m p and p p + implying m > p so (m p. Also (m p since m p and p p + implying m > p. Since m > p and m m then (m p +. Now m > p m > p m 3 (m p. Since p > m 3 (m 3 p. Also p m 3 (m 3 p. For q p and p p + then q > p. So (p q. We know p q > p (p q +. p > p (p p + (p p + and (p p. The action of F ij on ξ reduces the entries of the i th row in ξ by accordingly. This is done in such a way that rules governing the size of entries are conserved. In a general case let m pq p l pq and [ k b j kk ( k i (l ik l jk + ] k i (l ik l jk i j (l. (3.3.3 ik l jk + (l ik l jk Suppose ξ j kk is the pattern obtained from ξ by replacing m ik with m ik. The lower triangular matrix F kk acts on (ξ as q. F kk (ξ j b j kk ( ξ j kk. (3.3.4

11 Section 3.3. The module structure on R Page The formulas for n 3 are as follows: ( p p F ( p p (p q q + (q p q ( p p F 3 q We know that ( (m p + (m p (m 3 p (p q p p (p p + (p p q + (m p + (m p + (m 3 p (p q (p p + (p p + F 3 [F 3 F ]. ( p p. q So F i+i generates all F ij and other actions can be computed using the Lie bracket operation. The coefficients as far as action can take place are different from zero. This is seen in the case that n 3. We consider coefficients from the actions of F and F 3 in our analysis. We know p q so (p q +. q p and q q so (q p and (p q. In the same way m p and p p implying m > p. So (m p +. We know (m p since p m and p m implying p > m. Since m p > m p then m > p. So (m p +. Now m p m (m p +. Since p > p m 3 (m 3 p. Also p q and p p (p q. So p q. p > p so (p p + (p p + (p p. Since p m 3 and p p then p > m 3. So (m 3 p. The coefficients will never be zero when an action is possible. The diagonal matrices can also be generated by E ii+ and F i+i. Some coefficients from the action of H ii can be zero but not all coefficients. In general ( k k H ii (ξ m ik m ik (ξ (3.3.5 where is the coefficient of ξ. i i ( k k m ik m ik i The action of diagonal matrices (H ii goes as follows when n 3: ( p H ( p p p q q q ( p H ( p p p (p q + p q q ( p H 33 ( p p p (m q + m + m 3 p p. q i

12 Section 3.3. The module structure on R Page Example Let m m m 3. An sl n module via actions could be observed on all possible bases vectors from this partition. The bases are: ( ( ( ( ( ( ( (. Also actions of H H H 33 E E 3 F F 3 on these bases vectors are as follows: ( H ( H ( H ( H ( H ( H ( H ( H ( H 33 ( H 33 ( H 33 ( H 33 ( E ( E ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( H ( H ( H H ( ( H ( H ( H H ( ( H 33 ( H 33 ( H 33 H 33 ( ( E E ( ( ( ( ( ( ( ( ( ( ( ( ( ( (....

13 Section 3.4. Weights and weight vectors in R Page ( E 3 ( E 3 ( E 3 ( F ( F ( F 3 ( F 3 ( F 3 ( ( ( E 3 ( ( ( 3 E 3 (. ( ( ( F F ( ( (. ( ( ( 3 F 3 ( ( ( 3 F 3 (. The theorem below can now follow suit. Theorem 3.3. (sl n module. The representation space R is a sl n module. Like we stated from the beginning of this section we will not prove this theorem. 3.4 Weights and weight vectors in R A highest weight vector is the weight vector that is annihilated by every (n n upper triangular matrix (that is E ij with i < j. We fixed ξ as our basis vector in R the representation space where q is any integer depending on some conditions [4]. The nature of each basis vector depends on the dimension n of operator E ij acting on it and the partition. For n we choose some integers m m (m m such that the condition m q m is satisfied. When n 3 we choose three integers m m m 3 (m m m 3. The bases vectors in the representation space are now numbered by triples p p q. The representation is given by m p m p m 3 and p q p.

14 Section 3.4. Weights and weight vectors in R Page 3 We have our bases vectors of the form ξ ( p p. q Every weight vector has a corresponding weight. Constructing these bases depends on the choices of The bases vectors are the weight vectors. as defined above. m m m n Suppose H is a square diagonal matrix. The action H ii (ξ κ i (ξ (3.4. where κ i is the eigenvalue of corresponding weight vector ξ. In the relation given by Equation (3.4. there is a map ω such that for h H The map ω is the weight. ω : h C H ii κ. Example Let m m and m 3. We will construct all weight vectors and then find their eigenvalues (κ i and their corresponding weights. Let H ii i 3 be the operator. The action of the operator on ξ is as follows: ( H ( H ( H ( ( ( κ κ κ

15 Section 3.4. Weights and weight vectors in R Page 4 ( H ( H ( H ( H ( H ( ( ( ( ( κ κ κ κ κ ( H ( H ( H ( H ( H ( H ( H ( H ( H 33 ( H 33 ( ( ( ( ( ( ( ( ( ( κ κ κ κ κ κ κ κ κ κ

16 Section 3.4. Weights and weight vectors in R Page 5 ( H 33 ( H 33 ( H 33 ( H 33 ( H 33 ( H 33 ( ( ( ( ( ( κ κ κ κ κ κ. The coefficients of basis vectors above are the eigenvalues and they help us calculate the weights for corresponding weight vector ξ. For any weight vector ξ the corresponding weight in the case n 3 as defined by the map ω is as follows: ( wight ( ε + ε 3 wight ε + ε 3 ( wight ( ε + ε + ε 3 wight ε + ε 3 ( wight ( ε + ε + ε 3 wight ε + ε ( wight ( ε + ε 3 wight ε + ε. Now for arbitrary partition has weight m m m n H ii (ξ κ i (ξ ω κ ε + κ ε + + κ n ε n where ε is the weight for ξ ε + ε the weight of ξ and so on. Since sl n is trace free ε + + ε n. (3.4.

17 Section 3.4. Weights and weight vectors in R Page 6 By definition ω : h C H ii H i+i+ H jj H j+j+ j i. Then for H h where a is an eigenvalue. So ( ( H a H ω (H H + ω (H H 33 ( ( H (ω (H H + ω (H H 33 ( [ω (κ κ + ω (κ κ 3 ] ( [ω ( + ω ( ] ( ( ω ω. ( The weight for is ω ω which is the same as ε + ε 3 above. In general where is the coefficient of ξ. ( k k H ii (ξ m ik m ik (ξ i i ( k k m ik m ik i We can compute any weight from the above relation. The relation works by summing the corresponding row entries of k th row and then taking away the sum of all entries of the (k th row. For any n the highest (n th row for each basis vector corresponds on the the fixed m m m n. i Suppose we let m 3 m and m 3. Then E l 3 E l 3 E l ξ q β

18 Section 3.4. Weights and weight vectors in R Page 7 where β is a highest weight vector and l i is the maximum times each operator can act on ξ while all conditions are observed to either raise the first row or the second row of ξ. Due to the nature of transitions as a consequence of the the action of the sequence the result is unique. The representation space R is simple if for all v R upper triangular square matrices such that E a(α v β a highest weight vector. The weight vectors could be of the form v a α α (3.4.3 α(patterns where α is a weight vector. We will show that there exists a sequence E a(α such that its action on any sum of weight vectors annihilates all but one. That remaining weight vector is a highest weight vector. For example let m 4 m and m 3. We need E3E to act on the sum (α + α to yield exactly the highest weight vector when ( ( 4 4 α and α 3. The process becomes most critical when there are many basis vectors to act on. The action yields new basis vectors and annihilates some others in the process. With a sequence that acts maximally on these basis vectors they will all be annihilated except for one. Any more post actions will annihilate the resulting vector. For m 3 m and m 3 we want to find a sequence E such that (( ( ( ( ( E gives a highest weight vector. We see that E annihilates three basis vectors already and raises two others to (( ( The action of a E 3 on the resulting basis vectors annihilates one and raises the other to yield a highest weight vector. That is ( 3. 3 The sequence E E 3 E. If this process is always true then R is a simple sl n module. We proved this in Theorem 4...

19 4. Results and discussion 4. Simple sl n module Theorem 4.. (Simple sl n module. The representation space R is a simple sl n module. This theorem requires a proof for many parts so we break it down into two propositions and two lemmas. Proposition 4... For every given partition a highest weight vector β. Proof. Suppose for integers m m... m n with (m m n that m m m 3 m n m m β Suppose some ξ i such that m ξ < ξ < < ξ s and E ii+ ξ and E ii+ ξ and so on. Also suppose that entries in both basis vectors ξ ξ are equal at the bottom except for a certain row such that in that row and that We can write The action Now we have ξ + ξ + + s ξ < a ξ + a ξ + + as ξ ξ < ( ξ + + s ξ < ( a ξ + a ξ + + as ξ. ξ (v ξ i. E ii+ v E ii+ ξ + E ii+ (v ξ ξ + E a(ξ v E a(ξ c i ξ i for c i. i Ψ ij > ξ Ψ ij. The sequence is actually raising the weight vectors by the series of actions and the supposedly the smallest basis vector becomes a highest weight vector as a consequence. So E a(ξ c i ξ i λ β β + Ψ ij λ β β for λ β. i Ψ ij >β 8

20 Section 4.. Simple sl n module Page 9 Therefore β is a highest weight vector. The weight for β is such that ( i i H ii β m ki m ki β k k [q + (p + p q + (m + m + m 3 p p + +q + (p + p q + + (m + m + + m n p p p n ] β (c ε + c ε + c 3 ε c n ε n + c n ε n β. So β has weight c ε + c ε + + c n ε n + c n ε n which is a highest weight. Proposition For any basis vector ξ there exists a vector a(ξ Z N where N n(n of upper triangular matrices such that where Proof. From the order E a(ξ.ξ λ β β for λ β ( E a(ξ E a N a E N 3 E a ( N a E n n n E a ξ < ξ < < ξ s 3E a introduced in Proposition 4.. we see that ξ is smaller than all other basis vectors. The action E a(ξ.ξ E a(ξ ξ + E a(ξ. But Ψ ij >ξ Ψ ij Ψ ij >ξ Ψ ij will be annihilated by the action since its elements are bigger and E a(ξ will be the sequence that raises ξ i to β which is a highest weight. Lemma Suppose v is a non-zero element in R s v c i ξ i with c i C Then there exists a sequence of upper triangular matrices such that i E a(v v λ β β where λ β.

21 Section 4.. Simple sl n module Page Proof. From Proposition 4.. for ξ < ξ we established that ξ < ( ξ + + s ξ < ( a ξ + a ξ + + as ξ. Then for all c i ( s E a(ξ i v E a(ξ i c i ξ i i E a(ξ i c ξ + c i ξ i. ξ i > ξ Since ξ is the smallest basis the action will be E a(ξ i v λ β β + λ i Γ ij λ β β. Γ ij >β Therefore E a(ξ i v λ β β. This implies Corollary If S R is a non-zero submodule then β S. We proved from Proposition 4.. that there is a highest weight vector β R. So if S R is a non-zero submodule then S R. This implies that β S. Lemma Let B {a(ξ ξ is a basis element}. Then { } F a(ξ i β a(ξ B is a basis. Proof. Now we want to show that R is generated by β. Form the ordering in Proposition 4.. we see that at least F i+i ξ < F i+i ξ. Also for j i Therefore we can write F j+j ξ < F j+j ξ. F a(ξ i β χ i + γ ij >χ i γ ij

22 Section 4.. Simple sl n module Page where ξ χ i and ξ γ ij >χ i γ ij. Suppose and all c i. Then N i c i N c i F a(ξ i β i χ i + γ ij >χ i γ ij We can fix χ i such that χ < χ < < χ N. So N χ i + N c χ + i c i γ ij >χ i γ ij i c i. χ i + γ ij >χ i γ ij + γ. We know χ is smaller than everything and {χ} are linearly independent then c. Then { F a(ξ i β a(ξ B } is linearly independent. We are given that ξ i is a basis of R implying ξ is a basis element. The cardinality of ξ is D (that is dim R in other words the number of basis vectors one can make from a given partition. Since ξ has N linearly independent elements then dim F a(ξ i β dim R D. So { F a(ξ i β a(ξ B } spans and is a basis in R. Since { F a(ξ i β a(ξ B } spans R and all its elements are linearly independent then it is all of R. Therefore the weight vector β generates all of R. From the above proofs we can make out that if β is a highest weight vector S a submodule of R (i.e β S and S is all of R then β generates all of R. Therefore there is no invariant subspace of R. Corollary R is generated by β and moreover if S R is a non-zero submodule then S R. These completes the proof for Theorem 4... So the representation space R is a simple sl n module. Already a monomial basis is constructed in Lemma 4..6 as part of the proof for the theorem above and we will treat in details the procedure of forming these monomial basis.

23 Section 4.. Monomial basis Page 4. Monomial basis We have now constructed a monomial basis in Lemma But we have made a choice by fixing the elements and their order on how to be applied to the highest weight vector. Example 4... Let m m m 3. We apply the sequences on ξ: E a E a 3E a 3 ( EE 3E ( EE 3E ( EE 3E ( EE 3E ( EE 3E ( EE 3E ( EE 3E ( EE 3E has ( FF 3F is a monomial has ( FF 3F is a monomial has ( FF 3F is a monomial has ( FF 3F is a monomial has ( FF 3F is a monomial has ( FF 3F is a monomial has ( FF 3F is a monomial has ( FF 3F is a monomial. So { F F3F FF 3F FF 3F FF 3F FF 3F FF 3F } FF 3F FF 3F is a monomial basis. Also the action of on ξ is demonstrated below. E b 3E b E b 3 3

24 Section 4.. Monomial basis Page 3 ( E3E E 3 ( E3E E 3 ( E3E E 3 ( E3E E 3 ( E3E E 3 ( E3E E 3 ( E3E E 3 ( E3E E 3 has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial. So { F 3 F F 3 F 3F F 3 F 3F F 3 F 3F F 3 F 3F F 3 F 3F F 3 F 3F F 3} is a monomial basis. We see that different sequences make different monomial basis. Since the partition in Example 4.. is symmetric we do another example. Example 4... Let m 3 m m 3. We apply the sequences on ξ to find a monomial. E a E a 3E a 3

25 Section 4.. Monomial basis Page 4 EE 3E 3 EE 3E 3 EE 3E 3 EE 3E EE 3E EE 3E EE 3E EE 3E EE 3E 3 ( EE 3E ( EE 3E ( EE 3E 3 ( EE 3E ( EE 3E 3 ( EE 3E 3 has ( FF 3F is a monomial has ( FF 3F is a monomial has ( FF 3F is a monomial has ( FF 3F is a monomial has ( FF 3F is a monomial has ( FF 3F is a monomial has ( FF 3F is a monomial has ( FF 3F is a monomial. has ( 3 FF 3 3F is a monomial has ( FF 3F is a monomial has ( FF 3F is a monomial has ( 3 FF 3F 3 is a monomial has ( FF 3F is a monomial has ( 3 FF 3F 3 is a monomial has ( 3 FF 3F 3 is a monomial

26 Section 4.. Monomial basis Page 5 So { F F 3F F F 3F F F 3F F F 3F F F 3F F F 3F F F 3F FF 3F FF 3 3F FF 3F FF 3F FF 3F 3 FF 3F FF 3F 3 } F F 3 3F is a monomial basis. Now the action of on ξ: E b 3E b E b 3 3 E3E E 3 3 E3E E 3 3 E3E E 3 3 E3E E 3 E3E E 3 E3E E 3 E3E E 3 E3E E 3 E3E E 3 3 ( E3E E 3 ( E3E E 3 has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial has ( 3 F3F F 3 3 is a monomial has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial

27 Section 4.. Monomial basis Page 6 ( E3E E 3 3 ( E3E E 3 ( E3E E 3 ( E3E E 3 3 has ( 3 F3F 3 F 3 is a monomial has ( F3F F 3 is a monomial has ( F3F F 3 is a monomial has ( 3 F3F F 3 3 is a monomial. So { F 3 FF 3 F3F F 3 F3F F 3 F3F F 3 F3F F 3 F3F F 3 } F3F F 3 F3F F 3 F3F F 3 3 F3F 3 F 3 F3F F 3 F3F F 3 3 is a monomial basis. So we see different sequences make different monomial basis.there are infinitely many monomials.

28 5. Conclusion In this piece of work our representation is actually ρ : sl n End(R x ρ(x. The map ρ is linear and also the identity. We saw that the actions of upper triangular matrices and lower triangular matrices on a basis vector ξ resulted in a new basis vector while the diagonal matrices act by a scaler. Suppose v R and v λ ξ + + λ n ξ n where ξ ξ n are basis vectors and λ λ n are non-zero coefficients. Let λ and λ λ n. Then and F v λ F ξ E (F v λ E (F ξ are both well defined operations in our representation. Now let λ λ 3 λ n and λ. Then and E v λ E ξ F (E v λ F (E ξ again are both well defined operations in our representation. The diagonal matrices act by a scaler; that is H ξ κξ and so the basis vector acted on remains the same. In all the actions above the results are all accounted for in formulas of Equations (3.3. (3.3.4 and ( If ξ ξ n S S R. So ρ has no invariant subspace. Therefore ρ is an irreducible representation of special linear algebra sl n. The sl n modules are very interesting as we study their actions on basis vectors. A fundamental component of this project is to show that sl n modules are actually simple and can form monomial basis. For any partition we can construct all possible basis vectors and modules as explicitly explained in Chapter. Because these bases vectors are complex combinatoric structures we apply total ordering on them to identify the smallest basis vector. A sequence of upper triangular matrices that acts maximally on the smallest bases vector will eventually act on a set of bases 7

29 Page 8 vectors resulting in a total annihilation of all bases vectors but raising the smallest basis vector maximally. This is a very effective and efficient method of analysis. So a maximally raised weight vector is then a highest weight vector. We proved that a highest weight vector and it has weight ω i c ε + + c n ε n. We also proved in that every basis vector has a sequence of upper triangular matrices that acts on it maximally to yield a highest weight vector. Furthermore suppose there were many weight vectors. There a sequence of upper triangular matrices whose action yields a highest weight vector. This is efficiently done by employing total order. We proved the existence of monomial basis and gave a construction. Each of these facts contributes in showing that sl n module is simple and has monomial basis.

30 References [] F. Engel. Theorie der Transformationsgruppen: Erster Abschnitt. BG Teubner 888. [] S. Lie. Theorie der transformationsgruppen(zweiter abschnitt unter mitwirkung von prof. dr. friedrich engel. Leipzig Teubner 89. [3] S. Lie. Theorie der transformationsgruppen abschn. 3. Theorie der Transformationsgruppen 893. [4] I. Gelfand and M. Tsetlin. Finite-dimensional representations of the group of unimodular matrices. In Dokl. Akad. Nauk SSSR volume 7 page [5] V. Futorny D. Grantcharov L. Ramirez and et al. Irreducible generic gelfand tsetlin modules of gl(n. SIGMA. Symmetry Integrability and Geometry: Methods and Applications :8 5. [6] V. Futorny D. Grantcharov and L. Ramirez. Singular gelfand-tsetlin modules of gl n. Advances in Mathematics 9: [7] R. Carter. Lie algebras of finite and affine type. Number 96. Cambridge University Press 5. [8] J. Humphreys. Introduction to Lie algebras and representation theory volume 9. Springer Science & Business Media 97. [9] H. Anton. Elementary linear algebra. John Wiley & Sons. [] M. Pickthall. The meaning of the glorious Quran. Islamic Call Society