[論文レビュー] On sufficient density conditions for lattice orbits of relative discrete series

Ulrik Enstad, Jordy Timo van Velthoven|arXiv (Cornell University)|Dec 10, 2021

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

ひとこと要約

本稿は、指数的リー群および再帰的代数群における、相対的離散系列表現の格子軌道がヒルベルト空間内にフレームまたはリース列を形成するための十分な密度条件を確立する。群論的条件下（特にB(G) = Z(G)で、射影的核が自明である場合）、関連するねじれ畳み込み作用素が恒等作用素のスカラー倍に等しくなることを示すことにより、フレームのための標準的密度境界 vol(G/Γ)dπ ≤ 1 およびリース列のための vol(G/Γ)dπ ≥ 1 が、指数的リー群および再帰的代数群において、必要条件であると同時に十分条件であることを証明する。

ABSTRACT

This note provides new criteria on a unimodular group $G$ and a discrete series representation $(\pi, \mathcal{H}_{\pi})$ of formal degree $d_{\pi} > 0$ under which any lattice $\Gamma \leq G$ with $ ext{vol}(G/\Gamma) d_{\pi} \leq 1$ (resp. $ ext{vol}(G/\Gamma) d_{\pi} \geq 1$) admits $g \in \mathcal{H}_{\pi}$ such that $\pi(\Gamma) g$ is a frame (resp. Riesz sequence). The results apply to all projective discrete series of exponential Lie groups.

研究の動機と目的

• 格子軌道の離散系列表現における標準的密度条件が、必要条件であると同時に十分条件であるような条件を同定すること。
• 半単純群およびノルム群に既知の鋭い密度結果を、指数的リー群や再帰的代数群を含むより広いクラスへと拡張すること。
• ねじれ畳み込み作用素がフレーム／リース列基準において恒等作用素のスカラー倍に簡略化される条件を特定すること。
• B(G) = Z(G) で射影的核が自明な群に対して、密度閾値がフレームまたはリース列の存在を決定することを確立すること。
• 射影的核を法とする相対的離散系列表現に適用可能な統一的枠組みを提供すること。これには非ノルムの指数的群も含まれる。

提案手法

• 表現の行列係数から導かれる、格子軌道 π(Γ)g に関連する ℓ2(Γ) 上のねじれ畳み込み作用素 Cφ を分析する。
• von Neumann代数論を用いて、Cφ のスペクトル的性質をフレームまたはリース列条件に関連付ける。
• 群論的条件（B(G) = Z(G)、G の局所連結性、Γ の相対コンパクト性）を課し、核 φ を簡略化する。
• 射影的核条件 Pπ = {e} を用いて、表現が射影的に忠実であり、核 φ が δe に比例することを保証する。
• Kirillov-Bernat対応を用いて、指数的リー群上での相対的離散系列表現を構成する。
• 非ノルムの指数的リー群（非自明な中心を有する）に対して条件を検証し、理論がノルムの場合に限らないことを示す。

実験結果

リサーチクエスチョン

• RQ1 単模群 G および離散系列表現 (π, Hπ) に対して、密度条件 vol(G/Γ)dπ ≤ 1 がフレーム π(Γ)g の存在を保証するための条件は何か？
• RQ2 フレーム／リース列基準におけるねじれ畳み込み作用素 Cφ が恒等作用素のスカラー倍に簡略化される条件は何か？
• RQ3 半単純群およびノルム群に既知の鋭い密度条件を、非自明な中心を有する指数的リー群へと拡張可能か？
• RQ4 射影的核 Pπ は畳み込み核 φ の構造をどのように決定するか？
• RQ5 非ノルムの指数的リー群において、密度条件がフレーム／リース列の存在に対して必要かつ十分である例は存在するか？

主な発見

• 単模群 G で B(G) = Z(G) かつ射影的核が自明な場合、ねじれ畳み込み作用素 Cφ は正確に Cφ = vol(G/Γ)dπ · Iℓ2 に等しい。
• これらの条件下で、密度条件 vol(G/Γ)dπ ≤ 1 がフレーム π(Γ)g の存在に十分である。
• 同様に、vol(G/Γ)dπ ≥ 1 がリース列 π(Γ)g の存在に十分である。
• この結果は、非ノルムを含むすべての指数的リー群の射影的離散系列に適用可能であり、5次元リー代数を用いた具体的な例で示されている。
• この枠組みは、射影的核を法とする相対的離散系列表現へと拡張可能であり、ノルム群の中心を法とする平方可積分表現などもカバーする。
• 非ノルムの場合に理論が空虚でないことが、非ノルムの指数的可解リー群に格子を構成することで示された。