# The smoothness of convolutions of orbital measures on complex Grassmannian symmetric spaces

## TL;DR

This paper proves that convolutions of orbital measures on complex Grassmannian symmetric spaces become smooth in the sense of belonging to L^2 space after a small number of convolutions, extending known results to these spaces.

## Contribution

It establishes the L^2 property for convolutions of orbital measures on all complex Grassmannian symmetric spaces, a case not previously covered.

## Key findings

- Convolution powers of orbital measures are in L^2 for all complex Grassmannian symmetric spaces.
- For a dense set of points, the second or third convolution of orbital measures is in L^2.
- The results extend the understanding of measure smoothness in symmetric spaces.

## Abstract

It is well known that if $G/K$ is any irreducible symmetric space and $\mu _{a}$ is a continuous orbital measure supported on the double coset $KaK,$ then the convolution product, $\mu _{a}^{k},$ is absolutely continuous for some suitably large $k\leq \dim G/K$. The minimal value of $k$ is known in some symmetric spaces and in the special case of groups or rank one symmetric spaces it has even been shown that $\mu _{a}^{k}$ belongs to the smaller space $L^{2}$ for some $k$. Here we prove that this $L^{2}$ property holds for all the compact, complex Grassmanian symmetric spaces, $% SU(p+q)/S(U(p)\times U(q))$. Moreover, for the orbital measures at a dense set of points $a$, we prove that $\mu _{a}^{2}\in L^{2}$ (or $\mu _{a}^{3}\in L^{2}$ if $p=q$).