Revista de la Unión Matemática Argentina - A qualitative uncertainty principle for completely solvable Lie groups

## Articulo

• Citado por SciELO

• Similares en SciELO
• Similares en Google

## versión On-line ISSN 1669-9637

### Rev. Unión Mat. Argent. v.48 n.1 Bahía Blanca ene./jun. 2007

A qualitative uncertainty principle for completely solvable Lie groups

B. Bouali

Abstract. In this paper, we study a qualitative uncertainty principle for completely solvable Lie groups.

2000 Mathematics Subject Classification. 22E25, 22E27.

Keywords and phrases. Completely solvable Lie groups, uncertainty principle, orbit method.

1. Introduction

Let be a connected, simply connected, and completely solvable Lie group, with Lie algebra . Let be the dual of . The equivalence classes of irreducible unitary representations of is parameterized by the coadjoint orbits via the Kirillov bijective map

We recall that if and , then there exists an analytic subgroup of and a unitary character of , such that the induced representation is equivalent to Moreover the push forward of a Plancherel measure in is a measure equivalent to a Lebesguian measure on convenient set of representatives in for

Let in and set its Fourier transform, let and . By Bénédicks theorem [1, Theorem 2], if and then a.e. Here, denote Lebesgue measure on . That is, for the qualitative uncertainty principle holds.

In this note we prove that a completely solvable Lie group has the qualitative uncertainty principle. In [4] we showed the theorem for nilpotent Lie groups, by induction on the dimension of . To prove the theorem we apply induction, for this, we need an explicit description of the dual space of as well as an explicit description of Plancherel measure on . For our approach we use a result of B.N. Currey [3], which is a generalization of a result of L. Pukanszky. Let be a locally compact group. Denote a fixed Haar measure on by and the corresponding Plancherel measure on by

Let and ,

Definition 1.1. G has the qualitative uncertainty principle if and then m-a.e.

Remark 1.1. The group () has the qualitative uncertainty principle [1, Theorem 2].

2. Preliminaries

Let be a connected, simply connected, and completely solvable Lie group, with the Lie algebra . Let be its dual. Since is completely solvable, there exists a chain of ideals of

such that the dimension of is , for all . We fix an ordered basis of such that is spanned by the vectors , Let be the dual basis of We fix a Lebesgue measure on and a right invariant Haar measure on such that where

Let be the modular function such that for all , . Let be a co-adjoint orbit in and . The bilinear form defines a skew-symmetric and nondegenerate bilinear form on . Since the map induces an isomorphism between and the tangent space of at , the bilinear form defines a nondegenerate 2-form on this tangent space. If is the dimension of we note that

is a canonical measure on . Lemma 3.2.2 in [2] says that there exists a nonzero rational function on such that

and there exists a unique measure on such that

for all Borel function on . B.N. Currey [3,] gave an explicit description of the measure with the help of the coadjoint orbits. We recall the theorem proved by B.N. Currey which is a essential tool to prove our main theorem.

Theorem 2.1. Let be a connected, simply connected and completely solvable Lie group. There exists a Zariski open subset in , a subset of , a subset of , for each a real valued rational function , non vanishing on , and real analytic functions in the variables such that the following hold.

1. If denotes the number of elements of , for each , the set

is a non empty open subset in .

2. Define by , where if and otherwise. Let for , define by if and otherwise. Then for each , the mapping is a diffeomorphism of with the coadjoint orbit of .
3. Define as the subspace spanned by the vectors and the subspace spanned by the vectors Then the set

is a cross-section for the coadjoint orbits in . for each the rational function is of the form , where is a rational function.
4. For each , let such that . Then the mapping , defined by , is a diffeomorphism.

If the subset is empty, then and the coordinates for are obtained by identifying with , which is the parametrization of in the nilpotent case. If is not empty and the number of elements in . From [3], for each is a non empty Zariski open subset and (disjoint union). Set . from [3] we have:

is a rational nonsingular function on .

Let From [3], there is a Zariski open subset of and a rational function such that is the graph of . From [3], the projection of into parallel to defines a diffeomorphism of with .

