[논문 리뷰] Discrete Components of Some Complementary Series (II)

T. N. Venkataramana B. Speh|arXiv (Cornell University)|2009. 05. 19.

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

한 줄 요약

이 논문은 $SO(n,1)$의 보완적 계열 표현이 코homological 표현에 가까워질 경우, $SO(n-1,1)$의 해당 보완적 계열 표현을 이산적으로 포함함을 증명한다. 이는 코homological 차수 $i \leq m/2$일 때 성립한다. 그 결과로, $SO(n,1)$의 코homological 표현이 차수 $i$일 경우, $i \leq m/2$일 때 $SO(m,1)$의 코homological 표현을 이산적으로 포함하며, 이 결과는 베르게론의 자동형 형태에서 스펙트럴 갭에 관한 추측을 온건한 코homological 표현의 경우로 축소시킨다.

ABSTRACT

We show that complementary series of SO(n,1) which are sufficiently close to a cohomological representation in the Fell topology, upon restriction to SO(n-1,1), contain discretely, complementary series for SO(n-1,1) which are also sufficiently close to cohomological representations. As a global application, we show that if the non-zero eigenvalues of the Laplacian for differential forms of middle degree on congruence quotients of the hyperbolic n-space remain bounded away from zero (for all even n), then nonzero eigenvalues of the Laplacian on forms of arbitrary degree remain bonded away from zero; this reduces conjectures of Clozel and Bergeron to the case of middle degree forms.

연구 동기 및 목표

• 특정 매개변수 조건 하에서 $SO(n,1)$의 보완적 계열 표현 내부에 $SO(n-1,1)$의 보완적 계열 표현이 이산적으로 발생함을 증명하기.
• $SO(n,1)$의 코homological 표현이 차수 $i$일 경우, $i \leq m/2$일 때 $SO(m,1)$의 코homological 표현을 이산적으로 포함함을 증명하기.
• 전역적으로 결과를 적용하여, 온건한 코homological 표현이 보완적 계열의 극한이 아니면, 비온건한 코homological 표현이 $G$의 자동형 이중에서 고립됨을 보여주기.
• 베르게론의 자동형 형태에서 스펙트럴 갭에 관한 추측을 온건한 코homological 표현의 경우로 축소하기.

제안 방법

• normalized induction를 사용하여 $G = SO(n,1)$에 대해 보완적 계열 표현 $\widehat{\pi_u(i)} = \mathrm{Ind}_P^G(\wedge^i \otimes \rho_P(a)^u)$를 정의한다.
• 매개변수 $u' = \frac{(n-1)u - 1}{n-2}$를 사용하여 $H = SO(n-1,1)$에 대해 관련된 보완적 계열 $\widehat{\sigma_{u'(i)}}$를 방정식 유도를 통해 구성한다.
• Schwartz 공간 기법과 $W' \times \mathbb{R}$ 위의 푸리에 분석을 사용하여 $\widehat{\pi_u(i)}$의 $H$로의 제약을 분석한다.
• Burger-Sarnak 방법을 적용하여 표현론적 결과를 국소 대칭 공간에서 라플라시안 고유값의 스펙트럴 갭과 연결한다.
• 첨수 변환 $J^*$와 제약 사상 $\mathrm{res}$를 사용하여 $\mathcal{A}_H \circ J^* = \mathrm{res} \circ \mathcal{A}_G$를 증명함으로써 등변성과 연속성을 보인다.
• A-표현 이론과 보완적 계열의 극한 이론을 적용하여, $u \to 1 - \frac{2i}{n-1}$의 극한에서 이산 분해를 유도한다.

실험 결과

연구 질문

• RQ1 보완적 계열 표현이 $SO(n,1)$의 표현일 때, 어떤 조건에서 $SO(n-1,1)$의 보완적 계열 표현을 이산적으로 포함하는가?
• RQ2 $SO(n,1)$의 코homological 표현 $A_i(n)$이 $i \leq (n-1)/2$일 때, $SO(n-1,1)$의 코homological 표현 $A_i(n-1)$을 이산적으로 포함하는가?
• RQ3 베르게론의 자동형 형태에서 균일한 스펙트럴 갭에 관한 추측을 온건한 코homological 표현의 경우로 축소시킬 수 있는가?
• RQ4 보완적 계열 표현의 매개변수 $u$와 $u'$ 사이의 정확한 관계는 무엇인가? 이는 각각 $SO(n,1)$과 $SO(n-1,1)$에 대응한다.
• RQ5 보완적 계열 표현이 부분군으로의 제약을 완비화 수준에서 어떻게 행동하는가? 그리고 왜 $K$-유한 벡터 수준에선 포함이 실패하는가?

주요 결과

• $\frac{1}{n-1} < u < 1 - \frac{2i}{n-1}$일 경우, $SO(n-1,1)$의 보완적 계열 표현 $\widehat{\sigma_{u'(i)}}$는 $SO(n,1)$의 표현 $\widehat{\pi_u(i)}$의 제약 내부에 이산적으로 발생한다.
• $u \to 1 - \frac{2i}{n-1}$일 때, 매개변수 $u'$는 $1 - \frac{2i}{n-2}$로 수렴하며, 이는 $SO(n,1)$과 $SO(n-1,1)$의 보완적 계열 극한 간의 연결을 보여준다.
• $SO(n,1)$의 코homological 표현 $A_i(n)$이 차수 $i$일 경우, $i \leq \lfloor n/2 \rfloor - 1$일 때, $SO(n-1,1)$의 코homological 표현 $A_i(n-1)$을 이산적으로 포함한다.
• 귀납적으로, $SO(2i,1)$의 이산 계열 표현 $A_i(2i)$는 $SO(2i,1)$의 코homological 표현 $A_i$에 이산적으로 포함된다.
• 온건한 코homological 표현이 $G$의 자동형 이중에서 보완적 계열의 극한이 아니면, 모든 비온건한 코homological 표현은 자동형 이중에서 고립된다.
• 결과적으로, 베르게론의 추측은 하이퍼볼릭 공간의 교차 몫에서 라플라시안 고유값의 스펙트럴 갭에 대해, 온건한 코homological 표현의 경우로 축소된다.