包络代数是李代数自同构群上正则函数的 Hopf 代数上的 Yetter-Drinfeld 模代数

Zoran Škoda, Martina Stojić

摘要

我们提出了任意域 ${\bm{k}}$ 上有限维李代数 $\mathfrak{g}$ 的通用包络代数 $U(\mathfrak{g})$ 之间的（高度简并）Hopf 对的基本构造 $\mathfrak{g}$ 自同构群上正则函数的 Hopf 代数 $\mathcal{O}(\operatorname{Aut}(\mathfrak{g}))$ 。这种配对引发了 $\mathcal{O}(\operatorname{Aut}(\mathfrak{g}))$ 对 $U(\mathfrak{g})$ 的 Hopf 作用，与明确给定的相互作用一起使 $U(\mathfrak{g})$ 成为编织的可交换 Yetter–Drinfeld $\mathcal{O}(\operatorname{Aut}(\mathfrak{g}))$ -模代数。根据这些数据，我们可以在粉碎积代数 $\mathcal{O}(\operatorname{Aut}(\mathfrak{g}))\sharp U(\mathfrak{g})$ 上构建 Hopf 代数体结构，保留早期在无限维版本的海森堡双精度 $U(\mathfrak{g})$ 上构建 Hopf 代数体结构的基本特征，包括李代数类型的非交换相空间，同时避免了完整张量积的需要。

我们证明了一个稍微更一般的结果，其中代数 $\mathcal{O}(\operatorname{Aut}(\mathfrak{g}))$ 被 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 替换，其中 $\mathfrak{h}$ 是具有 $\mathfrak{g}$ 的任何有限维莱布尼兹代数作为其最大李代数商。

关键词： Yetter–Drinfeld模代数、泛包络代数、李代数自同构、莱布尼茨代数、伴随映射
MSC 2020： 16T05、16S40

1简介

双代数上的 Yetter–Drinfeld 模(2.2 和 [9,10,14])在量子代数、低维拓扑和表示论中普遍存在。 Yetter–Drinfeld 模类别 ${}^{H}\mathcal{YD}_{H}$ 中编织交换幺半群的更复杂结构是标量扩展双代数胚和 Hopf 代数胚构造中的一个组成部分。也就是说，给定 Hopf 代数 $H$ 和编织交换 Yetter–Drinfeld $H$ 模代数 $A$ ，粉碎积代数 $H\sharp A$ 有 $A$ [1, 2, 11] 上的 Hopf 代数体的结构。一个重要的特例是有限维 Hopf 代数 $A$ 的海森堡双精度 $A^{*}\sharp A$ ，其中 $A^{*}$ 是 $A$ 的对偶 Hopf 代数>; $A$ 上的 $A^{*}$ -coaction 由一个显式公式给出，涉及 $A$ 的基和 $A^{*}$ 的双重基 ( [5]，第 6 节中的地图 $\beta$ )。文献中有几个重要的例子，其中一些是由数学物理驱动的，当 $A$ 的基础代数是 $n$ 维李的通用包络代数 $U(\mathfrak{g})$ 时代数 $\mathfrak{g}$ 。在李代数类型 [8] 的非交换相空间 $\mathcal{H}_{\mathfrak{g}}$ 的示例中，Hopf 代数 $H$ 是通过代数的形式幂级数实现的对偶 $U(\mathfrak{g})^{*}$ 具有自然的拓扑 Hopf 代数结构。从历史上看， $\mathcal{H}_{\mathfrak{g}}$ 作为代数是通过在[7]中通过变形导数（“动量”）扩展 $U(\mathfrak{g})$ 而引入的，并以相当不严格的处理[13]有人认为 $\mathcal{H}_{\mathfrak{g}}$ 实际上是 $U(\mathfrak{g})$ 的海森堡双倍；这使得 $\mathcal{H}_{\mathfrak{g}}$ 上的 Hopf 代数体结构可以类似于 Lu 的有限维双精度示例来展示，从而导致 [8] 中完整的 Hopf 代数体结构的临时版本。 $U(\mathfrak{g})^{*}\sharp U(\mathfrak{g})$ 的摘要版本在 [12] 中被描述为滤波共滤波向量空间的对称幺半群范畴中的内部 Hopf 代数体。这些例子可以被视为海森堡双精度的无限维情况（事实上，[13]中的这一观察影响了[8]中的Hopf代数体方法），但是[12] 中的许多结果表明，存在复杂的条件，无限维对偶配对 Hopf 代数 $H$ 和 $A$ 确实可以形成 Hopf粉碎积代数 $H\sharp A$ 上的代数结构，即使在完备意义上，甚至当其中一个 Hopf 代数是另一个的受限对偶时也是如此。在 $U(\mathfrak{g})$ 的情况下，[8] 中的公式表明 $i,j\in\{1,\ldots,n\}$ 存在特殊元素 $\mathcal{O}^{i}_{j}\in H=U(\mathfrak{g})^{*}$ ，使得生成器由公式（适应我们的约定） $U(\mathfrak{g})\supset\mathfrak{g}\ni x_{k}\mapsto\sum_{i}\mathcal{O}^{i}_{k}\otimes x_{i}\in U(\mathfrak{g})^{*}\otimes\mathfrak{g}$ 给出。而且，元素 $\mathcal{O}^{i}_{j}$ 满足 $\mathfrak{g}$ 自同构矩阵元素所满足的关系。本文的主要动机是消除这种现象的迷雾，并找到一个更小的 Hopf 代数 $H$ ，其中包含 $\mathcal{O}^{i}_{j}$ 的摘要模型，并避免在描述 Yetter–Drinfeld $H$ - $U(\mathfrak{g})$ 上的模块结构。

我们证明了 $\mathfrak{g}$ 自同构群上正则函数 $H=\mathcal{O}(\operatorname{Aut}(\mathfrak{g}))$ 的 Hopf 代数就可以了，即 $U(\mathfrak{g})$ 是一个辫状交换的 Yetter–Drinfeld 模 $\mathcal{O}(\operatorname{Aut}(\mathfrak{g}))$ -代数，其结构由与 [12] 中的 $U(\mathfrak{g})^{*}$ 情况基本相同的公式给出。 [11] 中标量扩展的一般公式描述了粉碎积 $\mathcal{O}(\operatorname{Aut}(\mathfrak{g}))\sharp U(\mathfrak{g})$ 上的 Hopf 代数体结构。在后续工作[15]中，我们提出了Hopf代数 $H$ 的其他几个自然例子，配备了Hopf代数同态 $\mathcal{O}(\operatorname{Aut}(\mathfrak{g}))\to H$ 并且其中 $U(\mathfrak{g})$ 仍然是 $H$ 上的 Yetter–Drinfeld 模代数，没有完成。 [15] 中详细阐述了对称 Hopf 代数体结构的公式。

本文的主要结果实际上是以比上面描述的稍微更一般的形式证明的。也就是说，我们可以采用任何有限维莱布尼茨代数 $\mathfrak{h}$ 的自同构群，而不是李代数 $\mathfrak{g}$ 的自同构群，使得 $\mathfrak{g}$ 是最大值 $\mathfrak{h}$ 的李代数商 $\mathfrak{h}_{{Lie}}$ ，在粉碎积 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\sharp U(\mathfrak{h}_{Lie})$ 上实现 Hopf 代数体的结构。

2 预赛

2.1 配对的一般约定和基础知识

在整篇论文中，我们自由地使用带有或不带有求和符号 [6, 9] 和克罗内克符号 $\delta^{i}_{j}$ 的 Sweedler 表示法。自始至终， ${\bm{k}}$ 是一个固定的地面场， $\operatorname{Vec}_{\bm{k}}$ 是 ${\bm{k}}$ 向量空间的范畴。如果 $V\in\operatorname{Vec}_{\bm{k}}$ , $V^{*}:=\operatorname{Hom}_{\bm{k}}(V,{\bm{k}})$ 。如果 $\Delta$ 是 ${\bm{k}}$ -余代数 $C$ 的余乘，那么对于 $m\geq 1$ , $\Delta^{m}:=(\mathrm{id}_{C^{\otimes m-2}}\otimes\Delta)\circ\ldots\circ(\mathrm{id}_{C}\otimes\Delta)\circ\Delta\colon C\to C^{\otimes m+1}$ 。如果 $(A,\mu,\eta)$ 是具有乘法 $\mu\colon A\otimes A\to A$ 和单位映射 $\eta$ 的结合 ${\bm{k}}$ 代数，请考虑其转置 $\mu^{*}\colon A^{*}\to(A\otimes A)^{*}$ 。 受限对偶 $A^{\circ}\subset A^{*}$ 由所有 $f\in A^{*}$ 组成，使得 $\mu^{*}(f)$ 落入包含 $A^{*}\otimes A^{*}\hookrightarrow(A\otimes A)^{*}$ 的图像之内。由此可见 $\mu^{*}(f)$ 也属于 $A^{\circ}\otimes A^{\circ}$ 的图像，因此限制 $\mu^{*}(f)|_{A^{\circ}}$ 可能被限制为地图 $\Delta_{A^{\circ}}\colon A^{\circ}\to A^{\circ}\otimes A^{\circ}$ 使得 $A^{\circ}$ 转化为余代数；如果 $A$ 是双代数（分别是 Hopf 代数）则 $A^{\circ}$ 是。向量空间的配对是地面场的双线性映射，在这项工作中不需要是非简并的。对于 $V,W\in\operatorname{Vec}_{\bm{k}}$ ，配对 $\langle-,-\rangle\colon V\otimes W\to{\bm{k}}$ 会导致 $V\otimes V$ 和 $W\otimes W$ 组件之间的配对： $\langle v\otimes v^{\prime},w\otimes w^{\prime}\rangle:=\langle v,w\rangle\cdot_{\bm{k}}\langle v^{\prime},w^{\prime}\rangle$ 。如果 $V\in\operatorname{Vec}_{\bm{k}}$ 和 $A$ 是代数，并且 $f\in A^{*}$ 存在一个元素 $f^{\prime}\in A^{*}\otimes A^{*}$ 使得 $\langle f^{\prime},g\otimes h\rangle=\langle f,g\cdot h\rangle$ 对于所有 $g,h\in A$ ，然后是功能 $\langle f,-\rangle\in A^{\circ}$ 和 $\langle f^{\prime},-\rangle\in A^{\circ}\otimes A^{\circ}$ 。如果 $V=C$ 是余代数，则 $\langle\Delta(f),-\rangle\in A^{*}\otimes A^{*}$ 。因此，如果 $\langle\Delta(c),h\otimes g\rangle=\langle c,g\cdot h\rangle$ 对于所有 $g,h\in A$ ，则 $\phi_{1}\colon c\mapsto\langle c,-\rangle:=\phi_{1}(c)$ 是映射 $C\to A^{\circ}$ ，并且 $(\phi_{1}\otimes\phi_{1})\circ\Delta_{C}=\Delta_{A^{\circ}}\circ\phi_{1}$ 。而且 $\langle c,1\rangle=\epsilon(c)$ 是余代数图。相反，如果 $c\mapsto\langle c,-\rangle$ 核心限制为联合代数映射 $\phi_{1}\colon C\to A^{\circ}$ ，则恒等式 $\langle\Delta(c),h\otimes g\rangle=\langle c,g\cdot h\rangle$ 和 $\langle c,1\rangle=\epsilon(c)$ 适用于所有 $c\in C$ , $g,h\in A$ 。当且仅当 $a\mapsto\langle-,a\rangle$ 是代数映射 $A\to C^{*}$ 时，这两个条件都成立。两个双代数 $B$ 和 $H$ 之间的配对是 Hopf，如果 $\langle\Delta_{B}(b),h\otimes k\rangle=\langle b,h\cdot k\rangle$ 、 $\epsilon_{B}(b)=\langle b,1_{H}\rangle$ 和对称条件 $\langle b\otimes c,\Delta_{H}(h)\rangle=\langle b\cdot c,h\rangle$ ， $\epsilon_{H}(h)=\langle 1_{B},h\rangle$ 。显然，后两个条件当且仅当 $h\mapsto\langle-,h\rangle$ 核心限制为余代数映射 $\phi_{2}\colon H\to B^{\circ}$ 时才成立。或者，当且仅当 $b\mapsto\langle b,-\rangle$ 核心限制为双代数映射 $\phi_{1}\colon B\to H^{\circ}$ 时，配对才是 Hopf。如果 $B$ 和 $H$ 是 Hopf 代数，则 $\phi_{1}$ 是 Hopf 代数之间的双代数映射，因此它自动遵循对映体。因此，对于 Hopf 代数之间的每个 Hopf 配对，恒等式 $\langle S_{B}(b),h\rangle=\langle b,S_{H}(h)\rangle$ 对所有 $b\in B$ 、 $h\in H$ 都成立。

