[논문 리뷰] Bounded generation of SL(n,A) (after D. Carter, G. Keller and E. Paige)

Dave Witte Morris|ArXiv.org|2005. 03. 05.

Advanced Topics in Algebra참고 문헌 22인용 수 19

한 줄 요약

이 논문은 수체의 정수환(또는 그 국소화) 위에서 특수선형군에서의 유계 생성에 관해 캐터, 켈러, 페이지가 발표하지 않은 연구를 제시한다. $ n \geq 3 $ 이거나 $ n = 2 $ 이면서 환에서 유니트가 무한히 많을 경우, 기본 행렬들이 $ \mathrm{SL}(n,A) $ 의 유한지수부분군을 유계로 생성하며, 일반적으로 어떤 비스칼라 행렬의 코너지이 유계로 생성하는 부분군은 정규유한지수부분군이 된다.

ABSTRACT

We present unpublished work of D.Carter, G.Keller, and E.Paige on bounded generation in special linear groups. Let n be a positive integer, and let A = O be the ring of integers of an algebraic number field K (or, more generally, let A be a localization O_S.) If n = 2, assume that A has infinitely many units. We show there is a finite-index subgroup H of SL(n,A), such that every matrix in H is a product of a bounded number of elementary matrices. We also show that if T is in SL(n,A), and T is not a scalar matrix, then there is a finite-index, normal subgroup N of SL(n,A), such that every element of N is a product of a bounded number of conjugates of T. For n > 2, these results remain valid when SL(n,A) is replaced by any of its subgroups of finite index.

연구 동기 및 목표

• 수체의 정수환(또는 국소화)인 환 $ A $ 에 대해 $ n = 2 $ 인 경우 단위군 조건이 만족될 때 $ \mathrm{SL}(n,A) $ 의 유계 생성을 확립한다.
• $ n \geq 3 $ 에서의 유계 생성 결과를 $ n = 2 $ 로 확장하며, 이 경우 $ A $ 가 무한히 많은 단위를 가져야 한다는 조건이 필요하다.
• $ \mathrm{SL}(n,A) $ 내의 어떤 비스칼라 행렬의 코너지가 유한지수정규부분군을 유계로 생성함을 보인다.
• $ n \geq 3 $ 인 경우, 모델이론적 및 대수적 기법을 사용하여 $ \mathrm{SL}(n,A) $ 의 유한지수부분군으로의 유계 생성을 일반화한다.
• 안정 범위 조건 하에서 보편 메니크 군이 유한함을 증명함으로써, 콪팩티스리티 추론을 통해 유계 생성 결과를 전이함을 보인다.

제안 방법

• 유한 몫군으로부터 전체 군으로의 유계 생성 성질을 전이하기 위해 일阶논리와 콤팩티스 정리의 사용.
• $ \mathrm{SL}(n,A) $ 와 그 기본부분군의 구조를 제어하기 위해 안정 범위 조건 $ \mathsf{SR}_m $ 의 적용.
• $ \mathrm{SL}(n,A) $ 와 그 몫군의 구조 분석을 위해 메니크 기호와 보편 메니크 군의 활용.
• 특수해석학을 활용하여 수체환의 맥락에서 $ \mathrm{SL}(n,A) $ 의 유계 생성을 분석한다.
• 대수적 수론의 결과, 예를 들어 클래스군의 유한성과 단위군의 구조를 활용하여 $ A $ 에 대한 조건을 검증한다.
• 콤팩티스리티와 이상이론을 사용하여 $ \mathrm{SL}(2,A) $ 의 유계 생성을 $ \mathrm{SL}(2,A;\mathfrak{q})/\mathrm{E}^{\triangleleft}(2,A;\mathfrak{q}) $ 의 유한성으로 환원한다.

실험 결과

연구 질문

• RQ1 수체의 정수환(또는 국소화)인 환 $ A $ 에 대해 어떤 조건에서 $ \mathrm{SL}(n,A) $ 가 기본 행렬들에 의해 유계로 생성되는가?
• RQ2 일반적으로 $ \mathrm{SL}(n,A) $ 에서 하나의 비스칼라 행렬의 코너지에 의한 유계 생성이 가능할 수 있으며, 이를 보장하는 조건은 무엇인가?
• RQ3 안정 범위 조건 $ \mathsf{SR}_m $ 이 $ \mathrm{SL}(n,A) $ 와 그 부분군의 유계 생성에 어떤 영향을 미치는가?
• RQ4 유한지수부분군으로의 $ \mathrm{SL}(n,A) $ 의 유계 생성 결과는 어느 정도까지 확장 가능한가, 특히 $ n \geq 3 $ 인 경우에 대해?
• RQ5 메니크 기호 군의 유한성이 $ \mathrm{SL}(n,A) $ 의 유계 생성 증명에서 어떤 역할을 하는가?

주요 결과

• $ n \geq 3 $ 이거나 $ n = 2 $ 이면서 $ A $ 가 무한히 많은 단위를 가질 경우, 기본 행렬들이 $ \mathrm{SL}(n,A) $ 의 유한지수부분군을 유계로 생성하며, 이 bound 는 오직 $ n $ 과 $ \mathbb{Q} $ 에 대한 수체의 차수 $ k $ 에만 의존한다.
• $ \mathrm{E}(n,A) $ 와 $ \mathrm{SL}(n,A) $ 사이의 지수는 $ \mathrm{E}(n,A) $ 의 원소들의 단어 길이를 유계로 제한하는 동일한 상수 $ r(n,k) $ 로 유계화된다.
• $ T \in \mathrm{SL}(n,A) $ 가 스칼라 행렬이 아니면, $ T $ 의 코너지가 $ \mathrm{SL}(n,A) $ 의 유한지수정규부분군을 유계로 생성한다.
• $ n \geq 3 $ 인 경우, 비스칼라 행렬의 코너지에 의한 유계 생성은 $ \mathrm{SL}(n,A) $ 의 임의의 유한지수부분군에서도 유지되며, 이는 $ \mathsf{SR}_2 $ 조건의 안정성 때문이다.
• 일반적인 비영이디얼 $ \mathfrak{q} $ 에 대해 $ \mathrm{E}^{\triangleleft}(n,A;\mathfrak{q}) $ 의 유계 생성은 콤팩티스리티를 통해 증명되며, 이는 $ \mathrm{SL}(n,A;\mathfrak{q})/\mathrm{E}(n,A;\mathfrak{q}) $ 의 유한성에 기반한다.
• $ \mathsf{SR}_m $ 조건 하에서 보편 메니크 군 $ \mathrm{M}(n,A) $ 는 유한하며, 이는 모델이론적 콤팩티스리티를 통해 몫군으로부터 전체 군으로의 유계 생성 전이를 가능하게 한다.