[논문 리뷰] Stated SL(n)-Skein Modules and Algebras

Thang T. Q. Lê, Adam S. Sikora|arXiv (Cornell University)|2021. 12. 31.

Geometric and Algebraic Topology인용 수 7

한 줄 요약

이 논문은 경계 마킹이 있는 3차원 다중체에 대해 기존의 SL(2) 및 SL(3) 이론을 일반화한 상태 스키엔 모듈과 대수를 도입한다. 이는 스키엔 모듈의 분해를 가능하게 하는 분할 호모모르피즘을 확립하고, 두꺼운 이등변삼각형의 스키엔 대수와 Oq(SL(n)) 사이의 동형을 증명하며, 그 히프 대수적 구조에 기하학적 해석을 제공한다. 이 이론은 인수 분해 homology 및 양자 모듈리 공간과 연결되어 양자군 이론과 위상적 양자 필드 이론의 핵심 구조를 통합한다.

ABSTRACT

We develop a theory of stated SL(n)-skein modules, $S_n(M,N),$ of 3-manifolds $M$ marked with intervals $N$ in their boundaries. They consist of linear combinations of $n$-webs with ends in $N$, considered up to skein relations inspired by the relations of the Reshetikhin-Turaev theory. We prove that cutting $M$ along a disk resulting in a $3$-manifold $M'$ yields a homomorphism $S_n(M) o S_n(M')$. That result allows to analyze the skein modules of $3$-manifolds through the skein modules of their pieces. The theory of stated skein modules is particularly rich for thickened surfaces $M=Σ imes (-1,1),$ in whose case, $S_n(M)$ is an algebra, denoted by $S_n(Σ).$ We prove that the skein algebra of the ideal bigon is $O_q(SL(n))$ and that it provides simple geometric interpretations of the product, coproduct, counit, the antipode, and the cobraided structure on $O_q(SL(n)).$ Additionally, we show that a splitting of a thickened bigon near a marking defines a $O_q(SL(n))$-comodule structure on $S_n(M),$ or dually, an $U_q(sl_n)$-module structure. Furthermore, we show that the skein algebra of surfaces $Σ_1, Σ_2$ glued along two sides of a triangle is isomorphic with the braided tensor product $S_n(Σ_1)\underline{\otimes} S_n(Σ_2)$ of Majid. These results allow for a geometric interpretation of further concepts in the theory of quantum groups, for example, of the braided products and of Majid's transmutation operation. We prove that the factorization homology of surfaces with coefficients in $Rep\, U_q(sl_n)$ is equivalent to the category of left modules over $S_n(Σ)$. We also discuss the relation with the quantum moduli spaces of Alekseev-Schomerus. Finally, we show that for surfaces $Σ$ with boundary, $S_n(Σ)$ is a free module with a basis induced from the Kashiwara-Lusztig canonical bases.

연구 동기 및 목표

• 경계에 간격 마킹이 있는 3차원 다중체에 대한 상태 스키엔 모듈 이론을 통합적인 프레임워크로 개발하여, 기존의 SL(2) 및 SL(3) 이론을 일반화한다.
• 스키엔 모듈의 분해를 가능하게 하는 분할 정리(Splitting Theorem)를 확립하여, 마킹된 3차원 다중체를 잘라내는 것이 스키엔 모듈에 호모모르피즘을 유도함을 보인다.
• 두꺼운 이등변삼각형의 스키엔 대수가 Oq(SL(n))과 동형임을 증명하고, 그 대수적 구조에 기하학적 해석을 제공한다.
• 스키엔 대수를 인수 분해 homology 및 양자 모듈리 공간과 연결하여, 특히 경계가 있는 표면에 대해 설명한다.
• 경계가 있는 표면에 대해 분할 호모모르피즘이 단사임을 보이고, 스키엔 대수가 카시와라-루스티그의 정규 기저로부터 유도된 기저를 갖는다.

제안 방법

• 경계 간격 N에 끝이 있는 프레임드이고 방향이 있는 n-웹의 형식적 선형 조합으로서, Uq(sln)-레셰티힌-투레예프 함자로부터 유도된 스키엔 관계를 모듈로 하는 상태 스키엔 모듈 Sn(M, N)을 정의한다.
• 디스크를 따라 자르는 방식으로 분할 호모모르피즘을 도입하고, 이가 잘 정의된 모듈 호모모르피즘임을 증명한다.
• 레셰티힌-투레예프 함자를 사용하여 쿠폰을 포함한 탄젤의 불변량을 정의하고, 반대칭화자와 그 쌍대를 표현한다.
• 명시적인 대수 호모모르피즘 ϕ를 통해 스키엔 대수의 이등변삼각형이 Oq(SL(n))과 동형임을 증명하고, 단사성과 전사성의 논증을 통해 이가 동형임을 보인다.
• 마킹 근처에서 분할을 통해 Sn(M)에 대한 오른쪽 Oq(SL(n))-코모듈의 구조를 구성하고, 이는 이중적으로 왼쪽 Uq(sln)-모듈의 구조를 제공한다.
• 접합된 스키엔 대수와 마지드의 브레인드 텐서곱 사이의 동형을 확립하여, 브레인드 tích과 변환의 기하학적 해석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 상태 스키엔 모듈을 임의의 n에 대해 SL(n)으로 일반화할 수 있는가? 이는 기존의 알려진 SL(2) 및 SL(3) 이론을 확장하는가?
• RQ2 분할 호모모르피즘은 3차원 다중체의 스키엔 모듈 분해에 어떤 역할을 하는가? 경계가 있는 표면에 대해 이는 단사적인가?
• RQ3 이등변삼각형의 스키엔 대수는 Oq(SL(n))과 동형인가? 그 히프 대수적 구조는 기하학적으로 해석할 수 있는가?
• RQ4 표면의 스키엔 대수는 인수 분해 homology 및 양자 모듈리 공간과 어떻게 관련되는가?
• RQ5 경계가 있는 표면의 스키엔 대수는 양자군의 카시와라-루스티그 정규 기저로부터 유도된 기저를 갖는 자유 모듈로 기술할 수 있는가?

주요 결과

• 이등변삼각형의 스키엔 대수는 Oq(SL(n))과 동형이며, 이 동형 ϕ: Sn(B) → Oq(SL(n))이 단사성과 전사성의 논증을 통해 증명된다.
• Oq(SL(n))의 코곱은 분할 호모모르피즘으로 기하학적으로 실현되며, 이는 이 대수적 구조에 위상적 의미를 제공한다.
• 모든 구멍이 난 경계가 있는 표면 Σ에 대해, 스키엔 대수 Sn(Σ)는 카시와라-루스티그 정규 기저로부터 기인한 기저를 갖는 자유 모듈이다.
• 경계가 있는 표면에 대한 분할 호모모르피즘은 단사적이며, 그 이미지는 직접 합성분을 이룬다.
• 이심삼각형을 통해 접합된 두 표면의 스키엔 대수는 마지드의 브레인드 텐서곱 Sn(Σ1) ⊗_R Sn(Σ2)과 동형이며, 이는 마지드의 의미에서 성립한다.
• Uq(sln)-모듈의 범주를 계수로 하는 인수 분해 homology는 ∂Σ = S¹일 때, Sn(Σ) 위의 왼쪽 모듈의 범주와 동치이다.