[논문 리뷰] Categorification of level two representations of quantum sl(N) via generalized arc rings

Yanfeng Chen|ArXiv.org|2006. 11. 01.

Algebraic structures and combinatorial models참고 문헌 5인용 수 6

한 줄 요약

이 논문은 양자군 $U_q(\mathfrak{sl}_N)$의 수준 2 표현을 분류하기 위해 두 플랫폼을 가진 일반화된 아크 링 $A_{n}^{k,l}$를 도입한다. 링 $A^{k,0}_{m(\mu)}$ 위의 모듈러 범주 $\mathcal{C}$를 구성함으로써, 그라스만 군집이 최고 무게 $\omega_k + \omega_{k+s}$를 가진 기약 표현과 동형인 수준 2 $U_q(\mathfrak{sl}_N)$-모듈로 실현되며, 정확한 함자들이 양자군 작용을 분류화한다.

ABSTRACT

We build extensions of the arc rings, relate their centers to the cohomology rings of the Springer varieties, and categorify all level two representations of quantum sl(N).

연구 동기 및 목표

• Khovanov의 아크 링 구축을 두 플랫폼을 가진 링으로 확장하여, $U_q(\mathfrak{sl}_N)$의 수준 2 표현을 분류화할 수 있도록 한다.
• 허용 가능한 무게 $\mu$에 대응하는 일반화된 아크 링 $A^{k,0}_{m(\mu)}$ 위의 모듈러 범주 $\mathcal{C}$를 정의한다.
• $\mathcal{C}$ 위에서 $U_q(\mathfrak{sl}_N)$의 양자군 생성자를 분류화하는 정확한 함자 $\mathcal{E}_i$, $\mathcal{F}_i$, 및 $\mathcal{K}_i$를 구성한다.
• 그라스만 군집 $K(\mathcal{C})$가 최고 무게 $\omega_k + \omega_{k+s}$를 가진 기약 수준 2 표현과 동형임을 확립한다.

제안 방법

• 원래 구축에서 유지되는 그레디에이션과 곱셈을 보존하면서, 크기가 $k$와 $l$인 두 플랫폼을 도입하여 아크 링 $A^{n-k,k}$를 $A_{n}^{k,l}$로 일반화한다.
• $A_{n}^{k,l}$를 부분환 $\widetilde{A}^{n-k,k}$의 아이디얼 $I^{n-k,k}$로 나누어 정의하여, 플랫폼과 한 번 이상 교차하는 원을 제거한다 (유형 III).
• 평탄한 타앵글 cobordism을 사용하여 타앵글 불변량을 구성하며, $A_{n}^{k,l}$ 위의 이중모듈러가 타앵글 cobordism에 대해 함자적임을 보인다.
• $A_{n}^{k,l}$의 중심을 계산하고, 그와 스프링거 다양체의 코homology 링 사이의 동형 $Z(A_{n}^{k,l}) \cong H^*(\mathrm{Fl}_{k,l,n})$을 연결한다.
• $\mathcal{C}$를 허용 가능한 무게 $\mu$에 대해 $A^{k,0}_{m(\mu)}$ 위의 모듈러 범주의 직합으로 정의하며, 타앵글 cobordism에서 유도된 이중모듈러를 통해 함자 $\mathcal{E}_i^\mu$, $\mathcal{F}_i^\mu$, 및 $\mathcal{K}_i$를 정의한다.
• 그라스만 군집 $K(\mathcal{C})$를 사용하여 $U_q(\mathfrak{sl}_N)$-모듈의 구조를 실현하며, 그레디에이션 이동이 $q$-multiplication에 대응한다.

실험 결과

연구 질문

• RQ1 어떻게 아크 링 구축을 두 플랫폼을 지원하도록 일반화할 수 있으며, 이는 더 높은 수준의 양자군 표현의 분류화를 가능하게 하는가?
• RQ2 $A_{n}^{k,l}$의 중심의 구조는 무엇이며, 알려진 코homology 링과 어떻게 관련되는가?
• RQ3 $A^{k,0}_{m(\mu)}$ 위의 모듈러 범주가 수준 2 $U_q(\mathfrak{sl}_N)$-표현의 무게 공간 분해를 실현할 수 있는가?
• RQ4 $\mathcal{C}$ 위의 정확한 함자 $\mathcal{E}_i$, $\mathcal{F}_i$, 및 $\mathcal{K}_i$가 $U_q(\mathfrak{sl}_N)$의 양자군 작용을 분류화하는가?
• RQ5 범주 $\mathcal{C}$의 그라스만 군집이 최고 무게 $\omega_k + \omega_{k+s}$를 가진 기약 수준 2 표현과 동형인가?

주요 결과

• 일반화된 아크 링 $A_{n}^{k,l}$는 $H^n$의 부분환의 몫으로 정의되며, 원래 구축에서 유지된 곱셈과 그레디에이션을 보존한다.
• $A_{n}^{k,l}$의 중심은 플래그 다양체 $\mathrm{Fl}_{k,l,n}$의 코homology 링과 동형이며, 즉 $Z(A_{n}^{k,l}) \cong H^*(\mathrm{Fl}_{k,l,n})$이다.
• $\mathcal{C}$는 허용 가능한 무게 $\mu$에 대해 $A^{k,0}_{m(\mu)}$ 위의 모듈러의 직합으로 구성되며, 그라스만 군집은 최고 무게 $\omega_k + \omega_{k+s}$를 가진 기약 $U_q(\mathfrak{sl}_N)$-모듈과 동형이다.
• 범주 $\mathcal{C}$ 위의 정확한 함자 $\mathcal{E}_i$, $\mathcal{F}_i$, 및 $\mathcal{K}_i$는 양자군 생성자 $E_i$, $F_i$, 및 $K_i$를 분류화하며, $U_q(\mathfrak{sl}_N)$의 정의 관계를 만족한다.
• 그라스만 군집 $K(\mathcal{C})$는 $\mathbb{C}$로의 기저 전환 후 기약 수준 2 표현 $V$와 동형이며, 즉 $K(\mathcal{C}) \otimes_{\mathbb{Z}[q,q^{-1}]} \mathbb{C} \cong V$이다.
• $\mathcal{C}$ 내의 함자 동형과 수반 관계는 양자군 관계와 일치하며, 이는 분류화된 작용이 올바른 $U_q(\mathfrak{sl}_N)$-모듈 구조를 실현함을 확인한다.