[論文レビュー] On bicolimits of $ C^* $-categories

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

Algebraic structures and combinatorial models参考文献 21被引用数 7

ひとこと要約

本稿は、2-category $C^*\text{Lin}$ における可算加法的 $C^*$-圏の bicolimit の存在を、随伴函手定理の双圏的変種を用いて確立する。また、半単純でない設定における $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-category における bicolimit の存在を確立すること。これは、標準的な圏的構成において一般に良好に振る舞わない。
• $C^*$-対応による従来の手法の制限を乗り越えるために、$C^*$-圏のレベルで直接的に双圏的道具を用いること。
• 半単純性や剛性の仮定なしに、$C^*$-テンソル圏上のモジュール圏のバランストランスフォーム積が普遍的に存在することを示すこと。
• 随伴函手定理を双圏に適応し、作用素代数に関連する豊密化圏的設定における bicolimit の構成のための一般枠組みを提供すること。

提案手法

• 双圏的変種の随伴函手定理を用いて、可算加法的 $C^*$-圏の 2-category $C^*\text{Lin}$ における bicolimit の存在を証明する。
• 双圏的ヤオの補題と双普遍的矢印を用い、hom-圏の自然同型によって bicolimit を特徴付ける。
• 無限大の直和と可アクセス性を取り扱うために、$C^*$-圏における ind-圏と有限生成対象を導入・研究する。
• $C^*$-圏の最小および最大テンソル積の理論を適用し、最大ノルムの新しい特徴付けを提供する。
• 無単位的 $C^*$-圏と乗算子圏を用いて、無限大の直和を扱い、純代数的設定とは異なる振る舞いを解明する。
• 擬自然性と圏の同値を用いて bicolimit 構造を定義・検証し、厳密な余極限構成を避ける。

実験結果

リサーチクエスチョン

• RQ1 可算加法的 $C^*$-圏の 2-category は bicolimit を持つか？ もしそうなら、どのような条件下で？
• RQ2 $C^*$-テンソル圏上のモジュール圏のバランストランスフォーム積は、半単純性や有限性の条件なしに構成可能か？
• RQ3 随伴函手定理はどのように双圏に適応可能か？ これにより、$C^*$-圏的設定における bicolimit の存在を証明できるか？
• RQ4 ind-圏と有限生成対象は、無限大直和を伴う $C^*$-圏の構造において果たす役割は何か？
• RQ5 $C^*$-対応の対応の双圏は、bicolimit を構成するための直接的アプローチによって、どの程度置き換え可能か？

主な発見

• 可算加法的 $C^*$-圏の 2-category $C^*\text{Lin}$ において、bicolimit は有限性の仮定なしに存在する。
• 半単純性、剛性、有限生成の仮定なしに、$C^*$-テンソル圏上のモジュール圏のバランストランスフォーム積が普遍的に存在する。
• この構成は、厳密な余極限構成で用いられる生成元と関係式を必要とせず、双圏的随伴函手定理に依存している。
• 本稿は、$C^*$-圏における最大テンソルノルムの、圏的普遍性に基づく新しい特徴付けを提供する。
• ind-圏と $C^*$-圏における有限生成対象が、この文脈における無限大直和の取り扱いに不可欠な道具であることが示された。
• 双圏的ヤオの補題が用いられ、bicolimit の同値を除く一意性が確立され、その圏的頑健性が裏付けられた。