[论文解读] Positive structures in Lie theory

G. Lusztig|arXiv (Cornell University)|Dec 21, 2018

Algebraic structures and combinatorial models参考文献 7被引用 4

一句话总结

本文通过在半环上以生成元与关系的方式定义全正（TP）幺半群 $G(\mathbb{R}_{>0})$ 及其上三角部分 $U^+(\mathbb{R}_{>0})$，提出了一套统一的李群理论中正结构的框架，该框架独立于其所在的李群。关键贡献在于，这一TP结构作为基础形式，使得任意域 $\mathbb{k}$ 上的Chevalley群 $G(\mathbb{k})$ 均可通过具有整数系数的有理关系重建，揭示了李理论中深刻的代数-几何对偶性。

ABSTRACT

We discuss the non-negative monoid attached to a Cartan matrix following my 1994 paper.

研究动机与目标

• 通过仅使用生成元与关系，独立于其所在的李群 $G(\mathbb{R})$，建立半单李群的全正幺半群 $G(\mathbb{R}_{>0})$ 的新内在定义。
• 证明 $G(\mathbb{R}_{>0})$ 的定义关系是有理函数且具有整数系数，从而可推广至任意域 $\mathbb{k}$，以重构Chevalley群 $G(\mathbb{k})$。
• 证明 $\mathbb{R}_{>0}$ 上的TP幺半群是半单群的通用“有理函数形式”，所有其他群形式均可由此导出。
• 将李理论中诸多不同发展方向——如丛代数、高阶Teichmüller理论与量子群——统一于同一正结构框架之下。

提出的方法

• 通过从半环 $K$（其中 $K$ 为 $\mathbb{R}_{>0}$、$\mathbb{R}(t)_{>0}$、$\mathbb{Z}$ 或 $\{1\}$）到集合 $X$ 的一族双射 $f_j: K^m \to X$，在集合 $X$ 上定义正结构，且保持运算兼容性。
• 通过对应于正根空间的生成元，构造幂零根的正结构的像，得到幺半群 $U^+(\mathbb{R}_{>0})$。
• 通过量子群的典范基导出的生成元与关系来定义 $G(\mathbb{R}_{>0})$，确保关系的正性与整数性。
• 利用半环同态 $\alpha: \mathbb{R}(t)_{>0} \to \mathbb{Z}$，将几何正结构与分段线性（热带）对象联系起来，建立李理论中早期的热带化形式。
• 通过将 $G(\mathbb{R}_{>0})$ 的关系模 $\mathbb{Z} \to \mathbb{k}_0$ 约化，重构任意域 $\mathbb{k}_0$ 上的Chevalley群 $G(\mathbb{k}_0)$，得到群的有理函数模型。
• 将旗流形 $\mathcal{B}(K)$ 的非负部分定义为旗流形与在典范基下具有非负坐标的直线的交集，并证明 $G(K)$ 通过正性作用于该部分。

实验结果

研究问题

• RQ1 如何仅通过生成元与关系，独立于其所在的李群 $G(\mathbb{R})$，定义全正幺半群 $G(\mathbb{R}_{>0})$？
• RQ2 量子群的典范基在确保定义 $G(\mathbb{R}_{>0})$ 的关系的正性与整数性方面起什么作用？
• RQ3 如何将定义 $G(\mathbb{R}_{>0})$ 的关系约化为任意域 $\mathbb{k}_0$ 上的群关系，从而重构Chevalley群 $G(\mathbb{k}_0)$？
• RQ4 在何种意义上，$\mathbb{R}_{>0}$ 上的TP幺半群是半单群的“最基本”形式，所有其他形式均可由此导出？
• RQ5 群 $G(\mathbb{R}_{>0})$ 在旗流形 $\mathcal{B}(K)$ 的非负部分上的作用，如何体现典范基的正性？

主要发现

• TP幺半群 $G(\mathbb{R}_{>0})$ 通过具有整数系数的有理函数生成元与关系定义，其定义比 $G(\mathbb{R})$ 更为简洁。
• 定义 $G(\mathbb{R}_{>0})$ 的关系独立于其所在的李群，且可模 $\mathbb{Z} \to \mathbb{k}_0$ 约化，从而得到Chevalley群 $G(\mathbb{k}_0)$ 的有理函数模型。
• Chevalley群 $G(\mathbb{k}_0)$ 被实现为由 $G(\mathbb{R}_{>0})$ 的关系构造的 $\mathbb{k}^M$ 的坐标环的分式域的自同构群的子群。
• $\mathcal{B}(K)$ 的非负部分在 $G(K)$ 作用下保持不变，这是由于可积最高权表示中典范基的正性所致。
• 半环同态 $\alpha: \mathbb{R}(t)_{>0} \to \mathbb{Z}$ 在几何正结构与分段线性组合数学之间架起桥梁，建立了李理论中早期的热带化实例。
• 该构造表明，$\mathbb{R}_{>0}$ 上的TP幺半群是所有其他域上群形式的通用形式，通过具有整数系数的关系约化而导出。