[논문 리뷰] The quotient of a Kauffman bracket skein algebra by the square of an augmentation ideal

Shunsuke Tsuji|arXiv (Cornell University)|2016. 06. 03.

Geometric and Algebraic Topology참고 문헌 5인용 수 3

한 줄 요약

이 논문은 표면의 Kauffman bracket skein 대수의 몫을 증폭 이상의 제곱으로 나눈 것에 대해 명시적인 기저를 구성하며, 이는 대수 위에 더 섬세한 필터링을 정의하는 데에 기여한다. 이 필터링은 핸들바디 내 링크에 대한 두 개의 유한형 불변량을 도출하고, Baker-Campbell-Hausdorff 공식을 통해 제로 성질을 가진 표면의 매핑 클래스 군을 완비된 skein 대수로의 단사 군 준동형사상으로 매핑할 수 있게 한다.

ABSTRACT

We give an explicit basis $\mathcal{B}$ of the quotient of the Kauffman bracket skein algebra $\mathcal{S} (Σ)$ on a surface $Σ$ by the square of an augmentation ideal. As an application, it induces two kinds of finite type invariants of links in a handle body in the sense of Le. Moreover, we construct an embedding of the mapping class group of a compact connected surface of genus $0$ into the Kauffman bracket skein algebra on the surface completed with respect to a filtration coming from the augmentation ideal.

연구 동기 및 목표

• 증폭 이상의 제곱으로 나눈 Kauffman bracket skein 대수의 몫에 대해 명시적인 기저를 제공하는 것.
• 증폭 이상의 표준 거듭제곱 필터링보다 더 섬세한 skein 대수 위의 새로운 필터링을 정의하는 것.
• 새로운 필터링을 사용하여 핸들바디 내 링크에 대한 유한형 불변량을 구성하는 것.
• Baker-Campbell-Hausdorff 공식을 통해 제로 성질을 가진 표면의 매핑 클래스 군을 완비된 skein 대수로 임베딩하는 것.
• 이전의 Dehn 변위 작용 결과를 로그 구조를 사용하여 더 넓은 매핑 클래스 군 원소의 범주로 일반화하는 것.

제안 방법

• 표면 $\Sigma$의 기본군을 생성하는 $x_i$에 대해, $\{1\}$, $\{A+1\}$, $\{\langle x_i, x_j \rangle \mid i \leq j\}$, 및 $\{\langle x_i, x_j, x_k \rangle \mid i < j < k\}$로 구성된 기저 $\mathcal{B}$를 $\mathcal{S}(\Sigma)/ (\ker \epsilon)^2$에 구성한다.
• 기저 $\mathcal{B}$의 일차 독립성을 증명하기 위해, $\mathcal{S}(\Sigma) \times \mathcal{S}(\Sigma) \to \mathbb{Q}[A^{\pm 1}]$로 가는 비퇴화 이항형 $\vartheta$를 정의한다.
• 새로운 필터링 $\{F^n \mathcal{S}(\Sigma)\}_{n \geq 0}$을 정의하며, 여기서 $F^{2n} = (\ker \epsilon)^n$, $F^{2n+1} = F^3 \cdot F^{2n-2}$, 그리고 $F^3/F^4 \simeq \wedge^3 H_1(\Sigma, \mathbb{Q})$이다.
• 이 필터링을 사용하여 완비된 skein 대수에서 Baker-Campbell-Hausdorff 급수를 통해 매핑 클래스 군 원소의 로그를 정의한다.
• 특정 원소 $L(c)$를 포함하는 역 hyperbolic cosine 및 로그 함수를 사용하여, Dehn 변위를 특정 원소로 매핑하는 군 준동형사상 $\zeta: \mathcal{M}(\Sigma) \to (\widehat{\mathcal{S}(\Sigma)}, \mathrm{bch})$를 정의한다.
• 완비된 skein 모듈러스 위에서 $\exp(\sigma(\cdot))$의 작용을 사용하여 $\zeta(\xi) = 0$이면 $\xi = \mathrm{id}$임을 보여, $\zeta$의 단사성을 증명한다.

실험 결과

연구 질문

• RQ1 Kauffman bracket skein 대수의 몫 $\mathcal{S}(\Sigma)/(\ker \epsilon)^2$에 대해 명시적인 기저는 무엇인가?
• RQ2 더 높은 순서의 불변량을 포착할 수 있도록 더 섬세한 필터링을 skein 대수에 어떻게 구성할 수 있는가?
• RQ3 $\mathcal{S}(\Sigma)/(\ker \epsilon)^2$의 구조에서 핸들바디 내 링크에 대한 유한형 불변량을 유도할 수 있는가?
• RQ4 로그 구조를 사용하여 제로 성질을 가진 표면의 매핑 클래스 군을 완비된 skein 대수로 임베딩하는 것이 가능한가?
• RQ5 Baker-Campbell-Hausdorff 공식은 매핑 클래스 군 원소가 완비된 skein 모듈러스 위에 작용하는 데 일관된 방식을 제공하는가?

주요 결과

• 명시적인 기저 $\mathcal{B}$가 $\mathcal{S}(\Sigma)/(\ker \epsilon)^2$에 구성되었으며, 이는 $1$, $A+1$, $i \leq j$인 대칭 쌍 $\langle x_i, x_j \rangle$, 및 $i < j < k$인 삼중 곱 $\langle x_i, x_j, x_k \rangle$로 이루어져 있다.
• 이항형 $\vartheta$는 비퇴화적이며, $\vartheta((\ker \epsilon)^n (\ker \epsilon)^m) \in (A+1)^{n+m}$를 만족하여 기저 $\mathcal{B}$의 일차 독립성을 보장한다.
• 새로운 필터링 $\{F^n \mathcal{S}(\Sigma)\}$는 $F^{2n+1} \mathcal{S}(\Sigma) = F^3 \mathcal{S}(\Sigma) \cdot F^{2n-2} \mathcal{S}(\Sigma)$를 만족하며, $F^{2n}/F^{2n+1} \simeq S^2(H_1(\Sigma, \mathbb{Q}))$, $F^{2n+1}/F^{2n+2} \simeq \wedge^3(H_1(\Sigma, \mathbb{Q}))$이다.
• 사슬 $L \mapsto (-2)^{-|L|}[L]$에 대한 몫 사상 $\mathcal{T}(\Sigma) \to \mathcal{S}(\Sigma)/(\ker \epsilon)^2$는 $\Sigma \times I$ 내 링크에 대해 순서 2의 유한형 불변량을 정의한다.
• 군 준동형사상 $\zeta: \mathcal{M}(\Sigma) \to (\widehat{\mathcal{S}(\Sigma)}, \mathrm{bch})$는 잘 정의되어 있으며 단사적이며, 매핑 클래스 군을 완비된 skein 대수로 임베딩한다.
• 완비된 skein 모듈러스 $\widehat{\mathcal{S}(\Sigma,J)}$ 위에서 $\xi \in \mathcal{M}(\Sigma)$의 작용은 $\exp(\sigma(\zeta(\xi)))$로 주어지며, $\zeta(\xi) = 0$이면 $\xi = \mathrm{id}$임이 증명되어 단사성이 입증된다.