[논문 리뷰] On bicolimits of $ C^* $-categories

Jamie Antoun, Christian Voigt|arXiv (Cornell University)|2020. 06. 11.

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

한 줄 요약

이 논문은 이차 범주론적 변형을 사용한 고정된 함수자기정리의 변형을 통해 가чёт 가산 $C^*$-범주들의 2범주에서 이중극한의 존재성을 확립한다. 이는 $C^*$-텐서 범주 위의 모듈 범주에 대한 균형 잡힌 텐서곱의 존재성을 유한성 가정 없이 증명하여, 비반단성 설정에서 $C^*$-범주의 범주론적 구조에 있어 핵심적인 간극을 메운다.

ABSTRACT

We discuss a number of general constructions concerning additive $ C^* $-categories, focussing in particular on establishing the existence of bicolimits. As an illustration of our results we show that balanced tensor products of module categories over $ C^* $-tensor categories exist without any finiteness assumptions.

연구 동기 및 목표

• 일반적으로 표준 범주론적 구성에서 잘 작동하지 않는, 가산 가산 $C^*$-범주의 2범주에서 이중극한의 존재성을 확립하는 것.
• 이전의 $C^*$-대응관계 기반 접근 방식의 한계를 극복하기 위해, 직접적으로 $C^*$-범주 수준에서 이차 범주 도구를 사용하는 것.
• 반단성 또는 강성 조건 없이도, $C^*$-텐서 범주 위의 모듈 범주의 균형 잡힌 텐서곱이 일반적으로 존재함을 보이는 것.
• 범주론적 일반화를 위해 고정된 함수자기정리의 이차 범주론적 변형을 개발하여, 연산자 대수학과 관련된 강화된 범주론적 설정에서 이중극한을 구성하는 데에 사용할 수 있는 일반적 프레임워크를 제공하는 것.

제안 방법

• 가산 가산 $C^*$-범주들의 2범주 $C^*\text{Lin}$에서 이중극한의 존재성을 증명하기 위해, 이차 범주론적 변형을 사용한 고정된 함수자기정리의 응용.
• 이중극한을 자연 동치의 형태로 표현하는 토대가 되는, 이차 범주론적 양화 정리와 이중보편 화살표의 활용.
• 무한 직합과 접근 가능성 처리를 위해, $C^*$-범주 내에서의 인도 범주와 유한적으로 생성 가능한 대상의 도입 및 연구.
• 최소 및 최대 텐서곱 이론을 적용하여, 최대 노름에 대한 새로운 특성화 제공.
• 무단위 $C^*$-범주와 승수 범주를 다루어 무한 직합을 처리함으로써, 순수 대수적 설정과 다를 수 있는 행동을 분석.
• 엄밀한 극한 구성 방식을 피하기 위해, 의사자연성 및 범주 동치를 활용하여 이중극한의 구조를 정의하고 검증함.

실험 결과

연구 질문

• RQ1 가산 가산 $C^*$-범주의 2범주가 이중극한를 갖는가? 만약 그렇다면, 어떤 조건 하에서?
• RQ2 $C^*$-텐서 범주 위의 모듈 범주에 대한 균형 잡힌 텐서곱은 반단성 또는 유한성 조건 없이 구성될 수 있는가?
• RQ3 어떻게 고정된 함수자기정리를 이차 범주론에 적응시켜, $C^*$-범주론적 설정에서 이중극한의 존재성을 증명할 수 있는가?
• RQ4 무한 직합을 포함하는 $C^*$-범주에서 인도 범주와 유한적으로 생성 가능한 대상은 어떤 역할을 하는가?
• RQ5 $C^*$-대응관계의 이차 범주가 이중극한를 구성하기 위해 직접적인 접근 방식으로 대체될 수 있는 정도는 어느 정도인가?

주요 결과

• 유한성 가정 없이도, 가산 가산 $C^*$-범주의 2범주 $C^*\text{Lin}$에서 이중극한가 존재함을 입증함.
• 반단성, 강성, 또는 유한 생성 조건 없이도, $C^*$-텐서 범주 위의 모듈 범주의 균형 잡힌 텐서곱이 일반적으로 존재함을 보임.
• 엄밀한 극한 구성에서 사용되는 명시적 생성자와 관계를 피하기 위해, 이차 범주론적 고정된 함수자기정리에 기반한 구성 방식을 활용함.
• 범주론적 보편 성질을 이용하여, $C^*$-범주에 대한 최대 텐서 노름에 대한 새로운 특성화를 제공함.
• 무한 직합을 다루는 맥락에서, $C^*$-범주 내의 인도 범주와 유한적으로 생성 가능한 대상이 필수적인 도구임을 입증함.
• 이중극한의 유일성은 이차 범주론적 양화 정리를 통해 동치에 대해 확인되며, 이는 그들의 범주론적 안정성을 확인함.