[論文レビュー] 2-C*-categories with non-simple units

Pasquale A. Zito|ArXiv.org|Sep 13, 2005

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

ひとこと要約

この論文は、単位の単純でない場合（つまり、End(ι) ≅ ℂではなく、可換C*-代数である場合）における2-C*-圏の構造を、2-矢印が単位代数のスペクトル上のヒルベルトバンドルの連続的切断を形成することを示すことによって発展させる。主な貢献は、有限次元の場合を一般化したファイバーごとのカテゴリカル構造であり、これはバンドル型テンソル圏の記述を可能にし、Frobenius代数とQシステムの同値性を確立する。

ABSTRACT

We study the general structure of 2-C*-categories closed under conjugation, projections and direct sums. We do not assume units to be simple, i.e. for i_A the 1-unit corresponding to an object A, the space Hom(i_A, i_A) is a commutative unital C*-algebra. We show that 2-arrows can be viewed as continuous sections in Hilbert bundles and describe the behaviour of the fibres with respect to the categorical structure. We give an example of a 2-C*-Category giving rise to bundles of finite Hopf-algebras in duality. We make some remarks concerning Frobenius algebras and Q-systems in the general context of tensor C*-categories with non-simple units.

研究の動機と目的

• 標準的な単純単位（すなわち、End(ι) ≅ ℂ）の仮定を超えて2-C*-圏の理論を一般化すること。
• End(ι) が可換C*-代数である場合、End(ι) のスペクトル上に2-矢印のHom-空間のファイバー束構造を構築すること。
• これらのファイバーモデル上で、テンソル、合成、随伴のカテゴリカル演算の振る舞いを特定すること。
• 非単純単位設定下で、随伴方程式の「標準的解」の存在に必要な条件を確立すること。
• 非単純単位をもつテンソルC*-圏において、すべてのFrobenius代数がQシステムと同値であることを示し、既知の結果を拡張すること。

提案手法

• End(ι_A) を、コンパクトハウスドルフ空間 Ω_A 上の連続関数の代数 C(Ω_A) として表現することで、ファイバー構造の位相的基盤を導入する。
• 1-矢印 ρ, σ に対して、各ファイバーが Hom(ρ,σ) に同型となるヒルベルト（またはバナッハ）バンドルを、随伴関係とファイバー構造を保存する連続線形同型写像を用いて構成する。
• 仮定2.14 を用いて、バンドル構造が水平合成（⊗）と整合することを保証し、各 ω₀ ∈ Ω_A に対してインデックスが ω₀ であるファイバーカテゴリ C^{ω₀𝒜} への分解を可能にする。
• 合成、直和、射影に関して安定な写像族として、随伴方程式の「標準的解」を定義し、既約の場合の一般化を行う。
• C*-ノルムと *-対合を用いて、各ファイバーがC*-性質を満たすことを保証し、各切断におけるノルム連続性を維持する。
• バンドル構造を用いてQシステムとFrobenius代数を分析し、随伴とC*-構造が、これらの代数的対象の同値性を保証することを示す。

実験結果

リサーチクエスチョン

• RQ1 単位自己準同型代数が非単純である、すなわち、コンパクトハウスドルフ空間 Ω に対して C(Ω) に同型である場合、2-C*-圏の構造はどのように変化するか？
• RQ2 2-矢印の空間 Hom(ρ,σ) は自然に Ω 上の連続バンドル構造をもつことができるか？ そして、カテゴリカル演算はこのファイブレーションとどのように相互作用するか？
• RQ3 非単純単位の場合に、随伴方程式の「標準的解」の存在を保証する条件は何か？ そして、合成や直和に関してその性質はどのように振る舞うか？
• RQ4 非単純単位をもつテンソルC*-圏は、Ω によってインデックスづけられた単純単位をもつテンソルC*-圏の族に、どの程度まで分解可能か？
• RQ5 このような圏において、すべてのFrobenius代数がQシステムと同値であるか？ そして、C*-構造はこの同値性においてどのような役割を果たすか？

主な発見

• 2-矢印の空間 Hom(ρ,σ) は、End(ι_A) のスペクトル Ω_A 上に連続的バナッハバンドル構造をもつ。各ファイバーは Ω_A の各点において Hom(ρ,σ) に同型である。
• Hom(ρ,σ) 内の各2-矢印は、このバンドル上の連続的切断に対応し、各切断のノルムはファイバー全体でC*-性質を満たす。
• カテゴリカル演算—水平合成（⊗）、垂直合成（∘）、随伴、および *-対合—は、ファイバーバンドル構造と整合し、連続性とノルム性質を保つ。
• 仮定2.14 により、バンドル構造が ⊗-合成と保存され、2-C*-圏が単純単位をもつ2-C*-圏のファイバーバンドルとして見なせる。
• 随伴方程式の「標準的解」は弱い意味で存在する（命題3.18）、また局所的に自明なバンドルではグローバルに存在する（命題3.20）が、一般の場合の存在性は未解決のままである。
• 非単純単位をもつテンソルC*-圏において、すべてのFrobenius代数はQシステムと同値である（系5.18）。C*-構造と随伴関係が、主要な公理の自動的満たしを保証する。