[논문 리뷰] Growth in solvable subgroups of GL_r(Z/pZ)

Nick Gill, H. A. Helfgott|arXiv (Cornell University)|2010. 08. 31.

Finite Group Theory Research참고 문헌 26인용 수 25

한 줄 요약

이 논문은 $\operatorname{GL}_r(\mathbb{Z}/p\mathbb{Z})$의 부분집합 $A$에 대해 구조적 이분법을 확립한다: 또는 $A$는 강한 다항식 성장($|A_3| \geq C|A|$)을 보이며, 또는 $S/U_R$가 비아벨 몰입을 갖는 야수군 $S$의 몇몇 코셋에 포함된다. 주요 기여는 $\operatorname{GL}_r(\mathbb{Z}/p\mathbb{Z})$의 야수군에서의 성장 문제를 다항식 성장으로 줄이고, 이에 대한 정량적 한계를 $r$에만 의존하도록 한다. 이 결과는 Pyber 및 Szabó와의 공동 연구를 통해 모든 부분집합으로 확장된다.

ABSTRACT

Let $K=Z/pZ$ and let $A$ be a subset of $\GL_r(K)$ such that $$ is solvable. We reduce the study of the growth of $A$ under the group operation to the nilpotent setting. Specifically we prove that either $A$ grows rapidly (meaning $|A\cdot A\cdot A|\gg |A|^{1+δ}$), or else there are groups $U_R$ and $S$, with $S/U_R$ nilpotent such that $A_k\cap S$ is large and $U_R\subseteq A_k$, where $k$ is a bounded integer and $A_k = \{x_1 x_2...b x_k : x_i \in A \cup A^{-1} \cup {1}}$. The implied constants depend only on the rank $r$ of $\GL_r(K)$. When combined with recent work by Pyber and Szabó, the main result of this paper implies that it is possible to draw the same conclusions without supposing that $$ is solvable.

연구 동기 및 목표

• 생성군 $\langle A \rangle$가 야수군일 때, $A \subseteq \mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$의 부분집합의 성장 행동을 이해하는 것.
• 이분법을 확립하는 것: 또는 $A$는 강력한 성장($|A_3| \geq C|A|$)을 보이며, 또는 구조화된 야수군 $S$의 몇몇 코셋에 포함된다. 이때 $S/U_R$는 비아벨 몰입을 갖는다.
• 유니포텐트 정규부군 $U_R$와 야수군 $S$를 이용해, 야수군에서의 성장 문제를 비아벨 군의 설정으로 환원하는 것.
• Pyber 및 Szabó의 연구를 결합하여, 야수군이 아닌 경우에도 결과를 확장함으로써, $\mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$의 임의의 부분집합에 대해 동일한 이분법이 성립함을 보이는 것.
• 구조적 결과를 $C$-근사 부분군에 적용하여, 다항식 랭크와 지수적 제어를 갖는 코셋 비아벨 프로그레시브로 제어됨을 보이는 것.

제안 방법

• 행동군의 성질을 활용한 개선된 합-곱 유형 결과(Prop. 2.11)를 사용하여, 토루스 작용과 유니포텐트 부분군 간의 상호작용을 분석한다.
• 야수군을 최대 토루스(작용하는 군)와 유니포텐트 정규부분군(작용을 받는 군)으로 분해하고, $\mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$의 구조를 활용한다.
• 삼중화 렘마와 커버링 렘마(예: Lemma 9.3)를 적용하여, 코셋 구조를 통한 집합의 성장 제어를 수행한다.
• 정규부분군 $U_R$와 야수군 $S$를 구성함으로써 문제를 비아벨 군 설정으로 환원한다. 이때 $S/U_R$는 비아벨 군이며, $A_k$는 $U_R$를 포함한다.
• Pyber 및 Szabó의 결과를 활용하여, $\langle A \rangle$가 야수군이라는 가정 없이도 성립하는 버전(정리 2)을 도출한다.
• Tointon의 근사 부분군 결과를 적용하여, $C$-근사 부분군이 랭크 $C^{O_r(1)}$와 지수적 제어를 갖는 코셋 비아벨 프로그레시브로 제어됨을 보인다.

실험 결과

연구 질문

• RQ1 생성군 $\langle A \rangle$가 야수군일 때, 부분집합 $A \subseteq \mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$가 강력한 성장을 보이는 조건은 무엇인가? 즉, $|A_3| \geq C|A|$가 성립하는가?
• RQ2 성장이 빠르지 않을 경우, $A$의 구조는 어떤가? 특히, 비아벨 몰입을 갖는 야수군의 몇몇 코셋에 포함되는 방식으로 기술할 수 있는가?
• RQ3 생성군 $\langle A \rangle$에 대한 야수군 가정을 얼마나 제거할 수 있으며, $\mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$의 모든 부분집합에 대해 통일된 구조적 이분법을 얻을 수 있는가?
• RQ4 $C$-근사 부분군의 구조를 비아벨 프로그레시브의 관점에서 정량적으로 기술할 수 있는가?
• RQ5 구조적 제어의 정량적 의존성은 랭크 $r$과 근사 상수 $C$에 어떻게 영향을 받는가?

주요 결과

• 모든 $C \geq 1$에 대해, 또는 $|A_3| \geq C|A|$이 성립하여 강력한 성장을 보이며, 또는 $S/U_R$가 비아벨 몰입을 갖는 야수군 $S$의 $C^{O_r(1)}$개의 코셋에 포함된다.
• $r$에 대해 $k \ll_r 1$이 존재하여, $A_k$는 $\langle A \rangle$의 유니포텐트 정규부분군 $U_R \lhd \langle A \rangle$를 포함하고, $|A_k \cap S| \geq C^{-O_r(1)}|A|$를 만족한다. 이 상수는 $r$에만 의존한다.
• Pyber 및 Szabó와의 공동 연구를 통해, $\langle A \rangle$가 야수군이라는 가정 없이도 결과가 확장되며, $H_1 \lhd H_2 \lhd \langle A \rangle$를 만족하는 부분군이 존재하고, $H_2/H_1$은 비아벨 몰입이며, $A_k$는 $H_1$을 포함한다.
• $C$-근사 부분군에 대해서는, $A$는 랭크 $C^{O_r(1)}$와 스텝 수가 $r$ 이하인 코셋 비아벨 프로그레시브로 $\exp(C^{O_r(1)})$-제어되며, 이는 $A^{C^{O_r(1)}}$ 내에 포함된다. 제어는 $r$과 $C$에만 의존한다.
• 구조적 결과에 따르면, $A$가 빠르게 성장하지 않으면, $A$는 구조화된 야수군의 소수의 코셋에 포함되며, 이 수는 $C^{O_r(1)}$로 유계된다. 이는 $C < |A|^{\delta_r}$이면서 $\delta_r > 0$일 때 의미가 있다.
• 증명은 유니포텐트 군에서의 부분군 사슬 길이를 유계함(길이 $< r^2$)에 기반하고, 유한체 위에서의 보렐 부분군과 시로우 부분군에 관한 결과를 적용하여, 유계된 계수의 비아벨 분할을 추출한다.