[논문 리뷰] Additive versus abelian 2-representations of fiat 2-categories

Volodymyr Mazorchuk, Vanessa Miemietz|arXiv (Cornell University)|2011. 12. 21.

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

한 줄 요약

이 논문은 애드리티브 2표현과 아벨리안 2표현 사이의 다리를 놓기 위해, 애드리티브 폐쇄를 아벨리안 설정에서 이용하여 새로운 2표현을 구성할 수 있도록 해주는 아벨리제이션 2함수를 도입한다. 주요 기여는 셀 2표현을 2이디얼에 대한 몫으로 특성화하는 것으로, 이는 애드리티브 폐쇄를 통해 생성된 2표현이 'J-단순'하다는 것을 증명한다 — 이는 표현 이론에서의 단순성의 2범주적 대응이다.

ABSTRACT

We study connections between additive and abelian 2-representations of fiat 2-categories, describe combinatorics of 2-categories in terms of multisemigroups and determine the annihilator of a cell 2-representation. We also describe, in detail, examples of fiat 2-categories associated to $\mathfrak{sl}_2$-categorification in the sense of Chuang and Rouquier, and 2-categorical analogues of Schur algebras.

연구 동기 및 목표

• 애드리티브 및 아벨리안 2표현 이론을 통합하기 위해 체계적인 아벨리제이션 2함수를 도입함으로써 필라티 2범주의 이론을 통합한다.
• 특히 새로운 2표현을 구성하는 맥락에서, 애드리티브 2표현과 그 아벨리제이션 간의 관계를 명확히 한다.
• 셀 2표현의 소멸자(annihilator)를 특성화하고, 필라티 2범주의 구조에서 그 역할을 규명한다.
• 셀 2표현 이론을 애드리티브 설정으로 확장하고, 프로젝티브 객체를 통한 등가성을 보여주어 아벨리안 대응과의 등가성을 확립한다.
• 셀 2표현을 두측 세포에 관련된 2이디얼에 대한 몫으로 재구성하는 새로운 방법을 제공한다.

제안 방법

• 2범주의 조합론을 기록하기 위해 다중반군(multisemigroup)을 사용하며, 1모르피즘의 동형류들이 수평 합성에 대해 다중반군을 이룬다.
• 다중반군에 대해 그린의 관계(왼쪽, 오른쪽, 양측 세포)를 정의하고, 이들이 2범주의 고전적 세포 구조와 대응됨을 보인다.
• 애드리티브 2표현을 아벨리안 2표현으로 매핑하면서 범주적 구조를 유지하는 아벨리제이션 2함수를 구성한다.
• 주어진 애드리티브 2표현에 대해 아벨리제이션 과정을 적용하고, 안정된 객체 집합의 애드리티브 폐쇄를 통해 애드리티브 부분표현을 추출한다.
• 모든 아벨리안 2표현이 그 프로젝티브 객체들에 의해 생성된 애드리티브 2부분표현의 아벨리제이션과 동치임을 증명한다.
• 2이디얼과 몫의 개념을 사용하여, 셀 2표현에서 필라티 2범주의 이미지의 J-단순성을 정의하고, 표현 이론에서의 단순성의 2범주적 대응을 확립한다.

실험 결과

연구 질문

• RQ1 어떻게 애드리티브 및 아벨리안 2표현을 2함수적 구성에 의해 체계적으로 연결할 수 있는가?
• RQ2 아벨리제이션 2함수는 어떻게 애드리티브 2표현으로부터 새로운 2표현을 생성하는가?
• RQ3 셀 2표현의 소멸자는 필라티 2범주의 두측 세포의 구조와 어떻게 관련되는가?
• RQ4 애드리티브 설정에서의 셀 2표현은 아벨리안 대응과 어느 정도 유사한가, 특히 단순성과 2이디얼 측면에서 말이다?
• RQ5 셀 2표현은 두측 세포에 관련된 2이디얼에 대한 몫으로 재구성될 수 있는가?

주요 결과

• 아벨리제이션 2함수를 통해, 아벨리제이션된 설정에서 2범주의 작용에 대해 안정된 객체 집합의 애드리티브 폐쇄를 취함으로써 새로운 2표현을 구성할 수 있다.
• 모든 필라티 2범주의 아벨리안 2표현은 그 프로젝티브 객체들에 의해 생성된 애드리티브 2부분표현의 아벨리제이션과 동치이다.
• 셀 2표현에 대한 필라티 2범주의 이미지는 J-단순하다. 즉, 비자명한 2이디얼은 반드시 표현을 소멸시켜야 한다.
• 셀 2표현은 두측 세포에 대응하는 2이디얼에 대한 몰입으로 재구성될 수 있으며, 이는 다른 구성 방법을 제공한다.
• 스푸르 알제브라와 관련된 2범주 D_{n,r}에 대해서는, 왼쪽 세포와 오른쪽 세포가 각각 준정규 양식의 양식 표에 행과 열의 항목으로 분류된다.
• D_{n,r}의 탈범주화는 슈어 대수 S(n,r)와 동형이며, 불가약 프로젝티브 함자들은 로빈슨-센스테드-크니프 대응을 통해 두의 정규 기저와 대응한다.