The Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria. Quadratic brackets from symplectic forms

Size: px
Start display at page:

Download "The Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria. Quadratic brackets from symplectic forms"

Transcription

1 ESI The Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Quadratic brackets from symplectic forms A. Yu. Alekseev, I. T. Todorov Vienna, Preprint ESI 33 (1993) July 5, 1993 Supported by Federal Ministry of Science and Research, Austria

2 1 0

3 Quadratic brackets from sympletic forms Anton Yu.Alekseev Ivan T.Todorov October 2, 2001 Erwin Schrödinger International Institute for Mathematical Physics (ESI) Pasteurgasse 6/7, A 1090 Wien, Austria Abstract We give a physicist oriented survey of Poisson-Lie symmetries of classical systems. We consider finite dimensional geometric actions and the chiral WZNW model as examples for the general construction. An essential point is that quadratic Poisson brackets appear for group like variables. It is belived that after quantization they lead to quadratic exchange algebras. On leave from Steklov Mathematical Institute (LOMI), Fontanka 27, St.Petersburg , Russia On leave from the Institute for Nuclear Research, Bulgarian Academy of Sciences, Tsarigradsko Chaussee 72, BG 1784 Sofia, Bulgaria 1

4 1 Introduction. Good old canonical quantization still takes a respectable place among various quantization schemes. A geometric approach to the problem begins with a sympletic 2-form Ω on a phase space Γ. Then one should invert Ω and obtain a Poisson bracket (PB) algebra on Γ. Next, one selects a subset of PB to be represented by commutators upon quantization. We are only aware of a general principle for such a selection in the case when our physical system admits a symmetry algebra, that is, a Lie algebra G spanned by a set of generators X a satisfying linear PB relations {X a, X b } = f c abx c. (1) The skewsymmetry of the structure constants f in the pair of lower indices and the Jacobi identity f s abf d sc + f s bcf d sa + f s caf d sb = 0 (2) are nessary and sufficient for the existence of such a Lie algebra. If a set of variables Y µ transform linearly under the PB action of G we require that their covariance properties are preserved under quantization: {X a, Y µ } = f ν aµy ν [ ˆX a, Ŷµ] = i hf ν aµŷν. (3) In particular, the PB (1) goes into a commutation relation for ˆX a with structure constants i hfab. c The Heisenberg PB relations among coordinates and momenta {q i, p j } = δ i,j, {q i, q j } = 0 = {p i, p j }, can be viewed as a special case of ( 1) for a nilpotent Lie algebra. A special covariant family is given by the elements g of a matrix Lie group G whose Lie algebra is G. If G is spanned by matrices t a satisfying the commutation relations [t a, t b ] = fabt c c, (4) then the left covariance of g G under the PB action of G is expressed by {g, X a } = t a g. (5) Typically, the variable g satisfies quadratic PB relations [1]. Using the tensor notation g 1 = g 1, g 2 = 1 g (6) we can write the symplest example of quadratic brackets: { 1 g, 2 g} = 1 g 2 g r. (7) The Jacobi identity for the bracket (7) is equivalent to the classical Yang-Baxter equation [r 12, r 13 ] + [r 12, r 23 ] + [r 13, r 23 ] = 0. (8) Here r ij act in a triple product V 1 V 2 V 3 of finite dimensional spaces: r 12 = r 1 where 1 is the unit operator in V 3 etc. Quantization of the PB (7) leads to quadratic exchange relations 2 gg= 1 g 1 g 2 R. (9) 2

5 Here the matrix R is a solution of the quantum Yang-Baxter equation R 12 R 13 R 23 = R 23 R 13 R 12 (10) and R = R( h) 1 + i hr when h 0. There is a wide class of intresting examples where such R matrix is known. Nevetheless, it is still a challenge to find a regular scheme for quantization of quadratic brackets. The PB (7) have annoying property: they appear to violate a symmetry under right shifts, g gh 1. Remarkably, this symmetry can be restored, in some sence, if we admit non trivial PB for the parameters of the shift h. This is a generalization of supersymmetry where anticommutative parameters are required. If we postulate { 1 h, 2 h} = [r, 1 h 2 h], { 1 g, 2 h} = 0, (11) we discover that the fomula (7) survive after the right shift: {g 1 (h 1 ) 1, g 2 (h 2 ) 1 } = g 1 (h 1 ) 1 g 2 (h 2 ) 1 r. (12) We note that the product of two consecutive shifts h = h 1 h 2 has the same brackets (11) provided that the two factors have zero PB among themselves: h = h 1 h 2, { 1 h1, 2 h2} = 0, { 1 hi, 2 hi} = [r, 1 hi, 2 hi] { 1 h, 2 h} = [r, 1 h 2 h]. (13) The message of this symple example is that the symmetry group can carry a nontrivial PB. The backet respects the group multiplication. The Lie group supplied with such PB is called Poisson-Lie (PL) group. We should take into account the PB of transformation parameters when we check the symmetry with respect to PL group action. The PL symmetry does not preserve the PB if we treat transformation parameters just as c-numbers. It means that the notation of PL symmetry gives us a possibility to find a symmetry in examples where it seems to be broken. PL symmetries are viewed as classical counterparts of quantum group symmetries [6]. Suppose we have a physical system defined by the action principle x S = L(x, ẋ)dt. (14) If we suspect that the transformation x x + δ ε x is a symmetry, we can easely check it. The transformation δ ε should preserve the action S up to boundary terms. In the Section 2 we give a similar criterium [4] how to recognize a PL symmetry starting from the action principle. Usually the PL symmetry appears in the systems with quadratic PB. To get expirence of calculations with quadratic brackets we start the Section 3 with a system S = tr(i P u 1 u 1 2 p2 )dt, (15) where u is an element of compact semisimple Lie group G. P belongs to H +, positive Weyl chamber in the dual to corresponding Cartan subalgebra H. In the case of 3

