[论文解读] The monoidal category of Yetter-Drinfeld modules over a weak braided Hopf algebra

J. N. Alonso Álvarez, J. M. Fernández Vilaboa+2 more|arXiv (Cornell University)|Mar 12, 2012

Algebraic structures and combinatorial models参考文献 9被引用 4

一句话总结

本文在具有可逆反积的严格张量范畴中，引入了弱辫子霍普夫代数上的耶特-德林费尔德模，通过广义弱算子定义了一类新对象。证明了这些模构成一个非严格张量范畴，并通过自伴作用与投影构造了非平凡例子，将理论拓展至经典霍普夫代数设定之外。

ABSTRACT

In this paper we introduce the notion of weak operator and the theory of Yetter-Drinfeld modules over a weak braided Hopf algebra with invertible antipode in a strict monoidal category. We prove that the class of such objects constitutes a non strict monoidal category. It is also shown that this category is not trivial, that is to say that it admits objects generated by the adjoint action (coaction) associated to the weak braided Hopf algebra.

研究动机与目标

• 将耶特-德林费尔德模的理论扩展至具有可逆反积的严格张量范畴中的弱辫子霍普夫代数。
• 定义广义弱算子，作为该设定下弱杨-巴克斯特定理算子的自然推广。
• 证明此类代数上的耶特-德林费尔德模范畴为非严格张量范畴且非平凡。
• 通过弱辫子霍普夫代数的自伴作用与投影，显式构造耶特-德林费尔德模的例子。
• 在该广义框架下，建立模范畴与张量范畴中心之间的范畴等价关系。

提出的方法

• 在严格张量范畴中引入弱算子的概念，作为弱杨-巴克斯特定理算子的推广。
• 通过涉及弱算子的相容模结构与余模结构，定义弱辫子霍普夫代数上的耶特-德林费尔德模。
• 利用弱算子及其与代数运算的相容性，构建耶特-德林费尔德模范畴的张量结构。
• 通过包含弱算子、反积与结构态射的交换图，验证张量结构的协调性条件。
• 通过显式构造与弱辫子霍普夫代数相关的自伴作用与余作用，证明非平凡性。
• 使用范畴工具如幂等元分解与张量积相容性，确保范畴定义良好且非退化。

实验结果

研究问题

• RQ1 能否在具有可逆反积的严格张量范畴中的弱辫子霍普夫代数上，构造出非严格张量范畴的耶特-德林费尔德模？
• RQ2 此类耶特-德林费尔德模范畴是否包含除零模外的非平凡对象？
• RQ3 弱算子如何推广弱杨-巴克斯特定理算子，以支持该设定下模与余模结构的相容性？
• RQ4 在该广义框架下，耶特-德林费尔德模范畴与模范畴中心之间是否存在范畴等价？
• RQ5 能否系统地从弱辫子霍普夫代数的投影或自伴作用生成耶特-德林费尔德模的例子？

主要发现

• 具有可逆反积的弱辫子霍普夫代数上的耶特-德林费尔德模范畴构成一个非严格张量范畴。
• 弱算子的存在确保了模结构与余模结构之间的相容性，从而支持张量范畴的构造。
• 存在非平凡的耶特-德林费尔德模，包括由弱辫子霍普夫代数的自伴作用与余作用生成的模。
• 通过弱辫子霍普夫代数的投影显式构造了例子，展示了该范畴的丰富性。
• 由弱辫子霍普夫代数结构映射导出的四元态射满足弱算子的公理，确认了其一致性。
• 通过涉及张量积与自然变换的交换图，验证了作用与余作用对弱算子的相容性。