[논문 리뷰] Quasi-isometric rigidity of non-cocompact S-arithmetic lattices

Kevin Wortman|arXiv (Cornell University)|2005. 04. 11.

Advanced Topics in Algebra인용 수 1

한 줄 요약

이 논문은 비코초프랙트 S-산술군의 준등거리 분류를 완성하여, 이러한 군들이 동일한 수체 위의 동일한 대수군에서 유래하고 무한원이 같은 집합을 가질 때에만 준등거리임을 증명한다. 이 결과는 특성 0인 국소적으로 컴팩트인 체 위의 단순 리군에서의 S-산술 격자에 대한 최종 강성 정리를 확립하며, 기하군론과 기하강성 이론에서 오랫동안 남아있던 분류 문제를 해결한다.

ABSTRACT

Throughout we let K be an algebraic number field, VK the set of all inequivalent valuations on K, and V ∞ K ⊆ VK the subset of archimedean valuations. We will use S to denote a finite subset of VK that contains V ∞ K, and we write the corresponding ring of S-integers in K as OS. In this paper, G will always be a connected non-commutative absolutely simple algebraic K-group. Any group of the form G(OS) is called an S-arithmetic group. For example, if m ∈ N, then PGLn(Z[1/m]) is an S-arithmetic group. The purpose of this paper is to complete the quasi-isometric classification of non-cocompact S-arithmetic groups that was begun by Schwartz, Farb, Eskin, and Taback. This is the final step in classifying up to quasi-isometry all of the lattices in semisimple Lie groups over nondiscrete locally compact fields of characteristic 0. Specifically, we show: Main Result. If G(OS) is a non-cocompact S-arithmetic group that is not

연구 동기 및 목표

• Schwartz, Farb, Eskin, Taback가 시작한 비코초프랙트 S-산술군의 준등거리 분류를 완성하기 위해.
• 특성 0인 이산적이지 않은 국소적으로 컴팩트한 체 위의 단순 리군에서의 격자에 대한 최종 강성 결과를 확립하기 위해.
• 비코초프랙트 S-산술군 두 개가 언제 준등거리인지, 그들의 대수적 및 산술적 자료에 기반하여 파악하기 위해.
• 이전의 준등거리 강성 결과를 비코초프랙트 경우로 확장하여 분류 프로그램에서 주요 격차를 메우기 위해.

제안 방법

• 수체 K 위의 연결된 비가환 절대 단순 대수군 G에 대해 S-산술군 G(OS)의 구조를 이용한다.
• 특히 대칭 공간과 빌딩 위에서 S-산술군의 작용을 활용하여 준등거리 강성의 기하학적 방법을 적용한다.
• 수체에서의 전역체 위의 대수군 이론과 수체에서의 S-정수의 분류를 이용하여 군의 준등거리 유형을 분석한다.
• 집합 S가 모든 아르키메데스 장을 포함하고 있음을 바탕으로, S-산술군이 비코초프랙트이므로 기하학적 분류에 적합하다는 점을 이용한다.
• 관련 리만 기하학적 및 유클리드 빌딩의 구조와 함께 대칭 공간의 강성을 이용하여 준등거리 유형을 구분한다.
• S-산술군과 그 준등거리 불변량(예: 랭크 및 루트 시스템 자료 포함)의 이론적 결과를 적용한다.

실험 결과

연구 질문

• RQ1 두 비코초프랙트 S-산술군이 언제 준등거리인가?
• RQ2 어떤 대수적 및 산술적 불변량이 비코초프랙트 S-산술군의 준등거리 유형을 결정하는가?
• RQ3 S에 모든 아르키메데스 장이 포함될 경우 준등거리 분류에 어떤 영향을 미치는가?
• RQ4 비코초프랙트 경우에서 S-산술군의 준등거리 강성이 완전히 특징지어질 수 있는가?
• RQ5 G의 절대 단순성과 비가환성은 분류에 어떤 역할을 하는가?

주요 결과

• 두 비코초프랙트 S-산술군 G(OS)와 G'(OS')는 동일한 수체 K 위의 동일한 대수군 G에서 유래하고, 모든 아르키메데스 장을 포함하는 동일한 집합 S를 가질 때에만 준등거리이다.
• 비코초프랙트 S-산술군의 준등거리 유형은 군 G와 집합 S에 의해 완전히 결정되며, 특히 무한원의 집합에 의해 결정된다.
• 이 결과는 특성 0인 이산적이지 않은 국소적으로 컴팩트한 체 위의 단순 리군에서의 모든 격자를 준등거리에 대해 완전히 분류한다.
• 증명은 추가적인 준등거리 불변량이 G와 집합 S에 의해 포괄된 것 이외에는 존재하지 않음을 입증한다.
• 비코초프랙트 경우는 코초프랙트 경우와 동일한 방식으로 강성함이 입증되지만, 기하학적 및 산술적 제약 조건이 다름을 보였다.
• 최종 분류는 기하군론, 대수군론, 수론의 융합을 통해 달성되었다.