[논문 리뷰] The primitivity index function for a free group, and untangling closed curves on hyperbolic surfaces. With an appendix by Khalid Bou-Rabee

Neha Gupta, Ilya Kapovich|arXiv (Cornell University)|2014. 11. 20.

Geometric and Algebraic Topology참고 문헌 43인용 수 3

한 줄 요약

이 논문은 자유군에 대한 원시성 지수 함수를 도입하고 분석하며, 잔여 유한성 및 하이퍼볼릭 표면 위상수학과의 연결 고리를 규명한다. 원시성 지수 함수가 잔여 유한성 성장과 관련된 함수보다 최소한 같은 속도로 증가함을 증명함으로써, 하이퍼볼릭 표면의 유한 피복에서 닫힌 지오데식을 풀어내는 데 있어 처음으로 비자명한 하한을 확보한다.

ABSTRACT

Motivated by the results of Scott and Patel about "untangling" closed geodesics in finite covers of hyperbolic surfaces, we introduce and study primitivity, simplicity and non-filling index functions for finitely generated free groups. We obtain lower bounds for these functions and relate these free group results back to the setting of hyperbolic surfaces. An appendix by Khalid Bou-Rabee connects the primitivity index function to the residual finiteness growth function for $F_N$.

연구 동기 및 목표

• 유한 생성 자유군에 대한 원시성 지수 함수를 정의하고 분석하며, 특히 부분군 분리성과 원시 원소와의 관계를 다룬다.
• 원시성 지수 함수에 대한 하한을 확립함으로써, 하이퍼볼릭 표면 위의 닫힌 지오데식을 단순 곡선이나 비채움 곡선으로 올리기 위해 필요한 유한 피복의 최소 차수에 대한 하한을 제공한다.
• 자유군의 잔여 유한성 성장 함수와 원시성 지수 함수를 연결함으로써 기하군 이론의 결과를 활용한다.
• 스코트와 파타엘의 부분군 분리성 및 곡선 올림에 관한 결과들에 기반한, 유한 피복에서 닫힌 지오데식을 풀어내는 양적 행동을 다룬다.
• 자유군에서의 원시성 지수 함수 $ f_{\text{prim}}(n; F_N) $에 대한 처음으로 알려진 하한을 제공한다. 이 함수는 군 원소를 유한지수 부분군에서 원시 원소로 표현하기 위해 필요한 최소 피복 차수를 제어한다.

제안 방법

• 원시성 지수 $ d_{\text{prim}}(g; F_N) $를 정의한다. 이는 $ g $ 가 원시 원소가 되는 유한지수 부분군 $ H \trianglelefteq F_N $ 중에서 최소 인덱스이다.
• 비자명하고 진부분거듭제곱이 아닌 원소 $ g \in F_N $ 중에서 단어 길이 $ \leq n $ 인 원소들에 대해 $ d_{\text{prim}}(g) $ 의 최댓값으로 원시성 지수 함수 $ f_{\text{prim}}(n; F_N) $ 를 정의한다.
• 핵심 부등식을 확립한다: $ \operatorname{RF}_G(n) \leq f_{\text{prim}}(4n+4) $, 이는 원시성 지수 함수와 잔여 유한성 성장 함수 $ \operatorname{RF}_G(n) $ 를 연결한다.
• 코즈마와 톰의 잔여 유한성 성장에 관한 깊이 있는 결과를 적용하여 하한을 도출한다: $ f_{\text{prim}}(4n+4) \geq \exp\left(\left(\frac{\log n}{C\log\log n}\right)^{1/4}\right) $.
• 서로 교환하지 않는 원소 $ w_n, a \in F_N $ 를 사용하여 교환자 구조 $ \gamma_n = [w_n, w_n^a] $ 를 구성함으로써 $ \gamma_n $ 가 진부분거듭제곱이 아니라고 보장한다. 이는 원시성 추론을 가능하게 한다.
• 만약 $ \gamma_n $ 가 $ H $ 에서 원시 원소이면, $ w_n $ 또는 $ w_n^a $ 는 $ H $ 에 속할 수 없으므로 $ [F_N : H] \geq \operatorname{D}(w_n) = \operatorname{RF}_G(n) $ 가 되며, 이로 인해 주요 부등식이 유도된다.

실험 결과

연구 질문

• RQ1 자유군 $ F_N $ (랭크 $ N \geq 2 $) 에서 원시성 지수 함수 $ f_{\text{prim}}(n; F_N) $ 의 渐近적 성장률은 무엇인가?
• RQ2 자유군에서 원시성 지수 함수는 잔여 유한성 성장 함수 $ \operatorname{RF}_G(n) $ 와 어떻게 관련되어 있는가?
• RQ3 하이퍼볼릭 표면의 유한 피복에서 닫힌 지오데식을 단순 곡선이나 비채움 곡선으로 올리기 위해 필요한 최소 차수에 대해 어떤 하한을 확립할 수 있는가?
• RQ4 원시성 지수 함수는 하이퍼볼릭 표면의 유한 피복에서 닫힌 지오데식을 풀어내는 복잡성의 척도로 사용될 수 있는가?
• RQ5 자유군에서 원시성 지수 함수와 잔여 유한성 성장 함수는 같은 渐近적 행동을 보이는가?

주요 결과

• 논문은 원시성 지수 함수에 대해 처음으로 비자명한 하한을 확립한다: 어떤 상수 $ C > 0 $ 와 충분히 큰 $ n $ 에 대해 $ f_{\text{prim}}(4n+4) \geq \exp\left(\left(\frac{\log n}{C\log\log n}\right)^{1/4}\right) $ 이다.
• 논문은 $ \operatorname{RF}_G(n) \leq f_{\text{prim}}(4n+4) $ 를 증명함으로써, 원시성 지수 함수가 인덱스에 선형 이동이 있는 정도로 잔여 유한성 성장 함수를 지배함을 보였다.
• 바바이의 캐슬리 그래프 지름에 관한 추측을 가정하면, 하한이 $ f_{\text{prim}}(4n+4) \geq n^{1/(C\log\log n)} $ 로 향상된다.
• 결과들은 하이퍼볼릭 표면에서 길이 $ L $ 인 닫힌 지오데식을 단순 곡선이나 비채움 곡선으로 올리기 위해 필요한 최소 피복 차수가 최소한 $ \exp\left(\left(\frac{\log L}{C\log\log L}\right)^{1/4}\right) $ 의 순서로 증가함을 시사한다.
• 논문은 길이 $ \leq L $ 인 닫힌 지오데식을 올리기 위한 최대 최소 피복 차수를 측정하는 함수 $ f_{\Sigma}(L) $ 에 대해 처음으로 알려진 하한을 해결하였다.
• 원시성과 잔여 유한성 간의 연결 고리는 원시성 지수 함수가 이전에 이해된 것보다 자유군 내에서 더 깊은 구조적 복잡성을 반영한다는 것을 드러낸다.