[논문 리뷰] On the monoidality of Saito reflection functors

Syu Kato|arXiv (Cornell University)|2017. 11. 26.

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

한 줄 요약

이 논문은 Khovanov-Lauda-Rouquier 대수에 대한 Saito 반사 함자를 대칭 Kac-Moody 리 대수로 확장하며, 오른쪽 수반 함자, 브레인드 군 관계, 그리고 유도 함자와의 호환성을 확립하여 이들이 모노이드 함자임을 증명한다. 주요 결과는 이러한 함자들이 자연 동형사상에 의한 텐서 구조를 보존한다는 것이며, 이는 한 conjecture를 확인하고 이전 작업에서의 오류를 수정한다.

ABSTRACT

We extend the definition of the Saito reflection functor of the Khovanov- Lauda-Rouquier algebras to symmetric Kac-Moody algebra case and prove that it defines a monoidal functor.

연구 동기 및 목표

• ADE 유형에서부터 임의의 대칭 Kac-Moody 대수로 Saito 반사 함자를 일반화하기 위해.
• 이 함자들이 모노이드적임을 입증하기 위해, 즉 그라디에이티드 모듈의 유도 곱과 호환됨을 입증하기 위해.
• 문헌 [6]에서 Saito 함자의 원래 구성에 존재하는 오류를 보완하기 위해 수정된, 범주론적 프레임워크를 제공하기 위해.
• 문헌 [5]에서 KLR 대수 설정에서 반사 함자의 모노이드성에 관해 제기된 추측을 확인하기 위해.

제안 방법

• 기하학적 Satake와 Lusztig의 브레인드 군 작용에 의해 유도되는 몰타 동치를 통해 몫 $ {}_iR_\beta $ 와 $ {}^iR_{s_i\beta} $ 사이의 합성으로서 Saito 반사 함자 $\mathbb{T}_i$ 를 정의한다.
• 기하학적 Satake 대응과 쿠이버 그라스만يان 위의 $ G $-준비 구조적 복합체를 사용하여 함자를 범주적으로 실현한다.
• 오빗 $ \mathcal{O}, \mathcal{O}' $, 사영 사상 $ \widetilde{p}^i_V, \widetilde{q}^i_V $ 를 포함하는 교차도를 구성하고, 몰타 동치를 통해 $ {}_iR_\beta $- 및 $ {}^iR_{s_i\beta} $-모듈을 연결한다.
• 함자 $ \mathbb{T}_i $ 가 오른쪽 수반 함자 $ \mathbb{T}_i^* $ 를 지닌다는 것을 증명하고, 다음의 Ext-쌍대성 동형사상을 확립한다: $ \mathrm{ext}^*_{R_{s_i\beta}}(\mathbb{T}_i M, N) \cong \mathrm{ext}^*_{R_\beta}(M, \mathbb{T}_i^* N) $.
• 무게 0의 Ext 계산을 통해 함자들이 유도 곱 $ \star $ 와 가환함을 보이며, 즉 $ \mathbb{T}_i(M_1 \star M_2) \cong (\mathbb{T}_i M_1) \star (\mathbb{T}_i M_2) $ 를 증명한다.
• 집합 $ Z^\Omega_{V,V'} $ 위의 복합체의 무게 0 부분 간의 Ext 군 간의 동형사를 이용하여 이중 모듈러 구조를 식별하고, 모노이드성을 확인한다.

실험 결과

연구 질문

• RQ1 Saito 반사 함자 $ \mathbb{T}_i $ 는 ADE 경우를 초월하여 대칭 Kac-Moody 대수로 확장될 수 있는가?
• RQ2 Saito 반사 함자는 모노이드적인가, 즉 그라디에이티드 모듈 위의 유도 곱 $ \star $ 와 호환되는가?
• RQ3 함자 $ \mathbb{T}_i $ 는 KLR 대수 설정에서 브레인드 군 관계를 만족하는가?
• RQ4 오른쪽 수반 함자 $ \mathbb{T}_i^* $ 는 구성될 수 있으며, 필요한 Ext-쌍대성 조건을 만족하는가?
• RQ5 함자 $ \mathbb{T}_i $ 의 모노이드성은 [6]에서의 원래 구성에서의 오류를 해결하는가?

주요 결과

• Saito 반사 함자 $ \mathbb{T}_i $ 는 오른쪽 수반 함자 $ \mathbb{T}_i^* $ 를 지닌다. 이는 범주적 쌍대성 보장한다.
• 함자들은 Ext-쌍대성 동형사상을 만족한다: $ \mathrm{ext}^*_{R_{s_i\beta}}(\mathbb{T}_i M, N) \cong \mathrm{ext}^*_{R_\beta}(M, \mathbb{T}_i^* N) $, 이는 수반성의 확인이다.
• 함자 $ \mathbb{T}_i $ 는 분류된 양자군의 요구 조건에 따라 브레인드 군 관계를 만족한다.
• 함자들은 유도 곱과 가환함을 보인다: $ \mathbb{T}_i(M_1 \star M_2) \cong (\mathbb{T}_i M_1) \star (\mathbb{T}_i M_2) $, 이는 모노이드성의 증명이다.
• 기하학적 및 범주론적 방법을 통해 [5]의 추측을 확인하고 [6]의 오류를 수정한다.
• 무게 0의 Ext 군 식별과 $ {}_iR_\beta $ 및 $ {}^iR_{s_i\beta} $ 사이의 몰타 동치를 통해 모노이드성이 확립된다.