[논문 리뷰] Approximate subgroups of linear groups

Emmanuel Breuillard, Ben Green외 1명|arXiv (Cornell University)|2010. 05. 11.

Finite Group Theory Research참고 문헌 31인용 수 20

한 줄 요약

이 논문은 유한체 위의 선형군의 근사 부분군—예를 들어 SLₙ(𝔽ₚ)—이 매우 작거나 거의 전체 군이 되어야 한다는 것을 증명한다. 이는 Helfgott의 n=2,3에 대한 결과를 일반화한 것이다. 대수기하학, 모델 이론, 합-곱 현상의 도구를 사용하여, SLₙ(𝔽ₚ)를 생성하는 K-근사 부분군은 크기가 |SLₙ(𝔽ₚ)|^{1−o(1)} 이상이어야 하며, 그렇지 않으면 매우 작을 수밖에 없다는 것을 증명한다. 이는 선형 대수군에서 근사 부분군에 대한 강력한 구조 정리이다.

ABSTRACT

We establish various results on the structure of approximate subgroups in linear groups such as SL_n(k) that were previously announced by the authors. For example, generalising a result of Helfgott (who handled the cases n = 2 and 3), we show that any approximate subgroup of SL_n(F_q) which generates the group must be either very small or else nearly all of SL_n(F_q). The argument generalises to other absolutely almost simple connected (and non-commutative) algebraic groups G over a finite field k. In a subsequent paper, we will give applications of this result to the expansion properties of Cayley graphs.

연구 동기 및 목표

• 유한체 위의 선형 대수군에서의 근사 부분군을 분류함으로써, Helfgott의 SL₂ 및 SL₃ 결과를 더 높은 랭크 군으로 확장한다.
• 이분법을 확립한다: SLₙ(𝔽ₚ)를 생성하는 임의의 근사 부분군은 매우 작거나 거의 전체 군이어야 한다.
• 근사 부분군의 구조를 분석하기 위해 대수기하학, 모델 이론, 합-곱 현상의 도구를 적용한다.
• 후속 연구에서 케일리 그래프의 확장성에 응용하기 위한 기초를 마련한다.

제안 방법

• 근사 부분군에 대한 Larsen-Pink 부등식을 사용하여 대수군 내의 곱집합 성장률을 제어한다.
• 초필터 방법과 정량적 대수기하학을 적용하여 근사 부분군의 조르지 클로처를 분석한다.
• 유한체 위의 합-곱 정리를 사용하여 특정 구성에서 중간 크기 성장이 불가능함을 제거한다.
• Malcev–Platonov 보조정리를 사용하여 GLₙ(ℂ) 내의 거의 해석적 부분군을 제어함으로써 근사 부분군의 분류를 보조한다.
• 부하에서의 탈출 논증을 변형하여 비자명한 근사 부분군이 반드시 큰 집합을 생성해야 한다는 점을 보인다.
• 대수다양체의 노에테르성질을 활용하여 최소 정규 부분군을 추출하고, 탈출하지 못하는 경우에 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 SLₙ(𝔽ₚ)의 근사 부분군이 전체 군을 생성하거나 매우 작게 유지하는 조건은 무엇인가?
• RQ2 높은 랭크 선형 대수군에서의 근사 부분군의 구조는 SL₂ 및 SL₃와 유사하게 분류될 수 있는가?
• RQ3 합-곱 추정과 대수기하학은 어떻게 유한체 내 곱집합의 성장률을 제어하는가?
• RQ4 군의 거의 단순성은 근사 부분군이 매우 작거나 매우 크도록 강제하는 데 어떤 역할을 하는가?
• RQ5 부하에서의 탈출 성질을 사용하여 근사 부분군의 크기에 대한 이분법을 도출할 수 있는가?

주요 결과

• SLₙ(𝔽ₚ)의 K-근사 부분군이 군을 생성한다면, p→∞ 일 때 크기가 |SLₙ(𝔽ₚ)|^{1−o(1)} 이상이어야 하며, 그렇지 않으면 매우 작을 수밖에 없다.
• 이분법은 SLₙ 이외의 절대적으로 거의 단순한 대수군에 대해서도 성립한다.
• 근사 부분군에 대한 Larsen-Pink 부등식이 확립되었으며, 곱집합의 차원 제어에 사용되었다.
• 논문은 일반적인 구조 정리를 증명한다: 선형군 내의 근사 부분군은 매우 작거나 거의 전체 군이어야 한다.
• 이 방법은 부하에서의 탈출 성질과 대수기하학을 활용하여 중간 차원의 부분다양체를 배제하는 데 의존한다.
• 이 결과는 후속 연구에서 유한 단순군의 케일리 그래프에서의 확장성 증명에 핵심적인 요소를 제공한다.