[论文解读] Bott-Samelson varieties and Poisson Ore extensions

Balázs Elek, Jiang-Hua Lu|arXiv (Cornell University)|Jan 1, 2016

Algebraic structures and combinatorial models参考文献 27被引用 9

一句话总结

该论文通过迭代的泊松奥雷扩张，显式构造了复半单李群的 Bott-Samelson 代数簇上的泊松结构。它表明，该代数簇上的标准泊松结构在每个 $2^n$ 个仿射坐标图上限制为对称的迭代泊松奥雷扩张，泊松括号在 $\mathbb{Z}$ 上定义，从而可在任意域上实现量子化，并给出了基于根系字符串和李代数结构常数的显式公式。

ABSTRACT

Let $G$ be a connected complex semi-simple Lie group, and let $Z_{\bf u}$ be an $n$-dimensional Bott-Samelson variety of $G$, where ${\bf u}$ is any sequence of simple reflections in the Weyl group of $G$. We study the Poisson structure $π_n$ on $Z_{\bf u}$ defined by a standard multiplicative Poisson structure $π_{ m st}$ on $G$. We explicitly express $π_n$ on each of the $2^n$ affine coordinate charts, one for every subexpression of ${\bf u}$, in terms of the root strings and the structure constants of the Lie algebra of $G$. We show that the restriction of $π_n$ to each affine coordinate chart gives rise to a Poisson structure on the polynomial algebra ${\mathbb{C}}[z_1, \ldots, z_n]$ which is an {\it iterated Poisson Ore extension} of $\mathbb{C}$ compatible with a rational action by a maximal torus of $G$. For canonically chosen $π_{ m st}$, we show that the induced Poisson structure on ${\mathbb{C}}[z_1, \ldots, z_n]$ for every affine coordinate chart is in fact defined over ${\mathbb Z}$, thus giving rise to an iterated Poisson Ore extension of any field ${\bf k}$ of arbitrary characteristic. The special case of $π_n$ on the affine chart corresponding to the full subexpression of ${\bf u}$ yields an explicit formula for the standard Poisson structures on {\it generalized Bruhat cells} in Bott-Samelson coordinates. The paper establishes the foundation on generalized Bruhat cells and sets up the stage for their applications, some of which are discussed in the Introduction of the paper.

研究动机与目标

• 在复半单李群 $G$ 的 Weyl 群中给定一组单反射序列时，建立 Bott-Samelson 代数簇 $Z_{\mathbf{u}}$ 上的规范泊松结构。
• 在 $Z_{\mathbf{u}}$ 的每个 $2^n$ 个仿射坐标图上显式表达泊松结构 $\pi_n$，这些图由 $\mathbf{u}$ 的子表达式索引。
• 证明 $\pi_n$ 在每个图上的限制均给出与 $G$ 的极大环面作用相容的迭代 $T$-泊松奥雷扩张。
• 证明泊松括号具有整数系数，从而在任意域 $\mathbf{k}$（而不仅 $\mathbb{C}$）上定义对称泊松 CGL 扩张。
• 在 Bott-Samelson 坐标下，为广义 Bruhat 单元上的标准泊松结构提供显式公式，特别是针对完整子表达式 $\gamma = \mathbf{u}$ 的情形。

提出的方法

• 利用复半单李群 $G$ 上的标准乘法泊松结构 $\pi_{\rm st}$，在 Bott-Samelson 代数簇 $Z_{\mathbf{u}}$ 上诱导出泊松结构 $\pi_n$。
• 利用 $Z_{\mathbf{u}}$ 上的自然坐标图集（共 $2^n$ 个），每个图由 $\mathbf{u}$ 的子表达式 $\gamma$ 参数化，对泊松结构进行局部化。
• 在每个图上，根据李代数 $\mathfrak{g}$ 的根系字符串和结构常数，推导泊松括号 $\{z_i, z_k\}$ 的显式公式。
• 证明 $\mathbb{C}[z_1,\dots,z_n]$ 上的泊松结构为与 $G$ 的极大环面 $T$ 的有理作用相容的迭代泊松奥雷扩张。
• 证明所有泊松括号 $\{z_i, z_k\}$ 属于 $\mathbb{Z}[z_1,\dots,z_n]$，从而确保该结构可提升至任意特征的域 $\mathbf{k}$。
• 应用对称泊松 CGL 扩张（CGL 扩张的泊松类比）理论，证明在完整图情形（$\gamma = \mathbf{u}$）下，得到的是对称的迭代 $T$-泊松奥雷扩张。

实验结果

研究问题

• RQ1 如何将复半单李群 $G$ 上的标准泊松结构限制到 Bott-Samelson 代数簇 $Z_{\mathbf{u}}$ 上，以在坐标图上得到显式的泊松括号？
• RQ2 每个 $Z_{\mathbf{u}}$ 仿射坐标图上的泊松括号的代数结构是什么？它与迭代泊松奥雷扩张有何关系？
• RQ3 $Z_{\mathbf{u}}$ 上的泊松结构是否可提升至任意域 $\mathbf{k}$？若可以，其系数需满足什么条件？
• RQ4 在 Bott-Samelson 坐标下，对应于 $\mathbf{u}$ 的广义 Bruhat 单元上的泊松结构能否被显式描述？
• RQ5 $G$ 的极大环面 $T$ 如何与泊松结构相容作用？这对泊松素理想分类有何含义？

主要发现

• 每个 $Z_{\mathbf{u}}$ 仿射坐标图上的泊松结构 $\pi_n$ 均为与极大环面 $T$ 的有理作用相容的迭代 $T$-泊松奥雷扩张。
• 在完整子表达式 $\gamma = \mathbf{u}$ 的情形下，$\mathbb{C}[z_1,\dots,z_n]$ 上诱导出的泊松结构为对称的迭代 $T$-泊松奥雷扩张，即对称泊松 CGL 扩张。
• 所有坐标图中的泊松括号 $\{z_i, z_k\}$ 均具有整数系数，因此该结构可扩展至任意域 $\mathbf{k}$，而不仅限于 $\mathbb{C}$。
• 给出了 $\{z_i, z_k\}$ 的显式公式，其表达式基于根系字符串和李代数 $\mathfrak{g}$ 的结构常数，从而支持算法化计算。
• 当限制到平凡子表达式 $\gamma = (e,\dots,e)$ 时，得到的是对数-典范泊松结构。
• 本研究首次在 Bott-Samelson 坐标下，为广义 Bruhat 单元上的对称泊松 CGL 扩张提供了显式构造，实现了完整的代数与组合控制。