[논문 리뷰] A finitary version of Gromov's polynomial growth theorem

Yehuda Shalom, Terence Tao|arXiv (Cornell University)|2009. 10. 21.

Geometric and Algebraic Topology참고 문헌 18인용 수 5

한 줄 요약

이 논문은 유한 생성 군에서 다항성장에 관한 그로모프의 정리에 대한 유한성 및 정량적 형태를 확립한다. 만약 어떤 군이 충분히 큰 척도 $ R_0 \geq \exp(\exp(Cd^C)) $ 에서 다항성장을 보이면, 그 군은 단계가 $ C^d $ 이하인 유한지수의 노름군을 가져야 한다. 이 결과는 노름군의 단계와 지수에 대한 명시적 통제를 제공하며, 양자 제거 기법을 통해 효과적인 경계를 도출할 수 있다. 다만, 그 경계는 Ackermann 함수 유형의 성장을 보인다.

ABSTRACT

We show that for some absolute (explicit) constant $C$, the following holds for every finitely generated group $G$, and all $d >0$: If there is some $ R_0 > \exp(\exp(Cd^C))$ for which the number of elements in a ball of radius $R_0$ in a Cayley graph of $G$ is bounded by $R_0^d$, then $G$ has a finite index subgroup which is nilpotent (of step $

연구 동기 및 목표

• 그로모프의 다항성장 군에 대한 정리에 대해 점점 커지는 조건을 단일 척도 조건으로 대체함으로써, 유한성 및 효과적인 형태를 제공하는 것.
• 성장 차수 $ d $ 와 척도 $ R_0 $ 를 기반으로, 거의 노름군의 노름 단계와 유한지수를 정량화하는 것.
• 단일 큰 척도 $ R_0 \geq \exp(\exp(Cd^C)) $ 에서 다항성장이 성립할 경우, 노름 단계와 부분군 지수에 대한 효과적인 통제를 갖는 거의 노름군임을 보이는 것.
• 유한군에 대해 '노름군'을 '다형군'으로 대체함으로써 결과를 확장하고, 유한지수에 대한 효과적인 경계를 제공하는 것.

제안 방법

• 단일 척도 $ R_0 $ 에서만 $ |B_S(R_0)| \leq R_0^d $ 를 만족하는 $(R_0, d)$-성장 군의 새로운 개념을 도입함으로써, 점점 커지는 조건이 아닌 단일 척도 조건을 요구한다.
• $(K, R)$-부분군을 정의하여 유한지수의 개념을 정량화함으로써, 생성자의 지수와 기하적 위치를 모두 포괄한다.
• 클라인의 그로모프 정리 증명을 기반으로 하되, 국소적 성장 조건에서 효과적인 경계를 추출하기 위해 이를 정교화한다.
• 계수 감소 기법을 사용하여 아벨 군과 노름군에서 $ M $-탄성 없는 부분군을 구성함으로써, 탄성이 성장 추정에 영향을 주지 않도록 보장한다.
• 무효적인 컴actness 추론을 제거하기 위해 양자 제거 기법을 적용하여 효과적인 경계를 확보하나, 그 결과 경계는 Ackermann 함수 유형의 성장을 보인다.
• 탄성 없는 구성의 반복적 적용을 통해 경계의 계층을 구축하고, 최종적으로 단계와 지수가 통제된 유한지수의 노름군을 도출한다.

실험 결과

연구 질문

• RQ1 그로모프의 다항성장 군이 거의 노름군임을 보여주는 정리를, 단일 큰 척도 $ R_0 $ 에서의 다항성장 조건만 요구하는 더 강력한 유한성 조건으로 강화할 수 있는가?
• RQ2 단일 척도 성장 조건 하에서, 거의 노름군의 노름 단계와 유한지수에 대해 어떤 명시적 경계를 설정할 수 있는가?
• RQ3 성장 차수 $ d $ 와 척도 $ R_0 $ 를 기반으로, '거의 노름군'이라는 정성적 개념을 정량화할 수 있는가? 이 경우 부분군 매개변수에 대한 효과적인 통제는 가능한가?
• RQ4 '노름군'을 '다형군'으로 대체할 경우, 효과적인 유한지수 경계를 확보할 수 있는가? 이를 통해 유한군 이론에의 적용이 가능한가?
• RQ5 유한지수와 노름 단계가 성장 차수 $ d $ 와 척도 $ R_0 $ 에 대해 어떻게 의존하는가? 그리고 이 관계를 양자 제거 기법을 통해 명시적으로 기술할 수 있는가?

주요 결과

• 유한 생성 군이 $ R_0 \geq \exp(\exp(Cd^C)) $ 일 때 $ |B_S(R_0)| \leq R_0^d $ 를 만족하면, 어떤 $ K(R_0,d) $ 가 존재하여 이 군은 $ (K(R_0,d), K(R_0,d), C^d, C^d) $-거의 노름군이 된다. 여기서 $ K(R_0,d) $ 는 $ R_0 $ 과 $ d $ 에만 의존한다.
• 유한지수 부분군의 노름 단계는 $ C^d $ 이하로 제한되며, $ C $ 는 절대 상수이다.
• 컴 pactness 추론을 제거하기 위해 양자 제거 기법을 적용함으로써, 유한지수에 대한 효과적인 경계를 확보할 수 있으나, 그 결과 경계는 $ d $ 와 $ R_0 $ 에 대해 Ackermann 함수 유형의 성장을 보인다.
• '노름군'을 '다형군'으로 대체할 경우, 결과는 비어 있지 않은 효과적인 경계를 제공하며, 이는 유한군 이론에의 응용을 가능하게 한다.
• 계수 감소 기법을 통한 $ M $-탄성 없는 부분군의 구성은 탄성이 성장 추정에 영향을 주지 않도록 보장하므로, 정량적 조화 분석 기법을 적용할 수 있다.
• 최종적으로 $ K(R_0,d) $ 에 대한 경계는 거의 $ R_0 $ 과 $ O(1)^d $ 에 대한 Ackermann 함수이며, 증명에서 벡터 노름을 지배할 수 있도록 충분히 빠르게 성장하는 함수 $ F(M) $ 를 선택한다.