[논문 리뷰] Linear groups - Malcev's theorem and Selberg's lemma

Bogdan Nica|arXiv (Cornell University)|2013. 06. 10.

Geometric and Algebraic Topology인용 수 11

한 줄 요약

이 논문은 유한 생성 선형군에 대한 Malcev의 정리(잔여 유한성)와 Selberg의 보조정리(가상 토피어스 자유성)를 통합하고 단순화한 증명을 제공한다. 이는 영 characteristic에서 모든 소수 $p$에 대해 유한 생성 선형군이 가상으로 잔여 $p$-유한임을 보여주는 더 깊이 있는 결과인 Platonov의 정리를 통해 이루어지며, 양성 characteristic에서의 경우 특성 소수 $p$에 대해 유한 생성 선형군이 가상으로 잔여 $p$-유한하다는 것을 보여준다. 핵심 기여는 잔여 유한성과 가상 토피어스 자유성 간의 관계를 $p$-adic 성질을 통해 개념적으로 정교화한 데 있다.

ABSTRACT

An account of two fundamental facts concerning finitely generated linear groups: Malcev's theorem on residual finiteness, and Selberg's lemma on virtual torsion-freeness.

연구 동기 및 목표

• 유한 생성 선형군에 대한 Malcev의 정리와 Selberg의 보조정리를 통합적이고 단순화된 증명을 제공한다.
• 영 characteristic에서 모든 소수 $p$에 대해 유한 생성 선형군이 유한 개의 소수를 제외하고 가상으로 잔여 $p$-유한하다는 것을 증명한다. 양성 characteristic에서는 특성 소수 $p$에 대해 가상으로 잔여 $p$-유한하다.
• 잔여 유한성, 가상 토피어스 자유성, 그리고 $p$-adic 잔여 성질 간의 관계를 선형군 내에서 명확히 한다.
• Platonov의 정리가 Malcev의 정리와 Selberg의 보조정리를 모두 추론으로서 포함함을 보여준다.
• 정수환과 정규화의 역할을 중심으로, 이러한 기초적인 결과들을 자가 일관되고 접근하기 쉬운 방식으로 서술한다.

제안 방법

• 체 위의 유한 생성 대수에 대한 정규화 정리와 함께, 링의 유리화에서 대수적으로 독립적인 원소들을 구성하여 문제를 $\mathbb{Z}[1/m]$ 위의 부분환으로 축소한다.
• 정수적 확장에서의 역원성 성질을 적용: 만약 원소가 정수적 확장에서 가역이면, 기저 링에서도 이미 가역이므로, 군이 잔여 $p$-유한이 될 수 있는 소수의 집합을 제한한다.
• $\mathrm{SL}_n(\mathbb{Z})$와 유한 생성 도메인 $A$에 대한 $\mathrm{E}_n(A)$의 구조를 분석하여 기본 행렬들로 생성됨을 보이고, 토피어스 부분군을 검토한다.
• 특성 $p$인 링 $A$의 덧셈군에서의 $p$- torsion 원소들이 $\mathrm{GL}_n(A)$에 임베딩됨을 이용하여, $\ell \neq p$에 대해 이러한 군이 가상으로 잔여 $\ell$-유한이 될 수 없음을 보여, 결과의 날카로움을 증명한다.
• 잔여 $p$-유한성이 토피어스 원소들이 $p$-차수를 가짐을 의미하고, 서로 다른 소수 $p$와 $q$에 대해 가상으로 잔여 $p$- 및 $q$-유한성이 동시에 성립하면 가상 토피어스 자유성이 유도됨을 보여준다.
• 잔여 유한성이 비자명한 원소를 포함하지 않는 유한 지수 부분군의 존재와 동치임을 이용하여, Malcev의 정리와 Selberg의 보조정리를 Platonov의 정리로부터 유도한다.

실험 결과

연구 질문

• RQ1 유한 생성 선형군에 대해 Malcev의 정리와 Selberg의 보조정리를 하나의 더 일반적인 원리로 통합할 수 있는가?
• RQ2 유한 생성 선형군이 가상으로 잔여 $p$-유한해질 수 있는 정도는 무엇이며, 이는 기저 체의 특성에 따라 어떻게 달라지는가?
• RQ3 왜 Selberg의 보조정리는 양성 특성에서 실패하며, $\ell \neq p$에 대해 가상으로 잔여 $p$-유한성이 불가능한 구조적 장애는 무엇인가?
• RQ4 기존 문헌에서의 Platonov의 정리 증명을 더 단순화하고 접근하기 쉽게 만들 수 있는가?
• RQ5 정수환과 정규화의 역할은 유한 생성 링 위의 선형군의 대수적 구조에서 어떤 기능을 하는가?

주요 결과

• Platonov의 정리는 영 characteristic에서 모든 소수 $p$에 대해 유한 생성 선형군이 유한 개의 소수를 제외하고 가상으로 잔여 $p$-유한하다는 것을 보여주며, 이는 Malcev의 정리와 Selberg의 보조정리를 모두 추론으로서 포함한다.
• 양성 특성 $p$에서, 유한 생성 선형군은 가상으로 잔여 $p$-유한하지만, 다른 어떤 소수 $\ell$에 대해서도 그렇지 않다. 이는 $\mathrm{GL}_n(A)$ 내에 무한한 $p$- torsion 부분군이 존재하기 때문이다.
• $n \geq 3$에 대해 $\mathrm{SL}_n(\mathbb{F}_p[t])$는 유한 생성이며 가상으로 잔여 $p$-유한하지만, $\ell \neq p$에 대해 가상으로 잔여 $\ell$-유한하지 않다. 이는 '가상으로 잔여 $p$-유한'이 '잔여 유한'을 유도한다는 함의의 역은 성립하지 않음을 보여준다.
• $n \geq 3$에 대해 $\mathrm{Aut}(F_n)$는 모든 소수 $p$에 대해 가상으로 잔여 $p$-유한하지만 선형군이 아니며, 이는 가상으로 잔여 $p$-유한성이 선형성을 유도하지는 않음을 보여준다.
• 증명은 만약 소수 $p$가 유한 생성 $\mathbb{Z}$-대수 $A$에서 가역이면, $p$는 정규화 매개변수의 분모에 반드시 나누어 떨어져야 하며, 이는 그러한 소수들의 집합이 고정된 정수 $m$의 소인수들로 제한됨을 보여주며, 이로써 예외적인 소수 집합의 유한성을 증명한다.