[논문 리뷰] Growth in finite simple groups of Lie type

László Pyber, Endre Szabó|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|2010. 01. 25.

Advanced Topology and Set Theory참고 문헌 3인용 수 13

한 줄 요약

이 논문은 리 종류의 유한 단순군에서 생성 집합이 곱셈에 대해 빠르게 커진다는 것을 증명한다. 즉, 리 랭크에만 의존하는 어떤 $\varepsilon > 0$ 에 대해 $|A^3| \gg |A|^{1+\varepsilon}$ 이거나 $A^3 = G$ 이다. 이는 이러한 군의 카일리 그래프에 대해 다항로그 길이의 지름 상한을 이끌어내며, 유계 랭크에 대해 바바이의 추측을 확인한다. 또한 $SL(d,\mathbb{Z}/m\mathbb{Z})$의 카일리 그래프가 제로이드-밀도 부분군에 의해 생성될 경우, 제곱 자유인 $m$ 에 대해 확산자 가족을 이룬다는 것을 의미한다.

ABSTRACT

We prove that if L is a finite simple group of Lie type and A a symmetric set of generators of L, then A grows i.e |AAA| > |A|^(1+epsilon) where epsilon depends only on the Lie rank of L, or AAA=L. This implies that for a family of simple groups L of Lie type the diameter of any Cayley graph is polylogarithmic in |L|. Combining our result on growth with known results of Bourgain,Gamburd and Varjú it follows that if LAMBDA is a Zariski-dense subgroup of SL(d,Z) generated by a finite symmetric set S, then for square-free moduli m which are relatively prime to some number m_0 the Cayley graphs Gamma(SL(d,m),pi_m(S)) form an expander family.

연구 동기 및 목표

• 리 종류의 유한 단순군의 카일리 그래프 지름에 대한 바바이의 추측을 다항로그 지름 상한을 증명하여 해결한다.
• 리 종류의 유한 단순군에서 대칭 생성 집합에 대한 성장 결과를 수립하여, 집합이 빠르게 커지거나 세 번의 곱으로 전체 군을 생성한다는 것을 보여준다.
• Helfgott의 $SL(2,p)$ 및 $SL(3,p)$에 대한 성장 결과를 유계 랭크를 가진 모든 리 종류의 유한 단순군으로 확장한다.
• $SL(d,\mathbb{Z}/m\mathbb{Z})$의 카일리 그래프가 제곱 자유인 $m$ 에 대해 제로이드-밀도 부분군에 의해 생성될 경우 확산자 가족을 이룬다는 것을 증명한다.
• 덧셈 조합론에 의존하지 않고, 대수기하학과 리 이론을 활용한 군론적 증명을 제시한다.

제안 방법

• 최대 토리와 그 정규 반단순 원소들에 대한 교차를 제한하기 위해 '부분다양체로부터의 도태' 논증을 사용한다.
• 이분법 논증을 적용한다: 생성 집합 $A$ 가 성장하지 않으면, 어떤 최대 토리도 커버하지 못하거나 고정된 최대 토리의 모든 동형류를 커버하게 된다.
• 공역의 크기와 중심화자를 분석하여, 차원성과 군론적 구조를 활용해 $|A^3|$ 에 대한 상한을 유도한다.
• 최대 토리 내의 정규 반단순 원소들이 유일한 최대 토리에 속한다는 사실을 활용해, 공역 간의 분리 논증을 가능하게 한다.
• 대수적 군의 구조와 그 유한 점들을 활용하여 문제를 재수축군과 정규부분군에서의 성장으로 환원한다.
• 대수기하학의 핵심 결과를 적용한다: 하위다양체의 낮은 차원을 피하는 집합은 이러한 하위다양체와의 교차가 크기가 작다.

실험 결과

연구 질문

• RQ1 리 랭크 $r$ 을 가진 리 종류의 유한 단순군에서 대칭 생성 집합 $A$ 는 항상 $|A^3| \gg |A|^{1+\varepsilon}$ 를 만족하는가? 이때 $\varepsilon > 0$ 은 랭크 $r$ 에만 의존한다.
• RQ2 모든 랭크 $r$ 이 유계인 리 종류의 유한 단순군에 대해 카일리 그래프 $\Gamma(L,S)$ 의 지름이 $C(r)(\log|L|)^{c(r)}$ 로 상한이 주어지는가?
• RQ3 성장 결과는 제곱 자유인 $m$ 에 대해 $SL(d,\mathbb{Z}/m\mathbb{Z})$ 의 카일리 그래프가 $SL(d,\mathbb{Z})$ 의 제로이드-밀도 부분군에 의해 생성될 경우 확산자 가족을 이룬다는 것을 의미하는가?
• RQ4 $\varepsilon$ 가 리 랭크 $r$ 에 의존하는 것은 필수적인가? 일반적으로 이를 피할 수 있는가?
• RQ5 성장 결과는 덧셈 조합론에 의존하지 않고, 대수적 군론과 기하학적 논증에 기반하여 증명될 수 있는가?

주요 결과

• 모든 리 랭크 $r$ 을 가진 유한 단순군 $L$ 과 대칭 생성 집합 $A$ 에 대해, $\varepsilon > 0$ 이 $r$ 에만 의존하는 경우, $|A^3| \gg |A|^{1+\varepsilon}$ 이거나 $A^3 = L$ 이다.
• 카일리 그래프 $\Gamma(L,S)$ 의 지름은 $C(r)(\log|L|)^{c(r)}$ 로 상한이 주어지며, $C(r)$ 와 $c(r)$ 는 리 랭크 $r$ 에만 의존한다. 이는 랭크가 유계인 경우 바바이의 추측을 확인한다.
• 제로이드-밀도 부분군 $\Lambda \leq SL(d,\mathbb{Z})$ 가 유한 대칭 집합 $S$ 에 의해 생성될 경우, 제곱 자유인 $m$ 과 어떤 $m_0$ 과 서로소일 때, 카일리 그래프 $\Gamma(SL(d,\mathbb{Z}/m\mathbb{Z}), \pi_m(S))$ 는 확산자 가족을 이룬다. 이는 이전 결과를 모든 $d \geq 2$ 로 확장한다.
• 리 랭크 $r$ 에 대한 $\varepsilon$ 의 의존성이 필수적임을 보여주는 예를 제시한다: $SL(d,3)$ 에서는 $d$ 가 크면 $1.1^d$ 의 크기를 가진 생성 집합이 존재하며, 이 경우 $|A^3| < 10|A|$ 가 된다.
• 증명 과정에서 덧셈 조합론을 회피하였으며, 대신 대수기하학과 군론적 구조, 특히 정규 반단순 원소와 그 공역의 행동에 기반한다.
• 기본적인 이분법이 확립된다: $A$ 가 성장하지 않으면, 또는 어떤 최대 토리도 커버하지 못하며(그리고 어떤 토리와의 교차도 작다), 또는 고정된 최대 토리의 모든 동형류를 커버하게 된다(이 경우 $|A|$ 는 $|L|$ 과 가깝다).