用双代数映射 $\phi_{1}\colon B\to H^{\circ}$ 替换 Hopf 配对对于从旧配对构造新配对非常有用。也就是说，如果 $I\subset B$ 是一个 biideal （理想也是一个 coideal ，因为 $\Delta(I)\subset I\otimes B+B\otimes I$ 和 $\epsilon(I)=0$ )，那么当且仅当对于所有 $i\in I,h\in H$ 来说 $\phi_{1}(I)=0$ 是 $\langle i,h\rangle=0$ 时，存在归纳双代数映射 $\phi_{1}\colon B/I\to H^{\circ}$ 。

Lemma 2.1.

令 $\langle-,-\rangle\colon B\otimes H\to{\bm{k}}$ 为双代数对。

（我）

为了使双代数对在 $I\otimes H$ 上消失，其中 $I\subset B$ 是余理想，只要它在 $I\otimes K_{H}$ 其中 $K_{H}$ 是 $H$ 的一些代数生成器。 0>
(二)

如果 $I\subset B$ 是一个双理想， $K_{I}\subset I$ 是作为理想的 $I$ 的一组发电机， $K_{H}$ 是作为代数的 $H$ 的一组发电机、则双代数配对在 $I\otimes H$ 上消失，如果除了 $\langle i,h\rangle=0$ 对于所有 $i\in K$ 和 $h\in K_{H}$ 外，还有 $\Delta^{2}(h)\subset H\otimes\mathrm{Span}_{\bm{k}}(K_{H}\cup\{1\})\otimes H$ 对于所有 $h\in K_{H}$ 。

证明。

(i) 修复任何 $i\in I$ 。然后用 $\Delta(i)=\sum_{\alpha}i_{\alpha}\otimes b_{\alpha}+\sum_{\beta}b^{\prime}_{\beta}\otimes i^{\prime}_{\beta}$ 来表示 $i_{\alpha}\in I,b_{\beta}\in B$ 。然后 $\langle i,hh^{\prime}\rangle=\sum_{\alpha}\langle i_{\alpha},h\rangle\langle b_{\alpha},h^{\prime}\rangle+\sum_{\beta}\langle b^{\prime}_{\beta},h\rangle\langle i^{\prime}_{\beta},h^{\prime}\rangle=0$ 。

(ii) 要显示 $\langle bib^{\prime},h\rangle=0$ ，需要 $\langle b,h_{(1)}\rangle\langle i,h_{(2)}\rangle\langle b^{\prime},h_{(3)}\rangle=0$ 。 $\Delta^{2}(h)$ 上的条件足以使其适用于所有 $i\in I$ 、 $b,b^{\prime}\in B$ 、 $h\in K_{H}$ 。 ∎

人们通常首先构建一个辅助配对，其中一个双代数是自由的[9]。如果 $C$ 是余代数，则根据张量代数 $T(C)$ 的普适性，存在唯一的代数图 $T(C)\to T(C)\otimes T(C)$ ，扩展了组合 $C\stackrel{{\scriptstyle\Delta}}{{\rightarrow}}C\otimes C\hookrightarrow T(C)\otimes T(C)$ 沿着包含 $C\hookrightarrow T(C)$ ；这是 $T(C)$ 的余乘，使其成为双代数。每个双代数的余代数映射 $C\to B$ 都承认双代数映射 $T(C)\to B$ 的唯一扩展。

我们需要这个标准通用属性的不同变体。假设 $C=V\otimes{\bm{k}}u$ 为向量空间，其中 $u$ 为类群，即 $\Delta(u)=u\otimes u$ 、 $\epsilon(u)=1$ 。 $u-1$ 生成的 $T(C)$ 中的理想 $I_{u}$ 是双理想，因为 $\Delta(u-1)=u\otimes(u-1)+(u-1)\otimes 1$ 和 $\epsilon(u-1)=0$ 。组合 $T(V)\hookrightarrow T(V\oplus{\bm{k}}u)\to T(V\oplus{\bm{k}}u)/I_{u}$ 是代数的同构（逆矩阵很容易描述）；我们沿着这个同构将余乘从 $T(V\otimes{\bm{k}}u)/I_{u}$ 转移到 $T(V)$ 。根据上述通用性质，任何余代数映射 $f\colon V\oplus{\bm{k}}u\to B$ （其中 $B$ 是双代数）唯一地扩展到双代数映射 $T(V\oplus{\bm{k}}u)\to B$ ；如果 $f(u)=1$ 那么它会导出一个双代数映射 $T(V\oplus{\bm{k}}u)/I_{u}\to B$ 。

Lemma 2.2.

假设 $V\in\operatorname{Vec}_{\bm{k}}$ 和 $C=(V\oplus{\bm{k}},\Delta,\epsilon)$ 是一个余代数，使得 $0\oplus 1$ 是类群的。那么 $T(V)$ 具有规范的双代数结构，使得包含 $V\oplus{\bm{k}}\hookrightarrow T(V)$ 是一个余代数映射，并且对于任何双代数 $B$ ，每个余代数映射 $C\to B$ 将 $0\oplus 1$ 映射到 $1_{B}$ 允许对双代数映射 $T(V)\to B$ 的唯一扩展。

2.2 Yetter–Drinfeld 模代数

在本小节中，使用余乘 $\Delta\colon h\mapsto\sum h_{(1)}\otimes h_{(2)}$ 和 counit $\epsilon\colon H\to{\bm{k}}$ 修复 Hopf ${\bm{k}}$ -代数 $H=(H,\Delta,\epsilon)$ 。回顾一下，右 $H$ 模块的类别 $\mathcal{M}_{H}$ 是单环的：如果 $(M,\blacktriangleleft_{M})$ 和 $(N,\blacktriangleleft_{N})$ 是 $H$ 模块，那么它们的张量乘积是具有 $H$ 作用 $\blacktriangleleft\colon(m\otimes n)\otimes h\mapsto(m\blacktriangleleft_{M}h_{(1)})\otimes(n\blacktriangleleft_{N}h_{(2)})$ 的 ${\bm{k}}$ 模块 $M\otimes_{\bm{k}}N$ ，单位对象是具有 $c\blacktriangleleft h=\epsilon(h)c$ 作用的 ${\bm{k}}$ ，对于 $m\in M$ 、 $n\in N$ 、 $h\in H$ 、 $c\in{\bm{k}}$ 是如此。右 $H$ -模代数 $A$ 是 $\mathcal{M}_{H}$ 中的幺半群：右 $H$ -模 $(A,\blacktriangleleft\colon A\otimes H\to A)$ 具有乘法 $\cdot$ ，使得 $\sum(a\blacktriangleleft h_{(1)})\cdot(b\blacktriangleleft h_{(2)})=(a\cdot b)\blacktriangleleft h$ 和 $1\blacktriangleleft h=\epsilon(h)1$ 。然后，我们可以使用基础的 ${\bm{k}}$ 向量空间 $H\otimes A$ 和关联乘法 $\cdot$ 形成粉碎乘积代数 $H\sharp A$ > 由 $(h\sharp a)\cdot(k\sharp b):=hk_{(1)}\sharp(a\blacktriangleleft k_{(2)})b$ 给出，其中 $h\sharp a$ 是 $h\otimes a\in H\sharp A$ 的别名。我们经常将 $a\in A$ 等同于 $a\sharp 1$ ，将 $h\in H$ 等同于 $1\sharp h\in A\sharp H$ （因此对于 $a,b\in A$ 、 $h,k\in H$ 、 $a\cdot(h\sharp b)$ 表示 $(1\sharp a)\cdot(h\sharp b)$ 和 $h\cdot(k\sharp b)=(hk)\sharp b$ )。通过设置 $a\blacktriangleleft(h\sharp b):=(a\blacktriangleleft h)b\in A$ ，我们将 $\blacktriangleleft$ 扩展到 $A$ 上 $H\sharp A$ 的正确操作，也表示为 $\blacktriangleleft$ 。

右左 Yetter–Drinfeld $H$ -模块 $(M,\blacktriangleleft,\lambda)$ 是一个统一的右 $H$ -模块 $(M,\blacktriangleleft)$ 具有左 $H$ -coaction $\lambda\colon M\to H\otimes M$ 、 $m\mapsto\lambda(m)=\sum m_{[-1]}\otimes m_{[0]}$ ，满足 Yetter–Drinfeld 相容条件

f_{(2)}(m\blacktriangleleft f_{(1)})_{[-1]}\otimes(m\blacktriangleleft f_{(1)})_{[0]}=m_{[-1]}f_{(1)}\otimes(m_{[0]}\blacktriangleleft f_{(2)}),\quad\text{ for all }m\in M,f\in H.

(1)

Yetter–Drinfeld 模的态射是底层模的态射，也是余模的态射，底层 $H$ 模的张量积是通过共作用 $m\otimes n\mapsto n_{[-1]}m_{[-1]}\otimes m_{[0]}\otimes n_{[0]}$ 的 Yetter–Drinfeld 模（注意命令！）。因此，我们获得了（右-左）Yetter–Drinfeld $H$ 模块的编织幺半群范畴 ${}^{H}{\mathcal{YD}}_{H}$ ，其编织 $\sigma_{M,N}\colon M\otimes N\to N\otimes M$ 由 $m\otimes n\mapsto(n\blacktriangleleft_{N}m_{[-1]})\otimes m_{[0]}$ 给出。对于有限维 $H$ , ${}^{H}{\mathcal{YD}}_{H}$ 是编织幺半群，等价于右 $H$ 的幺半群范畴 ${\mathcal{M}}_{H}$ 的Drinfeld-Majid中心-模块。

如果 $A$ 是具有左 $H$ 作用 $\lambda$ 的右 $H$ 模块代数，如果我们确定 $H\sharp A$ 和 $H\otimes A$ 的底层向量空间，那么 Yetter-Drinfeld 相容性可以用 $H\sharp A$ 中的乘法来重写，即

f_{(2)}\cdot\lambda(a\blacktriangleleft f_{(1)})=\lambda(a)\cdot f,\quad\text{ for all }a\in A,f\in H.

(2)

${}^{H}{\mathcal{YD}}_{H}$ 中的幺半群称为（右-左）Yetter–Drinfeld $H$ -模代数。它们是经过乘法运算的 Yetter–Drinfeld 模，从而成为 $H$ -模代数和 $H^{\mathrm{op}}$ -余模代数。请注意， $H$ -comodule 与 $H^{\mathrm{op}}$ -comodule 相同，但说它是 comodule 代数是不同的。如果 $(A,\blacktriangleleft,\lambda)$ 是 Yetter–Drinfeld 模， $\mu\colon A\otimes A\to A$ 是 ${\bm{k}}$ 线性映射，则 $\mu$ 是 编织交换律 如果 $\sigma_{A,A}\circ\mu=\mu$ ，即 $(a\blacktriangleleft b_{[-1]})b_{[0]}=ba$ 对于所有 $a,b\in A$ 。如果一个 $H$ 模代数 $(A,\blacktriangleleft)$ 是编织交换律，如果它的乘法是编织交换律的话。

Lemma 2.3。

考虑一个 $H$ -模代数 $(A,\blacktriangleleft)$ 与乘法 $\mu$ 和一个 coaction $\lambda$ ，以便 $(A,\blacktriangleleft,\lambda)$ 是一个 Yetter –Drinfeld $H$ -模块。

（我）

乘法 $\mu$ 在 ${}^{H}{\mathcal{YD}}_{H}$ 中是编织交换律当且仅当对于扩展操作 $\blacktriangleleft$ 粉碎乘积 $H\sharp A$ 关系 $a\blacktriangleleft\lambda(b)=ba$ 成立。0>
(二)

Multiplication $\mu$ is braided commutative if and only if all elements of the form $1\sharp a$ , $a\in A$ , commute with all elements of the form $\lambda(b)$ , $b\in A$ , viewed inside algebra $H\sharp A$ .
(三)

