[論文レビュー] Dimension and Trace of the Kauffman Bracket Skein Algebra

Charles Frohman, Joanna Kania-Bartoszyńska+1 more|arXiv (Cornell University)|Feb 6, 2019

Algebraic structures and combinatorial models参考文献 18被引用数 7

ひとこと要約

本稿は、有限型の曲面 $F$ と単位根 $\zeta$ に対して、Kauffmanブラケットスキーン代数 $K_{\zeta}(F)$ の中心上でのランクとトレースを計算し、2つのパンツ分解を用いて中心上での代数の分解を確立する。主な結果は、$\zeta$ の位数が 4 を法としてどうなるかに依存する $K_{\zeta}(F)$ の中心上での次元の公式であり、また、基底元 $T(\alpha)$ の縮約トレースが、$T(\alpha)$ が中心的である場合に限り $T(\alpha)$ に等しく、それ以外の場合は 0 であることを示すトレースの公式である。

ABSTRACT

Let $F$ be a finite type surface and $ζ$ a complex root of unity. The Kauffman bracket skein algebra $K_ζ(F)$ is an important object in both classical and quantum topology as it has relations to the character variety, the Teichmüller space, the Jones polynomial, and the Witten-Reshetikhin-Turaev Topological Quantum Field Theories. We compute the rank and trace of $K_ζ(F)$ over its center, and we extend a theorem of Frohman and Kania-Bartoszynska which says the skein algebra has a splitting coming from two pants decompositions of $F$.

研究の動機と目的

• 有限型の曲面 $F$ と単位根 $\zeta$ に対して、Kauffmanブラケットスキーン代数 $K_{\zeta}(F)$ の中心 $Z_{\zeta}(F)$ 上での次元を計算すること。
• $K_{\zeta}(F)$ の元、特に単純な図形 $\alpha$ で添え字づけられた基底元 $T(\alpha)$ の縮約トレースを特定すること。
• 代数 $\tilde{K}_{\zeta}(F) = K_{\zeta}(F) \otimes_{Z_{\zeta}(F)} \tilde{Z}_{\zeta}(F)$ が、パンツ分解から生じる2つの最大可換部分代数のテンソル積に分解可能であることを証明すること。
• $\tilde{K}_{\zeta}(F)$ がその中心上で有限次元の除法代数であることを確立し、トレース理論を可能にする。

提案手法

• 曲面上の単純な図形の安定座標を定義するため、Dehn-Thurston座標とそのねじれによる安定化の利用。
• 中心上での線形独立性の基準を定式化するため、スキーン要素への次数写像の導入。
• フィルトレーション技術と剰余群構造の応用により、$K_{\zeta}(F)$ の代数的構造を分析。
• $F$ の2つのパンツ分解 $\mathcal{P}$ と $\mathcal{Q}$ を構成し、自然な写像 $\psi: \mathcal{C}_{\zeta}(\mathcal{P}) \otimes_{\tilde{Z}_{\zeta}(F)} \mathcal{C}_{\zeta}(\mathcal{Q}) \to \tilde{K}_{\zeta}(F)$ が $\tilde{Z}_{\zeta}(F)$-線形同型であることを示す。
• 交差行列と $\mathbb{Z}^{6g-6}$ 内のインデックス計算を用いて、分解のスパニング性と独立性の条件を検証。
• 基底 $\{T(\alpha)\}$ の中心的要素の構造を用い、$T(\alpha)$ が中心的であることと $\alpha \in \mathscr{S}_{\zeta}$ が同値であることの事実を利用して、縮約トレースの計算。

実験結果

リサーチクエスチョン

• RQ1 genus $g$ で $p$ 個の穴を持つ曲面 $F$ に対して、Kauffmanブラケットスキーン代数 $K_{\zeta}(F)$ の中心 $Z_{\zeta}(F)$ 上での次元は何か？
• RQ2 基底元 $T(\alpha)$ の縮約トレースはどのように振る舞い、いつ非ゼロになるか？
• RQ3 代数 $\tilde{K}_{\zeta}(F)$ は、パンツ分解から生じる2つの最大可換部分代数のテンソル積に分解可能か？
• RQ4 Dehn-Thurston座標とその安定化は、スキーン代数の構造を分析する上で果たす役割は何か？
• RQ5 $\zeta$ の位数が 4 を法としてどうなるかが、$K_{\zeta}(F)$ の代数的構造に与える影響は何か？

主な発見

• $\mathrm{ord}(\zeta) \not\equiv 0 \pmod{4}$ のとき、$K_{\zeta}(F)$ の中心上での次元は $m^{6g-6+2p}$ であり、$\mathrm{ord}(\zeta) \equiv 0 \pmod{4}$ のときは $2^{2g} m^{6g-6+2p}$ である。ここで $m = \mathrm{ord}(\zeta^4)$ である。
• $\tilde{K}_{\zeta}(F)$ はその中心 $\tilde{Z}_{\zeta}(F)$ 上で有限次元の除法代数であるため、すべての元が $\tilde{Z}_{\zeta}(F)$ 上の有限次拡張に属する。
• $T(\alpha)$ が中心的（つまり $\alpha \in \mathscr{S}_{\zeta}$）であるとき、$T(\alpha)$ の縮約トレースは $T(\alpha)$ に等しく、それ以外の場合は 0 である。
• パンツ分解 $\mathcal{P}$ と $\mathcal{Q}$ が存在し、写像 $\psi: \mathcal{C}_{\zeta}(\mathcal{P}) \otimes_{\tilde{Z}_{\zeta}(F)} \mathcal{C}_{\zeta}(\mathcal{Q}) \to \tilde{K}_{\zeta}(F)$ が $\tilde{Z}_{\zeta}(F)$-線形同型である。これにより、$\tilde{K}_{\zeta}(F)$ の分解が証明される。
• $\mathcal{P}$ と $\mathcal{Q}$ の次数部分モノイドの和のインデックスが $\mathbb{Z}^{6g-6}$ 内で全次数格子のインデックスと一致し、分解条件が確認される。
• トレース公式と分解結果は、すべての単位根 $\zeta$ に対して成り立ち、表面の境界成分に沿って2つのコピーを貼り合わせることで幾何的に実現可能である。