[论文解读] Symplectic and Hamiltonian properties of holomorphic coadjoint orbits

Guillaume Deltour|arXiv (Cornell University)|Jan 20, 2011

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

一句话总结

本论文为实半单李群 G 的余伴随轨道（投影至全纯余伴随轨道）的矩映射像建立了一套完整的线性不等式系统，特别关注非紧致、单连通、Hermitian 对称空间的情形。通过利用李代数非紧致部分上的不变复结构以及 Weyl 群中良好覆盖对的组合学，作者推导出显式的矩多面体方程，推广了 Ressayre 的判别准则，并为 SU(p,q)、Sp(2n,R) 和 SO*(2n) 提供了计算框架。

ABSTRACT

This thesis studies the symplectic structure of holomorphic coadjoint orbits, and their projections. A holomorphic coadjoint orbit O is an elliptic coadjoint orbit which is endowed with a natural invariant Kählerian structure. These coadjoint orbits are defined for a real semi-simple connected non-compact Lie group G with finite center, such that G/K is a Hermitian symmetric space, where K is a maximal compact subgroup of G. Holomorphic coadjoint orbits are a generalization of the Hermitian symmetric space G/K. In this thesis, we prove that the McDuff's symplectomorphism on Hermitian symmetric spaces, has an analogous for holomorphic coadjoint orbits. Then, using this symplectomorphism and recent GIT arguments from Ressayre, we compute the equations of the projection of the O, relatively to the maximal compact subgroup K.

研究动机与目标

• 表征非紧致实半单李群的矩映射像（全洁余伴随轨道的投影）。
• 将 Ressayre 的矩多面体判别准则推广至非紧致设定下的全洁余伴随轨道。
• 提供一种系统化的计算方法，利用良好覆盖对与 Weyl 群组合学来确定矩多面体方程。
• 将结果应用于经典群如 Sp(2n,R)、SU(p,q)、SO*(2n) 和 SO(2p,2)，尤其在 Hermitian 对称情形下。
• 建立李代数非紧致部分上的复结构与矩多面体方程之间的联系。

提出的方法

• 利用实半单李群 G 的分解 𝔤 = 𝔨 ⊕ 𝔭，其中 K 为极大紧致子群。
• 通过 𝔨 的中心中元素的伴随作用，在 𝔭 上引入 K-不变复结构，将 𝔭⁺ 和 𝔭⁻ 定义为复向量空间。
• 应用作者先前工作的推论 E，利用 𝒫₀(𝔭⁻) 中的良覆盖对 (C(w,w′,0), λ) 推导矩多面体不等式。
• 使用 Chevalley 公式计算 GLₙ(ℂ) 的完整旗流形上上同调中的上积，这对于验证良覆盖条件至关重要。
• 系统计算复化极大环面 Tℂ 的所有极大、不可约、𝔭-可接受的一参数子群 λ。
• 将矩多面体 Δ_K(𝒪_Λ) 表示为所有此类良覆盖对的不等式 ⟨wλ, ξ⟩ ≤ ⟨w₀w′λ, Λ⟩ 的解集。

实验结果

研究问题

• RQ1 在极大紧致子群作用下，全洁余伴随轨道的矩映射像的完整线性不等式系统是什么？
• RQ2 Ressayre 的矩多面体判别准则如何推广至非紧致实半单李群中的全洁余伴随轨道？
• RQ3 K-不变复结构在李代数非紧致部分 𝔭 上在确定矩多面体中的作用是什么？
• RQ4 哪些组合数据——特别是 Weyl 群中的良覆盖对——决定了经典群的矩多面体？
• RQ5 能否为特定群如 SU(p,q)、Sp(2n,R) 和 SO*(2n) 显式计算矩多面体方程？

主要发现

• 全洁余伴随轨道的矩多面体 Δ_K(𝒪_Λ) 由所有良覆盖对 (C(w,w′,0), λ) ∈ 𝒫₀(𝔭⁻) 的不等式系统 ⟨wλ, ξ⟩ ≤ ⟨w₀w′λ, Λ⟩ 所刻画。
• 当 G 为单连通、非紧致、Hermitian 对称且中心有限时，矩多面体完全由定理 G 中的不等式所描述。
• 作者计算了经典群（包括 Sp(2n,R)、SU(p,q)、SO*(2n) 和 SO(2p,2)）的所有极大、不可约、𝔭-可接受的一参数子群 λ。
• 该方法成功计算了 SU(n,1)、SO*(6)、SO*(8) 和 SU(2,2) 的矩多面体，证明了该框架的有效性。
• 该工作证明了某些 Horn 型三元组 (I,J,L) 作为 SU(n,1) 矩多面体方程中的指标三元组出现，将问题与 Horn 猜想联系起来。
• 𝔭⁻ 上的复结构对应于 𝔤 的负非紧致根，且该结构在矩多面体方程推导中至关重要。