[论文解读] The orbit structure of the Gelfand-Zeitlin group on n x n matrices

Mark Colarusso|ArXiv.org|Nov 9, 2008

Advanced Algebra and Geometry参考文献 11被引用 4

一句话总结

本文完全分类了 Gelfand-Zeitlin 群 $A \simeq \mathbb{C}^{n \choose 2}}$ 在 $n \times n$ 复矩阵空间上的轨道，识别出所有维度为 $\binom{n}{2}$ 的 $A$-轨道，这些轨道恰好是强正则元素。关键结果是给出了 Gelfand-Zeitlin 映射每个纤维中此类轨道数量的公式：$2^{\sum_{i=1}^{n-1} j_i}$，其中 $j_i$ 是连续主子矩阵特征多项式之间的公共根数。该结果将早期关于一般正则半单矩阵的结果推广到了谱相交更广泛的矩阵类。

ABSTRACT

In recent work (\cite{KW1},\cite{KW2}), Kostant and Wallach construct an action of a simply connected Lie group $A\simeq \mathbb{C}^{n\choose 2}$ on $gl(n)$ using a completely integrable system derived from the Poisson analogue of the Gelfand-Zeitlin subalgebra of the enveloping algebra. In \cite{KW1}, the authors show that $A$-orbits of dimension ${n\choose 2}$ form Lagrangian submanifolds of regular adjoint orbits in $gl(n)$. They describe the orbit structure of $A$ on a certain Zariski open subset of regular semisimple elements. In this paper, we describe all $A$-orbits of dimension ${n\choose 2}$ and thus all polarizations of regular adjoint orbits obtained using Gelfand-Zeitlin theory.

研究动机与目标

• 完全描述 Gelfand-Zeitlin 群 $A$ 在 $\mathfrak{gl}(n)$ 上的轨道结构，特别是所有维度为 $\binom{n}{2}$ 的轨道。
• 将 $A$ 在正则半单矩阵的 Zariski 开子集上的已知传递作用推广到谱相交非一般的更广泛矩阵类。
• 为 Gelfand-Zeitlin 映射 $\Phi$ 的每个纤维中 $A$-轨道的数量与结构提供显式、组合式的描述。
• 识别出 $\mathfrak{gl}(n)$ 的最大子集，使得 $A$ 在 $\Phi$ 的纤维上作用传递，推广先前的通用情况。

提出的方法

• 将 Gelfand-Zeitlin 群 $A$ 构造为由 Gelfand-Zeitlin 函数 $f_{i,j}(x) = \operatorname{tr}(x_i^j)$ 的哈密顿向量场生成的可交换李代数的单连通李群。
• 使用 Gelfand-Zeitlin 映射 $\Phi: \mathfrak{gl}(n) \to \mathbb{C}^{n(n+1)/2}$，其纤维 $\mathfrak{gl}(n)_c$ 参数化主子矩阵迹固定的矩阵。
• 通过构造递归映射 $\Gamma_n^{a_1,\dots,a_{n-1}}$，将每个 $A$-轨道实现为从连通可交换代数群乘积出发的态射像。
• 通过在每一级 $i$ 将纤维 $\mathfrak{gl}(n)^{sreg}_c$ 分解为 $Z_i$-轨道来分析，其中 $Z_i$ 是在相容子矩阵数据空间上自由作用的群。
• 引入组合数据 $j_i$，即 $p_{c_i}(t)$ 与 $p_{c_{i+1}}(t)$ 之间公共根的数量，以计数 $\mathfrak{gl}(n)^{sreg}_c$ 中 $A$-轨道的数量。
• 证明 $A$ 在 $\mathfrak{gl}(n)^{sreg}_c$ 上作用传递当且仅当 $c \in \Theta_n$，即连续特征多项式无公共根的参数集合。

实验结果

研究问题

• RQ1 Gelfand-Zeitlin 群 $A$ 在 $\mathfrak{gl}(n)$ 上的完整轨道结构是什么，超越此前研究的通用正则半单情形？
• RQ2 在纤维 $\mathfrak{gl}(n)^{sreg}_c$ 中，$A$-轨道的数量如何依赖于主子矩阵的谱数据？
• RQ3 能否将 $A$ 在纤维上作用传递的矩阵集合扩大至正则半单情形之外？
• RQ4 当连续子矩阵的特征多项式有公共根时，$\mathfrak{gl}(n)^{sreg}_c$ 中 $A$-轨道的代数结构是什么？
• RQ5 是否存在一种统一的描述，将所有 $A$-轨道表示为可交换代数群的自由作用？

主要发现

• 在 $\mathfrak{gl}(n)^{sreg}_c$ 中，$A$-轨道的数量恰好为 $2^{\sum_{i=1}^{n-1} j_i}$，其中 $j_i$ 是第 $i$ 个与第 $(i+1)$ 个主子矩阵特征多项式之间的公共根数。
• $\mathfrak{gl}(n)^{sreg}_c$ 中的 $A$-轨道恰好是可交换、连通代数群 $Z = Z_1 \times \cdots \times Z_{n-1}$ 的自由代数作用的轨道。
• $A$ 在 $\mathfrak{gl}(n)^{sreg}_c$ 上作用传递当且仅当 $c \in \Theta_n$，即连续特征多项式无公共根的参数集合。
• $\mathfrak{gl}(n)_\Theta = \bigcup_{c \in \Theta_n} \mathfrak{gl}(n)_c$ 是 $\mathfrak{gl}(n)$ 中使得 $A$ 在 $\Phi$ 的纤维上作用传递的最大子集。
• 对于 $c \in \Theta_n$，纤维 $\mathfrak{gl}(n)_c$ 作为代数簇同构于 $Z_1 \times \cdots \times Z_{n-1}$，且 $\mathfrak{gl}(n)_\Theta$ 中的所有元素均为强正则元素。
• 由于 $Z_i$-作用的自由性以及 $\Gamma_n^{a_1,\dots,a_{n-1}}$ 的递归构造，$\mathfrak{gl}(n)_\Theta$ 中任意矩阵的严格上三角部分由其严格下三角部分唯一确定。