[论文解读] Resonant local systems on complements of discriminantal arrangements and sl_2 representations

Daniel C. Cohen, Alexander Varchenko|ArXiv.org|Nov 16, 2002

Advanced Combinatorial Mathematics参考文献 11被引用 5

一句话总结

本文建立了判别超平面排列补集的斜对称上同调与 $σλ_2$ 表示理论之间的精确对应关系，表明 $k-1$-阶上同调群的维数等于在 $n$ 个此类 $σλ_2$-模的张量积中，最高权为 $|m|-k+1$ 的不可约 $σλ_2$-模的重数。非平凡上同调恰好出现在主函数具有非孤立临界点时，即当 $0 \leq |m|-k+1 < k$ 时，此时临界集在对称坐标下是一组 $w(m, |m|-k+1)$ 条直线。

ABSTRACT

We calculate the skew-symmetric cohomology of the complement of a discriminantal hyperplane arrangement with coefficients in local systems arising in the context of the representation theory of the Lie algebra sl_2. For a discriminantal arrangement in C^k, the skew-symmetric cohomology is nontrivial in dimension k-1 precisely when the "master function" which defines the local system on the complement has nonisolated critical points. In symmetric coordinates, the critical set is a union of lines. Generically, the dimension of this nontrivial skew-symmetric cohomology group is equal to the number of critical lines.

研究动机与目标

• 确定判别排列补集上斜对称局部系统上同调群的维数。
• 探讨主函数临界点结构与 $σλ_2$ 表示理论之间的关系。
• 阐明上同调何时非平凡，以及其维数如何与张量积中不可约 $σλ_2$-模的重数相关。

提出的方法

• 研究使用通过 $n$ 个不同的复数 $z_j$ 和非负整数 $m_j$ 定义的主函数 $\Phi_{k,n}(t;z,m)$，其在判别排列 $\mathcal{A}_{k,n}$ 的补集 $X$ 上诱导一个局部系统 $\mathcal{L}$。
• 对称群 $\Sigma_k$ 作用在 $X$ 上并保持 $\mathcal{L}$ 不变，从而可将上同调分解为斜对称分量 $H^*_{-}(X;\mathcal{L})$。
• 关键技术工具是分析主函数临界点方程导出的矩阵 $A_k(m)$ 的核。
• 通过变量数的归纳法计算 $H^{k-1}_{-}(X;\mathcal{L})$ 的维数，利用子矩阵 $A_q(m^1)$ 的核的递推关系。
• 使用不可约 $σλ_2$-模 $L_{|m|-2k}$ 在张量积 $L_{m_1} \otimes \cdots \otimes L_{m_n}$ 中的重数 $w(m,k)$ 来表达上同调维数。
• 证明根据 $j = |m| - k + 1$ 的值分情况讨论，表明当且仅当 $0 \leq |m| - k + 1 < k$ 时，有 $\dim \ker A_k(m) = w(m, |m| - k + 1)$。

实验结果

研究问题

• RQ1 对于判别排列的补集，斜对称上同调 $H^{k-1}_{-}(X;\mathcal{L})$ 在何时非平凡？
• RQ2 主函数 $\Phi_{k,n}$ 的临界点集结构如何与 $\u03c3λ_2$ 的表示理论相关？
• RQ3 斜对称上同调群 $H^{k-1}_{-}(X;\mathcal{L})$ 的精确维数如何用 $\u03c3λ_2$-模的重数表示？
• RQ4 在何种权重 $m_j$ 条件下，主函数具有非孤立临界点？
• RQ5 为何 $H^{k-1}_{-}(X;\mathcal{L})$ 的维数等于重数 $w(m, |m| - k + 1)$，这与临界点集的几何结构有何关联？

主要发现

• 斜对称上同调 $H^{k-1}_{-}(X;\mathcal{L})$ 非平凡当且仅当 $0 \leq |m| - k + 1 < k$，这对应于主函数具有非孤立临界点。
• 当 $0 \leq |m| - k + 1 < k$ 时，$H^{k-1}_{-}(X;\mathcal{L})$ 的维数恰好为 $w(m, |m| - k + 1)$，即不可约 $\u03c3λ_2$-模 $L_{|m| - k + 1}$ 在张量积 $L_{m_1} \otimes \cdots \otimes L_{m_n}$ 中的重数。
• 在此范围内，有 $\dim H^k_{-}(X;\mathcal{L}) = w(m, |m| - k + 1) + \binom{n + k - 2}{k}$，表明存在非平凡的高阶上同调群。
• 当 $|m| - k + 1 \geq k$ 时，唯一的非平凡斜对称上同调出现在度数 $k$，其维数为 $\binom{n + k - 2}{k}$，且对所有 $q \neq k$ 有 $H^q_{-}(X;\mathcal{L}) = 0$。
• 当 $0 \leq |m| - k + 1 < k$ 时，主函数 $\Phi_{k,n}$ 的临界集在对称坐标 $\lambda_1, \dots, \lambda_k$ 下由 $w(m, |m| - k + 1)$ 条直线组成，确认了上同调维数的几何起源。
• 证明表明，当 $|m| - k + 1 > r^1$ 时，高阶分量对 $\ker A_k(m)$ 的贡献消失，从而确保在相关范围内恒有 $\dim \ker A_k(m) = w(m, |m| - k + 1)$。