6 sun p is just diagonal matrix with ordered eigenvalues: P = diag(p 1,..., p n ), p 1 p 2... p n. There is no PL symmetry in the system. But the bracket for variables u appears to be quadratic. This bracket was derived in [9] for the case of SU(2) and guessed for an arbitrary group G. We fill this gap and derive the PB for u directly from the action. The system ( 15) posess a one-parameter deformation (Eq.) so that in the deformed system there in neither left non right symmetry. But the left symmetry can be restored using the notion of PL symmetry. The PB were suggested in [9] and the action principle was proposed in [7],[8]. We put this two ideas together and derive qudratic PB from the action principle. We use this system as an example of PL symmetry. Let s mention that the action ( 15) is a classical model for spin and its deformation corresponds to quantum group analogue of particle spin. The infinite dimensional case of a chiral WZNW model, which has to a large extend inspired the present study, is considered in Section 4 (Relevant steps in working out the Lagrangean approach to WZNW models are contained in [8],[10] [13].) The basic variable is here the group valued field g(x) on the circle S 1. More precesely, g is a multivalued function on S 1 satisfying the quasiperiodicity condition g(x + 2π) = g(x)m. (16) The monodromy matrix M is a counterpart of the angular momentum matrix L. The symplectic form (84) on the chiral phase space Γ W Z involves an integral term and a discrete piece depending on the boundary values g 1 = g 0 and g 2 = g(2π) = g 1 M, reminiscent to the finite dimensional 2-form (69) studied in Section 3. After reviewing the basic properties of the form (84) (first introduced in [8]) including an elementary derivation of the condition that Ω is a closed form, dω = 0, we establish an intriguing new result: the presence of an infinite quantum symmetry of Ω under right shifts of g(x) satisfying certain boundary conditions. It appears, however, that the x-independent part of this Poisson-Lie symmetry (corresponding to the standard quantum group symmetry noted previously in various contexts cf.[8],[12] [16]) is sufficient to explain the cancellation between world sheet and quantum group monodromy, established earlier [15, 16]. 2 Quantum group symmetry of a symplectic form Our starting point will be a closed 2-form Ω on a manifold Γ. Suppose that it is non degenerate. The condition dω = 0 (17) implies the existence, at least locally, of a 1-form Θ such that Ω = dθ, Θ = P i dx i, P i = P i (x). (18) Hence, if we choos a Hamiltonian H = H(x) on Γ, we can define a Lagrangean L and the corresponding action S as: L = P i (x)ẋ i H(x), S = L dt = (d 1 Ω H dt), (19) 4

7 where a dot (on x) denotes, as usual, a time derivative. We recall that an infimitesimal transformation x x + δ ε x of Γ with parametrs ε a δ ε x = ε a δ a x (20) defines a classical symmetry. If (i) it leaves the Hamiltonian invariant: δ ε H = H(x + δ ε x) H(x) = O(ε 2 ), (21) (ii) it preserves Ω. It follows from the definition that the action is invariant (up to boundary terms) provided that ε is time independent. If ε a = ε a (t) than δ ε S = X a ε a dt (+ boundary terms). (22) Functions X a generate the symmetry via PB: δ a f = f x δ ax = {f, X a }. (23) A Poisson-Lie (PL) symmetry of the classical phase space Γ is a generalization of the above concept but the condition (ii) is replaced by the weaker requirement δ ε S = ε a A a (+ boundary terms) (24) where the connection 1-forms A a satisfies the zero curvature condition [4] da a = F bc a A b A c. (25) The constants Fa bc form a skew symmetric tenzor with respect to the upper indices and must obey the Jacobi identity (2). Hence, they can be viewed as the structure constants of the Lie algebra G. We note that (22) appears as a special case of (24),(25) where A a = dx a and hence da a = 0. Let τ a be (say, matrix) generators of G such that [τ a, τ b ] = F ab c τ c. (26) Let us define the group element g = g (x), x Γ as a solution of the equation (d A a τ a )g = 0. (27) The group like variable g is a substitute for all generators X a. It is easy to check that δ a f = tr(τ a {f, g }g 1 ) (28) The PB is not invariant under such generalized quantum symmetry transformation. Instead we have a complicated derivation in the r.h.s. {f 1, f 2 }(x + δ ε x) = {f 1 (x + δ ε x), f 2 (x + δ ε x)} x + f 1 (δ ε x i ) f 2 (δ ε x j ) F ab x i ε a x j ε b c ε c. (29) 5

