[논문 리뷰] Quantum holonomic link invariants derived from stated skein algebras

Julien Korinman|arXiv (Cornell University)|2019. 07. 03.

Algebraic structures and combinatorial models참고 문헌 92인용 수 4

한 줄 요약

이 논문은 줄무늬가 있는 디스크의 축소된 상태 스키ーン 대수 $\mathcal{S}_\omega(\mathbb{D}_1)$가 단순 루트를 가진 양자군 $\widetilde{U}_q\mathfrak{gl}_2$와 자연스럽게 호환되는 호프 대수 구조를 지닌다는 것을 보여줌으로써 양자군과 양자 테이히뮐러 이론 사이의 개념적 연결 고리를 확립한다. 이 대수의 무게 분해 불가능 모듈러스를 분류하고, 클렙슈-고르단 공식을 유도하며, 양자 테이히뮐러 이론의 좌표 변화 사상이 드리프레벨의 $R$-행렬과 일치하는 브레이딩 연산자를 유도함으로써 카샤에프 불변량과 색칠된 조즈 다항식 사이의 무라카미-무라카미 정리에 대한 새로운 증명을 제공한다.

ABSTRACT

We define invariants for a framed link equipped with a SL2 local system in its complement and additional combinatorial data based on the theory of representations of stated skein algebras at roots of unity of punctured bigons and the geometric interpretation of their centers. The gauge invariance of the link invariant is derived from De Concini-Kac quantum coadjoint action lifted at the level of stated skein algebras. A key feature is the fact that the Drinfeld double of the quantum Borel algebra admits a natural interpretation as the reduced stated skein algebra of a once-punctured bigon from which we deduce a relation between our link invariants and quantum group constructions of Blanchet-Geer-Patureau Mirand-Reshetikhin. Using Bonahon-Wong quantum trace, we also relate our construction to quantum hyperbolic geometry, hence to Kashaev and Baseilhac-Benedetti constructions. We deduce from this relation explicit formulas for the R-matrices, which permit to compute the link invariants explicitly. In particular, we derive an alternative conceptual proof of the Murakami-Murakami relation between the Kashaev invariant and the colored Jones polynomials.

연구 동기 및 목표

• 스테이트드 스키엔 대수를 사용하여 양자군과 양자 테이히뮐러 이론 사이의 개념적 다리를 구축하는 것.
• 자기 스키엔 대수의 구조에서 유래한 양자군 $\widetilde{U}_q\mathfrak{gl}_2$의 무게 분해 불가능 모듈러스를 분류하는 것.
• 양자 테이히뮐러 이론의 좌표 변화 사상이 카샤에프 모듈러스에 대해 드리프레벨의 $R$-행렬과 동형인 브레이딩 연산자를 유도하는 것.
• 카샤에프 불변량과 색칠된 조즈 다항식 사이의 관계를 설명하는 무라카미-무라카미 정리에 대한 대체 증명을 제공하는 것.

제안 방법

• 이 논문은 두 개의 경계 펄스처와 한 개의 내부 펄스처를 가진 디스크의 축소된 상태 스키엔 대수 $\mathcal{S}_\omega(\mathbb{D}_1)$에 대해 $\widetilde{U}_q\mathfrak{gl}_2$와 동형인 자연스러운 호프 대수 구조를 구성한다.
• 복소수 위에서 제1의 원주율의 근에서의 표현 이론을 활용하여 $\mathcal{O}_q[D(B)]$의 무게 분해 불가능 모듈러스를 분류한다.
• 균형 잡힌 체코프-포크 대수와의 관계를 설정하기 위해 양자 트레이스 사상(quantum trace map)을 활용하여 표현을 구성한다.
• 포크-곤차로프 분해와 양자 지수 함수를 사용하여 양자 테이히뮐러 이론의 좌표 변화 동형사상으로부터 브레이딩 연산자를 도출한다.
• 카샤에프 모듈러스 위에서의 작용을 분석함으로써 카샤에프 브레이딩 연산자가 드리프레벨의 $R$-행렬과 일치함을 증명한다.
• 양자 하이퍼볼릭 기하학에서 유래한 양자 형태 매개변수에 따라 표현되는 일반 브레이딩 연산자의 명시적 공식을 유도하여 새로운 링크 불변량을 도출한다.

실험 결과

연구 질문

• RQ1 줄무늬가 있는 디스크의 스테이트드 스키엔 대수는 어떻게 양자군의 구조를 실현하는가?
• RQ2 이 맥락에서 $\widetilde{U}_q\mathfrak{gl}_2$의 무게 분해 불가능 모듈러스는 어떻게 분류되는가?
• RQ3 양자 테이히뮐러 이론의 좌표 변화 사상은 어떻게 드리프레벨의 $R$-행렬과 동형인 브레이딩 연산자를 생성하는가?
• RQ4 카샤에프-레셰티힌 브레이딩은 양자 테이히뮐러 이론에서 유도될 수 있으며, 드리프레벨의 $R$-행렬과 어떻게 관련되는가?
• RQ5 양자 형태 매개변수에 의해 정의된 일반 브레이딩 연산자에서 유도되는 새로운 링크 불변량은 무엇인가?

주요 결과

• 축소된 상태 스키엔 대수 $\mathcal{S}_\omega(\mathbb{D}_1)$는 호프 대수로서 양자군 $\widetilde{U}_q\mathfrak{gl}_2$와 동형이다.
• $\mathcal{O}_q[D(B)]$의 모든 무게 분해 불가능 모듈러스는 $E^N$, $F^N$, 또는 둘 다의 영향 여부에 따라 세 종류로 분류된다: $V(\lambda,\mu,a,b)$, $\widetilde{V}(\lambda,\mu,c)$, 및 $V_{\mu,\varepsilon,n}$.
• 양자 테이히뮐러 이론의 좌표 변화 동형사상은 카샤에프-레셰티힌 브레이딩과 일치하는 브레이딩 연산자를 유도한다.
• 카샤에프 모듈러스에 대해 유도된 브레이딩 연산자는 드리프레벨의 $R$-행렬과 일치하며, 이는 무라카미-무라카미 정리의 개념적 해석을 제공한다.
• 양자 하이퍼볼릭 기하학에서 유래한 양자 형태 매개변수에 따라 표현되는 일반 브레이딩 연산자의 명시적 공식이 도출된다.
• 이 브레이딩 연산자는 기존의 존스 다항식과 색칠된 존스 다항식을 초월하여 프레임 링크의 새로운 불변량을 생성한다.