[논문 리뷰] A Strong Tits Alternative

Emmanuel Breuillard|ArXiv.org|2008. 04. 09.

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

한 줄 요약

이 논문은 선형군에 대한 강력한 균일한 티츠 대안을 확립한다: 임의의 차원 $d$에 대해 정수 $N(d)$가 존재하여, $GL_d(K)$의 유한 대칭 생성집합 $F$가 비압류군을 생성하는 한, $F^{N(d)}$는 아벨이 아닌 자유군을 자유롭게 생성하는 두 원소를 포함한다. 이 결과는 높이 이론과 효과적 Nullstellensatz를 이용한 균일한 산술기하적 증명을 통해 도출되며, 임의의 체 위에서 선형군의 균일한 성장 및 확장 경계를 제공한다.

ABSTRACT

We show that for every integer $d$, there is a constant $N(d)$ such that if $K$ is any field and $F$ is a finite subset of $GL_d(K)$, which generates a non amenable subgroup, then $F^{N(d)}$ contains two elements, which freely generate a non abelian free subgroup. This improves the original statement of the Tits alternative. It also implies a growth gap and a co-growth gap for non-amenable linear groups, and has consequences about the girth and uniform expansion of small sets in finite subgroups of $GL_d(\Bbb{F}_q)$ as well as other diophantine properties of non-discrete subgroups of Lie groups.

연구 동기 및 목표

• 생성집합 $F$와 체 $K$에 관계없이, 자유군을 찾는 데 필요한 단어 길이 $N(d)$를 차원 $d$에만 의존하도록 균일한 버전의 티츠 대안을 확립하는 것.
• 이전 결과에서 유한군 $\langle F\rangle$에 의존하는 경계가 아닌, 오직 차원 $d$에만 의존하는 균일한 높이 추정을 도입함으로써 그 격차를 해결하는 것.
• 효과적 대수기하학을 통해 선형군의 지수적 성장, 길이, 균일한 확장에 대한 정량적 결과를 도출하는 것.
• 아라켈로프 높이와 효과적 Nullstellensatz를 사용하여 산술적 및 기하적 방법을 통합함으로써 티츠 대안의 증명에 균일한 경계를 제공하는 것.

제안 방법

• 모든 체 $K$의 절대값에 걸쳐 고르게 고유값을 제어하기 위해 산술적 높이와 정규화된 높이 $\widehat{h}(F)$를 사용하여, 균일한 스펙트럴 간격 $|\lambda| > 1 + \varepsilon$ 확보.
• 논문 [13]의 높이 갭 정리 적용을 통해, 군이 비틀림 원소를 갖는 국소체가 존재하도록 보장.
• 프로젝티브 공간 $\mathbb{P}(k^n)$ 내에서 $v$-adic 거리 측도를 사용한 균일한 비틀림성 및 교차성 추정을 통해 펭귄 페어 구성.
• 첨수 표현의 $v$-adic 노름을 사용하여 불변 부분공간과 그 수직 여부공간 간의 거리 추정.
• 효과적 힐베르트의 Nullstellensatz를 적용하여 자유 생성 조건을 균일한 다항식 이상 포함 조건으로 변환.
• 문제를 대수기하학적 다양체로 환원: $k$-튜플이 거의 아벨 군을 생성하는 집합은 닫혀 있으며, $N(d)$-단어 쌍이 자유군을 생성하지 않는 $k$-튜플의 집합은 대수적 조건의 가산 합집합이다.

실험 결과

연구 질문

• RQ1 티츠 대안를 강화하여, 체 $K$와 생성집합 $F$에 관계없이, 자유 아벨이 아닌 군이 $N(d)$ 단어 길이 이내에 나타나도록 보장할 수 있는가?
• RQ2 생성집합 $F$가 $GL_d(K)$의 비압류군을 생성하는 한, $F^{N(d)}$가 자유 쌍을 포함하도록 할 수 있는 단어 길이 $N(d)$의 균일한 경계는 무엇인가?
• RQ3 효과적 대수기하학과 높이 이론을 어떻게 조합하여 임의의 체 위 선형군의 맥락에서 균일한 경계를 도출할 수 있는가?
• RQ4 비압류 선형군의 성장 지수는 생성집합에 관계없이 균일하게 아래에서 유계일 수 있는가?
• RQ5 이러한 강력한 티츠 대안를 통해 유한 선형군의 길이와 확장 성질을 균일하게 제어할 수 있는가?

주요 결과

• 모든 $d \in \mathbb{N}$에 대해 $N(d) \in \mathbb{N}$이 존재하여, $F \subset GL_d(K)$가 1을 포함하고 있으며 비압류군을 생성하는 한, $F^{N(d)}$는 아벨이 아닌 자유군을 자유롭게 생성하는 두 원소를 포함한다.
• 이러한 군의 성장 지수는 $\rho_F \geq \log(1 + \varepsilon)$를 만족하며, $\varepsilon = \varepsilon(d) > 0$ 이며, $F$와 $K$에 관계없이 균일하게 성립함을 증명한다. 이는 균일한 지수적 성장을 보여준다.
• 결과는 공성장 갭을 암시한다: $F$에서 길이 $n$인 축약된 단어의 수는 항상 $ (1 + \varepsilon)^n $ 이상으로 증가하며, $F$와 $K$에 관계없이 균일하게 성립한다.
• 증명은 Nullstellensatz에 대한 다항식의 차수와 높이에 대한 효과적 경계를 도출하여, 리 유형 유한군의 길이 및 확장에의 응용이 가능하게 한다.
• $F^{N(d)}$가 자유 쌍을 포함하는 조건은 다항식 이상 포함 조건 $\mathcal{W}_n \subset \mathcal{V}$ 와 동치이며, 이는 Nullstellensatz에 의해 효과적으로 가능하다.
• 이 방법은 모든 국소체와 특성 0인 체에 대해 균일하게 적용되며, 산술 단계는 높이 이론에 의존하고 기하 단계는 균일한 비틀림성 추정에 의존한다.