[论文解读] Axioms for Weak Bialgebras

Florian Nill|ArXiv.org|May 22, 1998

Advanced Operator Algebra Research参考文献 12被引用 67

一句话总结

本文提出了一套新的公理化框架，用于弱双代数，通过用新颖的“幺半性公理”取代标准的单位元与乘法性公理，来处理余积与余态。这些新公理确保了表示范畴 Rep 𝒜 成为一个具有明确定义单位对象的刚性幺半范畴。其主要贡献在于通过一个简洁的反极公理，实现了弱霍普夫代数的自对偶定义，该定义与 Böhm-Szlachányi 的形式等价，并可应用于面代数和广义卡克斯代数。

ABSTRACT

Let A be a finite dimensional unital associative algebra over a field K, which is also equipped with a coassociative counital coalgebra structure (Δ,\eps). A is called a Weak Bialgebra if the coproduct Δis multiplicative. We do not require Δ(1) = 1 \otimes 1 nor multiplicativity of the counit \eps. Instead, we propose a new set of counit axioms, which are modelled so as to guarantee that \Rep\A becomes a monoidal category with unit object given by the cyclic A-submodule \E := (A --> \eps) \subset \hat A (\hat A denoting the dual weak bialgebra). Under these monoidality axioms \E and \bar\E := (\eps

研究动机与目标

• 解决量子对称理论中的对偶性问题，即在标准公理下，弱双代数的对偶未必仍是代数。
• 构建一个自对偶的弱双代数框架，使得代数及其对偶均为同类型。
• 通过一组最小且自包含的公理定义弱霍普夫代数，以保证表示范畴的刚性。
• 证明所提出的反极公理比以往形式更简洁、更一般，并在反极存在时保证其唯一性。
• 建立新公理与独立发展的 Böhm-Szlachányi 定义之间的等价性，并将该框架与已知例子（如面代数和广义卡克斯代数）联系起来。

提出的方法

• 提出新的余态公理，无需乘法性，而是确保循环左 𝒜-模 𝒆 = (𝒜 ⇀̸ 1̂) ⊂ ̂𝒜 成为 Rep 𝒜 中的单位对象。
• 定义幺半性公理，使得对偶弱双代数 ̂𝒜 包含两个可交换的单位子代数 𝒆 和 𝒆̄，且当余态为乘法性时，这两个子代数恰好平凡。
• 引入新的反极公理，以确保 Rep 𝒜 为刚性范畴，且在反极存在时唯一确定。
• 证明：若一个幺半弱双代数 𝒜 具有反极 S，则其对偶 ̂𝒜 为幺半当且仅当 S 是双代数反同态。
• 利用对偶 ̂𝒜 的结构及左右作用之间的相互作用，通过傅里叶变换与积分显式定义反极。
• 将该框架应用于构造例子，包括在 𝒜 = 𝒢 ⋊ 𝒫 ⋊ 𝒢 上构造弱霍普夫代数结构，表明其自然地出现在琼斯塔构造中。

实验结果

研究问题

• RQ1 如何定义弱双代数，使其对偶仍为弱双代数，从而在量子对称理论中保持对偶性？
• RQ2 余态与余积需要满足哪些公理，才能保证 Rep 𝒜 是一个具有明确定义单位对象的刚性幺半范畴？
• RQ3 能否提出一个更简洁、更一般的反极公理，以保证表示范畴的刚性，而无需依赖先前的构造？
• RQ4 所提出的弱霍普夫代数定义是否与 Böhm-Szlachányi 的形式等价？它与已知例子（如面代数和广义卡克斯代数）有何关联？
• RQ5 在对偶弱双代数 ̂𝒜 中会涌现出哪些结构性质？子代数 𝒆 和 𝒆̄ 与余态的乘法性有何关系？

主要发现

• 所提出的幺半性公理确保了表示范畴 Rep 𝒜 为幺半范畴，其单位对象为 𝒆 = (𝒜 ⇀̸ 1̂) ⊂ ̂𝒜，且该对象是其对偶中的正规单位子代数。
• 对偶代数 ̂𝒜 中的子代数 𝒆 和 𝒆̄ 可交换，且当且仅当余态 ε 为乘法性时，它们才平凡，从而为乘法性提供了结构性刻画。
• 反极 S: 𝒜 → 𝒜 由所提公理唯一确定，且其存在当且仅当 Rep 𝒜 为刚性范畴。
• 对偶 ̂𝒜 为幺半当且仅当反极 S 是双代数反同态，此时 S 同样可逆。
• 该框架在半直积 𝒜 = 𝒢 ⋊ 𝒫 ⋊ 𝒢 上导出了弱霍普夫代数结构，该结构自然地出现在具有有限维中心的琼斯塔构造中。
• 新公理被证明与 Böhm-Szlachányi 的定义等价，且该框架包含了已知例子，如 Hayashi 的面代数和 Yamanouchi 的广义卡克斯代数。