Cayley map and Higher Dimensional Representations of Rotations
|
|
- Asher Nichols
- 5 years ago
- Views:
Transcription
1 Cayley map and Higher Dimensional Representations of Rotations VELIKO D. DONCHEV, CLEMENTINA D. MLADENOVA and IVAÏLO M. MLADENOV Geometry, Integrability and Quantization XVIII Varna, 3-8 June
2 The presentation Vector-parameter forms of SO(3, R) and SU(2) Vector-parameter forms of SO(2,1) and SU(1,1) More benefits of the Cayley map Summary of the results The embeddings of the so(3) Lie algebra and the Lie group SO(3, R) in higher dimensions is an important construction from both mathematical and physical viewpoint. Here we will present a program package for building the generating matrices of the irreducible embeddings of the so(3) Lie algebra within so(n) for arbitrary dimension n 3 relying on the algorithm developed recently by Campoamor- Strursberg [2015]. We will show also that the Cayley map applied to C so(n) is well defined and generates a subset of SO(n). Furthermore, we obtain explicit formulas for the images of the Cayley map in all cases.
3 Vector-parameter forms of SO(3, R) and SU(2) Vector-parameter forms of SO(2,1) and SU(1,1) More benefits of the Cayley map This research is made within a bigger project which is about parameterizing Lie groups with small dimension and its application in physics. Parameterizations are used to describe Lie groups in an easier and more intuitive way. Let G be a finite dimensional Lie group with Lie algebra g. A vector parameterization of G is a map g G, which is diffeomorphic onto its image. Besides the exponential map, there are other alternatives to achieve parameterization. We make use of the Cayley map Cay(X) = (I + X)(I X) 1. (1)
4 Vector-parameter forms of SO(3, R) and SU(2) Vector-parameter forms of SO(2,1) and SU(1,1) More benefits of the Cayley map In Donchev et al, 2015 the Cayley maps for the Lie algebras su(2) and so(3) and the corresponding Lie groups SU(2) and SO(3, R) are examined. The vector-parameter of Gibbs (or Fedorov) is a convenient way to represent proper SO(3, R) rotations. A rotation of angle θ about an axis n is represented by the vector c = tan θ n. Any proper SO(3, R) 2 rotation is expressed in the terms of c in the following manner R(c) = c c1 2 c 1 c 2 c 3 c 1 c 3 + c 2 c 1 c 2 + c c2 2 c 2 c 3 c 1 I. (2) c 1 c 3 c 2 c 2 c 3 + c c3 2
5 Vector-parameter forms of SO(3, R) and SU(2) Vector-parameter forms of SO(2,1) and SU(1,1) More benefits of the Cayley map However, one has to be careful when half-turns occur because they are not represented by regular Gibbs vectors. We will denote a halfturn about an axis n by O(n). The SO(3, R) matrix that corresponds to O(n) is given by R = 2 n 2 1 n 1 n 2 n 1 n 3 n 1 n 2 n 2 2 n 2 n 3 n 1 n 3 n 2 n 3 n 2 3 I. (3) If c and a represent the rotations R(c), R(a), the composition law in vector-parameter form is given by R( c ) = R(a)R(c), c = c (a, c) = a + c + a c 1 a.c (4) Equation (4) is beautiful, simple and computationally cheap. It takes at most 12 multiplications. In comparison the usual multiplication of two quaternions take 16.
6 Vector-parameter forms of SO(3, R) and SU(2) Vector-parameter forms of SO(2,1) and SU(1,1) More benefits of the Cayley map By the means of the Cayley maps of the Lie algebras su(2) and so(3), a vector parameter form [Donchev et all, 2015] of Wigner s group homomorphism W : SU(2) SO(3, R) is derived. After pulling back the group multiplication in SU(2) by the Cayley map Cay su(2) : su(2) SU(2), explicit formulae for W and for two sections of W are derived. The derived vector-parameterization of SU(2) has the advantage to represent all rotations, including the half-turns. Also the derived composition law is always defined. An arbitrary su(2) element is represented in the following way A = a 1 s 1 + a 2 s 2 + a 3 s 3 = i a s su(2) (5) 2 s i = i 2 σ i, i = 1, 2, 3 and σ i, i = 1, 2, 3 can be viewed as Pauli s matrices.
7 Vector-parameter forms of SO(3, R) and SU(2) Vector-parameter forms of SO(2,1) and SU(1,1) More benefits of the Cayley map Theorem from Donchev, Mladenova & Mladenov, 2015 Let U 1 (c), U 2 (a) SU(2) are the images of A 1 = c s and A 2 = a s under the Cayley map where a, c R 3. Let ã = U 3 ( a, c SU(2) ) = U 2 (a).u 1 (c) (6) denote the composition of U 2 (a) and U 1 (c) in SU(2). The corresponding vector-parameter ã R 3, for which Cay su(2) (A 3 ) = U 3, A 3 = ã s is ) ) (1 c2 a + (1 a2 c + 4 a c a 2 c 2 + a2 4 c 2 4 (7)
8 Vector-parameter forms of SO(3, R) and SU(2) Vector-parameter forms of SO(2,1) and SU(1,1) More benefits of the Cayley map Product of rotations R(c 2 )R(c 1 ) R(c 2 )O(n 1 ) O(n 2 )R(c 1 ) O(n 2 )O(n 1 ) Result Condition Compound rotation c 3 = c 2 + c 1 + c 2 c 1, 1 c 2.c 1 c 2.c 1 1 R(c 3 ) [n 3 ] = [c 2 + c 1 + c 2 c 1 ], c 2.c 1 = 1 O(n 3 ) c 3 = n 1 + c 2 n 1, c 2.n 1 c 2.n 1 0 R(c 3 ) [n 3 ] = [n 1 + c 2 n 1 ], c 2.n 1 = 0 O(n 3 ) c 3 = n 2 + n 2 c 1, n 2.c 1 n 2.c 1 0 R(c 3 ) [n 3 ] = [n 2 + n 2 c 1 ], n 2.c 1 = 0 O(n 3 ) c 3 = n 2 n 1, n 2.n 1 n 2.n 1 0 R(c 3 ) [n 3 ] = [n 2 n 1 ], n 2.n 1 = 0 O(n 3 )
9 Vector-parameter forms of SO(3, R) and SU(2) Vector-parameter forms of SO(2,1) and SU(1,1) More benefits of the Cayley map If H(c 1 ), H(c 1 ) are two SO(2,1) elements represented by the vector parameters and c 1, c 2 and c 1.(ηc 1 ) 1, c 2.(ηc 2 ) 1 and 1 + c 2.(ηc 1 ) 0. Then H(c 3 ) = H(c 2 )H(c 1 ), c 3 = c 2, c 1 SO(2,1) = c 2 + c 1 + c 2 c c 2.(ηc 1 ) (8) where c 2 c 1 := η(c 2 c 1 ). Equation (8) is the vector-parameter form of SO(2,1) obtained by the parameterization given by the Cayley map. The same result was obtained independently by usage of pseudo-quaternions. Pseudo half-turns are also not covered by this parameterization. Also, the case c 2.(ηc 1 ) = 1 is not covered, which corresponds to the result being a pseudo half-turn. In Donchev et all [2015] the Cayley map in the covering group SU(1, 1) is used to extend this composition law.
10 Vector-parameter forms of SO(3, R) and SU(2) Vector-parameter forms of SO(2,1) and SU(1,1) More benefits of the Cayley map Theorem from Donchev, Mladenova & Mladenov, 2015 Let M, A su(1, 1) M = m.e, m = (m 1, m 2, m 3 ), A = a.e, a = (a 1, a 2, a 3 ) be such that m 0, a 0 and (a.(ηa))(m.(ηm)) + 8a.(ηm) (9) Let L(m) = Cay su(1,1) (M), W(a) = Cay su(1,1) (A). Then, if L = W.L is the composition of the images in SU(1, 1) then L = Cay su(1,1) (Ã) where à = m.e and m = (1 + m 2 (η m 2 ))a + (1 + a 2 (η a ))m + a m a 2 (η m 2 ) + ( a 2 (η a 2 ))( m 2 (η m (10) 2 ))
11 Vector-parameter forms of SO(3, R) and SU(2) Vector-parameter forms of SO(2,1) and SU(1,1) More benefits of the Cayley map Product of pseudo rotation R h (c 2 )R h (c 1 ) Compound rotations Conditions Results R h (c) c 2.ηc 1 1 c = c 2 + c 1 + c 2 c c 2.ηc 1 O h (m) c 2.ηc 1 = 1 m = 2 ηc 2 + ηc 1 (ηc 2 ) (ηc 1 ) 1 c2.ηc 2 1 c1.ηc 1 O h (m 2 )R h (c 1 ) R h (c 2 )O h (m 1 ) O h (m 2 )O h (m 1 ) R h (c) m 2.c 1 0 c = η m 2 m 2 (ηc 1 ) m 2.c 1 O h (m) m 2.c 1 = 0 m = m 2 m 2 (ηc 1 ) 1 c1.ηc 1 R h (c) c 2.m 1 0 c = η m 1 (ηc 2 ) m 1 c 2.m 1 O h (m) c 2.m 1 = 0 m = m 1 (ηc 2 ) m 1 1 c2.ηc 2 R h (c) m 1 m 2 c = m 2 m 1 m 2.ηm 1 I m 1 = m 2 c = 0
12 Vector-parameter forms of SO(3, R) and SU(2) Vector-parameter forms of SO(2,1) and SU(1,1) More benefits of the Cayley map The obtained parameterizations of SO(3, R), SU(2), SO(2, 1) and SU(1, 1) via the Cayley map led also to the following additional results: One needs at most 12 multiplications and 18 additions to perform the extended composition law. In comparison, the standard quaternion multiplications takes 16 multiplications. Explicit form of Cartan s theorem is obtained for SO(3, R) using the extended vector-parameter form. Explicit form of Cartan s theorem is formulated and proved for the hyperbolic SO(2, 1) elements. An arbitrary such element is decomposed into product of two pseudo half-turns. The problem for taking a square root in SO(2, 1) is fully and explicitly solved.
13 Explicit formulas Examples Recall the standard R-basis J 3 = {J 3 1, J 3 2, J 3 3 } of so(3) J 3 1 = , J 3 2 = , J 3 3 = Recall that an embedding j : g g of Lie algebras is called irreducible [Dynkin, 1952] if the lowest dimensional irreducible representation Γ of g remains irreducible when restricted to g. Campoamor-Stursberg, 2015 derived explicit formulas for real irreducible representations of the algebra so(3) into so(n) for n 3. To do this, he uses the explicit embedding sl (2, C) sl (n, C).
14 Explicit formulas Examples Let us denote the constructed in [Campoamor, 2015] embedding by j n : so(3) so(n) (11) Its nature is different in terms of the different parity of n. Three different cases can be considered: n = 2m + 1 for m N n = 4r + 2 for r N n = 4r + 2 for r 1 2 N. Let us denote by J i n, i = 1, 2, 3, J n = {J n 1, J n 2, J n 3 } the images of J 3 i, i = 1, 2, 3 under the embedding j n. Let us denote the coefficients l(2m + 1 l) al m =, 0 l m. (12) 4 Here we present refined formulas for computing J n 1, J n 2, J n 3 for all n 3.
15 Explicit formulas Examples For n = 2m + 1, m N we have ( ) 1 + ( 1) (J n 1 ) k,l = (δk+1a l [ m k 2 ] + δl+3 k a [ m k k 2 2 ] ) + (δ l 2 nδ n 1 k δn 1δ l k) n (13) ( ) ( ) am m m2 + m 1 + ( 1) + (δ l 2 k+3a [ m k+1 2 ] + δl+1 k a [ m k 1 k 1 2 ] ) 2 ( ) am m m2 + m + (δ l 2 k+2a [ m k+1 2 ] + δl+2 k (J n 2 ) k,l = (δ l nδ n 2 k δ l n 2δ n k) (J n 3 ) k,l = (1 + ( 1)k )δ l+1 k (n + 1 k) (1 + ( 1) k 1 )δ k+1 l (n k) 4 where 1 k, l n and [x] denotes the integer part of x. a m [ k 1 2 ] )
16 Explicit formulas Examples For n = 4r + 2, r = 1 2, 1, 3 2, 2,... and 1 k, l n ( ) 1 + ( 1) (J n 1 ) k,l = (δk+3 l ar [ k+1 2 ] + δl+1 k a [ r k 1 k 1 2 ] ) 2 ( ) 1 + ( 1) k (δk+1 l 2 ar [ k 2 ] + δl+3 k a [ r k 2 2 ] ) (14) (J n 2 ) k,l = δk+2 l ar [ k+1 2 ] + δl+2 k a [ r k 1 2 ] (J n 3 ) k,l = (1 + ( 1)k )δ l+1 k (n + 1 k) (1 + ( 1) k 1 )δ k+1 l (n k). 4 Besides the correction of the technical errors we changed the signs of J n 1 and J n 2 (this is an automorphism of so(3)) in order to ensure consistency with the case n = 3.
17 Explicit formulas Examples 0 c 3 c 2 c 1 c.j 4 = 1 c 3 0 c 1 c 2 2 c 2 c 1 0 c 3. (15) c 1 c 2 c c 3 c 2 c 1 0 2c 3 0 c 1 c 2 0 c.j 5 = c 2 c 1 0 c 3 3c 2 c 1 c 2 c 3 0 3c c2. (16) 3c c 3 c 2 c c.j 6 = 1 2c3 0 c 1 c c 2 c c 2 c 1 2 c 1 c c 1 c 2 (17) 0 0 c 2 c 1 0 2c3 0 0 c 1 c 2 2c 3 0
18 We will consider the Cayley defined on Im j n, i.e., Cay(C) = (I + C)(I C) 1 (18) for arbitrary Im j n C = c.j n = c 1.J n 1 + c 2.J n 2 + c 3.J n 3, where c = (c 1, c 2, c 3 ), c 2 = c c c 2 3 = c 2 = c 2. (19) We will derive explicit formulas for (18) in the different cases for the parity of n 3.
19 Let n = 2m+1, m 1. The characteristic polynomial of an arbitrary matrix C = c.j n is [Fedorov, Campoamor] p 2m+1 (λ) = λ(λ c 2 )... (λ 2 + m 2 c 2 ) = λ m (λ 2 + t 2 c 2 ) t=1 = λ 2m+1 + α 2m 1 c 2 λ 2m α 1 c 2m λ (20) m = λ 2m+1 + α 2m+1 2t c 2t λ 2m+1 2t t=1 where α 1, α 3,... α 2m 1 are the coefficients of the polynomial p 2m+1. One can derive formulas for them using Vieta s formulas for the polynomial g(µ) = µ m + α 2m 1 µ m 1 + α 2m 3 µ m α 3 µ + α 1 (21) obtained by p 2m+1(λ) λc 2m after a substitution of λ2 for µ. This is the c2 polynomial of degree m with simple roots 1 2, 2 2,... m 2, i.e., g(µ) = (µ )... (µ + m 2 ).
20 We have that α 2m+1 2t = 1 i 1 <...<i t m i i 2 t, t = 1, 2,..., m. (22) For example, the closed forms of α 1, α 2m 3, α 2m 1 for m 2 are α 1 = (m!) 2, α 2m 1 = m(m + 1)(2m + 1) 6, α 2m 3 = m(m2 1)(4m 2 1)(5m + 6) 180 More explicit expressions and relations for the coefficients α 2m+1 2t, t = 1,..., m can be sought via the usage of Bernouli coefficients and the generalized harmonic coefficients H m,2 = m 1. For example, s=1 m2 α 3 = (m!) 2 H m,2.
21 Theorem 1 For an arbitrary n = 2m + 1, m 1 the Cayley map (18) is well-defined on Im j n and the following explicit formula holds true m 1 Cay(C) = I + 2 s=0 1 + m s 1 k=1 α 2k+1 c 2m 2k 1 + α 2m 1 c α 1 c 2m (C2s+1 + C 2s+2 ). (23) for all C = c.j n Im j n. Also, the map Cay takes values in SO(n).
22 Example: n = 5 In the special case n = 5 the characteristic polynomial of the matix C 5 = c.j 5 form (16) is p 5 (λ) = λ 5 4c 2 λ 3 5c 4 λ and the explicit formula for the Cayley map reads as 5c Cay so(5) so(3) (C) = I+2 4c 4 + 5c (C+C2 )+2 4c 4 + 5c (C3 +C 4 ). (24)
23 Proof of Theorem 3, I We need to prove that I C is invertable and to find an explicit formula for it. We will seek a formula for (I C) 1 via the ansatz (I C) 1 = x 0 I + x 1 C +... x 2m C 2m. (25) We seek such numbers x 0,... x 2m that I = (I C)(I C) 1. Taking into account (20) we calculate I = (I C)(x 0 I + x 1 C x 2m C 2m ) =x 0 I + (x 1 x 0 )C + (x 2 x 1 )C (x 2m x 2m 1 )C 2m x 2m C 2m+1 =x 0 I + (x 1 x 0 + x 2m α 1 c 2m )C + (x 2 x 1 )C (26) + (x 2m 1 x 2m 2 + x 2m α 2m 1 c 2 )C 2m 1 + (x 2m x 2m 1 )C 2m m 1 =x 0 I + (x 2s+1 x 2s + x 2m α 2s+1 c 2m 2s )C 2s+1 + s=0 m 1 (x 2s+2 x 2s+1 )C 2s+2. s=0
24 Proof of Theorem 3, II From (26) we directly obtain a linear system of equations for the unknown x 0,..., x 2m consisting of 2m + 1 equations which can be split into the following two parts: x 2 = x 1 x 4 = x 3... x 2m = x 2m 1 and x 0 = 1 x 1 x 0 = x 2m α 1 c 2m x 3 x 2 = x 2m α 3 c 2m 2... x 2m 1 x 2m 2 = x 2m α 2m 1 c 2. (27)
25 Proof of Theorem 3, III Step by step we obtain x 0 = 1 x 2 = x 1 = 1 x 2m α 1 c 2m x 4 = x 3 = 1 x 2m (α 1 c 2m + α 3 c 2m 2 )... x 2m = x 2m 1 = 1 x 2m (α 1 c 2m + α 3 c 2m α 2m 1 c 2 ) (28) Summing up all of equations in (27), we obtain x 2m = x 2m 1 = 1 x 2m (α 2m 1 c α 1 c 2m ) = 1 + x 2m (p 2m+1 (1) + 1) and thus 1 x 2m = p 2m+1 (1) = α 2m 1 c α 1 c 2m
26 Proof of Theorem 3, IV Note that p 2m+1 (1) = p 2m+1 ( 1) = (1 + c 2 )(1 + 4c 2 )... (1 + m 2 c 2 ) > 0 for all c R 3. Substituting this result in (28) gives x 2 = x 1 = x 4 = x 3 =... x 2m = x 2m 1 = 1 + α 2m 1 c α 3 c 2m α 2m 1 c α 1 c 2m 1 + α 2m 1 c α 5 c 2m α 2m 1 c α 1 c 2m α 2m 1 c α 1 c 2m (29) We just obtained that for all c R 3 (I C) 1 exists and m m s 1 α 2k+1 c 2m 2k (I C) 1 k=1 = I α 2m 1 c α 1 c 2m (C2s+1 + C 2s+2 ). s=0 (30)
27 Proof of Theorem 3, V Now it is a straightforward, but tedious calculation of to calculate (I + C)(I C) 1 as a polynomial of C, which leads to the formula (23). It is curious that formulae for (I C) 1 and Cay(C) are so alike. We are left to prove that (I +C)(I C) 1 is an SO(n) matrix. Using the fact that C t = C and the fact that the matrices I C and I + C commute. we obtain ((I + C)(I C) 1 ) t (I + C)(I C) 1 =((I C) 1 ) t (I + C) t (I + C)(I C) 1 = (I + C) 1 (I C)(I + C)(I C) 1 = (I + C) 1 (I + C)(I C)(I C) 1 = I. Furthermore det (I + C)(I C) 1 = The proof is complete. det (I + C) det (I + C) = det (I C) det (I + C) t = 1.
28 The case of even dimension Let n = 4r + 2, r N. The characteristic polynomial of an arbitrary matrix C = c.j n is r p 4r+2 (λ) = λ 2 (λ c 2 ) 2 (λ c 2 ) 2... (λ 2 + r 2 c 2 ) 2 = λ 2 (λ 2 + t 2 c 2 ) 2 = λ 4r+2 + β 4r c 2 λ 4r β 2 c 4r λ 2 (31) 2r = λ 4r+2 + β 4r+2 2t c 2t λ 4r+2 2t t=1 where 1, β 2, β 4,... β 4r are the coefficients of the polynomial p 4r+2. One can derive formulas for them using Vieta s formulas for the polynomial obtained by p 4r+2(λ) λ 2 t=1 h(ν) = ν 2r + β 4r µ 2ν β 4 ν + β 2 (32) after a substitution of λ2 c 2 for µ2 = ν. The distinct roots of h are 1 2, 2 2,..., r 2 and all of them are with a multiplicity of two.
29 Theorem 2 For an arbitrary n = 4r + 2, r N the Cayley map (18) is well-defined on Im j n and the following explicit formula holds true: Cay(C) = I + 2C + 2 r s= r 2s 1 k=1 β 2k+2 c 4r 2k 1 + β 4r c β 2 c 4r (C2s + C 2s+1 ). (33) for all C = c.j n Im j n. Also, the map Cay takes values in SO(n).
30 Example: n = 6 In the special case n = 6 the characteristic polynomial of the matix C 6 = c.j 6 form (16) is p 6 (λ) = λ 6 + 2c 2 λ 4 + c 4 λ 2 and the explicit formula for the Cayley map reads as Cay so(6) so(3) (C) = I+2C+ 2c c 2 + c 4 (C2 +C 3 1 ) c 2 + c 4 (C4 +C 5 ). (34)
31 Let r 1 = 2k 1, k 1 be a half-integer. Then n = 4 2k = 2 2 4r for r N. In these series we will obtain all representations in dimensions n that are multiple of 4. The characteristic polynomial of an arbitrary matrix C = c.j n is r p 4r (λ) = (λ 2 + ( 2t 1 ) 2 c 2 ) 2 (35) 2 t=1 2r = λ 4r + γ 4r 2 c 2 λ 4r γ 0 c 4r λ 0 = λ 4r+2 + γ 4r 2t c 2t λ 4r 2t. Expressions for the coefficients 1, γ 4r 2, γ 4r 4,... γ 2 of the polynomial p 4r+2 can be obtained using Vieta s formulas for the polynomial obtained by p 4r (λ) c 4r t=1 u(ν) = ν 2r + γ 4r 2 µ 2ν γ 4 ν 1 + γ 2 (36) after a substitution of λ2 c 2 for µ2 = ν. The distinct roots of u are ( 1 2 )2, ( 3 2 )2,..., ( r 2 )2 and all of them are with a multiplicity of two.
32 Theorem 3 For an arbitrary n = 4r + 2, r N the Cayley map (18) is well-defined on Im j n and the following explicit formula holds true: Cay(C) = I+2 r s= r 2s 1 k=1 γ 2k c 4r 2k 1 + γ 4r 2 c γ 0 c 4r (C2s +C 2s+1 ). (37) for all C = c.j n Im j n. Also, the map Cay takes values in SO(n).
33 The special case n = 4 The Hamilton Cayley theorem for C reads as C 4 + c2 2 C2 + c4 16 I = O C4 = c2 2 C2 c4 I. (38) 16 Despite this fact one directly can check that in this special case (n = 4) we have also the stronger equality C 2 = c2 I. Using this, let 4 us find an explicit expression for the Cayley map Cay as a polynomial of degree 1 instead of 3 as expected from Theorem 37. We have that (I C) 1 = 4 (I + C), which leads to 4 + c2 Cay(C) = (I + C)(I C) 1 = 4 c2 4 + c 2 I + 8 C. (39) 4 + c2 Obviously, the Cayley map is defined for all c R 3.
34 How do we can extract the vector c from a given matrix R 4 (c) = Cay(C)? We have that tr R 4 (c) = 3 4 c2 4 + c c 2 = 3 tr R 4(c) 24 (40) and thus if we consider A = R 4 (c) R t 16 4 (c) = C than we 4 + c2 have 3 2C(c) = 3 tr R 4 (c) A (41) and c = 2(C 1,4, C 1,3, C 1,2 ).
35 Let C = c.j 4 and A = a.j 4 be two arbitrary elements of Im j 4. Let R c and R a be the images of these matrices under the Cayley map, i.e., R c = Cay(C), R a = Cay(A). Let R = R a R c be their composition in SO(4). We want to find an element C = c.j 4 such that Cay( C) = R = R c. Let us note that the direct calculation gives A.C = a.c 4 I + a c J 4. (42) 2 This leads to very similar calculations as in the case of SU(2) vector parameter. They lead to the following composition of SO(3, R) matrices in SO(4) c = a, c CayIj4 = ) (1 c2 a + 4 ) (1 a2 c + 4 a 4 2 c a 2 c 2 + a2 4 c 2 4 (43)
36 Further development We need to check if the SO(3, R) half-turns are realized as SO(n) matrices for n 4 via the Cayley map applied for the embedded so(3) algebra into so(n). We will investigate what is the composition law for n > 4 We will investigate if there are efficient formulas to extract the matrix C generating the three-dimensional rotation matrix R n (c) SO(n) We will investigate if some important operators representations in dimension n > 3 are more convenient.
37 1 Campoamor-Strursberg R., An Elementary Derivation of the Matrix Elements of Real Irreducible Representations of so(3), Symmetry 7 (2015) Donchev V., Mladenova C. and Mladenov I., On Vector Parameter Form of the SU(2) SO(3, R) Map, Ann. Univ. Sofia 102 (2015) Donchev V., Mladenova C. and Mladenov I., On the Compositions of Rotations, AIP Conf. Proc (2015) Donchev V., Mladenova C. and Mladenov I., Vector-Parameter Forms of SU(1, 1), SL(2, R) and Their Connection to SO(2, 1), Geom. Integrability & Quantization 17 (2016) Dynkin E., Semisimple Subalgebras of Semisimple Lie Algebras, Mat. Sbornik N.S. 30 (1952) Fedorov F., The Lorentz Group (in Russian), Nauka, Moscow 1979.
Vector Parameter Forms of SU(1,1), SL(2, R) and Their Connection with SO(2,1)
Vector Parameter Forms of SU(1,1), SL(, R) and Their Connection with SO(,1) VELIKO D. DONCHEV, CLEMENTINA D. MLADENOVA, IVAÏLO M. MLADENOV Geometry, Integrability and Quantization, Varna, June 015 06.06.015
More informationRodrigues formula for the Cayley transform of groups SO(n) and SE(n)
Stud. Univ. Babeş-Bolyai Math. 60(2015), No. 1, 31 38 Rodrigues formula for the Cayley transform of groups SO(n) and SE(n) Dorin Andrica and Oana Liliana Chender Abstract. In Theorem 3.1 we present, in
More informationIntroduction to Modern Quantum Field Theory
Department of Mathematics University of Texas at Arlington Arlington, TX USA Febuary, 2016 Recall Einstein s famous equation, E 2 = (Mc 2 ) 2 + (c p) 2, where c is the speed of light, M is the classical
More informationProjective Bivector Parametrization of Isometries Part I: Rodrigues' Vector
Part I: Rodrigues' Vector Department of Mathematics, UACEG International Summer School on Hyprcomplex Numbers, Lie Algebras and Their Applications, Varna, June 09-12, 2017 Eulerian Approach The Decomposition
More informationAbout Parametric Representations of SO(n) Matrices and Plane Rotations
About Parametric Representations of SO(n) Matrices and Plane Rotations C D Mladenova and I M Mladenov Institute of Mechanics, Bulgarian Academy of Sciences, Acad G Bonchev str, bl 4, 1113 Sofia, Bulgaria
More informationIntroduction to Group Theory
Chapter 10 Introduction to Group Theory Since symmetries described by groups play such an important role in modern physics, we will take a little time to introduce the basic structure (as seen by a physicist)
More informationGROUP THEORY PRIMER. New terms: so(2n), so(2n+1), symplectic algebra sp(2n)
GROUP THEORY PRIMER New terms: so(2n), so(2n+1), symplectic algebra sp(2n) 1. Some examples of semi-simple Lie algebras In the previous chapter, we developed the idea of understanding semi-simple Lie algebras
More informationQUATERNIONS AND ROTATIONS
QUATERNIONS AND ROTATIONS SVANTE JANSON 1. Introduction The purpose of this note is to show some well-known relations between quaternions and the Lie groups SO(3) and SO(4) (rotations in R 3 and R 4 )
More informationLINEAR ALGEBRA AND iroup THEORY FOR PHYSICISTS
LINEAR ALGEBRA AND iroup THEORY FOR PHYSICISTS K.N. SRINIVASA RAO Professor of Theoretical Physics (Retd) University of Mysore, Mysore, INDIA JOHN WILEY «SONS NEW YORK CHICHESTER BRISBANE TORONTO SINGAPORE
More informationWeyl s Character Formula for Representations of Semisimple Lie Algebras
Weyl s Character Formula for Representations of Semisimple Lie Algebras Ben Reason University of Toronto December 22, 2005 1 Introduction Weyl s character formula is a useful tool in understanding the
More informationBackground on Chevalley Groups Constructed from a Root System
Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described
More informationGROUP THEORY IN PHYSICS
GROUP THEORY IN PHYSICS Wu-Ki Tung World Scientific Philadelphia Singapore CONTENTS CHAPTER 1 CHAPTER 2 CHAPTER 3 CHAPTER 4 PREFACE INTRODUCTION 1.1 Particle on a One-Dimensional Lattice 1.2 Representations
More informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More informationRepresentation theory and quantum mechanics tutorial Spin and the hydrogen atom
Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Justin Campbell August 3, 2017 1 Representations of SU 2 and SO 3 (R) 1.1 The following observation is long overdue. Proposition
More informationLecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition)
Lecture 0: A (Brief) Introduction to Group heory (See Chapter 3.3 in Boas, 3rd Edition) Having gained some new experience with matrices, which provide us with representations of groups, and because symmetries
More informationThese notes are incomplete they will be updated regularly.
These notes are incomplete they will be updated regularly. LIE GROUPS, LIE ALGEBRAS, AND REPRESENTATIONS SPRING SEMESTER 2008 RICHARD A. WENTWORTH Contents 1. Lie groups and Lie algebras 2 1.1. Definition
More informationTHE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS
Trudy Moskov. Matem. Obw. Trans. Moscow Math. Soc. Tom 67 (2006) 2006, Pages 225 259 S 0077-1554(06)00156-7 Article electronically published on December 27, 2006 THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL
More informationA Field Extension as a Vector Space
Chapter 8 A Field Extension as a Vector Space In this chapter, we take a closer look at a finite extension from the point of view that is a vector space over. It is clear, for instance, that any is a linear
More informationSymmetries and particle physics Exercises
Symmetries and particle physics Exercises Stefan Flörchinger SS 017 1 Lecture From the lecture we know that the dihedral group of order has the presentation D = a, b a = e, b = e, bab 1 = a 1. Moreover
More informationSpinor Formulation of Relativistic Quantum Mechanics
Chapter Spinor Formulation of Relativistic Quantum Mechanics. The Lorentz Transformation of the Dirac Bispinor We will provide in the following a new formulation of the Dirac equation in the chiral representation
More informationOn the Harish-Chandra Embedding
On the Harish-Chandra Embedding The purpose of this note is to link the Cartan and the root decompositions. In addition, it explains how we can view a Hermitian symmetric domain as G C /P where P is a
More informationNotes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers
Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1
More informationPhysics 251 Solution Set 4 Spring 2013
Physics 251 Solution Set 4 Spring 2013 1. This problem concerns the Lie group SO(4) and its Lie algebra so(4). (a) Work out the Lie algebra so(4) and verify that so(4) = so(3) so(3). The defining representation
More informationCLASSICAL GROUPS DAVID VOGAN
CLASSICAL GROUPS DAVID VOGAN 1. Orthogonal groups These notes are about classical groups. That term is used in various ways by various people; I ll try to say a little about that as I go along. Basically
More informationBasic Concepts of Group Theory
Chapter 1 Basic Concepts of Group Theory The theory of groups and vector spaces has many important applications in a number of branches of modern theoretical physics. These include the formal theory of
More informationSymmetries, Fields and Particles. Examples 1.
Symmetries, Fields and Particles. Examples 1. 1. O(n) consists of n n real matrices M satisfying M T M = I. Check that O(n) is a group. U(n) consists of n n complex matrices U satisfying U U = I. Check
More informationMATRIX LIE GROUPS. Claudiu C Remsing. Dept of Mathematics (Pure and Applied) Rhodes University Grahamstown September Maths Seminar 2007
MATRIX LIE GROUPS Claudiu C Remsing Dept of Mathematics (Pure and Applied) Rhodes University Grahamstown 6140 26 September 2007 Rhodes Univ CCR 0 TALK OUTLINE 1. What is a matrix Lie group? 2. Matrices
More informationA method for construction of Lie group invariants
arxiv:1206.4395v1 [math.rt] 20 Jun 2012 A method for construction of Lie group invariants Yu. Palii Laboratory of Information Technologies, Joint Institute for Nuclear Research, Dubna, Russia and Institute
More informationSPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS
SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS DAN CIUBOTARU 1. Classical motivation: spherical functions 1.1. Spherical harmonics. Let S n 1 R n be the (n 1)-dimensional sphere, C (S n 1 ) the
More informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More informationREPRESENTATION THEORY. WEEKS 10 11
REPRESENTATION THEORY. WEEKS 10 11 1. Representations of quivers I follow here Crawley-Boevey lectures trying to give more details concerning extensions and exact sequences. A quiver is an oriented graph.
More informationLecture 11 The Radical and Semisimple Lie Algebras
18.745 Introduction to Lie Algebras October 14, 2010 Lecture 11 The Radical and Semisimple Lie Algebras Prof. Victor Kac Scribe: Scott Kovach and Qinxuan Pan Exercise 11.1. Let g be a Lie algebra. Then
More informationClifford Algebras and Spin Groups
Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of
More informationMatrix Lie groups. and their Lie algebras. Mahmood Alaghmandan. A project in fulfillment of the requirement for the Lie algebra course
Matrix Lie groups and their Lie algebras Mahmood Alaghmandan A project in fulfillment of the requirement for the Lie algebra course Department of Mathematics and Statistics University of Saskatchewan March
More informationGroup Theory in Particle Physics
Group Theory in Particle Physics Joshua Albert Phy 205 http://en.wikipedia.org/wiki/image:e8_graph.svg Where Did it Come From? Group Theory has it's origins in: Algebraic Equations Number Theory Geometry
More informationParticles I, Tutorial notes Sessions I-III: Roots & Weights
Particles I, Tutorial notes Sessions I-III: Roots & Weights Kfir Blum June, 008 Comments/corrections regarding these notes will be appreciated. My Email address is: kf ir.blum@weizmann.ac.il Contents 1
More informationQuantum Field Theory III
Quantum Field Theory III Prof. Erick Weinberg January 19, 2011 1 Lecture 1 1.1 Structure We will start with a bit of group theory, and we will talk about spontaneous symmetry broken. Then we will talk
More information7. The classical and exceptional Lie algebras * version 1.4 *
7 The classical and exceptional Lie algebras * version 4 * Matthew Foster November 4, 06 Contents 7 su(n): A n 7 Example: su(4) = A 3 4 7 sp(n): C n 5 73 so(n): D n 9 74 so(n + ): B n 3 75 Classical Lie
More informationIntrinsic formulae for the Casimir operators of semidirect products of the exceptional Lie algebra G 2 and a Heisenberg Lie algebra
Intrinsic formulae for the Casimir operators of semidirect products of the exceptional Lie algebra G and a Heisenberg Lie algebra Rutwig Campoamor-Stursberg Laboratoire de Mathématiques et Applications
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 informationPhysics 129B, Winter 2010 Problem Set 4 Solution
Physics 9B, Winter Problem Set 4 Solution H-J Chung March 8, Problem a Show that the SUN Lie algebra has an SUN subalgebra b The SUN Lie group consists of N N unitary matrices with unit determinant Thus,
More informationRecursion Systems and Recursion Operators for the Soliton Equations Related to Rational Linear Problem with Reductions
GMV The s Systems and for the Soliton Equations Related to Rational Linear Problem with Reductions Department of Mathematics & Applied Mathematics University of Cape Town XIV th International Conference
More informationMath 215B: Solutions 1
Math 15B: Solutions 1 Due Thursday, January 18, 018 (1) Let π : X X be a covering space. Let Φ be a smooth structure on X. Prove that there is a smooth structure Φ on X so that π : ( X, Φ) (X, Φ) is an
More informationLie Algebras in Particle Physics
Lie Algebras in Particle Physics Second Edition Howard Georgi S WieW Advanced Book Program A Member of the Perseus Books Group Contents Why Group Theory? 1 1 Finite Groups 2 1.1 Groups and representations
More informationSymmetries, Fields and Particles 2013 Solutions
Symmetries, Fields and Particles 013 Solutions Yichen Shi Easter 014 1. (a) Define the groups SU() and SO(3), and find their Lie algebras. Show that these Lie algebras, including their bracket structure,
More informationTalk at the International Workshop RAQIS 12. Angers, France September 2012
Talk at the International Workshop RAQIS 12 Angers, France 10-14 September 2012 Group-Theoretical Classification of BPS and Possibly Protected States in D=4 Conformal Supersymmetry V.K. Dobrev Nucl. Phys.
More informationOn Galois cohomology and realizability of 2-groups as Galois groups II. Author copy
Cent. Eur. J. Math. 9(6) 2011 1333-1343 DOI: 10.2478/s11533-011-0086-z Central European Journal of Mathematics On Galois cohomology and realizability of 2-groups as Galois groups II Research Article Ivo
More informationContinuous symmetries and conserved currents
Continuous symmetries and conserved currents based on S-22 Consider a set of scalar fields, and a lagrangian density let s make an infinitesimal change: variation of the action: setting we would get equations
More information(Kac Moody) Chevalley groups and Lie algebras with built in structure constants Lecture 1. Lisa Carbone Rutgers University
(Kac Moody) Chevalley groups and Lie algebras with built in structure constants Lecture 1 Lisa Carbone Rutgers University Slides will be posted at: http://sites.math.rutgers.edu/ carbonel/ Video will be
More informationThe Homogenous Lorentz Group
The Homogenous Lorentz Group Thomas Wening February 3, 216 Contents 1 Proper Lorentz Transforms 1 2 Four Vectors 2 3 Basic Properties of the Transformations 3 4 Connection to SL(2, C) 5 5 Generators of
More informationSymmetric Spaces Toolkit
Symmetric Spaces Toolkit SFB/TR12 Langeoog, Nov. 1st 7th 2007 H. Sebert, S. Mandt Contents 1 Lie Groups and Lie Algebras 2 1.1 Matrix Lie Groups........................ 2 1.2 Lie Group Homomorphisms...................
More informationWeyl Group Representations and Unitarity of Spherical Representations.
Weyl Group Representations and Unitarity of Spherical Representations. Alessandra Pantano, University of California, Irvine Windsor, October 23, 2008 β ν 1 = ν 2 S α S β ν S β ν S α ν S α S β S α S β ν
More informationA connection between number theory and linear algebra
A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.
More informationPhysics 221A Fall 1996 Notes 9 Rotations in Ordinary Space
Physics 221A Fall 1996 Notes 9 Rotations in Ordinary Space The importance of rotations in quantum mechanics can hardly be overemphasized. The theory of rotations is of direct importance in all areas of
More informationTalk at Workshop Quantum Spacetime 16 Zakopane, Poland,
Talk at Workshop Quantum Spacetime 16 Zakopane, Poland, 7-11.02.2016 Invariant Differential Operators: Overview (Including Noncommutative Quantum Conformal Invariant Equations) V.K. Dobrev Invariant differential
More informationQuantum Theory and Group Representations
Quantum Theory and Group Representations Peter Woit Columbia University LaGuardia Community College, November 1, 2017 Queensborough Community College, November 15, 2017 Peter Woit (Columbia University)
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 informationNotes on Group Theory Lie Groups, Lie Algebras, and Linear Representations
Contents Notes on Group Theory Lie Groups, Lie Algebras, and Linear Representations Andrew Forrester January 28, 2009 1 Physics 231B 1 2 Questions 1 2.1 Basic Questions...........................................
More informationarxiv: v4 [math.gr] 17 Jun 2015
On finite groups all of whose cubic Cayley graphs are integral arxiv:1409.4939v4 [math.gr] 17 Jun 2015 Xuanlong Ma and Kaishun Wang Sch. Math. Sci. & Lab. Math. Com. Sys., Beijing Normal University, 100875,
More informationOrder 3 elements in G 2 and idempotents in symmetric composition algebras. Alberto Elduque
Order 3 elements in G 2 and idempotents in symmetric composition algebras Alberto Elduque 1 Symmetric composition algebras 2 Classification 3 Idempotents and order 3 automorphisms, char F 3 4 Idempotents
More informationA Study on Kac-Moody Superalgebras
ICGTMP, 2012 Chern Institute of Mathematics, Tianjin, China Aug 2o-26, 2012 The importance of being Lie Discrete groups describe discrete symmetries. Continues symmetries are described by so called Lie
More informationLecture 7: N = 2 supersymmetric gauge theory
Lecture 7: N = 2 supersymmetric gauge theory José D. Edelstein University of Santiago de Compostela SUPERSYMMETRY Santiago de Compostela, November 22, 2012 José D. Edelstein (USC) Lecture 7: N = 2 supersymmetric
More informationPhysics 557 Lecture 5
Physics 557 Lecture 5 Group heory: Since symmetries and the use of group theory is so much a part of recent progress in particle physics we will take a small detour to introduce the basic structure (as
More informationSOLUTION OF GENERALIZED LINEAR VECTOR EQUATIONS IN IDEMPOTENT ALGEBRA
, pp. 23 36, 2006 Vestnik S.-Peterburgskogo Universiteta. Matematika UDC 519.63 SOLUTION OF GENERALIZED LINEAR VECTOR EQUATIONS IN IDEMPOTENT ALGEBRA N. K. Krivulin The problem on the solutions of homogeneous
More informationBare-bones outline of eigenvalue theory and the Jordan canonical form
Bare-bones outline of eigenvalue theory and the Jordan canonical form April 3, 2007 N.B.: You should also consult the text/class notes for worked examples. Let F be a field, let V be a finite-dimensional
More informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More informationCategory O and its basic properties
Category O and its basic properties Daniil Kalinov 1 Definitions Let g denote a semisimple Lie algebra over C with fixed Cartan and Borel subalgebras h b g. Define n = α>0 g α, n = α
More informationLECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
More informationarxiv:hep-th/ v1 14 Jun 1993 Abstract
MAD/TH/9-05 Casimir operators of the exceptional group G 2 A.M. Bincer and K. Riesselmann Department of Physics, University of Wisconsin-Madison, Madison, WI 5706 arxiv:hep-th/906062v1 14 Jun 199 Abstract
More informationEXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES
EXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES RAVI A.RAO AND RICHARD G. SWAN Abstract. This is an excerpt from a paper still in preparation. We show that there are
More informationA NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9
A NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9 ERIC C. ROWELL Abstract. We consider the problem of decomposing tensor powers of the fundamental level 1 highest weight representation V of the affine Kac-Moody
More information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More information8. COMPACT LIE GROUPS AND REPRESENTATIONS
8. COMPACT LIE GROUPS AND REPRESENTATIONS. Abelian Lie groups.. Theorem. Assume G is a Lie group and g its Lie algebra. Then G 0 is abelian iff g is abelian... Proof.. Let 0 U g and e V G small (symmetric)
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 informationOn algebraic index theorems. Ryszard Nest. Introduction. The index theorem. Deformation quantization and Gelfand Fuks. Lie algebra theorem
s The s s The The term s is usually used to describe the equality of, on one hand, analytic invariants of certain operators on smooth manifolds and, on the other hand, topological/geometric invariants
More informationDivision Algebras and Physics
Division Algebras and Physics Francesco Toppan CBPF - CCP Rua Dr. Xavier Sigaud 150, cep 22290-180 Rio de Janeiro (RJ), Brazil Abstract A quick and condensed review of the basic properties of the division
More informationThe Sommerfeld Polynomial Method: Harmonic Oscillator Example
Chemistry 460 Fall 2017 Dr. Jean M. Standard October 2, 2017 The Sommerfeld Polynomial Method: Harmonic Oscillator Example Scaling the Harmonic Oscillator Equation Recall the basic definitions of the harmonic
More informationAlgebraic Topology Homework 4 Solutions
Algebraic Topology Homework 4 Solutions Here are a few solutions to some of the trickier problems... Recall: Let X be a topological space, A X a subspace of X. Suppose f, g : X X are maps restricting to
More informationINDECOMPOSABLE LIE ALGEBRAS WITH NONTRIVIAL LEVI DECOMPOSITION CANNOT HAVE FILIFORM RADICAL
International Mathematical Forum, 1, 2006, no. 7, 309-316 INDECOMPOSABLE LIE ALGEBRAS WITH NONTRIVIAL LEVI DECOMPOSITION CANNOT HAVE FILIFORM RADICAL J. M. Ancochea Bermúdez Dpto. Geometría y Topología
More informationRisi Kondor, The University of Chicago
Risi Kondor, The University of Chicago Data: {(x 1, y 1 ),, (x m, y m )} algorithm Hypothesis: f : x y 2 2/53 {(x 1, y 1 ),, (x m, y m )} {(ϕ(x 1 ), y 1 ),, (ϕ(x m ), y m )} algorithm Hypothesis: f : ϕ(x)
More informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introduction to Cluster Algebra Ivan C.H. Ip Update: May 16, 2017 5 Review of Root Systems In this section, let us have a brief introduction to root system and finite Lie type classification
More informationON POSITIVITY OF KAUFFMAN BRACKET SKEIN ALGEBRAS OF SURFACES
ON POSITIVITY OF KAUFFMAN BRACKET SKEIN ALGEBRAS OF SURFACES THANG T. Q. LÊ Abstract. We show that the Chebyshev polynomials form a basic block of any positive basis of the Kauffman bracket skein algebras
More informationChapter 2. Symmetries of a system
Chapter 2 Symmetries of a system 1 CHAPTER 2. SYMMETRIES OF A SYSTEM 2 2.1 Classical symmetry Symmetries play a central role in the study of physical systems. They dictate the choice of the dynamical variables
More informationThe quantum way to diagonalize hermitean matrices
Fortschr. Phys. 51, No. 2 3, 249 254 (2003) / DOI 10.1002/prop.200310035 The quantum way to diagonalize hermitean matrices Stefan Weigert HuMP Hull Mathematical Physics, Department of Mathematics University
More informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
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 informationL(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that
ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive
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 informationPutzer s Algorithm. Norman Lebovitz. September 8, 2016
Putzer s Algorithm Norman Lebovitz September 8, 2016 1 Putzer s algorithm The differential equation dx = Ax, (1) dt where A is an n n matrix of constants, possesses the fundamental matrix solution exp(at),
More informationFaraday Tensor & Maxwell Spinor (Part I)
February 2015 Volume 6 Issue 2 pp. 88-97 Faraday Tensor & Maxwell Spinor (Part I) A. Hernández-Galeana #, R. López-Vázquez #, J. López-Bonilla * & G. R. Pérez-Teruel & 88 Article # Escuela Superior de
More informationChapter 4. Matrices and Matrix Rings
Chapter 4 Matrices and Matrix Rings We first consider matrices in full generality, i.e., over an arbitrary ring R. However, after the first few pages, it will be assumed that R is commutative. The topics,
More informationHopf Fibrations. Consider a classical magnetization field in R 3 which is longitidinally stiff and transversally soft.
Helmut Eschrig Leibniz-Institut für Festkörper- und Werkstofforschung Dresden Leibniz-Institute for Solid State and Materials Research Dresden Hopf Fibrations Consider a classical magnetization field in
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 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 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 informationRepresentations of Sp(6,R) and SU(3) carried by homogeneous polynomials
Representations of Sp(6,R) and SU(3) carried by homogeneous polynomials Govindan Rangarajan a) Department of Mathematics and Centre for Theoretical Studies, Indian Institute of Science, Bangalore 560 012,
More informationSEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS. D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum
SEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum Abstract. We study the semi-invariants and weights
More informationLie Theory in Particle Physics
Lie Theory in Particle Physics Tim Roethlisberger May 5, 8 Abstract In this report we look at the representation theory of the Lie algebra of SU(). We construct the general finite dimensional irreducible
More informationMATHEMATICS 217 NOTES
MATHEMATICS 27 NOTES PART I THE JORDAN CANONICAL FORM The characteristic polynomial of an n n matrix A is the polynomial χ A (λ) = det(λi A), a monic polynomial of degree n; a monic polynomial in the variable
More informationInduced Representations and Frobenius Reciprocity. 1 Generalities about Induced Representations
Induced Representations Frobenius Reciprocity Math G4344, Spring 2012 1 Generalities about Induced Representations For any group G subgroup H, we get a restriction functor Res G H : Rep(G) Rep(H) that
More information