[논문 리뷰] On sufficient density conditions for lattice orbits of relative discrete series

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

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)이면서 프로젝티브 핵심이 자명한 군의 경우, 조밀도 임계값이 프레임 또는 리에스 시퀀스의 존재를 결정함을 증명하는 것.
• 비노름군 지수 군을 포함한 상대적 이산 계열 표현에 적용 가능한 통합 프레임워크를 제공하는 것, 프로젝티브 핵심을 모odulo로 삼는다.

제안 방법

• 표현의 행렬 계수에서 유도된 격자 궤도 π(Γ)g에 관련된 ℓ2(Γ) 위의 트위스티드 컨볼루션 연산자 Cφ를 분석한다.
• 바나흐 대수 이론을 적용하여 Cφ의 스펙트럼 성질을 프레임 또는 리에스 시퀀스 조건과 연결한다.
• B(G) = Z(G), G의 국소 연결성, 또는 Γ의 코콤팩트성과 같은 군론적 조건을 도입하여 커널 φ를 단순화한다.
• 프로젝티브 핵심 조건 Pπ = {e}를 적용하여 표현이 프로젝티브로 충실함을 보장하고, 커널 φ가 δe에 비례하게 한다.
• 키릴로프-베르나르 코어스 pondence를 적용하여 지수 리 군에서 상대적 이산 계열 표현을 구성한다.
• 비노름군 지수 리 군에서 비자명한 중심을 가진 구체적인 예제를 검증하여, 이론이 노름군의 경우를 초월하여 적용 가능함을 보여준다.

실험 결과

연구 질문

• RQ1 비가역군 G와 이산 계열 표현 (π, Hπ)에 대해, vol(G/Γ)dπ ≤ 1 조건이 프레임 π(Γ)g의 존재에 대해 충분한 조건이 되는 조건은 무엇인가?
• RQ2 프레임/리에스 시퀀스 기준에서 트위스티드 컨볼루션 연산자 Cφ가 언제 스칼라 배수의 항등원으로 줄어드는가?
• RQ3 반단순군과 노름군에서의 날카운 조밀도 조건을 중심이 비자명한 지수 리 군으로 확장할 수 있는가?
• RQ4 프로젝티브 핵심 Pπ는 컨볼루션 커널 φ의 구조를 어떻게 결정하는가?
• RQ5 비노름군 지수 리 군에서 조밀도 조건이 프레임/리에스 시퀀스 존재에 대해 필수적이고 충분한가?

주요 결과

• B(G) = Z(G)이면서 프로젝티브 핵심이 자명한 비가역군 G에 대해, 트위스티드 컨볼루션 연산자 Cφ는 정확히 Cφ = vol(G/Γ)dπ · Iℓ2로 표현된다.
• 이 조건 하에서 vol(G/Γ)dπ ≤ 1 조건은 Hπ 내에서 프레임 π(Γ)g의 존재에 대해 충분하다.
• 유사하게, vol(G/Γ)dπ ≥ 1 조건은 Hπ 내에서 리에스 시퀀스 π(Γ)g의 존재에 대해 충분하다.
• 이 결과는 중심이 비자명한 지수 리 군의 모든 프로젝티브 이산 계열 표현에 적용되며, 5차원 리 대수의 구체적 예제를 통해 적용 가능함이 입증되었다.
• 이 프레임워크는 프로젝티브 핵심을 모odulo로 삼는 상대적 이산 계열 표현으로까지 확장되며, 노름군의 중심을 모odulo로 하는 정사각형 적분 가능한 표현의 경우를 포함한다.
• 비노름군의 경우에도 이론이 공집이 아니며, 요구 조건을 충족하는 비노름군 지수 가환 리 군에서의 격자 구성 예시를 통해 이를 입증하였다.