[논문 리뷰] On stated $SL(n)$-skein modules

Zhihao Wang|arXiv (Cornell University)|2023. 07. 18.

Algebraic structures and combinatorial modelsMathematics인용 수 3

한 줄 요약

이 논문은 3차원 다중체에서의 명시적 SL(n)-스키인 모듈에 기본적인 구조를 설정하며, 좌표환의 특성다양체에 대한 고전적 극한 동형사상, 단위근에서의 프로베누스 준동형사상의 구성, 그리고 분할 및 마킹 추가 사상의 단사성을 증명한다. 주요 기여는 v가 2n과 서로소인 m차 단위근일 때, 명시적 SL(n)-스키인 대수의 유일성 정리(Unicity Theorem)를 확립하는 것이다.

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)에 대한 프로베누스 준동형사를 구성하고 분석한다.
• 특정 위상적 조건 하에서 분할 사상과 마킹 추가 사상의 단사성을 증명한다.
• 명시적 SL(n)-스키인 대수가 거의 아즈마야이면서 약한 아핀성을 띠며, v가 2n과 서로소인 m차 단위근일 때 유일성 정리를 확립한다.
• 불록의 고전적 극한 결과를 SL(2)에서 SL(n)으로 일반화하고, 경계를 가진 마킹된 3차원 다중체로 확장한다.

제안 방법

• 프레임된 n-웹과 경계선분 위의 상태를 사용하여 마킹된 3차원 다중체 (M, N)에 대해 명시적 SL(n)-스키인 모듈 Sn(M, N, v)을 정의한다.
• Surjective 대수 준동형사상 Φ: Sn(M, N, 1) → Γn(M, N)을 구성하여, 그 핵이 담근부분환임을 보이며, 따라서 Sn(M, N, 1)을 특성다양체의 좌표환과 동일시한다.
• N이 하나의 성분을 가지며 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)가 거의 아즈마야이면서 약한 아phin인가, 그리고 이는 유일성 정리에 어떤 함의를 갖는가?
• RQ5 마킹을 추가함(추가적인 경계선분 또는 원)하면, 명시적 SL(n)-스키인 대수 Sn(M, N, 1)의 구조에 어떤 영향을 미치는가?

주요 결과

• 고전적 극한 Sn(M, N, 1)은 특성다양체의 좌표환 Γn(M, N)로의 전사 사상이며, 그 핵은 정확히 모든 멱영원소들의 집합이다.
• N이 하나의 성분을 가지며 M가 연결되어 있을 경우, Sn(M, N, 1)은 π₁(M)의 보편 표현대수와 동형이다.
• N ≠ ∅ 이고 M가 연결되어 있을 경우, N′이 추가 마킹을 통해 얻어진 경우, Sn(M, N′, 1) ≅ Sn(M, N, 1) ⊗ O(SLn)이다.
• v = 1일 경우 모든 마킹된 3차원 다중체에서 분할 사상은 단사적이며, 일반적인 v에 대해서는 분할 디스크와 공통 성분을 가진 N의 적어도 하나의 성분이 ∂M와 공유될 경우 단사적이다.
• v가 2n과 서로소인 m차 단위근일 때, Sn(M, N, 1)에서 Sn(M, N, v)로의 프로베누스 준동형사는 잘 정의되며, 분할 사상과 가환한다.
• 두꺼운 기본적으로 경계가 있는 구멍이 있는 표면 Σ에 대해 프로베누스 준동형사는 단사적이며 그 상은 Sn(Σ, v)의 중심에 포함되며, Sn(Σ, v)는 약한 아핀 거의 아즈마야이므로 유일성 정리가 도출된다.