假设 $\mu$ 是辫状可交换的。然后 $A$ 是一个 $H^{\mathrm{op}}$ -comodule 代数（因此也是 Yetter–Drinfeld 模代数）当且仅当 $\lambda$ 被视为具有粉碎乘积代数值的映射 $H\sharp A$ 是反对乘的。

证明。

事实上，对于 (i)，左侧是 $a\blacktriangleleft(b_{[-1]}\sharp b_{[0]})=(a\blacktriangleleft b_{[-1]})b_{[0]}$ 。第 (ii) 和 (iii) 部分留给读者。它们隐含在 [2] 中。 ∎

2.3莱布尼茨代数

左莱布尼兹代数和右莱布尼茨代数是非结合代数，通过放弃反对称条件稍微推广了李代数。

配备线性映射 $[-,-]\colon\mathfrak{h}\otimes_{\bm{k}}\mathfrak{h}\to\mathfrak{h}$ 的 ${\bm{k}}$ -向量空间 $\mathfrak{h}$ 是左莱布尼兹代数 [4] 如果对于每个 $x\in\mathfrak{h}$ ，映射 $\operatorname{ad}x\colon y\mapsto[x,y]$ 是 $\mathfrak{h}$ 上的推导，也就是说，如果左莱布尼兹恒等式 $[x,[y,z]]=[[x,y],z]+[y,[x,z]]$ 对所有都成立 $x,y,z\in\mathfrak{h}$ 。令 $\mathfrak{h}^{l}$ 为向量空间 $\mathfrak{h}$ 的副本，其中元素表示为 $l_{x}$ 、 $x\in\mathfrak{h}$ ，操作通过 $x\mapsto l_{x}$ 用 $\mathfrak{h}_{{Lie}}$ 表示由所有换元 $[x,x]$ , $x\in\mathfrak{h}$ 产生的双面理想 $I_{[x,x],x\in\mathfrak{h}}$ 作为 $\mathfrak{h}$ 的商得到的李代数。它是一个李代数，并且在以下意义上它是最大的：如果 $\mathrm{char}\,{\bm{k}}\neq 2$ ，则每个映射 $\mathfrak{h}\to\mathfrak{g}$ 到李代数 $\mathfrak{g}$ 通过 $\mathfrak{h}_{{Lie}}$ 因式分解> （如果 $\mathrm{char}\,{\bm{k}}=2$ ，关系 $[x,x]=0$ 强于反对称性）。

Lemma 2.4.

令 $\mathfrak{h}$ 为左莱布尼兹代数。李代数 $\mathfrak{h}_{Lie}\cong\mathfrak{h}/I_{[x,x],x\in\mathfrak{h}}$ 的通用包络代数 $U(\mathfrak{h}_{Lie})$ 与 $T(\mathfrak{h}^{l})/I^{l}$ 同构，其中 $I^{l}$ 是 $T(\mathfrak{h}^{l})$ 中的理想由 $l_{[x,y]}-l_{x}\otimes l_{y}+l_{y}\otimes l_{x}$ 、 $x,y\in\mathfrak{h}$ 生成。

证明。

用 $\bar{x}$ 表示 $x\in\mathfrak{h}$ 在 $\mathfrak{h}_{Lie}$ 中的图像。用 $\bar{l}_{x}$ 表示 $l_{x}\in T(\mathfrak{h}^{l})$ 在 $T(\mathfrak{h}^{l})/I^{l}$ 中的图像。用 $\tilde{x}$ 表示 $x\in\mathfrak{h}$ 在 $U(\mathfrak{h}_{Lie})$ 中的图像。下图中的虚线映射满足每个 $x\in\mathfrak{h}$ 的 $[x,x]\mapsto 0$ ，因为由顶行 $[x,x]\mapsto l_{[x,x]}=l_{[x,x]}-l_{x}\otimes l_{x}+l_{x}\otimes l_{x}\in I^{l}\subset T(h^{l})$ 中的映射 $\mathfrak{h}\to T(\mathfrak{h}^{l})$ 组成。

因此，存在映射 $\mathfrak{h}_{Lie}\to T(\mathfrak{h}^{l})/I^{l}$ 、 $\bar{x}\mapsto\bar{l}_{x}$ ，并且因此存在映射 $T(\mathfrak{h}_{Lie})\to T(\mathfrak{h}^{l})/I^{l}$ 。该映射满足 $\overline{[x,y]}-\bar{x}\otimes\bar{y}+\bar{y}\otimes\bar{x}\mapsto\bar{l}_{{[x,y]}}-\bar{l}_{x}\otimes\bar{l}_{y}+\bar{l}_{y}\otimes\bar{l}_{x}=0\in T(\mathfrak{h}^{l})/I^{l}$ 。因此，我们归纳出了地图 $U(\mathfrak{h}_{Lie})\to T(\mathfrak{h}^{l})/I^{l}$ 。

另一方面，在下图中

映射 $\mathfrak{h}\to U(\mathfrak{h}_{Lie})$ 引发 $T(\mathfrak{h}^{l})\to U(\mathfrak{h}_{Lie})$ 。通过这张地图 $l_{[x,y]}-l_{x}\otimes l_{y}+l_{y}\otimes l_{x}\mapsto\widetilde{[x,y]}-\tilde{x}\otimes\tilde{y}+\tilde{y}\otimes\tilde{x}={[\tilde{x},\tilde{y}]}-\tilde{x}\otimes\tilde{y}+\tilde{y}\otimes\tilde{x}=0\in U(\mathfrak{h}_{Lie})$ 为所有 $x,y\in\mathfrak{h}$ 。因此，我们获得了一个定义明确的地图 $T(\mathfrak{h}^{l})/I^{l}\to U(\mathfrak{h}_{Lie})$ 。

这两个映射是互逆的。 ∎

我们说， ${\bm{k}}$ -向量空间 $\mathfrak{h}$ 与线性映射 $[-,-]\colon\mathfrak{h}\otimes_{\bm{k}}\mathfrak{h}\to\mathfrak{h}$ 一起是一个右莱布尼兹代数，如果对于每个 $x\in\mathfrak{h}$ 映射 $y\mapsto[y,x]$ 是 $\mathfrak{h}$ 的推导，也就是说，如果正确的莱布尼兹恒等式 $[[x,y],z]=[[x,z],y]+[x,[y,z]]$ 对于所有 $x,y,z\in\mathfrak{h}$ 都成立。通过将 $\mathfrak{h}$ 与 $[x,x],x\in\mathfrak{h},$ 生成的理想值进行商，我们得到最大商李代数 $\mathfrak{h}\to\mathfrak{h}_{Lie}$ 。

Lemma 2.5。

令 $\mathfrak{h}$ 为右莱布尼兹代数。李代数 $\mathfrak{h}_{Lie}\cong\mathfrak{h}/I_{[x,x],x\in\mathfrak{h}}$ 的通用包络代数 $U(\mathfrak{h}_{Lie})$ 与 $T(\mathfrak{h}^{r})/I^{r}$ 同构，其中 $I^{r}$ 是 $T(\mathfrak{h}^{r})$ 中的理想由 $r_{[x,y]}-r_{x}\otimes r_{y}+r_{y}\otimes r_{x}$ 、 $x,y\in\mathfrak{h}$ 生成。

证明。

类似于引理2.4的证明。 ∎

3 $U(\mathfrak{h}_{{Lie}})$ 作为 Yetter–Drinfeld $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 模代数

在本节中，我们证明本文的中心结果：对于任意域 ${\bm{k}}$ 上的任意有限维莱布尼兹代数 $\mathfrak{h}$ ，通用包络代数 $U(\mathfrak{h}_{{Lie}})$ 为其最大商李代数 $\mathfrak{h}_{{Lie}}$ 是 $\mathfrak{h}$ 自同构代数群上正则函数Hopf代数 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 上的编织交换Yetter-Drinfeld模代数。这个结果立即意味着粉碎积代数 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\sharp U(\mathfrak{h}_{{Lie}})$ 在基代数 $U(\mathfrak{h}_{{Lie}})^{\mathrm{op}},U(\mathfrak{h}_{{Lie}})$ [11] 上具有 Hopf 代数体的结构。对于 $\mathfrak{h}$ 是李代数的情况，其结构在[15]中有详细说明。此外，该结构与[15]中其他更具几何性的示例相关。

3.1 霍普夫代数 $\mathcal{O}(\operatorname{Aut}(L))$

令 $(L,\cdot_{L})$ 为域 ${\bm{k}}$ 上的有限维 $n$ 的任何非关联代数。对于任意 $M,N\in\mathrm{GL}(L)$ [3] 而言，底层向量空间的一般线性群 $\mathrm{GL}(L)$ 是一个仿射代数群，其正则函数代数 $\mathcal{O}(\mathrm{GL}(L))$ 因此是一个通过 $\Delta(f)(M,N)=f(M\circ N)$ 和 $\epsilon(f)=f(1)$ 的霍普夫代数。对于 $L$ 的选定有序基 $\mathbf{b}=(x_{1},\ldots,x_{n})$ ，将矩阵解释为运算符相当于同构 $\iota_{\mathbf{b}}\colon\mathrm{GL}(n,{\bm{k}})\stackrel{{\scriptstyle\cong}}{{\to}}\mathrm{GL}(L)$ 。结构常量 $C_{ij}^{k}=C_{\mathbf{b}ij}^{k}$ 定义为

x_{i}\cdot x_{j}=\sum_{k=1}^{n}C_{\mathbf{b}ij}^{k}x_{k},\quad i,j\in\{1,\ldots,n\},

(3)

我们引入作为 $\mathcal{O}(\mathrm{GL}(n,{\bm{k}}))$ 正则函数 $U^{i}_{j}\colon M\mapsto M^{i}_{j},\bar{U}^{i}_{j}\colon M\mapsto(M^{-1})^{i}_{j}$ 的代数生成器，其中 $M^{i}_{j}$ 是矩阵 $M\in\mathrm{GL}(n,{\bm{k}})$ 的 $(i,j)$ 第 1 个条目。作为抽象代数， $\mathcal{O}(\mathrm{GL}(n,{\bm{k}}))$ 是 $n^{2}$ 生成器 $U^{i}_{j},\bar{U}^{i}_{j}$ 对 $n^{2}$ 关系 $\sum_{k}U^{i}_{k}\bar{U}^{k}_{j}=\delta^{i}_{j}$ 取模的自由代数。然后，余乘由 $\Delta(U^{i}_{j})=\sum_{k}U^{i}_{k}\otimes U^{k}_{j}$ 和 $\Delta(\bar{U}^{i}_{j})=\sum_{k}\bar{U}^{k}_{j}\otimes\bar{U}^{i}_{k}$ 与 counit $\epsilon(U^{i}_{j})=\epsilon(\bar{U}^{i}_{j})=\delta^{i}_{j}$ 给出。根据定义，如果 $\psi(a)\cdot_{L}\psi(b)=\psi(a\cdot_{L}b)$ 对于所有 $a,b\in L$ ，则元素 $\psi\in\mathrm{GL}(L)$ 是自同构。这些关系切出了子群 $\mathrm{Aut}(L)\subset\mathrm{GL}(L)$ 。要知道它是一个 Zariski 闭合子群，请写下 $a=\sum_{k}a^{k}x_{k}$ , $b=\sum_{k}b^{k}x_{k}$ ，并观察这个条件相当于 $\mathrm{GL}(n,{\bm{k}})$ 中的 $n^{3}$ 多项式方程组、

\sum_{r}C_{ij}^{r}\psi_{r}^{k}=\sum_{l,m}\psi_{i}^{l}\psi_{j}^{m}C_{lm}^{k}.

换句话说， $\iota_{\mathbf{b}}$ 会通过生成的理想 $I_{\operatorname{Aut}(L)\mathbf{b}}$ 与 $\mathcal{O}(\mathrm{GL}(n,{\bm{k}}))$ 的商 $\mathcal{O}(\operatorname{Aut}(L))_{\mathbf{b}}$ 来识别 $\iota_{\mathbf{b}}^{*}\colon\mathcal{O}(\operatorname{Aut}(L))\stackrel{{\scriptstyle\cong}}{{\to}}\mathcal{O}(\operatorname{Aut}(L))_{\mathbf{b}}$ 。通过关系

\sum_{l,m}C_{lm}^{k}U_{i}^{l}U_{j}^{m}=\sum_{r}U_{r}^{k}C_{ij}^{r}.

(4)

