[論文レビュー] Quantum Functor $Mor$

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

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

研究の動機と目的

• トポロジカル空間間の連続写像の空間を割り当てる古典的関手 $\mathfrak{Mor}$ の非可換版を構成すること。
• C*-代数 $C$ へのユニタリな *-準同型の量子族を、$C \otimes A$ への普遍的 *-準同型を用いて定義すること。
• すべての写像の量子族に対して普遍的性質を確立し、*-同型を除いて一意であることを保証すること。
• 構成を用いて、圏的双対性とシリンダー関手を介して記号的非可換パス空間を定義すること。
• 古典的パス空間およびループ空間の構成を非可換設定に拡張する際の制限と構造的ギャップを検討すること。

提案手法

• 任意の *-準同型 $\Psi: B \to C \otimes D$ が $\Lambda: A \to D$ を介して一意に因数分解できるような、$\Phi: B \to C \otimes A$ を持つ普遍的 C*-代数 $A$ として $\mathfrak{Mor}(B,C)$ を定義する。
• 可換 C*-代数とコンパクトハウスドルフ空間の間のゲルファンド双対性を用い、$\mathfrak{q}A$ を関数代数 $A$ を持つ量子空間と解釈することで、非可換一般化を可能にする。
• ユニタリ C*-代数の圏における普遍的対象として、$B$ から $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*-代数 $B$ と有限次元 C*-代数 $C$ の間の普遍的量子族の写像を 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{c}B$ が $B$ のシリンダーであるとき、$\mathfrak{Mor}(\mathfrak{c}B, C) \cong \mathfrak{Mor}(B, \mathfrak{p}C)$ を用いて記号的非可換パス空間が定義されたが、これは形式的である。
• この論文は、標準的なサスペンションおよびループ空間関手が、非ユニタリ性と点付き構造の欠如のため、非可換設定に直接移行できないことを特定した。