[논문 리뷰] On the characteristic and deformation varieties of a knot

Stavros Garoufalidis|ArXiv.org|2003. 06. 15.

Geometric and Algebraic Topology참고 문헌 24인용 수 130

한 줄 요약

이 논문은 $q$-홀로노믹한 색칠된 조지 함수로부터 유도된 기하적 불변량으로서 링크의 특성 다양체를 제안하며, 양자 불변량과 고전 기하학을 연결한다. 이는 특성 다양체가 본질적으로 $\mathrm{SL}_2(\mathbb{C})$-변형 다양체(경계 표현의 특성 다양체)와 일치한다고 추측하며, 토르티플 및 팔자형 링크에 대해 직접 계산을 통해 이 추측을 검증한다.

ABSTRACT

The colored Jones function of a knot is a sequence of Laurent polynomials in one variable, whose n-th term is the Jones polynomial of the knot colored with the n-dimensional irreducible representation of SL(2). It was recently shown by TTQ Le and the author that the colored Jones function of a knot is q-holonomic, ie, that it satisfies a nontrivial linear recursion relation with appropriate coefficients. Using holonomicity, we introduce a geometric invariant of a knot: the characteristic variety, an affine 1-dimensional variety in C^2. We then compare it with the character variety of SL_2(C) representations, viewed from the boundary. The comparison is stated as a conjecture which we verify (by a direct computation) in the case of the trefoil and figure eight knots. We also propose a geometric relation between the peripheral subgroup of the knot group, and basic operators that act on the colored Jones function. We also define a noncommutative version (the so-called noncommutative A-polynomial) of the characteristic variety of a knot. Holonomicity works well for higher rank groups and goes beyond hyperbolic geometry, as we explain in the last chapter.

연구 동기 및 목표

• 색칠된 조지 함수의 $q$-홀로노믹 구조를 이용하여 링크의 새로운 기하학적 불변량을 정의하기.
• 특성 다양체(큐-홀로노믹 재귀로부터 유도됨)와 변형 다양체($\mathrm{SL}_2(\mathbb{C})$ 표현에서 유도됨) 사이의 추측적 대응 관계를 수립하기.
• 고차원 리 군을 위한 프레임워크를 $\mathfrak{g}$-색칠된 조지 함수와 $G_{\mathbb{C}}$-특성 다양체를 통해 확장하기.
• 링크 군의 주변 부분군과 색칠된 조지 함수 위에 작용하는 연산자 사이의 대수적·기하학적 관계를 탐색하기.
• 비가환 특성 다양체의 일반화로서의 비가환 $A$-다항식을 도입하기.

제안 방법

• 큐-웨일 대수 $\mathcal{A} = \mathbb{Z}[q^{\pm}]\langle Q,E\rangle/(EQ = qQE)$를 정의하며, 이는 이동($E$)과 스케일링($Q$) 연산자에 의해 이산 함수 위에 작용한다.
• 큐-홀로노믹 함수 $f$에 대해 재귀 이상 $\mathcal{I}_f = \{P \in \mathcal{A} \mid Pf = 0\}$를 정의하고, $q=1$에서의 평가 $\epsilon(\mathcal{I}_f)$의 영점으로서 특성 다양체 $\mathrm{ch}(f)$를 정의한다.
• 링크 보완의 $G_{\mathbb{C}}$-특성 다양체를 구성하고, 경계 토러스로의 제한을 정의하며, $G_{\mathbb{C}}$-변형 다양체를 $(\mathbb{C}^\star)^r \times (\mathbb{C}^\star)^r$에서의 이미지로 정의한다.
• 버니스타인 부등식과 힐버트 차원을 사용하여 다변수 큐-함수에 대한 큐-홀로노미시티를 정의하며, 특성 다양체의 차원이 적어도 $r$이 되도록 보장한다.
• 순수한 $r$차원 성분이 일치하는 '본질적으로 동일한' 다양체 개념을 통해 $G_{\mathbb{C}}$-특성 다양체 $V_G(K)$와 $G_{\mathbb{C}}$-변형 다양체 $D_{G_{\mathbb{C}}}(K)$를 비교한다.
• 토르티플 및 팔자형 링크에 대해 직접 계산을 통해 추측을 검증하며, 특성 다양체와 변형 다양체 간의 일치를 보여준다.

실험 결과

연구 질문

• RQ1 색칠된 $\mathfrak{g}$-조지 함수의 $G_{\mathbb{C}}$-특성 다양체는 그 $G_{\mathbb{C}}$-변형 다양체와 본질적으로 동일한가?
• RQ2 색칠된 조지 함수의 큐-홀로노믹 구조는 링크 보완의 기하학적 자료를 어떻게 코딩하는가?
• RQ3 주변 부분군은 색칠된 조지 함수 위의 작용에서 대수적·기하학적으로 어떤 역할을 하는가?
• RQ4 비가환 특성 다양체는 특성 다양체의 비가환 일반화로서 비가환 $A$-다항식으로 정의될 수 있는가?
• RQ5 큐-홀로노믹 성질은 $\mathfrak{sl}_2$를 초월하여 고차원 리 군으로 의미적으로 확장될 수 있는가?

주요 결과

• 링크의 색칠된 조지 함수는 큐-홀로노믹하며, 이는 $\mathbb{Z}[q^{\pm}]$ 계수를 가진 비자명한 선형 재귀 관계가 존재함을 의미한다.
• 링크의 특성 다양체 $\mathrm{ch}(K)$는 $q=1$에서의 재귀 이상의 이미지의 영점으로 정의되며, $(\mathbb{C}^\star)^2$의 1차원 부분다양체를 이룬다.
• 토르티플 및 팔자형 링크에 대해 특성 다양체와 $\mathrm{SL}_2(\mathbb{C})$-변형 다양체가 본질적으로 동일함을 직접 계산을 통해 확인하였다.
• $G_{\mathbb{C}}$-특성 다양체 $V_G(K)$는 $\mathfrak{g}$-색칠된 조지 함수의 특성 다양체로 정의되며, 버니스타인 부등식에 의해 차원이 적어도 $r$ 이상이 된다.
• $G_{\mathbb{C}}$-변형 다양체 $D_{G_{\mathbb{C}}}(K)$는 경계 토러스의 특성 다양체의 제한에 의한 이미지이며, 아벨 표현에서 기인하는 $r$차원 성분을 포함한다.
• 특성 다양체 $V_G(K)$와 변형 다양체 $D_{G_{\mathbb{C}}}(K)$가 본질적으로 동일하다는 추측은 양자 불변량과 쌍곡 기하학, 표현 이론을 연결하는 중심적인 기하학 원리로 제안된다.