关于子群 $\mathrm{Aut}(L)\subset\mathrm{GL}(L)$ 的包含也是群的包含，这个理想是 Hopf， $\mathcal{O}(\mathrm{Aut}(L))$ 是子群上函数的商 Hopf 代数。我们还可以直接检查理想 $I_{\operatorname{Aut}(L)\mathbf{b}}$ 是否是Hopf理想。

用 $\mathcal{G}^{i}_{j}=\mathcal{G}^{i}_{\mathbf{b}j}=U^{i}_{j}+I_{\operatorname{Aut}(L)\mathbf{b}}$ 和 $\bar{\mathcal{G}}^{i}_{j}=\bar{\mathcal{G}}^{i}_{\mathbf{b}j}=\bar{U}^{i}_{j}+I_{\operatorname{Aut}(L)\mathbf{b}}$ 表示 $\mathcal{O}(\mathrm{Aut}(L))_{\mathbf{b}}$ 的生成器。如果 $T=(T^{i}_{j})_{i,j=1}^{n}$ 是到基 $\mathbf{b}^{\prime}=(x^{\prime}_{1},\ldots,x^{\prime}_{n})$ 、 $x^{\prime}_{j}=\sum_{i}T^{i}_{j}x_{i}$ 的转移矩阵，则 $\iota_{\mathbf{b}^{\prime}}^{-1}\circ\iota_{\mathbf{b}}\colon\mathrm{GL}(n,{\bm{k}})\to\mathrm{GL}(n,{\bm{k}})$ 、 $A\mapsto TAT^{-1}$ 。然后 $\mathcal{G}^{i}_{\mathbf{b}^{\prime}j}\mapsto\sum_{l,m}T^{i}_{l}\mathcal{G}^{l}_{\mathbf{b}m}{T^{-1}}^{m}_{j}$ 扩展到Hopf代数同构 $\theta_{\mathbf{b}\mathbf{b}^{\prime}}\colon\mathcal{O}(\operatorname{Aut}(L))_{\mathbf{b}^{\prime}}\to\mathcal{O}(\operatorname{Aut}(L))_{\mathbf{b}}$ 和 $\theta_{\mathbf{b}^{\prime}\mathbf{b}}=\theta_{\mathbf{b}\mathbf{b}^{\prime}}^{-1}$ 。这意味着 $\iota^{*-1}_{\mathbf{b^{\prime}}}(\mathcal{G}^{i}_{\mathbf{b}^{\prime}j})=\sum_{l,m}T^{i}_{l}\iota^{*-1}_{\mathbf{b}}(\mathcal{G}^{l}_{\mathbf{b}m}){T^{-1}}^{m}_{j}$ 在 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 内。当明确了 $\mathbf{b}$ 的基数是固定的时， $\iota_{\mathbf{b}}^{*-1}(\mathcal{G}^{i}_{\mathbf{b}j})\in\mathcal{O}(\operatorname{Aut}(L))$ 也将用 $\mathcal{G}^{i}_{\mathbf{b}j}$ 或简称为 $\mathcal{G}^{i}_{j}$ 表示。假设标识 $\iota_{\mathbf{b}}^{*-1}$ ，我们写

\mathcal{G}^{i}_{\mathbf{b}^{\prime}j}=\sum_{l,m}T^{i}_{l}\mathcal{G}^{l}_{\mathbf{b}m}{T^{-1}}^{m}_{j}.

(5)

假设标识 $\iota_{\mathbf{b}}^{*-1}$ ，如果 $\psi$ 是 $L$ 、 $\sum_{i}\mathcal{G}^{i}_{\mathbf{b}j}(\psi)x_{i}=\psi(x_{j})$ 的自同构。上述标准推理总结为以下命题。

Proposition 3.1.

令 $L$ 为有限维 $n$ 的非结合代数，具有 ${\bm{k}}$ 基 $\mathbf{b}$ 和结构常数 $C^{k}_{ij}=C^{k}_{\mathbf{b}ij}$ (3)。 $L$ 的自同构仿射代数群上正则函数的 Hopf 代数 $\mathcal{O}(\operatorname{Aut}(L))$ 是与具有 $2n^{2}$ 的交换代数 $\mathcal{O}(\operatorname{Aut}(L))_{\mathbf{b}}$ 同构的代数>-生成器 $\mathcal{G}^{i}_{j}$ 、 $\bar{\mathcal{G}}^{i}_{j}$ 、 $i,j\in\{1,\ldots,n\}$ 和定义关系

\sum_{l,m}C_{lm}^{k}\mathcal{G}_{i}^{l}\mathcal{G}_{j}^{m}=\sum_{r}\mathcal{G}_{r}^{k}C_{ij}^{r},\quad\sum_{k}\mathcal{G}^{i}_{k}\bar{\mathcal{G}}^{k}_{j}=\delta^{i}_{j}=\sum_{k}\bar{\mathcal{G}}^{i}_{k}\mathcal{G}^{k}_{j},\quad i,j,k\in\{1,\ldots,n\}.

(6)

作为直接结果，以下身份适用于所有 $i,j,k\in\{1,\ldots,n\}$ ：

\sum_{m,p}{\mathcal{G}}_{p}^{i}C_{mj}^{p}\bar{\mathcal{G}}_{k}^{m}=\sum_{m}C_{km}^{i}{\mathcal{G}}_{j}^{m},

(7)

\sum_{l,m}C_{lm}^{k}\bar{\mathcal{G}}_{i}^{l}\bar{\mathcal{G}}_{j}^{m}=\sum_{r}\bar{\mathcal{G}}_{r}^{k}C_{ij}^{r}.

(8)

同构 $\mathcal{O}(\operatorname{Aut}(L))_{\mathbf{b}}\cong\mathcal{O}(\operatorname{Aut}(L))$ 是 Hopf 代数同构，如果 $\mathcal{O}(\operatorname{Aut}(L))_{\mathbf{b}}$ 被赋予唯一的共乘 $\Delta$ 和 counit $\epsilon$ ，它们是满足的代数映射

\Delta(\mathcal{G}^{i}_{j})=\sum_{k}\mathcal{G}^{i}_{k}\otimes\mathcal{G}^{k}_{j},\quad\Delta(\bar{\mathcal{G}}^{i}_{j})=\sum_{k}\bar{\mathcal{G}}^{k}_{j}\otimes\bar{\mathcal{G}}^{i}_{k},\quad\epsilon(\mathcal{G}^{i}_{j})=\epsilon(\bar{\mathcal{G}}^{i}_{j})=\delta^{i}_{j},

(9)

并且对映体 $S$ 满足所有 $i,j\in\{1,\ldots,n\}$ 的 $S(\bar{\mathcal{G}}^{i}_{j})=\mathcal{G}^{i}_{j}$ 、 $S(\mathcal{G}^{i}_{j})=\bar{\mathcal{G}}^{i}_{j}$ 。

3.2Hopf配对

如果 $(B,\Delta,\epsilon)$ 是 ${\bm{k}}$ -双代数，则 $B$ 的微分是任何 ${\bm{k}}$ -线性映射 $D\colon B\to{\bm{k}}$ 使得莱布尼茨规则 $D(bc)=D(b)\epsilon(c)+\epsilon(b)D(c)$ 成立。换句话说，它是 $B$ 的 ${\bm{k}}_{\epsilon}$ 值派生，其中 ${\bm{k}}_{\epsilon}$ 是 ${\bm{k}}$ 以及简单的 $B$ -(bi) 来自 counit 的模块结构。在Hopf代数语言中，微分是受限对偶双代数 $B^{\circ}$ 中的基本元素。以下引理是标准且基本的。

Lemma 3.2。

令 $B$ 为任意双代数，其底层代数是具有一组自由生成元 $F_{B}$ 的自由酉交换代数。集合映射 $F_{B}\to{\bm{k}}$ 的向量空间 ${\bm{k}}^{F_{B}}$ 与扩展这些映射的 $B$ 微分空间之间存在规范同构。

假设 $V\in\operatorname{Vec}_{\bm{k}}$ 和 $C=V\oplus{\bm{k}}$ 是一个余代数，使得 $\Delta(1)=1\otimes 1$ 和 $\Delta(v)=1\otimes v+v\otimes 1$ 对于所有 $v\in V$ 。假设 $V$ 与 $B$ 配对，使得映射 $v\mapsto\langle v,-\rangle$ 核心限制为 $\phi_{1}(1)=1_{B^{\circ}}=\epsilon_{B}$ 的余代数映射 $\phi_{1}\colon C\to B^{\circ}$ 。那么 $\phi_{1}(v)$ 就是 $B$ 的微分。相反，根据引理 3.2，每个这样的 $\phi_{1}(v)$ 由 $\phi_{1}(v)|_{F_{B}}$ 确定，其中后者的值可以独立选择。

Proposition 3.3.

假设 $\mathfrak{h}$ 是一个左莱布尼兹 ${\bm{k}}$ 代数，它有一个向量空间基 $\mathbf{b}=(x_{1},\ldots,x_{n})$ ，结构常量 $C^{i}_{jk}$ 由 $[x_{j},x_{k}]=\sum_{i}C^{i}_{jk}x_{i}$ , $j,k\in\{1,\ldots,n\}$ 确定。在3.1小节的符号中， $\mathcal{G}^{i}_{j},\bar{\mathcal{G}}^{i}_{j}$ 、 $i,j\in\{1,\ldots,n\}$ 是代数 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 的生成元。还用 $\tilde{x}$ 表示 $\mathfrak{h}_{Lie}$ 中 $x\in\mathfrak{h}$ 的图像。

然后是一个明确且独特的 Hopf 配对

\langle-,-\rangle\colon U(\mathfrak{h}_{Lie})\otimes\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\to{\bm{k}}

这样对于所有 $i,j,k\in\{1,\ldots,n\}$ 都是 $\langle\tilde{x}_{k},\mathcal{G}^{i}_{j}\rangle=C^{i}_{kj}$ 。这种 Hopf 配对不依赖于基础的选择。

证明。

请注意， $C^{i}_{kj}=(\operatorname{ad}{x_{k}})^{i}_{j}$ 是 $\operatorname{ad}{x_{k}}$ 的第 $(i,j)$ 矩阵元素，因此对于所有 $\tilde{x}\in\mathfrak{h}$ 来说都是 $\langle\tilde{x},\mathcal{G}^{i}_{j}\rangle=(\operatorname{ad}x)^{i}_{j}$ 。

独特性。 如果存在这样的配对，则 $\forall x\in\mathfrak{h}$ , $0=\epsilon_{U(\mathfrak{h}_{{Lie}})}(\tilde{x})=\langle\tilde{x},1\rangle$ ，因此

	$\displaystyle 0$	$\displaystyle=\langle\tilde{x},\delta^{i}_{j}1\rangle=\langle\tilde{x},\sum_{m}\mathcal{G}^{i}_{m}\bar{\mathcal{G}}^{m}_{j}\rangle=\langle\Delta_{U(\mathfrak{h}_{\mathrm{Lie}})}(\tilde{x}),\sum_{m}\mathcal{G}^{i}_{m}\otimes\bar{\mathcal{G}}^{m}_{j}\rangle$
		$\displaystyle=\sum_{m}\langle\tilde{x},\mathcal{G}^{i}_{m}\rangle\langle 1,\bar{\mathcal{G}}^{m}_{j}\rangle+\langle 1,\mathcal{G}^{i}_{m}\rangle\langle\tilde{x},\bar{\mathcal{G}}^{m}_{j}\rangle=\sum_{m}(\operatorname{ad}\tilde{x})^{i}_{m}\epsilon(\bar{\mathcal{G}}^{m}_{j})+\epsilon(\mathcal{G}^{i}_{m})\langle\tilde{x},\bar{\mathcal{G}}^{i}_{m}\rangle.$

因此， $\langle\tilde{x},\bar{\mathcal{G}}^{i}_{j}\rangle=-\sum_{m}(\operatorname{ad}{\tilde{x}})^{i}_{m}\epsilon(\bar{\mathcal{G}}^{m}_{j})=-(\operatorname{ad}{\tilde{x}})^{i}_{j}$ ，特别是 $\langle\tilde{x}_{k},\bar{\mathcal{G}}^{i}_{j}\rangle=-C^{i}_{kj}$ 。

