Search arXivSearch

arXiv · 2206.14088

Poisson transform and unipotent complex geometry

Abstract

Our concern is with Riemannian symmetric spaces $Z=G/K$ of the non-compact type and more precisely with the Poisson transform $\mathcal{P}_λ$ which maps generalized functions on the boundary $\partial Z$ to $λ$-eigenfunctions on $Z$. Special emphasis is given to a maximal unipotent group $N 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 $λ$ the Poisson transform $\mathcal{P}_λ$ is defined an injective for functions $f\in L^2(N)$ and we give a novel characterization of $\mathcal{P}_λ(L^2(N))$ in terms of complex analysis. For that we view eigenfunctions $ϕ= \mathcal{P}_λ(f)$ as families $(ϕ_a)_{a\in A}$ of functions on the $N$-orbits, i.e. $ϕ_a(n)= ϕ(na)$ for $n\in N$. The general theory then tells us that there is a tube domain $\mathcal{T}=N\exp(iΛ)\subset N_\mathbb{C}$ such that each $ϕ_a$ extends to a holomorphic function on the scaled tube $\mathcal{T}_a=N\exp(i\operatorname{Ad}(a)Λ)$. We define a class of $N$-invariant weight functions ${\bf w}_λ$ on the tube $\mathcal{T}$, rescale them for every $a\in A$ to a weight ${\bf w}_{λ, a}$ on $\mathcal{T}_a$, and show that each $ϕ_a$ lies in the $L^2$-weighted Bergman space $\mathcal{B}(\mathcal{T}_a, {\bf w}_{λ, a}):=\mathcal{O}(\mathcal{T}_a)\cap L^2(\mathcal{T}_a, {\bf w}_{λ, a})$. The main result of the article then describes $\mathcal{P}_λ(L^2(N))$ as those eigenfunctions $ϕ$ for which $ϕ_a\in \mathcal{B}(\mathcal{T}_a, {\bf w}_{λ, a})$ and $$\|ϕ\|:=\sup_{a\in A} a^{\operatorname{Re}λ-2ρ} \|ϕ_a\|_{\mathcal{B}_{a,λ}}<\infty$$ holds.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Heiko Gimperlein, Bernhard Krötz, Luz Roncal, Sundaram Thangavelu. 2024-11-04. Poisson transform and unipotent complex geometry. https://doi.org/10.1016/j.jfa.2024.110742

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT