[논문 리뷰] Rationality of the SL(2,C)-Reidemeister torsion in dimension 3

Jérôme Dubois, Stavros Garoufalidis|arXiv (Cornell University)|2009. 08. 12.

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

한 줄 요약

이 논문은 하나의 쿠스와 2- torsion이 없는 유한 체적 히perspace 3-다양체에 대해 SL(2,C)-Reidemeister torsion이 특성 다양체 위에서 유리 함수이며, 최대 제곱수 확장 내에 존재함을 증명한다. 이는 양자 topology에서 점 渐近 불변량의 유리성에 대한 지지를 제공한다.

ABSTRACT

If $M$ is a finite volume complete hyperbolic 3-manifold with one cusp and no 2-torsion, the geometric component $X_M$ of its $\SL(2,\BC)$-character variety is an affine complex curve, which is smooth at the discrete faithful representation $ρ_0$. Porti defined a non-abelian Reidemeister torsion in a neighborhood of $ρ_0$ in $X_M$ and observed that it is an analytic map, which is the germ of a unique rational function on $X_M$. In the present paper we prove that (a) the torsion of a representation lies in at most quadratic extension of the invariant trace field of the representation, and (b) the existence of a polynomial relation of the torsion of a representation and the trace of the meridian or the longitude. We postulate that the coefficients of the $1/N^k$-asymptotics of the Parametrized Volume Conjecture for $M$ are elements of the field of rational functions on $X_M$.

연구 동기 및 목표

• 하나의 쿠스와 2- torsion이 없는 히퍼볼릭 3-다양체의 맥락에서 SL(2,C)-Reidemeister torsion의 유리성을 확립하는 것.
• 표현의 관 invariant 추적 필드의 최대 제곱수 확장 내에 표현의 토퍼션이 존재함을 보여주는 것.
• 특성 다양체에서 토퍼션과 위상 또는 장축의 추적 사이에 다항식 관계가 존재함을 증명하는 것.
• 1/N^k 점근 전개에서 볼륨 추측의 계수들이 특성 다양체 위의 유리 함수로 표현될 수 있음을 지지하는 것.

제안 방법

• 히퍼볼릭 3-다양체 $M$의 SL(2,C)-특성 다양체의 기하적 성분 $X_M$을 사용하며, 이는 $\rho_0$에서의离산 충실 표현에서 매끄럽다.
• Porti의 비아벨리안 Reidemeister 토퍼션 정의를 $\rho_0$의 근방에서 분석 함수로 적용하며, 이는 $X_M$ 위의 유리 함수의 절편으로 나타남을 보였다.
• 확장된 표현 이론과 형태 필드 이론을 활용하여 특성 다양체의 계수 필드를 분석한다.
• 이deal 삼각형 분할과 부착 방정식을 사용하여 특성 다양체와 그 유리 함수를 기술한다.
• 아핀 곡선의 함수체의 추천 차수 1 성질을 포함한 대수기하학의 결과를 적용하여 토퍼션 함수의 유리성을 유도한다.
• A-다항식과 그 토퍼션과의 관계를 고려하며, 공식 $\tau_\mu = \tau_\lambda \cdot \left(\frac{\operatorname{tr}_\lambda^2 - 4}{\operatorname{tr}_\mu^2 - 4}\right)^{1/2} \cdot \frac{\partial \operatorname{tr}_\mu}{\partial \operatorname{tr}_\lambda}$ 를 통해 토퍼션과 단위의 모노드로미 추적을 연결한다.

실험 결과

연구 질문

• RQ1 하나의 쿠스와 2- torsion이 없는 히퍼볼릭 3-다양체에 대해 SL(2,C)-Reidemeister 토퍼션이 특성 다양체 위에서 유리 함수인가?
• RQ2 표현의 토퍼션은 그 표현의 관 invariant 추적 필드의 어떤 정도의 대수적 확장 내에 존재하는가?
• RQ3 특성 다양체에서 토퍼션과 위상 또는 장축의 추적 사이에 다항식 관계가 존재하는가?
• RQ4 볼륨 추측의 1/N^k 전개에서의 점근 계수들은 특성 다양체 위의 유리 함수로 표현될 수 있는가?
• RQ5 비아벨리안 Reidemeister 토퍼션은 경계 토러스의 적절한 곡선의 선택에 따라 어떻게 달라지는가?

주요 결과

• 비아벨리안 Reidemeister 토퍼션은 SL(2,C)-특성 다양체 $X_M$ 위의 유리 함수의 절편이며, 이는 아핀 복소 곡선이다.
• 모든 표현의 토퍼션은 그 표현의 관 invariant 추적 필드의 최대 제곱수 확장 내에 존재한다.
• 특성 다양체에서 표현의 토퍼션과 위상 또는 장축의 추적 사이에 다항식 관계가 존재한다.
• 특성 다양체 $X_M$ 위의 유리 함수 체는 Parametrized 볼륨 추측의 1/N^k 전개에서 모든 점근 계수를 포함한다.
• 콤팩티피케이션된 특성 다양체 $\overline{X}_{M,\mathrm{SL}(2,\mathbb{C})}$ 위에서 토퍼션 함수 $\tau_\gamma$는 유리 함수이며, 이는 적절한 곡선 $\gamma$에 대한 의존성은 A-다항식에 의해 결정된다.
• 토퍼션은 변환 법칙 $\tau_\mu = \tau_\lambda \cdot \left(\frac{\operatorname{tr}_\lambda^2 - 4}{\operatorname{tr}_\mu^2 - 4}\right)^{1/2} \cdot \frac{\partial \operatorname{tr}_\mu}{\partial \operatorname{tr}_\lambda}$ 를 만족하며, 이는 A-다항식을 통해 위상과 장축의 토퍼션을 연결한다.