[논문 리뷰] Inverted state sums, inverted Habiro series, and indefinite theta functions

Sunghyuk Park|arXiv (Cornell University)|2021. 06. 07.

Geometric and Algebraic Topology인용 수 5

한 줄 요약

이 논문은 Gukov와 Manolescu가 제기한 추측을 증명한다. 즉, 색칠된 잼스 다항식의 Melvin-Morton-Rozansky 전개는 일반적인 링크들, 특히 모든 동차 브레이드 링크와 10개 이하의 교차수를 가진 모든 편평한 뭉치고리에 대해 두 변수 급수 $F_K(x,q)$로 재합산될 수 있다. 큰 색깔 $R$-행렬과 역행 Habiro 급수를 기반으로 한 '역행 상태 합' 구조를 사용하여, 수렴성을 확보하고 $F_K$와 3차원 다양체의 $\hat{Z}$ 불변량 간의 정규화된 수술 공식을 유도한다. 궁극적으로 플럼프드 3차원 다양체의 $\hat{Z}$ 불변량은 비정재적 테타 함수를 통해 표현된다.

ABSTRACT

S. Gukov and C. Manolescu conjectured that the Melvin-Morton-Rozansky expansion of the colored Jones polynomials can be re-summed into a two-variable series $F_K(x,q)$, which is the knot complement version of the 3-manifold invariant $\\hat{Z}$ whose existence was predicted earlier by S. Gukov, P. Putrov and C. Vafa. In this paper we use an inverted version of the R-matrix state sum to prove this conjecture for a big class of links that includes all homogeneous braid links as well as all fibered knots up to 10 crossings. We also study an inverted version of Habiro's cyclotomic series that leads to a new perspective on $F_K$ and discovery of some regularized surgery formulas relating $F_K$ with $\\hat{Z}$. These regularized surgery formulas are then used to deduce expressions of $\\hat{Z}$ for some plumbed 3-manifolds in terms of indefinite theta functions.

연구 동기 및 목표

• Gukov-Manolescu 추측을 증명한다. 즉, 넓은 범위의 링크들에 대해 Melvin-Morton-Rozansky 전개가 두 변수 급수 $F_K(x,q)$로 재합산될 수 있음을 보인다.
• 큰 색깔 $R$-행렬 상태 합의 수렴 범위를 양의 브레이드 뭉치고리의 경우를 초월해 확장하기 위해 '역행' 기법을 도입한다.
• Habiro의 순환 급수의 역행 버전을 개발하여 $F_K$에 대한 새로운 닫힌 형태 표현식을 제공한다.
• 정규화된 수술 공식을 도출하여 $F_K$와 $\hat{Z}$ 불변량 간의 관계를 설정한다.
• 플럼프드 3차원 다양체의 $\hat{Z}$ 불변량을 비정재적 테타 함수로 표현한다.

제안 방법

• 큰 색깔 $R$-행렬 상태 합의 합산 범위를 역행시켜, $x^{-1}$와 $q$에 대한 수렴성을 확보하는 '역행 상태 합'을 도입한다.
• 기하 급수 항등식 $\sum_{n\geq 0} z^n = -\sum_{n<0} z^n$에 영감을 얻은 역행 기법을 상태 합에 적용하여, 동차 브레이드 링크로의 수렴 범위를 확장한다.
• Habiro의 순환 급수를 음의 거듭제곱으로 재표현하여 '역행 Habiro 급수'를 정의함으로써, 단순한 경우(예: 삼각형, 여덟자형 링크)에서 $F_K$에 대한 닫힌 형태를 도출한다.
• 결정된 상태 합과 $\hat{Z}$ 불변량 간의 관계를 수립하기 위해 정규화된 수술 공식을 유도한다.
• 역행 상태 합과 $\hat{Z}$ 간의 연결 고리를 활용하여, 플럼프드 3차원 다양체의 $\hat{Z}$ 불변량을 비정재적 테타 함수로 표현한다.
• 명시적인 브레이드 표현식과 역행 데이터를 사용하여, 10개 이하의 교차수를 가진 모든 편평한 뭉치고리에 대해 결과를 검증한다.

실험 결과

연구 질문

• RQ1 동차 브레이드 링크와 편평한 뭉치고리에 대해 Melvin-Morton-Rozansky 전개가 수렴하는 두 변수 급수 $F_K(x,q)$로 재합산될 수 있는가?
• RQ2 큰 색깔 $R$-행렬 접근법에서 수렴 문제를 해결하기 위해 상태 합의 역행 기법이 어떻게 작용하는가?
• RQ3 Habiro 급수의 역행 버전이 $F_K$에 대한 닫힌 형태 표현식을 제공할 수 있는가?
• RQ4 어떤 정규화된 수술 공식이 $F_K$와 3차원 다양체의 $\hat{Z}$ 불변량 간의 관계를 설정하는가?
• RQ5 이러한 구성들을 통해 플럼프드 3차원 다양체의 $\hat{Z}$ 불변량을 비정재적 테타 함수로 표현할 수 있는가?

주요 결과

• Gukov와 Manolescu의 추측은 역행 상태 합 구조를 통해 모든 동차 브레이드 링크에 대해 참으로 증명된다.
• 역행 상태 합은 동차 브레이드 링크에 대해 $x^{-1}$와 $q$에 대한 거듭제곱 급수로서 절대 수렴한다.
• 10개 이하의 교차수를 가진 모든 편평한 뭉치고리에 대해 $F_K$에 대한 상태 합 표현식이 존재함을 보여주며, 이는 양의 브레이드 경우를 초월한다.
• 역행 Habiro 급수를 통해 단순한 경우(예: 삼각형, 여덟자형 링크)에서 $F_K$에 대한 닫힌 형태 표현식이 제공된다.
• 정규화된 수술 공식이 유도되어, 뭉치고리의 $F_K$와 그에 대한 디한 수술에서의 $\hat{Z}$ 불변량 간의 관계를 설정한다.
• 유도된 수술 공식을 활용하여 플럼프드 3차원 다양체의 $\hat{Z}$ 불변량을 비정재적 테타 함수로 표현한다.