[論文レビュー] Quantum holonomic link invariants derived from stated skein algebras

Julien Korinman|arXiv (Cornell University)|Jul 3, 2019

Algebraic structures and combinatorial models参考文献 92被引用数 4

ひとこと要約

本稿は、2つの境界点および1つの内部点を持つ円板の削減済み状態付き skein 環が、単純なルート系を持つ量子群 $\widetilde{U}_q\mathfrak{gl}_2$ に同型である自然なホップ代数構造を持つことを示すことにより、量子群と量子ティヒューラー理論の間の概念的リンクを確立する。この環は、その重み分解不能モジュールを分類し、クレブシュ＝ゴルダンの公式を導出し、量子ティヒューラー理論における座標変換写像が、カシャエフ・モジュールにおけるドリンフェルトの $R$-行列と一致する braiding 演算子を生成することを示す。これにより、カシャエフ不変量と彩色ジョーンズ多項式の関係を示す村上＝村上の定理の新たな証明が得られる。

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.

研究の動機と目的

• 状態付き skein 環を用いて、量子群と量子ティヒューラー理論の間の概念的ブリッジを確立すること。
• 穴あき円板の skein 環から生じる量子群 $\widetilde{U}_q\mathfrak{gl}_2$ の重み分解不能モジュールを分類すること。
• 量子ティヒューラー理論における座標変換写像が、カシャエフ・モジュールにおけるドリンフェルトの $R$-行列に同型な braiding 演算子を生成することを示すこと。
• カシャエフ不変量と彩色ジョーンズ多項式の関係を示す村上＝村上の定理に対する代替的証明を提供すること。

提案手法

• 本稿は、2つの境界点と1つの内部点を持つ円板の削減済み状態付き skein 環 $\mathcal{S}_\omega(\mathbb{D}_1)$ に、$\widetilde{U}_q\mathfrak{gl}_2$ に同型なホップ代数構造を構成する。
• 複素数体上の表現論を用いて、奇数次の単位根における $\mathcal{O}_q[D(B)]$ の重み分解不能モジュールを分類する。
• 量子トレース写像を用いて、状態付き skein 環とバランスド・チェホフ＝フォック代数を関連させ、表現の構成を可能にする。
• フォック＝ゴンチャロフ分解と量子指数関数を用いて、量子ティヒューラー理論における座標変換同型写像から braiding 演算子を導出する。
• カシャエフ・モジュールにおける作用を解析することにより、カシャエフの braiding 演算子がドリンフェルトの $R$-行列と一致することを証明する。
• 量子双曲幾何から得られる量子形状パラメータに依存する一般化された braiding 演算子の明示的公式を導出する。これにより、新しいリンク不変量が得られる。

実験結果

リサーチクエスチョン

• RQ1 穴あき円板の状態付き skein 環は、どのようにして量子群構造を実現するか？
• RQ2 この文脈において、$\widetilde{U}_q\mathfrak{gl}_2$ の重み分解不能モジュールの分類はどのようなものか？
• RQ3 量子ティヒューラー理論における座標変換写像は、どのようにしてドリンフェルトの $R$-行列に同型な braiding 演算子を生成するか？
• RQ4 カシャエフ＝レシュティヒンの braidings は、量子ティヒューラー理論から導出可能か？また、それらはドリンフェルトの $R$-行列とどのように関係するか？
• RQ5 量子形状パラメータを用いて定義された一般化された braiding 演算子から、どのような新しいリンク不変量が生じるか？

主な発見

• 削減済み状態付き skein 環 $\mathcal{S}_\omega(\mathbb{D}_1)$ は、ホップ代数として $\widetilde{U}_q\mathfrak{gl}_2$ に同型である。
• $\mathcal{O}_q[D(B)]$ のすべての重み分解不能モジュールは、$E^N$、$F^N$、または両者の消滅の有無に応じて、3つのタイプに分類される：$V(\lambda,\mu,a,b)$、$\widetilde{V}(\lambda,\mu,c)$、および $V_{\mu,\varepsilon,n}$。
• 量子ティヒューラー理論における座標変換同型写像は、カシャエフ＝レシュティヒンの braidings と一致する braiding 演算子を誘導する。
• カシャエフ・モジュールにおいて、誘導された braiding 演算子はドリンフェルトの $R$-行列と一致する。これにより、村上＝村上の定理の概念的解釈が得られる。
• 量子双曲幾何から得られる量子形状パラメータを用いて、一般化された braiding 演算子の明示的公式が導出される。
• これらの braiding 演算子は、標準的なジョーンズ多項式や彩色ジョーンズ多項式を超えるフレーム付きリンクの新しい不変量を生成する。