[論文レビュー] Modulation spaces of symbols for representations of nilpotent Lie groups

Ingrid Beltiţă, Daniel Beltiţă|ArXiv.org|Aug 27, 2009

Mathematical Analysis and Transform Methods参考文献 25被引用数 4

ひとこと要約

本稿は、可解的リー群のユニタリ不可約表現のための変調空間を導入し、時間周波数解析で用いられる古典的変調空間を一般化する。Weyl-Pedersen計算から得られる作用素が、特定の変調空間に属する記号を持つ場合に有界であることが確立され、既知の$L^2$-有界性結果が再現され、その背後にある表現論的基礎が共伴軌道と半直積群を用いて明らかにされる。

ABSTRACT

We investigate continuity properties of operators obtained as values of the Weyl correspondence constructed by N.V. Pedersen (Invent. Math. 118 (1994), 1--36) for arbitrary irreducible representations of nilpotent Lie groups. To this end we introduce modulation spaces for such representations and establish some of their basic properties. The situation of square integrable representations is particularly important and in the special case of the Schrödinger representation of the Heisenberg group we recover the classical modulation spaces used in the time-frequency analysis.

研究の動機と目的

• ヘイゼンベルク群を超えて、任意の可解的リー群の不可約ユニタリ表現へ変調空間理論を拡張すること。
• これらの一般化された変調空間を用いて、Weyl-Pedersen計算から生じる作用素の連続性に関する性質を調査すること。
• 擬微分作用素計算における$L^2$-有界性定理の表現論的起源を明確にすること。
• 共伴軌道上の表現$\pi^\sharp$とシュレーディンガー表現とのユニタリ同値性を確立し、古典的変調空間を回復すること。

提案手法

• 可解的リー群の不可約表現$\pi$に対して、窓関数$\phi$と共伴軌道上の群作用を用いて変調空間$M^{r,s}_{\phi}(\pi)$を定義する。
• 半直積群$G\ltimes G$とその関連表現$\pi^\sharp$を構成し、共伴軌道$\mathcal{O}$上で自然なユニタリ構造を持つ。
• 共伴軌道対応を用いて、Weyl-Pedersen計算の記号空間を$\mathcal{O}$上の関数と特定し、このような記号のための変調空間を定義可能にする。
• アフィン同型写像$A: \mathcal{V}\times\mathcal{V} \to \mathcal{O}$とヘイゼンベルク群の群自己同型$\Psi$を用いて、$\pi^\sharp$とヘイゼンベルク群のシュレーディンガー表現とのユニタリ同値性を確立する。
• $f \mapsto f \circ A^{-1}$による引き戻しを用いて、変調空間$M^{r,s}(\pi^\sharp)$と古典的変調空間$M^{r,s}(\mathcal{V}\times\mathcal{V})$との同型性を確立する。
• この枠組みを応用して、記号が$M^{\infty,1}_{\Phi}(\pi^\sharp)$に属する場合に、Weyl-Pedersen計算から得られる作用素が$L^2$-有界であることを示し、[GH99]の結果を一般化する。

実験結果

リサーチクエスチョン

• RQ1 シュレーディンガー表現のヘイゼンベルク群から、任意の可解的リー群の不可約ユニタリ表現へ変調空間をどのように一般化できるか。
• RQ2 共伴軌道がWeyl-Pedersen計算の記号空間を定義する上で果たす役割は何か。
• RQ3 共伴軌道上の表現$\pi^\sharp$は、古典的シュレーディンガー表現とどのように関係しているか。
• RQ4 これらの一般化された変調空間を用いて、Weyl-Pedersen計算における作用素の$L^2$-有界性を保証する条件は何か。
• RQ5 古典的変調空間の性質が、この表現論的枠組みにおいてどの程度保持されるか。

主な発見

• 記号が$M^{\infty,1}_{\Phi}(\pi^\sharp)$に属する場合に、Weyl-Pedersen計算から得られる作用素が$L^2$-有界であることが特徴づけられ、カルデロン＝ヴァイランコールの定理が一般化される。
• 共伴軌道$\mathcal{O}$上の表現$\pi^\sharp$は、自己同型$\Psi$とアフィン同型写像$A$を用いて、ヘイゼンベルク群$\mathbb{H}_{{\mathcal{V}}\times{\mathcal{V}}}$のシュレーディンガー表現とユニタリ同値である。
• 作用素$U: f \mapsto f \circ A^{-1}$は、$M^{r,s}(\pi^\sharp)$と古典的変調空間$M^{r,s}(\mathcal{V}\times\mathcal{V})$との間に同型を誘導し、ノルム構造を保存する。
• 平方可積分表現において、窓関数$\phi$の選び方に依存しない。また、Weyl-Pedersen計算は$G\ltimes G$の作用に関して共変性を示す。
• この枠組みは、$\mathbb{R}^n$上での磁気擬微分作用素のWeyl計算に適用可能であり、多項式的磁場へ$L^2$-有界性結果を拡張する。
• 本稿は、Weyl-Pedersen計算が$M^{\infty,1}_{\Phi}(\pi^\sharp}$上で連続であることを確立し、表現論的観点から$L^2$-有界性を統一的に扱うアプローチを提供する。