[论文解读] A Koszul category of representations of finitary Lie algebras

Elizabeth Dan-Cohen, Ivan Penkov+1 more|arXiv (Cornell University)|May 17, 2011

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

一句话总结

本文引入了有限型李代数 $\mathfrak{g} = \mathfrak{sl}(\infty)$, $\mathfrak{o}(\infty)$, 和 $\mathfrak{sp}(\infty)$ 的可积、有限长度权模的 Koszul 范畴 $\mathbb{T}_{\mathfrak{g}}$，并证明其与有限维 Koszul 代数的直极限上局部单位有限维模的范畴反等价。关键结果是 $\mathbb{T}_{\mathfrak{o}(\infty)}$ 与 $\mathbb{T}_{\mathfrak{sp}(\infty)}$ 之间的等价性，揭示了它们表示理论中深层的对称性。

ABSTRACT

We find for each simple finitary Lie algebra $\mathfrak{g}$ a category $\mathbb{T}_\mathfrak{g}$ of integrable modules in which the tensor product of copies of the natural and conatural modules are injective. The objects in $\mathbb{T}_\mathfrak{g}$ can be defined as the finite length absolute weight modules, where by absolute weight module we mean a module which is a weight module for every splitting Cartan subalgebra of $\mathfrak{g}$. The category $\mathbb{T}_\mathfrak{g}$ is Koszul in the sense that it is antiequivalent to the category of locally unitary finite-dimensional modules over a certain direct limit of finite-dimensional Koszul algebras. We describe these finite-dimensional algebras explicitly. We also prove an equivalence of the categories $\mathbb{T}_{o(\infty)}$ and $\mathbb{T}_{sp(\infty)}$ corresponding respectively to the orthogonal and symplectic finitary Lie algebras $o(\infty)$, $sp(\infty)$.

研究动机与目标

• 为有限型李代数 $\mathfrak{g} = \mathfrak{sl}(\infty)$, $\mathfrak{o}(\infty)$, $\mathfrak{sp}(\infty)$ 的可积表示建立一个范畴框架，这些代数在无穷维情形下并非半单的。
• 证明 $\mathbb{T}_{\mathfrak{g}}$——有限长度绝对权模的范畴——是 Koszul 范畴，利用无穷维李代数的 Koszul 对偶性。
• 从范畴角度描述自然表示与共轭自然表示张量代数的结构，识别 $\mathbb{T}_{\mathfrak{g}}$ 中的不可约内射模。
• 建立表示范畴 $\mathbb{T}_{\mathfrak{o}(\infty)}$ 与 $\mathbb{T}_{\mathfrak{sp}(\infty)}$ 之间的等价性，揭示其表示理论中隐藏的对称性。
• 通过 Koszul 对偶性，为 $\mathfrak{g} = \mathfrak{sl}(\infty)$ 时 $\mathbb{T}_{\mathfrak{g}}$ 中单个对象之间的 Ext 丛提供显式公式。

提出的方法

• 范畴 $\mathbb{T}_{\mathfrak{g}}$ 定义为有限长度绝对权模的范畴——即对 $\mathfrak{g}$ 的每个分裂 Cartan 子代数都是权模的模。
• 证明范畴 $\mathbb{T}_{\mathfrak{g}}$ 与直极限代数 $\mathcal{A}_{\mathfrak{g}}$ 上局部单位有限维模的范畴反等价，其中 $\mathcal{A}_{\mathfrak{g}}$ 由有限维 Koszul 代数构建而成。
• $\mathcal{A}_{\mathfrak{g}}$ 构造为一个张量代数的商代数，关系中涉及对称群作用与 Young 投影算子，编码自然表示与共轭自然表示张量代数的结构。
• 当 $\mathfrak{g} = \mathfrak{sl}(\infty)$ 时，Koszul 对偶代数 $(\mathcal{A}_{\mathfrak{g}}^!)^{\mathrm{opp}}$ 同构于 $\mathcal{A}_{\mathfrak{g}}$，意味着自对偶性，从而实现单个对象之间 Ext 群的显式计算。
• 当 $\mathfrak{g} = \mathfrak{o}(\infty)$ 与 $\mathfrak{g} = \mathfrak{sp}(\infty)$ 时，代数 $\mathcal{A}_{\mathfrak{o}(\infty)}$ 与 $\mathcal{A}_{\mathfrak{sp}(\infty)}$ 通过对称群代数的符号自同构而同构。
• 通过其关联代数 $\mathcal{A}_{\mathfrak{g}}$ 的同构，确立了范畴等价性 $\mathbb{T}_{\mathfrak{o}(\infty)} \simeq \mathbb{T}_{\mathfrak{sp}(\infty)}$。

实验结果

研究问题

• RQ1 如何为有限型李代数如 $\mathfrak{sl}(\infty)$, $\mathfrak{o}(\infty)$, $\mathfrak{sp}(\infty)$ 定义表示的 Koszul 范畴？
• RQ2 在无穷维情形下，自然表示与共轭自然表示张量代数的范畴结构是什么？
• RQ3 Koszul 对偶性能否应用于无穷维李代数表示的非半单范畴？
• RQ4 为何 $\mathbb{T}_{\mathfrak{o}(\infty)}$ 与 $\mathbb{T}_{\mathfrak{sp}(\infty)}$ 的范畴等价，尽管它们的根系不同？
• RQ5 $\mathbb{T}_{\mathfrak{sl}(\infty)}$ 中单个对象之间的 Ext 代数结构是什么？

主要发现

• 有限长度绝对权模的范畴 $\mathbb{T}_{\mathfrak{g}}$ 是 Koszul 范畴，即其与有限维 Koszul 代数直极限上局部单位有限维模的范畴反等价。
• $\mathbb{T}_{\mathfrak{g}}$ 中的不可约内射模恰好是自然表示与共轭自然表示张量代数的不可约直和项。
• 当 $\mathfrak{g} = \mathfrak{sl}(\infty)$ 时，Koszul 对偶代数 $(\mathcal{A}_{\mathfrak{g}}^!)^{\mathrm{opp}}$ 同构于 $\mathcal{A}_{\mathfrak{g}}$，意味着自对偶性，从而可实现单个对象之间 Ext 群的显式公式。
• $\mathcal{A}_{\mathfrak{o}(\infty)}$ 与 $\mathcal{A}_{\mathfrak{sp}(\infty)}$ 同构，导致范畴等价性 $\mathbb{T}_{\mathfrak{o}(\infty)} \simeq \mathbb{T}_{\mathfrak{sp}(\infty)}$。
• $\mathbb{T}_{\mathfrak{o}(\infty)}$ 与 $\mathbb{T}_{\mathfrak{sp}(\infty)}$ 各自分解为两个非等价的块——$\mathbb{T}_{\mathfrak{g}}^{\mathrm{ev}}$ 与 $\mathbb{T}_{\mathfrak{g}}^{\mathrm{odd}}$——由最高权的奇偶性区分。
• 在 $\mathbb{T}_{\mathfrak{g}}$ 中，平凡模仅与 $S^2(V) = V_{(2)}$ 有非平凡扩张，而其他单个内射模则与多个非同构的单个模有扩张，证明了这些块彼此不等价。