[논문 리뷰] The Balian-Low theorem for locally compact abelian groups and vector bundles

Ulrik Enstad|arXiv (Cornell University)|2019. 05. 16.

Mathematical Analysis and Transform Methods참고 문헌 64인용 수 5

한 줄 요약

이 논문은 국소 컴act 아벨 군 위에서 잘 국소화된 가바르 기저의 존재에 대한 위상적 장벽을 규명하며, 바리안-로우 정리와 (G/Λ) × (Ĝ/Λ⊥) 위의 벡터 번들의 비자명성 간의 연결을 통해 이를 수행한다. 헤이젠베르크 모듈과 자크 변환이 힐버트 C*-모듈 동형사상으로서 기능함으로써, 바리안-로우 진술이 성립하는 것은 오직 해당 벡터 번들이 비자명할 때에만 성립하며, 이를 통해 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.

연구 동기 및 목표

• 시간-주파수 격자에 대한 위상적 불변량과의 연관성을 통해 국소 컴 pact 아벨 군에서 바리안-로우 정리가 성립하는 조건을 특성화하는 것.
• G = R^n 이외의 군으로 바리안-로우 정리를 확장하기 위해, 장벽을 (G/Λ) × (Ĝ/Λ⊥) 위의 벡터 번들의 비자명성으로 규명하는 것.
• 비가환 기하학의 관점에서 가바르 기저 이론을 재구성하기 위해 헤이젠베르크 모듈과 힐버트 C*-모듈을 사용하는 새로운 프레임워크를 수립하는 것.
• 비아르키메데스 군인 R × Qp에 대해 번들 이론 기반 기준을 적용하여 바리안-로우 정리를 증명하는 것.
• 자크 변환이 관련된 벡터 번들을 명시적으로 규명하는 힐버트 C*-모듈 동형사상으로서의 해석을 제시하는 것.

제안 방법

• G × Ĝ 에서의 격자 ∆ = Λ × Λ⊥ 에 대응하는 헤이젠베르크 모듈 E∆(G) 를 C*(∆) ≅ C(X) 위의 힐버트 C*-모듈로 간주하며, 여기서 X = (G/Λ) × (Ĝ/Λ⊥) 이다.
• 세르-스완 정리를 적용하여 X 위의 복소 벡터 번들의 연속 단면 모듈 Γ(EG,Λ) 와의 식별을 수행한다.
• 자크 변환 ZG,Λ 가 힐버트 C*-모듈 간의 동형사상임을 보이며, ZG,Λ : E∆(G) → Γ(EG,Λ) 라고 기록한다.
• 바리안-로우 진술을 EG,Λ 가 자명한가의 문제로 환원한다: 단일 생성자가 존재하는 것은 오직 번들이 자명할 때에만 성립한다.
• K-이론과 모리타 동치를 활용하여 단일 생성자의 존재성과 번들의 위상 기하학적 성질 간의 관계를 규명한다.
• 이 기준을 G = R × Qp 에 적용하여, 이 경우 EG,Λ 가 비자명하므로 바리안-로우 정리가 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 국소 컴 pact 아벨 군 G 와 그 격자 Λ ⊆ G 에 대해, 가바르 시스템 G(η, Λ × Λ⊥) 에서 바리안-로우 정리가 성립하는가?
• RQ2 창문이 S₀(G) 에 속하는 격자 Λ × Λ⊥ 에서 잘 국소화된 가바르 기저의 존재에 대한 위상적 장벽은 무엇인가?
• RQ3 시간-주파수 분석의 맥락에서 자크 변환이 힐버트 C*-모듈의 동형사상으로 어떻게 해석될 수 있는가?
• RQ4 비아르키메데스 군인 R × Qp 와 같은 군에 대해 바리안-로우 정리는 유효한가?
• RQ5 벡터 번들 EG,Λ 의 자명성과 헤이젠베르크 모듈 E∆(G) 의 단일 생성자 존재성 간의 관계는 무엇인가?

주요 결과

• 바리안-로우 진술이 (G, Λ) 에 대해 성립하는 것은 오직 (G/Λ) × (Ĝ/Λ⊥) 위의 벡터 번들 EG,Λ 가 비자명할 때에만 성립한다.
• 자크 변환은 헤이젠베르크 모듈 E∆(G) 와 EG,Λ 의 연속 단면 모듈 간의 C*-모듈 동형사상을 실현한다.
• 창문이 S₀(G) 에 속하는 격자 Λ × Λ⊥ 에서의 가바르 기저 존재성은 번들 EG,Λ 가 자명할 때에만 성립한다.
• G = R × Qp 에서 바리안-로우 정리를 증명하기 위해 EG,Λ 가 비자명함을 보여 이 정리가 성립함을 입증한다.
• 이전의 카니우스와 쿠티니오크의 정리들을 일반화하며, 군 G 가 컴 pact 생성이 아님을 가정하지 않고도 성립하도록 함으로써, 번들 이론적 방법을 통해 이 조건을 제거한다.
• 헤이젠베르크 모듈과 자크 변환을 통해 가바르 기저 이론과 벡터 번들 위상기하학 간의 새로운 이중성 관계를 수립한다.