[论文解读] The Belkale-Kumar cup product and relative Lie algebra cohomology

Sam Evens, William Graham+1 more|arXiv (Cornell University)|Apr 7, 2011

Advanced Algebra and Geometry参考文献 9被引用 4

一句话总结

本文通过相对李代数上同调，提出了一种新的代数构造方法，用于广义旗流形 $G/P$ 上的 Belkale-Kumar 杯积族。它将杯积 $𝑝_ au$ 与相对上同调环 $H^*(ℂ_t, ℂ_∆)$ 识别为同一对象，其中 $ℂ_t$ 是 $ℂ \times ℂ$ 的李代数子代数，依赖于参数 $t \in ℂ^m$ 且 $τ = t^2$，从而为整个形变杯积族提供了统一且内在的实现方式。

ABSTRACT

We study the Belkale-Kumar family of cup products on the cohomology of a generalized flag variety. We give an alternative construction of the family using relative Lie algebra cohomology, and in particular, identify the Belkale-Kumar cup product with a relative Lie algebra cohomology ring for every value of the parameter. As a consequence, we extend a fundamental disjointness result of Kostant to a family of Lie algebras. In an appendix, written jointly with Edward Richmond, we extend a Levi movability result of Belkale and Kumar to arbitrary parameters.

研究动机与目标

• 通过相对李代数上同调，为 $H^*(G/P, \mathbb{C})$ 上的 Belkale-Kumar 杯积族提供一种替代的、内在的构造方法。
• 对所有 $\tau \in \mathbb{C}^m$，将参数化杯积 $\odot_\tau$ 与相对上同调环 $H^*(\mathfrak{g}_t, \mathfrak{l}_\Delta)$ 识别，将先前结果推广至所有参数值。
• 将 Kostant 的不相交性定理推广至由 $\mathbb{C}^m$ 参数化的李代数族，建立统一的上同调框架。
• 通过几何不变理论与线丛的极限行为，将 Belkale 和 Kumar 的 Levi 可移动性判别准则推广至任意参数 $\tau \in \mathbb{C}^m$。

提出的方法

• 定义一族李代数子代数 $\mathfrak{g}_t \subset \mathfrak{g} \times \mathfrak{g}$，包含对角 Levi 子代数 $\mathfrak{l}_\Delta$，参数化于 $t \in \mathbb{C}^m$，当 $t \in (\mathbb{C}^*)^m$ 时满足 $\mathfrak{g}_t = \operatorname{Ad}(t,t^{-1})\mathfrak{g}_\Delta$。
• 构造相对上同调环 $H^*(\mathfrak{g}_t, \mathfrak{l}_\Delta)$ 的向量丛的全局截面空间 $\mathcal{H}^*(\mathbb{C}^m)$，其构成一个 $\mathbb{C}[t_1,\dots,t_m]$-代数。
• 建立 $\mathbb{C}[t_1,\dots,t_m]$-代数 $H^*(G/P, \mathbb{C}) \otimes_{\mathbb{C}} \mathbb{C}[t_1,\dots,t_m]$（配备乘积 $\odot$）与 $\mathcal{H}^*(\mathbb{C}^m)$ 之间的同构，从而证明定理 1.1。
• 利用单参数子群作用下线丛的极限行为，定义一个权函数 $\mu^{\mathcal{L}}(y,\chi)$，该函数控制截面的非零性，从而支持对 $L_K$-可移动性的分析。
• 应用几何不变理论，证明 Belkale-Kumar 乘积中的有理函数 $F_w(t)/(F_u(t)F_v(t))$ 在 $\mathbb{C}^m$ 上处处解析，从而确保乘积对所有 $t \in \mathbb{C}^m$ 均定义良好。
• 通过分析中心 $\mathfrak{z}(\mathfrak{l}_K)$ 在 $\mathbb{C}^*$-作用下不动点处线丛纤维上的作用，将 Levi 可移动性判别准则扩展，从而给出乘积非零的上同调刻画。

实验结果

研究问题

• RQ1 是否能通过相对李代数上同调，对所有参数 $\tau \in \mathbb{C}^m$，统一构造 $H^*(G/P, \mathbb{C})$ 上的 Belkale-Kumar 杯积族？
• RQ2 在 $\tau = 0$ 处的退化杯积与一般杯积是否同构于所有 $t \in \mathbb{C}^m$ 的相对上同调环 $H^*(\mathfrak{g}_t, \mathfrak{l}_\Delta)$？
• RQ3 Kostant 的李代数上同调不相交性定理能否推广至一维参数族 $\mathfrak{g}_t$？
• RQ4 Belkale 和 Kumar 的 Levi 可移动性判别准则是否可推广至任意参数 $\tau \in \mathbb{C}^m$，而不仅限于 $\tau = \tau_K$？
• RQ5 在权重与 $\mathfrak{l}_K$ 的中心作用下，乘积 $\Lambda_{w_1} \odot_\tau \cdots \odot_\tau \Lambda_{w_s}$ 非零的精确上同调条件是什么？

主要发现

• 对所有满足 $\tau = t^2$ 的 $t \in \mathbb{C}^m$，Belkale-Kumar 杯积 $\odot_\tau$ 同构于相对李代数上同调环 $H^*(\mathfrak{g}_t, \mathfrak{l}_\Delta)$，从而为整个族提供了统一的上同调实现。
• $\mathcal{H}^*(\mathbb{C}^m)$ 是相对上同调丛的全局截面空间，其作为 $\mathbb{C}[t_1,\dots,t_m]$-代数，同构于配备乘积 $\odot$ 的 $H^*(G/P, \mathbb{C}) \otimes_{\mathbb{C}} \mathbb{C}[t_1,\dots,t_m]$，从而建立了该族的新代数构造。
• 通过几何不变理论证明，Belkale-Kumar 乘积中的有理函数 $F_w(t)/(F_u(t)F_v(t))$ 在 $\mathbb{C}^m$ 上处处解析，确保了乘积对所有参数均定义良好。
• 证明了 Kostant 不相交性定理的推广：对所有 $t \in \mathbb{C}^m$，相对上同调环 $H^*(\mathfrak{g}_t, \mathfrak{l}_\Delta)$ 均非退化，从而将结果从一般情形与退化情形推广至整个族。
• 将 Levi 可移动性判别准则推广至任意 $\tau \in \mathbb{C}^m$：$s$-元组 $(w_1,\dots,w_s)$ 是 $L_\tau$-可移动的，当且仅当 $\Lambda_{w_1} \odot_\tau \cdots \odot_\tau \Lambda_{w_s} \neq 0$ 且 $\left(\sum_{j=1}^s \chi_{w_j} - \chi_1\right)(z_\rho) = 0$。
• 当 $\tau_K$ 对应于子集 $J \subset \{1,\dots,m\}$ 时，乘积 $\Lambda_{w_1} \odot_{\tau_K} \cdots \odot_{\tau_K} \Lambda_{w_s} \neq 0$ 当且仅当该 $s$-元组是 $L_K$-可移动的，其条件涉及中心 $\mathfrak{z}(\mathfrak{l}_K)$。