[論文レビュー] Reflective-coreflective equivalence

Erik B Edos, S. Kaliszewski+1 more|arXiv (Cornell University)|Dec 19, 2010

Advanced Operator Algebra Research参考文献 11被引用数 6

ひとこと要約

本稿では、随伴同値が同値をなす場合に生じる、反射的およびコリフレクティブな部分圏の間の新しいカテゴリカル同値、すなわち反射的・コリフレクティブ同値を導入し、特徴づける。主な貢献は、随伴の単位と余単位の相互作用を用いた普遍的特徴づけであり、C*-動的系と量子群における例を通じて、この同値がC*-代数的構造に依存せず、純粋にカテゴリカルであることが示される。

ABSTRACT

We explore a curious type of equivalence between certain pairs of reflective and coreflective subcategories. We illustrate with examples involving noncommutative duality for C*-dynamical systems and compact quantum groups, as well as examples where the subcategories are actually isomorphic.

研究の動機と目的

• 圏論における反射的およびコリフレクティブな部分圏の間の新しい種類の同値関係を調査すること。
• 特定の代数的構造に依存しない、このような部分圏が同値となるための圏論的条件を同定すること。
• この同値が、随伴の単位と余単位の普遍的性質によって支配されることを示すこと。
• C*-代数的双対性および量子群理論に適用可能な一般枠組みを提供すること。
• 非可換双対性およびコンパクト量子群における既知の同値関係を、統一的な圏論的視点で明確化・拡張すること。

提案手法

• 関手 S: C → M および T: C → N を用いて、カテゴリ C の部分圏 M と N の間の C-同値を定義し、それらの制限が準逆関手となるようにする。
• 部分圏間の随伴 N|_M ⊣ M|_N が随伴同値であることを要件として、反射的・コリフレクティブ同値を特徴づける。
• 反射子 N の単位 θ とコリフレクター M の余単位 ψ を用い、同値が成り立つのは、それぞれの射が部分圏に制限された際に両方の普遍的性質を満たすときであることを示す。
• C*-代数の文脈、特に局所コンパクト群のコ作用とコンパクト量子群にこの特徴づけを適用する。
• 作用の圏における交差積の普遍的性質と単射・全射分解を用いて同値を確立する。
• 付録における共変ホモモーフィズムおよび交差積の普遍的性質の結果を活用し、具体的な例において条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 反射的部分圏がどのような圏論的条件下でコリフレクティブ部分圏と同値となるのか。
• RQ2 反射子の単位とコリフレクターの余単位の相互作用が、どのように随伴同値を決定するのか。
• RQ3 部分圏間の同値が、基礎となるC*-代数的構造に依存する程度はどの程度か。
• RQ4 非可換双対性における既知の同値関係を、反射的・コリフレクティブ同値の例として再解釈できるか。
• RQ5 普遍的モルフィズムとコマ・カテゴリは、このような同値関係の確立において果たす役割は何か。

主な発見

• 反射的・コリフレクティブ同値が成り立つのは、それぞれの随伴の単位 θ と余単位 ψ が部分圏に制限された際に、両方の普遍的性質を満たすときである。
• 局所コンパクト群のC*-代数上の正規作用と最大作用の間の同値は、この圏論的枠組みの結果として導かれる。
• 還元的コンパクト量子群の圏が、このメカニズムを通じて、ユニバーサルコンパクト量子群の圏と同値であることが示された。
• テンソル積のC*-代数や群表現の特定の状況では、同値な部分圏は同値にとどまらず、同型である。
• この同値はC*-代数理論に依存せず、随伴および普遍的モルフィズムの圏論的性質に起因する。
• 結果は合成随伴へと一般化可能であり、ロス・ストリートによる特徴づけにより、元の設定を超えた範囲に拡張される。