[论文解读] U(h)-free modules and coherent families

Jonathan Nilsson|arXiv (Cornell University)|Jan 13, 2015

Algebraic structures and combinatorial models被引用 5

一句话总结

本文研究李代数表示中的 U(h)-自由模，引入一个到一致族的函子，证明此类模仅存在于 A 型和 C 型中。它对 C 型中的秩-1 U(h)-自由模进行了分类，构造了新的简单 sp(2n)-模，并利用平移函子将分类结果推广至更高秩。

ABSTRACT

We investigate the category of U(h)-free g-modules. Using a functor from this category to the category of coherent families, we show that U(h)-free modules only can exist when g is of type A or C. We then proceed to classify isomorphism classes of U(h)-free modules of rank 1 in type C, which includes an explicit construction of new simple sp(2n)-modules. The classification is then extended to higher ranks via translation functors.

研究动机与目标

• 确定不同李代数类型中 U(h)-自由 g-模的存在条件。
• 对 C 型李代数中秩-1 U(h)-自由模的同构类进行分类。
• 利用分类结果显式构造 sp(2n) 的新简单模。
• 通过平移函子将 U(h)-自由模的分类从秩 1 推广至更高秩。

提出的方法

• 定义从 U(h)-自由 g-模范畴到一致族范畴的函子。
• 利用该函子分析 U(h)-自由模的结构约束，将存在性限制在 A 型和 C 型。
• 应用表示论技术对 C 型中的秩-1 U(h)-自由模进行分类。
• 从分类得到的 U(h)-自由模中显式构造新简单 sp(2n)-模。
• 利用平移函子将秩-1分类推广至更高秩的 U(h)-自由模。
• 利用族的一致性来控制模的扩张和同构类型。

实验结果

研究问题

• RQ1 U(h)-自由模在哪些李代数类型中存在？
• RQ2 C 型中秩-1 U(h)-自由模的同构类的完整分类是什么？
• RQ3 能否从 U(h)-自由模显式构造出 sp(2n) 的新简单模？
• RQ4 如何将 U(h)-自由模的分类从秩 1 推广至更高秩？
• RQ5 平移函子在将秩-1分类提升至更高秩模的过程中起什么作用？

主要发现

• U(h)-自由模仅在李代数 g 为 A 型或 C 型时存在。
• 对 C 型李代数中的秩-1 U(h)-自由模的同构类实现了完整分类。
• 该分类导出了对辛李代数 sp(2n) 的新简单模的显式构造。
• 平移函子成功应用于将分类从秩 1 推广至更高秩的 U(h)-自由模。
• 到一致族的函子提供了一个结构桥梁，使得分类与存在性结果得以实现。
• 结果表明，一致族是表示论中分析 U(h)-自由模的强大工具。