[논문 리뷰] Growth in linear groups

Endre Szabó, László Pyber|arXiv (Cornell University)|2012. 08. 13.

Finite Group Theory Research참고 문헌 54인용 수 11

한 줄 요약

이 논문은 일반선형군에서의 성장에 대한 다항식 역정리(Polynomial Inverse Theorem)를 수립하며, 삼중화 상수가 작게 유지되는 대칭 부분집합 $ S $ 에 대해 $ |S^3| \leq K|S| $ 를 만족하는 $ \mathrm{GL}(n,\mathbb{F}) $ 내의 부분집합 $ S $ 는 $ S $ 에 의해 정규화되는 약한 해석 가능 부분군의 $ K^{c(n)} $ 개의 잔여류에 포함됨을 보여준다. 이 결과는 일반선형군으로의 제품정리(Product Theorem) 확장과 함께, 중심자 구조 및 유한군 분해를 통해 유한군과 대수군의 구조적 결과를 통합한다.

ABSTRACT

We give a description of non-growing subsets in linear groups, which extends the Product theorem for simple groups of Lie type. We also give an account of various related aspects of growth in linear groups.

연구 동기 및 목표

• 유한 단순 리 유형 군의 제품정리를 임의의 체 위의 일반선형군으로 확장하기 위해.
• 성장하지 않는 부분집합을 특성화함으로써, 이들이 약한 해석 가능 부분군의 적은 수의 잔여류에 포함되어 있음을 보여주기 위해.
• 중앙자 구조와 말체프의 매장정리(Malcev’s embedding theorem)를 이용해 유한군 이론과 대수군 이론을 성장의 맥락에서 통합하기 위해.
• 이러한 부분집합을 덮기 위해 필요한 잔여류의 수에 대한 다항식 bound를 제공하여 체의 크기와 무관하게 유지하기 위해.
• 양의 특성수를 가진 체 위의 선형군에 적용 가능한 투쉬보프스키의 정리에 대한 유한군 형태를 수립하기 위해.

제안 방법

• 유한 단순 리 유형 군에 대한 제품정리를 기저로 삼기 위해.
• 알gebraic group에서 최대 토루스의 일반화로서, 연결 부분군의 연결 중심자(connected centralizers)를 CCC-부분군으로 도입하기 위해.
• 부분집합 $ S $ 에 대해 $ |S^3| \leq K|S| $ 를 만족할 경우, 일반화된 토루스 유사 구조를 이용해 $ S $ 가 정규화하는 부분군 $ H $ 에서 $ S $ 의 큰 거듭제곱이 집중됨을 증명하기 위해.
• 귀납법과 유한군 분해정리(예: Weisfeiler의 결과)를 적용하여, 유한 선형군을 $ O_p(G) $ 와 리 유형의 쿼어시단순 군의 중심곱으로 분해하기 위해.
• 말체프의 정리를 이용해 유한체에서의 결과를 임의의 체로 옮기며, 이는 무한 선형군으로의 확장을 가능하게 한다.
• 유한군 결과와 대수군의 구조를 조합하여, 투쉬보프스키 유형 정리를 다항식 bound로 향상시키고, 이를 일반 체로 확장하기 위해.

실험 결과

연구 질문

• RQ1 대칭 부분집합 $ S \subset \mathrm{GL}(n,\mathbb{F}) $ 에 대해 삼중화 상수가 작을 경우, 즉 $ |S^3| \leq K|S| $ 를 만족할 때 어떤 구조적 제약 조건이 발생하는가?
• RQ2 유한 단순 리 유형 군에 대한 제품정리를 임의의 체 위의 모든 선형군으로 확장할 수 있는가?
• RQ3 비단순 또는 비재구성적 설정에서 대수군의 최대 토루스 개념을 어떻게 일반화할 수 있는가?
• RQ4 원소들의 튜플의 중심자가 선형군의 부분집합에서의 구조적 집중을 감지하는 데 어떤 역할을 하는가?
• RQ5 말체프의 매장정리를 이용해, 유한 선형군에서의 성장 결과를 무한 선형군으로 옮길 수 있는가?

주요 결과

• 대칭 부분집합 $ S \subset \mathrm{GL}(n,\mathbb{F}) $ 에 대해 $ |S^3| \leq K|S| $ 를 만족할 경우, $ S $ 가 정규화하는 약한 해석 가능 부분군 $ \Gamma $ 의 $ K^{c(n)} $ 개의 잔여류에 포함된다. 여기서 $ c(n) $ 은 $ n $ 에 대한 함수이다.
• 부분군 $ \Gamma $ 는 정규인 약한 해석 가능 부분군 $ H $ 를 포함하며, $ \Gamma \subset S^6 H $ 를 만족함으로써 강력한 구조적 통제를 의미한다.
• 유한 선형군의 경우, 군 $ G \leq \mathrm{GL}(n,\mathbb{F}) $ 는 지수 최대 $ f(n) $ 인 정규 부분군 $ H $ 를 가지며, $ H/O_p(G) $ 는 특성 $ p $ 의 리 유형 쿼어시단순 군의 중심곱이다.
• 이 결과는 특성 0인 체 위의 선형군에 대해 투쉬보프스키의 정리의 다항식 형태를 암시하며, 브루아드, 그린, 타오의 결과와 일치한다.
• 증명은 최대 토루스의 일반화인 CCC-부분군을 사용하며, 이들의 일반적인 튜플은 중심자를 통해 부분군을 복원함으로써 귀납적 집중 추론을 가능하게 한다.
• 이 정리는 모든 특성의 체에 대해 균일하게 성립하며, bound $ K^{c(n)} $ 는 $ n $ 에만 의존하며 체 또는 군의 크기와는 무관하다.