8 If we ascribe to the PL symmetry parameters ε a the PB {ε a, ε b } = F ab c ε c (30) than we can restore the PB symmetry by considering f(x + δ ε x) as a function of both x and ε and including the derivation in the r.h.s. of (29) in the definition of PB: {f 1, f 2 }(x + δ ε ) = {f 1 (x + δ ε x), f 2 (x + δ ε x)} x + {f 1 (x + δ ε x), f 2 (x + δ ε x)} ε. (31) Now we shall discuss a basic example of the algebra G useful for next Sections. Let t a be the matrix generators of a Lie algebra G satisfying (4). Assuming that G is semisimple we choose a Cartan subalgebra with basis t j = H j (1 j rank G and split the remaining generators into t α and t α where α enumerates the positive roots. Setting ε = ε a t a (32) we define a PB between the commuting matrices by the classical r-matrix relation [1] where r is skewsymmetric: 1 ε= ε 1 and 2 ε= 1 ε (33) { 1 ε, 2 ε} = [r, 1 ε + 2 ε] (34) r = α>0(t α t α t α t α ). (35) We thus arrive at a new PB Lie algebra G with structure constants F c ab related to those of G by Fc αβ = fαβ c if α > 0, β > 0, Fc αβ = fαβ c if α < 0, β < 0, Fα αi = fαi α if α > 0, (36) Fα αj = fαj α if α < 0, Fc αβ = Fc αβ = 0 if α > 0, β < 0. (Here, as before, i, j label the Cartan generators of G.) Lie algebra G can be embadded into the direct sum of two Borel subalgebras of G spanned by (t α, H i ) and by (t α, H i ) (α > 0), respectively. More precisely, a pair (b +, b ) belongs to G if the matrices b ± have opposite diagonal elements: (b +, b ) G if b diag + + b diag = 0. (37) 6

9 We shall also use a group G with Lie algebra G. It is contained in the product of Borel subgroups of G (the subgroups of upper and lower triangular matrices in the case of SL (n, C)): (L +, L ) G if L diag + L diag = 1 (38) The product in G is defined component wise: (L +, L )(M +, M ) = (L + M +, L M ), (39) while the connection form A = dg g 1 is given by A = (dl + L 1 +, dl L 1 ). (40) It is important to note that the PB (34) for infinitesimal matrices can be exponentiated resulting in Sklyanin s quadratic algebra [1] for (matrix) group elements (cf.(11)), { 1 v, 2 v} = [r, 1 v 2 v], (41) where we have used again the tensor notation (6). The global version of the formula (??) looks like follows: {f 1, f 2 }(x v ) = {f 1 (x v ), f 2 (x v )} x + {f 1 (x) v, f 2 (x v )} v, (42) where x v is a point x shifted by the group element v. 3 Chiral T G phase space and its quantum group deformation. Let G be a simple compact Lie group with an ordered Cartan-Weyl basis of its Lie algebra. We define the (left) chiral phase space Γ = Γ(G, H) as the product of G with the dual H of a real Cartan subalgebra H of Lie algebra G factored by the Weyl in group which amounts taking a Weyl chambe H + of H. For a unimodular matrix Lie group G the space H is spanned by real traceless diagonal n n matrices P. (For G = SL(n) the positive Weyl chamber consists of P s with ordered eigenvalues: p 1 p n.) The (undeformed) classical Lagrangian, invariant under left shifts of u G, is L = tr(ip u 1 u 1 2 P 2 ). (43) The resulting system has been proposed [12] as a finite dimensional analogue of a chiral WZNW model. The corresponding quantum mechanical state space contains every finite dimensional irreducible representation of G with multiplicity equal to one. The infinitesimal left shifts δ ε u = εu, δ ε P = 0. (44) 7

10 satisfy conditions (i) and (ii) of Section 2. If t a is a basis in G so that then the generator X a of the symmetry ε = ε a t a, (45) X a = tr t a u P u 1 (46) appears in the variation of the action (22). The symplectic form Ω 0 associated to the Lagrangean (43) can be written either in terms of P and u 1 du or as a bilinear form on G G, where Ω 0 = i tr (dp u 1 du P (u 1 du) 2 ), (47) Ω 0 = i 2 tr(dl du u 1 + dp u 1 du), (48) l = u P u 1. (49) The equivalence between (47) and (48) is established using the identity dl = [du u 1, l] + u dp u 1. Here and in what follows we omit the wedge sign in the products of exterior differentials. In order to bring Ω 0 to a canonical form we first introduce a basis of left invariant 1-forms Θ a on G setting i u 1 du = Θ a t a = Θ j H j + α>0(θ α t α + Θ α t α ) (50) where the sum in α runs over the positive roots of G, while the first term involves a sum (in j) over the Cartan basis. In the special case G = SL n we have t α = e jk j < k, t α = e kj = e jk, H j = e jj e j+1 j+1, 1 j n 1, (51) where e jk are the (n n) Weyl matrices characterized by the product formula e ij e kl = δ jk e il. (52) More generally, the basis in G is characterized by the commutation relations [H j, t ±α ] = ±2 α jα t αj 2 ±α, [t αj, t αj ] = H j (53) where α j (j = 1,, rank G) are the simple roots of G. Next we expand P in a basis dual to {H j }: P = P j h j ( H +) (54) where (h i, H j ) = tr h i H j = δ i j. (55) 8

11 In the case of SL(n) we have Setting further we transform (47) into h j = e jj 1 n n 1 (1 = e ii ). (56) i=1 [t α, t α ] = H α, (57) (P, H α ) = P α (58) Ω 0 = dp j Θ j + i α P α Θ α Θ α. (59) The canonical expression (59) for Ω 0 has the advantage of being readily invertible. To write the corresponding PB we introduce the vector fields V i and V ±α dual to Θ i and Θ ±α (in the sense that < Θ a, V b >= δ a b ): V i = tr u H i u, The resulting PB is given by the skew product If f 1,2 are two functions of P i and u then V ±α = tr u t ±α u. (60) P = V j + i 1 V α V α. (61) P j α>0 P α {f 1, f 2 } = P(f 1, f 2 ). (62) In particular, the non-vanishing PB for the basic phase space variables P and u are { 1 u, 2 u} = 1 u 2 u r 0 (P ), (63) { 1 u, 2 P } = 1 u ρ, (64) where r 0 is an r matrix depending on the dnamical variables P α : r 0 (P ) = α i P α (t α t α t α t α ), (65) while ρ = j H j h j. (66) The matrix r 0 (p) can be regarded as a classical analogue of 6j-symbol (for detailes see [?]). Remark. The linear relation (64) is readily quantized, [ 1 u, 2 P ] = i h 1 u ρ. (67) 9

12 The quantum R matrix corresponding to (63) was proposed in [9]. It would be intresting to work out a general algorithm permitting to derive it starting from the classical action principle. We now turn to our main example, the quantum group deformation of Γ. Let us introduce the exponentiated angular momentum matrix L and its Gauss decomposition: L = ue iγp u 1 = L + L 1. (68) Here L ± belong to the Borel subgroups B ± of G generated by H j and t ±α and product of their diagonal parts is equal to one cf.(38). The deformed counterpart of the symplectic form (47) looks as follows [8, 7]: Ω γ = tr{dp i u 1 du 1 2γ (eiγp u 1 du e iγp u 1 du + L 1 + dl + L 1 dl )}. (69) In verifying that Ω γ is closed we use the relations 1 6γ tr(l 1 dl) 3 = 1 6γ tr(l 1 dl L 1 + dl + ) 3 = 1 2γ d(trl 1 + dl + L 1 dl ); (70) 1 6γ tr(l 1 dl) 3 = 1 2γ tr{(u 1 du) 2 (e iγp u 1 du e iγp e iγp u 1 du e iγp )} + + i 2 tr{u 1 du(e iγp u 1 du e iγp + e iγp u 1 du e iγp 2u 1 du)dp } = = i(1 cos γp α )dp α Θ α Θ α (71) and tr{(idp 1 2γ eiγp u 1 du e iγp )u 1 du} = dp j Θ j + i α>0 sin γp α Θ α Θ α. (72) γ Let us mention that the first formula (71 is exactly the same as we use to calculate d 1 tr(dg g 1 ) 3 in the WZNW model. The product of Gauss components leads to bosonisation of WZNW action. It is also from (72) that the first two terms in (69) reproduce the undeformed expression (59) in the limit γ 0. As we shall see shortly, the third term vanishes when γ 0 (in accord with (71)). The form (69) possesses a quantum symmetry under left shifts δ ε u = εu, δ ε P = 0: δ ε Ω γ = d tr(ε(t)(dl + L 1 + dl L 1 )). (73) The derivation of the formula (73) is straightforward but quite long. We leave it as an exercise for intrested reader (see also [7] where formula (73) proved in more general setting). Now we proceed to computing the PB of the dynamical variables on Γ. The PB of L ± are easier to find see [8, 7]. The calculation of the PB for a pair of u s requires some work (although their expression has been conjectured correctly in [9]). 10

13 We shall first compute { 1 u, 2 u} at the group unit and will then use the Lu-Weinstein theorem of Section 2 to derive the PB for arbitrary u s. For u = 1 the right invariant form i du u 1 coincides with the left invariant one (50) while L ± = e ±i γ 2 P. We find il 1 + dl + = γ 2 dp + α>0 2t α Θ α sin γ 2 P α il 1 dl = γ 2 dp + α>0 2t α Θ α sin γ 2 P α (74) and hence we can calculate the symplectic structure at the group unit Ω γ u=1 = dp j Θ j + 2i γ This gives a counterpart of the PB form (61) P γ u=1 = V j e i γ 2 Pα sin( γ α>0 2 P α)θ α Θ α. (75) γ + P j 1 e V iγpα α V α. (76) Now the PB of u and P at the group unit can be written dawn: { 1 u, 2 P } u=1 = ρ, { 1 u, 2 u} u=1 = r γ (P ), (77) where r γ (P ) = α>0 γ 1 e iγpα (t α t α t α t α ). (78) To evaluate the PB for arbitrary u we use the quantum symmetry under left shifts and Eq.(29): { 1 u, 2 u} = {v 1 u 1, v 2 u 2 } u v=u,u=1 +{v 1 u 1, v 2 u 2 } v v=u,u=1 = = v 1 v 2 r γ (P ) v=u +γ[r, v 1 v 2 ] v=u = 1 u 2 u r γ (P ) + γ[r, 1 u 2 u] = γr 1 u 2 u 1 u 2 u r γ (P ). (79) where r is the classical skew symmetric r matrix (35) and r γ(p ) is equal to r γ (P ) = γr r γ = α>0 The PB of u and P just reproduces (64). γe iγpα e iγpα 1 (t α t α t α t α ). (80) 4 Chiral WZNW model. The phase space Γ W Z of chiral WZNW model is spanned by quasiperiodic G valued functions g on the circle S 1 satisfying (16) with x independent monodromy matrix 11

14 M which is part of the dynamical variables. One expresses the symplectic form on Γ W Z in terms of the left invariant form g 1 (x) dg(x), the boundary values and the Gauss decomposition of the monodromy g 1 = g(0), g 2 = g(2π) (81) M = g 1 1 g 2 = M + M 1, (82) where we require that the diagonal elements of M ± cancel each other (as in the case of L ± ), M+ diag M diag = 1. (83) The symplectic form on Γ W Z is written as [8] Ω = 1 2π 2γ tr{ g 1 dg (g 1 dg)dx + dg 1 g1 1 dg 2 g2 1 M+ 1 dm + M 1 dm }, (84) 0 where γ = 4π (k is the level in the classical case and the height, i.e., the level k plus the dual Coxeter number in the quantum case). The relative coefficients of the three terms in (84) are in fact determined by the requirement that the 2 form is closed, dω = 0. (85) In proving (85) we use the following easily verifiable identities tr 2π 0 g 1 dg (g 1 dg)dx = 1 3 tr{(g 1 2 dg 2 ) 3 (g 1 1 dg 1 ) 3 }; (86) tr d(m 1 + dm + M 1 dm ) = 1 3 tr(m 1 dm) 3. (87) It is straightforward to check that Ω is invariant under periodic left shifts δ ε g = ε(x)g(x), ε(0) = ε(2π). (88) We shall demonstrate that the form (84) also possesses an infinite quantum symmetry under right shifts: δ ε g(x) = g(x)ε(x), (89) where ε is either x independent (the known case of a finite quantum group symmetry) or satisfies the boundary conditions ε(0) = ε + ε i H i + ε α t α, ε(2π) = ε ε i H i + ε α t α. (90) α>0 α>0 In verifying the invariance of the form (84) we use the following relations: δ ε (g 1 dg) = [g 1 dg, ε] + dε, (91) 12

15 tr{2d δ ε tr g 1 dg (g 1 dg)dx = ε (g 1 dg)dx + g 1 2 dg 2 (dε + [g 1 2 dg 2, ε]) g 1 1 dg 1 (dε + + [g 1 1 dg 1, ε + ])}; (92) δ ε tr(dg 1 g1 1 dg 2 g2 1 ) = (93) = tr(dε + g1 1 g1 1 dg 2 g2 1 g 1 dε g2 1 dg 1 g1 1 g 2 ); δm ± = ε ± M ±, tr(dm M 1 dε dm + M+ 1 dε + ) = 0 (94) δ ε tr(m 1 + dm + M 1 dm ) = tr(m 1 dm dε + dm M 1 dε + ). (95) The result for the sum of three terms then reads δ ε Ω = 2tr d{ ε (g 1 dg)dx + ε + g1 1 dg 1 ε g2 1 dg 2 }. (96) The formula (96) shows that the WZNW symplectic form Ω satisfies conditions of the Section 2 and thus the model enjoys PL symmetry. Acknowledgments The authors thank the Erwing Shrödinger International Institute for Mathematical Physics for hospitality and support during the course of this work. I.T. acknowledges partial support by the Bulgarian Science Foundations for Scientific Reseach under contract F11. References [1] E.K.Sklyanin, On an algebra generated by quadratic relations, Uspekhi Mat.Nauk 40:2(1985)214. [2] L.D.Faddev, N.Yu.Reshetikhin, L.A.Takhtajan, Quantization of Lie groups and Lie algebras, Algebra and Analysis 1:1 (1989)178 (English transl.:leningrad Math.J.1(1990) ) (Acad.Press, Boston 1989) pp [3] M.A.Semenov-Tian-Shansky, Dressing transformations and Poisson group actions, Publ.RIMS, Kyoto Univ.21:6(1985) [4] J.N.Lu, A.Weinstein, Poisson-Lie groups, dressing transformations and Bruhat decompositions, J.Diff.Geom.31 (1990)501 13

16 [5] M.A.Semenov-Tian-Shansky, Poisson Lie groups, quantum duality principle and the quantum double, Proceedings of the 1992 Joint Reseach Conference on Conformal Field Theory, Topological Field Theory, and Quantum Groups, Edited by: P.J.Sally, M.Flato, J.Lepowsky, N.Reshetikhin, and G.Zuckermann, AMS book series: Contemporary Mathematics. [6] V.G.Drimfeld, Quantum groups, Proc.1986 I.C.M. vol.1 (Amer. Math. Soc., Berkeley, CA 1987) [7] A.Yu.Alekseev, A.Z.Malkin, Symplectic structures associated to Lie-Poisson groups, Paris-Uppsala preprint PAR-LPTHE 93-08, UUITP 5/1993 [8] K.Gawedzki, Classical origin of quantum group symmetries in Wess-Zumino- Witten conformal field theory, Commun.Math.Phys.139(1991)201; F.Falceto, K.Gawedzki, On quantum group symmetries of conformal field theories, XXth International Conference on Differential Geometric Methods in Theoretical Physics, New York 1991, Bures-sur-Yvette preprint IHES/P/91/59. [9] A.Alekseev, L.D.Faddeev, (T G) t : A toy model for conformal field theory, Commun.Math.Phys.141(1991)413. [10] E.Witten, Non-abelian bosonization in two dimensions, Commun.Math.Phys.92 (1984) 455. [11] B.Blok, Classical exchange algebra in the Wess-Zumino-Witten model, Phys.Lett. B233 (1989) 359. [12] A.Alekseev, S.Shatashvili, Quantum groups and WZNW models, Commun.Math.Phys.133 (1990) 353. [13] L.D.Faddeev,On the exchange matrix for WZNW models, Commun.Math.Phys.132(1990)131. [14] Tsuchiya,Y.Kanie,Vertex operators in the conformal field theory on P 1 and monodromy representations of the braid group, in: Conformal Field Theory and Soluvable Lattice Models, Advanced Studies in Pure Mathematics 16(1988) ;Let.Math.Phys.13(1987)303. [15] I.T.Todorov, Quantum groups as symmetries of chiral conformal algebras, in Quantum groups, Proc. 8th Intern.Workshop on Math.Phys. at ASI (Clausthal, 1989) eds. H.D. Doebner, J.D.Hennig, Lecture Notes in Physics 370 (Springer, Berlin 1990) pp [16] L.K.Hadjiivanov, R.R.Paunov, I.T.Todorov, Quantum group extended chiral p models, Nucl.Phys.B356 (1991)387; Ya.S.Stanev, I.T.Todorov, L.K.Hadjiivanov, Braid invariant rational conformal models with a quantum group symmetry, Phys.Letters B276 (1992)87. 14

Quantum Mechanics and Representation Theory

Quantum Mechanics and Representation Theory Quantum Mechanics and Representation Theory Peter Woit Columbia University Texas Tech, November 21 2013 Peter Woit (Columbia University) Quantum Mechanics and Representation Theory November 2013 1 / 30

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

Structure of the Root Spaces for Simple Lie Algebras

Structure of the Root Spaces for Simple Lie Algebras Structure of the Root Spaces for Simple Lie Algebras I. Introduction A Cartan subalgebra, H, of a Lie algebra, G, is a subalgebra, H G, such that a. H is nilpotent, i.e., there is some n such that (H)

More information

Linear Algebra Notes for Marsden and Tromba Vector Calculus

Linear Algebra Notes for Marsden and Tromba Vector Calculus Linear Algebra Notes for Marsden and Tromba Vector Calculus n-dimensional Euclidean Space and Matrices Definition of n space As was learned in Math b, a point in Euclidean three space can be thought of

More information

Continuous Groups, Lie Groups, and Lie Algebras

Continuous Groups, Lie Groups, and Lie Algebras Chapter 7 Continuous Groups, Lie Groups, and Lie Algebras Zeno was concerned with three problems... These are the problem of the infinitesimal, the infinite, and continuity... Bertrand Russell The groups

More information

Similarity and Diagonalization. Similar Matrices

Similarity and Diagonalization. Similar Matrices MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that

More information

Lecture L3 - Vectors, Matrices and Coordinate Transformations

Lecture L3 - Vectors, Matrices and Coordinate Transformations S. Widnall 16.07 Dynamics Fall 2009 Lecture notes based on J. Peraire Version 2.0 Lecture L3 - Vectors, Matrices and Coordinate Transformations By using vectors and defining appropriate operations between

More information

Notes on Determinant

Notes on Determinant ENGG2012B Advanced Engineering Mathematics Notes on Determinant Lecturer: Kenneth Shum Lecture 9-18/02/2013 The determinant of a system of linear equations determines whether the solution is unique, without

More information

Group Theory. 1 Cartan Subalgebra and the Roots. November 23, 2011. 1.1 Cartan Subalgebra. 1.2 Root system

Group Theory. 1 Cartan Subalgebra and the Roots. November 23, 2011. 1.1 Cartan Subalgebra. 1.2 Root system Group Theory November 23, 2011 1 Cartan Subalgebra and the Roots 1.1 Cartan Subalgebra Let G be the Lie algebra, if h G it is called a subalgebra of G. Now we seek a basis in which [x, T a ] = ζ a T a

More information

Inner Product Spaces

Inner Product Spaces Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

More information

Elements of Abstract Group Theory

Elements of Abstract Group Theory Chapter 2 Elements of Abstract Group Theory Mathematics is a game played according to certain simple rules with meaningless marks on paper. David Hilbert The importance of symmetry in physics, and for

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

Elasticity Theory Basics

Elasticity Theory Basics G22.3033-002: Topics in Computer Graphics: Lecture #7 Geometric Modeling New York University Elasticity Theory Basics Lecture #7: 20 October 2003 Lecturer: Denis Zorin Scribe: Adrian Secord, Yotam Gingold

More information

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1. MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column

More information

State of Stress at Point

State of Stress at Point State of Stress at Point Einstein Notation The basic idea of Einstein notation is that a covector and a vector can form a scalar: This is typically written as an explicit sum: According to this convention,

More information

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

More information

by the matrix A results in a vector which is a reflection of the given

by the matrix A results in a vector which is a reflection of the given Eigenvalues & Eigenvectors Example Suppose Then So, geometrically, multiplying a vector in by the matrix A results in a vector which is a reflection of the given vector about the y-axis We observe that

More information

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set.

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set. MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set. Vector space A vector space is a set V equipped with two operations, addition V V (x,y) x + y V and scalar

More information

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

More information

RESULTANT AND DISCRIMINANT OF POLYNOMIALS

RESULTANT AND DISCRIMINANT OF POLYNOMIALS RESULTANT AND DISCRIMINANT OF POLYNOMIALS SVANTE JANSON Abstract. This is a collection of classical results about resultants and discriminants for polynomials, compiled mainly for my own use. All results

More information

15.062 Data Mining: Algorithms and Applications Matrix Math Review

15.062 Data Mining: Algorithms and Applications Matrix Math Review .6 Data Mining: Algorithms and Applications Matrix Math Review The purpose of this document is to give a brief review of selected linear algebra concepts that will be useful for the course and to develop

More information

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +

More information

University of Lille I PC first year list of exercises n 7. Review

University of Lille I PC first year list of exercises n 7. Review University of Lille I PC first year list of exercises n 7 Review Exercise Solve the following systems in 4 different ways (by substitution, by the Gauss method, by inverting the matrix of coefficients

More information

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

More information

Classification of Cartan matrices

Classification of Cartan matrices Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms

More information

LS.6 Solution Matrices

LS.6 Solution Matrices LS.6 Solution Matrices In the literature, solutions to linear systems often are expressed using square matrices rather than vectors. You need to get used to the terminology. As before, we state the definitions

More information

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

More information

1 Lecture: Integration of rational functions by decomposition

1 Lecture: Integration of rational functions by decomposition Lecture: Integration of rational functions by decomposition into partial fractions Recognize and integrate basic rational functions, except when the denominator is a power of an irreducible quadratic.

More information

1 Sets and Set Notation.

1 Sets and Set Notation. LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

More information

Matrix generators for exceptional groups of Lie type

Matrix generators for exceptional groups of Lie type J. Symbolic Computation (2000) 11, 1 000 Matrix generators for exceptional groups of Lie type R. B. HOWLETT, L. J. RYLANDS AND D. E. TAYLOR School of Mathematics and Statistics, University of Sydney, Australia

More information

CLASSIFICATIONS OF STAR PRODUCTS AND DEFORMATIONS OF POISSON BRACKETS

CLASSIFICATIONS OF STAR PRODUCTS AND DEFORMATIONS OF POISSON BRACKETS POISSON GEOMETRY BANACH CENTER PUBLICATIONS, VOLUME 51 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 000 CLASSIFICATIONS OF STAR PRODUCTS AND DEFORMATIONS OF POISSON BRACKETS PHILIPP E BO

More information

Fiber sums of genus 2 Lefschetz fibrations

Fiber sums of genus 2 Lefschetz fibrations Proceedings of 9 th Gökova Geometry-Topology Conference, pp, 1 10 Fiber sums of genus 2 Lefschetz fibrations Denis Auroux Abstract. Using the recent results of Siebert and Tian about the holomorphicity

More information

Systems of Linear Equations

Systems of Linear Equations Systems of Linear Equations Beifang Chen Systems of linear equations Linear systems A linear equation in variables x, x,, x n is an equation of the form a x + a x + + a n x n = b, where a, a,, a n and

More information

8 Square matrices continued: Determinants

8 Square matrices continued: Determinants 8 Square matrices continued: Determinants 8. Introduction Determinants give us important information about square matrices, and, as we ll soon see, are essential for the computation of eigenvalues. You

More information

Semi-Simple Lie Algebras and Their Representations

Semi-Simple Lie Algebras and Their Representations i Semi-Simple Lie Algebras and Their Representations Robert N. Cahn Lawrence Berkeley Laboratory University of California Berkeley, California 1984 THE BENJAMIN/CUMMINGS PUBLISHING COMPANY Advanced Book

More information

NOTES ON LINEAR TRANSFORMATIONS

NOTES ON LINEAR TRANSFORMATIONS NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all

More information

Solving Systems of Linear Equations

Solving Systems of Linear Equations LECTURE 5 Solving Systems of Linear Equations Recall that we introduced the notion of matrices as a way of standardizing the expression of systems of linear equations In today s lecture I shall show how

More information

The Method of Partial Fractions Math 121 Calculus II Spring 2015

The Method of Partial Fractions Math 121 Calculus II Spring 2015 Rational functions. as The Method of Partial Fractions Math 11 Calculus II Spring 015 Recall that a rational function is a quotient of two polynomials such f(x) g(x) = 3x5 + x 3 + 16x x 60. The method

More information

Unified Lecture # 4 Vectors

Unified Lecture # 4 Vectors Fall 2005 Unified Lecture # 4 Vectors These notes were written by J. Peraire as a review of vectors for Dynamics 16.07. They have been adapted for Unified Engineering by R. Radovitzky. References [1] Feynmann,

More information

Solution of Linear Systems

Solution of Linear Systems Chapter 3 Solution of Linear Systems In this chapter we study algorithms for possibly the most commonly occurring problem in scientific computing, the solution of linear systems of equations. We start

More information

Gauged supergravity and E 10

Gauged supergravity and E 10 Gauged supergravity and E 10 Jakob Palmkvist Albert-Einstein-Institut in collaboration with Eric Bergshoeff, Olaf Hohm, Axel Kleinschmidt, Hermann Nicolai and Teake Nutma arxiv:0810.5767 JHEP01(2009)020

More information

4.5 Linear Dependence and Linear Independence

4.5 Linear Dependence and Linear Independence 4.5 Linear Dependence and Linear Independence 267 32. {v 1, v 2 }, where v 1, v 2 are collinear vectors in R 3. 33. Prove that if S and S are subsets of a vector space V such that S is a subset of S, then

More information

1 Symmetries of regular polyhedra

1 Symmetries of regular polyhedra 1230, notes 5 1 Symmetries of regular polyhedra Symmetry groups Recall: Group axioms: Suppose that (G, ) is a group and a, b, c are elements of G. Then (i) a b G (ii) (a b) c = a (b c) (iii) There is an

More information

Vector and Matrix Norms

Vector and Matrix Norms Chapter 1 Vector and Matrix Norms 11 Vector Spaces Let F be a field (such as the real numbers, R, or complex numbers, C) with elements called scalars A Vector Space, V, over the field F is a non-empty

More information

RINGS WITH A POLYNOMIAL IDENTITY

RINGS WITH A POLYNOMIAL IDENTITY RINGS WITH A POLYNOMIAL IDENTITY IRVING KAPLANSKY 1. Introduction. In connection with his investigation of projective planes, M. Hall [2, Theorem 6.2]* proved the following theorem: a division ring D in

More information

1 Introduction to Matrices

1 Introduction to Matrices 1 Introduction to Matrices In this section, important definitions and results from matrix algebra that are useful in regression analysis are introduced. While all statements below regarding the columns

More information

1 VECTOR SPACES AND SUBSPACES

1 VECTOR SPACES AND SUBSPACES 1 VECTOR SPACES AND SUBSPACES What is a vector? Many are familiar with the concept of a vector as: Something which has magnitude and direction. an ordered pair or triple. a description for quantities such

More information

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2. Chapter 1 LINEAR EQUATIONS 1.1 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

More information

The Characteristic Polynomial

The Characteristic Polynomial Physics 116A Winter 2011 The Characteristic Polynomial 1 Coefficients of the characteristic polynomial Consider the eigenvalue problem for an n n matrix A, A v = λ v, v 0 (1) The solution to this problem

More information

Lecture 18 - Clifford Algebras and Spin groups

Lecture 18 - Clifford Algebras and Spin groups Lecture 18 - Clifford Algebras and Spin groups April 5, 2013 Reference: Lawson and Michelsohn, Spin Geometry. 1 Universal Property If V is a vector space over R or C, let q be any quadratic form, meaning

More information

How To Prove The Dirichlet Unit Theorem

How To Prove The Dirichlet Unit Theorem Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

More information

Mathematical Physics, Lecture 9

Mathematical Physics, Lecture 9 Mathematical Physics, Lecture 9 Hoshang Heydari Fysikum April 25, 2012 Hoshang Heydari (Fysikum) Mathematical Physics, Lecture 9 April 25, 2012 1 / 42 Table of contents 1 Differentiable manifolds 2 Differential

More information

ON TORI TRIANGULATIONS ASSOCIATED WITH TWO-DIMENSIONAL CONTINUED FRACTIONS OF CUBIC IRRATIONALITIES.

ON TORI TRIANGULATIONS ASSOCIATED WITH TWO-DIMENSIONAL CONTINUED FRACTIONS OF CUBIC IRRATIONALITIES. ON TORI TRIANGULATIONS ASSOCIATED WITH TWO-DIMENSIONAL CONTINUED FRACTIONS OF CUBIC IRRATIONALITIES. O. N. KARPENKOV Introduction. A series of properties for ordinary continued fractions possesses multidimensional

More information

BILINEAR FORMS KEITH CONRAD

BILINEAR FORMS KEITH CONRAD BILINEAR FORMS KEITH CONRAD The geometry of R n is controlled algebraically by the dot product. We will abstract the dot product on R n to a bilinear form on a vector space and study algebraic and geometric

More information

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) MAT067 University of California, Davis Winter 2007 Linear Maps Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) As we have discussed in the lecture on What is Linear Algebra? one of

More information

Section 1.1. Introduction to R n

Section 1.1. Introduction to R n The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to

More information

Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2

Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2 Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2 Ameya Pitale, Ralf Schmidt 2 Abstract Let µ(n), n > 0, be the sequence of Hecke eigenvalues of a cuspidal Siegel eigenform F of degree

More information

GENERATING SETS KEITH CONRAD

GENERATING SETS KEITH CONRAD GENERATING SETS KEITH CONRAD 1 Introduction In R n, every vector can be written as a unique linear combination of the standard basis e 1,, e n A notion weaker than a basis is a spanning set: a set of vectors

More information

Extrinsic geometric flows

Extrinsic geometric flows On joint work with Vladimir Rovenski from Haifa Paweł Walczak Uniwersytet Łódzki CRM, Bellaterra, July 16, 2010 Setting Throughout this talk: (M, F, g 0 ) is a (compact, complete, any) foliated, Riemannian

More information

Chapter 20. Vector Spaces and Bases

Chapter 20. Vector Spaces and Bases Chapter 20. Vector Spaces and Bases In this course, we have proceeded step-by-step through low-dimensional Linear Algebra. We have looked at lines, planes, hyperplanes, and have seen that there is no limit

More information

ISOMETRIES OF R n KEITH CONRAD

ISOMETRIES OF R n KEITH CONRAD ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x

More information

A QUICK GUIDE TO THE FORMULAS OF MULTIVARIABLE CALCULUS

A QUICK GUIDE TO THE FORMULAS OF MULTIVARIABLE CALCULUS A QUIK GUIDE TO THE FOMULAS OF MULTIVAIABLE ALULUS ontents 1. Analytic Geometry 2 1.1. Definition of a Vector 2 1.2. Scalar Product 2 1.3. Properties of the Scalar Product 2 1.4. Length and Unit Vectors

More information

Chapter 17. Orthogonal Matrices and Symmetries of Space

Chapter 17. Orthogonal Matrices and Symmetries of Space Chapter 17. Orthogonal Matrices and Symmetries of Space Take a random matrix, say 1 3 A = 4 5 6, 7 8 9 and compare the lengths of e 1 and Ae 1. The vector e 1 has length 1, while Ae 1 = (1, 4, 7) has length

More information

QUADRATIC RECIPROCITY IN CHARACTERISTIC 2

QUADRATIC RECIPROCITY IN CHARACTERISTIC 2 QUADRATIC RECIPROCITY IN CHARACTERISTIC 2 KEITH CONRAD 1. Introduction Let F be a finite field. When F has odd characteristic, the quadratic reciprocity law in F[T ] (see [4, Section 3.2.2] or [5]) lets

More information

Solution to Homework 2

Solution to Homework 2 Solution to Homework 2 Olena Bormashenko September 23, 2011 Section 1.4: 1(a)(b)(i)(k), 4, 5, 14; Section 1.5: 1(a)(b)(c)(d)(e)(n), 2(a)(c), 13, 16, 17, 18, 27 Section 1.4 1. Compute the following, if

More information

GROUP ALGEBRAS. ANDREI YAFAEV

GROUP ALGEBRAS. ANDREI YAFAEV GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite

More information

PYTHAGOREAN TRIPLES KEITH CONRAD

PYTHAGOREAN TRIPLES KEITH CONRAD PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient

More information

Introduction to Matrix Algebra

Introduction to Matrix Algebra Psychology 7291: Multivariate Statistics (Carey) 8/27/98 Matrix Algebra - 1 Introduction to Matrix Algebra Definitions: A matrix is a collection of numbers ordered by rows and columns. It is customary

More information

The Matrix Elements of a 3 3 Orthogonal Matrix Revisited

The Matrix Elements of a 3 3 Orthogonal Matrix Revisited Physics 116A Winter 2011 The Matrix Elements of a 3 3 Orthogonal Matrix Revisited 1. Introduction In a class handout entitled, Three-Dimensional Proper and Improper Rotation Matrices, I provided a derivation

More information

Section 6.1 - Inner Products and Norms

Section 6.1 - Inner Products and Norms Section 6.1 - Inner Products and Norms Definition. Let V be a vector space over F {R, C}. An inner product on V is a function that assigns, to every ordered pair of vectors x and y in V, a scalar in F,

More information

HW6 Solutions. MATH 20D Fall 2013 Prof: Sun Hui TA: Zezhou Zhang (David) November 14, 2013. Checklist: Section 7.8: 1c, 2, 7, 10, [16]

HW6 Solutions. MATH 20D Fall 2013 Prof: Sun Hui TA: Zezhou Zhang (David) November 14, 2013. Checklist: Section 7.8: 1c, 2, 7, 10, [16] HW6 Solutions MATH D Fall 3 Prof: Sun Hui TA: Zezhou Zhang David November 4, 3 Checklist: Section 7.8: c,, 7,, [6] Section 7.9:, 3, 7, 9 Section 7.8 In Problems 7.8. thru 4: a Draw a direction field and

More information

Math 312 Homework 1 Solutions

Math 312 Homework 1 Solutions Math 31 Homework 1 Solutions Last modified: July 15, 01 This homework is due on Thursday, July 1th, 01 at 1:10pm Please turn it in during class, or in my mailbox in the main math office (next to 4W1) Please

More information

Orthogonal Diagonalization of Symmetric Matrices

Orthogonal Diagonalization of Symmetric Matrices MATH10212 Linear Algebra Brief lecture notes 57 Gram Schmidt Process enables us to find an orthogonal basis of a subspace. Let u 1,..., u k be a basis of a subspace V of R n. We begin the process of finding

More information

Chapter 9 Unitary Groups and SU(N)

Chapter 9 Unitary Groups and SU(N) Chapter 9 Unitary Groups and SU(N) The irreducible representations of SO(3) are appropriate for describing the degeneracies of states of quantum mechanical systems which have rotational symmetry in three

More information

Linear Algebra Done Wrong. Sergei Treil. Department of Mathematics, Brown University

Linear Algebra Done Wrong. Sergei Treil. Department of Mathematics, Brown University Linear Algebra Done Wrong Sergei Treil Department of Mathematics, Brown University Copyright c Sergei Treil, 2004, 2009, 2011, 2014 Preface The title of the book sounds a bit mysterious. Why should anyone

More information

Prime Numbers and Irreducible Polynomials

Prime Numbers and Irreducible Polynomials Prime Numbers and Irreducible Polynomials M. Ram Murty The similarity between prime numbers and irreducible polynomials has been a dominant theme in the development of number theory and algebraic geometry.

More information

Let H and J be as in the above lemma. The result of the lemma shows that the integral

Let H and J be as in the above lemma. The result of the lemma shows that the integral Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;

More information

THE DIMENSION OF A VECTOR SPACE

THE DIMENSION OF A VECTOR SPACE THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field

More information

Linear Codes. Chapter 3. 3.1 Basics

Linear Codes. Chapter 3. 3.1 Basics Chapter 3 Linear Codes In order to define codes that we can encode and decode efficiently, we add more structure to the codespace. We shall be mainly interested in linear codes. A linear code of length

More information

December 4, 2013 MATH 171 BASIC LINEAR ALGEBRA B. KITCHENS

December 4, 2013 MATH 171 BASIC LINEAR ALGEBRA B. KITCHENS December 4, 2013 MATH 171 BASIC LINEAR ALGEBRA B KITCHENS The equation 1 Lines in two-dimensional space (1) 2x y = 3 describes a line in two-dimensional space The coefficients of x and y in the equation

More information

Linear Algebra Notes

Linear Algebra Notes Linear Algebra Notes Chapter 19 KERNEL AND IMAGE OF A MATRIX Take an n m matrix a 11 a 12 a 1m a 21 a 22 a 2m a n1 a n2 a nm and think of it as a function A : R m R n The kernel of A is defined as Note

More information

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

More information

Classification and reduction of polynomial Hamiltonians with three degrees of freedom

Classification and reduction of polynomial Hamiltonians with three degrees of freedom Monografías de la Real Academia de Ciencias de Zaragoza. 22: 101 109, (2003). Classification and reduction of polynomial Hamiltonians with three degrees of freedom S. Gutiérrez, J. Palacián and P. Yanguas

More information

1 Lecture 3: Operators in Quantum Mechanics

1 Lecture 3: Operators in Quantum Mechanics 1 Lecture 3: Operators in Quantum Mechanics 1.1 Basic notions of operator algebra. In the previous lectures we have met operators: ˆx and ˆp = i h they are called fundamental operators. Many operators

More information

Rolle s Theorem. q( x) = 1

Rolle s Theorem. q( x) = 1 Lecture 1 :The Mean Value Theorem We know that constant functions have derivative zero. Is it possible for a more complicated function to have derivative zero? In this section we will answer this question

More information

8.1 Examples, definitions, and basic properties

8.1 Examples, definitions, and basic properties 8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A k-form ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)-form σ Ω k 1 (M) such that dσ = ω.

More information

Nonzero degree tangential maps between dual symmetric spaces

Nonzero degree tangential maps between dual symmetric spaces ISSN 1472-2739 (on-line) 1472-2747 (printed) 709 Algebraic & Geometric Topology Volume 1 (2001) 709 718 Published: 30 November 2001 ATG Nonzero degree tangential maps between dual symmetric spaces Boris

More information

Quotient Rings and Field Extensions

Quotient Rings and Field Extensions Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

More information

MATH 551 - APPLIED MATRIX THEORY

MATH 551 - APPLIED MATRIX THEORY MATH 55 - APPLIED MATRIX THEORY FINAL TEST: SAMPLE with SOLUTIONS (25 points NAME: PROBLEM (3 points A web of 5 pages is described by a directed graph whose matrix is given by A Do the following ( points

More information

Row Echelon Form and Reduced Row Echelon Form

Row Echelon Form and Reduced Row Echelon Form These notes closely follow the presentation of the material given in David C Lay s textbook Linear Algebra and its Applications (3rd edition) These notes are intended primarily for in-class presentation

More information

Math 241, Exam 1 Information.

Math 241, Exam 1 Information. Math 241, Exam 1 Information. 9/24/12, LC 310, 11:15-12:05. Exam 1 will be based on: Sections 12.1-12.5, 14.1-14.3. The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/241fa12/241.html)

More information

Linear Algebra I. Ronald van Luijk, 2012

Linear Algebra I. Ronald van Luijk, 2012 Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.

More information

Numerical Analysis Lecture Notes

Numerical Analysis Lecture Notes Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number

More information

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5. PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

More information

SURVEY ON DYNAMICAL YANG-BAXTER MAPS. Y. Shibukawa

SURVEY ON DYNAMICAL YANG-BAXTER MAPS. Y. Shibukawa SURVEY ON DYNAMICAL YANG-BAXTER MAPS Y. Shibukawa Department of Mathematics, Faculty of Science, Hokkaido University, Sapporo 060-0810, Japan e-mail: shibu@math.sci.hokudai.ac.jp Abstract In this survey,

More information

Chapter 6. Orthogonality

Chapter 6. Orthogonality 6.3 Orthogonal Matrices 1 Chapter 6. Orthogonality 6.3 Orthogonal Matrices Definition 6.4. An n n matrix A is orthogonal if A T A = I. Note. We will see that the columns of an orthogonal matrix must be

More information

Cross product and determinants (Sect. 12.4) Two main ways to introduce the cross product

Cross product and determinants (Sect. 12.4) Two main ways to introduce the cross product Cross product and determinants (Sect. 12.4) Two main ways to introduce the cross product Geometrical definition Properties Expression in components. Definition in components Properties Geometrical expression.

More information

Ideal Class Group and Units

Ideal Class Group and Units Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

More information

5.3 The Cross Product in R 3

5.3 The Cross Product in R 3 53 The Cross Product in R 3 Definition 531 Let u = [u 1, u 2, u 3 ] and v = [v 1, v 2, v 3 ] Then the vector given by [u 2 v 3 u 3 v 2, u 3 v 1 u 1 v 3, u 1 v 2 u 2 v 1 ] is called the cross product (or

More information

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.

More information