[论文解读] Quantum Functor $Mor$

Maysam Maysami Sadr|arXiv (Cornell University)|Jul 31, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用 5

一句话总结

本文引入了拓扑函子 $\mathfrak{Mor}$ 的非交换类比，定义了一个协变函子 $\mathfrak{Mor}: \mathbf{C}^{*}_{fg} \times \mathbf{C}^{*}_{fd}^{op} \to \mathbf{C}^{*}_{fg}$，该函子为每个有限生成的单位 C*-代数 $B$ 与有限维 C*-代数 $C$ 的配对分配从 $B$ 到 $C$ 的所有 *-同态的量子家族。其主要贡献在于通过范畴对偶性构造了一个实现实此量子家族的普遍对象，进而应用于通过符号化非交换路径函子。

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$.

研究动机与目标

• 构建拓扑函子 $\mathfrak{Mor}$ 的非交换版本，该函子为拓扑空间之间的连续映射空间赋值。
• 通过进入 $C \otimes A$ 的普遍 *-同态，定义从有限生成单位 C*-代数 $B$ 到有限维 C*-代数 $C$ 的量子同态家族。
• 为所有同态的量子家族建立普遍性质，确保在 *-同构意义下的唯一性。
• 通过范畴对偶性与圆柱函子，将该构造应用于定义符号化非交换路径空间。
• 探讨将经典路径空间与环路空间构造推广至非交换设定时的局限性与结构缺口。

提出的方法

• 将 $\mathfrak{Mor}(B,C)$ 定义为具有 *-同态 $\Phi: B \to C \otimes A$ 的普遍 C*-代数 $A$，使得任意其他 *-同态 $\Psi: B \to C \otimes D$ 均可通过唯一的 $\Lambda: A \to D$ 因子分解。
• 利用交换 C*-代数与紧致豪斯多夫空间之间的盖尔范德对偶性，将 $\mathfrak{q}A$ 解释为具有函数代数 $A$ 的量子空间，从而实现非交换推广。
• 将从 $B$ 到 $C$ 的所有同态的量子家族构造为单子 C*-代数范畴中的普遍对象，确保 $\mathfrak{Mor}(B,C)$ 在 *-同构意义下定义良好。
• 利用普遍性质证明 $\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*-代数范畴中为有限生成单位 C*-代数 $B$ 与有限维 C*-代数 $C$ 的配对构造一个从 $B$ 到 $C$ 的所有同态的普遍量子家族？
• RQ2 量子函子 $\mathfrak{Mor}$ 如何推广经典拓扑函子 $\mathfrak{Mor}$ 在有限与紧致空间上的作用？
• RQ3 从 $B$ 到 $C$ 的所有同态的量子家族是否在范畴论意义上具有普遍性，即对任意其他同态进入 $C \otimes D$ 是否具有唯一因子分解性质？
• RQ4 能否通过 $\mathfrak{Mor}$ 与对偶性，在非交换设定中模仿经典拓扑中圆柱函子与路径函子之间的伴随关系？
• RQ5 使用标准 C*-代数函子将路径空间与环路空间构造推广至非交换空间时，其结构上的局限性是什么？

主要发现

• 当 $B$ 有限生成且 $C$ 有限维时，从 $B$ 到 $C$ 的所有同态的量子家族存在且在 *-同构意义下唯一。
• 函子 $\mathfrak{Mor}$ 满足 $\mathfrak{Mor}(B_1 \oplus B_2, C) \cong \mathfrak{Mor}(B_1, C) \otimes \mathfrak{Mor}(B_2, C)$，表明其与直和的兼容性。
• 映射 $\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{Mor}(\mathfrak{c}B, C) \cong \mathfrak{Mor}(B, \mathfrak{p}C)$ 定义了符号化非交换路径空间，其中 $\mathfrak{c}B$ 是 $B$ 的圆柱，尽管由于对偶性缺口，此构造为形式化。
• 本文指出，标准的悬垂与环路空间函子无法直接推广至非交换设定，原因在于其非单位元性与缺乏点化结构。