[논문 리뷰] Category O and sl(k) link invariants

Joshua Sussan|ArXiv.org|2007. 01. 01.

Algebraic structures and combinatorial models참고 문헌 37인용 수 54

한 줄 요약

이 논문은 $ \mathfrak{sl}_k $ 링크 불변량의 분류화를 $ \mathfrak{gl}_n $ 의 그룹화된 카테고리 $ \mathcal{O} $ 를 사용하여 구축한다. 토글 다이어그램에 프로젝티브 및 주크만 함수를 할당하여 함의를 정의한다. 이 함수들의 그로텐디크 군이 $ \mathfrak{sl}_k $ 스카인 관계를 만족함을 증명하여, 토글 및 2-토글에 대한 함의 불변량을 통해 헤이플리프트 다항식을 분류화한다.

ABSTRACT

We construct a functor valued invariant of oriented tangles on certain singular blocks of category O. Parabolic subcategories of these blocks categorify tensor products of various fundamental sl(k) representations. Projective functors restricted to these categories give rise to a functorial action of the Lie algebra. On the derived category, Zuckerman functors categorify sl(k)- homomorphisms. Cones of natural transformations between the identity functor and Zuckerman functors are assigned to crossings and this assignment satisfies the appropriate relations. On the Grothendieck group, the functors assigned to the crossings satisfy the sl(k)- specialization of the two variable HOMFLYPT polynomial. For the special case of links, we get a homological invariant.

연구 동기 및 목표

• 토글의 함의 불변량을 $ \mathfrak{sl}_k $ 링크 불변량의 분류화로 구성하는 것.
• $ \mathfrak{sl}_2 $ 의 카테고리 $ \mathcal{O} $ 를 통한 분류화 프로그램을 고차원 리 대수 $ \mathfrak{sl}_k $ 로 확장하는 것.
• 카테고리 $ \mathcal{O} $ 를 이용해 헤이플리프트 다항식을 그룹화된 오일러 특성으로서의 homology 이론으로 실현하는 것.
• 토글에 할당된 함수 간의 자연 변환을 2-토글 설정에서의 cobordism 과 대응시키는 것. 이는 이전의 2-토글 불변량 연구를 일반화한다.

제안 방법

• 그룹화된 카테고리 $ \mathcal{O} $ 의 특이 블록의 포화 부분카테고리들을 사용하여 $ \mathfrak{sl}_k $ 기본 표현의 텐서곱을 분류화한다.
• $ \mathfrak{sl}_k $ 작용에 대해 프로젝티브 함수를, 상호연결자에 대해 유도된 주크만 함수를 할당하고, 양자군 관계를 모델링하기 위해 그룹화된 리프트를 사용한다.
• 이동된 포함 함수와 주크만 함수 사이의 인접성 사상의 콘을 사용하여 토글 다이어그램의 교차를 모델링한다.
• 플레인 그래프의 $ \mathfrak{sl}_k $ 상호연결자에 대한 그래픽적 관계를 반영하는 함수의 복합에 대한 함의적 동형을 확립한다.
• 그로텐디크 군에서의 이동이 $ q $-곱셈에 대응하도록 설정을 그룹화된 형태로 올리어, 양자 세르 관계의 분류화를 가능하게 한다.
• 최종적으로 함수 값 토글 불변량이 리드미스터 이동과 그로텐디크 군에서의 $ \mathfrak{sl}_k $ 스카인 관계를 만족함을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 $ \mathfrak{gl}_n $ 의 그룹화된 카테고리 $ \mathcal{O} $ 를 사용하여 $ \mathfrak{sl}_k $ 링크 불변량을 분류화할 수 있는가?
• RQ2 카테고리 $ \mathcal{O} $ 와 프로젝티브 및 주크만 함수의 그룹화된 리프트를 통해 헤이플리프트 다항식의 자연스러운 함수적 실현은 무엇인가?
• RQ3 토글에 할당된 함수 간의 자연 변환은 2-토글 설정에서의 코보르디즘과 어떻게 대응되는가?
• RQ4 $ \mathfrak{sl}_k $ 스카인 관계는 그로텐디크 군에서 함수 복합의 동형으로 어떻게 실현될 수 있는가?
• RQ5 카테고리 $ \mathcal{O} $ 의 그룹화된 구조는 $ q $-곱셈에 대응하는 이동을 통해 양자군 작용의 분류화를 어떻게 가능하게 하는가?

주요 결과

• 함수 값 토글 불변량의 그로텐디크 군은 $ \mathfrak{sl}_k $ 스카인 관계를 만족하며, $[ \Pi_i] = (-1)^k q^k ([\widetilde{\epsilon}_{\mathfrak{s}_i} L\widetilde{Z}^{\mathfrak{s}_i}} - q^{-1} [\mathrm{Id}])$ 를 만족한다.
• 그로텐디크 군에서 관계 $q^k [ \Omega_i] - q^{-k} [ \Pi_i] = (-1)^{k-1} (q - q^{-1}) [\mathrm{Id}]$ 가 성립하여, 분류화된 스카인 관계를 확인한다.
• 토글 다이어그램의 전체 루프에 할당된 함수 복합은 $[3]\langle 1\rangle$ 만큼 이동된 항등함수와 함의적 동형이므로, 리드미스터 I 이동이 검증된다.
• 포함 함수와 유도된 주크만 함수의 복합에 대한 함의적 동형이 구성되었으며, 이는 일반화된 베르마 모듈에 제한될 때도 동형이 유지된다.
• 설정이 그룹화된 형태로 올라가면서 이동이 $ q $-파라미터에 대응하여, 양자 세르 관계의 분류화가 가능해진다.
• 토글에 할당된 함수 간의 자연 변환은 코보르디즘과 대응되며, 이는 이전의 $ \mathfrak{sl}_2 $ 연구를 일반화하고 프로그램을 $ \mathfrak{sl}_k $ 로 확장한다.