[論文レビュー] Stated SL(n)-Skein Modules and Algebras

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

Geometric and Algebraic Topology被引用数 7

ひとこと要約

本稿は、境界マーク付きの3次元多様体に対するstated SL(n)-skeinモジュールおよび代数を導入し、以前のSL(2)およびSL(3)のskein理論を一般化する。切断写像を確立し、skeinモジュールの分解を可能にし、厚くされた二辺形のskein代数が量子群Oq(SL(n))に同型であることを証明するとともに、そのホップ代数構造の幾何的解釈を提供する。この理論はさらに因子化ホモロジーおよび量子モジュライ空間と関連し、量子群理論とトポロジカル量子場理論の主要構造を統一する。

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次元多様体のstated skeinモジュールの統一的枠組みを構築し、SL(2)およびSL(3)理論を一般化すること。
• 切断定理を確立し、マーク付き3次元多様体を切断することでskeinモジュール上の写像が誘導されることを示すこと。
• 厚くされた二辺形のskein代数がOq(SL(n))に同型であることを証明し、その代数的構造の幾何的解釈を提供すること。
• skein代数が因子化ホモロジーおよび量子モジュライ空間とどのように関係するかを示し、特に境界付き曲面に対して考察すること。
• 境界付き曲面に対して切断写像が単射であり、skein代数がKashiwara-Lusztigの正規基底から誘導される基底をもつことを示すこと。

提案手法

• skein関係式をUq(sln)-Reshetikhin-Turaev関手によって定義される、境界の区間Nに端を持つフレームドで向き付けられたnウェブの形式的線形結合として、Sn(M, N)を定義する。
• ディスクに沿った切断を通じて切断写像を導入し、それがwell-definedなモジュール準同型であることを証明する。
• tangleにコペンを含む不変量を、反対称化子およびその双対を表す関手を用いて定義する。
• 明示的な代数準同型ϕを用いて、skein代数がOq(SL(n))に同型であることを証明し、単射性および全射性の議論により同型であることを示す。
• マークの周辺での切断を通じて、Sn(M)に右Oq(SL(n))-コモジュール構造を構成し、双対的に左Uq(sln)-モジュール構造を定める。
• 接合されたskein代数とMajidのbraided tensor productの間の同型を確立し、braided productおよびtransmutationの幾何的解釈を可能にする。

実験結果

リサーチクエスチョン

• RQ1 stated skeinモジュールは、任意のnに対してSL(n)に一般化可能か。これは既知のSL(2)およびSL(3)理論を拡張するものか。
• RQ2 切断写像は、3次元多様体のskeinモジュールの分解において果たす役割は何か。境界付き曲面に対しては単射的か。
• RQ3 二辺形のskein代数はOq(SL(n))に同型か。そのホップ代数構造は幾何的に解釈可能か。
• RQ4 曲面のskein代数は因子化ホモロジーおよび量子モジュライ空間とどのように関係するか。
• RQ5 境界付き曲面のskein代数は、自由モジュールとして記述可能か。その基底は、量子群のKashiwara-Lusztig正規基底から誘導されるか。

主な発見

• 二辺形のskein代数はOq(SL(n))に同型であり、同型ϕ: Sn(B) → Oq(SL(n))は単射かつ全射であることが証明された。
• Oq(SL(n))におけるコプロダクトは、切断写像として幾何的に実現され、この代数的構造に位相的解釈を与える。
• 任意の穴あき境界付き曲面Σに対して、skein代数Sn(Σ)は、Kashiwara-Lusztig正規基底から誘導される基底をもつ自由モジュールである。
• 境界付き曲面の切断写像は単射であり、その像は直和成分である。
• 理想三角形に沿って接合された2つの曲面のskein代数は、Majidの意味でのbraided tensor product Sn(Σ1) ⊗_R Sn(Σ2)に同型である。
• Uq(sln)-モジュールの圏を係数とする因子化ホモロジーは、∂Σ = S¹のとき、Sn(Σ)上の左モジュールの圏と同倣である。