[论文解读] Diamond representations of rank two semisimple Lie algebras

Boujemaâ Agrebaoui, Didier Arnal+1 more|arXiv (Cornell University)|Jul 21, 2008

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

一句话总结

本文通过引入‘准标准杨表’——一种满足额外极小性条件的半标准杨表的改进形式——为秩二半单李代数（A₁×A₁、A₂、C₂、G₂）的约化形状代数构建了显式的组合基。该方法将此前仅适用于 sl(n) 的钻石表示框架推广至所有秩二情形，证明这些杨表构成在无扭子群 N⁻ 上的多项式函数代数的基，从而通过限制有限维 g-模，给出了 N⁻ 的正则表示的显式实现。

ABSTRACT

The present work is a part of a larger program to construct explicit combinatorial models for the (indecomposable) regular representation of the nilpotent factor $N$ in the Iwasawa decomposition of a semi-simple Lie algebra $\mathfrak g$, using the restrictions to $N$ of the simple finite dimensional modules of $\mathfrak g$. Such a description is given in \cite{[ABW]}, for the cas $\mathfrak g=\mathfrak{sl}(n)$. Here, we give the analog for the rank 2 semi simple Lie algebras (of type $A_1 imes A_1$, $A_2$, $C_2$ and $G_2$). The algebra $\mathbb C[N]$ of polynomial functions on $N$ is a quotient, called reduced shape algebra of the shape algebra for $\mathfrak g$. Basis for the shape algebra are known, for instance the so called semi standard Young tableaux (see \cite{[ADLMPPrW]}). We select among the semi standard tableaux, the so called quasi standard ones which define a kind basis for the reduced shape algebra.

研究动机与目标

• 将此前仅在 sl(n) 情形下建立的钻石表示框架推广至所有秩二半单李代数。
• 为约化形状代数定义一个组合基，该代数是形状代数模去编码 N⁻ 的无扭子结构关系后的商代数。
• 通过一类新杨表——准标准杨表——来刻画该基，其满足类似于 sl(n) 情形的极小性条件。
• 通过限制有限维 g-模，为无扭子群 N⁻ 的正则表示提供显式且可计算的模型。

提出的方法

• 将形状代数构造为所有有限维不可约 g-模 V^λ 的直和，通过由格偏序集理想构建的半标准杨表实现。
• 将约化形状代数定义为形状代数模去由关系 (1) 和 (2) 生成的理想，这些关系对应于 N⁻ 中的无扭子关系。
• 引入‘准标准杨表’作为半标准杨表的一个子集，其满足额外条件：若移除第一列的顶部元素，则会破坏半标准性或导致平凡性。
• 利用格偏序集及其组合结构，为最高权 λ = aω₁ + bω₂ 构造杨表，确保与李代数结构相容。
• 通过证明在商代数背景下线性无关性与张成性，验证准标准杨表集合构成约化形状代数的基。
• 利用已知的 g-模实现方式（例如，sl(n) 情形下通过外幂实现）将秩二代数嵌入 sl(n)，并转移组合框架。

实验结果

研究问题

• RQ1 sl(n) 的钻石表示框架如何推广至其他秩二半单李代数？
• RQ2 半标准杨表需满足何种组合条件，才能使其在约化形状代数中下降为 N⁻ 的基？
• RQ3 约化形状代数中的关系 (1) 和 (2) 如何对应于无扭子群 N⁻ 的无扭子结构？
• RQ4 准标准杨表能否在所有秩二类型（A₁×A₁、A₂、C₂、G₂）中统一定义，且是否能为 N⁻ 的正则表示提供基？
• RQ5 形状代数、约化形状代数与 N⁻ 上多项式函数代数之间的确切关系为何？

主要发现

• 准标准杨表构成每个秩二半单李代数（包括 A₁×A₁、A₂、C₂、G₂）约化形状代数的基。
• 该构造将 sl(n) 情形下的钻石表示框架推广至所有秩二情形，同时保持组合极小性条件。
• 约化形状代数同构于无扭子群 N⁻ 上多项式函数的代数，其基由准标准杨表给出。
• 对每个最高权 λ = aω₁ + bω₂，形状为 (a,b) 的准标准杨表的数量，恰好等于对应不可约 g-模 V^λ 在约化代数中的维数。
• 该方法成功将秩二李代数嵌入 sl(n)（n=3,4,7），以利用已知的半标准杨表构造，确保一致性。
• 准标准条件确保：无法通过移除第一列顶部元素而不破坏半标准性或导致平凡性，这恰好对应于代数结构中 N⁻ 的定义关系。