[논문 리뷰] Full residual finiteness growths of nilpotent groups

Khalid Bou-Rabee, Daniel Studenmund|arXiv (Cornell University)|2014. 06. 14.

Geometric and Algebraic Topology참고 문헌 6인용 수 4

한 줄 요약

이 논문은 유한 생성 노름군에서의 전체 잔여 유한성 성장의 전체 성장을 규명하며, 중심이 하향 중심 급수의 마지막 항을 포함할 경우 다항식 성장도가 $ c \cdot \dim(G) $임을 보여준다. 일반적인 노름군에 대해서는 성장도를 유계화하기 위해 '계단식 필터링'을 도입하고, 이 성장이 단어 성장과 일치하는 경우를 특성화한다—오직 가상 아벨 군일 때에만 그렇다.

ABSTRACT

Full residual finiteness growth of a finitely generated group $G$ measures how efficiently word metric $n$-balls of $G$ inject into finite quotients of $G$. We initiate a study of this growth over the class of nilpotent groups. When the last term of the lower central series of $G$ has finite index in the center of $G$ we show that the growth is precisely $n^b$, where $b$ is the product of the nilpotency class and dimension of $G$. In the general case, we give a method for finding an upper bound of the form $n^b$ where $b$ is a natural number determined by what we call a terraced filtration of $G$. Finally, we characterize nilpotent groups for which the word growth and full residual finiteness growth coincide.

연구 동기 및 목표

• 유한 생성 노름군에서 전체 잔여 유한성 성장의 점근적 행동을 이해하기 위해.
• 이 성장이 다항식임을 보이고 그 정확한 차수를 계산하기 위해.
• 일반적인 노름군에서 성장도를 유계화하기 위한 필터링 기반 방법을 개발하기 위해.
• 전체 잔여 유한성 성장이 단어 성장과 일치하는 노름군를 특성화하기 위해.
• 소수 $p$에 따라 $p$-군 몫이 크게 달라져 전체 분석을 복잡하게 만드는 문제에 대응하기 위해.

제안 방법

• 계단식 필터링의 개념을 도입—정규부분군의 사슬 $1 = H_0 \leq \cdots \leq H_{c-1} \leq G$ 에서 각 $H_i$ 는 $H_i \cap \gamma_{i+1}(G) = 1$ 을 만족한다.
• Osin과 Pittet의 왜곡 결과를 활용하여 몫에서의 단어 길이를 제어하고, 유한 몫에서 공의 탐지 가능성을 확립한다.
• 성층 $H_i/H_{i-1}$ 의 기저 당김에서 유도된 생성집합 $Y$ 를 구성하여 카일리 그래프에서의 성장을 분석한다.
• 탄성 없는 거듭제곱 구조 $G^{fM}$ 을 적용하여 몫이 잘 행동하고 탐지 가능하게 보장한다.
• 성층 $H_k/H_{k-1}$ 의 차원을 이용해 정규부분군 $N(Dn)$ 의 $G$ 에서의 지수를 유계화함으로써 다항식 상한을 도출한다.
• 등가관계 $f \approx g$ 를 사용하여 생성집합에 무관한 성장 클래스를 정의하고, 주요 결과의 불변성을 확보한다.

실험 결과

연구 질문

• RQ1 중심에서 $[Z(G) : \gamma_c(G)] < \infty$ 를 만족하는 노름군에서 전체 잔여 유한성 성장의 정확한 다항식 차수는 무엇인가?
• RQ2 일반적인 유한 생성 노름군의 전체 잔여 유한성 성장을 균일하게 유계화할 수 있는 방법은 무엇인가?
• RQ3 계단식 필터링의 선택이 성장도에 대한 상한에 영향을 미치는가?
• RQ4 어떤 노름군에서 전체 잔여 유한성 성장이 단어 성장과 일치하는가?
• RQ5 전체 잔여 유한성 성장은 카일리 그래프의 점근적 자료로 순수하게 특성화될 수 있는가?

주요 결과

• 만약 $[Z(G) : \gamma_c(G)] < \infty$ 라면, $G$ 의 전체 잔여 유한성 성장은 $\Phi_G(n) \approx n^{c \cdot \dim(G)}$ 로 표현되며, 여기서 $c$ 는 노름군의 차수이다.
• 일반적인 노름군에 대해서는 계단식 필터링 $H_0 \leq \cdots \leq H_{c-1}$ 을 통해 성장이 $n^{c \cdot \dim(G) - \sum_{i=1}^{c-1} \dim(H_i)}$ 이하로 유계화된다.
• 상한은 계단식 필터링의 선택에 따라 달라지며, 이는 $G = U_3 \times U_4 \times U_5 / Z$ 와 같은 군에서 $\dim(\pi(U_3)) = 3$ 과 $\dim(\pi(U_4)) = 6$ 의 차이로 인해 두 가지 다른 유계화 결과를 낳는 것으로 입증된다.
• 전체 잔여 유한성 성장 $\Phi_G$ 는 오직 $G$ 가 가상 아벨 군일 때에만 단어 성장 $w_G$ 와 일치한다.
• 생성집합의 선택에 무관하게 성장 함수 $\Phi_G$ 는 등가관계 $f \approx g$ 를 통해 불변임이 입증된다.
• $G/N(Dn)$ 의 구성은 공 $B_Y(n)$ 을 탐지하며, 그 크기는 차수 $c \cdot \dim(G) - \sum_{i=1}^{c-1} \dim(H_i)$ 의 다항식으로 유계화된다. 이는 상한의 성립을 증명한다.