[論文レビュー] The Balian-Low theorem for locally compact abelian groups and vector bundles

Ulrik Enstad|arXiv (Cornell University)|May 16, 2019

Mathematical Analysis and Transform Methods参考文献 64被引用数 5

ひとこと要約

この論文は、局所コンパクトアーベル群上の良好に局在化されたガボールフレームの存在に対する位相的障害を、バリアン＝ロー定理とコンパクト商空間 (G/Λ) × (Ĝ/Λ⊥) 上のベクトル bundle の非自明性を結びつけることで確立する。ヘイゼンベルク加群と、ヒルベルト C*-加群同型としてのザック変換を用いて、バリアン＝ローの主張が成り立つのは、関連するベクトル bundle が非自明であるときであり、かつそのときに限ることを証明し、G = R × Qp に対してこの定理を適用する。

ABSTRACT

Let $\Lambda$ be a lattice in a second countable, locally compact abelian group $G$ with annihilator $\Lambda^{\perp} \subseteq \widehat{G}$. We investigate the validity of the following statement: For every $\eta$ in the Feichtinger algebra $S_0(G)$, the Gabor system $\{ M_{ au} T_{\lambda} \eta \}_{\lambda \in \Lambda, au \in \Lambda^{\perp}}$ is not a frame for $L^2(G)$. When $G = \mathbb{R}$ and $\Lambda = \alpha \mathbb{Z}$, this statement is a variant of the Balian-Low theorem. Extending a result of R. Balan, we show that whether the statement generalizes to $(G,\Lambda)$ is equivalent to the nontriviality of a certain vector bundle over the compact space $(G/\Lambda) imes (\widehat{G}/\Lambda^{\perp})$. We prove this equivalence using a connection between Gabor frames and Heisenberg modules. More specifically, we show that the Zak transform can be viewed as an isomorphism of certain Hilbert $C^*$-modules. As an application, we prove a new Balian-Low theorem for the group $\mathbb{R} imes \mathbb{Q}_p$, where $\mathbb{Q}_p$ denotes the $p$-adic numbers.

研究の動機と目的

• 時間周波数格子の位相的不変量と関連付けることで、局所コンパクトアーベル群におけるバリアン＝ロー定理が成り立つ条件を同定すること。
• G を R^n に制限せず、障害を (G/Λ) × (Ĝ/Λ⊥) 上のベクトル bundle の非自明性として同定することで、バリアン＝ロー定理を拡張すること。
• 非可換幾何学の文脈でガボールフレーム理論を再定式化するため、ヘイゼンベルク加群とヒルベルト C*-加群を用いた新しい枠組みを確立すること。
• 非アルキメデス的例である G = R × Qp に対して、バンドル理論的基準を用いてバリアン＝ロー定理を証明すること。
• ザック変換がヒルベルト C*-加群の同型であることを示し、関連するベクトル bundle を明示的に特定すること。

提案手法

• G × Ĝ に含まれる格子 ∆ = Λ × Λ⊥ に対して関連するヘイゼンベルク加群 E∆(G) を、C*(∆) ≅ C(X) 上のヒルベルト C*-加群として定義する。ここで X = (G/Λ) × (Ĝ/Λ⊥) である。
• セール＝スワンの定理を用いて、X 上の複素ベクトル bundle EG,Λ の連続的切断のモジュールを同定する。
• ザック変換 ZG,Λ がヒルベルト C*-加群の同型であることを示す：ZG,Λ : E∆(G) → Γ(EG,Λ)。
• バリアン＝ローの主張を、EG,Λ が自明であるかどうかの問題に還元する：単一生成加群であることは、バンドルが自明であることと同値である。
• K-理論とモリタ同値を用いて、単一生成子の存在をバンドルの位相と関連付ける。
• この基準を G = R × Qp に適用し、EG,Λ が非自明であることを示すことにより、この場合にバリアン＝ロー定理が成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 局所コンパクトアーベル群 G と格子 Λ ⊆ G に対して、ガボール系 G(η, Λ × Λ⊥) に対してバリアン＝ロー定理が成り立つのはどのような場合か？
• RQ2 S₀(G) に属する窓関数を用いた格子 Λ × Λ⊥ における良好に局在化されたガボールフレームの存在に対する位相的障害は何か？
• RQ3 時間周波数解析の文脈において、ザック変換をヒルベルト C*-加群の同型としてどのように解釈できるか？
• RQ4 R × Qp のような非アルキメデス的群に対してもバリアン＝ロー定理は成り立つか？
• RQ5 ベクトル bundle EG,Λ の自明性と、ヘイゼンベルク加群 E∆(G) の単一生成子の存在との関係は何か？

主な発見

• バリアン＝ローの主張が (G, Λ) に対して成り立つのは、(G/Λ) × (Ĝ/Λ⊥) 上のベクトル bundle EG,Λ が非自明であるときであり、かつそのときに限る。
• ザック変換はヘイゼンベルク加群 E∆(G) と EG,Λ の連続的切断のモジュールとの間の C*-加群同型を実装する。
• S₀(G) に属する窓関数を用いた格子 Λ × Λ⊥ におけるガボールフレームの存在は、バンドル EG,Λ の自明性と同値である。
• G = R × Qp に対して、EG,Λ が非自明であることを示すことにより、バリアン＝ロー定理が成り立つことを証明した。
• コンパクト生成であることを仮定する必要があったカニウスとクティニョクの以前の定理を、バンドル理論的手法によりこの仮定を除去することで一般化した。
• ヘイゼンベルク加群とザック変換を通じて、ガボールフレーム理論とベクトルバンドル位相の間の新しい双対性を確立した。