[論文レビュー] Tannaka-Krein duality for compact quantum homogeneous spaces. I. General theory

Kenny De Commer, Makoto Yamashita|arXiv (Cornell University)|Nov 28, 2012

Advanced Algebra and Geometry被引用数 15

ひとこと要約

この論文は、コンパクト量子線形空間の同型類（G-不変モラータ同値を除く）と、コンパクト量子群の有限次元表現のテンソルカテゴリ上の分解不能なモジュールC*-カテゴリの間の一対一対応を確立する。C*-カテゴリと双次数ヒルベルト空間へのテンソル関手におけるタンカーナ＝クレイン双対性を応用することで、準テンソル関手に基づく従来の手法を一般化・精緻化した、包括的でカテゴリカルな枠組みを提供し、エルゴディック作用に対する強固な双対性理論を構築する。

ABSTRACT

An ergodic action of a compact quantum group G on an operator algebra A can be interpreted as a quantum homogeneous space for G. Such an action gives rise to the category of finite equivariant Hilbert modules over A, which has a module structure over the tensor category Rep(G) of finite dimensional representations of G. We show that there is a one-to-one correspondence between the quantum G-homogeneous spaces up to equivariant Morita equivalence, and indecomposable module C*-categories over Rep(G) up to natural equivalence. This gives a global approach to the duality theory for ergodic actions as developed by C. Pinzari and J. Roberts.

研究の動機と目的

• コンパクト量子群のエルゴディック作用に対する包括的でカテゴリカルな双対性理論を構築すること。
• 表現カテゴリ Rep(𝐺) 上のモジュールC*-カテゴリを用いて、コンパクト量子同次空間を特徴付けること。
• 従来の準テンソル関手に基づく手法を、双次数ヒルベルト空間へのテンソル関手に基づくより構造的な枠組みに置き換えること。
• G-不変モラータ同値を除く量子同次空間と、自然同値を除く分解不能なモジュールC*-カテゴリの間の同値関係を確立すること。
• 古典的タンカーナ＝クレイン双対性を、コンパクト量子群およびその同次空間の非可換設定に一般化すること。

提案手法

• C*-代数 A に G-作用を備えた有限G不変ヒルベルトモジュールの圏を用い、Rep(𝐺) 上のモジュールC*-カテゴリを構成する。
• モジュールC*-カテゴリと、Rep(𝐺) から End(𝒟)𝑓（有限自己準同型の圏）への強いテンソルC*-関手との間の対応を確立する。
• G が A に作用する様子を符号化する、ペア (r,s) でインデックス付けられたヒルベルト空間の圏への双次数テンソル関手として、モジュールC*-カテゴリを表現する。
• 融合カテゴリおよびC*-カテゴリにおける双対性の理論を適用し、分解不能なモジュールC*-カテゴリが、G-不変モラータ同値を除く量子同次空間を分類することを示す。
• R行列のトレース性および有界性を用いて、射空間の次元に関する有限性条件を証明し、カテゴリが適切に振る舞うことを保証する。
• 𝒟 が半単純で添字集合 𝐽 によってインデックス付けされている場合、End(𝒟)𝑓 と ℰ𝑓𝐽 間のテンソル同値を用いて、構造を明確な形に還元する。

実験結果

リサーチクエスチョン

• RQ1 コンパクト量子同次空間は、どのように分類可能か。これは、古典的タンカーナ＝クレイン双対性を一般化するものである。
• RQ2 C*-代数上のコンパクト量子群のエルゴディック作用に対応するカテゴリカル構造は何か。
• RQ3 量子同次空間の概念は、表現カテゴリ Rep(𝐺) 上のモジュールカテゴリの観点から純粋に特徴付け可能か。
• RQ4 モジュールC*-カテゴリの理論は、双対性理論における古典的ファイバー関手および準テンソル関手の手法とどのように関係するか。
• RQ5 G-不変モラータ同値を除く量子同次空間と、分解不能なモジュールC*-カテゴリとの間の正確な対応関係は何か。

主な発見

• G-不変モラータ同値を除くコンパクト量子同次空間と、自然同値を除く分解不能なモジュールC*-カテゴリとの間には、一対一対応が存在する。
• 量子同次空間上の有限G不変ヒルベルトモジュールの圏は、自然にRep(𝐺) 上の分解不能なモジュールC*-カテゴリをなす。
• このようなモジュールC*-カテゴリの構造は、J添字付き半単純C*-カテゴリ上の有限自己準同型の圏 ℰ𝑓𝐽 への、強いテンソルC*-関手と同値である。
• この対応は関手的であり、テンソル構造を保つため、従来の準テンソル関手に基づく結果を一般化する。
• R行列の有限性条件により、射空間の次元の総和が有界であることが保証され、カテゴリ内の病理的挙動を防ぐ。
• 理論により、双次数ヒルベルト空間によるモジュールC*-カテゴリの明確な実現が可能となり、弱ホップ代数およびホップ＝ガロア理論を含むより広範な代数的枠組みと結びつく。