[논문 리뷰] Knots, Perturbative Series and Quantum Modularity

Stavros Garoufalidis, Don Zagier|arXiv (Cornell University)|2021. 11. 12.

Geometric and Algebraic Topology참고 문헌 85인용 수 4

한 줄 요약

이 논문은 초구면 끈에 대해 유리수 모od 1에서 값이 Q[[h]]의 멤버를 갖는 행렬로 가는 행렬 값 불변량 Φα(h)를 제안한다. 이 불변량은 카샤에프 불변량과 섭동 급수를 일반화하며, SL2(Z)-코사이클 Wγ를 통해 양자 모듈리터리티를 나타내며, Habiro 유사 링과 q-차분 방정식을 통해 양자 불변량, q-급수, 모듈라 성질을 통합하는 프레임워크를 제공한다. 4₁, 5₂, 및 (−2,3,7) 프리젤 끈에 대해 명시적인 계산이 수행되었다.

ABSTRACT

We introduce an invariant of a hyperbolic knot which is a map $α\mapsto \boldsymbolΦ_α(h)$ from $\mathbb{Q}/\mathbb{Z}$ to matrices with entries in $\overline{\mathbb{Q}}[[h]]$ and with rows and columns indexed by the boundary parabolic ${ m SL}_2(\mathbb{C})$ representations of the fundamental group of the knot. These matrix invariants have a rich structure: (a) their $(σ_0,σ_1)$ entry, where $σ_0$ is the trivial and $σ_1$ the geometric representation, is the power series expansion of the Kashaev invariant of the knot around the root of unity ${ m e}^{2π{ m i} α}$ as an element of the Habiro ring, and the remaining entries belong to generalized Habiro rings of number fields; (b) the first column is given by the perturbative power series of Dimofte-Garoufalidis; (c) the columns of $\boldsymbolΦ$ are fundamental solutions of a linear $q$-difference equation; (d) the matrix defines an ${ m SL}_2(\mathbb{Z})$-cocycle $W_γ$ in matrix-valued functions on $\mathbb{Q}$ that conjecturally extends to a smooth function on $\mathbb{R}$ and even to holomorphic functions on suitable complex cut planes, lifting the factorially divergent series $\boldsymbolΦ(h)$ to actual functions. The two invariants $\boldsymbolΦ$ and $W_γ$ are related by a refined quantum modularity conjecture which we illustrate in detail for the three simplest hyperbolic knots, the $4_1$, $5_2$ and $(-2,3,7)$ pretzel knots. This paper has two sequels, one giving a different realization of our invariant as a matrix of convergent $q$-series with integer coefficients and the other studying its Habiro-like arithmetic properties in more depth.

연구 동기 및 목표

• 초구면 끈에 대해 카샤에프 불변량과 섭동 급수를 일반화하는 행렬 값 불변량 Φα(h)를 정의하는 것.
• Φα(h)와 SL2(Z)-코사이클 Wγ 사이의 정교한 양자 모듈리터리티 추측을 수립하는 것.
• Φα(h)가 선형 q-차분 방정식을 만족하고, R 또는 복소수 컷 평면 위에서 매끄럽거나 해석적 함수로 올라갈 수 있음을 보이는 것.
• 4₁, 5₂, 및 (−2,3,7) 프리젤 끈에 대해 Φα(h)의 명시적 계산을 제공하여 낮은 복잡도 사례에서 추측을 검증하는 것.

제안 방법

• 끈 군의 경계 평행 SL2(C) 표현을 색인으로 하는 Q[[h]]의 원소를 갖는 행렬로 Φα(h)를 구성한다.
• Φα(h)의 (σ₀,σ₁) 성분이 Habiro 링에서 카샤에프 불변량의 멱급수 전개임을 증명한다.
• Φα(h)의 첫 번째 열이 Dimofte–Garoufalidis의 섭동 급수와 일치함을 보인다.
• Φα(h)의 열들이 선형 q-차분 방정식의 기본 해임을 보인다.
• Φα(h)로부터 SL2(Z)-코사이클 Wγ를 정의하고, 이를 R 또는 복소수 컷 평면 위의 매끄럽거나 해석적 함수로 확장할 수 있음을 추측한다.
• 점근 해석학과 대수적 수론을 활용하여 특정 끈에 대한 Φα(h)의 계수를 계산하며, 고정밀 산술을 사용한 O(N) 알고리즘을 통해 61 끈의 계산을 수행한다.

실험 결과

연구 질문

• RQ1 카샤에프 불변량은 Q/Z에서 값이 Q[[h]]인 행렬 값 함수로 어떻게 일반화될 수 있는가?
• RQ2 Habiro 링과 그 일반화는 초구면 끈의 양자 불변량을 어떻게 코딩하는가?
• RQ3 Dimofte–Garoufalidis의 섭동 급수는 행렬 Φα(h)의 첫 번째 열로 어떻게 나타나는가?
• RQ4 행렬 Φα(h)는 어떤 의미에서 양자 모듈리터리티 성질을 만족하며, 이는 코사이클 Wγ에 어떻게 반영되는가?
• RQ5 발산 급수인 Φα(h)는 코사이클 구성에 의해 실제로 매끄럽거나 해석적 함수로 올라갈 수 있는가?

주요 결과

• Φα(h)의 (σ₀,σ₁) 성분은 Habiro 링에서 카샤에프 불변량의 멱급수 전개이며, 계수는 Q[[h]]에 속한다.
• Φα(h)의 첫 번째 열은 Dimofte–Garoufalidis의 섭동 급수와 일치하여 기존 점근 전개와의 일致성을 확인한다.
• Φα(h)의 열들은 선형 q-차분 방정식의 기본 해이며, 깊은 대수적 구조를 나타낸다.
• 4₁, 5₂, 및 (−2,3,7) 프리젤 끈에 대해, 행렬 Φα(h)와 관련된 코사이클 Wγ는 양자 모듈리터리티를 나타내며, 명시적인 수치적 검증이 이루어졌다.
• 61 끈에 대해, 첫 번째 세 개의 계수는 고정밀 O(N) 알고리즘을 사용해 수치적으로 계산되었으며, [14]의 예측을 통해 대수적 수로 식별되었다.
• 코사이클 Wγ를 통해 행렬 Φα(h)는 R 위의 매끄러운 함수 또는 복소수 컷 평면 위의 해석적 함수로 올라갈 수 있으며, 계산된 팩터리얼 발산을 해결할 수 있을 것으로 추측된다.