[论文解读] Eigenvalue Coincidences and Multiplicity Free Spherical Pairs

Mark Colarusso, Sam Evens|arXiv (Cornell University)|Oct 15, 2014

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

一句话总结

本文将特征值重合簇从 gl(n,C) 推广至 so(n,C)，为正交李代数上的 K-轨道建立了几何与不变量理论框架。证明了最大维数的 K-轨道对应于 K-不变生成元微分线性无关的点，推广了 Kostant 定理，并为 Gelfand-Zeitlin 可积系统中强正则元素提供了新刻画，该刻画对系统构造至关重要。

ABSTRACT

In recent work, we related the structure of subvarieties of $n imes n$ complex matrices defined by eigenvalue coincidences to $GL(n-1,\mathbb{C})$-orbits on the flag variety of $\mathfrak{gl}(n,\mathbb{C})$. In the first part of this paper, we extend these results to the complex orthogonal Lie algebra $\mathfrak{g}=\mathfrak{so}(n,\mathbb{C})$. In the second part of the paper, we use these results to study the geometry and invariant theory of the $K$-action on $\mathfrak{g}$, in the cases where $(\mathfrak{g}, K)$ is $(\mathfrak{gl}(n,\mathbb{C}), GL(n-1,\mathbb{C}))$ or $(\mathfrak{so}(n,\mathbb{C}), SO(n-1,\mathbb{C}))$. We study the geometric quotient $\mathfrak{g} o \mathfrak{g}//K$ and describe the closed $K$-orbits on $\mathfrak{g}$ and the structure of the zero fibre. We also prove that for $x\in \mathfrak{g}$, the $K$-orbit $Ad(K)\cdot x$ has maximal dimension if and only if the algebraically independent generators of the invariant ring $\mathbb{C}[\mathfrak{g}]^{K}$ are linearly independent at $x$, which extends a theorem of Kostant. We give applications of our results to the Gelfand-Zeitlin system.

研究动机与目标

• 将特征值重合簇的研究从 gl(n,C) 扩展至复正交李代数 so(n,C)。
• 通过商映射 g → g//K，研究 g = so(n,C) 上 K = SO(n−1,C) 作用的几何与不变量理论。
• 刻画闭合 K-轨道，并描述 Kostant-Wallach 映射 Φn 的零纤维结构。
• 通过证明最大维数 K-轨道对应于不变生成元微分的线性无关性，推广 Kostant 定理。
• 将上述结果应用于 so(n,C) 上的 Gelfand-Zeitlin 可积系统，提供强正则元素的简化定义。

提出的方法

• 在 so(n,C) 中定义特征值重合簇 g(≥i) 为满足 x 与其 (n−1)×(n−1) 左上角子矩阵 x_k 的谱至少有 2i 个特征值重合的集合（计及重数与 ± 对称性）。
• 利用 Kostant-Wallach 映射 Φn: g → C^k，通过商空间 g//K 研究几何商与零纤维 Φn⁻¹(0)。
• 应用 Knop 定理证明 C[g]^K 为多项式代数，从而将商映射识别为 Φn。
• 通过 Borel 子代数的 K-饱和性，将旗流形 B_g 上的 K-轨道与特征值重合簇的结构联系起来。
• 在球对条件下证明映射 Ψ: h^⊥ → h^⊥//H 的平坦性，利用维数估计与 moment 映射的完备性。
• 利用 f|_h^⊥ 是生成元 g₁,…,g_k 的多项式这一事实，证明 Ψ⁻¹(0) 中的元素是幂零的，且位于 moment 映射的像中。

实验结果

研究问题

• RQ1 so(n,C) 中的特征值重合簇如何推广 gl(n,C) 中的情形？其几何结构如何？
• RQ2 在 K = SO(n−1,C) 作用下，g = so(n,C) 上的闭合 K-轨道具有何种结构？
• RQ3 Kostant-Wallach 映射 Φn 的零纤维如何与 g 的几何结构及不变量环 C[g]^K 相关联？
• RQ4 最大维数 K-轨道的条件能否通过 K-不变生成元微分的线性无关性来刻画？
• RQ5 通过微分线性无关性对强正则元素的新刻画，如何简化 so(n,C) 上 Gelfand-Zeitlin 可积系统的构造与分析？

主要发现

• so(n,C) 中特征值重合簇 g(≥i) 的不可约分支由旗流形 B_g 上的 K-轨道索引。
• 零纤维 Φn⁻¹(0) 是等维的，维数为 dim g − dim g//K，其不可约分支与 B_g 上的 K-轨道相关。
• Kostant-Wallach 映射 Φn 是平坦的，该结论通过维数估计与 moment 映射的完备性得到证明。
• 当且仅当 C[g]^K 的代数独立生成元在 x 处的微分线性无关时，K-轨道 Ad(K)·x 达到最大维数，从而推广了 Kostant 定理。
• n-强正则集在 so(n,C) 中非空仅当 n = 3，且 nilfibre Φ⁻¹(0) 不包含强正则元素。
• 通过微分线性无关性对 n-强正则元素的新定义，使得可直接在 so(n,C) 上构造 Gelfand-Zeitlin 系统，无需使用截面。