arxiv: v1 [math.qa] 15 Apr 2019
|
|
- Benedict Ellis
- 5 years ago
- Views:
Transcription
1 DUALITY FOR KNIZHNIK-ZAMOLODCHIKOV AND DYNAMICAL OPERATORS V.TARASOV AND F.UVAROV arxiv: v1 [math.qa] 15 Apr 2019 Department of Mathematical Sciences, Indiana University Purdue University Indianapolis 402 North Blackford St, Indianapolis, IN , USA St.Petersburg Branch of Steklov Mathematical Institute Fontanka 27, St. Petersburg, , Russia Abstract. We consider the Knizhnik-Zamolodchikov and Dynamical operators, both differential and difference, in the context of the (gl k,g )-duality for the space of polynomials in kn anticommuting variables. We show that the Knizhnik-Zamolodchikov and Dynamical operators naturally exchange under the duality. 1. Introduction The Knizhnik-Zamolodchikov (KZ) operators is a family of pairwise commuting differential operators acting on U(gl k ) n -valued functions. They play an important role in conformal field theory, representation theory, and they are closely related to the famous Gaudin Hamiltonians. The difference analogue of the KZ operators is the quantum Knizhnik- Zamolodchikov (qkz) operators. There are rational, trigonometric, and elliptic versions of the KZ and qkz operators. For a review and references see, for example, [2]. There exist other families of commuting differential or difference operators called the Dynamical Differential (DD) or Dynamical Difference (qdd) operators, respectively. There are rational and trigonometric versions of the DD and qdd operators as well. It is known that the rational DD operators commute with the rational KZ operators, the trigonometric DD operators commute with the rational qkz operators, and the rational qdd operators commute with the trigonometric KZ operators, see [4 6]. The qdd operators appear as the action of the dynamical Weyl groups [3]. The DD operators are also known as the Casimir connection, see [8, 9]. Together with the KZ, DD, qkz, and qdd operators associated with U(gl k ) n, we will simultaneously consider similar operators associated with U(g ) k interchanging k and n. Let P kn be the space of polynomials in kn commuting variables. There are natural actions of U(gl k ) n and U(g ) k on the space P kn, and those actions commute. This manifests the (gl k,g )-duality, see, for example, [1]. Consider the images of the KZ, DD, qkz, qdd operators associated with U(gl k ) n and U(g ) k under the corresponding actions on P kn. It was proved in[7] that the images of the rational(trigonometric) KZ operators associated with U(g ) k coincide with the images of the rational (trigonometric) DD operators associated with U(gl k ) n. Similarly, the images of the rational qkz operators associated with U(g ) k, up to an action of a central element in g, coincide with the images of the rational qdd operators associated with U(gl k ) n. In this paper we obtain a similar duality for the case of vtarasov@iupui.edu, vt@pdmi.ras.ru, supported in part by Simons Foundation grant filuvaro@iu.edu.
2 2 V. TARASOV AND F. UVAROV U(gl k ) n - and U(g ) k -actions on the space of polynomials in kn anticommuting variables, see Theorem 4.4. The duality for the rational and trigonometric KZ and DD operators is proved in a straightforward way. To prove the duality for the rational qkz and qdd operators, we study the eigenvalues of the rational R-matrix and compare them to the eigenvalues of the operator B 2 12 (t), which is used in the construction of the qdd operators. The (gl k,g )-duality for classical integrable models related to Gaudin Hamiltonians and theactions ofgl k andg onthe space ofpolynomials inanticommuting variables was studied in [10, Section 3.3]. The result of [10] resembles what one can expect for Bethe algebras of Gaudin models discussed in our work. We will study those Bethe algebras in an upcoming paper. The paper is organized as follows. In Section 2, we introduce necessary notations. In Section 3, we define the KZ, DD, qkz, and qdd operators. In Section 4, we formulate and prove the main result. 2. Basic notation Let e ab, a,b = 1,...,k, be the standard basis of the Lie algebra gl k : [e ab,e cd ] = δ bc e ad δ ad e cb. We take the Cartan subalgebra h gl k spanned by e 11,...,e kk, and the nilpotent subalgebras n + and n spanned by the elements e ab for a < b and a > b respectively. We have standard Gauss decomposition gl k = n + h n. Let ε 1,...,ε k be the basis of h dual to e 11,...,e kk : ε a,e bb = δ ab. We identify h with C k mapping ε l k ε k to (,...,l k ). The root vectors of gl k are e ab for a b, the corresponding root being equal to α ab = ε a ε b The roots α ab for a < b are positive. The simple roots are α 1,...,α k 1 : α a = ε a ε a+1. Denote by ρ the half-sum of positive roots. We choose the standard invariant bilinear form (,) on gl k : (e ab,e cd ) = δ ad δ bc. It defines an isomorphism h h The induced bilinear form on h is (ε a,ε b ) = δ ab. For a gl k -module W and a weight l h let W[l] be the weight subspace of W of weight l For any l = (,...,l k ) with l a l a+1 we denote by V l the irreducible gl k -module with highest weight l. Also, for any m Z 0 we write V m instead of V (1 m ), where (1 m ) = (1,...,1,0,...,0). Thus, V }{{} 0 = C is the trivial gl k -module, V 1 = C k with the natural action k of gl k, and V m is the m-th antisymmetric power of V 1 The element I = k e ab e ba is central in U(gl k ), on the irreducible gl k -module V l it acts as a,b=1 multiplication by (l,l+2ρ). Consider the algebra X k = C k. We identify it with the ring of all polynomials in anticommuting variables x 1,...,x k. In particular, x 2 i = 0 for all i = 1,...,k. Define the left derivations 1,..., k as follows: if g(x) = x b1...x bm for some m, where b s a for any s, then a g(x) = 0, a (x a g(x)) = g(x). The operators of left multiplication by x 1,...,x k and the left derivations 1,..., k make the space X k into the irreducible representation of the Clifford algebra Cliff k.
3 DUALITY FOR KNIZHNIK-ZAMOLODCHIKOV AND DYNAMICAL OPERATORS 3 The Lie algebra gl k acts on the space X k by the rule: e ab p = x a b p for any p X k. Denote the obtained gl k -module by V, then k (2.1) V = V l, the submodule V l being spanned by the homogeneous polynomials of degree l. A highest weight vector of the submodule V l is x 1 x 2...x l. Thegl k -actiononx k naturalyextends toau(gl k ) n -actionon(x k ) n. Foranyg U(gl k ), set g (i) = 1 g i th l=0 1 U(gl k ) n. We consider U(gl k ) as the diagonal subalgebra of U(gl k ) n, that is, the embedding U(gl k ) U(gl k ) n is given by the n-fold coproduct: x x (1) + +x (n) for any x gl k. This corresponds to the standard gl k -module structure on (X k ) n as the tensor product of gl k -modules. Let Ω = k e ab e ba be the Casimir tensor, and let a,b=1 so that Ω = Ω + +Ω. Ω + = 1 2 Ω = 1 2 e aa e aa + 1 a<b k e aa e aa + 1 a<b k e ab e ba, e ba e ab, 3. The KZ, qkz, DD and qdd operators Fixanonzerocomplexnumberκ. Considerdifferentialoperators z1,..., zn and z1,..., zn with coefficients in U(gl k ) n depending on complex variables z 1,...,z n and λ 1,...,λ k : zi (z;λ) = κ Ω (ij) λ a (e aa ) (i) z i z i z j zi (z;λ) = κz i z i (λ a e aa 2 )(e aa) (i) j=1,j i j=1,j i z i Ω + (ij) +z jω (ij) z i z j The differential operators z1,..., zn (resp. z1,..., zn ) are called the rational (resp. trigonometric) Knizhnik-Zamolodchikov (KZ) operators. IntroducedifferentialoperatorsD λ1,...,d λk and D λ1,..., D λk withcoefficientsinu(gl k ) n depending on complex variables z 1,...,z n and λ 1,...,λ k : D λa (z;λ) = κ λ a z i (e aa ) (i) D λa (z;λ) = κλ a + e2 aa λ a 2 b=1 1 i<j n z i (e aa ) (i) (e ab ) (i) (e ba ) (j) b=1,b a b=1,b a e ab e ba e aa λ a λ b. λ b λ a λ b (e ab e ba e aa ).
4 4 V. TARASOV AND F. UVAROV The differential operators D λ1,...,d λk (resp. D λ1,..., D λk ) are called the rational (resp. trigonometric) differential dynamical (DD) operators, see [4, 5]. For any a,b = 1,...,k, a b, introduce the series B ab (t) depending on a complex variable t: e s s ba B ab = 1+ es ab (t e aa +e bb j) 1. s! s=1 j=1 The action of this series is well defined on any finite-dimensional gl k -module W giving an End(W)-valued rational function of t. Denote λ bc = λ b λ c. Consider the products X 1,...,X k depending on complex variables z 1,...,z n, and λ 1,...,λ k : n X a (z;λ) = (B ak (λ ak )...B a,a+1 (λ a,a+1 )) 1 (z eaa ) (i) B 1a (λ 1a κ)...b a 1,a (λ a 1,a κ). The productsx 1,...,X k act onany n-foldtensor product W 1 W n offinite-dimensional gl k -modules. Denote by T u a difference operator acting on a function f(u) by Introduce difference operators Q λ1,...,q λk : (T u f)(u) = f(u+κ). Q λa (z;λ) = X a (z;λ)t λa. The operators Q λ1,...,q λk are called the (rational) difference dynamical (qdd) operators. [6] For any finite-dimensional irreducible gl k -modules V and W, there is a distinguished rational function R VW (t) of t with values in End(V W) called the rational R-matrix. It is uniquely determined by the gl k -invariance (3.1) [R VW (t),g 1+1 g] = 0 for any g gl k, the commutation relations (3.2) R VW (t)(te ab 1+ and the normalization condition e ac e cb ) = (te ab 1+ (3.3) R VW (t)v w = v w, c=1 i e cb e ac )R VW (t), where v and w are the highest weight vectors of V and W respectively. Denote z ij = z i z j and R ij (t) = (R Wi W j (t)) (ij). Consider the products K 1,...,K n depending on complex variables z 1,...,z n and λ 1,...,λ k : K i (z;λ) = (R in (z in )...R i,i+1 (z i,i+1 )) 1 k (λa eaa c=1 ) (i) R 1i (z 1i κ)...r i 1,i (z i 1,i κ). The products K 1,...,K n act on any n-fold tensor product W 1 W n of gl k -modules. Introduce difference operators Z z1,...,z zn : Z zi (z;λ) = K i (z;λ)t zi. The operators Z z1,...,z zn are called (rational) quantized Knizhnik-Zamolodchikov (qkz) operators.
5 DUALITY FOR KNIZHNIK-ZAMOLODCHIKOV AND DYNAMICAL OPERATORS 5 It is known that the introduced operators combine into three commutative families, see [4 6] for more references. Theorem 3.1. The operators z1,..., zk,d λ1,...,d λk pairwise commute. Theorem 3.2. The operators z1,..., zn,q λ1,...,q λk pairwise commute. Theorem 3.3. The operators D λ1,..., D λk,z z1,...,z zn pairwise commute. 4. The (gl k,g )-duality Consider the ring P kn of polynomials in kn anticommuting variables x ai, a = 1,...,k, i = 1,...,n. Asavectorspace, P kn isisomorphicto(x k ) n, theisomorphismϕ 1 : (X k ) n P kn being given by (4.1) ϕ 1 (p 1 p n )(x 11,...,x kn ) = p 1 (x 11,...,x k1 )p 2 (x 12,...,x k2 )...p n (x 1n,...,x kn ), and to (X n ) k, the isomorphism ϕ 2 : (X n ) k P kn being given by (4.2) ϕ 2 (p 1 p k )(x 11,...,x kn ) = p 1 (x 11,...,x 1n )p 2 (x 21,...,x 2n )...p k (x k1,...,x kn ). We transfer the gl k -action on (X k ) n to P kn using the isomorphism ϕ 1. Similarly, we transfer the g -action on (X n ) k to P kn using the isomorphism ϕ 2. We will write superscripts k and n to distinguish objects related to the Lie algebras gl k and g, respectively. For example, e k ab, a,b = 1,...,k, denote the generators of gl k, and e n ij, i,j = 1,...,n, denote the generators of g. Then P kn is isomorphic to (V k ) n as a gl k -module by (4.1), and it is isomorphic to (V n ) k as a g -module by (4.2). It is easy to check that gl k - and g -actions on P kn commute. Therefore, P kn is a gl k g - module. We have the following theorem, see for example [1]: Theorem 4.1. For any partition l, denote its transpose by l. The gl k g -module P kn has the decomposition: P kn = V k l V n. l l=(,...,l k ), n. Fix vectors l = (,..., ) Z n 0 and m = (m 1,...,m k ) Z k 0 such that n l i = k m a. Let Z kn [l,m] = {(d ai ),...,k,...,n {0,1} kn d ai = l i, d ai = m a }. Denoteby P kn [l,m] P kn thespan ofall monomials x d = x d x d k1 k1... x d 1n 1n...x d kn kn such thatd = (d ai ) Z kn [l,m]. Thenby (2.1), themapsϕ 1 andϕ 2 inducetheisomorpfismsofthe respective weight subspaces (V k V k )[m 1,...,m k ] and (V n m 1 V n m k )[,..., ] with the space P kn [l,m]. There is another description of the isomorphisms ϕ 1 and ϕ 2. For any a = (a 1,...,a r ), i = (i 1,...,i s ), such that 1 a 1 < < a r k, 1 i 1 < < i s n, define: e k a = e k a 1 1e k a e k a rr and e n i = e n i 1 1 e n i e n i. ss Fix d = (d ai ) Z kn [l,m]. Let a j = (a j 1,...,a j l j ) be such that a j 1 < a j 2 < < a j l j, and d a j p,j = 1 for all j = 1,...,n, p = 1,...,l j. Similarly, let i s = (i s 1,...,is m l ) be such that
6 6 V. TARASOV AND F. UVAROV i s 1 < i s 2 < < i s m s, and d s,i s p = 1 for all s = 1,...,k, p = 1,...,m s. Introduce the following vectors: (4.3) v k d = e k a 1 v k e k a n v k, (4.4) v n d = e n i 1 v n m 1 e n i k v n m k, where v k l j V k l j = x 1 x 2...x lj and v n m s = x 1 x 2...x ms are highest weight vectors for the modules and V m n l, respectively. Lemma 4.2. The vectors v k d, d Z kn[l,m] form a basis of the weight subspace (V k V k )[m 1,...,m k ]. Similarly, the vectors v n d, d Z kn[l,m] form a basis of the weight subspace (V m n 1 V m n k )[,..., ]. Let ε(d) be a sign function such that x d x d 1n 1n... x d k1 k1...xd kn kn = ε(d)xd. Lemma 4.3. We have ϕ 1 (v d ) = x d, ϕ 2 (v d ) = ε(d)x d. Consider the action of KZ, qkz, DD and qdd operators associated with the Lie algebras gl k and g on P kn -valued functions of z 1,...,z n and λ 1,...,λ k, treating the space P kn as a tensor product (V k ) n of gl k -modules and as a tensor product (V n ) k of g -modules. We will write F G if the operators F and G act on the P kn -valued functions in the same way. Denote 1 k = (1,1,...,1) and 1 }{{} n = (1,1,...,1). }{{} k n Theorem 4.4. For any i = 1,...,n and a = 1,...,k the following relations hold (4.5) k z i (z,λ,κ) D n z i (λ, z, κ), (4.6) n λ a (λ,z,κ) D k λ a (z, λ, κ), (4.7) k z i (z,λ,κ) D n z i ( λ 1 k,z, κ), (4.8) n λ a (λ,z,κ) D k λ a ( z 1 n,λ, κ), (4.9) Z k z i (z,λ,κ) N n i (z)q n z i (λ, z, κ), (4.10) Z n λ a (λ,z,κ) N k a (λ)q k λ a (z, λ, κ), where (4.11) N n i (z) = and (4.12) C k ab 1 j<i Cn ji (z ji κ) i<j n Cn ij (z, N a k ij) (λ) = 1 b<a Ck ba (λ ba κ) a<b k Ck ab (λ, ab) Γ(t+e k aa +1)Γ(t e k bb (t) = ) Γ(t+e k aa e k C n ij bb +1)Γ(t), Γ(t+e n ii +1)Γ(t e n jj (t) = ) Γ(t+e n ii e n jj +1)Γ(t).
7 DUALITY FOR KNIZHNIK-ZAMOLODCHIKOV AND DYNAMICAL OPERATORS 7 Proof. Verification of relations (4.5), (4.6), (4.7), (4.8) is straightforward. To check (4.9) and (4.10), we have to show that (4.13) R k ij (t) C n ij (t)b n ij ( t), (4.14) R n ab (t) C k ab (t)b k ab ( t), We will prove relation (4.14). Relation (4.13) can be proved similarly. Note, that both action of R n ab (t) on P kn and action of C k ab (t)b k ab ( t) on P kn involve only the variables x a1,...,x an, x b1,...,x bn. Therefore, it is sufficient to prove (4.14) for the case of k = 2, a = 1, b = 2. The g - module P 2,n is isomorphic to V n V n. Consider the submodule V m n 1 V m n 2 P 2,n. We have the following decomposition of the g -module: (4.15) V n m 1 V n m 2 = min(m 1,m 2 ) m=max(0,m 1 +m 2 n) V n l(m). Here l(m) = (2,2,...,2,1,...,1,0,...,0), where 2 repeats m times and 1 repeats m 1 +m 2 2m times. Denote by v m a highest weight vector of the summand V n l(m) given by formula (A.1). Define the scalar product on P 2,n by the rule: f,f = 1, if f P 2,n is a nonzero monomial, and f,h = 0, if f,h P 2,n are two non-proprosional monomials. Lemma 4.5. We have v m,v m 0 for every m. The proof is straightforward by formula (A.1). Lemma 4.6. w 1,e n ij w 2 = e n ji w 1,w 2 for any w 1,w 2 P 2,n, and i,j = 1,...,n. The proof is straightforward. Corollary 4.7. If vectors w and w belong to distinct summands of decomposition (4.15), then w, w = 0. Proof. The summands of decomposition (4.15) are eigenspaces of the operator I n, and the corresponding eigenvalues are distinct. Notice that the operator I n is symmetric with respect to the scalar product,. Together with Lemma 4.6 this implies the statement. Denote L ij (t) = t(e n ij ) (1) + M ij (t) = t(e n ij ) (1) + k=1 k=1 (e n ik ) (1)(e n kj ) (2), (e n kj ) (1)(e n ik ) (2), α m (t) = L m1 +m 2 m+1,m(t) v m,v m 1, β m (t) = M m1 +m 2 m+1,m(t) v m,v m 1. Lemma 4.8. The functions α m (t) and β m (t) are nonzero, and (4.16) α m (t) β m (t) = t+1+m 1 m t 1+m m 2.
8 8 V. TARASOV AND F. UVAROV The proof is given in Appendix. Due to relation (3.1), for any m there exists a scalar function ρ m (t) such that R n 12 (t)w = ρ m (t)w for any w V n l(m). Lemma 4.9. It holds that (4.17) ρ m (t) ρ m 1 (t) = α m(t) β m (t). Proof. Let us single out the term V l(m 1) in the decomposition (4.15): V n m 1 V n m 2 = V l(m 1) Ṽ. Then we can write Lm1 +m 2 m+1,m(t) v m = w + w, where w V l(m 1) and w Ṽ. By the definition of L m 1 +m 2 m+1,m(t), the vector w has weight l(m 1). Therefore, w = av m 1 for some scalar a. By Corollary 4.7, we have α m (t) = L m1 +m 2 m+1,m(t) v m,v m 1 = a v m 1,v m 1. Notice that R n 12 (t) w Ṽ, because R-matrix R n 12 (t) acts as a multiplication by a scalar functiononeachsummandofthedecomposition(4.15). Then, bycorollary4.7, R n 12 (t) w,v m 1 = 0, and R n 12 (t)l m 1 +m 2 m+1,m(t) v m,v m 1 = R n 12 (t)w,v m 1 = On the other hand, relation (3.2) gives = ρ m 1 (t)a v m 1,v m 1 = ρ m 1 (t)α m (t). R n 12 (t)l m1 +m 2 m+1,m(t) v m,v m 1 = M m1 +m 2 m+1,m(t)r n 12 (t) v m,v m 1 = ρ m (t)β m (t). Thus we get α m (t)ρ m 1 (t) = ρ m (t)β m (t), which is relation (4.17). By formulae (4.17), (4.16), (4.18) ρ m (t) = m s=1 m 1 ρ s (t) ρ s 1 (t) = t+m 1 s t m 2 +s. For the last equality we used that ρ 0 = 1 by the normalization condition (3.3). Consider a decomposition of the gl 2 -module: V 2 V 2 = V 2 ( l m,m) W 2 m, 0 m l /2 s=0 where l = i l i and W 2 m are multiplicity spaces. Let (V 2 V 2 )[m 1,m 2 ] m = (V 2 V 2 )[m 1,m 2 ] (V 2 ( l m,m) W 2 m ). Lemma It holds that m 2 1 (4.19) B 2 t+m 2 s 12 (t) 2 (V l V 2 1 ln )[m 1,m 2 ] m = t m 1 +s. Proof. The modules V 2 l i can have only the following highest weights: (1,1),(1,0),(0,0). Moreover, the modules V 2 2 (0,0) and V (1,1) are one-dimensional and the elements e 12, e 21, and e 11 e 22 act there by zero. Thus, it is enough to consider the case when V 2 l i = V 2 (1,0) for all i, so formula (4.19) follows from [7, formula (5.13)]. s=m
9 DUALITY FOR KNIZHNIK-ZAMOLODCHIKOV AND DYNAMICAL OPERATORS 9 Comparing formulas (4.18), (4.19), and (4.12), we conclude: (4.20) ρ m (t) = (B 2 12 ( t)c 2 12 (t)) (V 2 V 2 ln )[m 1,m 2 ] m. Lemma For the Casimir elements I 2 and I n, we have 2 (4.21) I 2 2 e 2 aa I n +n e n ii. The proof is straightforward. Recall that on the irreducible gl k -module V l, the element I k acts as a multiplication by (l,l+2ρ). Then it is easy to verify that (4.22) (I e aa 2 ) = V 2 ( I n +n ( l m,m) W 2 m e n ii ) n V. l(m) Comparing formulae (4.21) and (4.22), and using the fact that the Casimir elements act on distinct irreducible modules as a multiplication by distinct scalar functions, we get that under isomorphisms (4.1) and (4.2) the respective images of V 2 ( l m,m) W 2 m and V n l(m) in P 2,n coincide. To indicate that, we will write V 2 ( l m,m) W 2 m V n l(m). We also have (V 2 V 2 )[m 1,m 2 ] (V m n 1 V m n 2 )[,..., ]. Therefore (V m n 1 V n m 2 )[,..., ] V n l(m) (V 2 V 2 )[m 1,m 2 ] m. Nowwe see that(4.20)gives usrelation betweenactionsofoperatorsb 2 12 (t), C 2 12 (t), andr n 12 (t)ononeparticularsubmoduleofp 2,n, proving the theorem. Let (A.1) v m = Appendix A. Proof of Lemma 4.8 m x 1i x 2i {ε} x ε1,m+1x ε2,m+2..x εm1 +m 2 2m,m 1 +m 2 m with {ε} = { (ε 1, ε 2,...,ε m1 +m 2 2m) : ε i = 1 or 2, ε i = m 1 m + 2(m 2 m) }. One can i easily prove that v m is a highest weight vector of weight l(m). It follows from the construction of the scalar product, that α m (t) (resp. β m (t)) equals the sum of the coefficients of those monomials presented in L m1 +m 2 m+1,m(t) v m (resp. M m1 +m 2 m+1,m(t) v m ) that also appear in v m 1. In fact, all monomials either in L m1 +m 2 m+1,m(t) v m or in M m1 +m 2 m+1,m(t) v m appear in v m 1 as well. We will start with α m. Denote s = m 1 +m 2 m+1. Let us inspect what happens when we apply various terms of L sm (t) to v m. For the sum n (e sk ) (1) (e km ) (2), we can assume that m k < s. If k > m, then the operator (e sk ) (1) (e km ) (2) will send a monomial in v m to zero if and only if this monomial does not depend on x 1k. That is, we look at all terms in v m corresponding to ε k m = 1. There are C m 2 m m 1 +m 2 2m 1 such terms with the same contribution ( 1) m 1+m 2 +m. We leave the details of this calculation to a reader. Under the assumption m < k < s, there are m 1 +m 2 2m different values of k, which yield the overall contribution ( 1) m 1+m 2 +m (m 1 +m 2 2m)C m 2 m m 1 +m 2 2m 1 to α m(t). k=1
10 10 V. TARASOV AND F. UVAROV If k = m, then we have (e sk ) (1) (e km ) (2) v m = (e sm ) (1) v m. Therefore, all C m 1 m m 1 +m 2 2m terms in v m equally contribute ( 1) m 1+m 2 +m (m 1 +m 2 2m). Finally, the term t(e ij ) (1) in L sm (t) generates the contribution t( 1) m 1+m 2 +m C m 1 m m 1 +m 2 2m to α m (t), which can be seen similarly to the case k = m considered above. Thus we obtained (A.2) ( 1) m 1+m 2 +m α m = (t+1)c m 1 m m 1 +m 2 2m +(m 1 +m 2 2m)C m 2 m m 1 +m 2 2m 1. The similar arguments give us (A.3) ( 1) m 1+m 2 +m β m = (t 1)C m 1 m m 1 +m 2 2m (m 1 +m 2 2m)C m 1 m m 1 +m 2 2m 1. Since (m 1 +m 2 2m)C m 1 m m 1 +m 2 2m 1 = (m 1 m)c m 1 m m 1 +m 2 2m and (m 1 +m 2 2m)C m 2 m m 1 +m 2 2m 1 = (m 2 m)c m 1 m m 1 +m 2 2m, Lemma 4.8 is proved. References [1] S-J. Cheng, W. Wang, Dualities and Representations of Lie Superalgebras, Amer. Math. Soc. (2012), [2] P. Etingof, I. Frenkel, A. Kirillov, Lectures on Representation Theory and Knizhnik- Zamolodchikov Equations, Math. Surveys and Monographs, vol. 58, Amer. Math. Soc., Providence, RI, [3] P. Etingof, A. Varchenko, Dynamical Weyl Groups and Applications, Adv. Math. 167 (2002), no. 1, [4] G. Felder, Ya. Markov, V. Tarasov and A. Varchenko, Differential Equations Compatible with KZ Equations, Math. Phys., Analysis and Geometry 3 (2000), [5] V. Tarasov and A. Varchenko, The Dynamical Differential Equations Compatible with the Rational qkz Equations, Letters in Mathematical Physics 71(2) (2004). [6] V. Tarasov and A. Varchenko, Difference Equations Compatible with Trigonometric KZ Differential Equations, Int. Math. Res. Notices (2000), no. 15, [7] V. Tarasov, A. Varchenko, Duality for Knizhnik-Zamolodchikov and Dynamical Equations, Acta Appl. Math. 73 (2002), no. 1-2, [8] V. Toledano-Laredo, The Trigonometric Casimir Connection of a Simple Lie Algebra, Journal of Algebra, vol. 329, iss. 1, 1 March 2011, [9] V. Toledano-Laredo, Y. Yang, The Elliptic Casimir Connection of a Simple Lie Algebra, arxiv: [10] B. Vicedo, C. Young, (gl m,g )-Dualities in Gaudin Models with Irregular Singularities, SIGMA 14 (2018), 040, 28 p.
arxiv:math/ v1 [math.qa] 26 Oct 2006
A GENERALIZATION OF THE CAPELLI IDENTITY arxiv:math/0610799v1 [math.qa] 26 Oct 2006 E. MUKHIN, V. TARASOV, AND A. VARCHENKO Abstract. We prove a generalization of the Capelli identity. As an application
More informationHow to sharpen a tridiagonal pair
How to sharpen a tridiagonal pair Tatsuro Ito and Paul Terwilliger arxiv:0807.3990v1 [math.ra] 25 Jul 2008 Abstract Let F denote a field and let V denote a vector space over F with finite positive dimension.
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationLECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)
LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 1.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. 1. Algebras. Derivations. Definition of Lie algebra 1.1. Algebras. Let k be a field. An algebra over k (or k-algebra) is a vector space A endowed with a bilinear
More informationLIE ALGEBRAS: LECTURE 7 11 May 2010
LIE ALGEBRAS: LECTURE 7 11 May 2010 CRYSTAL HOYT 1. sl n (F) is simple Let F be an algebraically closed field with characteristic zero. Let V be a finite dimensional vector space. Recall, that f End(V
More informationMIURA OPERS AND CRITICAL POINTS OF MASTER FUNCTIONS arxiv:math/ v2 [math.qa] 12 Oct 2004
MIURA OPERS AND CRITICAL POINTS OF MASTER FUNCTIONS arxiv:math/03406v [math.qa] Oct 004 EVGENY MUKHIN, AND ALEXANDER VARCHENKO, Abstract. Critical points of a master function associated to a simple Lie
More informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
More informationDESCRIPTION OF SIMPLE MODULES FOR SCHUR SUPERALGEBRA S(2j2)
DESCRIPTION OF SIMPLE MODULES FOR SCHUR SUPERALGEBRA S(22) A.N. GRISHKOV AND F. MARKO Abstract. The goal of this paper is to describe explicitly simple modules for Schur superalgebra S(22) over an algebraically
More informationarxiv: v1 [math-ph] 28 Mar 2019
ITEP-TH-07 /19 The Dynamical equations for gln m E. Dotsenko 1,2,3 1 - Institute for Theoretical and Experimental Physics, Moscow, 117218, Russia 2 - Moscow Institute of physics and Technology, Dolgoprudny,
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationTridiagonal pairs of q-racah type and the quantum enveloping algebra U q (sl 2 )
Tridiagonal pairs of q-racah type and the quantum enveloping algebra U q (sl 2 ) Sarah Bockting-Conrad University of Wisconsin-Madison June 5, 2014 Introduction This talk is about tridiagonal pairs and
More informationA classification of sharp tridiagonal pairs. Tatsuro Ito, Kazumasa Nomura, Paul Terwilliger
Tatsuro Ito Kazumasa Nomura Paul Terwilliger Overview This talk concerns a linear algebraic object called a tridiagonal pair. We will describe its features such as the eigenvalues, dual eigenvalues, shape,
More informationHighest-weight Theory: Verma Modules
Highest-weight Theory: Verma Modules Math G4344, Spring 2012 We will now turn to the problem of classifying and constructing all finitedimensional representations of a complex semi-simple Lie algebra (or,
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 2.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined
More informationarxiv:math/ v1 [math.qa] 5 Nov 2002
A new quantum analog of the Brauer algebra arxiv:math/0211082v1 [math.qa] 5 Nov 2002 A. I. Molev School of Mathematics and Statistics University of Sydney, NSW 2006, Australia alexm@ maths.usyd.edu.au
More informationCasimir elements for classical Lie algebras. and affine Kac Moody algebras
Casimir elements for classical Lie algebras and affine Kac Moody algebras Alexander Molev University of Sydney Plan of lectures Plan of lectures Casimir elements for the classical Lie algebras from the
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,
More informationarxiv:math/ v2 [math.qa] 12 Jun 2004
arxiv:math/0401137v2 [math.qa] 12 Jun 2004 DISCRETE MIURA OPERS AND SOLUTIONS OF THE BETHE ANSATZ EQUATIONS EVGENY MUKHIN,1 AND ALEXANDER VARCHENKO,2 Abstract. Solutions of the Bethe ansatz equations associated
More informationA REMARK ON SIMPLICITY OF VERTEX ALGEBRAS AND LIE CONFORMAL ALGEBRAS
A REMARK ON SIMPLICITY OF VERTEX ALGEBRAS AND LIE CONFORMAL ALGEBRAS ALESSANDRO D ANDREA Ad Olivia, che mi ha insegnato a salutare il Sole ABSTRACT. I give a short proof of the following algebraic statement:
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 7.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define
More informationA matrix over a field F is a rectangular array of elements from F. The symbol
Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F ) denotes the collection of all m n matrices over F Matrices will usually be denoted
More informationGenerators of affine W-algebras
1 Generators of affine W-algebras Alexander Molev University of Sydney 2 The W-algebras first appeared as certain symmetry algebras in conformal field theory. 2 The W-algebras first appeared as certain
More informationarxiv: v1 [math.qa] 18 Nov 2007
ITEP-TH-66/06 A computation of universal weight function for quantum affine algebra U q ĝl N Sergey Khoroshkin and Stanislav Pakuliak 2 arxiv:07.289v [math.qa] 8 Nov 2007 Institute of Theoretical & Experimental
More informationBLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)
BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that
More information2.4 Root space decomposition
34 CHAPTER 2. SEMISIMPLE LIE ALGEBRAS 2.4 Root space decomposition Let L denote a semisimple Lie algebra in this section. We will study the detailed structure of L through its adjoint representation. 2.4.1
More informationSCHUR-WEYL DUALITY FOR QUANTUM GROUPS
SCHUR-WEYL DUALITY FOR QUANTUM GROUPS YI SUN Abstract. These are notes for a talk in the MIT-Northeastern Fall 2014 Graduate seminar on Hecke algebras and affine Hecke algebras. We formulate and sketch
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationA PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS. Thomas J. Enright, Markus Hunziker and Nolan R. Wallach
A PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS Thomas J. Enright, Markus Hunziker and Nolan R. Wallach Abstract. Let (G, K) be a Hermitian symmetric pair and let g and k denote the corresponding complexified
More informationarxiv: v1 [math.rt] 15 Oct 2008
CLASSIFICATION OF FINITE-GROWTH GENERAL KAC-MOODY SUPERALGEBRAS arxiv:0810.2637v1 [math.rt] 15 Oct 2008 CRYSTAL HOYT AND VERA SERGANOVA Abstract. A contragredient Lie superalgebra is a superalgebra defined
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationLIE ALGEBRAS,II. MIT-Fall 2005
LIE ALGEBRAS,II MIT-Fall 2005 Proposition. Assume that k is algebraically closed, of characteristic 0. Let L be a solvable Lie algebra, dim(l)
More informationarxiv:q-alg/ v1 7 Dec 1997
Capelli Identities for Classical Lie Algebras Alexander Molev 1, Maxim Nazarov 2 arxiv:q-alg/9712021v1 7 Dec 1997 1 Centre for Mathematics and its Applications, Australian National University, Canberra
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationLinear algebra 2. Yoav Zemel. March 1, 2012
Linear algebra 2 Yoav Zemel March 1, 2012 These notes were written by Yoav Zemel. The lecturer, Shmuel Berger, should not be held responsible for any mistake. Any comments are welcome at zamsh7@gmail.com.
More informationAtypical representations of the Lie superalgebra sl(1,n) for n greater than 1
Seminar Sophus Lie 3 (1993) 15 24 Atypical representations of the Lie superalgebra sl(1,n) for n greater than 1 Hartmut Schlosser 1. Preliminaries The Lie superalgebra (LSA) sl(1, n) with n > 1 is a concrete
More informationA CHARACTERIZATION OF THE MOONSHINE VERTEX OPERATOR ALGEBRA BY MEANS OF VIRASORO FRAMES. 1. Introduction
A CHARACTERIZATION OF THE MOONSHINE VERTEX OPERATOR ALGEBRA BY MEANS OF VIRASORO FRAMES CHING HUNG LAM AND HIROSHI YAMAUCHI Abstract. In this article, we show that a framed vertex operator algebra V satisfying
More informationSCHUR-WEYL DUALITY FOR U(n)
SCHUR-WEYL DUALITY FOR U(n) EVAN JENKINS Abstract. These are notes from a lecture given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in December 2009.
More informationSome notes on linear algebra
Some notes on linear algebra Throughout these notes, k denotes a field (often called the scalars in this context). Recall that this means that there are two binary operations on k, denoted + and, that
More informationFUSION PROCEDURE FOR THE BRAUER ALGEBRA
FUSION PROCEDURE FOR THE BRAUER ALGEBRA A. P. ISAEV AND A. I. MOLEV Abstract. We show that all primitive idempotents for the Brauer algebra B n ω can be found by evaluating a rational function in several
More informationLinear Algebra March 16, 2019
Linear Algebra March 16, 2019 2 Contents 0.1 Notation................................ 4 1 Systems of linear equations, and matrices 5 1.1 Systems of linear equations..................... 5 1.2 Augmented
More informationIVAN LOSEV. KEK 1 = q 2 E, KF K 1 = q 2 F, EF F E = K K 1 q q 1.
LECTURE 13: REPRESENTATIONS OF U q (g) AND R-MATRICES IVAN LOSEV Introduction In this lecture we study the representation theory of U q (g) when q is not a root of 1. In Section 1, we classify the finite
More informationa 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 11 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,, a n, b are given real
More informationarxiv:math/ v2 [math.qa] 10 Feb 2007
Bethe Eigenvectors of Higher Transfer Matrices EMukhin, VTarasov, and AVarchenko arxiv:math/060505v2 [mathqa] 0 Feb 2007, Department of Mathematical Sciences Indiana University Purdue University at Indianapolis
More informationClassical Lie algebras and Yangians
Classical Lie algebras and Yangians Alexander Molev University of Sydney Advanced Summer School Integrable Systems and Quantum Symmetries Prague 2007 Lecture 1. Casimir elements for classical Lie algebras
More informationREPRESENTATIONS OF S n AND GL(n, C)
REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although
More informationLinear Algebra review Powers of a diagonalizable matrix Spectral decomposition
Linear Algebra review Powers of a diagonalizable matrix Spectral decomposition Prof. Tesler Math 283 Fall 2018 Also see the separate version of this with Matlab and R commands. Prof. Tesler Diagonalizing
More informationRepresentations of semisimple Lie algebras
Chapter 14 Representations of semisimple Lie algebras In this chapter we study a special type of representations of semisimple Lie algberas: the so called highest weight representations. In particular
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationne varieties (continued)
Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we
More informationGroup Gradings on Finite Dimensional Lie Algebras
Algebra Colloquium 20 : 4 (2013) 573 578 Algebra Colloquium c 2013 AMSS CAS & SUZHOU UNIV Group Gradings on Finite Dimensional Lie Algebras Dušan Pagon Faculty of Natural Sciences and Mathematics, University
More informationA NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO
A NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO JASON P. BELL Abstract. Let k be a field. We show that a finitely generated simple Goldie k-algebra of quadratic growth is noetherian and has Krull dimension
More informationExamples of self-iterating Lie algebras
Journal of Algebra 302 2006) 881 886 www.elsevier.com/locate/jalgebra Examples of self-iterating Lie algebras V.M. Petrogradsky Faculty of Mathematics, Ulyanovsk State University, Lev Tolstoy 42, Ulyanovsk,
More informationLinear Algebra M1 - FIB. Contents: 5. Matrices, systems of linear equations and determinants 6. Vector space 7. Linear maps 8.
Linear Algebra M1 - FIB Contents: 5 Matrices, systems of linear equations and determinants 6 Vector space 7 Linear maps 8 Diagonalization Anna de Mier Montserrat Maureso Dept Matemàtica Aplicada II Translation:
More informationThe Spinor Representation
The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)
More informationProjective Quantum Spaces
DAMTP/94-81 Projective Quantum Spaces U. MEYER D.A.M.T.P., University of Cambridge um102@amtp.cam.ac.uk September 1994 arxiv:hep-th/9410039v1 6 Oct 1994 Abstract. Associated to the standard SU (n) R-matrices,
More informationReview of Linear Algebra
Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space
More information(6) For any finite dimensional real inner product space V there is an involutive automorphism α : C (V) C (V) such that α(v) = v for all v V.
1 Clifford algebras and Lie triple systems Section 1 Preliminaries Good general references for this section are [LM, chapter 1] and [FH, pp. 299-315]. We are especially indebted to D. Shapiro [S2] who
More informationKnizhnik-Zamolodchikov type equations for the root system B and Capelli central elements
Journal of Physics: Conference Series OPEN ACCESS Knizhnik-Zamolodchikov type equations for the root system B and Capelli central elements To cite this article: D V Artamonov and V A Golubeva 2014 J. Phys.:
More informationNOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS
NOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS MARK WILDON Contents 1. Definition of polynomial representations 1 2. Weight spaces 3 3. Definition of the Schur functor 7 4. Appendix: some
More informationPhys 201. Matrices and Determinants
Phys 201 Matrices and Determinants 1 1.1 Matrices 1.2 Operations of matrices 1.3 Types of matrices 1.4 Properties of matrices 1.5 Determinants 1.6 Inverse of a 3 3 matrix 2 1.1 Matrices A 2 3 7 =! " 1
More informationRepresentation Theory
Representation Theory Representations Let G be a group and V a vector space over a field k. A representation of G on V is a group homomorphism ρ : G Aut(V ). The degree (or dimension) of ρ is just dim
More informationQuantum integrable systems and non-skew-symmetric classical r-matrices. T. Skrypnyk
Quantum integrable systems and non-skew-symmetric classical r-matrices. T. Skrypnyk Universita degli studi di Milano Bicocca, Milano, Italy and Bogolyubov Institute for Theoretical Physics, Kyiv, Ukraine
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationHigher Schur-Weyl duality for cyclotomic walled Brauer algebras
Higher Schur-Weyl duality for cyclotomic walled Brauer algebras (joint with Hebing Rui) Shanghai Normal University December 7, 2015 Outline 1 Backgroud 2 Schur-Weyl duality between general linear Lie algebras
More informationSupplementary Notes on Linear Algebra
Supplementary Notes on Linear Algebra Mariusz Wodzicki May 3, 2015 1 Vector spaces 1.1 Coordinatization of a vector space 1.1.1 Given a basis B = {b 1,..., b n } in a vector space V, any vector v V can
More informationFrom Schur-Weyl duality to quantum symmetric pairs
.. From Schur-Weyl duality to quantum symmetric pairs Chun-Ju Lai Max Planck Institute for Mathematics in Bonn cjlai@mpim-bonn.mpg.de Dec 8, 2016 Outline...1 Schur-Weyl duality.2.3.4.5 Background.. GL
More informationSolutions to the XXX type Bethe ansatz equations and ag varieties
CEJM 2 (2003) 238{271 Solutions to the XXX type Bethe ansatz equations and ag varieties E. Muhin 1, A. Varcheno 2y 1 Department of Mathematical Sciences, Indiana University - Purdue University Indianapolis,
More informationIrreducible Representations of Sp(C 2l, Ω) on C 2l
Irreducible Representations of Sp(C 2l, Ω) on C 2l Department of Mathematics University of Texas at Arlington Arlington, TX USA March, 2016 We fix G GL C (N) to be a reductive linear algebraic group. By
More informationNon commutative Khintchine inequalities and Grothendieck s theo
Non commutative Khintchine inequalities and Grothendieck s theorem Nankai, 2007 Plan Non-commutative Khintchine inequalities 1 Non-commutative Khintchine inequalities 2 µ = Uniform probability on the set
More informationMAT 2037 LINEAR ALGEBRA I web:
MAT 237 LINEAR ALGEBRA I 2625 Dokuz Eylül University, Faculty of Science, Department of Mathematics web: Instructor: Engin Mermut http://kisideuedutr/enginmermut/ HOMEWORK 2 MATRIX ALGEBRA Textbook: Linear
More informationMAT 5330 Algebraic Geometry: Quiver Varieties
MAT 5330 Algebraic Geometry: Quiver Varieties Joel Lemay 1 Abstract Lie algebras have become of central importance in modern mathematics and some of the most important types of Lie algebras are Kac-Moody
More information0.1 Rational Canonical Forms
We have already seen that it is useful and simpler to study linear systems using matrices. But matrices are themselves cumbersome, as they are stuffed with many entries, and it turns out that it s best
More informationLinear Algebra review Powers of a diagonalizable matrix Spectral decomposition
Linear Algebra review Powers of a diagonalizable matrix Spectral decomposition Prof. Tesler Math 283 Fall 2016 Also see the separate version of this with Matlab and R commands. Prof. Tesler Diagonalizing
More informationarxiv: v1 [math.rt] 11 Sep 2009
FACTORING TILTING MODULES FOR ALGEBRAIC GROUPS arxiv:0909.2239v1 [math.rt] 11 Sep 2009 S.R. DOTY Abstract. Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of
More informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
More informationIsotropic harmonic oscillator
Isotropic harmonic oscillator 1 Isotropic harmonic oscillator The hamiltonian of the isotropic harmonic oscillator is H = h m + 1 mω r (1) = [ h d m dρ + 1 ] m ω ρ, () ρ=x,y,z a sum of three one-dimensional
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationMAT265 Mathematical Quantum Mechanics Brief Review of the Representations of SU(2)
MAT65 Mathematical Quantum Mechanics Brief Review of the Representations of SU() (Notes for MAT80 taken by Shannon Starr, October 000) There are many references for representation theory in general, and
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND Second Online Version, December 998 Comments to the author at krm@mathsuqeduau All contents copyright c 99 Keith
More informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationLECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O
LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O CHRISTOPHER RYBA Abstract. These are notes for a seminar talk given at the MIT-Northeastern Category O and Soergel Bimodule seminar (Autumn
More informationRepresentations of Matrix Lie Algebras
Representations of Matrix Lie Algebras Alex Turzillo REU Apprentice Program, University of Chicago aturzillo@uchicago.edu August 00 Abstract Building upon the concepts of the matrix Lie group and the matrix
More informationAPPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2.
APPENDIX A Background Mathematics A. Linear Algebra A.. Vector algebra Let x denote the n-dimensional column vector with components 0 x x 2 B C @. A x n Definition 6 (scalar product). The scalar product
More informationFoundations of Matrix Analysis
1 Foundations of Matrix Analysis In this chapter we recall the basic elements of linear algebra which will be employed in the remainder of the text For most of the proofs as well as for the details, the
More informationSCHUR-WEYL DUALITY QUANG DAO
SCHUR-WEYL DUALITY QUANG DAO Abstract. We will switch gears this week and talk about the relationship between irreducible representations of the symmetric group S k and irreducible finite-dimensional representations
More informationTHE CENTRALIZER OF K IN U(g) C(p) FOR THE GROUP SO e (4,1) Ana Prlić University of Zagreb, Croatia
GLASNIK MATEMATIČKI Vol. 5(7)(017), 75 88 THE CENTRALIZER OF K IN U(g) C(p) FOR THE GROUP SO e (4,1) Ana Prlić University of Zagreb, Croatia Abstract. Let G be the Lie group SO e(4,1), with maximal compact
More informationMAKSYM FEDORCHUK. n ) = z1 d 1 zn d 1.
DIRECT SUM DECOMPOSABILITY OF SMOOTH POLYNOMIALS AND FACTORIZATION OF ASSOCIATED FORMS MAKSYM FEDORCHUK Abstract. We prove an if-and-only-if criterion for direct sum decomposability of a smooth homogeneous
More informationNOTES ON RESTRICTED INVERSE LIMITS OF CATEGORIES
NOTES ON RESTRICTED INVERSE LIMITS OF CATEGORIES INNA ENTOVA AIZENBUD Abstract. We describe the framework for the notion of a restricted inverse limit of categories, with the main motivating example being
More informationOn the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8
213 226 213 arxiv version: fonts, pagination and layout may vary from GTM published version On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional
More informationDissimilarity maps on trees and the representation theory of GL n (C)
Dissimilarity maps on trees and the representation theory of GL n (C) Christopher Manon Department of Mathematics University of California, Berkeley Berkeley, California, U.S.A. chris.manon@math.berkeley.edu
More informationThe Cartan Decomposition of a Complex Semisimple Lie Algebra
The Cartan Decomposition of a Complex Semisimple Lie Algebra Shawn Baland University of Colorado, Boulder November 29, 2007 Definition Let k be a field. A k-algebra is a k-vector space A equipped with
More informationON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS
ON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS JOHN R. BRITNELL AND MARK WILDON Abstract. It is known that that the centralizer of a matrix over a finite field depends, up to conjugacy,
More informationMATH 221 NOTES BRENT HO. Date: January 3, 2009.
MATH 22 NOTES BRENT HO Date: January 3, 2009. 0 Table of Contents. Localizations......................................................................... 2 2. Zariski Topology......................................................................
More informationTHE MINIMAL POLYNOMIAL AND SOME APPLICATIONS
THE MINIMAL POLYNOMIAL AND SOME APPLICATIONS KEITH CONRAD. Introduction The easiest matrices to compute with are the diagonal ones. The sum and product of diagonal matrices can be computed componentwise
More informationCharacter values and decomposition matrices of symmetric groups
Character values and decomposition matrices of symmetric groups Mark Wildon Abstract The relationships between the values taken by ordinary characters of symmetric groups are exploited to prove two theorems
More informationq-inverting pairs of linear transformations and the q-tetrahedron algebra
q-inverting pairs of linear transformations and the q-tetrahedron algebra arxiv:math/0606237v1 [math.rt] 10 Jun 2006 Tatsuro Ito and Paul Terwilliger Abstract As part of our study of the q-tetrahedron
More informationHessenberg Pairs of Linear Transformations
Hessenberg Pairs of Linear Transformations Ali Godjali November 21, 2008 arxiv:0812.0019v1 [math.ra] 28 Nov 2008 Abstract Let K denote a field and V denote a nonzero finite-dimensional vector space over
More informationMatrix Algebra. Matrix Algebra. Chapter 8 - S&B
Chapter 8 - S&B Algebraic operations Matrix: The size of a matrix is indicated by the number of its rows and the number of its columns. A matrix with k rows and n columns is called a k n matrix. The number
More informationCitation Osaka Journal of Mathematics. 43(2)
TitleIrreducible representations of the Author(s) Kosuda, Masashi Citation Osaka Journal of Mathematics. 43(2) Issue 2006-06 Date Text Version publisher URL http://hdl.handle.net/094/0396 DOI Rights Osaka
More information