Calculus and quantizations over Hopf algebras (Q1264271)

Let \({\mathcal C}^{\text{rev}}\) denote the monoidal category obtained from the monoidal category \({\mathcal C}\) by formally reversing the tensor product. Suppose \({\mathcal C}\) is equipped with a natural family of isomorphisms \(\sigma_{X, Y }:X\otimes Y \to Y\otimes X\) as required to make the identity functor \({\mathcal C}^{rev}\to{\mathcal C}\) a unit-preserving strong monoidal functor; for example, \(\sigma\) could be a braiding. Then monoids and their actions on objects can be deformed by \(\sigma\) to yield monoids and actions having the same underlying objects. A monoid \(A\) is called \(\sigma\)-commutative when it is invariant under this process. Under these circumstances the author creates a filtration of each \(A-A\)-bimodule \(X\) which encapsulates the failure of \(X\) to be invariant. In particular, when \({\mathcal C}\) is closed (amongst other things), the internal hom \(\text{Hom}(P, Q) \) of two right \(A\)-modules \(P, Q\) admits such a filtration \[ \dots \leq\text{Diff}^\sigma_i(P,Q) \leq\text{Diff}^\sigma_{i-1} (P,Q)\leq \dots \] which is compatible with composition. The object of \(P\)-valued \(\sigma\)-derivations on \(A\) is the subobject \(D(P)\) of \(\text{Diff}^\sigma_1(A, P)\) containing those \(f\) satisfying \(f (1) = 0\). Such \(f \) automatically satisfy a \(\sigma\)-Leibniz rule. The object \(\Omega^1 (A)\) of \(\sigma\)-differential 1-forms is introduced as the representing object for the functor taking \(P\) to \(D(P)\). This leads to a \(\sigma\)-version of the de Rham differential algebra which is shown to be a Lie coalgebra in the \(\sigma\)-relative sense. A variety of examples is worked in detail.