[论文解读] Quasi-particles models for the representations of Lie algebras and geometry of flag manifold

Boris Feigin, A. V. Stoyanovsky|arXiv (Cornell University)|Aug 17, 1993

Algebraic structures and combinatorial models参考文献 6被引用 99

一句话总结

本文通过受限对称幂与广义 Serre 关系，构建了仿射李代数真空表示主子空间对偶的函数模型。利用含极点的泛函上的新颖霍普夫代数结构，推导出 sl₃ 的特征标公式，通过类似准粒子的组合数学方法，实现了韦尔特征标公式的全新实现。

ABSTRACT

We give a new interpretation and proof of the "quasi-particle" type character formulas for integrable representations of the simply-laced affine Kac-Moody algebras through a new "semi-infinite" construction of such representations. We compare formulas of this kind to other formulas obtained using the geometry of the corresponding flag manifold and in particular give a new proof to the Gordon type identities.

研究动机与目标

• 通过微分形式的受限对称代数，构建仿射李代数真空表示主子空间对偶的函数模型。
• 通过引入具有极点条件的多分次泛函，将准粒子方法推广至高秩李代数，特别是 sl₃。
• 通过半无限受限对称幂构造，推导出 bsl₃ 的不可约高权表示的特征标公式。
• 通过余代数与霍普夫代数技术，建立真空模的消去理想与对偶空间结构之间的联系。
• 通过对称函数中极点的组合约束，将特征标的准粒子实现推广至高秩仿射李代数。

提出的方法

• 将主子空间 Wk 的对偶空间构造为具有极点的多分次对称函数空间的商，使用取值于 g* 的直线上的 1-形式的扩展对称代数。
• 为 sl₂ 构造受限对称幂 S*(k+1)T¹，通过对应于根空间的变量 x_i 与 y_j 的双变量函数空间，将其推广至 sl₃。
• 通过 (x_i - y_j)⁻¹ 的 τ₊ 与 τ₋ 分解，利用洛朗展开，定义在具有单极点的亚纯函数上的泛函的霍普夫代数 A = ⊕A_{m,n}。
• 通过要求当 x₁=x₂=y₁ 或 y₁=y₂=x₁ 时，多项式部分 f 恒为零，施加类 Serre 关系，定义子余代数 U ⊂ eU。
• 利用对偶空间 U* 实现 U(ĝ⁻) 为商代数，并将 Wk* 识别为 U* 的子空间，其上附加 x₁=...=x_{k+1} 与 y₁=...=y_{k+1} 处的消失条件。
• 通过嵌套分拆的求和，结合 q-Pochhammer 分母与包含 N_i、M_j 及交叉项 ∑_{i<j} M_i N_j 的单项式权重，推导出 Wk 的特征标。

实验结果

研究问题

• RQ1 如何将仿射李代数主子空间 Wk 的对偶空间实现为具有指定极点条件的对称亚纯形式的函数空间？
• RQ2 具有单极点的亚纯函数泛函的霍普夫代数结构是什么？它与仿射李代数负部分的通用包络代数有何关系？
• RQ3 当 k+1 个变量重合时，广义 Serre 关系（即多项式部分消失）如何刻画 k 级真空表示的消去理想？
• RQ4 能否通过受限对称幂与组合约束，从类似准粒子的模型中推导出 bsl₃ 不可约真空表示的特征标？
• RQ5 半无限受限对称幂构造与可积高权模的标准特征标公式之间的确切关系是什么？

主要发现

• 对偶空间 (Wk)∗ 同构于对称函数 f(x₁,…,xₘ;y₁,…,yₙ) 的空间 M = ⊕M_{m,n}，其中 x₁…xₘy₁…yₙ 与极点 (x_i - y_j)⁻¹ 存在，且当 x₁=…=x_{k+1} 或 y₁=…=y_{k+1} 时消失。
• sl₃ 的主子空间 Wk 的特征标为 ch Wk(q,z₁,z₂) = ∑_{N₁≤…≤Nₖ, M₁≤…≤Mₖ} q^{∑N_i² + ∑M_j² - ∑_{i<j} M_i N_j} z₁^{∑N_i} z₂^{∑M_j} / [(q)_{N₂−N₁}⋯(q)_{Nₖ−Nₖ₋₁} (q)_{M₂−M₁}⋯(q)_{Mₖ−Mₖ₋₁}]。
• 当 z₁ = z₂ = 1 时，特征标简化为第 4.3.4(c) 节中的 Ψ_{A₂⊗B⁻¹_k}，与 Lepowsky–Primc 及 Kedem–Mickelsson 的已知公式一致。
• 霍普夫代数 A = ⊕A_{m,n} 由具有极点的亚纯函数的洛朗系数构造，其乘法通过余乘法与 τ₊/τ₋ 展开定义。
• 由当 x₁=x₂=y₁ 或 y₁=y₂=x₁ 时 f 恒为零所定义的子余代数 U ⊂ eU，其对偶空间同构于 U(ĝ⁻)，其商代数实现为 Wk*。
• 不可约表示 V_{(0,0,k)} 的完整特征标通过将 Wk 特征标除以 (q)∞² 获得，从而以嵌套分拆与 q-级数的新形式表达。