[논문 리뷰] Character varieties in SL_2 and Kauffman skein algebras

Julien Marché|arXiv (Cornell University)|2015. 10. 30.

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

한 줄 요약

이 논문은 스케인 대수와 당연한 표현을 이용하여 3차원 다면체의 SL₂-특성 다양체 위에서 Reidemeister 토포로지의 전역 프레임워크를 수립한다. 이 토포로지가 유리형 부피형식으로 나타남을 보이며, K. Saito의 특성과 표현에 관한 정리에 기반하여 특성 다양체 위에서 이 토포로지를 내재적으로 구성한다. 이는 비틀린 코homology와 추적 좌표 및 단일화 작용을 통한 명시적 공식을 통해 기하학적 해석을 제공한다.

ABSTRACT

These lecture notes concern the algebraic geometry of the character variety of a finitely generated group in SL(2,C) from the point of view of skein modules. We focus on the case of surface and 3-manifolds groups and construct the Reidemeister torsion as a rational volume form on the character variety.

연구 동기 및 목표

• 경계를 가진 3차원 다면체의 SL₂-특성 다양체 위에서 Reidemeister 토포로지의 전역적이고 내재적인 구성 방법을 제공한다.
• 대수적 몫 정의와 스케인 모듈 정의 사이의 동치를 통해 특성 다양체와 스케인 대수를 연결한다.
• K. Saito의 특성과 표현에 관한 정리를 적용하여 특성 다양체의 함수체 위에서 당연한 표현을 정의한다.
• 특성 다양체의 기약 성분 위에서 토포로지를 미분형식으로 해석하며, 특히 원주 위의 피브리레이션에서의 경우를 다룬다.
• 특히 표면 번들의 경우에 대해 추적 좌표와 단일화 작용을 통한 토포로지의 명시적 공식을 유도한다.

제안 방법

• 추적 관계 $ Y_{\alpha\beta} + Y_{\alpha\beta^{-1}} = Y_\alpha Y_\beta $로 정의된 스케인 대수 $ B(\Gamma) $를 사용하여 스케인 특성 다양체 $ X_s(\Gamma) $를 정의한다.
• 불변량 이론과 Procesi의 정리를 활용하여 $ X(\Gamma) $의 대수적 몫 정의와 스케인 대수 사이의 동치를 확립한다.
• K. Saito의 정리를 적용하여 $ X(\Gamma) $의 기약 성분의 함수체 위에서 당연한 표현을 구성하고, 특성을 실제 표현으로 올린다.
• 첨단 표현을 값으로 가지는 비틀린 코homology 복합체의 행렬식을 통해 $ X(M) $ 위에서 Reidemeister 토포로지를 유리형 부피형식으로 정의한다.
• Wang 수열과 경계 코homology를 사용하여 $ M $의 토포로지를 $ X(\Sigma) $의 기하학, 특히 표면 번들의 경우와 연결한다.
• 추적 좌표 $ x_i = u_i + u_i^{-1} $를 사용하여 토포로지를 표현하며, 단일화 작용의 고정점 집합에서 정규화된 공식 $ T(M) = \frac{1}{2} \bigwedge \frac{du_i}{u_i} / \det(D\varphi - 1)_{\ker du_i} $을 얻는다.

실험 결과

연구 질문

• RQ1 경계를 가진 3차원 다면체의 SL₂-특성 다양체 위에서 Reidemeister 토포로지를 미분형식으로 전역적으로 정의할 수 있는가?
• RQ2 스케인 대수와 특성 다양체 사이의 대수기하학적 구조에서의 정확한 관계는 무엇인가?
• RQ3 K. Saito의 정리에 의한 특성에서 표현으로의 올림이 특성 다양체의 함수체 위에서 당연한 표현을 정의하는 데 어떻게 기여하는가?
• RQ4 원주 위의 표면 번들에서 비틀린 코homology와 단일화 작용을 통한 토포로지의 기하학적 해석은 무엇인가?
• RQ5 단일화 매핑의 도함수를 포함하여 토포로지를 추적 좌표로 명시적으로 표현할 수 있는가?

주요 결과

• 경계를 가진 3차원 다면체의 Reidemeister 토포로지는 특성 다양체 위에서 유리형 부피형식으로 나타나며, 특히 마법의 다면체의 경우 $ T(M) = \frac{1}{2} \frac{du \wedge dv \wedge dw}{\sqrt{(x^2-4)(y^2-4)(z^2-4)}} $로 표현된다.
• 원주 위에 피브리레이션되는 3차원 다면체 $ M $와 단일화 $ \varphi $에 대해, $ \varphi^* $에 의해 고정점 집합을 이루는 기약 성분에서 토포로지는 $ T(M,\xi) = \frac{1}{2} \frac{\bigwedge dY_{\gamma_i}}{\det(D\varphi - 1)|_{\ker dY_{\gamma_i}}} $로 주어진다.
• 당연한 가족 내 표현의 선택에 관계없이 토포로지는 일관되며, 기저 $ X(\Sigma) $ 위에 자연스럽게 존재하여 그 전역성의 확인이 이루어진다.
• 특성 다양체의 함수체 위에서의 당연한 표현은 특성을 표현으로 자연스럽게 올려주는 것으로, 토포로지 구성의 통일된 처리를 가능하게 한다.
• 핸들바디의 경우 복합체는 독립된 성분으로 분해되며, 그 토포로지는 $ \frac{2}{g} dx \wedge dy \wedge dz $로 주어지며 $ g = 4 $ 이므로 $ T(M,\xi) = \frac{1}{2} dx \wedge dy \wedge dz $가 된다.
• 정규화 $ x = u + u^{-1} $에서 토포로지는 $ T(M) = \frac{1}{2} \bigwedge \frac{du_i}{u_i} / \det(D\varphi - 1)|_{\ker du_i} $로 변형되며, $ \varphi = \text{id} $일 때 기존의 마법의 다면체 공식을 복원한다.