[论文解读] Young tableaux and crystal $B(\infty)$ for finite simple Lie algebras

Jin Hong, Hyeonmi Lee|arXiv (Cornell University)|Jul 21, 2005

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

一句话总结

本文通过使用有限单纯李代数类型 $A_n$、$B_n$、$C_n$、$D_n$ 和 $G_2$ 的大半标准杨表，首次给出了量子群负部分的晶体基 $×frak{B}(∞)$ 的显式实现。它在这些杨表的等价类上构造了晶体结构，并证明其与 $×frak{B}(∞)$ 同构，提出了一种新的基于杨表的模型，该模型推广了以往的工作，并通过显式同构与 Cliff 的实现相联系。

ABSTRACT

We study the crystal base of the negative part of a quantum group. An explicit realization of the crystal is given in terms of Young tableaux for types $A_n$, $B_n$, $C_n$, $D_n$, and $G_2$. Connection between our realization and a previous realization of Cliff is also given.

研究动机与目标

• 为有限单纯李代数类型 $A_n$、$B_n$、$C_n$、$D_n$ 和 $G_2$ 的晶体 $×frak{B}(\u221e)$ 提供一种基于杨表的显式、组合化实现。
• 将已知的最高权晶体 $×frak{B}(\lambda)$ 的杨表实现扩展到无穷维情形 $×frak{B}(\u221e)$。
• 在新基于杨表的实现与 Cliff 早期对 $×frak{B}(\u221e)$ 的实现之间建立同构关系。
• 为类型 $B_n$、$C_n$、$D_n$ 和 $G_2$ 提供一个统一框架，用于构造 Nakajima 单项式实现 $×frak{B}(\u221e)$，类似于已知的 $A_n$ 情况。

提出的方法

• 将‘大’半标准杨表定义为每行末尾具有足够多零，使得 Kashiwara 算子作用后仍保持‘大’性质的杨表。
• 在大杨表上引入等价关系：若对每个 $i$ 和 $j \succ i$，两杨表中第 $i$ 行内 $j$-格子的数量相同，则称其等价。
• 将集合 $\mathcal{T}(\u221e) = \mathcal{T}^L / \sim$ 定义为大杨表等价类的集合。
• 通过从 $\mathcal{T}^L$ 中的代表元提升作用，定义 $\mathcal{T}(\u221e)$ 上的 Kashiwara 算子 $\tilde{f}_i$ 和 $\tilde{e}_i$，并利用等价关系确保其定义良好。
• 证明所得到的晶体 $\mathcal{T}(\u221e)$ 满足晶体的公理，包括符号规则和晶体图的连通性。
• 通过匹配杨表与其对应的单项式表达式，显式构造 $\mathcal{T}(\u221e)$ 与 Cliff 的 $\mathcal{B}(\u221e)$ 实现之间的同构。

实验结果

研究问题

• RQ1 有限单纯李代数的晶体 $\mathcal{B}(\u221e)$ 能否在类型 $A_n$ 之外，通过杨表实现组合化？
• RQ2 是否存在一种统一的构造方法，利用大半标准杨表在类型 $A_n$、$B_n$、$C_n$、$D_n$ 和 $G_2$ 中保持晶体结构？
• RQ3 新杨表实现的 $\mathcal{B}(\u221e)$ 与基于不同组合对象的 Cliff 早期实现之间有何关系？
• RQ4 新杨表模型能否用于构造类型 $B_n$、$C_n$、$D_n$ 和 $G_2$ 的 $\mathcal{B}(\u221e)$ 的 Nakajima 单项式实现？

主要发现

• 本文将 $\mathcal{B}(\u221e)$ 的新实现构造为在特定等价关系下大半标准杨表等价类的集合，该等价关系基于第 $i$ 行中标签大于 $i$ 的格子数量。
• 在 $\mathcal{T}(\u221e)$ 上的晶体结构定义良好，且与标准 $\mathcal{B}(\u221e)$ 晶体同构，通过验证 Kashiwara 算子公理和连通性得以确认。
• 在类型 $A_n$ 情况下，新实现与 [hm] 之前获得的结果等价，尽管其推导方法不同，基于杨表的‘大’性质与等价类。
• 显式构造了新杨表实现与 Cliff 的 $\mathcal{B}(\u221e)$ 实现之间的同构，表明两种组合模型是等价的。
• 该框架为在类型 $B_n$、$C_n$、$D_n$ 和 $G_2$ 中构造 $\mathcal{B}(\u221e)$ 的 Nakajima 单项式实现提供了基础，扩展了已知的 $A_n$ 情况。