表示 $\mathcal{O}^{1+}:=\mathrm{Span}_{\bm{k}}\{\mathcal{G}^{i}_{j}\}_{i,j=1}^{n}\subset\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 。通过 (9)， $\Delta(\mathcal{O}^{1+})\in\mathcal{O}^{1+}\otimes\mathcal{O}^{1+}$ ，因此 $\langle\tilde{x}_{k_{1}}\cdots\tilde{x}_{k_{m}},\mathcal{G}^{i}_{j}\rangle=\langle\tilde{x}_{k_{1}}\otimes\cdots\otimes\tilde{x}_{k_{m}},\Delta^{m-1}(\mathcal{G}^{i}_{j})\rangle$ 是 $\langle\tilde{x}_{k},\mathcal{G}^{r}_{s}\rangle$ 形式的表达式中的多项式。类似地， $\langle\tilde{x}_{k_{1}}\cdots\tilde{x}_{k_{m}},\bar{\mathcal{G}}^{i}_{j}\rangle$ 由 $\langle\tilde{x}_{k},\bar{\mathcal{G}}^{r}_{s}\rangle$ 确定。

对于任何 $v\in U(\mathfrak{h}_{Lie})$ 、 $\langle v,\tilde{\mathcal{G}}^{i_{1}}_{j_{1}}\cdots\tilde{\mathcal{G}}^{i_{m}}_{j_{m}}\rangle=\langle\Delta^{m-1}(v),\tilde{\mathcal{G}}^{i_{1}}_{j_{1}}\otimes\cdots\otimes\tilde{\mathcal{G}}^{i_{m}}_{j_{m}}\rangle$ ，其中每个 $\tilde{\mathcal{G}}^{i_{p}}_{j_{p}}$ 代表 $\mathcal{G}^{i_{p}}_{j_{p}}$ 或 $\bar{\mathcal{G}}^{i_{p}}_{j_{p}}$ 。展开 $\Delta^{m-1}(v)$ 后，右侧以 $\langle\tilde{x}_{k_{1}}\cdots\tilde{x}_{k_{m}},\tilde{\mathcal{G}}^{i}_{j}\rangle$ 形式的表达式编写。因此，如果存在这样的配对，那么它是唯一的。

存在。 我们首先考虑 $2n^{2}$ 生成器上的自由交换代数 $B_{n}$ ，仍然表示为 $\mathcal{G}^{i}_{j},\bar{\mathcal{G}}^{i}_{j}$ ，并具有相同的规则 (9)对于双代数结构（这是各种任意 $n\times n$ 矩阵对上的正则函数的双代数）。 $\mathfrak{h}^{l}$ 与 $B$ 的唯一配对是通过引理3.2扩展 $\langle l_{x_{k}},\mathcal{G}^{i}_{j}\rangle=C^{i}_{kj}$ , $\langle l_{x_{k}},\bar{\mathcal{G}}^{i}_{j}\rangle=-C^{i}_{kj}$ 通过莱布尼兹规则，要求 $\langle l_{x_{k}},-\rangle$ 是 $B_{n}$ 的微分。现在我们想要证明 $\mathfrak{h}^{l}$ 和商 Hopf 代数 $B_{n}/I=\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 之间存在诱导配对；泛函 $\langle l_{x_{k}},-\rangle$ 仍然对商进行微分。我们需要证明仅限于 $\mathfrak{h}^{l}\otimes I$ 的配对消失了。关系的双理想 $I$ 具有 $\sum_{l,m}C_{lm}^{k}\mathcal{G}_{i}^{l}\mathcal{G}_{j}^{m}-\mathcal{G}_{r}^{k}C_{ij}^{r}$ 、 $\sum_{k}\mathcal{G}^{i}_{k}\bar{\mathcal{G}}^{k}_{j}-\delta^{i}_{j}$ 或 $\sum_{k}\bar{\mathcal{G}}^{i}_{k}\mathcal{G}^{k}_{j}-\delta^{i}_{j}$ 形式的所有元素的生成集 $K_{I}$ >。观察所有 $s\in K_{I}$ 的 $\epsilon(s)=0$ 。因此，对于微分 $D=\langle l_{x_{k}},-\rangle$ ，我们获得所有 $b\in B$ 和 $s\in K_{I}$ 的 $D(bs)=D(b)\epsilon(s)+\epsilon(b)D(s)=0$ 。因此，如果配对在 $K_{I}$ 上消失，那么它也会在 $K_{I}$ 生成的理想上消失。

因此，我们需要检查所有 $i,j,k,p\in\{1,\ldots,n\}$ 的 $\langle l_{x_{p}},\sum_{r,m}C_{rm}^{k}{\mathcal{G}}_{i}^{r}\mathcal{G}_{j}^{m}\rangle=\langle l_{x_{p}},\sum_{n}\mathcal{G}_{n}^{k}C_{ij}^{n}\rangle$ 和 $\langle l_{x_{p}},\sum_{j}\mathcal{G}_{j}^{i}\bar{\mathcal{G}}_{k}^{j}\rangle=\langle l_{x_{p}},\delta_{k}^{i}\rangle=\langle l_{x_{p}},\sum_{j}\bar{\mathcal{G}}_{j}^{i}\mathcal{G}_{k}^{j}\rangle$ 。第一个方程是

\sum_{r}C^{k}_{rj}C^{r}_{pi}+\sum_{m}C_{im}^{k}C^{m}_{pj}=\sum_{n}C^{k}_{pn}C^{n}_{ij},

就结构常数而言，这是左莱布尼兹恒等式 $[[x_{p},x_{i}],x_{j}]+[x_{i},[x_{p},x_{j}]]=[x_{p},[x_{i},x_{j}]]$ 。通过使用微分规则，第二个方程就是 $\langle l_{x_{p}},{\mathcal{G}}_{k}^{i}\rangle+\langle l_{x_{p}},\bar{\mathcal{G}}_{k}^{i}\rangle=0$ ，根据定义它适用于生成器。因此，存在一个明确定义的配对 $(\mathfrak{h}^{l}\oplus{\bm{k}})\otimes\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\to{\bm{k}}$ ，使得所有 $f\in\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 和 $\langle l_{x},-\rangle$ 的 $\langle 1,f\rangle=\epsilon(f)$ 是 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 的微分t4> 对于所有 ${x}\in\mathfrak{h}$ ，即

\langle l_{x},fg\rangle=\langle l_{x},f\rangle\epsilon(g)+\epsilon(f)\langle l_{x},g\rangle,\quad\forall x\in\mathfrak{h},\forall f,g\in\mathcal{O}(\operatorname{Aut}(\mathfrak{h})).

(10)

这意味着 $\mathfrak{h}^{l}\oplus{\bm{k}}$ 配备了共乘 $\Delta$ ，使得 $\Delta(l_{x})=1\otimes l_{x}+l_{x}\otimes 1$ 和 $\epsilon(l_{x})=0$ 且配对遵循 $\Delta$ ：在2.1小节的表示法中， $c\mapsto\langle c,-\rangle$ 限制为联合代数映射 $\phi_{1}\colon\mathfrak{h}^{l}\oplus{\bm{k}}\to\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))^{\circ}$ 发送 $1$ 到 $1_{\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))^{\circ}}=\epsilon_{\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))}$ 通过引理2.2以及Hopf配对和双代数映射 $T(\mathfrak{h}^{l})\to\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))^{\circ}$ 之间的等价，我们将该配对扩展到唯一的Hopf配对 $T(\mathfrak{h}^{l})\otimes\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\to{\bm{k}}$ ；它是由公式确定的

\langle l_{x_{i_{1}}}\cdots l_{x_{i_{m}}},f\rangle=\langle l_{x_{i_{1}}}\otimes\cdots\otimes l_{x_{i_{m}}},\Delta^{m-1}(f)\rangle.

用 $I^{l}$ 表示由 $e_{x,y}:=l_{[x,y]}-l_{x}\otimes l_{y}+l_{y}\otimes l_{x}$ 、 $x,y\in\mathfrak{h}$ 生成的 $T(\mathfrak{h}^{l})$ 中的理想。由引理2.4, $U(\mathfrak{h}_{Lie})\cong T(\mathfrak{h}^{l})/I^{l}$ 。此外， $\Delta_{T(\mathfrak{h}^{l})}(e_{x,y})=1\otimes e_{x,y}+e_{x,y}\otimes 1$ 和 $\epsilon(e_{x,y})=0$ ，因此 $I^{l}$ 是双理想的。显然， $U(\mathfrak{h}_{Lie})\cong T(\mathfrak{h}^{l})/I^{l}$ 也是 Hopf 代数。

我们现在检查 $I^{l}$ 的理想生成器 $e_{x,y}$ 是否与 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 的每个元素配对为 $0$ 。关系 $\langle l_{[x_{k},x_{n}]}+l_{x_{n}}\otimes l_{x_{k}},\mathcal{G}^{i}_{j}\rangle=\langle l_{x_{k}}\otimes l_{x_{n}},\mathcal{G}^{i}_{j}\rangle$ 等价于 $\sum_{m}C_{kn}^{m}C^{i}_{mj}+\sum_{p}C^{i}_{np}C^{p}_{kj}=\sum_{p}C^{i}_{kp}C^{p}_{nj},$ ，它重申了左莱布尼兹恒等式 $[[x_{k},x_{n}],x_{j}]+[x_{n},[x_{k},x_{j}]]=[x_{k},[x_{n},x_{j}]]$ 。类似地， $\langle l_{[x_{k},x_{n}]}+l_{x_{n}}\otimes l_{x_{k}},\bar{\mathcal{G}}^{i}_{j}\rangle=\langle l_{x_{k}}\otimes l_{x_{n}},\bar{\mathcal{G}}^{i}_{j}\rangle$ 计算出相同的身份。由于 $I$ 是双ideal，并且 $\mathcal{O}^{1}:=\mathrm{Span}_{\bm{k}}\{\mathcal{G}^{i}_{j},\bar{\mathcal{G}}^{i}_{j}\}_{i,j=1}^{n}$ 满足 $\Delta_{\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))}(\mathcal{O}^{1})\subset\mathcal{O}^{1}\otimes\mathcal{O}^{1}$ ，我们可以对 $K_{H}=\mathcal{O}^{1}$ 应用定理 2.1 第 (ii) 部分，从而得出结论：配对在整个 $I\otimes\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 上消失。因此，存在满足 $\langle\tilde{x}_{k},\mathcal{G}^{i}_{j}\rangle=C^{i}_{kj}$ 的明确定义的Hopf配对 $U(\mathfrak{h}_{Lie})\otimes\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\to{\bm{k}}$ 。

为了说明配对并不依赖于基 $\mathbf{b}$ 的选择，请注意我们是从开始，通过 $\langle l_{x},\mathcal{G}^{i}_{\mathbf{b}j}\rangle_{\mathbf{b}}=\operatorname{ad}(x)_{\mathbf{b}j}^{i}$ 和 $\langle l_{x},\bar{\mathcal{G}}^{i}_{\mathbf{b}j}\rangle_{\mathbf{b}}=-\operatorname{ad}(x)^{i}_{\mathbf{b}j}$ 在 $\mathfrak{h}^{l}\otimes\mathrm{Span}_{\bm{k}}\{\mathcal{G}_{\mathbf{b}j}^{i},\bar{\mathcal{G}}_{\mathbf{b}j}^{i}\}_{i,j=1}^{n}\subset\mathfrak{h}^{l}\otimes B_{n}$ 上定义的配对 $\langle-,-\rangle_{\mathbf{b}}$ 。对于数字矩阵 $T$ 、 $\langle l_{x},\mathcal{G}^{i}_{\mathbf{b}^{\prime}j}\rangle_{\mathbf{b}^{\prime}}=(\operatorname{ad}(x)_{\mathbf{b}^{\prime}})^{i}_{j}=\sum_{m,l}T^{i}_{m}(\operatorname{ad}(x)_{\mathbf{b}})_{l}^{m}{T^{-1}}^{l}_{j}=\sum_{m,l}T^{i}_{m}\langle l_{x},\mathcal{G}_{\mathbf{b}l}^{m}\rangle_{\mathbf{b}}{T^{-1}}^{l}_{j}=\langle l_{x},(T\mathcal{G}_{\mathbf{b}}T^{-1})^{i}_{j}\rangle_{\mathbf{b}}=\langle l_{x},\theta_{\mathbf{b}\mathbf{b}^{\prime}}(\mathcal{G}_{\mathbf{b^{\prime}}j}^{i})\rangle_{\mathbf{b}}$ 的基数变化。对于 $\bar{\mathcal{G}}$ 也是如此。诱导配对 $U(\mathfrak{h}_{Lie})\otimes\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\to{\bm{k}}$ 由 $\mathfrak{h}^{l}\otimes\mathrm{Span}_{\bm{k}}\{\mathcal{G}_{\mathbf{b}j}^{i},\bar{\mathcal{G}}_{\mathbf{b}j}^{i}\}_{i,j=1}^{n}$ 上的配对和扩展的摘要属性唯一定义。因此，它尊重第二个参数中的双代数同构 $\theta_{\mathbf{b}\mathbf{b}^{\prime}}$ 。一旦我们从 $B_{n}$ 向下商到 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ , $\theta_{\mathbf{b}\mathbf{b}^{\prime}}$ 就成为标识 $\iota_{\mathbf{b}}^{-1*}\circ\iota_{\mathbf{b}^{\prime}}^{*}$ （扩展 (5)）），产生不变性。 ∎

