[论文解读] Calculus and Quantizations over Hopf algebras

Valentin Lychagin|ArXiv.org|Jun 15, 1994

Advanced Topics in Algebra参考文献 6被引用 4

一句话总结

本文提出了一种基于辫子张量范畴的新型框架，用于在准三角霍普夫代数上进行微积分与量化，无需强制施加莱布尼茨法则即可实现内在的微分微积分。该框架将一般量化定义为满足相干性条件的张量积函子的自然同构，并提出了两种计算方法：非线性上同调与格罗滕迪克环的乘法霍赫希尔德上同调，通过实例加以说明。

ABSTRACT

In this paper we outline an approach to calculus over quasitriangular Hopf algebras. We study differential operators in the framework of monoidal categories equipped with a braiding or symmetry. To be more concrete, we choose as an example the category of modules over quasitriangular Hopf algebra. We introduce braided differential operators in a pure algebraic manner.This gives us a possibility to develop calculus in an intrinsic way without enforcing any type of Leibniz rule. A general notion of quantization in monoidal categories, proposed in this paper, is a natural isomorphism of the tensor product bifunctor equipped with some natural coherence conditions. The quantization "deforms" all algebraic and differential objects in the monoidal category. We suggest two ways for calculation of quantizations. One of them reduces the calculation to non-linear cohomologies. THe other describes quantizations in terms of multiplicative Hochschild cohomologies of the Grothendieck ring of the given monoidal category. These constructions are illustrated by some examples.

研究动机与目标

• 通过辫子张量范畴，在准三角霍普夫代数上发展一种无坐标、内在的微分微积分。
• 将一般化的量化定义为满足特定相干性条件的张量积函子的自然同构。
• 通过非线性上同调与格罗滕迪克环的乘法霍赫希尔德上同调，提供量化计算的工具。
• 在霍普夫代数模的背景下，通过具体实例展示该框架。

提出的方法

• 利用带有辫子结构的霍普夫代数模范畴，定义辫子微分算子。
• 在纯粹代数设定下引入辫子微分算子，避免事先强制施加莱布尼茨法则。
• 将量化定义为满足特定相干性条件的张量积双函子的自然同构。
• 通过形变理论技术，将量化的计算归约为非线性上同调。
• 利用单圈霍赫希尔德上同调刻画量化结果。
• 将形式化应用于具体实例，说明代数与微分结构的形变。

实验结果

研究问题

• RQ1 如何在不依赖莱布尼茨法则的前提下，内在地表述准三角霍普夫代数上的微分微积分？
• RQ2 在张量范畴中，一般化量化的范畴结构是什么？
• RQ3 在此框架中，如何系统地计算量化结果？
• RQ4 辫子结构在定义微分算子及其与张量积的相容性中起什么作用？
• RQ5 格罗滕迪克环及其霍赫希尔德上同调以何种方式编码量化信息？

主要发现

• 该框架通过使用辫子张量范畴，实现了准三角霍普夫代数上的无坐标微分微积分。
• 辫子微分算子在代数设定下被定义，无需预先强制施加莱布尼茨法则。
• 量化被形式化为满足特定相干性条件的张量积函子的自然同构，推广了形变量化。
• 建立了两种量化计算方法：一种基于非线性上同调，另一种基于格罗滕迪克环的乘法霍赫希尔德上同调。
• 该方法在张量范畴内自然地形变代数与微分对象，保持结构的相干性。
• 实例展示了在所提出的量化方案下，标准代数与微分结构的形变。