[论文解读] Abelian ideals of a Borel subalgebra and long positive roots

Dmitri I. Panyushev|ArXiv.org|Oct 28, 2002

Advanced Topics in Algebra参考文献 4被引用 7

一句话总结

本文建立了Borel子代数的非平凡阿贝尔理想与单李代数中长正根之间的自然对应关系，证明每个长根上的纤维形成一个偏序集，且具有唯一的极小与极大元。这些纤维的结构通过与朗兰兹对偶李代数的最小表示的权偏序集的同构得到完全描述，为此前基于逐个情况分析的关于极大阿贝尔理想及其根类型的观察提供了统一且概念性的解释。

ABSTRACT

Let $\b$ be a Borel subalgebra of a simple Lie algebra $\g$ and let $\Ab$ denote the set of all Abelian ideals of $\b$. We consider $\Ab$ as poset with respect to inclusion, the zero ideal being the unique minimal element of $\Ab$. It was shown in my paper with G.Roehrle (Adv. Math. v.159 (2001)) that there is a one-to-one correspondence between the maximal Abelian ideals and the long simple roots of $\g$. But the very existence of it was demonstrated in a case-by-case fashion. Here a conceptual explanation for that empirical observation is given. The main results are: 1) there is a natural mapping $τ$ from the set of all nontrivial Abelian ideals to the set of long positive roots; 2) If $I$ is a maximal Abelian ideal, then $τ(I)$ is a long simple root. Restricting $τ$ to the set of maximal Abelian ideals yields the above-mentioned correspondence; 3) Each fibre of $τ$ is a poset in its own right, and we prove that this fibre has a unique maximal and a unique minimal element. 4) An explicit description of the minimal and the maximal ideal corresponding to a long root is given.

研究动机与目标

• 为先前仅通过逐个情况分析建立的极大阿贝尔理想与长简单根之间的经验对应关系提供概念性解释。
• 定义并研究按其根节（在自然映射到长正根下的像）分组的阿贝尔理想的偏序集结构。
• 刻画该映射每个纤维内的极小与极大元素，并描述其代数与组合性质。
• 建立与每个长正根相关联的阿贝尔理想偏序集的统一、无案例依赖的描述，将其与最小表示及朗兰兹对偶的布饶特偏序集相联系。

提出的方法

• 引入从非平凡阿贝尔理想集合到长正根集合的自然映射 τ，为每个理想分配其根节。
• 证明对每个长正根 μ，纤维 τ⁻¹(μ) 构成一个偏序集，且具有唯一的极小与极大元。
• 通过根系组合学显式描述每个纤维中的极小理想，并证明其由与最高根非正交的根所刻画。
• 利用阿贝尔理想与仿射Weyl群中最小元素之间的对应关系，推导结构结果，并通过扩展过程构造理想。
• 建立每个纤维 Ab_μ 与极大抛物子代数的幂零根系中阿贝尔理想偏序集之间的同构，而后者又同构于朗兰兹对偶李代数的基本最小表示的布饶特偏序集 W^(μ)/W^(μ)_φ。
• 通过经典与例外李代数（包括 sl_n, sp_2n, G_2, F_4, E_6, E_7, E_8）的显式计算验证结构。

实验结果

研究问题

• RQ1 为何极大阿贝尔理想恰好对应于长简单根，是否存在超越逐案验证的统一解释？
• RQ2 共享相同根节 μ 的阿贝尔理想集合的内部偏序集结构是什么？
• RQ3 每个纤维 τ⁻¹(μ) 中的极小与极大阿贝尔理想能否用根系数据显式描述？
• RQ4 纤维 Ab_μ 的大小由什么决定，何时满足 |Ab_μ| > 1 或 > 2？
• RQ5 是否存在 Ab_μ 的统一、无案例依赖的描述，其与表示理论有何关系？

主要发现

• 映射 τ: Ab_o → Δ⁺_l，为每个非平凡阿贝尔理想分配其根节，是良定义且满射的，其纤维构成具有唯一极小与极大元的偏序集。
• 对每个长正根 μ，Ab_μ 中的极小理想由其所有根与最高根 θ 不正交的条件所刻画。
• 极大阿贝尔理想与长简单根之间存在一一对应，证实并推广了先前基于特定情况的结果。
• 当且仅当 (μ, θ) = 0 时，|Ab_μ| > 1；当且仅当对应的根系数据满足特定组合条件时，|Ab_μ| > 2。
• 每个纤维 Ab_μ 同构于极大抛物子代数的幂零根系中阿贝尔理想偏序集，而后者又同构于朗兰兹对偶李代数的最小表示的布饶特偏序集 W^(μ)/W^(μ)_φ。
• 对 E_6, E_7, E_8 的显式计算表明，满足 |Ab_μ| = i 的阿贝尔理想数量完全由根高和系数条件决定，且满足 ∑i·m_i = 2^{rk g} − 1，从而确认了总数。