Proposition 3.4.

令 $\mathfrak{h}$ 为右莱布尼兹 ${\bm{k}}$ 代数， $\mathbf{b}=(y_{1},\ldots,y_{n})$ 为 $\mathfrak{h}$ 的 ${\bm{k}}$ 基。对于 $j,k\in\{1,\ldots,n\}$ ，用 $C^{i}_{jk}$ 表示从 $[y_{j},y_{k}]=C^{i}_{jk}y_{i}$ 确定的结构常数。令 $\mathcal{G}^{i}_{j},\bar{\mathcal{G}}^{i}_{j},\ i,j\in\{1,\ldots,n\}$ 为 3.1 小节中代数 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 的生成元。用 $\tilde{y}$ 表示 $y\in\mathfrak{h}$ 在 $\mathfrak{h}_{Lie}$ 中的图像。

然后是一个明确且独特的 Hopf 配对

\langle-,-\rangle\colon U(\mathfrak{h}_{Lie})\otimes\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\to{\bm{k}}

这样对于所有 $i,j,k\in\{1,\ldots,n\}$ 都是 $\langle\tilde{y}_{k},\mathcal{G}^{i}_{j}\rangle=-C^{i}_{jk}$ 。这种 Hopf 配对不依赖于基础的选择。

证明。

请注意 $\langle\tilde{y}_{k},\mathcal{G}^{i}_{j}\rangle=-(\operatorname{ad}_{r}y_{k})^{i}_{j}$ ，其中 $\operatorname{ad}_{r}y\colon z\mapsto[z,y]$ 是右伴随动作；因此与命题3.3的主要区别在于换边。

整个证明类似于命题3.3的证明，因此我们跳过它。首先观察到，如果配对存在，则 $\langle\tilde{y}_{k},\bar{\mathcal{G}}^{i}_{j}\rangle_{\mathbf{b}}=C^{i}_{\mathbf{b}jk}$ 必须成立。我们将引理 2.5 中的 $U(\mathfrak{h}_{Lie})$ 表示为 $T(\mathfrak{h}^{r})/I^{r}$ 。命题 3.3 中归结为左莱布尼兹恒等式的元素 $l_{x},x\in\mathfrak{h},$ 的关键计算现在被元素 $r_{y},y\in\mathfrak{h},$ 的计算所取代（来自引理 2.5)并归结为正确的莱布尼兹恒等式。例如， $\langle r_{y_{p}},\sum_{s,m}C_{sm}^{k}{\mathcal{G}}_{i}^{s}\mathcal{G}_{j}^{m}\rangle=\langle r_{y_{p}},\sum_{n}\mathcal{G}_{n}^{k}C_{ij}^{n}\rangle$ 是

\sum_{s}C^{k}_{sj}C^{s}_{ip}+\sum_{m}C_{im}^{k}C^{m}_{jp}=\sum_{n}C^{k}_{np}C^{n}_{ij},

这就是莱布尼茨恒等式 $[[y_{i},y_{p}],y_{j}]+[y_{i},[y_{j},y_{p}]]=[[y_{i},y_{j}],y_{p}]$ 。 ∎

Remark 3.5.

（配对的几何原点。）如果 ${\bm{k}}$ 是 $\mathbb{R}$ 或 $\mathbb{C}$ 并且 $\mathfrak{h}$ 是 ${\bm{k}}$ 上的李代数 $\mathfrak{g}$ >，则 $\operatorname{Aut}(\mathfrak{g})$ 是线性李群，其李代数为 $\operatorname{Der}(\mathfrak{g})$ 。函数 $f\in\mathcal{O}(\operatorname{Aut}(\mathfrak{g}))$ 在 $\operatorname{Aut}(\mathfrak{g})$ 的单元 $\mathrm{id}$ 处的微分 $df_{\mathrm{id}}$ 是 $T_{\mathrm{id}}(\operatorname{Aut}(\mathfrak{g}))\cong\operatorname{Der}(\mathfrak{g})$ 上的线性泛函，因此 $df_{\mathrm{id}}\in\operatorname{Der}(\mathfrak{g})^{*}$ 。让 $\operatorname{ad}X\colon\mathfrak{g}\to\mathfrak{g}$ , $\operatorname{ad}X\colon Z\mapsto[X,Z]$ 。然后 $\operatorname{ad}X\in\operatorname{Der}(\mathfrak{g})$ 。

我们证明了命题3.3中的配对 $U(\mathfrak{g})\otimes\mathcal{O}(\operatorname{Aut}(\mathfrak{g}))\to{\bm{k}}$ ，当 ${\bm{k}}$ 是 $\mathbb{R}$ 或 $\mathbb{C}$ 时 $\mathfrak{h}$ 是一个李代数 $\mathfrak{g}$ ，其定义域的子集 $\mathfrak{g}\otimes\mathcal{O}(\operatorname{Aut}(\mathfrak{g}))$ 与定义的配对 $\langle-,-\rangle^{\prime}\colon\mathfrak{g}\otimes\mathcal{O}(\operatorname{Aut}(\mathfrak{g}))\to{\bm{k}}$ 一致

\langle X,f\rangle^{\prime}=df_{\mathrm{id}}(\operatorname{ad}X),\quad\text{ for }X\in\mathfrak{g}\text{ and }f\in\mathcal{O}(\operatorname{Aut}(\mathfrak{g})).

首先我们检查确实 $d(\mathcal{G}^{i}_{j})_{\mathrm{id}}(\operatorname{ad}X_{k})=C^{i}_{kj}.$ 指数映射 $\operatorname{exp}$ 将 $\operatorname{Der}(\mathfrak{g})$ 中 $0$ 的邻域映射到 $\operatorname{Aut}(\mathfrak{g})$ 中 $\mathrm{id}$ 的邻域。我们有那个

	$\displaystyle d(\mathcal{G}^{i}_{j})_{\mathrm{id}}(\operatorname{ad}X_{k})$	$\displaystyle=(\operatorname{ad}X_{k})(\mathcal{G}^{i}_{j})(\mathrm{id})=\lim_{t\to 0}\frac{d}{dt}\,\mathcal{G}^{i}_{j}(\exp(t\operatorname{ad}X_{k}))$
		$\displaystyle=\lim_{t\to 0}\frac{d}{dt}\,\mathcal{G}^{i}_{j}\left(\sum_{r=0}^{\infty}\frac{(t\operatorname{ad}X_{k})^{r}}{r!}\right)=\lim_{t\to 0}\frac{d}{dt}\!\left(\sum_{r=0}^{\infty}\frac{(t\operatorname{ad}X_{k})^{r}}{r!}\right)^{i}_{j}$
		$\displaystyle=\lim_{t\to 0}\left(\sum_{r=1}^{\infty}\frac{t^{r-1}(\operatorname{ad}X_{k})^{r}}{(r-1)!}\right)^{i}_{j}=(\operatorname{ad}X_{k})^{i}_{j}=C^{i}_{kj}.$

类似地，可以通过使用 $\exp(t\operatorname{ad}X_{k})^{-1}=\exp(t\operatorname{ad}(-X_{k}))$ 来检查 $d(\bar{\mathcal{G}}^{i}_{j})_{\mathrm{id}}(\operatorname{ad}X_{k})=-C^{i}_{kj}$ 。根据线性，我们得出结论，所有 $X\in\mathfrak{g}$ 和生成器 $\mathcal{G}^{i}_{j},\bar{\mathcal{G}}^{i}_{j},i,j\in\{1,\ldots,n\}$ 的配对都一致。由于配对还具有以下属性

\langle X,fg\rangle^{\prime}=\langle X\otimes 1+1\otimes X,f\otimes g\rangle^{\prime},\text{ for }X\in\mathfrak{g}\text{ and }f,g\in\mathcal{O}(\operatorname{Aut}(\mathfrak{g})),

我们得出结论，他们同意所有 $X\in\mathfrak{g}$ 和 $f\in\mathcal{O}(\operatorname{Aut}(\mathfrak{g}))$ 。

3.3 主要定理

Theorem 3.6.

令 $\mathfrak{h}$ 为左莱布尼兹 ${\bm{k}}$ 代数，其向量空间基 $\mathbf{b}=(x_{1},\ldots,x_{n})$ 和由 $[x_{i},x_{j}]=\sum_{k}C_{ij}^{k}x_{k}$ 确定的结构常数 $C_{ij}^{k}$ >、 $i,j\in\{1,\ldots,n\}.$ 令 $\mathcal{G}^{i}_{j},\bar{\mathcal{G}}^{i}_{j},\ i,j\in\{1,\ldots,n\}$ 为 3.1 小节中代数 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 的生成元。用 $\tilde{x}$ 表示 $x\in\mathfrak{h}$ 在 $\mathfrak{h}_{Lie}$ 中的图像。那么以下内容成立。

（我）

命题 3.3 中的 Hopf 配对 $U(\mathfrak{h}_{Lie})\otimes\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\to{\bm{k}}$ 诱导正确的 Hopf 作用 $\blacktriangleleft\colon U(\mathfrak{h}_{Lie})\otimes\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\to U(\mathfrak{h}_{Lie})$ 通过公式

$\tilde{x}\blacktriangleleft f:=\langle{\tilde{x}}_{(1)},f\rangle{\tilde{x}}_{(2)},\quad\text{ for }\tilde{x}\in U(\mathfrak{h}_{Lie})\text{ and }f\in\mathcal{O}(\operatorname{Aut}(\mathfrak{h})),$ (11)

进一步推导出粉碎积代数的结构 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\sharp U(\mathfrak{h}_{Lie})$ 。此动作和粉碎产品不取决于基础的选择 $\mathbf{b}$ 。
(二)

存在唯一的 ${\bm{k}}$ -线性单位反乘映射

$\lambda\colon U(\mathfrak{h}_{Lie})\to\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\sharp U(\mathfrak{h}_{Lie})$

这样

$\lambda(\tilde{x}_{j})=\sum_{i}\bar{\mathcal{G}}_{j}^{i}\sharp\tilde{x}_{i},\quad\text{ for }j\in\{1,\ldots,n\}.$ (12)

地图 $\lambda$ 不依赖于基础的选择 $\mathbf{b}$ 。
(三)

$\operatorname{Im}\lambda$ 的元素与 $1\sharp U(\mathfrak{h}_{Lie})$ 的元素在 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\sharp U(\mathfrak{h}_{Lie})$ 中换向。
（四）

地图 $\lambda$ 是左 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ -coaction on $U(\mathfrak{h}_{Lie})$ .
（五）

$(U(\mathfrak{h}_{Lie}),\blacktriangleleft,\lambda)$ 是 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 上的辫状交换右左 Yetter–Drinfeld 模代数。

证明。

(i) 每个 Hopf 配对都会以这种方式引发正确的 Hopf 动作。根据命题3.3，配对（因此也是动作）不依赖于基础的选择。

