Poisson transform and unipotent complex geometry
Our concern is with Riemannian symmetric spaces $Z=G/K$ of the non-compact type and more precisely with the Poisson transform $\mathcal{P}_\lambda$ which maps generalized functions on the boundary $\partial Z$ to $\lambda$-eigenfunctions on $Z$. Special emphasis is given to a maximal unipotent group...
| Autores: | , , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2025 |
| País: | España |
| Institución: | Basque Center for Applied Mathematics (BCAM) |
| Repositorio: | BIRD. BCAM's Institutional Repository Data |
| OAI Identifier: | oai:bird.bcamath.org:20.500.11824/1935 |
| Acceso en línea: | http://hdl.handle.net/20.500.11824/1935 https://doi.org/10.1016/j.jfa.2024.110742 |
| Access Level: | acceso abierto |
| Palabra clave: | Semisimple Lie groups Harmonic analysis Poisson transform Bergman spaces |
| Sumario: | Our concern is with Riemannian symmetric spaces $Z=G/K$ of the non-compact type and more precisely with the Poisson transform $\mathcal{P}_\lambda$ which maps generalized functions on the boundary $\partial Z$ to $\lambda$-eigenfunctions on $Z$. Special emphasis is given to a maximal unipotent group $N<G$ which naturally acts on both $Z$ and $\partial Z$. The $N$-orbits on $Z$ are parametrized by a torus $A=(\mathbb{R}_{>0})^r<G$ (Iwasawa) and letting the level $a\in A$ tend to $0$ on a ray we retrieve $N$ via $\lim_{a\to 0} Na$ as an open dense orbit in $\partial Z$ (Bruhat). For positive parameters $\lambda$ the Poisson transform $\mathcal{P}_\lambda$ is defined an injective for functions $f\in L^2(N)$ and we give a novel characterization of $\mathcal{P}_\lambda(L^2(N))$ in terms of complex analysis. For that we view eigenfunctions $\phi = \mathcal{P}_\lambda(f)$ as families $(\phi_a)_{a\in A}$ of functions on the $N$-orbits, i.e. $\phi_a(n)= \phi(na)$ for $n\in N$. The general theory then tells us that there is a tube domain $\mathcal{T}=N\exp(i\Lambda)\subset N_\mathbb{C}$ such that each $\phi_a$ extends to a holomorphic function on the scaled tube $\mathcal{T}_a=N\exp(i\operatorname{Ad}(a)\Lambda)$. We define a class of $N$-invariant weight functions { ${\bf w}_\lambda$ on the tube $\mathcal{T}$}, rescale them for every $a\in A$ to a weight ${\mathbf{w}}_{\lambda, a}$ on $\mathcal{T}_a$, and show that each $\phi_a$ lies in the $L^2$-weighted Bergman space $\mathcal{B}(\mathcal{T}_a, {\mathbf{w}}_{\lambda, a}):=\mathcal{O}(\mathcal{T}_a)\cap L^2(\mathcal{T}_a, {\mathbf{w}}_{\lambda, a})$. The main result of the article then describes $\mathcal{P}_\lambda(L^2(N))$ as those eigenfunctions $\phi$ for which $\phi_a\in \mathcal{B}(\mathcal{T}_a, {\mathbf{w}}_{\lambda, a})$ and $$\|\phi\|:=\sup_{a\in A} a^{\operatorname{Re}\lambda -2\rho} \|\phi_a\|_{\mathcal{B}_{a,\lambda}}<\infty$$ holds. |
|---|