[論文レビュー] Harmonic analysis on real reductive symmetric spaces

Patrick Delorme|ArXiv.org|Apr 22, 2003

Advanced Algebra and Geometry参考文献 28被引用数 15

ひとこと要約

本稿は、再帰的リー群 $G$ とその対合 $\sigma$ の固定点の開部分群 $H$ からなる実再帰的対称空間 $G/H$ に対して、$L^2(G/H)$ のスペクトル分解を確立する。アイゼンスタイン積分、切断、およびメロモルフィック拡張を用いて、プレンチェルの公式が、温度関数への正規直交射影を通じて成立することを証明し、不変微分作用素の共同固有関数を用いた完全な $L^2$-展開が得られる。

ABSTRACT

Let $G$ be a reductive group in the Harish-Chandra class e.g. a connected semisimple Lie group with finite center, or the group of real points of a connected reductive algebraic group defined over $\R$. Let $σ$ be an involution of the Lie group $G$, $H$ an open subgroup of the subgroup of fixed points of $σ$. One decomposes the elements of $L^2(G/H)$ with the help of joint eigenfunctions under the algebra of left invariant differential operators under $G$ on $G/H$.

研究の動機と目的

• 実再帰的対称空間 $G/H$ における $L^2(G/H)$ のスペクトル分解問題を解くこと。ここで $G$ は再帰的リー群であり、$H$ は対合 $\sigma$ における固定点の開部分群である。
• 左正則表現 $G \curvearrowright L^2(G/H)$ に対するプレンチェルの公式を確立し、それを不可約ユニタリ表現のヒルベルト積分に分解すること。
• ディラック測度 $eH$ の $H$-固定分布的ベクトルへの分解を通じて、フーリエ逆変換公式を導出すること。
• 群およびリーマン多様体の場合の結果を一般化して、実再帰的対称空間の設定においてアイゼンスタイン積分とそのメロモルフィック拡張の理論を拡張すること。
• $\mathcal{C}(G/H,\tau)$ 内の $\tau$-球関数の空間が、温度固有関数への標準的分解を備えていることを示し、完全なスペクトル分解が得られることを示すこと。

提案手法

• 再帰的リー群 $G$ の $\sigma\theta$-安定なパラボリック部分群 $P$ に対して、ラングランスの $\sigma$-分解 $P = M_P A_P N_P$ を用いる。ここで $A_P$ は $\sigma(a) = a^{-1}$ を満たす。
• 切断技術を適用して、切断されたアイゼンスタイン積分およびその内積を定義し、収束性とスペクトル解析を可能にする。
• C-関数の理論と定数項展開を用いて、アイゼンスタイン積分の挙動およびそのメロモルフィック拡張を分析する。
• フラーンステッド＝ジェンセン双対性および大島・松木の結果を用いて、$G/H$ 上の離散系列と誘導表現との関係を確立し、温度スペクトルを制御する。
• 集合 $\mathbb{F}$ が $\sigma$-関連クラスの代表元をとるとき、射影作用素 $\mathcal{P}_\tau = \sum_{P \in \mathbb{F}} (W(\mathfrak{a}_P))^{-1} \mathcal{I}_P^0 \mathcal{F}_P^0$ を構成する。
• ベルンシュタインによるプレンチェル測度の台に関する結果と、シュリヒトクラウルによる最小 $K$-型に関する結果を応用して、温度性およびスペクトル分解を証明する。

実験結果

リサーチクエスチョン

• RQ1 実再帰的対称空間上での左不変微分作用素の代数 $\mathbb{D}(G/H)$ の共同固有関数を用いた $L^2(G/H)$ のスペクトル分解は達成可能か？
• RQ2 $G$ に対する $L^2(G/H)$ 上のプレンチェルの公式は成立するか？ その分解は不可約ユニタリ表現の積分として明示的に与えられるか？ また、関係するプレンチェル測度は何か？
• RQ3 フーリエ逆変換公式は、スペクトル分解における $H$-固定分布的ベクトルへの $eH$ のディラック測度の分解として実現可能か？
• RQ4 非リーマン的かつ非群の場合のアイゼンスタイン積分およびその切断は、どのように振る舞い、$L^2$-展開において何の役割を果たすか？
• RQ5 $\tau$-球関数のシュワーツ関数空間上の射影作用素 $\mathcal{P}_\tau$ が恒等作用素に等しいか？ これは完全なスペクトル分解を意味するか？

主な発見

• 射影作用素 $\mathcal{P}_\tau$ は、シュワーツ関数空間 $\mathcal{C}(G/H,\tau)$ 上で $L^2$ スカラー積に関する正規直交射影である。
• 定理10により、$\mathcal{P}_\tau$ は $\mathcal{C}(G/H,\tau)$ 上で恒等作用素であることが示され、この空間に属する任意の関数が、正規化されたアイゼンスタイン積分の波パッケージ展開を持つことが示される。
• $L^2(G/H)$ のスペクトル分解は、$\mathbb{D}(G/H)$ の共同固有関数を用いて完全に実現され、プレンチェルの公式により $L^2$ ノルムが温度表現の積分として表される。
• $\tau$-球関数の $L^2$-関数空間 $\mathcal{A}_2(G/H,\tau)$ は有限次元であることが確認され、フラーンステッド＝ジェンセン双対性および大島・松木の結果を用いて、$G/H$ における離散系列理論が裏付けられる。
• ベルンシュタインによるプレンチェル測度の台に関する結果とシュリヒトクラウルによる最小 $K$-型に関する結果を用いて、スペクトルの温度性が確立される。
• 一般化されたシュールの直交性関係が導出され、プレンチェル分解におけるほとんどすべての不可約表現 $\pi$ に対して、$H$-固定分布的ベクトルが、正の関数 $d(x)$ と定数 $C_\pi(v,v')$ を含む明確な漸近公式を満たすことが示される。