[논문 리뷰] Gromov norm and Turaev-Viro invariants of 3-manifolds

Renaud Detcherry, Efstratia Kalfagianni|arXiv (Cornell University)|2017. 05. 28.

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

한 줄 요약

이 논문은 3차원 다중체의 Turaev-Viro 불변량의 대규모 점근적 행동과 Gromov 노름 사이의 직접적인 관계를 수립한다. TQFT, 기하적 분해, 그리고 6j-기호의 해석적 추정을 조합하여, $TV_r(M)$의 상대적 성장률이 Gromov 노름에 대한 선형 함수로 위쪽으로 유계임을 증명한다. 명시적인 보편 상수를 포함한다. 핵심 결과는 $LTV(M) \leq C \|M\|$ 형태의 보편 상한으로, 토러스 경계를 가진 컴act이고 올림형 3차원 다중체에 대해 성립하며, 지수적 성장이 일어나는 $SO(3)$-Turaev-Viro 불변량을 갖는 무한한 수의 히퍼볼릭 3차원 다중체 가닥을 구성한다.

ABSTRACT

We establish a relation between the "large r" asymptotics of the Turaev-Viro invariants $TV_r$ and the Gromov norm of 3-manifolds. We show that for any orientable, compact 3-manifold $M$, with (possibly empty) toroidal boundary, $\log |TV_r (M)|$ is bounded above by a function linear in $r$ and whose slope is a positive universal constant times the Gromov norm of $M$. The proof combines TQFT techniques, geometric decomposition theory of 3-manifolds and analytical estimates of $6j$-symbols. We obtain topological criteria that can be used to check whether the growth is actually exponential; that is one has $\log| TV_r (M)|\geqslant B \ r$, for some $B>0$. We use these criteria to construct infinite families of hyperbolic 3-manifolds whose $SO(3)$ Turaev-Viro invariants grow exponentially. These constructions are essential for the results of [DK:AMU] where the authors make progress on a conjecture of Andersen, Masbaum and Ueno about the geometric properties of surface mapping class groups detected by the quantum representations. We also study the behavior of the Turaev-Viro invariants under cutting and gluing of 3-manifolds along tori. In particular, we show that, like the Gromov norm, the values of the invariants do not increase under Dehn filling and we give applications of this result on the question of the extent to which relations between the invariants $TV_r$ and hyperbolic volume are preserved under Dehn filling. Finally we give constructions of 3-manifolds, both with zero and non-zero Gromov norm, for which the Turaev-Viro invariants determine the Gromov norm.

연구 동기 및 목표

• 3차원 다중체의 Gromov 노름에 관해 Turaev-Viro 불변량의 점근적 성장률에 대한 보편 상한을 수립하는 것.
• 성장률이 지수적일 조건, 즉 $\log|TV_r(M)| \geq Br$ ($B > 0$)일 때의 위상적 기준을 제공하는 것.
• Turaev-Viro 불변량이 토러스를 따라의 Dehn 채움과 접합에서 어떻게 행동하는지 연구하며, 이러한 연산에서 증가하지 않는다는 것을 보여주는 것.
• 지수적 성장이 일어나는 $SO(3)$-Turaev-Viro 불변량을 갖는 명시적 히퍼볼릭 3차원 다중체의 가닥을 구성하는 것.
• 일부 3차원 다중체의 범주에서, Turaev-Viro 불변량이 Gromov 노름을 결정할 수 있는 정도를 연구하며, 노름이 0이거나 0이 아닌 경우 모두 포함한다.

제안 방법

