[논문 리뷰] Spectral analysis on standard locally homogeneous spaces

Fanny Kassel, Toshiyuki Kobayashi|arXiv (Cornell University)|2019. 12. 29.

Advanced Algebra and Geometry참고 문헌 44인용 수 5

한 줄 요약

이 논문은 표준적인 국소적으로 동형인 공간 $X_{\Gamma} = \Gamma\backslash G/H$ 위에서의 의사-리만 구조 라플라시안의 스펙트럼 분석과 재수성 군의 표현 이론 사이에 명시적인 대응 관계를 수립하며, $L_{\mathbb{C}}$-구면성 조건 하에서 본질적으로 자기수반성과 무한 이산 스펙트럼을 증명한다. 핵심 결과는 $X_{\Gamma}$ 위의 고유함수와 $G$-표현의 $L$-제한에 대한 분해 법칙 사이의 연관성을 밝힌다.

ABSTRACT

Let $X=G/H$ be a reductive homogeneous space with $H$ noncompact, endowed with a $G$-invariant pseudo-Riemannian structure. Let $L$ be a reductive subgroup of $G$ acting properly on $X$ and $Γ$ a torsion-free discrete subgroup of $L$. Under the assumption that the complexification $X_{\mathbb C}$ is $L_{\mathbb C}$-spherical, we prove an explicit correspondence between spectral analysis on the standard locally homogeneous space $X_Γ=Γ\backslash X$ and on $Γ\backslash L$ via branching laws for the restriction to $L$ of irreducible representations of $G$. In particular, we prove that the pseudo-Riemannian Laplacian on $X_Γ$ is essentially self-adjoint, and that it admits an infinite point spectrum when $X_Γ$ is compact or $Γ\subset L$ is arithmetic. The proof builds on structural results for invariant differential operators on spherical homogeneous spaces with overgroups.

연구 동기 및 목표

• 표준적인 국소적으로 동형 공간 $X_{\Gamma} = \Gamma\backslash G/H$ 와 $L_{\mathbb{C}}$-구면성 조건 하에서의 리만 공간 $\Gamma\backslash L$ 사이의 스펙트럼 대응을 수립하기.
• 의사-리만 라플라시안 $X_{\Gamma}$ 위에서 본질적으로 자기수반임을 증명하기.
• $X_{\Gamma}$ 가 컴act이거나 $\Gamma \subset L$ 가 산술적일 경우에 무한 이산 스펙트럼을 갖는다는 것을 보여주기.
• $X_{\Gamma}$ 의 이산 스펙트럼을 $G$-표현의 $L$-제한에 대한 분해 법칙과 연결하기.
• $X_{\Gamma}$ 위의 $L^2$-고유함수를 당김과 분포해를 통해 표현 이론적으로 묘사하기.

제안 방법

• $G$-불변 미분연산자 $\mathbb{D}_G(X)$ 와 그들의 당김 $p_\Gamma^*$ 를 통한 $X_\Gamma$ 위에 유도된 연산자 $D_\Gamma$ 의 사용.
• $\mathrm{Hom}_{\mathbb{C}\text{-alg}}(Z(\mathfrak{g}_\mathbb{C}), \mathbb{C})$ 에서의 전이 사상 $\boldsymbol{\lambda}$ 를 적용하여 $X_\Gamma$ 와 $\Gamma\backslash L$ 위의 고유값을 연결하기.
• $X_\mathbb{C}$ 의 $L_{\mathbb{C}}$-구면성 조건을 활용하여 불변 미분연산자에 대한 구조적 통제를 확보하기.
• 피터-웨일 정리와 하리쉬-찬드라 이산 시리즈를 활용하여 $\mathrm{Disc}(\Gamma\backslash L)$ 와 $\mathrm{Disc}(\Gamma\backslash G)$ 를 묘사하기.
• 분포해와 $L^2$-고유함수 공간 $\mathcal{F}(X_\Gamma; \mathcal{M}_\lambda)$ 의 정의 및 당김과 쌍대성에 의한 관련성 설정.
• $\mathbf{i}_{\tau,\Gamma}$ 와 $\mathbf{p}_{\tau,\Gamma}$ 사상들을 사용하여 스펙트럼 유형 $\mathbf{I}$ 와 $\mathbf{II}$ 를 유지하고, $X_\Gamma$ 와 $\Gamma\backslash L$ 을 연결하기.

실험 결과

연구 질문

• RQ1 의사-리만 라플라시안 $X_\Gamma = \Gamma\backslash G/H$ 위에서 본질적으로 자기수반일 조건은 무엇인가?
• RQ2 $X_\Gamma$ 가 컴팩트이거나 $\Gamma \subset L$ 가 산술적일 경우에 무한 이산 스펙트럼을 갖는 조건은 무엇인가?
• RQ3 $X_\Gamma$ 의 이산 스펙트럼을 $G$-표현의 $L$-제한에 대한 분해 법칙으로 어떻게 묘사할 수 있는가?
• RQ4 $X_\Gamma$ 위의 $L^2$-고유함수와 리만 공간 $\Gamma\backslash L$ 위의 고유함수 사이의 정확한 대응 관계는 무엇인가?
• RQ5 $X_\Gamma$ 위의 스펙트럼 유형 $\mathbf{I}$ 와 $\mathbf{II}$ 는 표현 이론적 전이를 통해 $\Gamma\backslash L$ 위의 해당 유형과 어떻게 관련되는가?

주요 결과

• 의사-리만 라플라시안 $\square_{X_\Gamma}$ 는 $C^\infty_c(X_\Gamma)$ 위에서 본질적으로 자기수반이다.
• $X_\Gamma$ 가 컴팩트이거나 $\Gamma \subset L$ 가 산술적일 경우, $X_\Gamma$ 는 무한 이산 스펙트럼을 갖는다.
• 전이 사상 $\boldsymbol{\lambda}$ 를 통해 $X_\Gamma$ 의 이산 스펙트럼과 $\Gamma\backslash L$ 의 이산 스펙트럼 사이에 명시적인 대응 관계가 존재한다.
• $L^2(X_\Gamma; \mathcal{M}_\lambda)$ 는 $L^2$-고유함수의 공간이 비자명할 조건은 $\lambda$ 가 $L$-제한이 이산 시리즈 표현을 포함하는 $G$-표현에 대응할 때이다.
• $X_\Gamma$ 위의 스펙트럼 유형 $\mathbf{I}$ 와 $\mathbf{II}$ 는 사상 $\mathbf{i}_{\tau,\Gamma}$ 와 $\mathbf{p}_{\tau,\Gamma}$ 를 통해 유지되며, 이는 $\Gamma\backslash L$ 위의 해당 유형과 연결된다.
• $X_\Gamma$ 의 이산 스펙트럼은 $\Gamma\backslash L$ 에서의 $L^2$-고유함수의 당김을 통해 묘사되며, $\overline{q_\Gamma^* f} \in \bigoplus_{\pi \in i(\nu)} W_\pi$ 는 $f \in L^2(X_\Gamma, \mathcal{V}_\tau; \mathcal{N}_\nu)_i$ 를 특징짓는다.