[논문 리뷰] Developments on the congruence subgroup problem after the work of Bass, Milnor and Serre

Gopal Prasad, Andrei S. Rapinchuk|ArXiv.org|2008. 09. 09.

Finite Group Theory Research참고 문헌 44인용 수 30

한 줄 요약

이 논문은 Bass, Milnor, Serre의 기초적 작업 이후 선형 대수적 군에 대한 합동부분군 문제의 발전을 조망한다. S-산술군의 유계 생성이 S-합동부분군 핵의 유한성(따라서 중심성)을 암시함으로써, 직접 계산이 어려운 경우에 합동부분군 성질을 증명하는 데 새로운 길을 제시한다.

ABSTRACT

In this survey article we give an overview of the developments on the congruence subgroup and the metaplectic problems after the work of Bass, Milnor and Serre.

연구 동기 및 목표

• Bass, Milnor, Serre의 획기적인 작업 이후 선형 대수적 군에 대한 합동부분군 문제의 진전을 조망하는 것.
• 특히 유계 생성과 같은 현대적 결과 및 기법이 이전의 결과들을 어떻게 통합하고 일반화하는지 명확히 하는 것.
• 특히 S-산술군의 유계 생성을 통해 S-합동부분군 핵이 유한해지는 조건을 조사하는 것.
• 비분해성 및 비분할 군으로의 합동부분군 성질의 확장을 둘러싼 열린 문제들과 남아 있는 과제를 식별하는 것.
• 유계 생성을 통해 K-이론, 표현 이론, Kazhdan의 성질 (T) 등의 광범위한 분야와 합동부분군 문제를 연결하는 것.

제안 방법

• S-산술군의 S-산술 위상과 S-합동 위상을 사용하여 합동부분군 문제를 이 두 위상의 동일성으로 재구성한다.
• S-합동부분군 핵을 S-산술군의 프로피니트 완비화 사이의 자연스러운 연속 준동형사상의 핵으로 정의한다.
• 프로피니트 군의 유계 생성 이론을 적용하여 S-합동부분군 핵의 구조를 분석한다.
• 특히 Carter-Keller 및 Tavgen의 결과를 활용한 대수적 K-이론과 군 코hom로지 기법을 사용한다.
• 특정 경우에서의 유계 생성을 확인하기 위해 조합론적 군 이론과 기본 행렬의 교환관계를 활용한다.
• 특정 설정에서 유계 생성이 표현의 강성과 Kazhdan의 성질 (T)을 암시함을 보이기 위해 p-진 군 이론과 표현 이론의 결과를 적용한다.

실험 결과

연구 질문

• RQ1 국소체 k 위의 단순형 대수적 군 G에 대해, S-합동부분군 핵 C^S(G)가 유한해지는 조건은 무엇인가?
• RQ2 S-산술군 G(O_S)의 유계 생성이 합동부분군 성질을 위한 충분조건으로 사용될 수 있는가?
• RQ3 G(O_S)가 유계 생성이며 따라서 C^S(G)가 유한한 k-비분해성 군의 예는 무엇이 있는가?
• RQ4 대수적 정수의 환 또는 Z[x]와 같은 다항식 환 R에 대해 SL_n(R)에서의 유계 생성 성질을 확립할 수 있는가?
• RQ5 유계 생성은 이산 선형군에서 Kazhdan의 성질 (T)과 표현의 강성과 어떻게 관련되는가?

주요 결과

• S-산술군 Γ = G(O_S)의 프로피니트 완비화의 유계 생성은 S-합동부분군 핵 C^S(G)가 유한함을 암시한다.
• k-랭크가 1 초과인 수체 위의 절대적으로 단순형 단순연결 군 G에 대해, Γ의 유계 생성은 합동부분군 성질을 암시한다.
• S-산술군이 프로피니트 군으로서 유계 생성될 때에만 S-합동부분군 핵 C^S(G)가 자명하다(즉, 합동부분군 성질이 성립한다).
• 이 결과는 분할형, 준분할형, 그리고 일부 정규직교군(예: n ≥ 5이고 위트 지수 ≥ 2 또는 비아르키메데스 성질이 S에 포함된 경우의 SO(f))로까지 확장된다.
• SL_n(O_S), n ≥ 3에 대해 기본 행렬에 의한 유계 생성은 합동부분군 핵의 유한성을 암시하며, 이는 교환관계를 통해 검증할 수 있다.
• 유계 생성 성질은 표현의 강성을 암시하고, Shalom의 연구에 따라 Kazhdan의 상수를 추정하는 데에도 기여한다.