[논문 리뷰] A formula for the action of Dehn twists on HOMFLY-PT skein modules and its applications

Shunsuke Tsuji|arXiv (Cornell University)|2018. 01. 02.

Geometric and Algebraic Topology참고 문헌 12인용 수 4

한 줄 요약

이 논문은 표면의 HOMFLY-PT 스케인 모듈에서 디엔 트위스트의 작용에 대한 공식을 수립하며, 카우프만 브라켓 스케인 대수의 이전 결과를 일반화한다. 경계를 가진 종수 g 표면의 토렐리 군을 완비된 HOMFLY-PT 스케인 대수에 임베딩하고, h^{n+1} 모듈로 순서 n의 유한형 타입(invariant)을 가지며, sl_n 양자군과 관련된 양자 불변량을 복원할 잠재력을 지닌 정수 위상 3차원 구면에 대한 새로운 불변량을 정의한다.

ABSTRACT

We introduce a formula for the action of Dehn twists on the HOMFLY-PT type skein module of a surface. As an application of the formula to mapping class group, we give an embedding from the Torelli group of a surface $Σ_{g,1}$ of genus $g$ with non-empty connected boundary into the completed HOMFLY-PT type skein algebra. As an application of the formula to integral homology $3$-spheres, we construct an invariant $z(M) \in \mathbb{Q} [ρ] [[h]]$ for an integral homology $3$-sphere $M$. The invariant $z(M) \mod (h^{n+1})$ is a finite type invariant of order $n$.

연구 동기 및 목표

• 카우프만 브라켓 스케인 대수의 이전 결과를 HOMFLY-PT 스케인 대수 틀로 일반화하기.
• 표면의 HOMFLY-PT 스케인 모듈에서 디엔 트위스트의 작용에 대한 공식을 구축하기.
• 경계를 가진 종수 g 표면의 토렐리 군을 완비된 HOMFLY-PT 스케인 대수에 임베딩하기.
• ℚ[ρ][[h]]에 값이 있는 정수 위상 3차원 구면에 대한 새로운 불변량 z(M)을 정의하기. 이 불변량은 h^{n+1} 모듈로 순서 n의 유한형 타입이다.

제안 방법

• ℚ[ρ][[h]] 위에서 완비된 HOMFLY-PT 유형 스케인 대수를 도입하며, 기저는 Σ×I 내의 프레임드 방향성 링크로 주어진다.
• 완비된 스케인 모듈에서 디엔 트위스트 t_c의 작용에 대한 공식을, 완비된 스케인 대수 내의 원소 Λ(c)를 포함하는 지수 함수 맵을 통해 유도한다.
• 관계 t_c(⋅) = exp(σ(Λ(c)))(⋅)를 사용하여 매핑 클래스 군 작용을 스케인 대수의 구조와 연결한다.
• 스케인 모듈 F^n A(Σ, J^-, J^+)에 필터링을 구축하고, 두 필터링 F^{⋆n}과 F^n 간의 동치성을 증명한다.
• 공식을 적용하여 디엔 트위스트의 작용을 통해 토렐리 군 I(Σ_{g,1})을 완비된 HOMFLY-PT 스케인 대수에 임베딩한다.
• 스케인 대수로 수술 표현을 업컨버팅하고 h^{n+1} 모듈로 잘라내어, 정수 위상 3차원 구면 M에 대해 z(M) ∈ ℚ[ρ][[h]]를 정의한다.

실험 결과

연구 질문

• RQ1 디엔 트위스트가 HOMFLY-PT 스케인 모듈에서 스케인 대수의 용어로 명시적으로 어떻게 기술될 수 있는가?
• RQ2 표면 Σ_{g,1}의 토렐리 군이 스케인 대수의 구조를 사용하여 완비된 HOMFLY-PT 스케인 대수에 임베딩될 수 있는가?
• RQ3 구축된 불변량 z(M) ∈ ℚ[ρ][[h]]가 h^{n+1} 모듈로 줄였을 때 순서 n의 유한형 타입 불변량을 제공하는가?
• RQ4 이 불변량이 임의의 n에 대해 sl_n 양자군과 관련된 양자 불변량을 복원할 수 있는가?
• RQ5 매핑 클래스 군 작용의 맥락에서 HOMFLY-PT 스케인 대수와 골드먼 리 대수 간의 관계는 무엇인가?

주요 결과

• 디엔 트위스트의 작용에 대한 공식이 수립됨: 완비된 스케인 대수 내의 어떤 원소 Λ(c)에 대해 t_c(⋅) = exp(σ(Λ(c)))(⋅)이다.
• 토렐리 군 I(Σ_{g,1})이 Σ_{g,1}의 완비된 HOMFLY-PT 스케인 대수에 임베딩되며, 카우프만 브라켓 스케인 대수의 결과를 일반화한다.
• 모든 정수 위상 3차원 구면 M에 대해 z(M) ∈ ℚ[ρ][[h]]를 구성하였으며, z(M) mod h^{n+1}는 순서 n의 유한형 타입 불변량이다.
• 스케인 모듈에 대한 필터링 F^{⋆n}이 F^n과 동일함이 증명되어 스케인 대수의 필터링 구조의 일관성을 확보한다.
• 구성에 따르면 z(M)가 특수화 A^{4} = q를 통해 sl_n 양자군의 모든 양자 불변량을 복원할 수 있음을 시사한다.
• HOMFLY-PT 스케인 대수는 골드먼 리 대수의 구조를 포함하여, 카우프만 브라켓 스케인 대수보다 더 많은 정보를 포괄한다.