[논문 리뷰] Categorified skew Howe duality and comparison of knot homologies

Marco Mackaay, Ben Webster|arXiv (Cornell University)|2015. 02. 20.

Algebraic structures and combinatorial models참고 문헌 27인용 수 7

한 줄 요약

이 논문은 카테고리화된 비대칭 하우 duality 프레임워크를 사용하여 Khovanov-Rozansky homology와 sln의 텐서 곱 표현의 다이어그램적 카테고리화 사이의 이somorphism을 수립한다. 도입된 slℓ×gln의 카테고리적 작용은 다이어그램적 이중모듈의 유도된 범주 위에 정의되며, 그 결과로 도출된 링크 호몰로지가 Reshetikhin-Turaev 불변량의 모든 알려진 카테고리화와 일치함을 보여주며, Koszul duality와 유도 동치를 통해 서로 다른 접근 방식을 동일한 대수적 구조 아래 통합한다.

ABSTRACT

In this paper, we show an isomorphism of homological knot invariants categorifying the Reshetikhin-Turaev invariants for $\mathfrak{sl}_n$. Over the past decade, such invariants have been constructed in a variety of different ways, using matrix factorizations, category $\mathcal{O}$, affine Grassmannians, and diagrammatic categorifications of tensor products. While the definitions of these theories are quite different, there is a key commonality between them which makes it possible to prove that they are all isomorphic: they arise from a skew Howe dual action of $\mathfrak{gl}_\ell$ for some $\ell$. In this paper, we show that the construction of knot homology based on categorifying tensor products (from earlier work of the second author) fits into this framework, and thus agrees with other such homologies, such as Khovanov-Rozansky homology. We accomplish this by categorifying the action of $\mathfrak{gl}_\ell imes \mathfrak{gl}_n$ on $\bigwedge olimits^{\!p}(\mathbb{C}^\ell\otimes \mathbb{C}^n)$ using diagrammatic bimodules. In this action, the functors corresponding to $\mathfrak{gl}_\ell$ and $\mathfrak{gl}_n$ are quite different in nature, but they will switch roles under Koszul duality.

연구 동기 및 목표

• 논문의 목적은 sln Reshetikhin-Turaev 불변량의 여러 카테고리화 간의 동치성을 증명하는 오랜 문제를 해결하는 데 있다.
• 다양한 구축 방식—행렬 인수화, 폼, 카테고리 O, 애파라프리드 그라스만이안, 다이어그램적 카테고리화—을 하나의 프레임워크 아래 통합하고자 한다.
• 다이어그램적 텐서 곱 카테고리화(웹브의 결과)가 sl∞-카테고리적 작용 기반의 코우티스의 보편 구축과 이somorphic 임을 증명하는 것이 목적이다.
• 이 카테고리화된 duality 프레임워크에서 Koszul duality가 slℓ와 gln 작용의 역할을 어떻게 교환하는지 명확히 하고자 한다.
• 유도된 다이어그램적 이중모듈의 범주를 통해 Zuckerman 함자들을 다이어그램적으로 실현함으로써 표현 이론의 새로운 실용적 도구를 제공하고자 한다.

제안 방법

• 저자들은 다이어그램적 텐서 곱 대수 T_{p1,...,pℓ}^μ 위의 유도된 모듈의 유한 범주 위에 slℓ×gln의 카테고리적 작용을 구축한다.
• 다이어그램적 이중모듈을 사용하여, 비대칭 하우 duality의 기초가 되는 외적 대수 ^p(Cℓ⊗Cn) 위에서 glℓ×gln의 작용을 카테고리화한다.
• slℓ 작용이 아벨 수준에서 정확하지 않기 때문에, 이는 유도된 범주의 틀이 필요하며, 따라서 유도된 범주로의 전환을 필요로 한다.
• 핵심 기술적 도구는 Koszul duality이며, 이는 파라불릭 카테고리 O의 블록 유도 범주 간의 동치를 통해 slℓ와 gln 작용을 교환한다.
• 저자들은 Soergel의 Struktursatz와 선형 복합체 t-구조에서 Zuckerman 함자의 t-정확성(의미: t-exactness)을 사용하여 유도된 구조를 제어한다.
• 각 알려진 불변량이 고유한 무게 nωℓ를 가진 최고 무게 객체 C의 경우 Hom(C, Z(L)C)로 나타남을 보여, 모든 불변량을 비교한다. 이때 End(C) ≅ k이다.

실험 결과

연구 질문

• RQ1 다이어그램적 텐서 곱 표현의 카테고리화(웹브의 결과)는 다른 알려진 구축 방식과 이소모르픽인 링크 호몰로지를 제공하는가?
• RQ2 비대칭 하우 duality 프레임워크를 사용하여 다양한 수학 분야에서의 Reshetikhin-Turaev 불변량 카테고리화를 통합할 수 있는가?
• RQ3 카테고리화된 duality 프레임워크에서 Koszul duality는 slℓ와 gln 작용의 역할을 어떻게 교환하는가?
• RQ4 웹브의 다이어그램적 구축은 sl∞-카테고리적 작용 기반의 코우티스의 보편 구축과 동치인가?
• RQ5 유도된 다이어그램적 이중모듈의 범주는 Zuckerman 함자를 구체적이고 다이어그램적으로 실현할 수 있는가?

주요 결과

• 다이어그램적 텐서 곱 카테고리화를 통해 도출된 링크 호몰로지 Kn은 Khovanov-Rozansky 호몰로지, Cautis-Kamnitzer 호몰로지, Queffelec와 Rose의 폼 기반 불변량, Mazorchuk-Stroppel 및 Sussan의 카테고리 O 기반 불변량과 이소모르픽이다.
• 이 등식은 그레이딩 이동 이후 성립한다: Wi,j+wwr(L)(L) ≅ QRi+j,−j(L) ≅ C_{i+j,−j}^+(L!) ≅ C_{−i−j,+j}^−(L), 여기서 wwr(L)은 링크의 가중치 쓰레기 수이다.
• 다이어그램적 이중모듈의 유도 범주는 ^p(Cℓ⊗Cn) 위의 비대칭 하우 duality를 카테고리화하는 slℓ×gln의 카테고리적 작용을 지지하며, slℓ 작용은 정확하지 않지만 유도 수준에서 정의된다.
• Koszul duality는 slℓ와 gln 작용을 교환한다: T_{p1,...,pℓ}^μ와 T_{m1,...,mn}^{(pn,...,p1)}의 유도 범주는 동치이며, Zuckerman 함자와 이동 함자를 서로 바꾼다.
• 이 구축은 다이어그램적 이중모듈의 유도 범주를 통해 Zuckerman 함자를 다이어그램적으로 실현하며, 표현 이론의 새로운 계산 도구를 제공한다.
• 모든 알려진 sln Reshetikhin-Turaev 불변량의 카테고리화는 서로 이소모르픽이며, 모든 것이 카테고리적 sl2ℓ 작용에서 최고 무게 무게 nωℓ를 가진 객체 C에 대해 Hom(C, Z(L)C)로 나타나며, 이때 End(C) ≅ k이다.