{"title":"Poisson transform and unipotent complex geometry","authors":"Heiko Gimperlein , Bernhard Krötz , Luz Roncal , Sundaram Thangavelu","doi":"10.1016/j.jfa.2024.110742","DOIUrl":null,"url":null,"abstract":"<div><div>Our concern is with Riemannian symmetric spaces <span><math><mi>Z</mi><mo>=</mo><mi>G</mi><mo>/</mo><mi>K</mi></math></span> of the non-compact type and more precisely with the Poisson transform <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>λ</mi></mrow></msub></math></span> which maps generalized functions on the boundary ∂<em>Z</em> to <em>λ</em>-eigenfunctions on <em>Z</em>. Special emphasis is given to a maximal unipotent group <span><math><mi>N</mi><mo><</mo><mi>G</mi></math></span> which naturally acts on both <em>Z</em> and ∂<em>Z</em>. The <em>N</em>-orbits on <em>Z</em> are parametrized by a torus <span><math><mi>A</mi><mo>=</mo><msup><mrow><mo>(</mo><msub><mrow><mi>R</mi></mrow><mrow><mo>></mo><mn>0</mn></mrow></msub><mo>)</mo></mrow><mrow><mi>r</mi></mrow></msup><mo><</mo><mi>G</mi></math></span> (Iwasawa) and letting the level <span><math><mi>a</mi><mo>∈</mo><mi>A</mi></math></span> tend to 0 on a ray we retrieve <em>N</em> via <span><math><msub><mrow><mi>lim</mi></mrow><mrow><mi>a</mi><mo>→</mo><mn>0</mn></mrow></msub><mo></mo><mi>N</mi><mi>a</mi></math></span> as an open dense orbit in ∂<em>Z</em> (Bruhat). For positive parameters <em>λ</em> the Poisson transform <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>λ</mi></mrow></msub></math></span> is defined and injective for functions <span><math><mi>f</mi><mo>∈</mo><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><mi>N</mi><mo>)</mo></math></span> and we give a novel characterization of <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>λ</mi></mrow></msub><mo>(</mo><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><mi>N</mi><mo>)</mo><mo>)</mo></math></span> in terms of complex analysis. For that we view eigenfunctions <span><math><mi>ϕ</mi><mo>=</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>λ</mi></mrow></msub><mo>(</mo><mi>f</mi><mo>)</mo></math></span> as families <span><math><msub><mrow><mo>(</mo><msub><mrow><mi>ϕ</mi></mrow><mrow><mi>a</mi></mrow></msub><mo>)</mo></mrow><mrow><mi>a</mi><mo>∈</mo><mi>A</mi></mrow></msub></math></span> of functions on the <em>N</em>-orbits, i.e. <span><math><msub><mrow><mi>ϕ</mi></mrow><mrow><mi>a</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo><mo>=</mo><mi>ϕ</mi><mo>(</mo><mi>n</mi><mi>a</mi><mo>)</mo></math></span> for <span><math><mi>n</mi><mo>∈</mo><mi>N</mi></math></span>. The general theory then tells us that there is a tube domain <span><math><mi>T</mi><mo>=</mo><mi>N</mi><mi>exp</mi><mo></mo><mo>(</mo><mi>i</mi><mi>Λ</mi><mo>)</mo><mo>⊂</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>C</mi></mrow></msub></math></span> such that each <span><math><msub><mrow><mi>ϕ</mi></mrow><mrow><mi>a</mi></mrow></msub></math></span> extends to a holomorphic function on the scaled tube <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>a</mi></mrow></msub><mo>=</mo><mi>N</mi><mi>exp</mi><mo></mo><mo>(</mo><mi>i</mi><mi>Ad</mi><mo>(</mo><mi>a</mi><mo>)</mo><mi>Λ</mi><mo>)</mo></math></span>. We define a class of <em>N</em>-invariant weight functions <span><math><msub><mrow><mi>w</mi></mrow><mrow><mi>λ</mi></mrow></msub></math></span> on the tube <span><math><mi>T</mi></math></span>, rescale them for every <span><math><mi>a</mi><mo>∈</mo><mi>A</mi></math></span> to a weight <span><math><msub><mrow><mi>w</mi></mrow><mrow><mi>λ</mi><mo>,</mo><mi>a</mi></mrow></msub></math></span> on <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>a</mi></mrow></msub></math></span>, and show that each <span><math><msub><mrow><mi>ϕ</mi></mrow><mrow><mi>a</mi></mrow></msub></math></span> lies in the <span><math><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>-weighted Bergman space <span><math><mi>B</mi><mo>(</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>a</mi></mrow></msub><mo>,</mo><msub><mrow><mi>w</mi></mrow><mrow><mi>λ</mi><mo>,</mo><mi>a</mi></mrow></msub><mo>)</mo><mo>:</mo><mo>=</mo><mi>O</mi><mo>(</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>a</mi></mrow></msub><mo>)</mo><mo>∩</mo><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>a</mi></mrow></msub><mo>,</mo><msub><mrow><mi>w</mi></mrow><mrow><mi>λ</mi><mo>,</mo><mi>a</mi></mrow></msub><mo>)</mo></math></span>. The main result of the article then describes <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>λ</mi></mrow></msub><mo>(</mo><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><mi>N</mi><mo>)</mo><mo>)</mo></math></span> as those eigenfunctions <em>ϕ</em> for which <span><math><msub><mrow><mi>ϕ</mi></mrow><mrow><mi>a</mi></mrow></msub><mo>∈</mo><mi>B</mi><mo>(</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>a</mi></mrow></msub><mo>,</mo><msub><mrow><mi>w</mi></mrow><mrow><mi>λ</mi><mo>,</mo><mi>a</mi></mrow></msub><mo>)</mo></math></span> and<span><span><span><math><mo>‖</mo><mi>ϕ</mi><mo>‖</mo><mo>:</mo><mo>=</mo><munder><mi>sup</mi><mrow><mi>a</mi><mo>∈</mo><mi>A</mi></mrow></munder><mo></mo><msup><mrow><mi>a</mi></mrow><mrow><mi>Re</mi><mspace></mspace><mi>λ</mi><mo>−</mo><mn>2</mn><mi>ρ</mi></mrow></msup><msub><mrow><mo>‖</mo><msub><mrow><mi>ϕ</mi></mrow><mrow><mi>a</mi></mrow></msub><mo>‖</mo></mrow><mrow><msub><mrow><mi>B</mi></mrow><mrow><mi>a</mi><mo>,</mo><mi>λ</mi></mrow></msub></mrow></msub><mo><</mo><mo>∞</mo></math></span></span></span> holds.</div></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":"288 3","pages":"Article 110742"},"PeriodicalIF":1.7000,"publicationDate":"2024-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Functional Analysis","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022123624004300","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Our concern is with Riemannian symmetric spaces of the non-compact type and more precisely with the Poisson transform which maps generalized functions on the boundary ∂Z to λ-eigenfunctions on Z. Special emphasis is given to a maximal unipotent group which naturally acts on both Z and ∂Z. The N-orbits on Z are parametrized by a torus (Iwasawa) and letting the level tend to 0 on a ray we retrieve N via as an open dense orbit in ∂Z (Bruhat). For positive parameters λ the Poisson transform is defined and injective for functions and we give a novel characterization of in terms of complex analysis. For that we view eigenfunctions as families of functions on the N-orbits, i.e. for . The general theory then tells us that there is a tube domain such that each extends to a holomorphic function on the scaled tube . We define a class of N-invariant weight functions on the tube , rescale them for every to a weight on , and show that each lies in the -weighted Bergman space . The main result of the article then describes as those eigenfunctions ϕ for which and holds.
期刊介绍:
The Journal of Functional Analysis presents original research papers in all scientific disciplines in which modern functional analysis plays a basic role. Articles by scientists in a variety of interdisciplinary areas are published.
Research Areas Include:
• Significant applications of functional analysis, including those to other areas of mathematics
• New developments in functional analysis
• Contributions to important problems in and challenges to functional analysis