A definition of contraction of Lie algebra representations using direct limit

Size: px
Start display at page:

Download "A definition of contraction of Lie algebra representations using direct limit"

Transcription

1 Home Search Collections Journals About Contact us My IOPscience A definition of contraction of Lie algebra representations using direct it This content has been downloaded from IOPscience. Please scroll down to see the full text J. Phys.: Conf. Ser ( View the table of contents for this issue, or go to the ournal homepage for more Download details: IP Address: This content was downloaded on 09/08/2016 at 11:41 Please note that terms and conditions apply.

2 A definition of contraction of Lie algebra representations using direct it E M Subag 1, E M Baruch 1, J L Birman 2 and A Mann 3 1 Department of Mathematics, Technion-Israel Institute of Technology, Haifa 32000, Israel 2 Department of Physics, The City College of the City University of New York, New York N.Y.10031, USA 3 Department of Physics, Technion-Israel Institute of Technology, Haifa 32000, Israel esubag@tx.technion.ac.il, embaruch@math.technion.ac.il, birman@sci.ccny.cuny.edu and ady@physics.technion.ac.il Abstract. In this paper the frequently used procedures for contraction of Lie algebra representations which were introduced by İnönü and Wigner are reformulated using the notion of direct it. A definition for contraction of Lie algebra representations based on this reformulation is given. The contractions of the skew-hermitian irreducible representations of so(3) to those of iso(2) and of iso(1, 1) to those of Heisenberg Lie algebra are given as examples. 1. Introduction and preinaries In the early work of İnönü and Wigner [1] contraction of Lie algebra representations was demonstrated for the first time. Their examples roughly fall into two main procedures: convergence of differential operators and convergence of matrix elements. These two schemes are fundamentally different. In the first approach, a pointwise convergence of a family of differential operators acting on representation spaces of the Lie algebra that is being contracted defines a new well-defined differential operator which acts on a representation space of the contracted Lie algebra. In the second approach the matrix elements of a sequence of operators which act on representation spaces of the Lie algebra that is being contracted converge to matrix elements of an operator in a representation space of the contracted Lie algebra. In the first approach the iting procedure actually produces the iting representation, while in the second approach there is no such construction but merely some identification that comes from the convergence of the matrix elements. In order to understand this difficulty we will review the contraction of so(3) representations to those of iso(2) as was given by İnönü and Wigner [1]. In that example, starting from a sequence of finite dimensional representations of so(3) with increasing dimension, they obtained an infinite dimensional representation of iso(2). For a fixed element of so(3), as one runs over the sequence of the representations, one obtains a matrix with increasing size which converges, in some sense, to an infinite dimensional matrix corresponding to an element in an infinite dimensional representation of iso(2). The type of convergence that İnönü and Wigner obtain was convergence of matrix elements. More precisely for each N let ρ be the dimensional irreducible representation of so(3) with the canonical basis {, m m =, + 1,..., } and let η Ξ be the irreducible representation of Published under licence by Ltd 1

3 iso(2) with casimir Ξ 2 and the canonical basis { m m Z}. Then the formulas that İnönü and Wigner obtained are of the form, m ρ (J z ), m = m η Ξ (J z ) m, (1) where J z is the generator of the rotations around the Z-axis, and similar expressions hold for all other generators of so(3). Instead of finding intrinsic interpretation for the representation space and the operators that are obtained under the it, one tends to make the following identifications, m m (2) (J z ) η Ξ (J z ) (3) The aim of this paper is to show that the natural mathematical notion which describes such its is the direct it [2] of inner product spaces. We will find the intrinsic properties of the sequence of representations that is being contracted and we will characterize the it representation space and the it operators rigourously. We will give a definition of contraction of Lie algebra representations; this definition can be applied in all classical examples of contraction of Lie algebra representations that are obtained via convergence of matrix elements as well as via convergence of differential operators. And as such, this formalism gives a unified approach to all contractions of Lie algebra representations. Our paper is divided as follows: In the rest of this section we review the contraction of Lie algebras, and discuss the issue of contraction of their representations. We review briefly the notion of direct it in the category of inner product spaces and give a relevant example. In section 2 we give a definition for contraction of Lie algebra representations. We also state and prove two propositions which show that the given definition is equivalent to the usual convergence of matrix elements which is a common way (e.g., [3]) to describe contraction of Lie algebra representations. We continue with a couple of basic examples of contraction of representations which are described in terms of our new formalism Contraction of Lie algebras Contraction of Lie algebras is essentially a it of Lie algebras. In 1951 such its were considered for the first time by Segal [4]. A couple of years later İnönü and Wigner [1, 5] introduced the notion of contraction which was later generalized by Saletan [6]. We now give the formal definition for a contraction of Lie algebras using notations that are similar to those of Weimar-Woods [7]. Definition 1 Let U be a complex or real finite dimensional vector space. Let G = (U, [, ]) be a Lie algebra with Lie product [, ]. For any ɛ (0, 1] let t ɛ Aut(U) (t ɛ is a linear invertible operator on U) and for every X, Y U we define If the it [X, Y ] ɛ = t 1 ɛ [t ɛ (X), t ɛ (Y )]. (4) [X, Y ] 0 = ɛ 0 +[X, Y ] ɛ (5) exists for all X, Y U, then [, ] 0 is a Lie product on U and the Lie algebra G 0 = (U, [, ] 0 ) is called the contraction of G by t ɛ and we write G t(ɛ) G 0. 2

4 There is an analogous definition [7] for the case that the it (5) is meaningful only on a sequence {ɛ n } n=0 which converges to zero when n : Definition 2 Let U be a complex or real vector space, G = (U, [, ]) a Lie algebra with Lie product [, ]. For any n N let t n Aut(U) and for every X, Y U we define If the it [X, Y ] n = t 1 n ([t n (X), t n (Y )]). (6) [X, Y ] = [X, Y ] n (7) n exists for all X, Y U, then [, ] is a Lie product on U and the Lie algebra G = (U, [, ] ) is called the sequential contraction of G by t n and we write G tn G Specific examples of contractions of Lie algebras can be found in e.g., [1, 6, 8, 9] Contraction of representations Usually the notion of contraction of Lie algebra representations is used when G t(ɛ) G 0 and there is some kind of iting process which enables one to get a representation of G 0 from a family of representations of G. The first to consider the question of contraction of Lie algebra representations were İnönü and Wigner [1]; they described, using examples only, how to build faithful representations of G 0 from a family of representations of G. More specifically, for every ɛ (0, 1] they had a faithful representation ρ ɛ of G such that when taking ɛ to zero they obtained a faithful representation of G 0. After the pioneering work of İnönü and Wigner on contraction of Lie algebras representations, Saletan investigated contractions of finite dimensional representations of Lie algebras [6]. There have been several attempts to give a general procedure for the contraction of Lie algebras representations e.g., [3, 10, 11, 12, 13, 14], but up to now there does not seem to be a well accepted definition Direct it of inner product spaces Let I = (I, ) be a totally ordered set. Suppose that for every i I we are given an inner product space (V i,, i ) and for every i, I such that i we have a linear map ϕ i : V i V which preserves the inner product. If, in addition, for every i,, k I such that i k we have ϕ ik = ϕ k ϕ i, and for all i I ϕ ii is the identity operator on V i, we call such a collection of inner product spaces and linear maps a directed system of inner product spaces over I. We will call it for short a directed system and denote it by {V i, ϕ i, I}. Given a directed system {V i, ϕ i, I} we denote its direct it [2] by V i. We will use the following construction of the direct it: let {V i, ϕ i, I} be a directed system. Let X be the disoint union of the V i (X = i I V i). We define an equivalence relation on X by: x V i and y V are equivalent (x y) if there exists k I such that i k, k and ϕ ik (x) = ϕ k (y). We denote the equivalence class of x by [x] and the collection of the equivalence classes by V = X/. We give V a structure of inner product space by defining the multiplication of [x] by a scalar α to be [αx], the sum of [x] and [y] where x V i and y V is defined to be [ϕ ik (x) + ϕ k (y)] and the inner product < [x], [y] > is given by < ϕ ik (x), ϕ k (y) > k where k I is such that i k, k. V as constructed here is the direct it of the directed system {V i, ϕ i, I}, i.e. V = X/ = V i (8) 3

5 We remark that for each i I we have the natural morphism ϕ i : V i V which sends x to its equivalence class, [x]. This map is obviously linear and preserves the inner product and hence it is an embedding of V i in V. The maps {ϕ i } i I are compatible with the directed system in the following sense: For every i, I such that i, ϕ i = ϕ ϕ i. Example 1 Let I be the totally ordered set which is N with the usual order of natural numbers. Let {V i, ϕ i, I} be the directed system of inner product spaces over I which is defined as follows: For every n N, V n = C n with the standard inner product. For m n we have ϕ mn ((x 1, x 2,..., x m )) = (x 1, x 2,..., x m, 0, 0,..., 0). In this case the direct it is the inner product space of all infinite sequences with finite numbers of non zero entries and with the standard inner product. In terms of the above construction the elements of the direct it are given by [(x 1, x 2,..., x m )] = {(x 1, x 2,..., x m ), (x 1, x 2,..., x m, 0), (x 1, x 2,..., x m, 0, 0),...} where x m 0. The inner product of [(x 1, x 2,..., x m )], [(y 1, y 2,..., y n )] V V i where m n is given by [(x 1, x 2,..., x m )], [(y 1, y 2,..., y n )] = m i=1 x iy i. We identify [(x 1, x 2,..., x m )] with (x 1, x 2,..., x m, 0, 0,...). 2. Contraction of representations as direct it The set up in the continuous case is as follows. Let I 1 denote the totally ordered set which consists of the interval (0, 1] and the order relation defined by: x y x y. Let G = (U, [, ]) be a Lie algebra and suppose that G t(ɛ) G 0. Given a directed system of inner product spaces indexed by I 1, { } V ɛ, ϕ ɛi ɛ, I 1 and a family of representations of G on the same inner product spaces, {(ρ ɛ, V ɛ )} ɛ I1, for every X U and [v ɛ1 ] V such that v ɛ1 V ɛ1, we define the formal expression ρ 0 (X)[v ɛ1 ] to be: ɛ 0 +[ρ ɛ (t ɛ (X))ϕ ɛ1 ɛ(v ɛ1 )] where V ɛ I 1 V ɛ / is the direct it as constructed in the preceding section. We note that ρ 0 (X)[v ɛ1 ] does not depend on the representative v ɛ1, because if [v ɛ2 ] = [v ɛ1 ] and v ɛ2 V ɛ2 then without loss of generality we can assume that ɛ 1 ɛ 2 so v ɛ2 = ϕ ɛ1 ɛ 2 (v ɛ1 ) = [ρ ɛ (t ɛ (X))ϕ ɛ2 ɛ(v ɛ2 )] = [ρ ɛ (t ɛ (X))ϕ ɛ2 ɛ(ϕ ɛ1 ɛ 2 (v ɛ1 ))] = [ρ ɛ (t ɛ (X))ϕ ɛ1 ɛ(v ɛ1 )]. V is an inner product space and hence also a metric space so the notion of it of elements of V is defined. Now we are ready to give two equivalent definitions. Definition 3 Let G = (U, [, ]) be a Lie algebra such that G t(ɛ) G 0. Let { } V ɛ, ϕ ɛi ɛ, I 1 be a directed system of inner product spaces and {(ρ ɛ, V ɛ )} ɛ I1 a family of representations of G. A representation η : G 0 gl(w ) is called a contraction of the family of representations {(ρ ɛ, V ɛ )} ɛ I1 with respect to the contraction G t(ɛ) G 0 if (i) For every [v] V, X U the it ρ 0 (X)[v] exists (ii) There exists a linear invertible transformation K : V W such that for every [v] V, X U we have ρ 0 (X)[v] = K 1 η(g)k([v]) and we denote it by ρ ɛ t(ɛ) η. Definition 4 Let G = (U, [, ]) be a Lie algebra such that G t(ɛ) G 0. Let { } V ɛ, ϕ ɛi ɛ, I 1 be a directed system of inner product spaces and {(ρ ɛ, V ɛ )} ɛ I1 a family of representations of G. If (i) For every [v] V, X U the it ρ 0 (X)[v] exists (ii) The map ρ 0 : G 0 gl(v ) is a Lie algebra homomorphism we call ρ 0 a contraction of the family of representations {(ρ ɛ, V ɛ )} ɛ I1 with respect to the contraction G t(ɛ) G 0 and we denote it by ρ ɛ t(ɛ) ρ 0. 4

6 Definitions 3 and 4 are obviously equivalent, however in most cases the representation that is obtained under the it is already known and therefore it is possible to avoid checking condition (ii) of definition 4. Definition 4 stresses the fact that the family of representations of G along with the associated directed system possess all the data on the it representation space. Similarly, in the sequential case, let I 2 denote the totally ordered set which consists of the natural numbers, N and the usual order of natural numbers, i.e. m n m n. Let G = (U, [, ]) be a Lie algebra and suppose that G tn G. Whenever we are given a directed system of inner product spaces indexed by I 2, {V i, ϕ i, I 2 } and a sequence of representations of G, {(ρ i, V i )} i I2, on the same inner product spaces of the directed system, for every X U and [v m ] V such that v m V m, we define the formal expression ρ (X)[v m ] to be: n [ρ n (t ɛn (X))ϕ mn (v m )]. Definition 5 Let G = (U, [, ]) be a Lie algebra such that G tn G. Let {V i, ϕ i, I 2 } be a directed system of inner product spaces and {(ρ i, V i )} i I2 a family of representations of G. A representation η : G gl(w ) is called a contraction of the sequence of representations {(ρ i, V i )} i I2 with respect to the contraction G tn G if (i) For every [v] V, X U the it ρ (X)[v] exists (ii) There exists a linear invertible transformation K : V W such that for every [v] V, X U we have ρ (X)[v] = K 1 η(x)k([v]) and we denote it by ρ n t n η. The relation between the above definitions and the convergence of matrix elements in given in the following two simple propositions. t(ɛ) Proposition 1 In the notations of the definitions above when ρ ɛ ρ 0, for every v 1 V ɛ1, v 2 and X U V ɛ2 [v 1 ], ρ 0 (X)[v 2 ] = ϕ ɛ ɛ ɛ(v 1 ), ρ ɛ (t ɛ (X))ϕ ɛ2 ɛ(v 2 ) ɛ. (9) Proof 1 The proof simply follows from the definition of the inner product of the direct it: [v 1 ], ρ 0 (X)[v 2 ] = [v 1 ], ɛ 0 +[ρ ɛ(t ɛ (X))ϕ ɛ2 ɛ(v 2 )] = (10) = [v 1], [ρ ɛ (t ɛ (X))ϕ ɛ2 ɛ(v 2 )] = ϕ ɛ ɛ 0 + ɛ ɛ(v 1 ), ρ ɛ (t ɛ (X))ϕ ɛ2 ɛ(v 2 ) ɛ We note that if in addition K is unitary then we have K[v 1 ], η(x)k[v 2 ] W = [v 1 ], ρ 0 (g)[v 2 ] = (11) ɛ 0 + ϕ ɛ 1 ɛ(v 1 ), ρ ɛ (t ɛ (X))ϕ ɛ2 ɛ(v 2 ) ɛ where, W stands for the inner product on W. Proposition 2 Let G = (U, [, ]) be a Lie algebra such that G t(ɛ) G 0. Let { } V ɛ, ϕ ɛi ɛ, I 1 be a directed system of inner product spaces and {(ρ ɛ, V ɛ )} ɛ I1 a family of representations of G. Suppose that η : G 0 gl(w ) is a representation such that W has a countable orthonormal basis. Assume that for every ɛ I 1 there is a linear transformation that preserves the inner product, τ ɛ : V ɛ W such that: 5

7 (i) For every ɛ 1 ɛ 2, τ ɛ2 = τ ɛ1 ϕ ɛ2 ɛ 1 (ii) For every w W there is some ɛ I 1 and some v V ɛ, such that τ ɛ (v) = w (iii) For every X U, v 1, v 2 V ɛ ɛ 0 + ϕ ɛɛ(v 1 ), ρ ɛ (t ɛ (X))ϕ ɛɛ (v 2 ) ɛ = τ ɛ (v 1 ), η(x)τ ɛ (v 2 ) W (iv) For every X U, every ɛ 0 I and every v V ɛ0 dim span τ ɛ ρ ɛ (X)ϕ ɛ0 ɛ(v) < ɛ ɛ 0 Then (η, W ) is a contraction of the family of representations {(ρ ɛ, V ɛ )} ɛ I1 contraction G t(ɛ) G 0 with respect to the Proof 2 Let V be the direct it of { V ɛ, ϕ ɛi ɛ, I 1 }. We define a map K : V W by K([v i ]) = τ ɛi (v i ) for v i V ɛi. It easily follows that K is a well defined isometry. We will now show that the it defining ρ 0 (X) exists and equals K 1 η(x)k. For any X U, [v 1 ], [v 2 ] V such that v 1, v 2 V ɛ0 we have : [v 1], [ρ ɛ (t ɛ (X))ϕ ɛ0 ɛ(v 2 )] = ɛ 0 + = τ ɛ0 (v 1 ), η(x)τ ɛ0 (v 2 ) W = K([v 1 ]), η(x)k([v 2 ]) W }{{} (iii) And since K 1 is an isometry, we get ɛ 0 + ϕ ɛ 0 ɛ(v 1 ), ρ ɛ (t ɛ (X))ϕ ɛ0 ɛ(v 2 ) ɛ (12) [v 1], [ρ ɛ (t ɛ (X))ϕ ɛ0 ɛ(v 2 )] = [v 1 ], K 1 η(x)k([v 2 ]) (13) ɛ 0 + which means that {[ρ ɛ (t ɛ (X))ϕ ɛ0 ɛ(v 2 )]} ɛ (0,1] weakly converges to K 1 η(x)k([v 2 ]) when ɛ goes to zero. From (iv) and the fact that weak convergence in finite dimensional spaces is equivalent to convergence in norm it follows that for every X U and v V ɛ0 {[ρ ɛ (t ɛ (X))ϕ ɛ0 ɛ(v 2 )]} ɛ (0,1] converges in norm to K 1 η(x)k([v 2 ]) as ɛ goes to zero. Hence for every [v] V, X U the it ρ 0 (X)[v] exists and we have ρ 0 (X)[v] = K 1 t(ɛ) η(x)k([v]). So we have proved that ρ ɛ η. 3. Examples In this section we demonstrate our definition of contraction of Lie algebra representations in the continuous and the discrete case. The contraction of so(3) to iso(2) This contraction is given e.g., in [1, 3, 11]. We will formulate it in terms of the given definition while trying to keep some of the notations of [1]. The basis {J x, J y, J z } along with the commutation relations [J i, J ] = ɛ ik J k define the Lie algebra so(3). The basis {P x, P y, L z } along with the commutation relations [L z, P x ] iso(2) = P y, [L z, P y ] iso(2) = P x define the Lie algebra iso(2). The contraction transformation t ɛ (J x ) = ɛj x, t ɛ (J y ) = ɛj y, t ɛ (J z ) = J z leads to the commutation relations [J z, J x ] 0 = J y, [J z, J y ] 0 = J x and hence it is isomorphic to iso(2). 6

8 For every non negative integer, we denote by (ρ, { V ) the dimensional } irreducible representation of so(3). V has the orthonormal basis m m {, + 1,..., } on which the representation is given by ρ (J z ) m = im m (14) ρ (J x ) m = 1 ( m)( + m + 1) m ( m + 1)( + m) m 1 2 (15) ρ (J y ) m = i ( m)( + m + 1) m i ( m + 1)( + m) m 1 2 (16) For every positive number Ξ, iso(2) has an irreducible infinite dimensional representation, which we denote by (η Ξ, W Ξ ). In fact these are all the infinite dimensional irreducible representations of iso(2) that are integrable to a unitary representation of ISO(2). W Ξ has an orthonormal basis { Ξ m m {0, ±1, ±2,...} } on which the representation is given by η Ξ (L z ) Ξ m = im Ξ m (17) η Ξ (P x ) Ξ m = iξ 2 Ξ m+1 + iξ 2 Ξ m 1 (18) η Ξ (P y ) Ξ m = Ξ 2 Ξ m+1 + Ξ 2 Ξ m 1 (19) We fix a positive number Ξ 0 and define a monotonous sequence of positive numbers that converges to zero by ɛ = Ξ 0 We take the directed system of inner product spaces to be. {V n, ϕ mn, I 2 }, where for k, ϕ k ( m ) = k m. We take the sequence of representations { (ρ, V ) } { } I 2. One can show that the set B = [ m m ] m = 0, ±1, ±2,... forms a basis for V = V i. For every [ m m ] B we have ρ (J z )[ m m ] = [im m m ] = im[ m m ] [ρ (t ɛ (J z )) m ] = [im m ] = (20) and similarly ρ (J x )[ m m ] = [ρ (t ɛ (J x )) m ] = (21) [ Ξ 0 ( m)( + m + 1) m Ξ ] 0 ( m + 1)( + m) m 1 2 { Ξ 0 m+1 ( m)( + m + 1)[ m+1 2 ] + Ξ } 0 m 1 ( m + 1)( + m)[ m 1 2 ] = Ξ 0 2 [ m+1 ] + Ξ 0 2 [ m 1 ] ρ (J y )[ m m ] = iξ 0 2 [ m+1 ] + iξ 0 2 [ m 1 In the above we used the fact that [ m m ] = [ m ] and this holds since [ m m ] = ] (22) { } m m. We define K : V W Ξ0 on B by K([ m m ]) = Ξ 0 m and we extend it by linearity to all V. K is 7

9 obviously one to one and onto, and for every [ m m ] B we also have: ( ) ( ) ρ (J z ) [ m m ] = K 1 η Ξ0 (ψ(j 3 ))K [ m m ] ( ) ( ) ρ (J x ) [ m m ] = K 1 η Ξ0 (ψ(j x ))K [ m m ] ( ) ( ) ρ (J y ) [ m m ] = K 1 η Ξ0 (ψ(j y ))K [ m m ] (23) (24) (25) where ψ is the Lie algebra isomorphism between the contracted Lie algebra and iso(2) that is defined by ψ(j z ) = L z, ψ(j x ) = P y and ψ(j y ) = P x. Hence (η Ξ0, W Ξ0 ) is the contraction of the sequence of representations { (ρ, V ) } I 2 with respect to the sequential contraction so(3) t(ɛ ) iso(2). Proposition 1 guarantees that we also have the following convergence of matrix elements [ m m ] ρ (J z ) [ m m ] = m ρ (t ɛ (J z )) m = im = Ξ0 m η q0 (L z ) Ξ 0 m (26) [ m±1 m±1 ] ρ (J x ) [ m m ] = m±1 ρ (t ɛ (J x )) m = Ξ 0 2 = (27) = Ξ0 m±1 η Ξ 0 (ψ(j x )) Ξ 0 m [ m±1 m±1 ] ρ (J y ) [ m m ] = m±1 ρ (t ɛ (J y )) m = iξ 0 2 = = Ξ0 m±1 η Ξ 0 (ψ(j y )) Ξ 0 m We note we could have proven this contraction using proposition 2 by defining τ ( m ) = Ξ 0 m. Reviewing the İnönü-Wigner approach we see that the it representation space is the direct it space and in this formalism [ m ] takes the place of the undefined symbol m and similarly ρ (J z ) takes the place of ρ (J z ). Equations (2), (3) are now replaced by K([ m ]) = Ξ 0 m (28) ρ (J z ) = Kη Ξ (J z )K 1 (29) The contraction of iso(1, 1) to to Heisenberg Lie algebra The basis {X 1, X 2, X 3 } along with the commutation relations [X 3, X 1 ] = X 1, [X 3, X 2 ] = X 2 define the Lie algebra iso(1, 1). The basis { a, a, 1 } along with the commutation relations [a, a ] h = 1 define the Lie algebra of the Heisenberg group. We denote this Lie algebra by h. The contraction transformation t ɛ (X 1 ) = 2ɛX 1, t ɛ (X 1 + X 2 ) = X 1 + X 2, t ɛ (X 3 ) = ɛx 3 leads to the commutation relations [X 3, X 1 + X 2 ] 0 = X 1 and hence it is isomorphic to h and the isomorphism ψ is given by ψ(x 1 ) = 1, ψ(x 1 + X 2 ) = a, ψ(x 3 ) = a. In this example we realize the representations by differential operators on certain functions spaces which seem more suitable for the contraction of these representations. Let L 2, c (R, dx) denote the inner product space of smooth compactly supported functions that are square integrable relative to the inner product f, g = R f(x)g(x)dx Using the Mackey machine [15], it is easy to show that for every a, b R such that a 2 + b 2 0 the map ρ (a,b) : iso(1, 1) gl(l 2, c (R, dx)) (30) 8

10 ρ (a,b) (X 1 ) = iae x ρ (a,b) (X 2 ) = ibe x ρ (a,b) (X 3 ) = d dx is an irreducible representation of iso(1, 1) which is a diefferential of a unitary irreducible representation of ISO(1, 1). In fact these are all such representation of iso(1, 1) that are infinite dimensional. It is well known that for any A R, the maps η A : h gl(l 2, c (R, dx)) (31) η A (1) = ia η A (a ) = iax η A (a) = d dx define an irreducible representation of h and in fact they exhaust all irreducible representations of h that are differentials of unitary representations of the Heisenberg Lie group. We fix a non zero real number A 0. We now construct the directed system and the family of representations of iso(1, 1) that contracts to η A0. For every ɛ I 1 let V ɛ be the inner product space L 2, c (R, dx) and we define a function ψ ɛ : R R by ψ ɛ (x) = ɛx. We note that P ɛ : L 2, c (R, dx) V ɛ which is given by P ɛ (f) = f ψ ɛ is an isomorphism. Its inverse Pɛ 1 is given by Pɛ 1 (f) = f ψɛ 1. For each ɛ I 1 and (a, b) R R we intertwine ρ (a,b) with P ɛ to get the equivalent representation ρ (a,b,ɛ) = P ɛ ρ (a,b) Pɛ 1 given by: ρ (a,b,ɛ) : iso(1, 1) gl(v ɛ ) (32) ρ (a,b,ɛ) (X 1 ) = iae ɛx ρ (a,b,ɛ) (X 2 ) = ibe ɛx ρ (a,b,ɛ) (X 3 ) = 1 ɛ For ɛ i, ɛ I 1 such that ɛ i ɛ we define the linear isometry ϕ ɛi,ɛ : V ɛi V ɛ to be the identity map. These maps are obviously compatible. Since all the inner product spaces V ɛ are L 2, c (R, dx) and all the transition maps are the identity maps, obviously the direct it of this directed system is naturally isomorphic to L 2, c (R, dx) and we will address L 2, c (R, dx) as the direct it in this case. Essentially this means that instead of working with the equivalence class [f(x)] we can ust work with f(x). Let a(ɛ) = A 0 2ɛ, b(ɛ) = A 0 2ɛ. For every f V = L2, c (R, dx) and every x R we note that d dx ρ 0 (X 1 )(f)(x) = ρ (a(ɛ),b(ɛ),ɛ)(t ɛ (X 1 ))(f)(x) = (33) ɛ 0 + ia 0e ɛx (f)(x) = ia 0 (f)(x) = η A0 (ψ(x 1 ))(f)(x) ɛ 0 + ρ 0 (X 1 + X 2 )(f)(x) = ρ (a(ɛ),b(ɛ),ɛ)(t ɛ (X 1 + X 2 ))(f)(x) = (34) ɛ 0 + ia 0 ɛ 0 + ɛ sinh (ɛx)(f)(x) = ia 0x(f)(x) = η A0 (ψ(x 1 + X 2 ))(f)(x) 9

11 ρ 0 (X 3 )(f)(x) = ρ (a(ɛ),b(ɛ),ɛ)(t ɛ (X 3 ))(f)(x) = (35) ɛ 0 + d ɛ 0 + dx (f)(x) = d dx (f)(x) = η A 0 (ψ(x 3 ))(f)(x) Since f is compactly supported then the pointwise convergences appearing above also imply convergence in L 2, c (R, dx) and hence η A0 is the contraction of the family of representations { (ρ(a(ɛ),b(ɛ),ɛ), V ɛ ) } with respect to the contraction iso(1, 1) t(ɛ) h where the identity map ɛ I 1 takes the role of the intertwiner K that appears in definition Discussion We have shown how the notion of direct it naturally appears in the theory of contraction of Lie algebra representations. The definition that was given enabled us to give intrinsic meaning for the it representation space as a direct it space and to the it operators as operators on that direct it space. An essential ingredient in our construction, that was implicit in the work of İnönü and Wigner [1], is the family of compatible embeddings. We have demonstrated how to find these embeddings and the associated directed system in the two maor procedures for obtaining contraction of Lie algebra representations: convergence of matrix elements and convergence of differential operators. We have shown that these procedures are essentially equivalent. In particular, if one obtains contraction of representations by convergence of differential operators then by proposition 1 the convergence of the matrix elements is assured. In all examples, known to the authors, in which contraction of Lie algebra representations is given by convergence of matrix elements the conditions of proposition 2 hold and hence it is also contraction of representations according to definition given above. In all other examples known to the authors, where contraction of representations is obtained by convergence of differential operators, the implicit directed system could be found as in the second example above. Acknowledgments AM is grateful to Prof. Weimar-Woods for a helpful discussion. The research of the 2nd author was supported by the center of excellence of the Israel Science Foundation grant no. 1691/10. JLB thanks the Department of Physics, Technion, for its warm hospitality and support during visits while this work was being carried out, and the FRAP-PSC-CUNY for some support. References [1] E. İnönü and E. P. Wigner 1953 On the contraction of groups and their representations Proc. Nat. Acad. Sci. U.S [2] Saunders Mac Lane 1998 Categories for the Working Mathematician Springer, 2nd edition [3] E. Weimar-Woods 1991 Contraction of Lie algebra representations J. Math. Phys. 32 (10) [4] I. E. Segal 1951 A class of operator algebras which are determined by groups Duke Math. J [5] E. İnönü and E. P. Wigner 1954 On a particular type of convergence to a singular matrix Proc. Nat. Acad. Sci. U.S [6] E. J. Saletan 1961 Contraction of Lie groups J. Math. Phys. 2 (1) 1-21 [7] E. Weimar-Woods 2000 Contractions, generalized İnönü-Wigner contractions and deformations of finitedimensional Lie algebras Rev. Math. Phys. 12 (11) [8] E. Weimar-Woods 1991 The three-dimensional real Lie algebras and their contractions J. Math. Phys. 32 (8) [9] Robert Gilmore 2005 Lie Groups, Lie Algebras and Some of Their Applications, Dover Publications, Inc

12 [10] U. Cattaneo and W. Wreszinsky 1979 On contraction of Lie algebra representations Commun. Math. Phys [11] E. Celeghini and M. Tarlini 1981 Contraction of group representations I Il Nuovo Cimento B [12] E. Celeghini and M. Tarlini 1981 Contraction of group representations II Il Nuovo Cimento B [13] E. Celeghini and M. Tarlini 1982 Contraction of group representations III Il Nuovo Cimento B [14] U. Cattaneo and W. F. Wreszinski 1999 Contraction of Lie algebra representations Rev. Math. Phys. 11 (10) [15] G. W. Mackey 1949 Imprimitivity for representations of locally compact groups I Proc. Nat. Acad. Sci. U.S 35,

The following definition is fundamental.

The following definition is fundamental. 1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic

More information

MATRIX LIE GROUPS AND LIE GROUPS

MATRIX LIE GROUPS AND LIE GROUPS MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either

More information

Fermionic coherent states in infinite dimensions

Fermionic coherent states in infinite dimensions Fermionic coherent states in infinite dimensions Robert Oeckl Centro de Ciencias Matemáticas Universidad Nacional Autónoma de México Morelia, Mexico Coherent States and their Applications CIRM, Marseille,

More information

CLASSICAL GROUPS DAVID VOGAN

CLASSICAL 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 information

Clifford Algebras and Their Decomposition into Conjugate Fermionic Heisenberg Algebras

Clifford Algebras and Their Decomposition into Conjugate Fermionic Heisenberg Algebras Journal of Physics: Conference Series PAPER OPEN ACCESS Clifford Algebras and Their Decomposition into Conugate Fermionic Heisenberg Algebras To cite this article: Sultan Catto et al 016 J. Phys.: Conf.

More information

Physical justification for using the tensor product to describe two quantum systems as one joint system

Physical justification for using the tensor product to describe two quantum systems as one joint system Physical justification for using the tensor product to describe two quantum systems as one joint system Diederik Aerts and Ingrid Daubechies Theoretical Physics Brussels Free University Pleinlaan 2, 1050

More information

Chapter 8 Integral Operators

Chapter 8 Integral Operators Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,

More information

von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai)

von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) Lecture 3 at IIT Mumbai, April 24th, 2007 Finite-dimensional C -algebras: Recall: Definition: A linear functional tr

More information

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations

More information

Deformation of the `embedding'

Deformation of the `embedding' Home Search Collections Journals About Contact us My IOPscience Deformation of the `embedding' This article has been downloaded from IOPscience. Please scroll down to see the full text article. 1997 J.

More information

Representation Theory. Ricky Roy Math 434 University of Puget Sound

Representation Theory. Ricky Roy Math 434 University of Puget Sound Representation Theory Ricky Roy Math 434 University of Puget Sound May 2, 2010 Introduction In our study of group theory, we set out to classify all distinct groups of a given order up to isomorphism.

More information

W if p = 0; ; W ) if p 1. p times

W if p = 0; ; W ) if p 1. p times Alternating and symmetric multilinear functions. Suppose and W are normed vector spaces. For each integer p we set {0} if p < 0; W if p = 0; ( ; W = L( }... {{... } ; W if p 1. p times We say µ p ( ; W

More information

A Brief Introduction to Functional Analysis

A Brief Introduction to Functional Analysis A Brief Introduction to Functional Analysis Sungwook Lee Department of Mathematics University of Southern Mississippi sunglee@usm.edu July 5, 2007 Definition 1. An algebra A is a vector space over C with

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

Discrete Series Representations of Unipotent p-adic Groups

Discrete Series Representations of Unipotent p-adic Groups Journal of Lie Theory Volume 15 (2005) 261 267 c 2005 Heldermann Verlag Discrete Series Representations of Unipotent p-adic Groups Jeffrey D. Adler and Alan Roche Communicated by S. Gindikin Abstract.

More information

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms (February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops

More information

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 JOSEPHINE YU This note will cover introductory material on representation theory, mostly of finite groups. The main references are the books of Serre

More information

Cartesian Closed Topological Categories and Tensor Products

Cartesian Closed Topological Categories and Tensor Products Cartesian Closed Topological Categories and Tensor Products Gavin J. Seal October 21, 2003 Abstract The projective tensor product in a category of topological R-modules (where R is a topological ring)

More information

UNIVERSAL DERIVED EQUIVALENCES OF POSETS

UNIVERSAL DERIVED EQUIVALENCES OF POSETS UNIVERSAL DERIVED EQUIVALENCES OF POSETS SEFI LADKANI Abstract. By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for

More information

Representation theory and quantum mechanics tutorial Spin and the hydrogen atom

Representation 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 information

QUATERNIONS AND ROTATIONS

QUATERNIONS 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 information

CHAPTER VIII HILBERT SPACES

CHAPTER VIII HILBERT SPACES CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)

More information

arxiv:math/ v1 [math.ag] 18 Oct 2003

arxiv:math/ v1 [math.ag] 18 Oct 2003 Proc. Indian Acad. Sci. (Math. Sci.) Vol. 113, No. 2, May 2003, pp. 139 152. Printed in India The Jacobian of a nonorientable Klein surface arxiv:math/0310288v1 [math.ag] 18 Oct 2003 PABLO ARÉS-GASTESI

More information

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space. Hilbert Spaces Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space. Vector Space. Vector space, ν, over the field of complex numbers,

More information

Canonical forms for matrices of Saletan contractions

Canonical forms for matrices of Saletan contractions Journal of Physics: Conference Series PAPER OPEN ACCESS Canonical forms for matrices of Saletan contractions To cite this article: Dmytro R Popovych 2015 J. Phys.: Conf. Ser. 621 012012 View the article

More information

Elliott s program and descriptive set theory I

Elliott s program and descriptive set theory I Elliott s program and descriptive set theory I Ilijas Farah LC 2012, Manchester, July 12 a, a, a, a, the, the, the, the. I shall need this exercise later, someone please solve it Exercise If A = limna

More information

REPRESENTATION THEORY WEEK 7

REPRESENTATION 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 information

MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus

MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let

More information

THE EULER CHARACTERISTIC OF A LIE GROUP

THE EULER CHARACTERISTIC OF A LIE GROUP THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth

More information

Introduction to Index Theory. Elmar Schrohe Institut für Analysis

Introduction to Index Theory. Elmar Schrohe Institut für Analysis Introduction to Index Theory Elmar Schrohe Institut für Analysis Basics Background In analysis and pde, you want to solve equations. In good cases: Linearize, end up with Au = f, where A L(E, F ) is a

More information

THE FULL C* -ALGEBRA OF THE FREE GROUP ON TWO GENERATORS

THE FULL C* -ALGEBRA OF THE FREE GROUP ON TWO GENERATORS PACIFIC JOURNAL OF MATHEMATICS Vol. 87, No. 1, 1980 THE FULL C* -ALGEBRA OF THE FREE GROUP ON TWO GENERATORS MAN-DUEN CHOI C*(F 2 ) is a primitive C*-algebra with no nontrivial projection. C*(F 2 ) has

More information

Compression on the digital unit sphere

Compression on the digital unit sphere 16th Conference on Applied Mathematics, Univ. of Central Oklahoma, Electronic Journal of Differential Equations, Conf. 07, 001, pp. 1 4. ISSN: 107-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu

More information

Formal power series rings, inverse limits, and I-adic completions of rings

Formal power series rings, inverse limits, and I-adic completions of rings Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

More information

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg = Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for

More information

1 Hermitian symmetric spaces: examples and basic properties

1 Hermitian symmetric spaces: examples and basic properties Contents 1 Hermitian symmetric spaces: examples and basic properties 1 1.1 Almost complex manifolds............................................ 1 1.2 Hermitian manifolds................................................

More information

Methods of constructing topological vector spaces

Methods of constructing topological vector spaces CHAPTER 2 Methods of constructing topological vector spaces In this chapter we consider projective limits (in particular, products) of families of topological vector spaces, inductive limits (in particular,

More information

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.

More information

Universality of single quantum gates

Universality of single quantum gates Universality of single quantum gates Bela Bauer 1, Claire Levaillant 2, Michael Freedman 1 arxiv:1404.7822v3 [math.gr] 20 May 2014 1 Station Q, Microsoft Research, Santa Barbara, CA 93106-6105, USA 2 Department

More information

THE HODGE DECOMPOSITION

THE HODGE DECOMPOSITION THE HODGE DECOMPOSITION KELLER VANDEBOGERT 1. The Musical Isomorphisms and induced metrics Given a smooth Riemannian manifold (X, g), T X will denote the tangent bundle; T X the cotangent bundle. The additional

More information

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, ) II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups

More information

What s category theory, anyway? Dedicated to the memory of Dietmar Schumacher ( )

What s category theory, anyway? Dedicated to the memory of Dietmar Schumacher ( ) What s category theory, anyway? Dedicated to the memory of Dietmar Schumacher (1935-2014) Robert Paré November 7, 2014 Many subjects How many subjects are there in mathematics? Many subjects How many subjects

More information

MULTIPLIER HOPF ALGEBRAS AND DUALITY

MULTIPLIER HOPF ALGEBRAS AND DUALITY QUANTUM GROUPS AND QUANTUM SPACES BANACH CENTER PUBLICATIONS, VOLUME 40 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1997 MULTIPLIER HOPF ALGEBRAS AND DUALITY A. VAN DAELE Department of

More information

Representations of Totally Disconnected Groups

Representations of Totally Disconnected Groups Chapter 5 Representations of Totally Disconnected Groups Abstract In this chapter our goal is to develop enough of the representation theory of locally compact totally disconnected groups (or td groups

More information

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

SYMPLECTIC GEOMETRY: LECTURE 5

SYMPLECTIC GEOMETRY: LECTURE 5 SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The

More information

1 Differentiable manifolds and smooth maps

1 Differentiable manifolds and smooth maps 1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set

More information

A PROOF OF BOREL-WEIL-BOTT THEOREM

A PROOF OF BOREL-WEIL-BOTT THEOREM A PROOF OF BOREL-WEIL-BOTT THEOREM MAN SHUN JOHN MA 1. Introduction In this short note, we prove the Borel-Weil-Bott theorem. Let g be a complex semisimple Lie algebra. One basic question in representation

More information

Example 2 (new version): the generators are. Example 4: the generators are

Example 2 (new version): the generators are. Example 4: the generators are First, let us quickly dismiss Example 3 (and Example 6): the second generator may be removed (being the square of the third or, respectively, the fourth one), and then the quotient is clearly the simplest

More information

8 Complete fields and valuation rings

8 Complete fields and valuation rings 18.785 Number theory I Fall 2017 Lecture #8 10/02/2017 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L/K of the fraction field K of a

More information

Math 535a Homework 5

Math 535a Homework 5 Math 535a Homework 5 Due Monday, March 20, 2017 by 5 pm Please remember to write down your name on your assignment. 1. Let (E, π E ) and (F, π F ) be (smooth) vector bundles over a common base M. A vector

More information

ALGEBRAIC GROUPS J. WARNER

ALGEBRAIC GROUPS J. WARNER ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic

More information

FLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS

FLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS FLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS HANFENG LI Abstract. We construct examples of flabby strict deformation quantizations not preserving K-groups. This answers a question of Rieffel negatively.

More information

MET Workshop: Exercises

MET Workshop: Exercises MET Workshop: Exercises Alex Blumenthal and Anthony Quas May 7, 206 Notation. R d is endowed with the standard inner product (, ) and Euclidean norm. M d d (R) denotes the space of n n real matrices. When

More information

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Week: January 18 Deadline to hand in the homework: your exercise class on week January 5 9. Exercises with solutions (1) a) Show that for every unitary operators U, V,

More information

Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India

Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India CHAPTER 9 BY Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India E-mail : mantusaha.bu@gmail.com Introduction and Objectives In the preceding chapters, we discussed normed

More information

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

THE NONCOMMUTATIVE TORUS

THE NONCOMMUTATIVE TORUS THE NONCOMMUTATIVE TORUS The noncommutative torus as a twisted convolution An ordinary two-torus T 2 with coordinate functions given by where x 1, x 2 [0, 1]. U 1 = e 2πix 1, U 2 = e 2πix 2, (1) By Fourier

More information

Quantum entanglement and symmetry

Quantum entanglement and symmetry Journal of Physics: Conference Series Quantum entanglement and symmetry To cite this article: D Chrucisi and A Kossaowsi 2007 J. Phys.: Conf. Ser. 87 012008 View the article online for updates and enhancements.

More information

1. Foundations of Numerics from Advanced Mathematics. Linear Algebra

1. Foundations of Numerics from Advanced Mathematics. Linear Algebra Foundations of Numerics from Advanced Mathematics Linear Algebra Linear Algebra, October 23, 22 Linear Algebra Mathematical Structures a mathematical structure consists of one or several sets and one or

More information

NOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS

NOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS NOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS MARK WILDON Contents 1. Definition of polynomial representations 1 2. Weight spaces 3 3. Definition of the Schur functor 7 4. Appendix: some

More information

ASYMPTOTIC SYMMETRIES IN 3-DIM GENERAL RELATIVITY: THE B(2,1) CASE

ASYMPTOTIC SYMMETRIES IN 3-DIM GENERAL RELATIVITY: THE B(2,1) CASE Journal of Physics: Conference Series PAPER OPEN ACCESS ASYMPTOTIC SYMMETRIES IN 3-DIM GENERAL RELATIVITY: THE B(2,1) CASE To cite this article: Evangelos Melas 2017 J. Phys.: Conf. Ser. 936 012072 View

More information

Problems in Linear Algebra and Representation Theory

Problems 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 information

Virasoro and Kac-Moody Algebra

Virasoro and Kac-Moody Algebra Virasoro and Kac-Moody Algebra Di Xu UCSC Di Xu (UCSC) Virasoro and Kac-Moody Algebra 2015/06/11 1 / 24 Outline Mathematical Description Conformal Symmetry in dimension d > 3 Conformal Symmetry in dimension

More information

Representations of a semi-direct product hypergroup

Representations of a semi-direct product hypergroup Representations of a semi-direct product hypergroup Satoshi Kawakami Abstract Let K be a compact hypergroup and K 0 a closed subhypergroup of K. For a state φ of the Banach -algebra M b (K 0 ) the induced

More information

The Unitary Group In Its Strong Topology

The Unitary Group In Its Strong Topology The Unitary Group In Its Strong Topology Martin Schottenloher Mathematisches Institut LMU München Theresienstr. 39, 80333 München schotten@math.lmu.de, +49 89 21804435 Abstract. The unitary group U(H)

More information

Mathematical Methods wk 1: Vectors

Mathematical Methods wk 1: Vectors Mathematical Methods wk : Vectors John Magorrian, magog@thphysoxacuk These are work-in-progress notes for the second-year course on mathematical methods The most up-to-date version is available from http://www-thphysphysicsoxacuk/people/johnmagorrian/mm

More information

Mathematical Methods wk 1: Vectors

Mathematical Methods wk 1: Vectors Mathematical Methods wk : Vectors John Magorrian, magog@thphysoxacuk These are work-in-progress notes for the second-year course on mathematical methods The most up-to-date version is available from http://www-thphysphysicsoxacuk/people/johnmagorrian/mm

More information

7.3 Singular Homology Groups

7.3 Singular Homology Groups 184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the

More information

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

ALGEBRA 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 information

arxiv:math.lo/ v1 28 Nov 2004

arxiv:math.lo/ v1 28 Nov 2004 HILBERT SPACES WITH GENERIC GROUPS OF AUTOMORPHISMS arxiv:math.lo/0411625 v1 28 Nov 2004 ALEXANDER BERENSTEIN Abstract. Let G be a countable group. We proof that there is a model companion for the approximate

More information

Linear Algebra. Workbook

Linear Algebra. Workbook Linear Algebra Workbook Paul Yiu Department of Mathematics Florida Atlantic University Last Update: November 21 Student: Fall 2011 Checklist Name: A B C D E F F G H I J 1 2 3 4 5 6 7 8 9 10 xxx xxx xxx

More information

Spectral theory for compact operators on Banach spaces

Spectral theory for compact operators on Banach spaces 68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy

More information

Tr (Q(E)P (F )) = µ(e)µ(f ) (1)

Tr (Q(E)P (F )) = µ(e)µ(f ) (1) Some remarks on a problem of Accardi G. CASSINELLI and V. S. VARADARAJAN 1. Introduction Let Q, P be the projection valued measures on the real line R that are associated to the position and momentum observables

More information

Bott Periodicity and Clifford Algebras

Bott Periodicity and Clifford Algebras Bott Periodicity and Clifford Algebras Kyler Siegel November 27, 2012 Contents 1 Introduction 1 2 Clifford Algebras 3 3 Vector Fields on Spheres 6 4 Division Algebras 7 1 Introduction Recall for that a

More information

INVARIANT SUBSPACES FOR CERTAIN FINITE-RANK PERTURBATIONS OF DIAGONAL OPERATORS. Quanlei Fang and Jingbo Xia

INVARIANT SUBSPACES FOR CERTAIN FINITE-RANK PERTURBATIONS OF DIAGONAL OPERATORS. Quanlei Fang and Jingbo Xia INVARIANT SUBSPACES FOR CERTAIN FINITE-RANK PERTURBATIONS OF DIAGONAL OPERATORS Quanlei Fang and Jingbo Xia Abstract. Suppose that {e k } is an orthonormal basis for a separable, infinite-dimensional Hilbert

More information

Quantum Theory and Group Representations

Quantum 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 information

FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz

FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 33, 2009, 335 353 FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES Yılmaz Yılmaz Abstract. Our main interest in this

More information

AN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION

AN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION AN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION Daniel Halpern-Leistner 6/20/08 Abstract. I propose an algebraic framework in which to study measures of information. One immediate consequence

More information

RUTGERS UNIVERSITY GRADUATE PROGRAM IN MATHEMATICS Written Qualifying Examination August, Session 1. Algebra

RUTGERS UNIVERSITY GRADUATE PROGRAM IN MATHEMATICS Written Qualifying Examination August, Session 1. Algebra RUTGERS UNIVERSITY GRADUATE PROGRAM IN MATHEMATICS Written Qualifying Examination August, 2014 Session 1. Algebra The Qualifying Examination consists of three two-hour sessions. This is the first session.

More information

Positive operator valued measures covariant with respect to an irreducible representation

Positive operator valued measures covariant with respect to an irreducible representation Positive operator valued measures covariant with respect to an irreducible representation G. Cassinelli, E. De Vito, A. Toigo February 26, 2003 Abstract Given an irreducible representation of a group G,

More information

If F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,

If F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2, Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu

More information

Convergence in shape of Steiner symmetrized line segments. Arthur Korneychuk

Convergence in shape of Steiner symmetrized line segments. Arthur Korneychuk Convergence in shape of Steiner symmetrized line segments by Arthur Korneychuk A thesis submitted in conformity with the requirements for the degree of Master of Science Graduate Department of Mathematics

More information

Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99

Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99 Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by

More information

Noncommutative Poisson Boundaries

Noncommutative Poisson Boundaries Noncommutative Poisson Boundaries Masaki Izumi izumi@math.kyoto-u.ac.jp Graduate School of Science, Kyoto University August, 2010 at Bangalore 1 / 17 Advertisement The Kyoto Journal of Mathematics, formerly

More information

FUNCTIONAL ANALYSIS-NORMED SPACE

FUNCTIONAL ANALYSIS-NORMED SPACE MAT641- MSC Mathematics, MNIT Jaipur FUNCTIONAL ANALYSIS-NORMED SPACE DR. RITU AGARWAL MALAVIYA NATIONAL INSTITUTE OF TECHNOLOGY JAIPUR 1. Normed space Norm generalizes the concept of length in an arbitrary

More information

Factorization of unitary representations of adele groups Paul Garrett garrett/

Factorization of unitary representations of adele groups Paul Garrett   garrett/ (February 19, 2005) Factorization of unitary representations of adele groups Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The result sketched here is of fundamental importance in

More information

DEFINABLE OPERATORS ON HILBERT SPACES

DEFINABLE OPERATORS ON HILBERT SPACES DEFINABLE OPERATORS ON HILBERT SPACES ISAAC GOLDBRING Abstract. Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in its natural signature. We characterize

More information

1 Categorical Background

1 Categorical Background 1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,

More information

Kernel Method: Data Analysis with Positive Definite Kernels

Kernel Method: Data Analysis with Positive Definite Kernels Kernel Method: Data Analysis with Positive Definite Kernels 2. Positive Definite Kernel and Reproducing Kernel Hilbert Space Kenji Fukumizu The Institute of Statistical Mathematics. Graduate University

More information

INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS

INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS HANMING ZHANG Abstract. In this paper, we will first build up a background for representation theory. We will then discuss some interesting topics in

More information

58 CHAPTER 2. COMPUTATIONAL METHODS

58 CHAPTER 2. COMPUTATIONAL METHODS 58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study

More information

Your first day at work MATH 806 (Fall 2015)

Your first day at work MATH 806 (Fall 2015) Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies

More information

Contractions of Representations and Algebraic Families of Harish-Chandra Modules

Contractions of Representations and Algebraic Families of Harish-Chandra Modules arxiv:1703.04028v1 [math.rt] 11 Mar 2017 Contractions of Representations and Algebraic Families of Harish-Chandra Modules Joseph Bernstein, Nigel Higson and Eyal Subag Abstract We examine from an algebraic

More information

Representation of su(1,1) Algebra and Hall Effect

Representation of su(1,1) Algebra and Hall Effect EJTP 6, No. 21 (2009) 157 164 Electronic Journal of Theoretical Physics Representation of su(1,1) Algebra and Hall Effect J. Sadeghi 1 and B. Pourhassan 1 1 Sciences Faculty, Department of Physics, Mazandaran

More information

The Kolmogorov continuity theorem, Hölder continuity, and the Kolmogorov-Chentsov theorem

The Kolmogorov continuity theorem, Hölder continuity, and the Kolmogorov-Chentsov theorem The Kolmogorov continuity theorem, Hölder continuity, and the Kolmogorov-Chentsov theorem Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 11, 2015 1 Modifications

More information

Real Analysis Notes. Thomas Goller

Real Analysis Notes. Thomas Goller Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................

More information

ACTING FREELY GABRIEL GASTER

ACTING FREELY GABRIEL GASTER ACTING FREELY GABRIEL GASTER 1. Preface This article is intended to present a combinatorial proof of Schreier s Theorem, that subgroups of free groups are free. While a one line proof exists using the

More information

arxiv: v1 [math-ph] 31 Jan 2015

arxiv: v1 [math-ph] 31 Jan 2015 Symmetry, Integrability and Geometry: Methods and Applications SIGMA? (00?), 00?,?? pages Structure relations and Darboux contractions for D nd order superintegrable systems R. Heinonen, E. G. Kalnins,

More information

Invariant Distributions and Gelfand Pairs

Invariant Distributions and Gelfand Pairs Invariant Distributions and Gelfand Pairs A. Aizenbud and D. Gourevitch http : //www.wisdom.weizmann.ac.il/ aizenr/ Gelfand Pairs and distributional criterion Definition A pair of groups (G H) is called

More information