[논문 리뷰] A categorification of U_q sl(1,1) as an algebra

Tian Yin|arXiv (Cornell University)|2012. 10. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 11

한 줄 요약

이 논문은 미분가환대수 $R_n$와 그 유도 범주를 사용하여 $\mathbf{U}_q(\mathfrak{sl}(1|1))$의 정수형에 대한 분류화를 대수적으로 구축한다. 삼각 범주 $\mathcal{U}_n$와 $\mathcal{U}_{n,n}$를 정의하여 그 코herent 코herent 그룹이 각각 $\mathbf{U}_n$과 $\mathbf{U}_n \otimes \mathbf{U}_n$와 동형임을 보이고, $K_0$ 위에서 유도되는 사상이 $\mathbf{U}_n$의 곱셈을 복원하는 정확한 함자 $\mathcal{F}_n$를 구성함으로써, 대수적 구조를 분류화한다.

ABSTRACT

We construct families of differential graded algebras R and R \boxtimes R and give an algebraic formulation of the contact category of a disk through the differential graded category DGP(R) generated by some distinguished projective differential graded R-modules. The homology category H^0(DGP(R)) is a triangulated category and its Grothendieck group is a Clifford algebra. We then categorify the Clifford algebra to a functor from DGP(R \boxtimes R) to DGP(R). We construct a subcategory of the homology category which categorifies an integral version of U_q sl(1,1) as an algebra.

연구 동기 및 목표

• 정수형 $\mathbf{U}_n$의 대수적 구조 $\mathbf{U}_q(\mathfrak{sl}(1|1))$에 대한 분류화를 제공하는 것.
• 코herent 그룹이 각각 $\mathbf{U}_n$과 $\mathbf{U}_n \otimes \mathbf{U}_n$와 동형이 되는 삼각 범주 $\mathcal{U}_n$와 $\mathcal{U}_{n,n}$를 구성하는 것.
• 코herent 그룹 위에서 곱셈 사상 $\operatorname{m}_n: \mathbf{U}_n \otimes \mathbf{U}_n \to \mathbf{U}_n$와 일치하는 사상이 유도되는 정확한 함자 $\mathcal{F}_n: \mathcal{U}_{n,n} \to \mathcal{U}_n$를 정의하는 것.

제안 방법

• 모든 $n > 0$에 대해 다이어그램적이고 대수적인 프레임워크를 사용하여 미분가환대수 $R_n$과 $R_n \boxtimes R_n$을 구성한다.
• 유한 번의 사영 $R_n$-모듈의 사상에 대한 이동 코ーン의 반복적 구성으로 유도된 미분가환대수 범주 $DGP(R_n)$를 정의한다.
• $H^0(DGP(R_n))$를 $0$-번째 호모로지 범주로 식별하고, 이가 코herent 그룹이 클리퍼드 대수와 동형이 되는 삼각 범주임을 확인한다.
• 범주 $H^0(DGP(R_n))$의 대상들을 텐서곱과 이동을 통해 조합하는 이중함수 $\chi_n$을 도입하고, 이를 $\mathcal{M}_n$과 병합하여 곱셈 함자 $\rho_n$를 정의한다.
• $\mathbf{U}_n$의 생성자 $1, q, q^{-1}, E, F$를 짝수 또는 홀수 인덱스에 대한 사영 모듈 $P([i])$의 직합을 사용하여 $H^0(DGP(R_n))$의 대상으로 올리기 위해 변환한다.
• $\rho_n$에 의해 올려진 곱셈을 포함하는 최소의 삼각형 전체부분범주로 $\mathcal{U}_n$을 구성하고, 마찬가지로 $\mathcal{U}_{n,n}$를 정의한다.

실험 결과

연구 질문

• RQ1 정수형 $\mathbf{U}_n$의 대수적 구조 $\mathbf{U}_q(\mathfrak{sl}(1|1))$는 삼각 범주와 함자를 통해 분류화될 수 있는가?
• RQ2 코herent 그룹 사상이 $\mathbf{U}_n$의 곱셈을 복원하는 범주 간의 함자가 존재하는가?
• RQ3 $\mathbf{U}_n$의 생성자 $E, F, q, q^{-1}$는 삼각 범주에 있는 대상으로 어떻게 올려져서 대수적 관계를 분류적으로 실현할 수 있는가?
• RQ4 미분가환대수 $R_n$과 $R_n \boxtimes R_n$은 $\mathbf{U}_n$의 분류화를 실현하는 데 어떤 역할을 하는가?
• RQ5 $R_n$-모듈의 유도 범주를 통해 디스크의 접촉 범주를 대수적으로 실현할 수 있는가?

주요 결과

• $K_0(H^0(DGP(R_n)))$는 클리퍼드 대수와 동형이 되며, 이는 기본 대수적 구조의 범주적 실현을 제공한다.
• $\mathcal{U}_n$은 $H^0(DGP(R_n))$의 최소의 전체 삼각형 부분범주로서 $\rho_n$에 대해 닫혀 있으며, $K_0(\mathcal{U}_n) \cong \mathbf{U}_n$를 만족한다.
• $\mathcal{U}_{n,n}$은 $H^0(DGP(R_n \boxtimes R_n))$의 최소의 삼각형 전체부분범주로서 $\mathcal{X}, \mathcal{Y} \in \mathcal{U}_n$에 대해 $\chi_n(\mathcal{X}, \mathcal{Y})$의 모든 이미지를 포함하며, $K_0(\mathcal{U}_{n,n}) \cong \mathbf{U}_n \otimes \mathbf{U}_n$를 만족한다.
• 정확한 함자 $\mathcal{F}_n: \mathcal{U}_{n,n} \to \mathcal{U}_n$는 코herent 그룹 위에서 $\mathbf{U}_n \otimes \mathbf{U}_n \to \mathbf{U}_n$의 곱셈 사상 $\operatorname{m}_n$과 일치하는 사상을 유도하며, 이는 대수적 곱셈의 분류화를 실현한다.
• $\mathbf{U}_n$에서 $E^2 = 0$의 관계를 올리면 $\mathcal{U}_n$에서 동형사상이 되지 않으며, $\mathcal{E}\mathcal{E}$는 영이 아닌 코호모로지 복합체이지만 미분이 0이므로 관계가 엄밀히 동형으로 유지되지 않음을 보여준다.
• $\mathbf{U}_n$의 포함 사상 $\imath_n: \mathbf{U}_n \to K_0(R_n)$는 $H^0(DGP(R_n))$의 코herent 그룹을 통해 실현되며, $\mathbf{U}_n$을 $K_0(R_n)$의 부분대수로 포함시킨다.