[논문 리뷰] Categorification of tensor powers of the vector representation of $U_q(\mathfrak{gl}(1|1))$

Antonio Sartori|arXiv (Cornell University)|2013. 05. 27.

Algebraic structures and combinatorial models참고 문헌 45인용 수 10

한 줄 요약

이 논문은 $U_q(\mathfrak{gl}(1|1))$의 벡터 표현의 텐서곱에 대한 분류화를 BGG 범주 $\mathcal{O}(\mathfrak{gl}_n)$의 부분상계 범주를 사용하여 구축한다. 상호작용 연산자에 대한 다이어그램 계산법을 도입하고, 그로텐디크 군이 표현을 실현하는 삼각 범주를 구축하며, 내부 함수가 양자군과 히드 기하학적 대칭의 작용을 분류화한다.

ABSTRACT

We consider the monoidal subcategory of finite dimensional representations of $U_q(\mathfrak{gl}(1|1))$ generated by the vector representation, and we provide a diagram calculus for the intertwining operators, which allows to compute explicitly the canonical basis. We construct then a categorification of these representations and of the action of both $U_q(\mathfrak{gl}(1|1))$ and the intertwining operators using subquotient categories of the BGG category $\mathcal{O}(\mathfrak{gl}_n)$.

연구 동기 및 목표

• 양자 초대수 $U_q(\mathfrak{gl}(1|1))$의 벡터 표현의 텐서곱에 대한 표현 이론적 분류화를 개발한다.
• 이 설정에서 상호작용 연산자에 대한 다이어그램 계산법을 제공하여 정규 기저의 명시적 계산을 가능하게 한다.
• 그로텐디크 군이 $V^{\bigotimes n}$과 동형이 되는 삼각 범주를 구축하며, 내부 함수가 $U_q(\mathfrak{gl}(1|1))$과 히드 대수 $\mathcal{H}_n$의 작용을 분류화한다.
• $\mathfrak{gl}(1|1)$ 표현의 비완전성 문제를 다루기 위해, 쌍대 표현을 포함하지 않지만 벡터 표현을 포함하는 완전성 있는 모노이드 부분범주에 초점을 맞춘다.

제안 방법

• 분류화를 실현하기 위해 BGG 범주 $\mathcal{O}(\mathfrak{gl}_n)$의 부분상계 범주를 사용한다.
• 유도된 히드 모듈과 적절히 스트래티피드된 대수의 구조에 기반한 상호작용 연산자에 대한 다이어그램 계산법을 개발한다.
• 삼각 범주 $\mathcal{D}^{\nabla}\mathcal{Q}(\mathbbold{n})$ 위에서 내부 함수 $\mathcal{E}$, $\mathcal{F}$, $\mathcal{C}_i$를 정의하며, $\mathcal{E}$와 $\mathcal{F}$는 $\mathcal{E}^2 = \mathcal{F}^2 = 0$를 만족한다.
• $\mathcal{D}^{\nabla}\mathcal{Q}(\mathbbold{n})$의 그로텐디크 군이 $V^{\bigotimes n}$과 동형임을 보이며, $\mathcal{E}$, $\mathcal{F}$, $\mathcal{C}_i$의 작용이 양자군과 히드 대수의 작용을 올리려 한다.
• 완비 그로텐디크 군에 대한 호환성에 의해, 분류화가 웹으로 정의된 사상과 가환함을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 $\mathfrak{gl}_n$의 표현 이론을 사용하여 $U_q(\mathfrak{gl}(1|1))$의 벡터 표현의 텐서곱을 분류화할 수 있는가?
• RQ2 이 설정에서 정규 기저를 계산하기 위해 어떤 다이어그램 계산법을 사용할 수 있는가?
• RQ3 양자군 $U_q(\mathfrak{gl}(1|1))$과 히드 대수 $\mathcal{H}_n$의 작용이 삼각 범주의 내부 함수로 어떻게 올라가는가?
• RQ4 비완전성은 $\mathfrak{gl}(1|1)$ 표현의 분류화에 어떤 역할을 하는가? 그리고 이를 어떻게 관리할 수 있는가?
• RQ5 단일 범주에서 양자군과 히드 대수의 작용을 동시에 실현하는 분류적 프레임워크를 구축할 수 있는가?

주요 결과

• 그로텐디크 군이 $U_q(\mathfrak{gl}(1|1))$의 벡터 표현의 $n$중 텐서곱인 $V^{\bigotimes n}$과 동형이 되는 삼각 범주 $\mathcal{D}^{\nabla}\mathcal{Q}(\mathbbold{n})$가 구축된다.
• $\mathcal{D}^{\nabla}\mathcal{Q}(\mathbbold{n})$ 위의 내부 함수 $\mathcal{E}$와 $\mathcal{F}$는 $U_q(\mathfrak{gl}(1|1))$의 체바일 생성자 작용을 분류화하며, $\mathcal{E}^2 = \mathcal{F}^2 = 0$를 만족한다.
• $i=1,\dots,n-1$에 대해 $\mathcal{C}_i$ 내부 함수는 $V^{\bigotimes n}$ 위에서 히드 대수 $\mathcal{H}_n$의 작용을 분류화한다.
• 상호작용 연산자에 대한 다이어그램 계산법은 $\mathcal{D}^{\nabla}\mathcal{Q}(\mathbbold{n})$의 구조를 통해 정규 기저 원소의 명시적 계산을 가능하게 한다.
• 분류화는 웹으로 정의된 사상과 가환하며, 완비 그로텐디크 군 하에서 다이어그램 (7.59)의 가환성에 의해 증명되며, 이는 $V^{\bigotimes n}$ 위에서의 양자군과 히드 대수의 작용을 복원한다.