[논문 리뷰] Clasp technology to knot homology via the affine Grassmannian

Sabin Cautis|arXiv (Cornell University)|2012. 07. 09.

Algebraic structures and combinatorial models참고 문헌 41인용 수 17

한 줄 요약

이 논문은 $υ\text{-}\mathfrak{sl}_m$에 대한 Reshetikhin-Turaev 끈 불변량의 분류를, 아핀 그라스만이안에서의 무한한 비틀림을 사용하여 일반화된 조던-웬즐 프로젝터(클라스프)를 전치 비틀림의 극한으로 실현함으로써 제시한다. 주요 기여는 $U_q(\mathfrak{sl}_\infty)$-모듈 $\Lambda_q^{m\infty}(\mathbb{C}^m \otimes \mathbb{C}^{2\infty})$를 통해 동일한 방법으로 끈 불변량을 구성하는 것으로, 이는 아핀 그라스만이안 또는 나카지마 퀼러 다양체를 통한 콘볼루션 대수를 통해 실현되며, 기울임 하우어 dualit의 원리로 동치 불변량을 얻는다.

ABSTRACT

We categorify all the Reshetikhin-Turaev tangle invariants of type A. Our main tool is a categorification of the generalized Jones-Wenzl projectors (a.k.a. clasps) as infinite twists. Applying this to certain convolution product varieties on the affine Grassmannian we extend our earlier work with Kamnitzer from standard to arbitrary representations.

연구 동기 및 목표

• 고차 표현 이론을 사용하여 $\mathfrak{sl}_m$에 대한 모든 Reshetikhin-Turaev 끈 불변량의 통일된 분류를 제공한다.
• 아핀 그라스만이안에서의 전치 비틀림의 극한으로 일반화된 조던-웬즐 프로젝터(클라스프)를 구성한다.
• 기울임 하우어 dualit를 통해 아핀 그라스만이안과 나카지마 퀄러 다양체에서 유도된 불변량 간의 동치성을 확립한다.
• 표준 표현에서의 결과를 임의의 표현으로 확장하기 위해 $U_q(\mathfrak{sl}_\infty)$-모듈 $\Lambda_q^{m\infty}(\mathbb{C}^m \otimes \mathbb{C}^{2\infty})$를 사용한다.
• 콘볼루션 다양체 위의 2-category적 구조와 무한한 비틀림 극한을 통해 분류된 끈 불변량을 통합한다.

제안 방법

• 전치 비틀림의 극한 $\lim_{\ell \to \infty} T_\omega^{2\ell} \mathbf{1}_{\underline{i}}$로 클라스프를 분류화한다. 여기서 $T_\omega$는 $n$개의 끈에 대한 전치 비틀림이다.
• 기울임 하우어 dualit를 통해 브레인드 군이 $\Lambda_q^{N}(\mathbb{C}^m \otimes \mathbb{C}^{2N})$ 위에 작용함으로써 유한한 $N$에 대해 끈 불변량을 정의한다.
• 무한한 극한 $N \to \infty$로 갈 때, $U_q(\mathfrak{sl}_\infty)$-모듈 $\Lambda_q^{m\infty}(\mathbb{C}^m \otimes \mathbb{C}^{2\infty})$를 얻어 통일된 분류를 실현한다.
• 아핀 그라스만이안의 콘볼루션 대수를 통해 분류된 모듈을 실현함으로써 기하학적 분류를 얻는다.
• 나카지마 퀄러 다양체를 사용하여 동일한 불변량을 구성하고, 2-category $\mathcal{K}_{\mathrm{Gr},m}$와 $\mathcal{K}_{\mathrm{Q},m}$를 통해 동치성을 보여준다.
• 리카드 복합체와 $U_q(\mathfrak{sl}_\infty)$의 2표현을 사용하여 분류된 끈 함수를 정의하고 관계식을 검증한다.

실험 결과

연구 질문

• RQ1 어떻게 기하학적 및 범주론적 구성법을 통해 $\mathfrak{sl}_m$에 대한 일반화된 조던-웬즐 프로젝터(클라스프)를 분류화할 수 있는가?
• RQ2 임의의 표현에 대한 $\mathfrak{sl}_m$의 Reshetikhin-Turaev 끈 불변량은 극한 구성법을 통해 통일적으로 분류화될 수 있는가?
• RQ3 동일한 $U_q(\mathfrak{sl}_\infty)$-모듈에 대해 아핀 그라스만이안과 나카지마 퀄러 다양체를 통한 분류화 간의 관계는 무엇인가?
• RQ4 무한한 비틀림 극한 $\lim_{\ell \to \infty} T_\omega^{2\ell}$은 분류된 설정에서 클라스프 프로젝터를 어떻게 복원하는가?
• RQ5 아핀 그라스만이안과 퀄러 다양체 위의 2-category적 구조는 어느 정도 동치인 끈 불변량을 유도하는가?

주요 결과

• 클라스프 프로젝터 $P\mathbf{1}_{\underline{i}}$는 극한 $\lim_{\ell \to \infty} T_\omega^{2\ell} \mathbf{1}_{\underline{i}}$로 실현되어, $A$형에서의 조던-웬즐 프로젝터의 기하학적 분류를 제공한다.
• $U_q(\mathfrak{sl}_\infty)$-모듈 $\Lambda_q^{m\infty}(\mathbb{C}^m \otimes \mathbb{C}^{2\infty})$는 $\mathfrak{sl}_m$에 대한 모든 Reshetikhin-Turaev 끈 불변량의 통일된 분류를 지지한다.
• 아핀 그라스만이안을 통한 분류된 불변량은 나카지마 퀄러 다양체를 통한 것과 동치이며, 이는 2-category $\mathcal{K}_{\mathrm{Gr},m}$과 $\mathcal{K}_{\mathrm{Q},m}$를 통해 보장된다.
• 기울임 하우어 dualit를 통한 브레인드 군의 작용은 $\mathfrak{sl}_m$의 Reshetikhin-Turaev R-행렬 구성과 일치한다.
• 분류된 클라스프는 $A_{1,2} = \mathbb{C}[t]/t^2$ 위의 이중모듈의 도출적 텐서곱으로 실현되며, 코즐 다중성은 $A_1$ 형에서의 이전 구성과 관련된다.
• 무한한 극한에서 작업함으로써, 캄니체르의 이전 결과를 기본 표현 뿐 아니라 임의의 표현으로 확장한다.