[논문 리뷰] Strong approximation methods in group theory, an LMS/EPSRC Short course lecture notes

Nikolay Nikolov|ArXiv.org|2008. 03. 28.

Finite Group Theory Research참고 문헌 7인용 수 5

한 줄 요약

이 논문은 특성 0인 체 위의 선형군에 대한 강한 근사 방법의 기초를 제시하며, Lubotzky의 대안을 중심으로 다룬다: 유한 생성 선형군은 유한 지배적 가환군이거나 절대 단순 대수군의 산술 부분군에서 유래한다. 주요 기여는 프로파인 완비화의 연구를 유한 단순 리 군 유형을 통해 가능하게 하는 구조적 이분법이다.

ABSTRACT

These are the lecture notes for the LMS/EPSRC short course on strong approximation methods in linear groups organized by Dan Segal in Oxford in September 2007.

연구 동기 및 목표

• 특성 0인 체 위의 유한 생성 선형군에 대한 구조적 이분법을 수립하기 위해.
• 선형군의 프로파인 완비화를 이해하기 위한 강한 근사 기법을 개발하기 위해.
• 군의 구조와 산술군을 연결하는 중심 결과로서 Lubotzky의 대안을 증명하기 위해.
• 자리스키 폐쇄와 산술 부분군을 통해 대수기하학과 수론을 선형군에 적용하기 위해.
• 산술군의 합동 몫을 통한 선형군의 유한 몫이 어떻게 유도되는지 보여주기 위해.

제안 방법

• GL_n(K)에서 선형군의 자리스키 폐쇄를 사용하여 그 대수적 구조를 분석하기 위해.
• 강한 근사 정리를 적용하여 단순 연결, 절대 단순 대수군의 산술 부분군이 거의 모든 소수 모듈로에서 조밀한 이미지를 가짐을 보여주기 위해.
• 유니포텐트 라디칼, 도출군, 재구성 분해 등을 포함한 대수군 이론을 활용하기 위해.
• 널슈텐사츠와 체인블 셋을 사용하여 대수기하학을 군 이론적 성질과 연결하기 위해.
• Mal’cev–Platonov 및 리–콜린 정리를 적용하여 유한 지배적 가환 부분군과 삼각화 가능성 분석하기 위해.
• 프로파인 완비화와 합동 몫의 구조를 이용하여 부분군 성장과 부분군 구조를 유추하기 위해.

실험 결과

연구 질문

• RQ1 유한 생성 선형군이 유한 지배적 가환군이 되지 않는 조건은 무엇인가?
• RQ2 산술군의 합동 몫은 선형군의 프로파인 구조를 어떻게 반영하는가?
• RQ3 선형군의 자리스키 폐쇄는 그 유한 몫을 어떻게 결정하는가?
• RQ4 다항식 부분군 성장성을 갖는 선형군이 반드시 유한 지배적 가환군이 되는 경우는 언제인가?
• RQ5 선형군이 리 유형의 유한 단순군으로 사영되도록 보장하는 조건은 무엇인가?

주요 결과

• Lubotzky의 대안이 성립한다: 특성 0인 체 위의 유한 생성 선형군은 유한 지배적 가환군이거나 단순 연결, 절대 단순 대수군의 산술 부분군에서 유래한다.
• 이러한 산술군에 대해 강한 근사 정리에 의해, 합동 몫 G(Z_S)는 거의 모든 소수 p에 대해 G(F_p)의 곱에 전사함을 보일 수 있다.
• 유한 개의 소수를 제외한 거의 모든 소수 p에 대해 G(F_p)는 고정된 리 유형의 유한 단순군의 곱에 대한 완전한 중심 확장이다.
• 만약 선형군이 다항식 부분군 성장을 갖는다면, Lubotzky의 대안의 (b)의 경우는 불가능하므로 그 군은 반드시 유한 지배적 가환군이어야 한다.
• 리–콜린 정리에 의해, 특성 0인 대수적으로 닫힌 체 위의 유한 지배적 가환 선형군은 차수 n에만 의존하는 유계 인덱스의 삼각화 가능 부분군을 갖는다.
• 특성 0인 체 위의 차수 n인 유한 지배적 가환 선형군의 계열에 잔여적으로 존재하는 유한 생성 군은 스스로 유한 지배적 가환군이다.