[논문 리뷰] Representations of the oriented skein category

Jonathan Brundan|arXiv (Cornell University)|2017. 12. 24.

Algebraic structures and combinatorial models참고 문헌 42인용 수 21

한 줄 요약

이 논문은 최고 가중치 이론을 사용하여 HOMFLY-PT 링크 불변량의 기초가 되는 끈 고리 카테고리 $ϵ\mathcal{OS}(z,t)$ 의 표현 이론을 개발한다. 모든 매개수 값, 즉 단순 및 비단순 경우를 포함하여, 그 추가 카루비 에이프렌프의 그로텐디에크 링을 결정하고, 카크-무디 2-카테고리의 2-표현을 통한 계층적 리프트를 구축하며, 열화된 경우는 방향성 있는 브라우어 카테고리로 간주한다.

ABSTRACT

The oriented skein category $OS(z,t)$ is a ribbon category which underpins the definition of the HOMFLY-PT invariant of an oriented link, in the same way that the Temperley-Lieb category underpins the Jones polynomial. In this article, we develop its representation theory using a highest weight theory approach. This allows us to determine the Grothendieck ring of its additive Karoubi envelope for all possible choices of parameters, including the (already well-known) semisimple case, and all non-semisimple situations. Then we construct a graded lift of $OS(z,t)$ by realizing it as a 2-representation of a Kac-Moody 2-category. We also discuss the degenerate analog of $OS(z,t)$, which is the oriented Brauer category $OB(δ)$.

연구 동기 및 목표

• 방향성 있는 스카인 카테고리 $ϵ\mathcal{OS}(z,t)$ 의 표현 이론을 최고 가중치 이론을 사용하여 개발한다.
• 모든 매개수 선택, 즉 단순 및 비단순 경우를 포함하여, $ϵ\mathcal{OS}(z,t)$ 의 추가 카루비 에이프렌프의 그로텐디에크 링을 결정한다.
• $ϵ\mathcal{OS}(z,t)$ 의 계층적 리프트를 카크-무디 2-카테고리의 2-표현으로서 실현하여 구축한다.
• $ϵ\mathcal{OS}(z,t)$ 의 열화된 유사체를 방향성 있는 브라우어 카테고리 $ϵ\mathcal{OB}(δ)$ 로 식별한다.

제안 방법

• 방향성 있는 스카인 카테고리 $ϵ\mathcal{OS}(z,t)$ 의 표현을 분류하기 위해 최고 가중치 이론을 적용한다.
• 카테고리의 구조에서 유도된 조합론적 자료를 사용하여 표현을 표시하는 분할에 대한 가중치 함수 $ω^\uparrow(\bm{\lambda})$ 와 $ω^\downarrow(\bm{\lambda})$ 를 정의한다.
• 2-표현이 $ϵ\mathcal{OS}(z,t)$ 를 분류화하는 카크-무디 2-카테고리를 구성함으로써, 계층적 리프트를 제공한다.
• 핵심 보조정리에서 $t^{-2}i^{-1}$ 을 $-i - \delta$, $I_1$ 을 $I_0$, $I_{t^{-2}}$ 를 $I_{-\delta}$ 로 대체하여 카테고리의 정의 관계를 조정한다.
• 비단순 설정으로의 일반화를 위해 매개수 집합 $I = I_0 \cup I_{-\delta} = \{n, -n - \delta \mid n \in \mathbb{Z}\}$ 을 정의한다.
• 기존 색인 집합 $I$ 에 맞추어 카르탕 행렬 $(c_{i,j})_{i,j \in I}$ 과 관련된 리 대수 $τ\mathfrak{g}$ 를 새 색인 집합에 맞게 조정한다.

실험 결과

연구 질문

• RQ1 방향성 있는 스카인 카테고리 $ϵ\mathcal{OS}(z,t)$ 의 표현 이론을 최고 가중치 이론을 사용하여 체계적으로 어떻게 발전시킬 수 있는가?
• RQ2 $ϵ\mathcal{OS}(z,t)$ 의 추가 카루비 에이프렌프의 그로텐디에크 링은 임의의 매개수 $z$ 와 $t$ 에 대해 어떻게 구성되어 있는가?
• RQ3 $ϵ\mathcal{OS}(z,t)$ 의 계층적 리프트를 카크-무디 2-카테고리의 2-표현을 통해 어떻게 구축할 수 있는가?
• RQ4 $ϵ\mathcal{OS}(z,t)$ 의 열화된 유사체, 즉 방향성 있는 브라우어 카테고리 $ϵ\mathcal{OB}(\delta)$ 는 일반적 프레임워크와 어떻게 관련되어 있는가?
• RQ5 매개수화에서 $t^{-2}i^{-1}$ 에서 $-i - \delta$ 로 이동할 경우, 카테고리의 공리와 보조정리에 어떤 수정이 필요한가?

주요 결과

• $ϵ\mathcal{OS}(z,t)$ 의 추가 카루비 에이프렌프의 그로텐디에크 링은 매개수 $z$ 와 $t$ 의 모든 선택에 대해 완전히 결정되어 있으며, 단순 및 비단순 경우를 포함한다.
• $ϵ\mathcal{OS}(z,t)$ 는 카크-무디 2-카테고리의 2-표현으로서 실현된 계층적 리프트를 갖는다. 이는 스카인 카테고리의 분류화를 제공한다.
• $ϵ\mathcal{OS}(z,t)$ 의 열화된 유사체는 방향성 있는 브라우어 카테고리 $ϵ\mathcal{OB}(\delta)$ 로 식별되며, 이에 해당하는 가중치 공식은 $\Lambda_{-\delta}$ 와 $\alpha_{-\operatorname{cont}(A) - \delta}$ 를 포함한다.
• 기존의 $I_0 \cup I_{t^{-2}}$ 를 대체하여, 일반화된 프레임워크에서 매개수 집합 $I = \{n, -n - \delta \mid n \in \mathbb{Z}\}$ 이 사용되며, 이는 비단순 경우의 처리를 가능하게 한다.
• 가중치 함수는 $\operatorname{wt}^\uparrow(\bm{\lambda}) = -\Lambda_0 + \sum_{A \in \lambda^\uparrow} \alpha_{\operatorname{cont}(A)}$ 와 $\operatorname{wt}^\downarrow(\bm{\lambda}) = \Lambda_{-\delta} - \sum_{A \in \lambda^\downarrow} \alpha_{-\operatorname{cont}(A) - \delta}$ 로 재정의되며, 이는 새로운 매개수화를 반영한다.
• 섹션 6의 모든 결과, 즉 보조정리와 조합론적 구조는 새 매개수 집합에 맞게 적응되었으며, 정의 관계와 색인화에 일관된 수정이 가해졌다.