[论文解读] The Gelfand-Zeitlin integrable system and its action on generic elements of gl(n) and so(n)

Mark Colarusso|ArXiv.org|Nov 6, 2008

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

一句话总结

本文将 Gelfand-Zeitlin 可积系统从 gl(n) 扩展到 so(n)，在复正交李代数 so(n) 上构造了 ℂ^d 的解析作用，其中 d 是正则伴随轨道维数的一半。证明了该作用在 so(n) 中正则半单元素的 Zariski 开子集上是传递的，推广了 Kostant 和 Wallach 在 gl(n) 上的结果，并完整描述了幂零根系和正则半单纤维中的 A-轨道结构。

ABSTRACT

In recent work Bertram Kostant and Nolan Wallach ([KW1], [KW2]) have defined an interesting action of a simply connected Lie group $A$ isomorphic to \mathbb{C}^{n\choose 2} on gl(n) using a completely integrable system derived from Gelfand-Zeitlin theory. In this paper we show that an analogous action of \mathbb{C}^{d} exists on the complex orthogonal Lie algebra so(n), where d is half the dimension of a regular adjoint orbit in so(n). In [KW1], Kostant and Wallach describe the orbits of $A$ on a certain Zariski open subset of regular semisimple elements in gl(n). We extend these results to the case of so(n). We also make brief mention of the author's results in [Col1], which describe all $A$-orbits of dimension {n\choose 2} in gl(n).

研究动机与目标

• 将 Gelfand-Zeitlin 可积系统及其关联的 ℂ^d 作用从 gl(n) 扩展至 so(n)。
• 通过来自不变多项式的哈密顿向量场，在 so(n) 上构造 ℂ^d 的解析作用。
• 描述该作用在 so(n) 中正则半单元素的 Zariski 开子集上的轨道结构。
• 推广 Kostant 和 Wallach 在 gl(n) 上的结果至正交情形，为 so(n) 提供新证明和完整陈述。
• 对包含对角 Cartan 子代数的 Borel 子代数中的 𝔤𝔩(n)₀ˢʳᵉᵍ 幂零根系中的 A-轨道进行分类。

提出的方法

• 使用 Gelfand-Zeitlin 构造，在 so(n) 上构造完全可积系统，其中函数 f_{i,j} 定义为 x ∈ so(n) 的主子式之迹或 Pfaffian。
• 将向量场的李代数 𝔞 定义为 f_{i,j}（1 ≤ i ≤ n−1 且 1 ≤ j ≤ r_i）对应的哈密顿向量场的张成。
• 证明 𝔞 积分生成 A ≅ ℂ^d 在 so(n) 上的全局解析作用，推广了 [KW1] 中 gl(n) 的结果。
• 利用 f_{i,j} 函数的泊松对易性和代数独立性，证明在正则伴随轨道上完全可积。
• 通过研究 Gelfand-Zeitlin 映射 Ψ: so(n) → ℂ^{n(n+1)/2} 的纤维，分析该作用在正则半单元素上的行为，并识别出使作用传递的参数集合 Θ_n。
• 利用 Weyl 群作用，通过置换分类包含标准 Cartan 子代数的 Borel 子代数的幂零根系的闭包。

实验结果

研究问题

• RQ1 gl(n) 上 Kostant-Wallach 作用的类似物是否存在于复正交李代数 so(n) 上？
• RQ2 Gelfand-Zeitlin 可积系统能否扩展至 so(n)，以在正则半单元素上诱导 ℂ^d 的传递作用？
• RQ3 so(n) 的幂零根系中 A-轨道的结构是什么？它们与 Borel 子代数有何关系？
• RQ4 对于哪些参数 c ∈ ℂ^{n(n+1)/2}，A 的作用在纤维 Ψ⁻¹(c) ∩ so(n)ˢʳᵉᵍ 上是传递的？
• RQ5 幂零根系中 A-轨道的闭包如何对应于包含标准 Cartan 子代数的 Borel 子代数的共轭类？

主要发现

• 在 so(n) 上存在 ℂ^d 的解析作用，其中 d = ½ dim(orbit) 为正则伴随轨道的维数，该结果推广了 Kostant 和 Wallach 在 gl(n) 上的结果。
• ℂ^d 在 so(n) 中正则半单元素的 Zariski 开子集上的作用是传递的，当且仅当对应参数 c 属于 ℂ^{n(n+1)/2} 的 Zariski 开子集 Θ_n。
• 在幂零根系 𝔤𝔩(n)₀ˢʳᵉᵍ 中恰好有 2^{n−1} 个 A-轨道，且每个轨道的闭包是包含对角 Cartan 子代数的 Borel 子代数的幂零根系。
• 每个 𝔤𝔩(n)₀ˢʳᵉᵍ 中 A-轨道的闭包，通过唯一的 Weyl 群元素 σ = σ₁⋯σ_{n−1} 共轭于严格下三角矩阵，其中每个 σ_i 要么是恒等元，要么是 S_{i+1} 中的长元。
• 使 A 作用在 Gelfand-Zeitlin 映射纤维上传递的最大强正则元素集合为 ℤ_Θ = Ψ⁻¹(Θ_n) ∩ 𝔤𝔩(n)ˢʳᵉᵍ。
• 𝔤𝔩(n)₀ˢʳᵉᵍ 中的 A-轨道结构由 (ℂ×)^{n−1} × ℂ^{{ninom{2}} - n + 1} 的自由代数作用描述，确认了轨道计数和闭包结构。