[論文レビュー] Triangular decomposition of $SL_3$ skein algebras

Vijay Higgins|arXiv (Cornell University)|Aug 21, 2020

Geometric and Algebraic Topology参考文献 10被引用数 7

ひとこと要約

本稿では、LeのSL2に対する三角分解の類似物として、SL3のクラフマン・ブラケット系代数に対して、境界付きの状態付き系代数を導入し、Oq(SL3)代数のテンソル積への三角分解を示した。主な結果は、任意の理想三角形分割可能な曲面の状態付き系代数が、三角形の状態付き系代数のテンソル積へ単射埋め込み可能であり、その三角形代数はbraided tensor product 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クラフマン・ブラケット系代数の三角分解をSL3の場合に拡張すること。
• 通常の系代数構造を保ちつつ、理想弧に沿った単射分割写像を許容するSL3の状態付き系代数を定義すること。
• 任意の理想三角形分割可能な曲面のSL3状態付き系代数を、三角形の状態付き系代数のテンソル積に分解すること。
• 三角形の状態付き系代数がbraided tensor product Oq(SL3) ⊗−Oq(SL3) に同型であることを確認すること。
• 還元規則とDiamond Lemmaを用いて、理想弧に沿った分割写像の単射性を示し、明示的な基底を構成すること。

提案手法

• 標準的系代数に境界関係を追加することで、SL3の状態付き系代数を定義し、理想弧に沿った分割写像を可能にする。
• 大二面体の状態付き系代数を、ホップ代数としてOq(SL3)に同型と定義し、同型を確立するための図式的写像φを用いる。
• Oq(SL3)におけるcobraiding ρを用いて、三角形の状態付き系代数にbraided tensor product構造を定義する。
• SL3系関係（境界関係を含む）から導かれる還元規則を用いて、状態付き系代数の明示的基底を構成する。
• Diamond Lemmaを適用して還元系が合致的かつ停止的であることを証明し、一意な正規形が得られることを示し、単射性の証明を可能にする。
• 一般の場合を単独の二面体の場合に還元し、基底と還元規則を用いて単射性を検証することで、分割写像の単射性を証明する。

実験結果

リサーチクエスチョン

• RQ1 理想弧に沿った分割写像が単射であり、三角分解を許容するSL3の状態付き系代数を定義できるか？
• RQ2 三角形の状態付き系代数はbraided tensor product Oq(SL3) ⊗−Oq(SL3) に同型か？
• RQ3 大二面体の状態付き系代数はOq(SL3)のホップ代数構造を回復するか？
• RQ4 還元系とDiamond Lemmaを用いて分割写像の単射性を確立できるか？
• RQ5 任意の理想三角形分割可能な曲面の状態付き系代数は、単射分割写像を介して三角形の状態付き系代数のテンソル積へ埋め込めるか？

主な発見

• 大二面体の状態付き系代数は、図式的写像φによって定義されたwell-definedな写像を介して、ホップ代数としてOq(SL3)に同型である。
• 三角形の状態付き系代数は、cobraiding ρによって誘導されるbraided tensor product Oq(SL3) ⊗−Oq(SL3) に同型である。
• 任意の理想弧に沿った分割写像は単射であり、単独の二面体の場合に還元し、Diamond Lemmaを用いて単射性を証明した。
• 境界関係を含む拡張された還元規則のセットを用いて、SL3状態付き系代数の明示的基底を構成し、合致性と停止性を保証した。
• 任意の理想三角形分割可能な曲面の状態付き系代数は、三角形の状態付き系代数のテンソル積へ単射に埋め込まれ、三角分解が実現された。
• 単射分割写像は代数構造と整合的であり、キャラクター多様体理論における類似する完全列に適合する。