[논문 리뷰] Quantum Functor $Mor$

Maysam Maysami Sadr|arXiv (Cornell University)|2008. 07. 31.

Homotopy and Cohomology in Algebraic Topology참고 문헌 3인용 수 5

한 줄 요약

이 논문은 비가환적 버전의 위상수학적 함자 $\mathfrak{Mor}$를 제안하며, 유한 생성 단위 C*-대수 $B$와 유한 차원 C*-대수 $C$의 쌍에 대해 $B$에서 $C$로의 모든 *–호모모르피즘의 양자 가족을 할당하는 공변 함자 $\mathfrak{Mor}: \mathbf{C}^{*}_{fg} \times \mathbf{C}^{*}_{fd}^{op} \to \mathbf{C}^{*}_{fg}$를 정의한다. 주요 기여는 이러한 양자 가족을 실현하는 유일한 보편 대상을 구성한 것으로, 범주적 대칭을 통한 기호적 비가환 경로 함자에의 적용을 포함한다.

ABSTRACT

Let $Top_c$ be the category of compact spaces and continuous maps and $Top_f\subset Top_c$ be the full subcategory of finite spaces. Consider the covariant functor $Mor:Top_f^{op} imes Top_c o Top_c$ that associates any pair $(X,Y)$ with the space of all morphisms from $X$ to $Y$. In this paper, we describe a non commutative version of $Mor$. More pricelessly, we define a functor $\mathfrak{M}\mathfrak{o}\mathfrak{r}$, that takes any pair $(B,C)$ of a finitely generated unital C*-algebra $B$ and a finite dimensional C*-algebra $C$ to the quantum family of all morphism from $B$ to $C$.

연구 동기 및 목표

• 유한 생성 단위 C*-대수 $B$와 유한 차원 C*-대수 $C$ 사이의 연속 함수 공간을 할당하는 위상수학적 함자 $\mathfrak{Mor}$의 비가환적 버전을 구축하는 것.
• C \otimes A로의 보편 *–호모모르피즘을 사용하여, 유한 생성 단위 C*-대수 $B$에서 유한 차원 C*-대수 $C$로의 양자 가족의 형태로 *-호모모르피즘을 정의하는 것.
• 모든 호모모르피즘의 양자 가족에 대해 보편 성질을 확립하여, 임의의 다른 호모모르피즘이 $C \otimes D$로 들어가는 데 있어 유일한 인수분해를 보장하는 것.
• 범주적 대칭과 실린더 함자에 기반하여 이 구성법을 적용하여 기호적 비가환 경로 공간을 정의하는 것.
• 기존 경로 공간과 고리 공간 구성법을 비가환적 환경으로 확장할 때의 구조적 한계와 격차를 탐색하는 것.

제안 방법

• $\mathfrak{Mor}(B,C)$를 $B \to C \otimes A$로의 *–호모모르피즘 $\Phi$를 지닌 보편 C*-대수 $A$로 정의하며, 임의의 다른 *–호모모르피즘 $\Psi: B \to C \otimes D$가 $\Lambda: A \to D$를 통해 $A$를 통해 유일하게 분해되도록 하는 것.
• 가환 C*-대수와 컴acts Hausdorff 공간 사이의 Gelfand 대칭을 사용하여 $\mathfrak{q}A$를 함수 대수 $A$를 지닌 양자 공간으로 해석함으로써 비가환 일반화를 가능하게 하는 것.
• 보편 대상으로서의 모든 호모모르피즘의 양자 가족을 단위 C*-대수의 범주 내에서 구성함으로써, $\mathfrak{Mor}(B,C)$가 *–이sovorphism에 대해 잘 정의됨을 보장하는 것.
• 보편 성질을 활용하여 $\mathfrak{Mor}(B_1 \oplus B_2, C) \cong \mathfrak{Mor}(B_1, C) \otimes \mathfrak{Mor}(B_2, C)$임을 증명함으로써 직접 합과의 호환성을 보여주는 것.
• 실린더 함자 $\mathfrak{c}B = \mathfrak{f}I \otimes B$와의 형식적 대칭을 이용하여 $\mathfrak{Mor}(\mathfrak{c}B, C) \cong \mathfrak{Mor}(B, \mathfrak{p}C)$를 통해 기호적 비가환 경로 공간을 정의하는 것.

실험 결과

연구 질문

• RQ1 유한 생성 단위 C*-대수 $B$에서 유한 차원 C*-대수 $C$로의 보편 양자 가족의 호모모르피즘이 C*-대수의 범주 내에서 구성될 수 있는가?
• RQ2 양자 함자 $\mathfrak{Mor}$는 유한 공간과 컴팩트 공간에서의 고전적 위상수학적 함자 $\mathfrak{Mor}$를 어떻게 일반화하는가?
• RQ3 모든 호모모르피즘의 양자 가족은 범주론적으로 보편적이며, 임의의 다른 호모모르피즘이 $C \otimes D$로 들어가는 데 있어 고유한 분해 성질을 가지는가?
• RQ4 기존 위상수학에서 실린더 함자와 경로 함자 사이의 수반 관계가 $\mathfrak{Mor}$와 대칭을 통해 비가환적 환경에서 재현될 수 있는가?
• RQ5 표준 C*-대수 함자들을 사용할 때 경로 공간과 고리 공간 구성법을 비가환 공간으로 확장하는 데 있어 어떤 구조적 한계가 존재하는가?

주요 결과

• B가 유한 생성이고 C가 유한 차원일 경우, B에서 C로의 모든 호모모르피즘의 양자 가족은 *–이sovorphism에 대해 고유하게 존재한다.
• $\mathfrak{Mor}(B_1 \oplus B_2, C) \cong \mathfrak{Mor}(B_1, C) \otimes \mathfrak{Mor}(B_2, C)$를 만족함으로써, $\mathfrak{Mor}$가 직접 합과 호환됨을 보여준다.
• $\Psi: \mathfrak{Mor}(B_1, C) \otimes \mathfrak{Mor}(B_2, C) \to \mathfrak{Mor}(B_1 \oplus B_2, C)$는 전사적이며, 이는 보편적 구조를 확인한다.
• $\mathfrak{Mor}(B,C)$를 보편 대상으로 구성함으로써, 임의의 *–호모모르피즘 $\Psi: B \to C \otimes D$가 $\Lambda: \mathfrak{Mor}(B,C) \to D$를 통해 유일하게 분해됨을 보장한다.
• $\mathfrak{c}B$가 $B$의 실린더일 때, $\mathfrak{Mor}(\mathfrak{c}B, C) \cong \mathfrak{Mor}(B, \mathfrak{p}C)$의 수반 관계를 통해 기호적 비가환 경로 공간이 정의되며, 이는 대칭의 결함으로 인해 형식적이다.
• 논문은 표준적인 스터핑 및 고리 공간 함자들이 비단위성과 지정된 점이 없는 성질로 인해 비가환 환경으로 직접 전이되지 않음을 밝혀낸다.