On Square-Integrable Representations of A Lie Group of 4 Dimensional Standard Filiform Lie Algebra CAUCHY –Jurnal Matematika Murni dan Aplikasi Volume 6(2) (2020), Pages 84-90 p-ISSN: 2086-0382; e-ISSN: 2477-3344 Submitted: April 15, 2020 Reviewed: April 17, 2020 Accepted: May 31, 2020 DOI: http://dx.doi.org/10.18860/ca.v6i2.9094 On Square-Integrable Representations of A Lie Group of 4 Dimensional Standard Filiform Lie Algebra Edi Kurniadi Department of Mathematics of FMIPA of Universitas Padjadjaran Email: edi.kurniadi@unpad.ac.id ABSTRACT In this paper, we study irreducible unitary representations of a real standard filiform Lie group with dimension equals 4 with respect to its basis. To find this representation we apply the orbit method introduced by Kirillov. The corresponding orbit of this representation is generic orbits of dimension 2. Furthermore, we show that obtained representation of this group is square- integrable. Moreover, in such case , we shall consider its Duflo-Moore operator as multiple of scalar identity operator. In our case that scalar is equal to one. Keywords: Duflo-Moore operator; irreducible unitary representation; square-integrable representation, standard filiform Lie algebra. INTRODUCTION In this paper, all Lie algebras are determined over ℝ. The notion of filiform Lie algebras can be found in [1]. In this work, we can find the classification of filiform Lie algebras of dimension ≀ 8 and the computation of their index. Roughly speaking, a Lie algebra 𝔀 of dimension 𝑛 is said to be filiform if there exists a smallest positive integer 𝜍 that equals 𝑛 βˆ’ 1 such that π”€πœ = {0}. We recall that 𝔀𝑛 is defined as follows : 𝔀1 = 𝔀, 𝔀2 = [𝔀, 𝔀], … , 𝔀𝑛+1 = [𝔀, 𝔀𝑛]. Particularly, we shall work on a Lie group 𝐺 of a 4-dimensional standard filiform Lie algebra 𝔀. We determine the irreducible unitary representations of 𝐺 by applying the orbit method. The orbit method that shall be applied in this paper comes from [2] and [3]. To bring it down to earth of this method, we can enjoy some examples in [4]. We review this method from [2] and [4] as follows. Definition 1 [5]. Let 𝐺 be a Lie group whose Lie algebra is 𝔀. Let 𝑔 be element of 𝐺. We define the conjugation map given by 𝐢𝑔: 𝐺 βˆ‹ π‘₯ ↦ 𝑔π‘₯𝑔 βˆ’1 ∈ 𝐺 which is a Lie group homomorphism whose differential of 𝐢𝑔 is denoted by Ad(𝑔) ≔ (𝐢𝑔)βˆ— . The adjoint representations of 𝐺 is given as group homomorphism Ad ∢ 𝐺 β†’ GL(𝔀). The infinitesimal adjoint representation of Ad is denoted by ad. This map is given by ad: 𝔀 β†’ 𝔀𝑙(𝔀) which is defined by ad(π‘₯)𝑦 = [π‘₯, 𝑦] for each π‘₯, 𝑦 ∈ 𝔀. Moreover, the representations Ad can be defined as a dual representation on a dual vector space π”€βˆ—. Namely, we have http://dx.doi.org/10.18860/ca.v6i2.9094 mailto:edi.kurniadi@unpad.ac.id On Square-Integrable Representations of A Lie Group of 4 Dimensional Standard Filiform Lie Algebra Edi Kurniadi 85 〈Adβˆ—(𝑔)𝑓, 𝑋βŒͺ = βŒ©π‘“, Ad(gβˆ’1)XβŒͺ, (g ∈ 𝐺, 𝑓 ∈ π”€βˆ—, 𝑋 ∈ 𝔀) (1) The coadjoint orbit of 𝑓 ∈ π”€βˆ— is defined as a set {Adβˆ—(𝑔)𝑓 ; 𝑔 ∈ 𝐺} βŠ‚ π”€βˆ—. Let 𝐺 be a Lie group whose Lie algebra is 𝔀. Let π”€βˆ— be a dual vector space of 𝔀. To obtain the formula of irreducible unitary representation of 𝐺 we should consider some steps as follows. 1. For orbit Ξ© βŠ‚ π”€βˆ—, we choose a point 𝑓 ∈ Ξ©. 2. We consider a polarization Ξ₯. Ξ₯ is said to be a polarization of 𝔀 if Ξ₯ is a subalgebra of 𝔀 and it has maximal dimension, namely its codimension equals 1 2 dim Ξ©, which is subordinate to 𝑓. This means βŒ©π‘“, [Ξ₯, Ξ₯]βŒͺ = 0. 3. Let Ξ— ≔ exp Ξ₯ be a subgroup and let πœ“π‘“ be a one dimensional irreducible unitary representations of Ξ— given by πœ“π‘“ (exp 𝑋) = 𝑒 2πœ‹π‘–βŒ©π‘“,𝑋βŒͺ, (𝑓 ∈ Ξ©, 𝑋 ∈ 𝔀). (2) 4. Identifying the coset space 𝐺/Ξ— by M and considering a section 𝑠: M β†’ G. (3) 5. Solving the master equation 𝑠(π‘₯)𝑔 = β„Ž(π‘₯, 𝑔)𝑠(π‘₯. 𝑔), (π‘₯ ∈ M, 𝑔 ∈ 𝐺, β„Ž(π‘₯, 𝑔) ∈ H), (4) which is called a master equation, and computing the measure on M, we have πœ‹(𝑔)𝑓(π‘₯) = πœ“π‘“ (β„Ž(π‘₯, 𝑔))𝑓(π‘₯. 𝑔). (5) The notion of square-integrable representations can be found in ( [6], [7], [8], and [9]). Let (πœ‹, πœ˜πœ‹) be a irreducible unitary representations locally compact group 𝐺. The irreducible unitary representation (πœ‹, πœ˜πœ‹) is said to be square-integrable if there exists a non zero vector 𝜈 ∈ πœ˜πœ‹ such that ∫ |(𝜈|πœ‹(𝑔)𝜈)πœ˜πœ‹ | 2 𝑑𝑔 < ∞ 𝐺 . (6) Such vector is called admissible. Furthermore, in the case the representation (πœ‹, πœ˜πœ‹ ) is square-integrable, Duflo-Moore in [6] found a densely defined and positive self-adjoint unique operator given by πΎπœ‹ : πœ˜πœ‹ β†’ πœ˜πœ‹. (7) which satisfies two following conditions: 1. The neccessary and sufficient conditions for 𝜈 to be admissible are 𝜈 in domain πΎπœ‹. 2. If vectors 𝑓1, 𝑓3 ∈ πœ˜πœ‹ and 𝑓2, 𝑓4 ∈ Dom πΎπœ‹, then we have ∫ (𝑓1|πœ‹(π‘₯)𝑓2)πœ˜πœ‹ (πœ‹(π‘₯)𝑓4|𝑓3)πœ˜πœ‹ 𝑑π‘₯𝐺 = (𝑓1|𝑓3)πœ˜πœ‹ (πΎπœ‹ (𝑓4)|πΎπœ‹ (𝑓2))πœ˜πœ‹ . (8) Let 𝔀 be a 4-dimensional standard filiform Lie algebra with basis Ξ” ≔ {π‘₯1, π‘₯2, π‘₯3, π‘₯3} whose Lie group is 𝐺. The non zero brackets of 𝔀 are given by [π‘₯1, π‘₯2] = π‘₯3, [π‘₯1, π‘₯3] = π‘₯4 (9) We mention here that in previous work in [2] and [10], we found the representation of 𝐺 is realized on Hilbert space L2(ℝ) as follows: On Square-Integrable Representations of A Lie Group of 4 Dimensional Standard Filiform Lie Algebra Edi Kurniadi 86 πœ‹π›Ώ,𝛽 (𝑔)𝑓(π‘₯) ≔ 𝑒 2πœ‹π‘–(𝛽𝑏+𝛿𝑑+𝛿π‘₯𝑐+( 1 2 )𝛿π‘₯2𝑏+( 1 2 )𝛿π‘₯π‘Žπ‘+( 1 2 )π›Ώπ‘Žπ‘+( 1 6 )π›Ώπ‘Ž2𝑏) 𝑓(π‘₯ + π‘Ž), (10) with 𝑔 ≔ 𝑔(π‘Ž, 𝑏, 𝑐, 𝑑) ∈ 𝐺 and 𝑓 ∈ L2(ℝ). The representation (1) corresponds to 2- dimensional generic coadjoint orbits Ω𝛿,𝛽 ≔ {𝛿π‘₯4 βˆ— + 𝑠π‘₯3 βˆ— + (𝛽 + 𝑠2 2𝛿 ) π‘₯2 βˆ— + 𝑒π‘₯1 βˆ— ; 𝑠, 𝑒 ∈ ℝ, 𝛿 β‰  0}. (11) Contrary to [10] and [2], in this paper we consider the representations of 𝐺 on Hilbert space L2(ℝ) with respect to the basis Ξ” ≔ {π‘₯1, π‘₯2, π‘₯3, π‘₯3} of 𝔀. We thought that our computations are simpler than previous results and another reason is to attract Indonesian young researcher to study representation theory of Lie groups. We shall claim two our main proposition as follows: Proposition 1. Let 𝐺 be a Lie group of a 4-dimensional standard filiform Lie algebra 𝔀 with basis π›₯ ≔ {π‘₯1, π‘₯2, π‘₯3, π‘₯3} whose its non zero brackets is given in (9). Then, the irreducible unitary representation of 𝐺 on the Hilbert space L2(ℝ) corresponding to coadjoint orbits Ω𝛿,𝛽 in (11) can be written as follows: πœ‹πœ‡ (𝑒 π‘Žπ‘₯1 )𝑓(π‘₯) = πœ‘(π‘₯ + π‘Ž), πœ‹πœ‡ (𝑒 𝑏π‘₯2 )𝑓(π‘₯) = 𝑒 2πœ‹π‘–(𝛽𝑏+( 1 2 )𝛿π‘₯2𝑏) πœ‘(π‘₯), (12) πœ‹πœ‡ (𝑒 𝑐π‘₯3 )𝑓(π‘₯) = 𝑒 2πœ‹π‘–π›Ώπ‘π‘₯ πœ‘(π‘₯), πœ‹πœ‡ (𝑒 𝑑π‘₯4 )𝑓(π‘₯) = 𝑒 2πœ‹π‘–π›Ώπ‘‘ πœ‘(π‘₯), where πœ‡ ≔ 𝛽π‘₯2 βˆ— + 𝛿π‘₯4 βˆ— ∈ Ω𝛿,𝛽 βŠ‚ 𝔀 βˆ— and πœ‘ ∈ L2(ℝ). Furthermore, we investigate square-integrability of πœ‹πœ‡ of 𝐺 and we have. Proposition 2. The irreducible unitary representation πœ‹πœ‡ of 𝐺 as written in eqs. (12) is square-integrable and its Duflo-Moore operator is a multiple of identity. METHODS The method of this research is based on literature survey, specially from [10]. We give another approach in construction of irreducible unitary representation of a Lie group 𝐺 whose Lie algebra is 4-dimensional standard filiform. We compute it with respect to basis of 𝔀. Therefore, the computations are more simpler than previous work. RESULTS AND DISCUSSION In this section, we shall prove our main propositions as already mentioned in introduction Proposition 1. Let 𝐺 be a Lie group of a 4-dimensional standard filiform Lie algebra 𝔀 with basis π›₯ ≔ {π‘₯1, π‘₯2, π‘₯3, π‘₯4} whose its non zero brackets is given in (9). Then, the irreducible On Square-Integrable Representations of A Lie Group of 4 Dimensional Standard Filiform Lie Algebra Edi Kurniadi 87 unitary representation of 𝐺 on the Hilbert space L2(ℝ) corresponding to coadjoint orbits Ω𝛿,𝛽 in (12) can be written as follows: πœ‹πœ‡ (𝑒 π‘Žπ‘₯1 )𝑓(π‘₯) = πœ‘(π‘₯ + π‘Ž), πœ‹πœ‡ (𝑒 𝑏π‘₯2 )𝑓(π‘₯) = 𝑒 2πœ‹π‘–(𝛽𝑏+( 1 2 )𝛿π‘₯2𝑏) πœ‘(π‘₯), πœ‹πœ‡ (𝑒 𝑐π‘₯3 )𝑓(π‘₯) = 𝑒 2πœ‹π‘–π›Ώπ‘π‘₯ πœ‘(π‘₯), πœ‹πœ‡ (𝑒 𝑑π‘₯4 )𝑓(π‘₯) = 𝑒 2πœ‹π‘–π›Ώπ‘‘ πœ‘(π‘₯), where πœ‡ ≔ 𝛽π‘₯2 βˆ— + 𝛿π‘₯4 βˆ— ∈ Ω𝛿,𝛽 βŠ‚ 𝔀 βˆ— and πœ‘ ∈ L2(ℝ). Proof. Let π›₯βˆ— ≔ {π‘₯1 βˆ—, π‘₯2 βˆ—, π‘₯3 βˆ—, π‘₯4 βˆ—} be a basis for π”€βˆ—. The detail computations for coadjoint orbits of 𝐺 can be found in ([10], p. 33β€”34) or ([2], p. 77β€”80). Let 𝑓 = 𝛼π‘₯1 βˆ— + 𝛽π‘₯2 βˆ— + 𝛾π‘₯3 βˆ— + 𝛿π‘₯4 βˆ— ∈ π”€βˆ— . We recall the result of 2-dimensional coadjoint orbits as follows: Ω𝛿,𝛽 ≔ {𝛿π‘₯4 βˆ— + 𝑠π‘₯3 βˆ— + (𝛽 + 𝑠2 2𝛿 ) π‘₯2 βˆ— + 𝑒π‘₯1 βˆ— ; 𝑠, 𝑒 ∈ ℝ, 𝛿 β‰  0}. To obtain the irreducible unitary representations of 𝐺 corresponding to generic coadjoint orbits Ω𝛿,𝛽 , we consider the following steps Step 1. We choose a point 𝑓𝛽,𝛿 ≔ 𝛽π‘₯2 βˆ— + 𝛿π‘₯4 βˆ— ∈ Ω𝛿,𝛽. Step 2. We determine a subalgebra Ξ₯ ≔ Span{π‘₯2, π‘₯3, π‘₯4} of 𝔀. In this case Ξ₯ is commutative since [π‘₯𝑖 , π‘₯𝑗 ] = 0 for 1 ≀ 𝑖, 𝑗 ≀ 3. Furthermore, since Ξ₯ has maximal dimension i.e. Codim Ξ₯ = 1 2 dim Ω𝛿,𝛽 = 1 2 . 2 = 1. On the other hand, Ξ₯ is subordinate to 𝑓𝛽,𝛿 since βŒ©π‘“π›½,𝛿 , [Ξ₯, Ξ₯]βŒͺ = 0. Thus, Ξ₯ is a polarization of 𝔀. Step 3. Let Ξ— ≔ exp Ξ₯ be subgroup and let πœ“π‘“ be a 1-dimensional irreducible unitary representations of Ξ— given by πœ“π‘“π›½,𝛿 (exp(π‘Žπ‘₯1 + 𝑏π‘₯2 + 𝑐π‘₯3 + 𝑑π‘₯4) = 𝑒 2πœ‹π‘–βŒ©π‘“π›½,𝛿, 𝑋βŒͺ = 𝑒2πœ‹π‘–(𝛽𝑏+𝛿𝑑), (𝑓𝛽,𝛿 ∈ Ω𝛿,𝛽, 𝑋 = π‘Žπ‘₯1 + 𝑏π‘₯2 + 𝑐π‘₯3 + 𝑑π‘₯4 ∈ 𝔀). Step 4. Identifying the coset space 𝐺/Ξ— with ℝ by ℝ βˆ‹ π‘₯ ↦ Ξ— exp(π‘Žπ‘₯1) ∈ 𝐺/Ξ—, we have a section given by 𝑠: 𝐺/Ξ— β‰… ℝ βˆ‹ π‘₯ ↦ exp π‘₯π‘₯1 ∈ 𝐺. Step 5. We now solve the master equation with respect to (w.r.t) basis π›₯ ≔ {π‘₯1, π‘₯2, π‘₯3, π‘₯4}. a. W.r.t π‘’π‘Žπ‘₯1 exp π‘₯π‘₯1 exp π‘Žπ‘₯1 = exp(π‘₯ + π‘Ž)π‘₯1 . b. W.r.t 𝑒𝑏π‘₯2 On Square-Integrable Representations of A Lie Group of 4 Dimensional Standard Filiform Lie Algebra Edi Kurniadi 88 exp π‘₯π‘₯1 exp 𝑏π‘₯2 = exp(𝑒 ad π‘₯π‘₯1 . π‘Žπ‘₯2) exp π‘₯π‘₯1 , = exp(𝑏π‘₯2 + 𝑏π‘₯π‘₯3 + ( 1 2 ) π‘₯2𝑏π‘₯4) exp π‘₯π‘₯1. c. W.r.t 𝑒𝑐π‘₯3 exp π‘₯π‘₯1 exp 𝑐π‘₯3 = exp(𝑒 ad π‘₯π‘₯1 . 𝑐π‘₯3) exp π‘₯π‘₯1 , = exp(𝑐π‘₯3 + 𝑐π‘₯π‘₯4) exp π‘₯π‘₯1. d. W.r.t 𝑒𝑑π‘₯4 exp π‘₯π‘₯1 exp 𝑑π‘₯4 = exp(𝑒 ad π‘₯π‘₯1 . 𝑑π‘₯4) exp π‘₯π‘₯1 , = exp(𝑑π‘₯4) exp π‘₯π‘₯1. Using induced representation on 1-dimensional irreducible unitary representations πœ“π‘“ of Ξ—, we obtain the explicit formulas for ireducible unitary representations of 𝐺 realized on Hilbert space L2(ℝ) written as follows. πœ‹πœ‡ (𝑒 π‘Žπ‘₯1 )𝑓(π‘₯) = πœ‘(π‘₯ + π‘Ž), πœ‹πœ‡ (𝑒 𝑏π‘₯2 )𝑓(π‘₯) = 𝑒 2πœ‹π‘–(𝛽𝑏+( 1 2 )𝛿π‘₯2𝑏) πœ‘(π‘₯), πœ‹πœ‡ (𝑒 𝑐π‘₯3 )𝑓(π‘₯) = 𝑒 2πœ‹π‘–π›Ώπ‘π‘₯ πœ‘(π‘₯), πœ‹πœ‡ (𝑒 𝑑π‘₯4 )𝑓(π‘₯) = 𝑒 2πœ‹π‘–π›Ώπ‘‘ πœ‘(π‘₯), where πœ‡ ≔ 𝛽π‘₯2 βˆ— + 𝛿π‘₯4 βˆ— ∈ Ω𝛿,𝛽 βŠ‚ 𝔀 βˆ— and πœ‘ ∈ L2(ℝ). ∎ Proposition 2. The irreducible unitary representation πœ‹πœ‡ of 𝐺 as written in eqs. (12) is square-integrable and its Duflo-Moore operator is a multiple of identity. Proof. Let πœ‘1, πœ‘2 be elements of L 2(ℝ). For these functions we shall compute the integral ∫ |(πœ‘1|πœ‹(𝑔)πœ‘2)L2(ℝ)| 2 𝐺 𝑑𝑔 . Let us put 𝑔 = π‘”β€²π‘’π‘Žπ‘₯1 where 𝑔′ = 𝑒𝑝π‘₯4 𝑒𝑐3 𝑒𝑏π‘₯2 . We have (πœ‘1|πœ‹(𝑔)πœ‘2)L2(ℝ) = ∫ πœ‘1(π‘₯)𝑒 2πœ‹π‘–(𝛿𝑝+𝛿𝑐π‘₯+𝛽𝑏+( 1 2 )𝛿π‘₯2𝑏) πœ‹(π‘’π‘Žπ‘₯1 )πœ‘(π‘₯) 𝑑π‘₯ ℝ By Plancherel’s Theorem and Fubini’s Theorem of integral we have On Square-Integrable Representations of A Lie Group of 4 Dimensional Standard Filiform Lie Algebra Edi Kurniadi 89 ∫ |(πœ‘1|πœ‹(𝑔)πœ‘2)L2(ℝ)| 2 ℝ4 π‘‘π‘π‘‘π‘π‘‘π‘π‘‘π‘Ž = ∫ |πœ‘1(π‘₯)| 2{∫ |πœ‘2(π‘₯ + π‘Ž)| 2 π‘‘π‘Ž}𝑑π‘₯ ℝℝ = ∫ |πœ‘1(π‘₯)| 2 𝑑π‘₯ ∫ |πœ‘2(π‘Žβ€²)| 2 π‘‘π‘Žβ€² ℝℝ (we put π‘Žβ€² = π‘₯ + π‘Ž ) = β€–πœ‘1β€–L2(ℝ) 2 β€–πœ‘2β€–L2(ℝ) 2 . The latter equation gives information that πœ‹πœ‡ is a square-integrable representation. Therefore, its Duflo-Moore operator is equal to scalar multiple of identity which scalar equals one. ∎ We mention here some results in [8] regarding unimodular groups as follows. 1. If 𝐺 is unimodular then the Duflo-Moore operator πΎπœ‹ in (8) is the scalar multiple of identity. Therefore, the equation (8) is of the form ∫ (𝑓1|πœ‹(π‘₯)𝑓2)πœ˜πœ‹ (πœ‹(π‘₯)𝑓4|𝑓3)πœ˜πœ‹ 𝑑π‘₯𝐺 = πœ† (𝑓1|𝑓3)πœ˜πœ‹ (𝑓4|𝑓2)πœ˜πœ‹ . (13) 2. If 𝐺 is unimodular then all vectors in πœ˜πœ‹ are admissible. In fact, since tr ∘ ad = 0 then the Lie group 𝐺 of 4-dimensional standard filiform Lie algebra 𝔀 is unimodular. Therefore, the computations is immediately true as desired. Namely, the irreducible unitary representation πœ‹πœ‡ is square-integrable and its Duflo- Moore operator is equal to the scalar πœ† multiple with πœ† = 1. CONCLUSION We conclude that irreducible unitary representation πœ‹πœ‡ of Lie group of 4- dimensional filiform Lie algebra with respect to its basis is obtained. Furthermore, this representation πœ‹πœ‡ is square-integrable and we obtain the Duflo-Moore operator is a scalar multiple of identity and its scalar equals one. REFERENCES [1] A. Hadjer and A. Makhlouf, β€œIndex of Graded Filiform and Quasi Filiform Lie Algebras,” no. May 2014, 2012. [2] A. A. Kirillov, β€œLectures on the Orbit Method, Graduate Studies in Mathematics,” Am. Math. Soc., vol. 64, 2004. [3] A. . Kirillov, β€œUnitary representations of nilpotent Lie groups,” Uspekhi Mat.Nauk, vol. 17, pp. 57--110, 1962. [4] R. Berndt, Representation of linear groups. An introduction based on examples from physics and number theory. Wiesbaden: Vieweg, 2007. [5] J. . Lee, Introduction to smooth manifolds, Graduate Text in Mathematics,. New York: Springer-Verlag, 2003. On Square-Integrable Representations of A Lie Group of 4 Dimensional Standard Filiform Lie Algebra Edi Kurniadi 90 [6] M. Duflo and C. C. Moore, β€œOn the Regular Representation of a nonunimodular Locally Compact,” J. Funct. Anal., vol. 21, pp. 209–243, 1976. [7] A. . Carey, β€œSquare-integrable representation of nonunimodular groups,” Bull.Austral.Math.Soc, vol. 15, pp. 1--12, 1976. [8] A. Grossmann, J. Morlet, and T. Paul, β€œTransform associated to square-integrable group of representations I,” J.Math.Phys, vol. 26, pp. 2473--2479, 1985. [9] A. Grossmann, J. Morlet, and T. Paul, β€œTrsansform associated to square-integrable group representations .II. Examples,” Ann.Inst.H.Poincare Phys.Theor, vol. 45, pp. 293--309, 1986. [10] L. J. Corwin and F. . Greenleaf, Representations of nilpotent Lie groups and their applications. Part I. Basic theory and examples,. Cambridge: Cambridge University Press, 1990.