[论文解读] On stated $SL(n)$-skein modules

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

Algebraic structures and combinatorial modelsMathematics被引用 3

一句话总结

本文建立了三维流形中给定 SL(n)-skein 模的奠基性结构，证明了其经典极限同构于特征簇的坐标环，构造了单位根情形下的 Frobenius 同态，并证明了分裂映射与加标记映射的单射性。关键贡献在于当 v 是满足 m 与 2n 互素的 m 次本原单位根时，给出了带标记 SL(n)-skein 代数的唯一性定理。

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)-skein 模的古典极限，使其同构于代数集的坐标环。
• 当 v 为单位根时，构造并分析 SL(n) 的 Frobenius 同态。
• 在特定拓扑条件下，证明分裂映射与加标记映射的单射性。
• 证明带标记 SL(n)-skein 代数为仿射几乎阿兹穆亚代数，并在 v 为满足 m 与 2n 互素的 m 次本原单位根时建立唯一性定理。
• 将 Bullock 的 SL(2) 古典极限结果推广至 SL(n)，并将其扩展至带边界的标记三维流形。

提出的方法

• 为带标记三维流形 (M, N) 定义 SL(n)-skein 模 Sn(M, N, v)，使用在边界弧上带有状态的框架 n-网络。
• 构造一个满代数同态 Φ: Sn(M, N, 1) → Γn(M, N)，证明其核为幂零元集合，从而将 Sn(M, N, 1) 识别为特征簇的坐标环。
• 证明当 N 仅有一个连通分支且 M 连通时，Sn(M, N, 1) 同构于 π₁(M) 的通用表示代数。
• 当 v 是满足 gcd(m, 2n) = 1 的 m 次本原单位根时，建立从 Sn(M, N, 1) 到 Sn(M, N, v) 的 Frobenius 同态。
• 证明 Frobenius 同态与分裂映射相容，并在 (M, N) 为加厚的几乎边界化有孔边界曲面时，证明 Frobenius 映射是单射且其像位于中心。
• 通过推广的带标记三维流形框架，利用同伦与代数同构（涉及加标记映射）证明当 N ≠ ∅ 时，Sn(M, N, 1) ≅ Γn(M, N) ⊗ O(SLn)^{♯N−1}。

实验结果

研究问题

• RQ1 SL(n)-skein 模 Sn(M, N, 1) 的经典极限是什么？它与特征簇坐标环有何关系？
• RQ2 在何种条件下，SL(n)-skein 模的分裂映射是单射的，特别是当 v = 1 或一般 v 时？
• RQ3 SL(n) 的 Frobenius 同态行为如何？它与分裂映射及中心结构的相容性如何？
• RQ4 在何种条件下，SL(n)-skein 代数 Sn(Σ, v) 为仿射几乎阿兹穆亚代数？这对唯一性定理意味着什么？
• RQ5 增加一个标记（额外的边界弧或圆）如何影响 SL(n)-skein 代数 Sn(M, N, 1) 的结构？

主要发现

• 经典极限 Sn(M, N, 1) 满射到特征簇的坐标环 Γn(M, N)，且其核恰好为所有幂零元的集合。
• 当 N 仅有一个连通分支且 M 连通时，Sn(M, N, 1) 同构于 π₁(M) 的通用表示代数。
• 对于任意满足 N ≠ ∅ 且 M 连通的带标记三维流形，有 Sn(M, N′, 1) ≅ Sn(M, N, 1) ⊗ O(SLn)，其中 N′ 是通过增加一个额外标记得到的。
• 当 v = 1 时，所有带标记三维流形的分裂映射均为单射；当 v 为一般值时，若 N 的至少一个分支与分裂圆盘的分量共享 ∂M 的一个分量，则分裂映射为单射。
• 当 v 是满足 gcd(m, 2n) = 1 的 m 次本原单位根时，从 Sn(M, N, 1) 到 Sn(M, N, v) 的 Frobenius 同态是良定义的，且与分裂映射可交换。
• 对于加厚的几乎边界化有孔边界曲面 Σ，Frobenius 同态是单射，其像位于 Sn(Σ, v) 的中心，且 Sn(Σ, v) 为仿射几乎阿兹穆亚代数，从而推出唯一性定理。