[논문 리뷰] Rank gradient, cost of groups and the rank versus Heegaard genus problem

Miklós Abért, Nikolay Nikolov|ArXiv.org|2007. 01. 12.

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

한 줄 요약

이 논문은 잔여적으로 유한한 군의 랭크 기울기와 그 코스터 트리의 경계 공간 위에서의 작용의 비용 사이의 깊은 연결을 확립한다. 이는 펄러 체인에 대해 랭크 기울기가 작용의 비용에서 1을 뺀 값과 같음을 증명하며, 이를 통해 위상수학적 역학에서 랭크 대 히가드 성질 추측과 고정 비용 문제 둘 다 참일 수 없다는 것을 보여주며, 이는 산술적 쌍곡 3차원 다양체에서 이 추측이 실패할 가능성이 강력하게 제기됨을 시사한다.

ABSTRACT

We study the growth of the rank of subgroups of finite index in residually finite groups, by relating it to the notion of cost. As a by-product, we show that the `Rank vs. Heegaard genus' conjecture on hyperbolic 3-manifolds is incompatible with the `Fixed Price problem' in topological dynamics.

연구 동기 및 목표

• Farber 체인을 통한 잔여적으로 유한한 군에서의 랭크 기울기와 비용 사이의 관계를 조사하기.
• 위상수학적 역학에서 랭크 대 히가드 성질 추측과 고정 비용 문제 사이의 갈등을 해결하기.
• 고정 비용 문제의 해가 참이라면, 쌍곡 3차원 다양체에서 히가드 성질과 랭크의 비율이 임의로 크게 증가할 수 있음을 보여주기.
• SL₂(ℂ)에서의 산술 격자에 대해, 합동 부분군을 따라 랭크 기울기가 0이 되며, 이는 하위군의 랭크가 선형 이하로 증가함을 의미함을 보여주기.
• 산술적 쌍곡 3차원 다양체의 渐近적 영역에서 랭크 대 히가드 성질 추측이 실패할 가능성이 강력한 증거를 제공하기.

제안 방법

• 군 Γ와 Farber 체인 (Γₙ)에 대해, 랭크 기울기를 limₙ→∞ (d(Γₙ)−1)/[Γ:Γₙ]로 정의한다.
• 코스터 트리 T(Γ, (Γₙ))와 그 경계 ∂T를 도입하며, 여기에는 Γ 작용과 정규화된 하르 측도가 존재한다.
• 랭크 기울기가 경계 공간 ∂T 위에서의 작용의 비용에서 1을 뺀 값과 같음을 증명한다. 즉, RG(Γ, (Γₙ)) = cost(E)−1.
• Lackenby의 성질 (τ) 및 산술 격자의 합동 타워에서 선형 히가드 성질 증가에 관한 결과를 활용한다.
• 비용–랭크 기울기 항등식을 적용하여, 비용이 체인의 선택에 관계없이 일정하다면, 랭크가 성질에 대해 선형 이하로 증가함을 보여준다.
• 비용–1의 곱셈성이라는 가정을 통해, 랭크 기울기가 Farber 체인의 선택에 관계없이 일정함을 도출한다.

실험 결과

연구 질문

• RQ1 잔여적으로 유한한 군의 랭크 기울기는 Farber 체인의 선택에 따라 달라지는가?
• RQ2 만약 고정 비용 문제의 해답이 참이라면, 쌍곡 3차원 다양체에서 랭크 대 히가드 성질 추측이 성립할 수 있는가?
• RQ3 경계 공간 위에서의 군 작용의 비용은 유한 지수 부분군의 랭크의 점점 증가하는 비율과 관련이 있는가?
• RQ4 산술적 쌍곡 3차원 다양체는 히가드 성질 대 기본군 랭크의 비율이 임의로 크게 나타나는가?
• RQ5 측도적 작용의 비용은 유한 지수 부분군으로의 전이에 대해 곱셈적으로 작용하는가?

주요 결과

• Farber 체인에 대해 군의 랭크 기울기는 코스터 트리의 경계 위에서의 작용의 비용에서 1을 뺀 값과 같다.
• SL₂(ℤ[i])와 같은 산술 격자에서는 합동 부분군을 따라 랭크 기울기가 0이 되며, 이는 관련 작용의 비용이 1임을 의미한다.
• 고정 비용 문제의 해답이 참이라면, 쌍곡 3차원 다양체에서 히가드 성질과 랭크의 비율은 무한히 커질 수 있다.
• 랭크 대 히가드 성질 추측에 대한 반례는 특수한 것이 아니라, 산술적 쌍곡 3차원 다양체의 渐近적 영역에서 일반적으로 나타난다.
• 이 결과는 Lackenby의 합동 타워에서의 선형 히가드 성질 증가와 랭크 기울기가 0이므로 유도되는 하위군의 선형 이하 증가를 조합함으로써 도출된다.
• Kechris와 Miller의 질문에 대해 부정적인 답변을 제공한다: SL(2,D)가 비용 1을 가질 필요충분조건이 D가 무한히 많은 단위를 가진다는 것인지 여쭤보았는데, 이러한 군들에 대해 비용 1임을 보여줌으로써 이를 반박한다.