[論文レビュー] On stated $SL(n)$-skein modules

Zhihao Wang|arXiv (Cornell University)|Jul 18, 2023

Algebraic structures and combinatorial modelsMathematics被引用数 3

ひとこと要約

本稿は、境界にマークされた3次元多様体における指定されたSL(n)-スキーンモジュールの基礎的構造を確立し、古典的極限同型を座標環の環へと示し、単位根におけるフロベニウス準同型を構成し、分割写像およびマーク追加写像の単射性を証明する。主な貢献は、v が2nと互いに素なm次の原始根である場合の、指定されたSL(n)-スキーン代数における一意性定理である。

ABSTRACT

We mainly focus on Classical limit, Splitting map, and Frobenius homomorphism for stated $SL(n)$-skein modules, and Unicity Theorem for stated $SL(n)$-skein algebras. Let $(M,N)$ be a marked three manifold. We use $S_n(M,N,v)$ to denote the stated $SL(n)$-skein module of $(M,N)$ where $v$ is a nonzero complex number. We build a surjective algebra homomorphism from $S_n(M,N,1)$ to the coordinate ring of some algebraic set, and prove it's Kernal consists of all nilpotents. We prove the universal representation algebra of $π_1(M)$ is isomorphic to $S_n(M,N,1)$ when $N$ has only one component and $M$ is connected. Furthermore we show $S_n(M,N^{'},1)$ is isomorphic to $S_n(M,N,1)\otimes O(SLn)$, where $N eq \emptyset$, $M$ is connected, and $N^{'}$ is obtained from $N$ by adding one extra marking. We also prove the splitting map is injective for any marked three manifold when $v=1$, and show that the splitting map is injective (for general $v$) if there exists at least one component of $N$ such that this component and the boundary of the splitting disk belong to the same component of $\partial M$. We also establish the Frobenius homomorphism for $SL(n)$, which is map from $S_n(M,N,1)$ to $S_n(M,N,v)$ when $v$ is a primitive $m$-th root of unity with $m$ being coprime with $2n$ and every component of $M$ contains at least one marking. We also show the commutativity between Frobenius homomorphism and splitting map. When $(M,N)$ is the thickening of an essentially bordered pb surface, we prove the Frobenius homomorphism is injective and it's image lives in the center. We prove the stated $SL(n)$-skein algebra $S_n(Σ,v)$ is affine almost Azumaya when $Σ$ is an essentially bordered pb surface and $v$ is a primitive $m$-th root of unity with $m$ being coprime with $2n$, which implies the Unicity Theorem for $S_n(Σ,v)$.

研究の動機と目的

• 指定されたSL(n)-スキーンモジュールの古典的極限を代数的集合の座標環として確立すること。
• v が単位根である場合のSL(n)におけるフロベニウス準同型を構成し、解析すること。
• 特定の位相的条件下で、分割写像およびマーク追加写像の単射性を証明すること。
• v が2nと互いに素なm次の原始根である場合の、指定されたSL(n)-スキーン代数がアフィンほぼアズマヤであることを示し、一意性定理を確立すること。
• ブルックの古典的極限結果をSL(2)からSL(n)へ一般化し、境界を持つマーク付き3次元多様体へ拡張すること。

提案手法

• 境界の弧に状態をもつフレームドnウェブを用いて、マーク付き3次元多様体(M, N)に対して、指定されたSL(n)-スキーンモジュールSn(M, N, v)を定義する。
• Sn(M, N, 1) から Γn(M, N) への全射代数準同型Φを構成し、その核がノルム的であることを示し、Sn(M, N, 1) をキャラクター多様体の座標環と同定する。
• N が1つの成分をもち、M が連結であるとき、Sn(M, N, 1) が π₁(M) の普遍表現代数と同型であることを証明する。
• v が2nと互いに素なm次の原始根であるとき、Sn(M, N, 1) から Sn(M, N, v) へのフロベニウス準同型を確立する。
• フロベニウス準同型が分割写像と整合することを示し、(M, N) が「滑らかで本質的に境界付き穴あき境界付き曲面」であるとき、フロベニウス写像が単射であり、中心に値をとることを証明する。
• 一般化されたマーク付き3次元多様体の枠組みを用いて、N ≠ ∅ のとき、Sn(M, N, 1) ≅ Γn(M, N) ⊗ O(SLn)^{♯N−1} を、ホモトピーおよび代数的同型を用いて示す。

実験結果

リサーチクエスチョン

• RQ1 指定されたSL(n)-スキーンモジュールSn(M, N, 1)の古典的極限は何か？ そして、キャラクター多様体の座標環とどのように関係するか？
• RQ2 v = 1 または一般のvの場合に、分割写像が指定されたSL(n)-スキーンモジュールで単射となる条件は何か？
• RQ3 SL(n)におけるフロベニウス準同型はどのように振る舞い、分割写像および中心構造と整合的か？
• RQ4 指定されたSL(n)-スキーン代数Sn(Σ, v)がアフィンほぼアズマヤであるのはいつか？ そして、これにより一意性定理にどのような意味が生じるか？
• RQ5 マーク（追加の境界弧または円周）を追加すると、指定されたSL(n)-スキーン代数Sn(M, N, 1)の構造はどのように変化するか？

主な発見

• 古典的極限Sn(M, N, 1)はキャラクター多様体の座標環Γn(M, N)に全射であり、その核はすべての冪零元の集合に正確に一致する。
• N が1つの成分をもち、M が連結であるとき、Sn(M, N, 1) は π₁(M) の普遍表現代数と同型である。
• N ≠ ∅ かつ M が連結である任意のマーク付き3次元多様体に対して、Sn(M, N′, 1) ≅ Sn(M, N, 1) ⊗ O(SLn) が成り立ち、ここで N′ は1つの追加マークを加えたものである。
• v = 1 のとき、すべてのマーク付き3次元多様体で分割写像は単射であり、一般のvに対しても、分割ディスクと境界成分を共有するNの少なくとも1つの成分が存在する場合に単射である。
• v が2nと互いに素なm次の原始根であるとき、Sn(M, N, 1) から Sn(M, N, v) へのフロベニウス準同型は適切に定義され、分割写像と可換である。
• 滑らかで本質的に境界付き穴あき境界付き曲面Σに対して、フロベニウス準同型は単射であり、その像はSn(Σ, v)の中心に含まれる。さらに、Sn(Σ, v) はアフィンほぼアズマヤであり、これにより一意性定理が導かれる。