[논문 리뷰] Effective Separability of Finitely Generated Nilpotent Groups

Mark Pengitore|arXiv (Cornell University)|2015. 02. 18.

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

한 줄 요약

이 논문은 유한 생성 노일포텐트 군에서 잔여 유한성 및 공轭 분리 가능성에 대해 효과적이고 다항식으로 유계된 점근적 추정을 제공한다. 비자명 원소 또는 서로 다른 공轭류를 분리하기 위해 필요한 최소 유한 몫의 크기가 단어 길이의 로그의 거듭제곱으로 증가함을 보이며, 이 지수는 히르슈 길이와 노일포텐트 계수에 의해 결정된다. 이는 날카운 경계를 제공하며, 말체프 완비화에 대해 불변성을 보인다.

ABSTRACT

We give effective proofs of residual finiteness and conjugacy separability for finitely generated nilpotent groups. In particular, we give precise asymptotic bounds for a function introduced by Bou-Rabee that measures how large the quotients that are need to separate non-identity elements of bounded length from the identity which improves the work of Bou-Rabee. Similarly, we give polynomial upper and lower bounds for an analogous function introduced by Lawton, Louder, and McReynolds that measures how large the quotients that are need to separate pairs of distinct conjugacy classes of bounded work length using work Blackburn and Mal'tsev.

연구 동기 및 목표

• 유한 생성 노일포텐트 군에서 잔여 유한성 함수의 정밀한 점근적 경계를 확립하기.
• 효과적 경계를 공轭 분리 가능성으로 확장하여, 비공轭 원소를 구분하기 위해 필요한 유한 몰입의 크기를 정량화하기.
• 이러한 분리 가능성 함수의 점근적 행동이 군의 말체프 완비화에 대해 불변임을 보여주기.
• 잔여 유한성 성장률이 단어 길이에 대해 로그적임을 특징짓는 조건을 규명하고, 이를 군의 중심과 연결하기.
• 점근적 경계의 지수를 히르슈 길이 및 하향 중심 급수의 마지막 비자명 항과 같은 구조적 자료로부터 계산 가능함을 증명하기.

제안 방법

• 저자는 단어 길이 $n$인 원소가 항등원에서 분리되기 위해 필요한 최소 유한 몫의 크기를 측정하는 함수 $\operatorname{F}_{\Gamma}(n)$를 정의한다.
• 노일포텐트 군의 구조적 성질과 상향 중심 급수의 정교화를 이용하여 상한을 증명한다.
• 하한은 명시적인 군 원소의 수열을 구성함으로써 확립되며, 이 수열은 최소한 $C(\log(C\|\gamma_i\|_S))^{\psi_{\text{RF}}(\Gamma)}$ 크기의 몰입이 필요함을 보여준다.
• 증명은 $\Gamma/T(\Gamma)$의 말체프 완비화를 이용하여, $\operatorname{F}_{\Gamma}(n)$의 점근적 행동이 오직 이 완비화에 의해 결정됨을 보여준다.
• 공轭 분리 가능성에 대해, 저자는 $\operatorname{CD}_{\Gamma}(n)$를 정의하고 하향 중심 급수에서의 군론적 구성으로 다항식 상한 및 하한을 유도한다.
• 특정 $p$-군과 중심 원소의 성질을 이용하여, 공轭 분리에 필요한 최소 몰입 크기가 $n^{\psi_{\text{RF}}(\Gamma)(c(\Gamma)-1)}$로 증가함을 보여준다.

실험 결과

연구 질문

• RQ1 유한 생성 노일포텐트 군에 대해 잔여 유한성 함수 $\operatorname{F}_{\Gamma}(n)$의 정밀한 점근적 성장률은 무엇인가?
• RQ2 이러한 군에서 공轭 분리 가능성 함수 $\operatorname{CD}_{\Gamma}(n)$는 단어 길이에 따라 어떻게 성장하는가?
• RQ3 $\operatorname{F}_{\Gamma}(n)$의 점근적 경계에서 지수를 군의 대수적 불변량으로부터 계산할 수 있는가?
• RQ4 $\operatorname{F}_{\Gamma}(n)$의 점근적 행동이 $\Gamma/T(\Gamma)$의 말체프 완비화의 동형사상에 대해 불변인가?
• RQ5 $\operatorname{F}_{\Gamma}(n) \approx (\log n)^{h(\Gamma)}$가 성립하는 조건은 무엇인가?

주요 결과

• 잔여 유한성 함수 $\operatorname{F}_{\Gamma}(n)$ 는 $\operatorname{F}_{\Gamma}(n) \approx (\log n)^{\psi_{\text{RF}}(\Gamma)}$ 를 만족하며, 여기서 $\psi_{\text{RF}}(\Gamma)$ 는 $(\Gamma/T(\Gamma))_c$ 의 구조에서 유도된 계산 가능한 불변량이다.
• 지수 $\psi_{\text{RF}}(\Gamma)$ 는 $\Gamma/T(\Gamma)$ 의 중심의 히르슈 길이가 1일 때에만 히르슈 길이 $h(\Gamma)$ 와 같다.
• $\operatorname{F}_{\Gamma}(n)$ 의 점근적 행동은 $\Gamma/T(\Gamma)$ 의 말체프 완비화에 대해 불변이므로, 동형 완비화는 동일한 성장률을 갖는다.
• 공轭 분리 가능성에 대해, 함수 $\operatorname{CD}_{\Gamma}(n)$ 는 $n^{\psi_{\text{RF}}(\Gamma)(c(\Gamma)-1)} \preceq \operatorname{CD}_{\Gamma}(n)$ 를 만족하며, 상한과 일치하는 경향이 있다.
• $\operatorname{F}_{\Gamma}(n) \precnsim (\log n)^3$ 의 성장률은 그 코컴 pact 라티스를 통해 $\mathbb{Q}$-정의된 노일포텐트 리 대수군 중 $\mathbb{R}^d$ 를 특징짓는다.
• 지수 $\psi_{\text{RF}}(\Gamma)$ 는 유한 지수 부분군과 말체프 완비화의 동형사상에 대해 유지되며, 이는 경계의 강건성을 보장한다.