[논문 리뷰] Commensurated subgroups of arithmetic groups, totally disconnected groups and adelic rigidity

Yehuda Shalom, George A. Willis|ArXiv.org|2009. 11. 10.

Advanced Algebra and Geometry참고 문헌 37인용 수 4

한 줄 요약

이 논문은 외부 동치정규화자 성질을 도입하여 고차원 $S$-산술군에서의 아델릭 강성(adelic rigidity)을 확립한다. 이를 통해 고차원 $S$-산술군에서의 동치정규화된 부분군이 거의 정규임을 증명한다. 특성 0에서 마르게리스-짐머 동치정규화된 부분군 문제를 긍정적으로 해결하며, 모든 이러한 부분군이 표준적 또는 유한함을 보이고, 국소-글로벌 원리에 의해 초강성과 데일리그의 중심 확장과 연결한다.

ABSTRACT

Investigations into and around a 30-year old conjecture of Gregory Margulis and Robert Zimmer on the commensurated subgroups of S-arithmetic groups.

연구 동기 및 목표

• 고차원 $S$-산술군에서 특성 0에서 마르게리스-짐머 동치정규화된 부분군 문제(CmSP)를 해결하기 위해.
• 강력한 고정점 성질—외부 동치정규화자-정규화자 성질—을 확립하여 CmSP를 마르게리스의 정규부분군 정리로 간주하는 데에 기여한다.
• CmSP를 준위-군 문제(CSP)와 초강성으로 통합하기 위해, 대수적 군의 중심 확장으로의 호모모르피즘에 대한 국소-글로벌 원리를 제시한다.
• 특히 유한 첨수 부분군에서 $S$-산술군이 완전 중심 확장으로 올라가는 조건을 결정하는 데 데일리그의 중심 확장이 어떻게 작용하는지 명확히 한다.
• 연결된 국소적으로 동형인 군으로의 비자명한 호모모르피즘 존재 여부를 $\tilde{G}^{(nc)}_\rho$의 구조를 통해 판단하는 기준을 제공한다.

제안 방법

• 내부 성질의 동치정규화에 안정적인 강화된 성질인 외부 동치정규화자-정규화자 성질을 도입하여, 임의의 호모모르피즘 하에서 동치정규화된 부분군이 거의 정규화됨을 보장한다.
• 마르게리스의 정규부분군 정리를 블랙박스로 사용하여 CmSP를 $S$-산술군에서 외부 성질이 성립함을 보이는 것으로 환원한다.
• 초강성과 사영화 기법을 적용하여 $S$-산술군에서 국소군 $G_v = \bf G(K_v)$의 곱의 중심 확장으로의 호모모르피즘을 분석한다.
• 데일리그의 $K$-유리점 위에서의 대수적 군 중심 확장을 이용하여, 올림 장애와 분할 조건을 분석한다.
• 논문 7.8의 보조정리에서 유도된 $\tilde{G}^{(nc)}_\rho$의 구조를 활용하여 주어진 중심 확장이 $S$-산술군의 비자명한 올림을 허용하는지 판단한다.
• 비자명한 호모모르피즘이 $H$로 존재하는 것과 $H$가 $\tilde{G}^{(nc)}_\rho$의 몫임은 동치임을 증명하여, CmSP와 CSP를 국소-글로벌 원리로 통합한다.

실험 결과

연구 질문

• RQ1 고차원 $S$-산술군 $Γ$의 모든 동치정규화된 부분군은 표준적 $S'$-산술 부분군이거나 유한한가?
• RQ2 외부 동치정규화자-정규화자 성질이 $S$-산술군에서 성립하는가? 이 성질은 첨수 유한 부분군에서도 안정적인가?
• RQ3 국소군 $G_v$의 곱의 중심 확장이 $S$-산술군의 비자명한 올림을 허용하는 조건은 무엇인가?
• RQ4 데일리그의 중심 확장은 특히 첨수 유한 부분군에서 $S$-산술군의 구조와 어떻게 상호작용하는가?
• RQ5 산술군에서 연결된 국소적으로 동형인 군으로의 호모모르피즘 존재 여부를 결정하는 정확한 국소-글로벌 대응관계가 존재하는가?

주요 결과

• 특성 0에서 마르게리스-짐머 동치정규화된 부분군 문제는 긍정적으로 해결되었다: 고차원 $S$-산술군의 모든 동치정규화된 부분군은 유한하거나 표준적이다.
• 외부 동치정규화자-정규화자 성질은 $S$-산술군에서 성립하며, 임의의 호모모르피즘 하에서 동치정규화된 부분군이 거의 정규화됨을 보장한다. 이 성질은 첨수 유한 부분군에서도 안정적이다.
• $\Gamma = SL_n(\mathbb{Z}[1/p])$에 대해, $\widetilde{SL_n(\mathbb{R})}$의 역상 $\tilde{\Gamma} < \widetilde{SL_n(\mathbb{R})}$의 첨수 유한 부분군은 중심이 없거나 잔여 유한하지 않지만, $SL_n(\mathbb{Z})$의 첨수 유한 부분군에서는 데일리그의 확장이 분할된다.
• $SL_n(\mathbb{Z})$의 첨수 유한 부분군 $\Gamma'$에서 중심 확장 $\pi: \widetilde{SL_n(\mathbb{R})} \to SL_n(\mathbb{R})$는 분할되며, 이는 $\tilde{\Gamma}'$가 거의 중심이 없고 잔여 유한하다는 것을 의미한다.
• $S$-산술군 $\Gamma$에서 연결된 국소적으로 동형인 군 $H$로의 비자명한 호모모르피즘이 존재하는 것은 $H$가 $\tilde{G}^{(nc)}_\Gamma$의 몫임과 동치이며, 이는 올림 장애와 존재성 사이의 정확한 이중성을 확립한다.