[논문 리뷰] Transitive 2-representations of finitary 2-categories

Volodymyr Mazorchuk, Vanessa Miemietz|arXiv (Cornell University)|2014. 04. 30.

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

한 줄 요약

이 논문은 유한성 2-category의 단순 전이적 2표현을 정의하고 분류하며, 고전적 표현 이론에서의 기약 표현에 해당하는 2-category적 대응을 수립한다. 약한 조르당-횔러 정리를 증명하고, 소르게르 이중체, 2-카츠-무디 대수의 몫, 자기대칭 대수 위의 프로젝티브 함수자 등 광범위한 2-category 클래스에 대해 단순 전이적 2표현이 정확히 셀 2표현임을 보이며, 유한 차원 단순 리 대수의 단순 적분 가능 모듈의 분류가 유일함을 증명한다.

ABSTRACT

In this article, we define and study the class of simple transitive $2$-representations of finitary $2$-categories. We prove a weak version of the classical Jordan-Hölder Theorem where the weak composition subquotients are given by simple transitive $2$-representations. For a large class of finitary $2$-categories we prove that simple transitive $2$-representations are exhausted by cell $2$-representations. Finally, we show that this large class contains finitary quotients of $2$-Kac-Moody algebras.

연구 동기 및 목표

• 고전적 표현 이론에서의 기약 표현에 해당하는 2-category적 대응으로서 단순 전이적 2표현을 정의하고 연구하는 것.
• 유한성 2표현에 대해 약한 조르당-횔러 정리를 수립하여, 단순 전이적 2표현이 약한 조합 부분상수로 나타남을 보이는 것.
• 소르게르 이중체, 2-카츠-무디 대수 등 광범위한 유한성 2-category 클래스에 대해 단순 전이적 2표현을 분류하는 것.
• 이 클래스에 대해 단순 전이적 2표현이 셀 2표현과 정확히 일치함을 증명함으로써, 유한 차원 단순 리 대수의 단순 적분 가능 모듈에 대한 분류의 유일성을 확립하는 것.

제안 방법

• 1-형식의 다중반군 작용에 의한 전이적 2표현의 개념을 도입한다.
• 2표현에서의 단순성은 2작용에 관해 불변인 비자명한 카테고리적 아이디얼이 존재하지 않음으로 정의한다.
• 분류 문제를 유한 차원 자기대칭 대수의 모듈러 범주 위의 프로젝티브 함수자 2범주로 환원한다.
• 비음수 행렬에 대한 페르론-프로베니우스 정리를 사용하여 프로젝티브 함수자 2범주 내의 이중체의 내적 대수를 분석한다.
• 일반적인 유한성 2표현에 대해 전이적 부분상수를 가지는 필터링을 구성함으로써 약한 조르당-횔러 구조를 이끌어내는 것.
• 1-형식의 행렬 표현을 분석하고 모순을 통해 대안적 구성이 제거됨을 보여 셀 2표현이 단순 전이적임을 증명하는 것.

실험 결과

연구 질문

• RQ1 단순 전이적 2표현은 유한 차원 대수에서의 기약 표현에 해당하는 2범주적 대응으로서 타당한가?
• RQ2 유한성 2표현에 대해 약한 조르당-횔러 정리를 수립할 수 있는가? 이 경우 단순 전이적 2표현이 부분상수로 나타나는가?
• RQ3 소르게르 이중체 및 2-카츠-무디 대수에서 유도되는 유한성 2범주에 대해 단순 전이적 2표현은 셀 2표현으로 완전히 고갈되는가?
• RQ4 단순 전이적 2표현의 분류는 유한 차원 단순 리 대수의 단순 적분 가능 모듈에 대한 분류의 유일성을 암시하는가?

주요 결과

• 소르게르 이중체 및 2-카츠-무디 대수(특히 A형)를 포함한 광범위한 유한성 2범주 클래스에 대해 단순 전이적 2표현은 셀 2표현으로 분류된다.
• 약한 조르당-횔러 정리가 성립한다: 모든 유한성 2표현은 전이적 부분상수를 가지는 필터링을 가지며, 단순 전이적 2표현은 약한 조합 부분상수로 나타난다.
• 유한 차원 자기대칭 대수 위의 프로젝티브 함수자 2범주에서의 분류는 비음수 행렬을 표현하는 내적 대수에 대해 페르론-프로베니우스 정리를 적용함에 기반한다.
• 단순 전이적 2표현 내의 1-형식의 행렬 표현은 [[1,1],[1,1]] 또는 [[2,0],[0,0]]와 같은 특정 형태로 제약을 받으며, 조합 관계에 의해 추가 제약이 가해진다.
• 생성자에 대해 대안적 행렬 형태를 가정할 경우 모순이 발생함을 보여, 고려된 사례에서 유일하게 단순 전이적일 수 있는 것은 셀 2표현임을 증명한다.
• 결과적으로 이는 유한 차원 단순 리 대수의 단순 적분 가능 모듈에 대한 분류가 이 틀 안에서 유일함을 암시한다.