×

The elements of bounded trace in the \(C^*\)-algebra of a nilpotent Lie group. (English) Zbl 0587.22003

Let G be a connected, simply connected nilpotent Lie group with Lie algebra \({\mathfrak g}\). We identify the dual space \(\hat G\) of G with the space \({\mathfrak g}^*/Ad^*(G)\) of the G-orbits in \({\mathfrak g}^*\) under the coadjoint action. For an integer d, denote by \(\hat G_ d\) (resp. by \(\hat G_{<d})\) the subset of \(\hat G,\) consisting of the orbits of dimension d (resp. of the orbits of dimension strictly less than d).
In this paper we study the following question. Let A be a closed subset of \(\hat G.\) What positive elements x in the \(C^*\)-algebra \(C^*(G)\) of G are with bounded trace on A, i.e., for what \(x\geq 0\) in \(C^*(G)\), is sup \(\{\) tr \(\pi\) (x) \(|\) \(\pi \in A\}<\infty ?\) It turns out, that the subsets \(C_ d:=(A\cap \hat G_ d)^-\cap \hat G_{<d}\) (where \({}^-\) means closure in \(\hat G)\), \(d=2,4,6,...\), play a crucial role. Let \(C=\cup_{d}C_ d\). In fact, it is easily shown, that a necessary condition for x to be with bounded trace on A, is that \(\pi (x)=0\) for every \(\pi\in C\) (Theorem 3.4.).
Let ker C:\(=\{\cap\) ker \(\pi\) \(| \pi \in C\}\). The main result of the paper is Theorem 5.3.: Every \(0\leq x\) in the Pedersen ideal j(C) of ker C is with bounded trace on A.
In the proof of this theorem we use the method of variable groups. This allows us to proceed inductively on the dimension of G and to use Kirillov’s lemma at every induction step. In the proof we also need the following results.
For any closed subset B of \(\hat G,\) the Pedersen ideal j(B) in \(C^*(G)\) is generated by Schwartz functions (Theorem 2.7.). Let \(V=\{v_ 1,...,v_ n\}\) be a Jordan-Hölder basis of \({\mathfrak g}^*\) and let for \(l\in {\mathfrak g}^*\), \(P(z,l)=\sum^{n}_{j=1}P_ j(z,l)\nu_ j\) be the canonical polynomial map, describing the G-orbit of l \((z\in {\mathbb{R}}^ d\), \(d=\dim G\cdot l)\). Let \(1\leq e_ 1<e_ 2<...<e_ d\leq n\) and denote by R the polynomial mapping \(R(z):=(P_{e_ 1}(z,l),...,P_{e_ d}(z,l))\in {\mathbb{R}}^ d\). Then \[ | \det (R'(z))| =| \det [<P(z,l),[b_{e_ r},b_{e_ s}]>_{r,s}]| \cdot (\det [<P(z,l),[b_{j_ r},b_{j_ s}]>_{r,s}])^{-1} \] where \(1<j_ 1<j_ 2<...<j_ d\leq n\) are the jumping indices of the orbit \(G\cdot l\) (Proposition 4.4.).
If we identify now the sets A and C with closed subsets of \({\mathfrak g}^*\), we can deduce from the formula above that for any non-negative continuous function \(\phi\) with compact support on \({\mathfrak g}^*\), with supp \(\phi\) \(\cap C=\emptyset\), that sup \(\{\int_{O_{\pi}}\phi (l) d\mu_{\pi}(l) |\) \(\pi \in C\}<\infty\) (Proposition 4.6.). Here \(d\mu_{\pi}\) is the canonical G-invariant measure on \(O_{\pi}\).

MSC:

22E27 Representations of nilpotent and solvable Lie groups (special orbital integrals, non-type I representations, etc.)
22D25 \(C^*\)-algebras and \(W^*\)-algebras in relation to group representations
46L05 General theory of \(C^*\)-algebras
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Brown, I.D.: Dual topology of a nilpotent Lie group. Ann. Sci. Ec. Norm. Super., IV Ser.6, 407-411 (1973) · Zbl 0284.57026
[2] Dixmier, J.:C *-algebras. Amsterdam: North-Holland 1977 · Zbl 0372.46058
[3] Dixmier, J.: Opérateurs de rang fini dans les représentations unitaires. Inst. Hautes Etudes, Sci. Publ. Math.6, 305-317 (1960) · Zbl 0100.32303
[4] Fell, J.M.G.: The dual spaces ofC *-algebras. Trans. Am. Math. Soc.94, 356-403 (1960) · Zbl 0090.32803
[5] Hermann, G.: Die Frage der endlich vielen Schritte. Math. Ann.95, 736-788 (1926) · JFM 52.0127.01 · doi:10.1007/BF01206635
[6] Howe, R.E.: On a connection between nilpotent groups and oscillatory integrals associated to singularities. Pac. J. Math.73, 329-363 (1977) · Zbl 0383.22009
[7] Hulanicki, A.: A functional calculus for Rockland operators on nilpotent Lie groups. Stud. Math. (To appear) · Zbl 0595.43007
[8] Kirillov, A.A.: Unitary representations of nilpotent Lie groups. Usp. Mat. Nauk17, 57-110 (1962) · Zbl 0106.25001
[9] Ludwig, J.: Polynomial growth and ideals in group algebras. Manuscr. Math.30, 215-221 (1980) · Zbl 0417.43005 · doi:10.1007/BF01303328
[10] Ludwig, J.: Variable groups. 1985 (Preprint)
[11] Mili?ic, D.: OnC *-algebras with bounded trace. Glasnik Mat. Tom8, (28) 7-21 (1973)
[12] Perdrizet, F.: Topologie et traces sur lesC *-algebres. Bull. Soc. Math. Fr.99, 193-239 (1971) · Zbl 0226.46061
[13] Pukanszky, L.: On the characters and the Plancherel formula of nilpotent groups. J. Funct. Anal.1, 255-280 (1967) · Zbl 0165.48603 · doi:10.1016/0022-1236(67)90015-8
[14] Pukanszky, L.: Unitary representations of solvable Lie groups. Ann. Sci. Ec. Norm. Super., IV Ser.4, 457-608 (1971) · Zbl 0238.22010
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.