[논문 리뷰] Holonomy and (stated) skein algebras in combinatorial quantization

Matthieu Faitg|arXiv (Cornell University)|2020. 03. 19.

Advanced Algebra and Geometry인용 수 4

한 줄 요약

이 논문은 $\mathcal{L}_{g,n}(H)$의 조합적 양자화 프레임워크에서 다루는 호환성 맵을 도입하며, 텐서 값의 할당을 통한 타앵글 및 링크 불변량의 일반화를 수행한다. 이는 경계가 하나인 컴팩트한 올림포스 표면의 스케인 대수와 $\mathcal{L}_{g,n}(U_{q^2}(\mathfrak{sl}_2))$ 사이의 동형사상임을 증명하며, 진공 표현의 기하적 실현과 스케인 이론 및 양자화 특성 다양체를 통합한다.

ABSTRACT

The algebra $\mathcal{L}_{g,n}(H)$ was introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche and quantizes the character variety of the Riemann surface $Σ_{g,n}\!\setminus\! D$ ($D$ is an open disk). In this article we define a holonomy map in that quantized setting, which associates a tensor with components in $\mathcal{L}_{g,n}(H)$ to tangles in $(Σ_{g,n}\!\setminus\!D) imes [0,1]$, generalizing previous works of Buffenoir-Roche and Bullock-Frohman-Kania-Bartoszynska. We show that holonomy behaves well for the stack product and the action of the mapping class group; then we specialize this notion to links in order to define a generalized Wilson loop map. Thanks to the holonomy map, we give a geometric interpretation of the vacuum representation of $\mathcal{L}_{g,0}(H)$ on $\mathcal{L}_{0,g}(H)$. Finally, the general results are applied to the case $H=U_{q^2}(\mathfrak{sl}_2)$ in relation to skein theory and the most important consequence is that the stated skein algebra of a compact oriented surface with just one boundary edge is isomorphic to $\mathcal{L}_{g,n}\big( U_{q^2}(\mathfrak{sl}_2) \big)$. Throughout the paper we use a graphical calculus for tensors with coefficients in $\mathcal{L}_{g,n}(H)$ which makes the computations and definitions very intuitive.

연구 동기 및 목표

• 표면 $\Sigma_{g,n} \setminus D \times [0,1]$ 내의 타앵글에 대해 $\mathcal{L}_{g,n}(H)$의 텐서를 할당하는 호환성 맵을 정의함으로써 이전의 구성들을 일반화한다.
• 이 호환성 맵이 스택 곱과 표면의 매핑 클래스 군 작용과 호환됨을 보인다.
• 호환성 맵을 링크에 국한하여 양자화된 설정에서 일반화된 윌슨 루프 맵을 정의한다.
• $\mathcal{L}_{g,0}(H)$의 진공 표현이 $\mathcal{L}_{0,g}(H)$ 위에서 호환성 구성에 의해 기하학적으로 실현됨을 제공한다.
• 경계가 하나인 컴팩트한 올림포스 표면의 기록된 스케인 대수와 $\mathcal{L}_{g,n}(U_{q^2}(\mathfrak{sl}_2))$ 사이의 동형사상을 확립한다.

제안 방법

• 텐서의 계수로 $\mathcal{L}_{g,n}(H)$를 갖는 그래픽스 계산법을 사용하여 호환성 맵을 구성함으로써 직관적인 계산과 정의를 가능하게 한다.
• 이 프레임워크는 알렉세예프-그로세-쇼머루스와 뱅포아르-로흐에 의해 처음 도입된 $\mathcal{L}_{g,n}(H)$의 대수적 구조를 활용하여 구멍이 있는 표면의 특성 다양체를 양자화한다.
• 타앵글의 연결에 대한 일致성 검증을 통해 호환성이 스택 곱과 호환됨을 보인다.
• 표면의 자동형사상에 대한 등변성 증명을 통해 매핑 클래스 군 작용이 유지됨을 보여준다.
• 호환성 맵을 링크에 국한함으로써 양자 추적 유사 불변량을 갖는 윌슨 루프 맵을 정의한다.
• 핵심 동형사상은 경계가 하나인 표면의 기록된 스케인 대수가 $\mathcal{L}_{g,n}(U_{q^2}(\mathfrak{sl}_2))$와 동일한 관계를 만족함을 보여줌으로써 증명된다.

실험 결과

연구 질문

• RQ1 표면 $\Sigma_{g,n} \setminus D \times [0,1]$ 내의 타앵글에 대해 $\mathcal{L}_{g,n}(H)$의 조합적 양자화 설정에서 호환성 맵을 어떻게 정의할 수 있는가?
• RQ2 호환성 맵은 스택 곱과 표면의 매핑 클래스 군 작용을 존중하는가?
• RQ3 호환성 구성은 양자화된 설정에서 링크에 대해 일반화된 윌슨 루프 맵을 도출할 수 있는가?
• RQ4 호환성 맵을 통해 $\mathcal{L}_{g,0}(H)$의 진공 표현이 $\mathcal{L}_{0,g}(H)$ 위에서 어떻게 기하학적으로 해석될 수 있는가?
• RQ5 경계가 하나인 컴팩트한 올림포스 표면의 기록된 스케인 대수와 $\mathcal{L}_{g,n}(U_{q^2}(\mathfrak{sl}_2))$는 동형인가?

주요 결과

• 호환성 맵은 잘 정의되어 있으며 스택 곱과 매핑 클래스 군 작용을 존중하며, 이는 이전의 타앵글 불변량을 일반화한다.
• 호환성 구성은 $\Sigma_{g,n} \setminus D \times [0,1]$ 내의 링크에 대해 일반화된 윌슨 루프 맵을 도출한다.
• $\mathcal{L}_{g,0}(H)$의 진공 표현은 호환성 맵을 통해 기하학적으로 실현된다.
• 경계가 하나인 컴팩트한 올림포스 표면의 기록된 스케인 대수와 $\mathcal{L}_{g,n}(U_{q^2}(\mathfrak{sl}_2))$는 동형이다.
• 대수적 관계와 그래픽스 계산법의 상세한 비교를 통해 동형사상이 확립되었으며, 보충 부록에서 정리 4.4의 완전한 증명을 제공한다.