[논문 리뷰] On Strict Higher C*-categories

Paolo Bertozzini, Roberto Conti외 2명|arXiv (Cornell University)|2017. 09. 27.

Advanced Operator Algebra Research참고 문헌 19인용 수 4

한 줄 요약

이 논문은 에크만-힐튼 붕괴를 피하기 위해 비가환 교환 성질을 제안함으로써 엄격한 고차 C*-범주에 대한 새로운 프레임워크를 소개한다. 이를 통해 초행렬과 초-C*-대수를 통해 비자명한 예제를 가능하게 하며, 엄격한 인벌로퓨트 고차 범주와 고차 펠 뭉치를 수립한다. 이는 C*-대수 이론의 수직적 카테고리화이며, 비가환 기하학과 양자 기초 이론에 적용 가능하다.

ABSTRACT

We provide definitions for strict involutive higher categories (a vertical categorification of dagger categories), strict higher C*-categories and higher Fell bundles (over arbitrary involutive higher topological categories). We put forward a proposal for a relaxed form of the exchange property for higher (C*)-categories that avoids the Eckmann-Hilton collapse and hence allows the construction of explicit non-trivial "non-commutative" examples arising from the study of hypermatrices and hyper-C*-algebras, here defined. Alternatives to the usual globular and cubical settings for strict higher categories are also explored. Applications of these non-commutative higher C*-categories are envisaged in the study of morphisms in non-commutative geometry and in the algebraic formulation of relational quantum theory.

연구 동기 및 목표

• 에크만-힐튼 붕괴를 피할 수 있는 엄격한 고차 C*-범주의 일관된 이론을 개발하여 비자명한 비가환 구조를 허용하는 것.
• 엄격한 인벌로퓨트 고차 범주를 통해 C*-범주와 펠 뭉치를 고차 카테고리 차원으로 일반화하는 것.
• 초행렬을 사용하여 고차 C*-대수와 고차 컨볼루션의 구체적 실현으로서 초-C*-대수를 도입하는 것.
• 고차 기능해석학과 비가환 기하학 및 양자이론의 카테고리적 공식화를 위한 기초를 마련하는 것.
• 고차 범주와 비가환 기하학의 구조들인 제품 체계, 스펙트럴 트리플렛, 모듈라 이론 간의 관계를 탐색하는 것.

제안 방법

• 표준적인 엄격한 n-범주를 초월하여 글로불러 및 큐브이컬 접근을 가능하게 하는 부분 고차 모노이드를 사용하여 엄격한 고차 범주를 형식화하는 것.
• 고차 범주적 합성에서 에크만-힐튼 붕괴를 피하기 위해 비가환 교환 성질을 완화된 형태로 도입하는 것.
• 고차 사상으로 일반화된 디그 구조의 고차 차원 버전을 통해 엄격한 인벌로퓨트 고차 범주를 정의하는 것.
• 고차 알제브로이드와 카테고리적 번들의 조합을 통해 엄격한 고차 C*-범주를 구성하며, 초-C*-대수를 구체적 모델로 중점적으로 다루는 것.
• 고차 컨볼루션의 대수적 배경으로 초행렬을 활용하여 고차 C*-대수적 구조의 비자명한 실현을 제공하는 것.
• 펠 뭉치 이론을 고차 카테고리적 환경으로 확장하여 인벌로퓨트 고차 위상 범주 위에 고차 펠 뭇치를 정의하는 것.

실험 결과

연구 질문

• RQ1 고차 범주에서 에크만-힐튼 붕괴를 피하기 위해 비가환 교환 성질을 어떻게 형식화할 수 있는가?
• RQ2 비자명하고 비가환적인 예제를 지지하는 엄격한 고차 C*-범주의 구조적 및 대수적 성질은 무엇인가?
• RQ3 초행렬과 초-C*-대수는 고차 C*-범주 및 그들의 컨볼루션에 대해 구체적인 모델로 기능할 수 있는가?
• RQ4 고차 C*-범주는 비가환 기하학과 관계 기반 양자 이론의 사상들과 어떻게 관련되어 있는가?
• RQ5 고차 카테고리적 구조는 기능해석학에서 스펙트럴 이론, 딱성, K이론을 일반화하는 데 어떤 역할을 하는가?

주요 결과

• 비가환 교환 성질이 성공적으로 정의되어 공통 구조로의 붕괴를 방지하고 비자명한 고차 범주적 예제를 가능하게 하였다.
• 초-C*-대수는 초행렬의 고차 컨볼루션으로 구성되어 엄격한 고차 C*-범주의 명시적이고 비자명한 모델을 제공한다.
• 엄격한 인벌로퓨트 고차 범주가 형식화되어 디그 범주를 고차 차원으로 일반화하며 일관된 인벌로퓨트를 지닌다.
• 임의의 인벌로퓨트 고차 위상 범주 위에 고차 펠 뭇치가 정의되어 고전적 펠 뭇치 이론을 고차 차원으로 확장한다.
• 이 프레임워크는 C*-대수와 C*-범주의 수직적 카테고리화를 지원하며 고차 기능해석학과 비가환 기하학으로의 길을 열어 놓는다.
• 이 이론은 고차 모리타 이론, 힐버트 이중모듈러스, 고차 카테고리적 환경에서의 스펙트럴 이론의 기초를 제공하며 향후 양자 중력과 호모토피 유형 이론에의 적용 가능성이 있다.