[论文解读] Derived varieties of complexes and Kostant's theorem for gl(m|n)

Mikhail Kapranov, Alexander Pimenov|arXiv (Cornell University)|Apr 1, 2015

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

一句话总结

本文通过交换微分分次代数结构，将复形的典型集合 $ R\operatorname{Com}(V^\bullet) $ 推广为导出概形，扩展了坐标环谱的经典结果。证明了 $ \mathfrak{gl}(m|n) $ 的抛物子代数的余上同调 $ H^\bullet(\mathfrak{n}) $ 关于 $ GL(V^\bullet) $-表示谱是简并的——每个不可约表示至多出现一次——通过谱序列与 $ T $-模特征分析，将科斯塔nt定理推广至超代数情形。

ABSTRACT

Given a graded vector space V, the variety of complexes Com(V) consists of all differentials making V into a cochain complex. This variety was first introduced by Buchsbaum and Eisenbud and later studied by Kempf, De Concini, Strickland and many other people. It is highly singular and can be seen as a proto-typical singular moduli space in algebraic geometry. We introduce a natural derived analog of Com(V) which is a smooth derived scheme RCom(V). It can be seen as classifying twisted complexes. We study the cohomology of the dg-algebra of regular functions om RCom(V). It turns out that the natural action of the group GL(V) (automorphisms of V as a graded space) on the cohomology has simple spectrum. This generalizes the known properties of Com(V) and the classical theorem of Kostant on the Lie algebra cohomology of upper triangular matrices.

研究动机与目标

• 通过交换微分分次代数结构，将经典复形集合 $ \operatorname{Com}(V^\bullet) $ 推广为导出概形 $ R\operatorname{Com}(V^\bullet) $。
• 将科斯塔nt定理关于 $ \mathfrak{gl}(m|n) $ 余上同调谱的结果推广至超代数情形下的任意抛物子代数。
• 证明 $ H^\bullet(\mathfrak{n}) $ 关于 $ GL(V^\bullet) $-表示谱是简并的，即每个不可约表示的重数至多为一。
• 证明与分解 $ \mathfrak{m} = \mathfrak{u} \ltimes \mathfrak{n} $ 相关的谱序列具有平凡微分，从而保证余上同调谱的简并性。

提出的方法

• 将 $ R\operatorname{Com}(V^\bullet) $ 构造为交换微分分次代数 $ A^\bullet(V^\bullet) $ 的谱，该代数通过补全 $ \operatorname{Com}(V^\bullet) $ 的二次关系及syzygy与高阶关系得到。
• 通过其核心表示的函子表示 $ R\operatorname{Com}(V^\bullet) $，将其点识别为邦达尔-卡普兰诺夫与塞德尔意义上的扭复形。
• 利用谱序列 $ E_2^{pq} = H^p(\mathfrak{u}, H^q(\mathfrak{n})) \Rightarrow H^{p+q}(\mathfrak{b}) $ 分析 $ \mathfrak{gl}(m|n) $ 的博雷尔子代数 $ \mathfrak{b} $ 的余上同调。
• 利用公式 $ \bigotimes_{i=1}^n \mathbf{k}_{w_i(\alpha^{(i)} + \rho^{(i)}) - \rho^{(i)}} $，其中 $ w_i \in S_{r_i} $，分析 $ H^p(\mathfrak{u}, \Sigma^{[\alpha]}(V^\bullet)) $ 的 $ T $-模结构。
• 通过证明不同 $ p $-层的 $ T $-权互不相交，从而排除非平凡映射，证明谱序列中的微分为平凡。
• 最终得出结论：若 $ H^\bullet(\mathfrak{u}, \Sigma^{[\alpha]}(V^\bullet)) $ 的 $ T $-谱为无重数，则 $ H^\bullet(\mathfrak{m}) $ 中的 $ GL(V^\bullet) $-谱亦为无重数。

实验结果

研究问题

• RQ1 导出增强 $ R\operatorname{Com}(V^\bullet) $ 的复形集合是否在 $ GL(V^\bullet) $-作用下保持表示谱的简并性？
• RQ2 科斯塔nt定理关于幂零根代数余上同调的谱结果能否推广至超代数情形下 $ \mathfrak{gl}(m|n) $ 的抛物子代数？
• RQ3 当 $ \mathfrak{m} = \mathfrak{u} \ltimes \mathfrak{n} $ 时，谱序列 $ E_2^{pq} = H^p(\mathfrak{u}, H^q(\mathfrak{n})) \Rightarrow H^{p+q}(\mathfrak{b}) $ 的微分是否平凡？
• RQ4 不同 $ p $-层的 $ H^p(\mathfrak{u}, \Sigma^{[\alpha]}(V^\bullet)) $ 的 $ T $-权是否相交？这对谱有何影响？

主要发现

• 任意 $ \mathfrak{gl}(m|n) $ 抛物子代数的 $ H^\bullet(\mathfrak{n}) $ 关于 $ GL(V^\bullet) $-表示谱是简并的，每个不可约表示至多出现一次。
• 谱序列 $ E_2^{pq} = H^p(\mathfrak{u}, H^q(\mathfrak{n})) \Rightarrow H^{p+q}(\mathfrak{b}) $ 具有平凡微分，因为不同 $ p $-层的 $ T $-权互不相交。
• $ T $-模 $ H^p(\mathfrak{u}, \Sigma^{[\alpha]}(V^\bullet)) $ 同构于一维表示的直和 $ \mathbf{k}_{w_i(\alpha^{(i)} + \rho^{(i)}) - \rho^{(i)}} $，其中 $ w_i \in S_{r_i} $。
• 在 $ E_2 $-页上，不同 $ p $ 的 $ T $-模支撑集互不相交，从而防止非平凡微分的出现。
• $ H^\bullet(\mathfrak{m}) $ 中任意不可约表示的重数至多为一，否则其 $ T $-谱将不为简并。