##
**The singularity of orbital measures on compact Lie groups.**
*(English)*
Zbl 1052.43011

Let \(G\) be a compact, connected, simple Lie group of type \(A_n, B_n, C_n\) or \(D_n\). A measure on \(G\) is said to be central if it commutes under convolution with all other measures on \(G\). In the paper under review the authors study a class of singular, central measures. The class they study are the orbital measures. The orbital measure \(\mu_g\), supported on the conjugacy class \(C(g)\) containing \(g \in G\), is defined by
\[
\int_G f \,d\mu_g = \int_G f(tgt^{-1})\,dm_G(t)
\]
where \(f\) is a continuous function on \(G\). Orbital measures are continuous if and only if \(g \notin Z(G)\), where \(Z(G)\) is the center of \(G\). The main theorem in this paper is that \(\widehat{\mu}^k \in \ell^2\) for all continuous orbital measures \(\mu\) on \(G\) if and only if \(k > k_0\), where \(k_0\) depends on the type of \(G\). For example, if \(G\) is of type \(B_n\), then \(k_0 = 2n - {1 \over 2}\).

Let \(\Phi\) be the set of roots for \((G,T)\), where \(T\) is a maximal torus. Let \(g \in G\) and set \(\Phi(g) = \{ \alpha \in \Phi: \alpha(g) \in 2\pi\mathbb{Z} \}\) and \(\Phi^+ (g) = \Phi(g) \cap \Phi^+\). Now \(\Phi(g)\) is a subroot system of \(\Phi\) and \(\Phi^+ (g)\) is a complete set of positive roots of the subroot system. Also, \(\Phi(g) = \Phi\) if and only if \(g \in Z(G)\). The authors list the maximal subroot systems, which were determined in a previous paper by K. E. Hare, D. C. Wilson and W. L. Yee [J. Aust. Math. Soc., Ser. A 69, No. 1, 61–84 (2000; Zbl 0994.43005)], for each type of group considered in the paper. The authors then divide this list into two parts, the better maximal subroot systems and the worst maximal subroot systems. It is proven that there exists \(g \in G\) such that \(g \notin Z(G), \Phi^+(g)\) is one of the worst maximal subroot systems and \(\widehat{\mu}_g^{k_0} \notin \ell^2\). It is also proven that if \(g \notin Z(G)\) and if \(\Phi^+(g)\) is not one of the worst maximal subroot systems, then \(\widehat{\mu}_g^{k_0} \in \ell^2\).

If \(\mu_g\) is the orbital measure associated to \(g \in G\), then the Fourier transform of \(\mu_g\) at the representation \(\lambda\) is given by \(\widehat{\mu}_g(\lambda) = Tr \lambda(g) / \deg \lambda.\) In order to prove the results stated above the authors use delicate arguments to find estimates of \(| {\operatorname{Tr} \lambda(g) \over \deg \lambda}| \) for \(g \notin Z(G)\).

In the final section of the paper the authors apply their main theorem to show that if \(g \notin Z(G)\) then \(\mu_g \ast L^p \subseteq L^2\) for \(p > p_0\), where \(p_0\) depends on the type of the group. For example, if \(G\) is of type \(A_n\) then \(p_0 = 2 - 4/(2n+3)\).

This is a clear and well written paper.

Let \(\Phi\) be the set of roots for \((G,T)\), where \(T\) is a maximal torus. Let \(g \in G\) and set \(\Phi(g) = \{ \alpha \in \Phi: \alpha(g) \in 2\pi\mathbb{Z} \}\) and \(\Phi^+ (g) = \Phi(g) \cap \Phi^+\). Now \(\Phi(g)\) is a subroot system of \(\Phi\) and \(\Phi^+ (g)\) is a complete set of positive roots of the subroot system. Also, \(\Phi(g) = \Phi\) if and only if \(g \in Z(G)\). The authors list the maximal subroot systems, which were determined in a previous paper by K. E. Hare, D. C. Wilson and W. L. Yee [J. Aust. Math. Soc., Ser. A 69, No. 1, 61–84 (2000; Zbl 0994.43005)], for each type of group considered in the paper. The authors then divide this list into two parts, the better maximal subroot systems and the worst maximal subroot systems. It is proven that there exists \(g \in G\) such that \(g \notin Z(G), \Phi^+(g)\) is one of the worst maximal subroot systems and \(\widehat{\mu}_g^{k_0} \notin \ell^2\). It is also proven that if \(g \notin Z(G)\) and if \(\Phi^+(g)\) is not one of the worst maximal subroot systems, then \(\widehat{\mu}_g^{k_0} \in \ell^2\).

