[论文解读] Connected components of real double Bruhat cells

Andrei Zelevinsky|ArXiv.org|Mar 31, 2000

Advanced Algebra and Geometry参考文献 6被引用 6

一句话总结

本文证明了关于半单代数群中约化双Bruhat子集实部连通分支的一个猜想，表明其与在二元域上由平移变换生成的群的轨道之间存在自然双射。该结果推广了此前对单连通群的研究，并利用由Weyl群的约化解导出的组合不变量，提供了拓扑分类。

ABSTRACT

Double Bruhat cells in a semisimple group are intersections of cells in two Bruhat decompositions corresponding to two opposite Borel subgroups. They form a geometric framework for the study of total positivity in semisimple groups; they are also closely related to symplectic leaves in the corresponding Poisson-Lie groups. The term "cells" might be misleading because their topology can be quite non-trivial. As a first step towards understanding this topology, we enumerate the connected components of real double Bruhat cells. This result extends (from the simply-laced case to the general one) and proves the conjecture made in a joint work with B.Shapiro-M.Shapiro-A.Vainshtein; it also extends earlier work by B.Shapiro-M.Shapiro-A.Vainshtein and K.Rietsch.

研究动机与目标

• 解决[15]关于单连通半单群中约化双Bruhat子集实部连通分支的猜想。
• 将连通分支的分类推广至任意半单群，而不仅限于单连通情形。
• 建立 $ L^{u,v}(\bbR) $ 的连通分支与由平移变换生成的群 $ \Gamma_{\mathbf{i}}(\bbF_2) \subset GL_m(\bbF_2) $ 的轨道之间的自然双射。
• 通过 $ L^{u,v} $ 上的 тор图和正则函数，建立几何与代数框架，将早期与复环的同构关系进一步细化。
• 探索 $ \bbC[G/N] $ 中对偶典范基之间的联系，表明 $ L^{u,v} $ 上某些正则函数是典范基的构建块。

提出的方法

• 利用Weyl群中约化解 $ \mathbf{i} $ 导出的双正则同构，建立复环 $ \bbC_{\neq 0}^m $ 与 $ L^{u,v} $ 的Zariski开子集 $ U_{\mathbf{i}} $ 之间的同构。
• 证明 $ L^{u,v} \setminus U_{\mathbf{i}} $ 是 $ m $ 个不可约除子 $ \{M_{k,\mathbf{i}} = 0\} $ 的并集，其中每个 $ M_{k,\mathbf{i}} $ 是扭曲广义小行列式。
• 引入与 $ \mathbf{i} $-有界指标相关的新型正则函数 $ M'_{n,\mathbf{i}} $，定义新的 тор图 $ U_{n,\mathbf{i}} $，并证明这些图覆盖一个稠密开子集。
• 证明所有此类图 $ U_{\mathbf{i}} \cup \bigcup_n U_{n,\mathbf{i}} $ 的实部的连通分支与 $ \bbF_2^m $ 上 $ \Gamma_{\mathbf{i}}(\bbF_2) $-轨道之间存在双射。
• 证明该并集在 $ L^{u,v} $ 中的补集的余维数至少为2，因此不影响实余集的连通分支。
• 证明每个 $ M'_{n,\mathbf{i}} $ 可表示为两个小行列式的洛朗单项式之和，推广了小行列式的概念，并与 $ \bbC[G] $ 中的典范基相关联。

实验结果

研究问题

• RQ1 对于任意半单群，实双Bruhat子集 $ L^{u,v}(\bbR) $ 的连通分支如何分类？
• RQ2 Weyl群中的约化解在决定 $ L^{u,v}(\bbR) $ 的拓扑结构中起什么作用？
• RQ3 能否将[15]中针对单连通群的猜想推广至非单连通群？
• RQ4 作为小行列式洛朗单项式之和定义的正则函数 $ M'_{n,\mathbf{i}} $ 如何与 $ L^{u,v} $ 及其实点的结构相关联？
• RQ5 群 $ \Gamma_{\mathbf{i}}(\bbF_2) $ 与 $ \bbC[G/N] $ 的典范基之间有何联系？

主要发现

• $ L^{u,v}(\bbR) $ 的连通分支与 $ \bbF_2^m $ 上 $ \Gamma_{\mathbf{i}}(\bbF_2) $-轨道之间存在自然双射，其中 $ \Gamma_{\mathbf{i}}(\bbF_2) $ 是在 $ \bbF_2 $ 上由平移变换生成的群。
• $ \Gamma_{\mathbf{i}}(\bbF_2) $ 的构造被推广至非单连通群，该群不再一定是辛群，但仍由平移变换生成。
• $ L^{u,v} $ 中所有图 $ U_{\mathbf{i}} \cup \bigcup_n U_{n,\mathbf{i}} $ 的并集的补集余维数至少为2，因此不影响实余集的连通分支。
• 每个 $ M'_{n,\mathbf{i}} $ 是 $ L^{u,v} $ 上的正则函数，虽非小行列式，但可表示为两个小行列式的洛朗单项式之和，提供了新的代数不变量。
• 结果细化并推广了关于完全正性和辛叶的早期结果，并为理解 $ \bbC[G/N] $ 中的对偶典范基提供了框架。
• 在类型 $ B_2 $ 中，对偶典范基由普鲁克坐标及两个新函数 $ Q_{\omega_j} = \Delta'_{(i,j,i)} $、$ Q_{2\omega_i} = \Delta'_{(j,i,j)} $ 生成，其单项式受六边形中相邻关系的约束。