[論文レビュー] Shift-invariant spaces on SI/Z Lie groups

Bradley Currey, Azita Mayeli+1 more|arXiv (Cornell University)|May 30, 2012

Mathematical Analysis and Transform Methods参考文献 7被引用数 3

ひとこと要約

本稿は、中心を除いて平方可積分なユニタリ表現をもつ単連結な可解リー群（SI/Z群）上におけるシフト不変空間の周期化枠組みを、群フーリエ変換と範囲関数を用いて導入する。可測な範囲関数を用いてシフト不変部分空間を特徴付け、ファイバーごとの解析を通じてフレームおよびリーマン基底の基準を確立し、アーベルな設定から非アーベルな状況へとユークリッド空間の結果を一般化する。ヘイゼンベルク群や高次可解群への応用を含む。

ABSTRACT

Given a simply connected nilpotent Lie group having unitary irreducible representations that are square-integrable modulo the center (SI/Z), we develop a notion of periodization on the group Fourier transform side, and use this notion to give a characterization of shift-invariant spaces in $L^2(N)$ in terms of range functions. We apply these results to study the structure of frame and Reisz families for shift-invariant spaces. We illustrate these results for the Heisenberg group as well as for other groups with SI/Z representations.

研究の動機と目的

• アーベル群から非アーベルなリー群のクラス、特にSI/Z群へシフト不変空間の理論を拡張すること。
• SI/Z群に対して、群フーリエ変換の側で周期化作用素を構築し、シフト不変部分空間の特徴付けを可能にすること。
• 表現論とプランシュレ理論を用いて、ユークリッド空間における範囲関数枠組みを非アーベルな設定へ一般化すること。
• L^2(N) のシフト不変部分空間におけるフレームおよびリーマン基底を、範囲関数のファイバーごとの条件によって特徴付けること。
• ヘイゼンベルク群や3段階可解群を含む具体的な例に理論を適用し、その適用可能性を示すこと。

提案手法

• SI/Z群を、すべての最大コアジュント軌道が中心を除いて平方可積分な表現に対応する単連結な可解リー群として定義する。
• コアジュント軌道対応とプランシュレ測度を用い、ユニタリ双対 $\hat{N}$ を $\mathfrak{n}^*/N$ に同定し、特に $\hat{N}_{\text{max}} = \text{SI/Z}$ を焦点とする。
• 離散部分群 $\Gamma \subset N$ が中心 $Z$ を除いて作用する仕組みを用いて、群フーリエ変換の側に周期化作用素を構築し、$\mathbb{T} = Z^*$ 上のファイバー分解を導く。
• 値がヒルベルト＝シュミット作用素の列である $L^2(N) \to L^2(\mathbb{T}, \mathcal{L})$ の変換 $T$ を定義し、$L^2(N)$ を円周上のファイバー束へ関連付ける。
• $\Gamma$-シフト不変部分空間 $S \subset L^2(N)$ を、可測な範囲関数 $J(\sigma) \subset \mathcal{L}$ を用いて特徴付ける。ここで $T(S)$ はほとんど everywhere で $J(\sigma)$ の切断から成る。
• 問題をファイバーごとの解析へ移行することで、フレームおよびリーマン基底の基準を確立する。系 $\{L_\gamma \phi\}$ が $S$ でフレーム（またはリーマン基底）をなすための必要十分条件は、系 $\{\tilde{\pi}_\sigma(k) T\phi(\sigma)\}$ が almost everywhere で $J(\sigma)$ でフレーム（またはリーマン基底）をなすことである。

実験結果

リサーチクエスチョン

• RQ1 アーベル群から非アーベルなSI/Zリー群へ、周期化の概念をどのように一般化し、シフト不変部分空間を特徴付けることができるか。
• RQ2 非アーベルなSI/Z群の設定において、適切な範囲関数の類似物は何か。また、それは群フーリエ変換とどのように関連するか。
• RQ3 L^2(N) のシフト不変部分空間におけるフレームおよびリーマン基底の性質は、範囲関数のファイバーごとの性質とどのように関係するか。
• RQ4 理論はヘイゼンベルク群や高次可解群といった具体的な例に適用可能か。
• RQ5 SI/Z群にどのような構造的特徴があるため、周期化と範囲関数の特徴付けを可能にするプランシュレ型分解が可能になるか。

主な発見

• 本稿は、$\Gamma$-シフト不変部分空間 $S \subset L^2(N)$ と可測な範囲関数 $J: \mathbb{T} \to \text{closed subspaces of } \mathcal{L}$ の間で一対一対応を確立する。ここで $\mathcal{L} = l^2(\mathbb{Z}, \mathcal{HS}(L^2(\mathbb{R}^2)))$ である。
• $\Gamma$-シフト不変部分空間 $S$ は、変換 $T$ を用いて $T(S) = \{ a \in L^2(\mathbb{T}, \mathcal{L}) : a(\sigma) \in J(\sigma) \text{ a.e.} \}$ と特徴付けられる。ここで $T$ は群フーリエ表現を用いて定義される。
• 系 $\{L_\gamma \phi : \gamma \in \Gamma, \phi \in \mathcal{A}\}$ が $S$ でフレーム（またはリーマン基底）をなすための必要十分条件は、系 $\{\tilde{\pi}_\sigma(k) T\phi(\sigma) : k \in \mathbb{Z}^4 \}$ がほとんど everywhere で $J(\sigma)$ でフレーム（またはリーマン基底）をなすことである。同じフレーム定数を有する。
• ヘイゼンベルク群の場合、範囲関数 $J(\sigma)$ は $\tilde{\pi}_\sigma(k_1,k_2,0,0,0)$ の作用に関して不変であり、変換 $T$ は $L^2(N)$ を $L^2(\mathbb{T}, l^2(\mathbb{Z}, \mathcal{HS}(L^2(\mathbb{R})))$ へ写像する。
• 3段階可解群の例では、$\mathbb{R}^*$ 上のプランシュレ測度は $\lambda^2 d\lambda$ に比例し、表現 $\pi_\lambda$ はメタプレクティック型作用素を用いて $L^2(\mathbb{R}^2)$ 上に作用する。
• 本稿は、$S = T^{-1}(M_J)$ が $\Gamma$-シフト不変であるが、左不変ではないことを示している。これは、$\phi \in S$ に対して $L_{(1/2,1/2,0,0,0,0)}\phi$ が $S$ に属さないという事実によって確認され、シフト作用の非アーベル構造が裏付けられる。