[논문 리뷰] Monoidality of Kato's Reflection Functors

Peter J. McNamara|arXiv (Cornell University)|2017. 12. 01.

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

한 줄 요약

이 논문은 ADE 유형의 KLR 대수에 대한 카토의 반사 함자들이 모노이드적임을 증명하며, [KKOP]에서 남겨진 질문을 해결하고 [K1]의 오류를 수정한다. 특성 0에서의 KLR 대수의 형식성과 기하적 방법을 사용하여, 이 함자들이 유도 범주와 모리타 동치를 통해 텐서 곱을 보존함을 보이며, 양자군 위의 브레인드 군 작용을 분류화한다.

ABSTRACT

Kato has constructed reflection functors for KLR algebras which categorify the braid group action on a quantum group by algebra automorphisms. We prove that these reflection functors are monoidal.

연구 동기 및 목표

• 카토의 반사 함자들이 KLR 대수에서 모노이드적임을 입증함으로써, 양자군 위의 브레인드 군 작용을 분류화하는 데 필수적인 구조적 성질를 확립한다.
• 카토의 반사 함자들의 모노이드 구조에 관해 [KKOP]에서 남겨진 질문을 해결한다.
• [K1]의 보조정리 4.2(2)의 오류를, 유도 범주와 형식성에 기반한 엄밀한 기하적 증명을 통해 수정한다.
• KLR 대수의 모듈러 범주 간의 모리타 동치를 통해 반사 함자들이 텐서 곱을 보존함을 보인다.
• 특성 0에서 KLR 대수의 형식성은 순수성에서 유도되며, 이는 반사 함자들의 모노이드성 결과를 뒷받침한다.

제안 방법

• 쿼버 그라스만يان 위의 펄스프 시브의 내부환으로서 KLR 대수의 기하적 실현을 사용한다.
• 유한 체 위의 ℓ-아디드 설정에서 코homology의 순수성에서 유도된 KLR 대수의 형식성을 적용한다.
• 유도 범주와 dg-강화를 사용하여 KLR 대수의 모듈러 범주를 쿼버 표현의 모듈리 스택 위의 구성 가능 시브와 연결한다.
• 기저 전환과 올바른 기저 전환 정리를 사용하여 개방 및 닫힌 포함을 포함하는 기저 전환 다이어그램에서의 푸시포워드와 푸시다운을 연결한다.
• 함자들의 콘볼루션 곱과 반사 함자 작용을 연결하기 위해 스택과 사상의 교차 다이어그램을 구성한다.
• 기저 전환 추론을 사용하여, 시브 $\mathcal{L}_\lambda$ 에서의 Hom 함자와 삼각 범주 간의 동치를 유도함으로써 표준적인 유도 기법을 적용할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 카토의 반사 함자들이 KLR 대수에서 모노이드적인가, 즉 그 모듈러 범주에서 텐서 곱의 구조를 보존하는가?
• RQ2 카토의 함자들을 통해 실현된 양자군의 양의 부분 위의 브레인드 군 작용이 분류화 수준에서 모노이드 함자로 올라갈 수 있는가?
• RQ3 [K1]의 보조정리 4.2(2)의 오류는 KLR 대수의 기하적이고 형식적인 접근을 통해 수정될 수 있는가?
• RQ4 특성 0에서 KLR 대수의 형식성이 반사 함자들의 모노이드성을 보장하는 데 충분한가?
• RQ5 모노이드성 결과는 [KKOP]의 추측 5.5를 증명하는 데 사용될 수 있는가?

주요 결과

• 카토의 반사 함자들은 모노이드적이다. 즉, KLR 대수 모듈러 범주의 유도 범주에서의 콘볼루션 곱을 보존한다.
• 모노이드성은 특성 0에서의 순수성에서 유도된 KLR 대수의 형식성에 기반한 기하적 구성으로 입증된다.
• 증명은 [K1, 보조정리 4.2(2)]의 오류를 수정하며, 반사 함자들이 기저 전환과 콘볼루션에서 잘 행동함을 보여준다.
• 모듈러 범주 $R(\nu)/\langle e_i \rangle$ 는 반사 함자에 의해 유도된 모리타 동치를 통해 $R(s_i\nu)/\langle {}_i e \rangle$ 의 모듈러 범주와 동치이다.
• 두 함자 $M$ 과 $N$ 의 콘볼루션 곱은 반사 함자 $\mathcal{T}_i$ 에서 보존되며, 기저 전환과 다이어그램 추론을 통해 $\mathcal{T}_i(M \circ N)$ 과 $\mathcal{T}_i(M) \circ \mathcal{T}_i(N)$ 의 이미지를 비교함으로써 보여진다.
• 순수성과 프로베누스 작용의 올림으로부터 유도된 $R(\lambda)$ 의 형식성은 $\mathcal{L}_\lambda$ 의 유도 범주가 KLR 대수의 모듈러 범주와 동치임을 보장한다.