[논문 리뷰] Triangular decomposition of $SL_3$ skein algebras

Vijay Higgins|arXiv (Cornell University)|2020. 08. 21.

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

한 줄 요약

이 논문은 Le의 삼각분해에 대한 SL3 해석을 제시하기 위해, SL3에 대한 표기된 스케인 대수를 도입하여, Kauffman 브라켓 스케인 대수의 SL3 해석을 수립한다. 이 대수는 Oq(SL3) 대수들의 텐서곱으로 삼각분해 가능하며, 핵심 결과는 임의의 이상 삼각형 가능 표면의 표기된 스케인 대수가 삼각형의 표기된 스케인 대수들의 텐서곱에 단사로 통합된다는 것이다. 이때 삼각형 대수는 브레이드 텐서곱 Oq(SL3) ⊗−Oq(SL3) 와 동형이다.

ABSTRACT

We give an $SL_3$ analogue of the triangular decomposition of the Kauffman bracket stated skein algebras described by Le. To any punctured bordered surface, we associate an $SL_3$ stated skein algebra which contains the $SL_3$ skein algebra of closed webs. These algebras admit natural algebra morphisms associated to the splitting of surfaces along ideal arcs. We give an explicit basis for the $SL_3$ stated skein algebra and show that the splitting morphisms are injective and describe their images. By splitting a surface along the edges of an ideal triangulation, we see that the $SL_3$ stated skein algebra of any ideal triangulable surface embeds into a tensor product of stated skein algebras of triangles.

연구 동기 및 목표

• Le의 SL2 Kauffman 브라켓 스케인 대수의 삼각분해를 SL3 경우로 확장하기.
• 일반 스케인 대수의 구조를 유지하면서도 단사 분할 사상이 가능한 SL3에 대한 표기된 스케인 대수를 정의하기.
• 임의의 이상 삼각형 가능 표면의 SL3 표기된 스케인 대수를 삼각형의 표기된 스케인 대수들의 텐서곱으로 분해하기.
• 삼각형의 표기된 스케인 대수가 브레이드 텐서곱 Oq(SL3) ⊗−Oq(SL3) 와 동형임을 확인하기.
• 감소 규칙과 다이아몬드 레마를 사용하여 일반적인 경우를 단일 다각형의 경우로 환원함으로써, 이상 호를 따라 분할하는 사상의 단사성을 증명하기.

제안 방법

• 표준 스케인 대수에 경계 관계를 추가하여 SL3에 대한 표기된 스케인 대수를 정의함으로써, 이상 호를 따라 분할 사상이 가능하도록 하기.
• 빅온의 표기된 스케인 대수를 Oq(SL3)와 동형으로 간주하며, 이 동형을 확립하기 위해 다이어그램 맵 φ를 사용함.
• Oq(SL3)에 정의된 코브레이드 맵 ρ를 사용하여 삼각형의 표기된 스케인 대수에 브레이드 텐서곱의 구조를 정의하기.
• SL3 스케인 관계와 경계 관계를 포함한 감소 규칙의 확장된 집합을 사용하여 표기된 스케인 대수의 명시적 기저를 구성하기.
• 감소 체계가 확장성과 종료성을 보임을 다이아몬드 레마를 적용하여 증명함으로써 유일한 정규형을 확보하고, 단사성 증명을 가능하게 하기.
• 일반적인 경우를 단일 다각형의 경우로 환원하고, 기저 및 감소 규칙을 이용하여 단사성을 검증함으로써, 이상 호를 따라 분할하는 사상의 단사성을 증명하기.

실험 결과

연구 질문

• RQ1 이상 호를 따라 분할 사상이 단사적이면서 삼각분해가 가능한 SL3에 대한 표기된 스케인 대수를 정의할 수 있는가?
• RQ2 삼각형의 표기된 스케인 대수가 브레이드 텐서곱 Oq(SL3) ⊗−Oq(SL3) 와 동형인가?
• RQ3 빅온의 표기된 스케인 대수가 Oq(SL3)의 호프 대수의 구조를 복원하는가?
• RQ4 감소 체계와 다이아몬드 레마를 사용하여 분할 사상의 단사성을 확립할 수 있는가?
• RQ5 임의의 이상 삼각형 가능 표면의 표기된 스케인 대수가 단사 분할 사상에 의해 삼각형의 표기된 스케인 대수들의 텐서곱에 통합되는가?

주요 결과

• 빅온의 표기된 스케인 대수는 호프 대수로서 Oq(SL3)와 동형이며, 이 동형은 잘 정의된 다이어그램 맵 φ를 통해 확립된다.
• 삼각형의 표기된 스케인 대수는 브레이드 텐서곱 Oq(SL3) ⊗−Oq(SL3) 와 동형이며, 이 브레이드 구조는 코브레이드 맵 ρ에 의해 유도된다.
• 임의의 이상 호를 따라 분할하는 사상은 단사적이며, 이는 일반적인 경우를 단일 다각형의 경우로 환원하고 다이아몬드 레마를 적용함으로써 증명된다.
• 감소 규칙의 확장된 집합(경계 관계 포함)을 사용하여 SL3 표기된 스케인 대수의 명시적 기저를 구성하였으며, 이는 확장성과 종료성을 보장한다.
• 임의의 이상 삼각형 가능 표면의 표기된 스케인 대수의 단사 통합이 삼각형의 표기된 스케인 대수들의 텐서곱에 성립하며, 이는 삼각분해를 실현한다.
• 단사 분할 사상은 대수적 구조와 호환되며, 특성 다양체 이론의 유사 정확수열에 맞는 구조를 이룬다.