[논문 리뷰] Classical and quantum dilogarithmic invariants of flat PSL(2,C)-bundles over 3-manifolds

Stéphane Baseilhac, Riccardo Benedetti|arXiv (Cornell University)|2003. 06. 19.

Geometric and Algebraic Topology인용 수 6

한 줄 요약

이 논문은 홀수 N에 대해 ℂ^N ⊗ ℂ^N의 자기동형사상인 행렬 다이로그함수를 도입하며, 장식된 쌍곡 평면 이면 삼각형과 연관지어진다. 이들은 일반화된 다섯 항 항등식을 만족한다. 이러한 불변량은 평탄한 PSL(2,ℂ)-_bundle를 지닌 3-다양체에 대한 상태합을 형성하며, N=1일 때는 고전적 불변량(체적, 초전기-시몬스)을 복원하고, N>1일 때는 날카로운 쌍곡 3-다양체에 대한 새로운 양자 불변량을 정의한다. N→∞일 때의 점점 가까운 체적 추측은 양자 불변량과 기하학적 체적을 연결한다.

ABSTRACT

We introduce a family of matrix dilogarithms, which are automorphisms of C^N tensor C^N, N being any odd positive integer, associated to hyperbolic ideal tetrahedra equipped with an additional decoration. The matrix dilogarithms satisfy fundamental five-term identities that correspond to decorated versions of the 2 --> 3 move on 3-dimensional triangulations. Together with the decoration, they arise from the solution we give of a symmetrization problem for a specific family of basic matrix dilogarithms, the classical (N=1) one being the Rogers dilogarithm, which only satisfy one special instance of five-term identity. We use the matrix dilogarithms to construct invariant state sums for closed oriented 3-manifolds $W$ endowed with a flat principal PSL(2,C)-bundle rho, and a fixed non empty link L if N>1, and for (possibly "marked") cusped hyperbolic 3-manifolds M. When N=1 the state sums recover known simplicial formulas for the volume and the Chern-Simons invariant. When N>$, the invariants for M are new; those for triples (W,L,rho) coincide with the quantum hyperbolic invariants defined in [Topology 43 (2004) 1373-1423], though our present approach clarifies substantially their nature. We analyse the structural coincidences versus discrepancies between the cases N=1 and N>1, and we formulate "Volume Conjectures", having geometric motivations, about the asymptotic behaviour of the invariants when N tends to infinity.

연구 동기 및 목표

• 3-다양체 위의 평탄한 PSL(2,ℂ)-bundle에 대한 고전적 및 양자 다이로그함수 불변량을 통합하는 프레임워크를 구축하는 것.
• 기본 행렬 다이로그함수의 대칭화 문제를 해결하기 위해 쌍곡 평면 이면 삼각형에 장식 구조를 도입하는 것.
• 장식된 I-삼등분법을 사용하여 삼각형에 할당된 행렬 다이로그함수의 총수축을 통해 닫힌 3-다양체에 대한 링크와 평탄한 범주에 대한 상태합 불변량을 정의하는 것.
• 이전에 [3]에서 정의된 양자 쌍곡 불변량(QHI)의 기하학적 및 대수학적 성격을 명확히 하여, 이들이 이 구성에서 자연스럽게 유도됨을 보여주는 것.
• N→∞일 때의 양자 불변량의 점점 가까운 행동을 기반으로 한 체적 추측을 제안하고, 이를 기하학적 체적과 자른 다이아몬드 동치류와 연결하는 것.

제안 방법

• 홀수 N에 대해 ℂ^N ⊗ ℂ^N의 자기동형사상으로서 행렬 다이로그함수를 정의하며, 이는 장식된 쌍곡 평면 이면 삼각형과 연관된다.
• 행렬 다이로그함수가 완전한 다섯 항 항등식을 만족하도록 삼각형에 장식 구조를 도입하여, N=1일 때 고전적 로저스 다이로그함수를 일반화한다.
• 3-다양체의 장식된 I-삼등분법에서 삼각형에 할당된 행렬 다이로그함수의 총수축을 통해 상태합 불변량을 구성한다.
• 이 불변량을 사용하여 N=1일 때는 체적과 초전기-시몬스 불변량의 기존 단순형 공식을 복원하고, N>1일 때는 날카로운 쌍곡 3-다양체에 대한 새로운 불변량을 정의한다.
• 자른 다이아몬드 동치류를 통해 고전적 불변량과 보편 제2 체거-체어닝-시몬스 클래스 사이의 연결 고리를 확립한다.
• N→∞일 때 H_N(M)과 H_N(W,L,ρ)의 점점 가까운 행동에 대한 체적 추측을 제안하며, 주요 항이 기하학적 체적과 자른 다이아몬드 동치류와 관련됨을 보여준다.

실험 결과

연구 질문

• RQ1 장식된 쌍곡 삼각형에 대해 행렬 다이로그함수를 어떻게 구성할 수 있으며, 이는 N=1일 때 고전적 로저스 다이로그함수를 일반화하는가?
• RQ2 이러한 행렬 다이로그함수를 통해 정의된 상태합 불변량은 N=1일 때 기존의 고전적 불변량(체적, 초전기-시몬스)을 복원하고, N>1일 때 날카로운 쌍곡 3-다양체에 대해 새로운 불변량을 정의하는가?
• RQ3 체적 추측에 따르면, 날카로운 다면체에 대한 양자 불변량 H_N(M)은 N→∞일 때 오직 I_fc-자른 다이아몬드 동치류에만 의존하는가?
• RQ4 닫힌 3-다양체에 링크와 평탄한 범주가 있을 때, H_N(W,L,ρ)의 양자 불변량은 N과 다면체의 기하학적 복잡도가 증가함에 따라 점점 가까운 행동을 어떻게 보이는가?
• RQ5 양자 불변량의 점점 가까운 행동은 N→∞ 근처에서 정확한 성장률을 통해 기하학적 체적과 연결될 수 있는가?

주요 결과

• 행렬 다이로그함수는 삼각형의 2→3 이동에 대응하는 완전한 다섯 항 항등식을 만족하며, N=1일 때 고전적 로저스 다이로그함수를 일반화한다.
• N=1일 때 상태합 불변량은 평탄한 PSL(2,ℂ)-bundle에 대한 고전적 단순형 체적 및 초전기-시몬스 불변량 공식을 복원한다.
• N>1일 때 날카로운 쌍곡 3-다양체에 대한 불변량 H_N(M)은 새로운 것으로서, 이전에 [3]에서 정의된 양자 쌍곡 불변량(QHI)과 일치하지만, 이제는 더 명확한 기하학적 및 대수학적 기반을 지닌다.
• 고전적 불변량 H_1(X)는 다면체의 I_f-자른 다이아몬드 동치류 위에서 보편 제2 체거-체어닝-시몬스 클래스의 값과 같다.
• 날카로운 다면체에 대한 체적 추측은 H_N(M)^N의 주요 항이 N→∞일 때 exp((1/iπ)R(M))의 비율로 지수적으로 증가한다고 예측한다. 여기서 R(M)은 쌍곡 체적이다.
• 이 추측은 수렴하는 수열 (W_n,L_n,ρ_n)에 대해 확장되며, H_N(W_n,L_n,ρ_n)의 점점 가까운 행동이 오직 극한의 자른 다이아몬드 동치류에만 의존한다는 것을 시사한다.