[论文解读] Dual Lie Bialgebras of Witt and Virasoro Types

Guang’ai Song, Yucai Su|arXiv (Cornell University)|Jun 4, 2013

Algebraic structures and combinatorial models参考文献 13被引用 6

一句话总结

本文通过构建其余代数结构的受限对偶，研究了一侧威特定理代数、威特定理代数和维拉索罗代数上的双重李双代数结构。基于对偶性和余边界三角双代数结构的创新方法，作者在空间 $\mathbb{F}[\varepsilon, \varepsilon^{-1}]$ 上推导出新的无穷维李代数，其括号公式依赖于参数 $n$、$k$ 和 $\ell$，揭示了李双代数背景下此前未知的代数结构。

ABSTRACT

Structures of dual Lie bialgebras on the one sided Witt algebra, the Witt algebra and the Virasoro algebra are investigated. As a result, we obtain some infinite dimensional Lie algebras.

研究动机与目标

• 研究一维威特定理代数、威特定理代数和维拉索罗代数上的双重李双代数结构，这些代数不是有限维的，因此不继承自对偶性。
• 探究对余边界三角双代数进行对偶化是否会产生新的、非同构的李代数，即使在有限维情况下经典对偶性成立。
• 通过威特定理和维拉索罗类型受限对偶余代数对分类和构造新的无穷维李代数。
• 通过分析其对偶，解决关于对（双侧）威特定理和维拉索罗代数上余边界三角双代数结构分类的开放问题。

提出的方法

• 使用受限对偶空间 $\mathcal{L}^\circ$ 构造 $\mathbb{F}[x]$ 和 $\mathbb{F}[x^{\pm 1}]$ 的受限对偶余代数，该空间捕捉在有限余维子空间上消失的泛函。
• 通过原始李双代数与其对偶之间的非退化双线性形式 $\langle \cdot, \cdot \rangle$ 定义对偶配对，确保李括号与余括号之间的兼容性。
• 使用余边界结构 $\delta(x) = x \cdot r$，其中 $r \in L \otimes L$ 满足经典杨-Baxter 方程（CYBE），以定义三角双代数李双代数。
• 通过公式 $[\varepsilon^i, \varepsilon^j] = A_{ij} - A_{ji}$ 在 $\mathcal{S} = \mathbb{F}[\varepsilon, \varepsilon^{-1}]$ 上推导对偶李代数括号，其中 $A_{ij}$ 涉及原始余代数的结构常数。
• 使用参数化生成元 $X = \ell_0 x + \ell x^n$ 和 $Y = k_0 x^{2-n} + kx + k_1 x^n$ 定义对偶括号，其中 $\ell_0, k_0, k_1$ 用 $k, \ell, n$ 表示。
• 通过显式计算结构常数验证括号，导出定理 4.9，该定理给出了对偶李代数括号的完整参数化公式。

实验结果

研究问题

• RQ1 在像威特定理或维拉索罗代数这样的无穷维代数上，余边界三角双代数的对偶是否会产生新的、非同构的李代数结构？
• RQ2 一维威特定理代数的受限对偶余代数的结构特性是什么？它们与有限维对偶情况有何不同？
• RQ3 在什么条件下，维拉索罗代数上李双代数的对偶仍保持余边界三角结构？
• RQ4 威特定理和维拉索罗代数上的对偶李双代数结构是否会产生文献中此前未分类的新无穷维李代数？
• RQ5 参数 $n$、$k$ 和 $\ell$ 如何影响括号结构以及 $\mathbb{F}[\varepsilon, \varepsilon^{-1}]$ 上的李代数结果？

主要发现

• 一维威特定理代数的对偶李双代数在 $\mathbb{F}[\varepsilon, \varepsilon^{-1}]$ 上产生一个新的无穷维李代数，其括号由定理 4.9 定义，参数为 $n \in \mathbb{Z}$，$n \neq 1$，以及 $k, \ell \in \mathbb{F}^*$。
• 当 $i=1$，$j \neq 1, 2-n, n$ 时，括号 $[\varepsilon, \varepsilon^j]$ 为 $-k\delta_{j,2-n}\varepsilon^{2-n} - k\delta_{j,n}\varepsilon^n - \frac{k\ell}{2}(2n-j-1)\varepsilon^{j-n+1} + \frac{k}{2(n-1)^2\ell}(3-j-2n)\varepsilon^{j+n-1}$。
• 当 $i=2-n$，$j \neq 1, 2-n, n$ 时，括号 $[\varepsilon^{2-n}, \varepsilon^j]$ 为 $-\frac{k\ell}{2}(n-1)\delta_{j,n}\varepsilon^{2-n} - \frac{k}{2}\delta_{j,n}\varepsilon + \frac{k(j-1)}{2(n-1)^2\ell}\varepsilon^j + \frac{k(2n-j-1)}{2(n-1)}\varepsilon^{j-n+1}$。
• 当 $i=n$，$j \neq 1, 2-n, n$ 时，括号 $[\varepsilon^n, \varepsilon^j]$ 为 $\frac{k(2n+j-3)}{2(n-1)}\varepsilon^{j+n-1} + \frac{k\ell}{2}(1-j)\varepsilon^j$，显示出对 $j$ 和 $n$ 的非平凡依赖。
• 在 $\mathcal{S} = \mathbb{F}[\varepsilon, \varepsilon^{-1}]$ 上得到的李代数被证明是新的，且与标准威特定理或维拉索罗代数不同构，如注记 4.10 所确认。
• 该构造证实，对无穷维李双代数进行对偶化可以产生新的李代数，即使在有限维对偶情况下不会产生新结构。