[論文レビュー] Weak quantum hypergroups from finite index C*-inclusions

Keshab Chandra Bakshi, Debashish Goswami+1 more|arXiv (Cornell University)|Jan 18, 2026

Advanced Operator Algebra Research被引用数 0

ひとこと要約

著者らは、有限指数の単位的C*-代数の包含 B ⊂ A に対して、二次相対逐次代数 B' ∩ A1 上に正準な完全正 coproduct を構築し、弱量子超群の概念を導入すると共に、既約場合には量子超群を、深さ2設定では弱Hopf代数を回復することを示す。

ABSTRACT

We study a finite index inclusion of simple unital C*-algebras and construct a canonical completely positive coproduct on the second relative commutant, thereby endowing it with a natural coalgebra structure. Motivated by this construction, we introduce the notion of a weak quantum hypergroup, a generalization of the quantum hypergroups of Chapovsky and Vainerman. We show that every finite index inclusion gives rise to such a weak quantum hypergroup, and that the corresponding weak quantum hypergroup possesses a Haar integral. In the irreducible case, this structure satisfies the axioms of a quantum hypergroup in the sense of Chapovsky and Vainerman, while in the depth 2 setting our framework yields the associated weak Hopf algebra constructed by Nikshych and Vainerman. These results provide a unified and intrinsically C*-algebraic framework for generalized quantum symmetries associated with finite index inclusions.

研究の動機と目的

• 任意の有限指数の単位的C*-代数の包含から、 canonical な量子対称性オブジェクトを抽出・導出する。
• second relative commutant 上に畳み込みベースのコアルgebra を定義し、完全正の coproduct を確立する。
• 量子および弱Hopf代数対称性の一般化として、弱量子超群のフレームワークを導入・展開する。
• 特別な場合（既約および深さ2）における既知構造との整合性を示す。

提案手法

• Watatani の塔と高次相対可換な Fourier 変換を用いて B' ∩ A1 上に畳み込み積を定義する。
• 畳み込みに基づく二次形式を用いて B' ∩ A1 上の coproduct Δ を構成する（⟨Δ(x), y⊗z⟩ = τ^{1/2}⟨x, y⋆z⟩）。
• Δ が完全正な写像であること、及び (B' ∩ A1, Δ, ε) が反元 ε を備えるコアルgebra であることを証明する。
• Δ on B' ∩ A1 を Nikshych–Vainerman の Δ^{NV} 構造と対になり、双対性を介して関連づけ、深さ2 の弱Hopf代数の枠組みと結びつける。
• 既約の場合には構造が真の量子超群となり得ることを示し、深さ2 の場合には既知の弱Hopf代数構成と一致することを示す。
• このフレームワークにおける左/右不変測度と Haar 積分の存在を示す。

実験結果

リサーチクエスチョン

• RQ1 任意の有限指数の単位的C*-代数の包含 B ⊂ A は、二次相対可換 B' ∩ A1 上に canonical な弱量子超群構造をもたらすのか。
• RQ2 弱量子超群が真の量子超群へとアップグレードする条件（例：既約の場合）や、深さ2 など既知の弱Hopf代数構造と関連づく条件は何か。
• RQ3 構築された Δ が Fourier/畳み込み構造および A' ∩ A2 との双対性とどう相互作用するか。
• RQ4 左/右不変測度および Haar 積分はこの枠組みで存在するのか、また既約/深さ2 の縮約下でそれらはどう振る舞うか。

主な発見

• B' ∩ A1 は B ⊂ A の包含由来のcanonical な弱量子超群構造を有する。
• 包含が既約であるとき、弱量子超群は量子超群へとアップグレードする。
• 弱量子超群は左不変・右不変測度を有し、Haar積分を有する。
• 深さ2 の設定では、Nigshykh と Vainerman の関連する弱Hopf代数を構成することになり、既知の対称性枠組みと結びつく。
• コアルgebra 構造は非退化なペアリングを介して A' ∩ A2 のコアルgebra と対になる（Nikshych–Vainerman 理論と整合）。