• 저자들은 수준 $r$에서 Turaev-Viro 불변량의 구조를 분석하기 위해 TQFT 기법을 사용하며, 특히 $q = e^{2\pi i / r}$인 $SO(3)$-이론에 집중한다.
• 3차원 다중체의 기하적 분해 이론, 특히 JSJ 분해와 히퍼볼릭 기하학을 적용하여 $M$의 위상적 및 기하적 구조를 분석한다.
• 함수 $v(\alpha,\beta,\gamma) = \Lambda(\alpha + \beta + \gamma) + \Lambda(\alpha + \beta - \gamma) + \Lambda(\alpha + \gamma - \beta) + \Lambda(\beta + \gamma - \alpha)$의 점근 전개와 임계점 분석을 통해 $6j$-기호의 해석적 추정을 유도한다. 여기서 $\Lambda(x) = -\frac{1}{2} \log|2\sin x|$이다.
• 함수 $v$의 임계점을 분석하여 $6j$-기호 기여의 최대값을 유계로 제한하며, 이로 인해 $\max v = \frac{v_8}{4}$를 도출한다. 여기서 $v_8 \simeq 1.83419$이다.
• 전체 Turaev-Viro 진폭에 대해 변수 $Z, A_i, U_j, V_k$에 대해 함수 $g$를 분석하고, 그 최대값이 $8\Lambda(\pi/8) \simeq 3.927488$임을 보여, 불변량에 대한 지배적 기여를 한다.
• 이러한 점근적 유계를 다중체의 분해에서 유도된 위상적 제약 조건과 결합하여, 보편적인 선형 상한 $LTV(M) \leq C\|M\|$를 도출하며, 여기서 $C \approx 8.3581 \times 10^9$이다.

실험 결과

연구 질문

• RQ1 3차원 다중체 $M$의 Gromov 노름 $\|M\|$에 대해, $r \to \infty$일 때 Turaev-Viro 불변량 $TV_r(M)$의 점근적 성장률은 어떻게 되는가?
• RQ2 Turaev-Viro 불변량이 지수적으로 성장하는 위상적 조건은 무엇인가? 즉, 어떤 $B > 0$에 대해 $\log|TV_r(M)| \geq Br$가 성립하는가?
• RQ3 Turaev-Viro 불변량은 Dehn 채움과 토러스를 따라의 접합에서 어떻게 행동하는가? Gromov 노름과 유사한 단조성 성질을 만족하는가?
• RQ4 지수적 성장이 일어나는 $SO(3)$-Turaev-Viro 불변량을 갖는 명시적 히퍼볼릭 3차원 다중체의 가닥을 구성할 수 있는가?
• RQ5 Turaev-Viro 불변량은 어떤 정도까지 Gromov 노름을 결정할 수 있는가? 노름이 0이거나 0이 아닌 경우 모두 포함하여.

주요 결과

• 논문은 보편 상한을 수립한다: 모든 경계가 공집이거나 토러스인 컴팩트이고 올림형 3차원 다중체에 대해 $LTV(M) \leq C\|M\|$이며, 여기서 $C \approx 8.3581 \times 10^9$이다.
• 대부분의 히퍼볼릭 링크 $L \subset S^3$에 대해, 이 상한은 $LTV(S^3 \setminus L) \leq 10.5 \cdot \mathrm{vol}(S^3 \setminus L)$으로 향상되며, 임의로 1에 가까운 $E > 1$에 대해 무한한 가닥이 존재하여 $LTV(M) \leq E \cdot \mathrm{vol}(M)$임을 보여준다.
• 저자들은 지수적 성장이 일어나는 $SO(3)$-Turaev-Viro 불변량을 갖는 무한한 수의 히퍼볼릭 3차원 다중체의 가닥을 구성하였으며, 이는 어떤 $B > 0$에 대해 $\log|TV_r(M)| \geq Br$를 만족한다. 이는 위상적 기준이 있는 첫 번째 예시이다.
• Turaev-Viro 불변량은 Dehn 채움에서 증가하지 않으며, Gromov 노름의 행동과 유사하다. 이 단조성은 채움에 따른 $TV_r$과 히퍼볼릭 부피 사이의 관계의 안정성을 연구하는 데 사용된다.
• $S^3$ 또는 $S^1 \times S^2$에 있는 링크에 대해 Gromov 노름이 0인 경우, 불변량은 $lTV(M) = LTV(M) = 0$를 만족하며, 이는 $TV_r$이 이러한 경우 Gromov 노름의 0화를 감지함을 보여준다.
• 논문은 Gromov 노름이 0이 아닌 3차원 다중체의 명시적 가닥을 구성하였으며, 이들에 대해 $LTV(M) = \|M\|$임을 보여, Turaev-Viro 불변량이 특정 위상적 맥락에서 Gromov 노름을 정확히 복원할 수 있음을 입증한다.