[논문 리뷰] Finitary birepresentations of finitary bicategories

Marco Mackaay, Volodymyr Mazorchuk외 3명|arXiv (Cornell University)|2020. 08. 04.

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

한 줄 요약

이 논문은 유한성 조건을 만족하는 2-표현 이론을 유한성 조건을 만족하는 2-분류체의 이중표현으로 일반화하며, 셀 이론을 통해 이중표현 2-카테고리와 부분몫구조 사이의 이중동치를 수립한다. 이중중앙자 이론의 이중동치 버전을 증명하며, 코알제브라, 코모듈, 내부 코호몰로지 구성요소를 활용하여 2-카테고리에서 2-분류체로 기본 결과를 확장한다. 소르게르 밀러와 단순 전이 이중표현의 분류에 응용 가능하다.

ABSTRACT

In this paper, we discuss the generalization of finitary $2$-representation theory of finitary $2$-categories to finitary birepresentation theory of finitary bicategories. In previous papers on the subject, the classification of simple transitive $2$-representations of a given $2$-category was reduced to that for certain subquotients. These reduction results were all formulated as bijections between equivalence classes of $2$-representations. In this paper, we generalize them to biequivalences between certain $2$-categories of birepresentations. Furthermore, we prove an analog of the double centralizer theorem in finitary birepresentation theory.

연구 동기 및 목표

• 소르게르 밀러와 같은 예시에서 엄격한 2-카테고리보다 더 넓은 프레임워크인 유한성 조건을 만족하는 2-분류체로 유한성 조건을 만족하는 2-표현 이론을 확장하는 것.
• 2-표현에서의 축소 결과를 이중표현으로 일반화하기 위해, 이중표현의 2-카테고리 간의 이중동치로 이를 재구성하는 것.
• 유한성 조건을 만족하는 이중표현의 맥락에서 이중중앙자 이론의 이중동치 버전을 확립하는 것.
• 2-분류체에서 코알제브라, 코모듈, 내부 코호몰로지의 체계적 다루기를 제공하여 단순 전이 이중표현의 분류를 가능하게 하는 것.

제안 방법

• 셀 이론과 약한 조르당–횔더 필터를 사용하여 단순 전이 이중표현의 분류 문제를 2-분류체의 부분몫구조로 축소한다.
• 2-분류체에서의 모리타–타케우치 이론을 적용하여 이중표현을 코알제브라 위의 코모듈과 연결한다.
• 2-분류체에서 내부 코호몰로지 함자 [X, Y]를 구성하여 쌍대를 정의하고 수반관계를 수립한다.
• 이중모듈의 코텐서 곱과 편광함자를 활용하여 2-분류체의 구조를 이중모듈 카테고리로 옮긴다.
• 2-분류체에서 코알제브라에 대한 삽입 이중모듈의 카테고리로의 표준 편광함자가 add(H)에 제한되었을 때 1-모르피즘에 대해 전사적이며 완전충실하다는 것을 증명한다.
• 조화 다이어그램(오각형, 삼각형, 교환)을 사용하여 수반관계와 이중동치의 자연성 및 교환성을 검증한다.

실험 결과

연구 질문

• RQ1 단순 전이 2-표현의 분류 문제는 2-카테고리에서 2-분류체로 어떻게 일반화될 수 있는가?
• RQ2 유한성 조건을 만족하는 2-분류체의 이중표현 이론에서 이중중앙자 이론의 이중동치 버전은 무엇인가?
• RQ3 2-분류체에서의 코알제브라와 코모듈은 어떻게 이중표현의 구성과 그 축소를 지원하는가?
• RQ4 2-분류체에서의 셀 구조와 부분몫구조는 분류 문제를 더 작은, 다룰 수 있는 구성요소로 축소하는 데 어떤 방식으로 기여하는가?
• RQ5 표준 편광함수가 2-분류체에서 그 이중모듈 카테고리로 가는 이중동치가 되기 위한 조건은 무엇인가?

주요 결과

• 약한 조르당–횔더 정리는 직접적으로 유한성 조건을 만족하는 2-분류체의 이중표현으로 일반화되며, 단순 전이 부분몫구조로의 필터링을 보장한다.
• 셀 이론을 통해 단순 전이 이중표현의 분류는 부분몫구조로 축소되며, 정점이 두 번째로 영향을 받지 않는 최대의 두측 세포에 대응한다.
• 2-분류체에서의 이중표현 2-카테고리와 코알제브라 위의 삽입 이중모듈 2-카테고리 사이에 이중동치가 수립되며, 이는 이중중앙자 이론을 일반화한다.
• 내부 코호몰로지 구성 [X, Y]는 오른쪽 쌍대 Y⋆X와 동형이며, C⋆C 위의 코알제브라 구조는 원래 2-분류체의 구조와 호환된다.
• 표준 편광함수 can: C^H → (C⋆C)BiinjBM(C⋆C) 는 add(H)에 제한되었을 때 2-모르피즘에 대해 전사적이며 1-모르피즘에 대해 본질적으로 전사적이다. 이는 이중동치를 수립한다.
• 이중동치의 증명은 조화 법칙, 연관자와 단위원자의 자연성, 그리고 공평가 및 평가 사상에 대한 지그재그 관계에 기반한다.