[论文解读] On a Poisson space of bilinear forms with a Poisson Lie action

Leonid Chekhov, Marta Mazzocco|arXiv (Cornell University)|Apr 3, 2014

Advanced Algebra and Geometry参考文献 15被引用 3

一句话总结

本文对 $GL_N \times \mathcal{A}$ 上的所有二次泊松结构进行了分类，其中 $\mathcal{A}$ 是 $\mathbb{C}^N$ 上双线性形式的空间，且使得自然的 $GL_N$-作用 $\mathbb{A} \mapsto B\mathbb{A}B^T$ 成为泊松作用。它识别出三种此类结构——其中两种互为对偶，另一种为乘积结构——并表明仅对偶结构允许对块上三角矩阵进行狄拉克约化，同时将该构造推广至泊松对称空间，通过 $GL_N \times GL_N \times \mathcal{A}$ 及作用 $\mathbb{A} \mapsto B\mathbb{A}C^T$。其主要贡献在于系统地分类了此类作用下的相容泊松结构，对泊松胚丛与量子代数具有重要意义。

ABSTRACT

We consider the space of bilinear forms on a complex N-dimensional vector space endowed with the quadratic Poisson bracket studied in our previous paper arXiv:1012.5251. We classify all possible quadratic brackets on the set of pairs of matrices A and B with the property that the natural action of B on the defining matrix A of a bilinear form is a Poisson action of a Poisson-Lie group, thus endowing this space of bilinear forms with the structure of Poisson homogeneous space. Beside the product Poisson structure we find two more (dual to each other) structures for which (in contrast to the product Poisson structure) we can implement the reduction to the space of bilinear forms with block upper triangular defining matrices by Dirac procedure. We consider the generalisation of the above construction to triples and show that the space of bilinear forms then acquires the structure of Poisson symmetric space. We study also the generalisation to chains of transformations and to the quantum and quantum affine algebras and the relation between the construction of Poisson symmetric spaces and that of the Poisson groupoid.

研究动机与目标

• 对 $GL_N \times \mathcal{A}$ 上所有满足 $GL_N$-作用 $\mathbb{A} \mapsto B\mathbb{A}B^T$ 为泊松作用的二次泊松括号进行分类。
• 确定这些结构中哪些允许对 $\mathcal{A}$ 中块上三角矩阵子空间进行狄拉克约化。
• 将该构造推广至三元组 $(B, C, \mathbb{A}) \in GL_N \times GL_N \times \mathcal{A}$，其作用为 $\mathbb{A} \mapsto B\mathbb{A}C^T$，并证明此时 $\mathcal{A}$ 成为泊松对称空间。
• 探讨与泊松胚丛、量子代数及量子仿射代数的联系，尤其在 $r$-矩阵形式与 $GL_N$-泊松-李群结构的背景下。

提出的方法

• 假设在 $GL_N$ 上采用标准的李-泊松括号，通过经典三角 $r$-矩阵 $r_{12} = 2\sum_{i>j} E_{ij} \otimes E_{ji} + \sum_i E_{ii} \otimes E_{ii}$。
• 推导出所需的交叉括号 $\{B \otimes \mathbb{A}\}$ 为 $B Q_{12} \mathbb{A} + B \mathbb{A} Q_{12}^{t_2}$，其中 $Q_{12}$ 受限于三种特定选择：$0$、$-r_{12}^{t_2}$ 或 $r_{12}^{t_1}$。
• 证明仅当 $Q_{12} = \pm r_{12}^{t_2}$ 时，两个非乘积结构互为对偶，并且可在块上三角子空间 $\mathcal{A}_{n,m}$ 上实现狄拉克约化。
• 利用 $r$-矩阵形式将 $\mathcal{A}$ 上的泊松括号表达为 $\{\mathbb{A}_1, \mathbb{A}_2\} = r_{12}(\mathbb{A}_1 \otimes \mathbb{A}_2) - (\mathbb{A}_1 \otimes \mathbb{A}_2)r_{12} + \mathbb{A}_1 r_{12}^{t_1} \mathbb{A}_2 - \mathbb{A}_2 r_{12}^{t_1} \mathbb{A}_1$，通过经典杨-巴克斯方程确保雅可比恒等式成立。
• 应用狄拉克程序将全空间约化至具有块上三角 $\mathbb{A}$ 的子空间，表明仅对偶结构在该约束下保持泊松结构。
• 将框架推广至变换链，并讨论其与泊松胚丛及量子代数的关系，尤其在辛胚丛构造与邦达尔的辛形式的背景下。

实验结果

研究问题

• RQ1 在 $GL_N \times \mathcal{A}$ 上，哪些泊松结构使得 $GL_N$-作用 $\mathbb{A} \mapsto B\mathbb{A}B^T$ 成为泊松作用？
• RQ2 是否可以对块上三角矩阵子空间 $\mathbb{A}$ 实现狄拉克约化？若可以，需满足何种泊松结构？
• RQ3 交叉括号 $\{B \otimes \mathbb{A}\}$ 的三种可能选择 $Q_{12} = 0$、$-r_{12}^{t_2}$ 或 $r_{12}^{t_1}$ 之间有何关系？哪些允许一致的约化？
• RQ4 该构造如何推广至两个 $GL_N$ 因子的变换 $\mathbb{A} \mapsto B\mathbb{A}C^T$？此时 $\mathcal{A}$ 是否成为泊松对称空间？
• RQ5 该框架如何与泊松胚丛、辛胚丛及量子代数相关联？尤其在邦达尔的辛结构背景下？

主要发现

• 本文精确分类出在 $GL_N \times \mathcal{A}$ 上使得 $GL_N$-作用 $\mathbb{A} \mapsto B\mathbb{A}B^T$ 为泊松作用的三种可能泊松结构，分别对应于 $Q_{12} = 0$、$-r_{12}^{t_2}$ 和 $r_{12}^{t_1}$。
• 乘积结构（$Q_{12} = 0$）无法实现对块上三角子空间 $\mathcal{A}_{n,m}$ 的狄拉克约化，而两个对偶结构（$Q_{12} = \pm r_{12}^{t_2}$）则可以实现此类约化。
• 这两个对偶结构通过一个典范对偶变换相互关联，且在块上三角矩阵约束面上的狄拉克程序下均保持泊松结构。
• 将框架推广至 $GL_N \times GL_N \times \mathcal{A}$ 及作用 $\mathbb{A} \mapsto B\mathbb{A}C^T$ 后，$\mathcal{A}$ 获得了泊松对称空间的结构。
• 该构造与经典 $r$-矩阵形式相容，并满足经典杨-巴克斯方程，从而确保泊松括号的雅可比恒等式成立。
• 本文猜想 $({\mathbb{F}}, B)$ 上的辛结构推广了邦达尔在上三角情形下的辛形式，尽管由于辛胚丛方法中变量分离，其动力学变得平凡。