(ii) 我们证明这样的 $\lambda$ 存在。我们首先定义辅助映射 $\tilde{\lambda}$ 为线性映射 $\mathfrak{h}^{l}\to\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\sharp U(\mathfrak{h}_{Lie})$ ，使得 $\tilde{\lambda}(l_{x_{j}})=\sum_{i}\bar{\mathcal{G}}_{j}^{i}\sharp\tilde{x}_{i}$ 为 $j\in\{1,\ldots,n\}$ ，然后通过反乘法展开为 $\tilde{\lambda}\colon T(\mathfrak{h}^{l})\to\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\sharp U(\mathfrak{h}_{Lie})$ ，接着我们检验 $\tilde{\lambda}(I^{l})=\{0\}$ ，其中 $I^{l}$ 是 $T(\mathfrak{h}^{l})$ 中由 $l_{[x,y]}-l_{x}\otimes l_{y}+l_{y}\otimes l_{x},$ $x,y\in\mathfrak{h}$ 生成的理想。我们计算

	$\displaystyle\tilde{\lambda}(l_{x_{i}}\otimes l_{x_{j}})$	$\displaystyle=\tilde{\lambda}(l_{x_{j}})\cdot\tilde{\lambda}(l_{x_{i}})=(\sum_{k}\bar{\mathcal{G}}_{j}^{k}\sharp\tilde{x}_{k})\cdot(\sum_{m}\bar{\mathcal{G}}_{i}^{m}\sharp\tilde{x}_{m})=\sum_{k,m,p}\bar{\mathcal{G}}_{j}^{k}\bar{\mathcal{G}}^{p}_{i}(\tilde{x}_{k}\blacktriangleleft\bar{\mathcal{G}}_{p}^{m})\tilde{x}_{m}$
		$\displaystyle=\sum_{k,m,p}\bar{\mathcal{G}}_{j}^{k}\bar{\mathcal{G}}^{p}_{i}\sharp(\delta_{p}^{m}\tilde{x}_{k}-C_{kp}^{m})\tilde{x}_{m}=\sum_{k,m}\bar{\mathcal{G}}_{j}^{k}\bar{\mathcal{G}}^{m}_{i}\sharp\tilde{x}_{k}\tilde{x}_{m}-\sum_{k,m,p}\bar{\mathcal{G}}_{j}^{k}\bar{\mathcal{G}}^{p}_{i}C_{kp}^{m}\sharp\tilde{x}_{m}$
		$\displaystyle\stackrel{{\scriptstyle(\ref{eq:CbarGbarG})}}{{=}}\sum_{k,m}\bar{\mathcal{G}}_{j}^{k}\bar{\mathcal{G}}^{m}_{i}\sharp\tilde{x}_{k}\tilde{x}_{m}-\sum_{k,m}\bar{\mathcal{G}}_{m}^{k}C_{ji}^{m}\sharp\tilde{x}_{k}.$

类似地， $\tilde{\lambda}(l_{x_{j}}\otimes l_{x_{i}})=\sum_{k,m}\bar{\mathcal{G}}_{i}^{m}\bar{\mathcal{G}}^{k}_{j}\sharp\tilde{x}_{m}\tilde{x}_{k}-\sum_{k,m}\bar{\mathcal{G}}_{k}^{m}C_{ij}^{k}\sharp\tilde{x}_{m}$ 。减去后，

	$\displaystyle\tilde{\lambda}(l_{x_{i}}\otimes l_{x_{j}}-l_{x_{j}}\otimes l_{x_{i}})$	$\displaystyle=\sum_{k,m}\bar{\mathcal{G}}_{i}^{m}\bar{\mathcal{G}}^{k}_{j}\sharp[\tilde{x}_{k},\tilde{x}_{m}]-\sum_{k,m}\bar{\mathcal{G}}_{m}^{k}C_{ji}^{m}\sharp\tilde{x}_{k}+\sum_{k,m}\bar{\mathcal{G}}_{k}^{m}C_{ij}^{k}\sharp\tilde{x}_{m}$
		$\displaystyle=\sum_{k,m}\bar{\mathcal{G}}_{i}^{m}\bar{\mathcal{G}}^{k}_{j}\sharp\widetilde{[x_{k},x_{m}]}-\sum_{k,m}\bar{\mathcal{G}}_{m}^{k}C_{ji}^{m}\sharp\tilde{x}_{k}+\sum_{k,m}\bar{\mathcal{G}}_{k}^{m}C_{ij}^{k}\sharp\tilde{x}_{m}$
		$\displaystyle=\sum_{k,m}\bar{\mathcal{G}}_{i}^{m}\bar{\mathcal{G}}^{k}_{j}C_{km}^{p}\sharp\tilde{x}_{p}-\sum_{k,m}\bar{\mathcal{G}}_{m}^{k}C_{ji}^{m}\sharp\tilde{x}_{k}+\sum_{k,m}\bar{\mathcal{G}}_{k}^{m}C_{ij}^{k}\sharp\tilde{x}_{m}$
		$\displaystyle=\sum_{m}C_{ji}^{m}\bar{\mathcal{G}}_{m}^{p}\sharp\tilde{x}_{p}-\sum_{k,m}\bar{\mathcal{G}}_{m}^{k}C_{ji}^{m}\sharp\tilde{x}_{k}+\sum_{k,m}\bar{\mathcal{G}}_{k}^{m}C_{ij}^{k}\sharp\tilde{x}_{m}$
		$\displaystyle=\sum_{k,m}\bar{\mathcal{G}}_{k}^{m}C_{ij}^{k}\sharp\tilde{x}_{m}.$

另一方面， $\tilde{\lambda}(l_{[x_{i},x_{j}]})=\tilde{\lambda}(\sum_{p}C^{p}_{ij}l_{x_{p}})=\sum_{p,m}C_{ij}^{p}\bar{\mathcal{G}}_{p}^{m}\sharp\tilde{x}_{m}.$ 等式 $\tilde{\lambda}(l_{x_{i}}\otimes l_{x_{j}}-l_{x_{j}}\otimes l_{x_{i}})=\tilde{\lambda}(l_{[x_{i},x_{j}]})$ 现已得到证明。因此，通过将 $\tilde{\lambda}$ 的域与理想的 $I^{l}$ 进行引用，我们得出一个明确定义的映射 $\lambda\colon U(\mathfrak{h}_{Lie})\to\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\sharp U(\mathfrak{h}_{Lie})$ 。此外，我们清楚地注意到

\lambda(vz)=\lambda(z)\lambda(v),\quad\text{ for all }v,z\in U(\mathfrak{h}_{Lie}).

(13)

