[论文解读] On the Whittaker Plancherel Theorem for Real Reductive Groups

Nolan R. Wallach|arXiv (Cornell University)|May 18, 2017

Advanced Algebra and Geometry参考文献 8被引用 4

一句话总结

本文通過改進哈里什-錢德拉的普朗歇爾定理並解決早期工作中長期存在的漏洞，提供了實李代數群上惠特aker普朗歇爾定理的完整且修正的證明。它利用惠特aker施瓦茨空間、雅克布積分的解析延拓以及貝瓦爾-普萊西斯的收斂定理，建立了一個分布式的反演公式，確保了波包分解的完整性。

ABSTRACT

The purpose of this article is to give the first complete proof of the Whittaker Plancherel Theorem. The proof uses Harish-Chandra's Plancherel Theorem for a real reductive group and its exposition can be used as an introduction to Harish-Chandra's ideas. The proof follows the basic ideas in the author's original attempt in his second volume on real reductive groups. An error in the calculation of the Whittaker Transform of a Harish-Chandra wave packet is fixed using a result of Raphaël Beuzart-Plessis.

研究动机与目标

• 修復華爾茲《實李代數群II》中第15章關於惠特aker普朗歇爾定理原始證明中長期存在的錯誤與漏洞。
• 以哈里什-錢德拉普朗歇爾定理為基礎，建立一個嚴謹的惠特aker普朗歇爾公式分布版本。
• 解決惠特aker波包空間完整性問題，此問題在先前的表述中是關鍵缺陷。
• 提供一個自包含的敘述，作為理解哈里什-錢德拉普朗歇爾定理及其惠特aker類比的入門。
• 展示該定理的$L^2$版本作為Parseval恆等式的類比，將譜分解與$L^2$理論聯繫起來。

提出的方法

• 採用哈里什-錢德拉的實李代數群普朗歇爾定理作為基礎譜工具，使用包含所有歸一化常數的密度$\mu(\omega, \nu)$。
• 構造惠特aker施瓦茨空間，並證明該空間中對雙 invariant 微分算子的特徵函數即為尖形式，從而取代[RRGII]中的錯誤結果。
• 應用拉斐爾·貝瓦爾-普萊西斯的收斂定理，以驗證雅克布積分的解析延拓與溫和估計。
• 透過定理31（哈里什-錢德拉的普朗歇爾定理）分解惠特aker施瓦茨空間，從而實現惠特aker向量的譜分解。
• 利用$H_\sigma^\infty$上的惠特aker泛函弱連續族$\lambda(x)$，定義連續且解析的雅克布積分$J_{\chi_x}(P,\sigma,\nu)(\lambda(x))$。
• 確立雅克布積分映射在$\nu$上的強連續性與解析性，從而確保反演公式的有效性。

实验结果

研究问题

• RQ1 當先前版本在波包分解中存在未解決的漏洞時，如何嚴謹地證明惠特aker普朗歇爾定理？
• RQ2 貝瓦爾-普萊西斯的收斂定理在驗證惠特aker向量雅克布積分的解析延拓中發揮何種作用？
• RQ3 惠特aker施瓦茨空間與實李代數群背景下離散系列及尖形式之間有何關係？
• RQ4 能否從哈里什-錢德拉的普朗歇爾定理出發，以完整的譜控制推導出惠特aker函數的分佈式反演公式？
• RQ5 在溫和$L^2$框架下，哪些條件能確保惠特aker變換波包的連續性與解析性？

主要发现

• 本文提供了惠特aker普朗歇爾定理的完整且修正的證明，解決了自《實李代數群II》原始表述以來長期存在的多項錯誤與漏洞。
• 證明惠特aker施瓦茨空間恰好由雙 invariant 微分算子的特徵函數——即尖形式——組成，從而取代原書中的錯誤結果。
• 確立了雅克布積分的解析延拓並附帶溫和估計，確保了譜參數$\nu$下的收斂性與分析控制。
• 惠特aker普朗歇爾公式被推導為一分佈式反演公式，其中推論62顯示其$L^2$版本是Parseval恆等式的類比。
• 透過貝瓦爾-普萊西斯的收斂定理完成波包分解，從而驗證了惠特aker離散系列分解的完整性。
• 證明映射$x, \nu \mapsto J_{\chi_x}(P,\sigma,\nu)(\lambda(x))$在$\nu$上具有強連續性與解析性，確保譜理論行為良好。