Summarizing: let be connected, simply connected and completely solvable Lie group. Let be a Jordan-Holder basis of . Then, there is a finite family of disjoint open subsets of and there is a subspace of such that for each , the orbits in are parameterized by a Zariski open subset of The union of this open sets determines an open dense subset of whose complement has Plancherel measure zero.

3. The Group.

Consider the group

We use the notation

Matrix multiplication is:

and the inverse is

The Lie algebra of is the set of matrices

We choose as ordered base

We have . Thus the group is not nilpotent.

Let the dual basis of . Let The orbits of in are: the upper half plane , the lower half plan and the points . Here, and , so that and is spanned by the vector . The Zariski open sets and are the half planes of and . Since there are two orbits, the set

has exactly two points. We have and . The Zariski open set or of , reduces to a point.

4. Fourier transform.

We must consider two cases(see [5]):

1. All the orbits in general position are saturated with respect to That is, for each Then, we may and will choose a basis of

where the last vector of the basis does not depend on . We apply the previous setting to Let the index set for , then is a subset of let denote the number elements of . For each , the set is nonempty open subset of . Let and then is the subspace spanned by . We apply the inductive hypothesis to , hence, there is a Zariski open subset and a rational function such that is the graph of . Let denote the projection of on . From [5,lemma 3.2], the measure on in terms of the measure on and is

2. If some orbit in general position is not saturated with respect to , we can still obtain a basis of such that the last vector of the basis does not depend on , and for certain with . In this case since , we have . Moreover . The Plancherel measure can be written as .

5. The main theorem.

Theorem 5.1. Let be a connected, simply connected, completely solvable Lie group with the unitary dual , and let be integrable function on . If and then almost every where.

Proof 5.1. We proceed by induction on the dimension of . The result is true if the dimension of is one, since (see [1,theorem2]). Assume that the result is true for all completely solvable Lie groups of dimension . Suppose that are finite. From [4, lemma 1.6], is finite. To conclude, it remains to show that is finite. We can assume that is contained in (It suffices to take as the finite union of ).We consider tho cases

1. We suppose that for all That is, all the orbits in general position are saturated with respect to . For , let be the restriction of to , then is irreducible. From [6, proposition 2.5] we have:

where is the Lebesgue measure on and is the Lebesgue measure on . From the formula (1) and the definition of we conclude that the map is an isomorphism which respect to the measures and , then

By induction hypothesis almost everywhere on for almost everywhere which implies that almost everywhere on by using the theorem of Fubini.

2. Some orbit is not satured with respect to That is, for some . For , we choose an extension defined by . From this we have

Hence

Then for almost everywhere , is finite. By inductive hypothesis almost everywhere on for almost everywhere in , which implies that almost everywhere on by Fubini's theorem.

Remark 5.1. The group has the qualitative uncertainty principle.

Question 5.1. Do the exponential solvable Lie groups have the qualitative uncertainty principle ?

References

[1]    M. Benedicks, On Fourier transform of functions supported on sets of finite Lebesgue measure, J. Math. Anal. Appl. 106 (1985), no. 1, 180-183.        [ Links ]

[2]    A. Kleppner and Lipsman, The Plancherel formula for groups extensions, Ann. Sci. cole Norm. Sup. (4) 5 (1972), 459-516.        [ Links ]

[3]    B.N.Currey, An explicit Plancherel formula for completely solvable Lie groups, Michigan Math Journal,38(1991) 75-87.        [ Links ]

[4]    B. Bouali and M. Hemdaoui, Principe d'incertitude qualitatif pour les groupes de Lie nilpotents, Revista Matematica complutense, 2004,17,Num. 2, 277-285.        [ Links ]

[5]    G.Garimella, Weak Paley-Wiener property for completely solvable Lie groups, Pacific Journal of mathematics, vol 187 No 1,(1999)51-63.        [ Links ]

[6]    A. Baklouti, J. Ludwig, Désintégration des représentations monômiales des groupes de Lie nilpotents, Journal of Lie theory,volume 9(1999) 157-191.        [ Links ]

B. Bouali
University of Mohammed premier,
OUJDA, MOROCCO

Recibido: 13 de febrero de 2006
Aceptado: 20 de julio de 2007