If \(\mu_g\) is the orbital measure associated to \(g \in G\), then the Fourier transform of \(\mu_g\) at the representation \(\lambda\) is given by \(\widehat{\mu}_g(\lambda) = Tr \lambda(g) / \deg \lambda.\) In order to prove the results stated above the authors use delicate arguments to find estimates of \(| {\operatorname{Tr} \lambda(g) \over \deg \lambda}| \) for \(g \notin Z(G)\).

In the final section of the paper the authors apply their main theorem to show that if \(g \notin Z(G)\) then \(\mu_g \ast L^p \subseteq L^2\) for \(p > p_0\), where \(p_0\) depends on the type of the group. For example, if \(G\) is of type \(A_n\) then \(p_0 = 2 - 4/(2n+3)\).

This is a clear and well written paper.

Reviewer: Michael J. Puls (LaGrande)

### MSC:

43A80 | Analysis on other specific Lie groups |

22E46 | Semisimple Lie groups and their representations |

43A65 | Representations of groups, semigroups, etc. (aspects of abstract harmonic analysis) |

### Citations:

Zbl 0994.43005
PDFBibTeX
XMLCite

\textit{K. E. Hare} and \textit{W. L. Yee}, Rev. Mat. Iberoam. 20, No. 2, 517--530 (2004; Zbl 1052.43011)

### References:

[1] | Bröcker, T. and Dieck, T.: Representations of compact Lie groups. Graduate Texts in Mathematics 98. Springer-Verlag, New York, 1985. · Zbl 0581.22009 |

[2] | Hare, K. E.: The size of characters of compact Lie groups. Studia Math. 129 (1998), 1-18. · Zbl 0946.43006 |

[3] | Hare, K. E., Wilson, D. and Yee, W. L.: Pointwise estimates of the size of characters of compact Lie groups. J. Austral. Math. Soc. Ser. A. 69 (2000), 61-84. · Zbl 0994.43005 |

[4] | Humphreys, J. E.: Introduction to Lie algebras and representation theory. Graduate Texts in Mathematics 9. Springer-Verlag, New York-Berlin, 1972. · Zbl 0254.17004 |

[5] | Ragozin, D. L.: Central measures on compact simple Lie groups. J. Func- tional Analysis 10 (1972), 212-229. · Zbl 0286.43002 · doi:10.1016/0022-1236(72)90050-X |

[6] | Ricci, F. and Stein, E. M.: Harmonic analysis on nilpotent groups and singular integrals. III. Fractional integration along manifolds. J. Funct. Anal. 86 (1989), 360-389. · Zbl 0684.22006 · doi:10.1016/0022-1236(89)90057-8 |

[7] | Ricci, F. and Travaglini, G.: Lp - Lq estimates for orbital measures and Radon transform on compact Lie groups and Lie algebras. J. Funct. Anal. 129 (1995), 132-147. · Zbl 0843.43011 · doi:10.1006/jfan.1995.1045 |

[8] | Stein, E. M. and Weiss, G.: Introduction to Fourier analysis on Eu- clidean spaces. Princeton Mathematical Series 32. Princeton University Press, Princeton, N.J., 1971. |

[9] | Varadarajan, V. S.: Lie groups, Lie algebras, and their representations. Reprint of the 1974 edition. Graduate Texts in Mathematics 102. Springer- Verlag, New York, 1984. · Zbl 0955.22500 |

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.