为了看出由 $\lambda_{\mathbf{b}}(\tilde{x}_{j})=\sum_{i}\bar{\mathcal{G}}_{\mathbf{b}j}^{i}\sharp\tilde{x}_{i}$ (12) 定义的 $\lambda=\lambda_{\mathbf{b}}$ 不依赖于基础 $\mathbf{b}$ ，我们计算 $\lambda_{\mathbf{b}^{\prime}}(\tilde{x^{\prime}}_{j})=\sum_{s}\bar{\mathcal{G}}^{s}_{\mathbf{b^{\prime}}j}\sharp\tilde{x^{\prime}}_{s}=\sum_{s,i}\bar{\mathcal{G}}^{s}_{\mathbf{b^{\prime}}j}\sharp T^{i}_{s}\tilde{x}_{i}=\sum_{i,j,r,s}T^{i}_{l}{T^{-1}}^{l}_{s}\bar{\mathcal{G}}^{s}_{\mathbf{b}^{\prime}r}T^{r}_{j}\sharp\tilde{x}_{i}\stackrel{{\scriptstyle(\ref{eq:G'TGTm})}}{{=}}\sum_{i,l,m,s}T^{i}_{l}\bar{\mathcal{G}}^{l}_{\mathbf{b}j}\sharp\tilde{x}_{i}=\sum_{s}T^{i}_{j}\lambda_{\mathbf{b}}(\tilde{x}_{i})=\lambda_{\mathbf{b}}(\sum_{s}T^{i}_{j}\tilde{x}_{i})=\lambda_{\mathbf{b}}(\widetilde{x^{\prime}}_{j})$ .

(iii) 首先，我们检查所有 $j,k\in\{1,\ldots,n\}$ 的 $\lambda(\tilde{x}_{j})$ 和 $\tilde{x}_{k}$ 是否通勤。

	$\displaystyle\tilde{x}_{k}\cdot\lambda(\tilde{x}_{j})$	$\displaystyle=\tilde{x}_{k}\cdot\sum_{i}\bar{\mathcal{G}}_{j}^{i}\sharp\tilde{x}_{i}=\sum_{i,m}\bar{\mathcal{G}}^{m}_{j}\sharp(\tilde{x}_{k}\blacktriangleleft\bar{\mathcal{G}}_{m}^{i})\tilde{x}_{i}$
		$\displaystyle=\sum_{i,m}\bar{\mathcal{G}}^{m}_{j}\sharp(\delta_{m}^{i}\tilde{x}_{k}+C_{mk}^{i})\tilde{x}_{i}=\sum_{m}\bar{\mathcal{G}}^{m}_{j}\sharp(\tilde{x}_{k}\tilde{x}_{m}+[\tilde{x}_{m},\tilde{x}_{k}])=$
		$\displaystyle=\sum_{m}\bar{\mathcal{G}}^{m}_{j}\sharp\tilde{x}_{m}\tilde{x}_{k}=\lambda(\tilde{x}_{j})\cdot\tilde{x}_{k}.$

通过使用(13)，很容易对 $U(\mathfrak{h}_{Lie})$ 的所有元素进行归纳证明，

z\cdot\lambda(v)=\lambda(v)\cdot z,\quad\text{ for all }v,z\in U(\mathfrak{h}_{Lie}).

(14)

(iv) 生成器 $\tilde{x}_{j}$ 、 $j\in\{1,\ldots,n\}$ 上的共同作用公理 $(\Delta\otimes\mathrm{id})\circ\lambda=(\mathrm{id}\otimes\lambda)\circ\lambda$ 从定义 (9) 和 (12)。它两边的计算结果都是 $\sum_{k,i}\bar{\mathcal{G}}_{j}^{k}\otimes\bar{\mathcal{G}}_{k}^{i}\sharp\tilde{x}_{i}$ 。现在足以证明，如果共同作用公理对于 $v,z\in U(\mathfrak{h}_{Lie})$ 成立，那么对于产品 $vz\in U(\mathfrak{h}_{Lie})$ 也成立。我们计算

\displaystyle\lambda(zv)

\displaystyle\stackrel{{\scriptstyle(\ref{eq:antimult})}}{{=}}\lambda(v)\lambda(z)=\sum v_{[-1]}\sharp v_{[0]}\cdot z_{[-1]}\sharp z_{[0]}\stackrel{{\scriptstyle(\ref{eq:imacom})}}{{=}}\sum v_{[-1]}z_{[-1]}\sharp z_{[0]}v_{[0]},

(15)

由此可见，因为 $v$ 和 $z$ 被假定满足共同作用公理恒等式，

	$\displaystyle((\mathrm{id}\otimes\lambda)\circ\lambda)(vz)$	$\displaystyle=\sum v_{[-1]}z_{[-1]}\otimes\lambda(z_{[0]}v_{[0]})$
		$\displaystyle=\sum v_{[-1]}z_{[-1]}\otimes v_{[0][-1]}z_{[0][-1]}\otimes z_{[0][0]}v_{[0][0]}$
		$\displaystyle=\sum v_{[-1](1)}z_{[-1](1)}\otimes v_{[-1](2)}z_{[-1](2)}\otimes z_{[0]}v_{[0]}$
		$\displaystyle=\sum(v_{[-1]}z_{[-1]})_{(1)}\otimes(v_{[-1]}z_{[-1]})_{(2)}\otimes z_{[0]}v_{[0]}$

另一方面，

	$\displaystyle((\Delta\otimes\mathrm{id})\circ\lambda)(zv)$	$\displaystyle=(\Delta\otimes\mathrm{id})(\sum v_{[-1]}z_{[-1]}\sharp z_{[0]}v_{[0]})$
		$\displaystyle=\sum(v_{[-1]}z_{[-1]})_{(1)}\otimes(v_{[-1]}z_{[-1]})_{(2)}\otimes z_{[0]}v_{[0]}.$

首先检查生成器的 $\lambda$ 的共性，检查每个 $j\in\{1,\ldots,n\}$ 的 $((\epsilon\otimes\mathrm{id})\circ\lambda)(\tilde{x}_{j})=\sum_{i}\epsilon(\bar{\mathcal{G}}^{i}_{j})\tilde{x}_{i}=\tilde{x}_{j}$ 的共性，然后使用公式 (15) 轻松归纳证明。

(v) 首先，我们证明 Yetter–Drinfeld 性质：

\sum f_{(2)}\cdot\lambda({v}\blacktriangleleft f_{(1)})=\lambda({v})\cdot f,\quad\text{ for all }{v}\in U(\mathfrak{h}_{Lie})\text{ and }f\in\mathcal{O}(\operatorname{Aut}(\mathfrak{h})).

它在 ${v}$ 和 $f$ 中都是 ${\bm{k}}$ -线性的，因此对于 ${v}$ 和 $f$ 对于 ${v}=\tilde{x}_{k}$ 和 $f=\mathcal{G}^{i}_{j}$ ，

	$\displaystyle\sum_{m}{\mathcal{G}}_{j}^{m}\lambda(\tilde{x}_{k}\blacktriangleleft{\mathcal{G}}^{i}_{m})$	$\displaystyle=\sum_{m}{\mathcal{G}}_{j}^{m}\lambda(\delta_{m}^{i}\tilde{x}_{k}+C_{km}^{i})={\mathcal{G}}_{j}^{i}\lambda(\tilde{x}_{k})+\sum_{m}C_{km}^{i}{\mathcal{G}}_{j}^{m},$
	$\displaystyle\lambda(\tilde{x}_{k})\cdot{\mathcal{G}}_{j}^{i}$	$\displaystyle=\sum_{m}\bar{\mathcal{G}}_{k}^{m}\sharp\tilde{x}_{m}\cdot{\mathcal{G}}_{j}^{i}=\sum_{m,p}\bar{\mathcal{G}}_{k}^{m}{\mathcal{G}}_{p}^{i}\sharp(\tilde{x}_{m}\blacktriangleleft{\mathcal{G}}_{j}^{p})=\sum_{m,p}\bar{\mathcal{G}}_{k}^{m}{\mathcal{G}}_{p}^{i}\sharp(\delta_{j}^{p}\tilde{x}_{m}+C_{mj}^{p})$
		$\displaystyle=\sum_{m}\bar{\mathcal{G}}_{k}^{m}{\mathcal{G}}_{j}^{i}\sharp\tilde{x}_{m}+\sum_{m,p}\bar{\mathcal{G}}_{k}^{m}{\mathcal{G}}_{p}^{i}C_{mj}^{p}$
		$\displaystyle={\mathcal{G}}_{j}^{i}\lambda(\tilde{x}_{k})+\sum_{m,p}{\mathcal{G}}_{p}^{i}C_{mj}^{p}\bar{\mathcal{G}}_{k}^{m}\stackrel{{\scriptstyle(\ref{eq:CGbarG})}}{{=}}{\mathcal{G}}_{j}^{i}\lambda(\tilde{x}_{k})+\sum_{m}C_{km}^{i}{\mathcal{G}}_{j}^{m}.$

生成器 ${v}=\tilde{x}_{k}$ 和 $f=\bar{\mathcal{G}}_{j}^{i}$ 的 Yetter–Drinfeld 性质也得到类似证明。

如果对于某些 $v,z\in U(\mathfrak{h}_{Lie})$ 和 $\mathcal{G}^{i}_{j}$ 形式的任何 $f\in\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 恒等式成立，那么它也适用于产品 $v z$ 和所有 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 的生成器，因为 $\Delta(\mathcal{G}^{i}_{j})=\sum_{m}\mathcal{G}^{i}_{m}\otimes\mathcal{G}^{m}_{j}$ 和 $\Delta(\bar{G}^{i}_{j})=\sum_{m}\bar{\mathcal{G}}^{m}_{j}\otimes\bar{\mathcal{G}}^{i}_{m}$ 。的确，

	$\displaystyle\sum f_{(2)}\lambda((vz)\blacktriangleleft f_{(1)})$	$\displaystyle=\sum f_{(3)}\lambda((v\blacktriangleleft f_{(1)})(z\blacktriangleleft f_{(2)}))\stackrel{{\scriptstyle(\ref{eq:antimult})}}{{=}}\sum f_{(3)}\lambda(z\blacktriangleleft f_{(2)})\lambda(v\blacktriangleleft f_{(1)})$
		$\displaystyle=\sum\lambda(z)\cdot f_{(2)}\lambda(v\blacktriangleleft f_{(1)})=\lambda(z)\lambda(v)\cdot f\stackrel{{\scriptstyle(\ref{eq:antimult})}}{{=}}\lambda(vz)\cdot f.$

因此，通过归纳，对于所有 $v\in U(\mathfrak{h}_{Lie})$ 和 $f$ 为 $\mathcal{G}^{i}_{j}$ 或 $\bar{\mathcal{G}}^{i}_{j}$ 的恒等式都是正确的。

如果该恒等式适用于 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 中的某些 $f$ 和 $g$ 以及所有 $v\in U(\mathfrak{h}_{Lie})$ ，那么它也适用于产品 $fg\in\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 和所有 $v\in U(\mathfrak{h}_{Lie})$ ，通过

	$\displaystyle\sum(fg)_{(2)}\lambda(v\blacktriangleleft(fg)_{(1)})$	$\displaystyle=\sum\sum f_{(2)}g_{(2)}\lambda(v\blacktriangleleft(f_{(1)}g_{(1)}))$
		$\displaystyle=\sum\sum f_{(2)}g_{(2)}\lambda((v\blacktriangleleft f_{(1)})\blacktriangleleft g_{(1)})$
		$\displaystyle=\sum\sum f_{(2)}\lambda(v\blacktriangleleft f_{(1)})g=\lambda(v)fg.$

我们归纳得出结论，耶特-德林菲尔德性质成立。

接下来，通过使用 (14) 在 (15) 中实际证明余模代数性质。

最后，我们来证明编织交换律：

z\blacktriangleleft\lambda(v)=vz,\quad\text{ for all }v,z\in U(\mathfrak{h}_{Lie}).

首先我们在发电机上检查这一点。对于任意两个 $j,k\in\{1,\ldots,n\}$ 我们有

\tilde{x}_{k}\blacktriangleleft\sum_{i}\bar{\mathcal{G}}_{j}^{i}\sharp\tilde{x}_{i}=\sum_{i}(\delta_{j}^{i}\tilde{x}_{k}\tilde{x}_{i}-C_{kj}^{i}\tilde{x}_{i})=\tilde{x}_{k}\tilde{x}_{j}-[\tilde{x}_{k},\tilde{x}_{j}]=\tilde{x}_{j}\tilde{x}_{k}.

接下来，对于每个 $\tilde{x}_{j},j\in\{1,\ldots,n\}$ ，我们对右侧 $\lambda(\tilde{x}_{j})$ 所作用的单词的长度进行归纳。归纳步骤为

(vz)\blacktriangleleft\sum_{i}\bar{\mathcal{G}}_{j}^{i}\sharp\tilde{x}_{i}=\sum_{i,m}(v\blacktriangleleft\bar{\mathcal{G}}_{j}^{m})(z\blacktriangleleft\bar{\mathcal{G}}_{m}^{i})\tilde{x}_{i}=\sum_{i,m}(v\blacktriangleleft\bar{\mathcal{G}}_{j}^{m})\tilde{x}_{m}z=\tilde{x}_{j}vz,\quad\forall v,z\in U(\mathfrak{h}_{Lie}).

最后对右边单词的长度进行归纳的步骤是

w\blacktriangleleft\lambda(zv)=(w\blacktriangleleft\lambda(v))\blacktriangleleft\lambda(z)=(vw)\blacktriangleleft\lambda(z)=(zv)w,\quad\forall w,z,v\in U(\mathfrak{h}_{Lie}).

∎

Theorem 3.7.

令 $\mathfrak{h}$ 为右莱布尼兹 ${\bm{k}}$ 代数，具有 ${\bm{k}}$ 基 $\mathbf{b}=(y_{1},\ldots,y_{n})$ 和由下式确定的结构常数 $C_{ij}^{k}$ $[y_{i},y_{j}]=\sum_{k}C_{ij}^{k}y_{k}$ , $i,j\in\{1,\ldots,n\}.$ 令 $\mathcal{G}^{i}_{j},\bar{\mathcal{G}}^{i}_{j},\ i,j\in\{1,\ldots,n\}$ 为 3.1 小节中代数 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 的生成元。用 $\tilde{y}$ 表示 $y\in\mathfrak{h}$ 在 $\mathfrak{h}_{Lie}$ 中的图像。

那么命题3.4中定义的Hopf配对 $U(\mathfrak{h}_{Lie})\otimes\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\to{\bm{k}}$ 通过公式诱导右Hopf作用 $\blacktriangleleft\colon U(\mathfrak{h}_{Lie})\otimes\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\to U(\mathfrak{h}_{Lie})$

\tilde{y}\blacktriangleleft f:=\langle{\tilde{y}}_{(1)},f\rangle{\tilde{y}}_{(2)},\quad\text{ for }\tilde{y}\in U(\mathfrak{h}_{Lie})\text{ and }f\in\mathcal{O}(\operatorname{Aut}(\mathfrak{h})),

进一步推导出粉碎积代数 $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\sharp U(\mathfrak{h}_{Lie})$ 的结构。

那么还存在一个唯一的 ${\bm{k}}$ -线性单位反乘映射 $\lambda\colon U(\mathfrak{h}_{Lie})\to\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))\sharp U(\mathfrak{h}_{Lie})$ ，使得

\lambda(\tilde{y}_{j})=\sum_{i}{\mathcal{G}}_{j}^{i}\sharp\tilde{y}_{i},\quad\text{ for }j\in\{1,\ldots,n\}.

这个独特的地图 $\lambda$ 是左相互作用。

此外， $(U(\mathfrak{h}_{Lie}),\blacktriangleleft,\lambda)$ 是一个辫状交换右-左 Yetter–Drinfeld $\mathcal{O}(\operatorname{Aut}(\mathfrak{h}))$ 模代数。映射 $\blacktriangleleft$ 和 $\lambda$ 不依赖于基础 $\mathbf{b}$ 的选择。

证明。

类似于定理3.6的证明。 ∎

参考

[1] G. Böhm, Hopf algebroids, in Handbook of Algebra, Vol. 6, edited by M. Hazewinkel, Elsevier 2009, 173–236, arXiv:0805.3806.
[2] T. Brzeziński, G. Militaru, Bialgebroids, $\times_{A}$ -bialgebras and duality, J. Alg. 251 (2002) 279–294 math.QA/0012164
[3] P. Cartier, A primer of Hopf algebras, Frontiers in number theory, physics, and geometry II, 537–615, Springer 2007.; preprint IHÉS M-06-40, 2006.
[4] J.-L. Loday, T. Pirashvili, Universal enveloping algebras of Leibniz algebras and (co)homology, Math. Ann. 296 (1993) 139–158.
[5] J-H. Lu, Hopf algebroids and quantum groupoids, Int. J. Math. 7 (1996) 47–70, q-alg/9505024
[6] S. Majid, Foundations of quantum group theory, Cambridge University Press 1995.
[7] S. Meljanac, Z. Škoda, Leibniz rules for enveloping algebras, arXiv:0711.0149
[8] S. Meljanac, Z. Škoda, M. Stojić, Lie algebra type noncommutative phase spaces are Hopf algebroids, Lett. Math. Phys. 107:3, (2017) 475–503 arXiv:1409.8188
[9] D. E. Radford, Hopf algebras, World Scientific 2012.
[10] D. E. Radford, J. Towber, Yetter–Drinfeld categories associated to an arbitrary bialgebra, J. Pure Appl. Algebra 87 (1993) 259–279
[11] M. Stojić, Scalar extension Hopf algebroids, Journal of Algebra and its Applications (2023) arXiv:2208.11696
[12] M. Stojić, Completed Hopf algebroids, doctoral dissertation in Croatian language (of the title Upotpunjeni Hopfovi algebroidi), University of Zagreb (2017)
[13] Z. Škoda, Heisenberg double versus deformed derivatives, Int. J. Mod. Phys. A 26, Nos. 27 & 28 (2011) 4845–4854. arXiv:0806.0978
[14] Z. Škoda, M. Stojić, Hopf algebroids with balancing subalgebra, J. Alg. 598 (2022) 445–469 arXiv:1610.03837
[15] M. Stojić, Z. Škoda, Examples of scalar extension Hopf algebroids over a universal enveloping algebra, preprint.

作者地址：

Zoran Škoda，扎达尔大学教师教育系，Franje Tudjmana 24, 23000 Zadar, Croatia zskoda@unizd.hr

Martina Stojić，萨格勒布大学数学系，Bijenička cesta 30, 10000 Zagreb, Croatiastojic@math.hr