[논문 리뷰] Ping-pong in Hadamard manifolds

Subhadip Dey, Michael Kapovich외 1명|arXiv (Cornell University)|2018. 06. 19.

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

한 줄 요약

이 논문은 음의 곡률이 끼워진 하다르드 다양체에서 이sov메트리 군에 대한 티츠 대안의 정량적 형태를 확립한다: 두 개의 비타원형 이sov메트리로 생성된 비원소적 이sov메트리 군은 단어 길이가 일정하게 유계된 두 원소로 생성된 자유군을 포함한다. 증명은 이sov메트리의 이동 길이에 기반한 두 경우에 대해 펭귄-논법을 사용하며, 마르골리스 영역, 볼록체, 하이퍼볼릭 기하학을 활용하여 단어 길이와 거듭제곱 N에 대한 명시적 유계를 갖는 자유군을 구성한다.

ABSTRACT

In this paper, we prove a quantitative version of the Tits alternative for negatively pinched manifolds X. Precisely, we prove that a nonelementary discrete isometry subgroup of Isom(X) generated by two non-elliptic isometries g, f contains a free subgroup of rank 2 generated by isometries fN, h of uniformly bounded word length. Furthermore, we show that this free subgroup is convex-cocompact when f is hyperbolic.

연구 동기 및 목표

• n차원 음의 곡률이 끼워진 하다르드 다양체에서 이sov메트리 군에 대한 티츠 대안의 정량적 형태를 확립하는 것.
• 두 비타원형 이sov메트리로 생성된 군에서 단어 길이가 일정하게 유계된 두 이sov메트리로 생성된 랭크 2의 자유군이 존재함을 증명하는 것.
• 생성 이sov메트리가 쌍곡형인 경우, 해당 자유군이 볼록 코컴팩트임을 보이는 것.
• 차원 n과 곡률 끼워짐 상수 κ에 따라 단어 길이와 거듭제곱 N에 대한 명시적 유계를 제공하는 것.
• 2017년 옴베르볼파흐 워크숍에서 제기된, 이 기하적 맥락에서 정량적 티츠 대안에 대한 질문을 해결하는 것.

제안 방법

• 이sov메트리의 이동 길이 τ(g) = infₓ d(x, g(x))를 기반으로 이sov메트리를 쌍곡형, 타원형, 포물형으로 분류한다.
• 증명을 두 경우로 나눈다: (1) τ(f) ≥ ε/10 및 (2) τ(f) ≤ ε/10, 여기서 ε = ε(n, κ)는 마르골리스 상수이다.
• 경우 1(큰 이동 길이)에서는 δ와 ε에 대한 함수로 유계된 N을 갖는 f^N의 거듭제곱을 사용하여 h와 함께 펭귄-논법 쌍을 구성한다.
• 경우 2(작은 이동 길이)에서는 f의 거듭제곱으로 g를 코어이션하여 서로 다른 마르골리스 영역을 갖는 이sov메트리의 집합을 생성하고, 국소-전역 원리를 적용하여 충분히 분리된 볼록체를 갖는 쌍을 찾는다.
• 볼록체의 분리성을 이용하여 조각별 길이가 짧은 곡선을 통한 국소-전역 원리에 기반한 펭귄-논법을 적용한다.
• 스타형 집합은 δ-하이퍼볼릭 공간에서 δ-균근성이며, 근근한 근형 집합의 볼록체는 일정한 유계 이내에 존재한다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 음의 곡률이 끼워진 하다르드 다양체에서 이sov메트리 군에 대한 티츠 대안의 정량적 형태를 확립할 수 있는가?
• RQ2 이러한 군에서 자유군 랭크 2를 생성하는 데 필요한 최소 단어 길이 유계는 무엇인가?
• RQ3 마르골리스 영역과 볼록체의 기하학은 펭귄-논법을 통한 자유군 생성에 어떻게 영향을 미치는가?
• RQ4 이 방법으로 생성된 자유군이 볼록 코컴팩트가 되는 조건은 무엇인가?
• RQ5 차원 n과 곡률 끼워짐 상수 κ에 따라 단어 길이와 거듭제곱 N에 대한 명시적 유계를 유도할 수 있는가?

주요 결과

• 모든 비원소적 이sov메트리 군 ⟨f, g⟩ ⊂ Isom(X)는 두 비타원형 이sov메트리 f, g로 생성되며, f^N과 h로 생성되는 랭크 2의 자유군을 포함한다. 여기서 h의 단어 길이는 최대 L이고, N ≤ L이다. 이때 L = L(n, κ)는 함수이다.
• f가 쌍곡형인 경우, ⟨f^N, h⟩는 볼록 코컴팩트이다. 이는 극한 집합의 여집합에서 작용하는 컴acts fundamental domain을 구성함으로써 보여진다.
• τ(f) ≤ ε/10 인 경우, 증명은 g′ = h^i g h^{-i}와 같이 코어이션된 g′를 구성하여 f와 g′의 ε-마르골리스 영역의 볼록체가 거리 > L(ε/10) 이상으로 분리됨을 보여주며, 이를 통해 펑귄-논법을 적용한다.
• L(n, κ)의 유계는 하이퍼볼릭 공간에서의 체적 비교를 통해 명시적으로 구성되며, 이는 ε/3-구의 체적과 반지름 R2 = nδ + L/2 + q + r(ε) + ε/3인 구의 체적을 포함한다.
• 구성에서 k(L(ε/10), ε) 상수는 V(κR2, n)/κ^n / V(ε/3, n) + 1로 유계가 되며, 이는 적절한 펭귄-논법 쌍을 찾기 위해 확인해야 할 코어이션의 수가 유한함을 보장한다.
• 자유군의 생성자 h의 단어 길이는 최대 2k(L(ε/10), ε) + 1이며, 이는 n과 κ에 대해 일정하게 유계진다.