[논문 리뷰] Division Algebras and Non-Commensurable Isospectral Manifolds

Alexander Lubotzky, Beth Samuels외 1명|ArXiv.org|2005. 01. 05.

Advanced Algebra and Geometry참고 문헌 17인용 수 12

한 줄 요약

이 논문은 $F = \mathbb{R}$ 또는 $\mathbb{C}$ 이고 $d \geq 3$ 인 $\mathrm{PGL}_d(F)$ 에서, 임의로 큰 수의 컴acts, 등스펙트럴, 비공통분모인 국소적으로 대칭인 다양체의 가닥이 존재함을 보여준다. 이 구성은 동일한 분할 집합을 가지지만 서로 다른 불변량을 가진 분할 대수에서 유도된 산술 격자에 기반하며, $L^2$-공간의 표현론적 동형을 활용하여 등스펙트럴성을 확보하면서도 공통분모를 피한다.

ABSTRACT

A. Reid showed that if $Γ_1$ and $Γ_2$ are arithmetic lattices in $G = \operatorname{PGL}_2(\mathbb R)$ or in $\operatorname{PGL}_2(\mathbb C)$ which give rise to isospectral manifolds, then $Γ_1$ and $Γ_2$ are commensurable (after conjugation). We show that for $d \geq 3$ and ${\mathcal S} = \operatorname{PGL}_d(\mathbb R) / \operatorname{PGO}_d(\mathbb R)$, or ${\mathcal S} = \operatorname{PGL}_d(\mathbb C) / \operatorname{PU}_d(\mathbb C)$, the situation is quite different: there are arbitrarily large finite families of isospectral non-commensurable compact manifolds covered by $\mathcal S$. The constructions are based on the arithmetic groups obtained from division algebras with the same ramification points but different invariants.

연구 동기 및 목표

• 랭크 2와 랭크 2 이상에서의 등스펙트럴 다양체 간의 대비를 해결한다. $\mathrm{PGL}_2(\mathbb{R})$ 와 $\mathrm{PGL}_2(\mathbb{C})$ 에서는 공통분모가 강제되지만, 높은 랭크에서는 그렇지 않다.
• 랭크 $d \geq 3$ 에서 대칭 공간 $\mathcal{S} = \mathrm{PGL}_d(F)/K$ 를 덮는 등스펙트럴이고 비공통분모인 컴팩트 다양체의 명시적 가닥을 구성한다.
• 일般적으로 공통분모인 등스펙트럴 다양체를 유도하는 수나다 방법이, 분할 대수 산술군을 통해 비공통분모 예제를 생성하도록 확장될 수 있음을 보여준다.
• 등스펙트럴성이 고랭크 대칭 공간에서 공통분모를 의미하지는 않음을 확립하여, 랭크 2 사례에서의 기대와 도전한다.

제안 방법

• 동일한 분할 집합을 가지지만 서로 다른 불변량을 가진 전역체 위의 분할 대수에서 산술 격자 $\Gamma_i$ 를 구성한다.
• $G$-모듈로서의 표현론적 동형 $\mathrm{L}^2(\Gamma_1 \backslash G) \cong \mathrm{L}^2(\Gamma_2 \backslash G)$ 를 이용하여 몫 다양체의 등스펙트럴성을 확보한다.
• 자기 동형군 $H_1, H_2 \leq H$ 가 동일한 쌍대류 클래스 교차를 가지는 갈로아 코버 $X_0 \to X$ 를 통해 수나다 방법을 적용한다.
• 환 $R_0$ 와 $R_{0,T}$ 위에서 합동 부분군 $G'_i(R_0, I)$ 를 정의하여 격자 구조를 제어하고 $L^2$-동형을 보장한다.
• $\mathrm{L}^2(\Lambda_1 \backslash G(F)) \cong \mathrm{L}^2(\Lambda_2 \backslash G(F))$ 를 $U^{(r)}J_i^0$ 로부터 구성된 이산 부분군 $\Lambda_i$ 에 대해 $[J_1 : J_1^0] = [J_2 : J_2^0]$ 를 만족하여 등스펙트럴성을 유도한다.
• $G'(\mathbb{A}) / \Delta_i G(F) U^{(r)} J_i^0$ 의 $i$ 에 대해 독립성을 활용하여 유도된 다양체의 $L^2$-동형을 확립한다.

실험 결과

연구 질문

• RQ1 랭크 $d \geq 3$ 인 고랭크 대칭 공간 $\mathrm{PGL}_d(F)/K$ 에서 등스펙트럴이고 비공통분모인 컴팩트 다양체를 구성할 수 있는가?
• RQ2 고랭크 국소적으로 대칭인 다양체에서 등스펙트럴성이 공통분모를 의미하는가? 랭크 2 사례에서 그렇듯이.
• RQ3 동일한 분할을 가지지만 서로 다른 불변량을 가진 분할 대수는 등스펙트럴이지만 비공통분모인 산술 격자를 유도할 수 있는가?
• RQ4 $\mathrm{L}^2(\Gamma_i \backslash G)$ 의 군 몫의 $L^2$-동형이 해당 다양체의 등스펙트럴성을 보장하는 데 충분한가?
• RQ5 서로 쌍대류가 동치인 부분군을 가지며 같은 쌍대류 클래스 교차 크기를 가진 비공轭 부분군을 통해 수나다 방법을 비공통분모 등스펙트럴 다양체를 생성하도록 수정할 수 있는가?

주요 결과

• 모든 $m \in \mathbb{N}$ 에 대해, $d \geq 3$ 인 $\mathrm{PGL}_d(F)$ 에서 $\Gamma_1, \dots, \Gamma_m$ 이라는 토르션-프리, 코컴팩트 산술 격자가 존재하여 몫 $\Gamma_i \backslash \mathcal{S}$ 는 등스펙트럴이다.
• 구성된 다양체는 상호 비공통분모이며, 두 다양체가 유한 시트의 공통 코어를 공유하지 않는다.
• 등스펙트럴성은 $G$-표현으로서의 $L^2$-공간 동형 $\mathrm{L}^2(\Gamma_i \backslash G) \cong \mathrm{L}^2(\Gamma_j \backslash G)$ 에 기반한다.
• 이 구성은 동일한 분할 집합을 가지지만 서로 다른 불변량을 가진 분할 대수에 기반하며, 비공轭 산술 격자를 유도한다.
• 이 방법은 $R_0$ 위에서 정의된 합동 부분군으로 일반화되며, 임의의 영이 아닌 이상 $I \lhd R_0$ 에 대해 $\mathrm{L}^2(G'_1(R_0,I) \backslash G(F)) \cong \mathrm{L}^2(G'_2(R_0,I) \backslash G(F))$ 를 보여주어 등스펙트럴성을 보장한다.
• 이 결과는 랭크 2에서 레이드의 정리와 뚜렷하게 대비되며, 등스펙트럴 산술 격자는 반드시 공통분모여야 한다.