[논문 리뷰] Asymptotics of twisted Alexander polynomials and hyperbolic volume

Léo Bénard, Jérôme Dubois외 2명|arXiv (Cornell University)|2019. 12. 30.

Geometric and Algebraic Topology참고 문헌 38인용 수 1

한 줄 요약

이 논문은 측두가 있는 하이퍼볼릭 3차원 다양체의 비틀린 앨리어스터 다항식과 그 하이퍼볼릭 부피 사이의 점근적 관계를 수립한다. 호로니 표현을 SL₂(ℂ)의 (n−1)-번째 대칭거듭제곱과 병합함으로써, 저자들은 이러한 다항식의 단위근에서 평가된 마르코프 측도의 로그 성장률이 n→∞일 때 부피를 4π로 나눈 값으로 균일하게 수렴함을 보인다. 이는 기존의 링크 보존에 대한 결과를 위상수학적 및 호로니 조건 하에 일반적인 유한 부피 하이퍼볼릭 3차원 다양체로 확장한다.

ABSTRACT

For a hyperbolic knot and a natural number n, we consider the Alexander polynomial twisted by the n-th symmetric power of a lift of the holonomy. We establish the asymptotic behavior of these twisted Alexander polynomials evaluated at unit complex numbers, yielding the volume of the knot exterior. More generally, we prove the asymptotic behavior for cusped hyperbolic manifolds of finite volume. The proof relies on results of M\"uller, and Menal-Ferrer and the last author. Using the uniformity of the convergence, we also deduce a similar asymptotic result for the Mahler measures of those polynomials.

연구 동기 및 목표

• 비틀린 앨리어스터 다항식과 측두가 있는 하이퍼볼릭 3차원 다양체의 하이퍼볼릭 부피 사이의 균일한 점근적 관계를 수립하기.
• 기존의 링크 보존에 대한 결과를 다수의 측두를 가진 일반적인 유한 부피 하이퍼볼릭 3차원 다양체로 일반화하기.
• 비틀린 다항식의 로그 마르코프 측도가 점차적으로 부피를 4π로 나눈 값으로 회복됨을 증명하기.
• 특정 추적 조건을 가진 호로니 업그레이드와 함께 대칭거듭제곱 표현을 사용하여 리드마이스터 토르션 접근법을 비틀린 다항식으로 확장하기.

제안 방법

• 호로니 업그레이드의 n번째 대칭거듭제곱 ρₙ을 사용하여 쌍 (M, ¯α ⊗ ρₙ)의 리드마이스터 토르션을 통해 비틀린 앨리어스터 다항식 Δα,n_M를 정의한다.
• 주어진 다항식의 잘 정의성과 위상수학적 일致성을 확보하기 위해 가정 1.2(편경계 토러스를 ℤ로 보낸다)과 가정 1.3(α-장로에서 추적값이 −2이다)을 도입한다.
• 단위 토러스 (S¹)ʳ에서 log|Δα,n_M(ζ₁,…,ζᵣ)| / n²의 균일 수렴성을 이용하여 부피 점근적 성질을 도출한다.
• 뮬러와 메날-페레르-포르티의 분석적 토르션 및 스펙트럴 기하학 결과를 활용하여 토르션의 점근적 행동을 부피 기반으로 통제한다.
• 균일 수렴성을 적용하여 로그 마르코프 측도의 점근적 행동을 유도한다: m(Δα,n_M)/n² → vol(M)/(4π).
• 섬유화된 다양체의 경우 제닝스의 공식과 대칭성을 활용하여 루트들에 대한 log|λ|의 합을 부피와 연결한다.

실험 결과

연구 질문

• RQ1 n→∞일 때, 대칭거듭제곱 표현에 관련된 비틀린 앨리어스터 다항식의 로그 마르코프 측도가 부피의 배수로 수렴하는가?
• RQ2 일반적인 측두가 있는 하이퍼볼릭 3차원 다양체에 대해, 비틀린 앨리어스터 다항식의 단위근에서 평가된 점근적 행동이 균일하게 하이퍼볼릭 부피와 관련이 있는가?
• RQ3 장로에 대한 추적 조건(가정 1.3)이 비틀린 다항식 구성의 일致성과 불변성에 미치는 영향은 무엇인가?
• RQ4 어느 정도까지 리드마이스터 토르션 접근법을 대칭거듭제곱 표현을 사용하여 비콤팩트이고 유한 부피인 하이퍼볼릭 3차원 다양체로 확장할 수 있는가?
• RQ5 이러한 다항식의 마르코프 측도의 정확한 점근적 스케일링은 기하학적 부피와 어떤 관계가 있는가?

주요 결과

• 모든 ζ₁,…,ζᵣ ∈ S¹에 대해, 극한 limₙ→∞ log|Δα,n_M(ζ₁,…,ζᵣ)| / n² = vol(M)/(4π) 가 균일하게 성립한다.
• 로그 마르코프 측도의 점근적 행동은 limₙ→∞ m(Δα,n_M)/n² = vol(M)/(4π) 를 만족한다.
• 섬유화된 다양체의 경우, Δα,n_M의 루트들에 대한 로그 절댓값의 합은 limₙ→∞ (1/n²) ∑|log|λ|| = vol(M)/(2π) 를 만족한다.
• 수렴은 단위 토러스에서 균일하므로, 스펙트럼 및 위상수학적 불변량으로부터 부피를 유도할 수 있다.
• 결과는 가정 1.2와 1.3 하에서 성립하며, 이는 호모로지 3차원 구에서 연결수 0인 링크 외곽에 대해 성립한다.
• 증명은 스펙트럼 이론(Müller), 토르션 점근적 성질(Menal-Ferrer–Porti), 그리고 대칭거듭제곱을 통한 SL₂(ℂ)의 표현 이론에 기반한다.