2025-11-21T12:13:15.489016

Intersection cohomology without spaces

Braden, Proudfoot

We survey three settings in which dimensions of intersection cohomology groups of algebraic varieties provide deep combinatorial and representation-theoretic information, and computations of the groups themselves have been made using combinatorial sheaves on finite posets. These settings are (1) intersection cohomology of Schubert varieties, the associated Kazhdan-Lusztig polynomials and their realizations via moment graph sheaves and Soergel bimodules; (2) intersection cohomology of toric varieties, the associated g-polynomials of convex polytopes, and their realization via the theory of intersection cohomology of fans; and (3) intersection cohomology of arrangement Schubert varieties, the associated Kazhdan-Lusztig polynomials of matroids, and their realization via intersection cohomology of matroids. In all three settings these constructions are valid in more general situations where the variety does not exist, leading to "intersection cohomology without spaces." We give parallel presentations of these three stories, highlighting applications to KLS-polynomials.

academic

Intersection cohomology without spaces

基本信息

论文ID: 2510.09488
标题: Intersection cohomology without spaces
作者: Tom Braden (University of Massachusetts), Nicholas Proudfoot (University of Oregon)
分类: math.AG (代数几何), math.CO (组合数学), math.RT (表示论)
发表时间: 2025年10月10日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.09488

摘要

本文综述了三个重要设定，在这些设定中，代数簇的交集上同调群的维数提供了深刻的组合和表示论信息，并且这些群本身可以通过有限偏序集上的组合层进行计算。这三个设定是：(1) Schubert簇的交集上同调、相关的Kazhdan-Lusztig多项式及其通过矩图层和Soergel双模的实现；(2) 环面簇的交集上同调、凸多面体的相关g-多项式及其通过扇的交集上同调理论的实现；(3) 排列Schubert簇的交集上同调、拟阵的相关Kazhdan-Lusztig多项式及其通过拟阵的交集上同调的实现。在所有三个设定中，这些构造在簇不存在的更一般情况下仍然有效，导致了"无空间的交集上同调"。

研究背景与动机

核心问题

本文要解决的核心问题是如何在没有几何空间的情况下，仍能计算和理解交集上同调的组合和代数性质。具体来说：

几何与组合的统一：在某些特殊情况下（如Weyl群、有理多面体、可实现拟阵），相应的KLS-多项式可以通过代数簇的交集上同调来解释，从而证明了系数的非负性。
一般化挑战：对于一般的Coxeter群、任意多面体和一般拟阵，不存在相应的几何对象，但仍需要理解相关多项式的性质。
统一理论框架：需要一个统一的代数框架来处理这三类看似不同的数学对象。

重要性

这个问题的重要性体现在：

表示论应用：Kazhdan-Lusztig多项式在Hecke代数、Lie代数和代数群的表示论中起关键作用
组合几何：g-多项式是凸多面体理论的基本不变量
拟阵理论：拟阵的Kazhdan-Lusztig多项式是近年来组合数学的重要发展

现有方法局限性

传统方法的局限性在于：

依赖于特定的几何结构存在
缺乏统一的代数处理方式
难以推广到更一般的情况

核心贡献

统一框架：提供了一个统一的框架来理解三类不同设定中的交集上同调计算
代数构造：在没有几何空间的情况下，给出了纯代数的交集上同调构造方法
并行理论：展示了Schubert簇、环面簇和排列Schubert簇理论之间的深刻平行关系
应用拓展：将交集上同调的应用扩展到了更广泛的组合和代数对象
正特征推广：讨论了正特征情况下的奇偶层理论及其应用

κxx(t) = 1 对所有x ∈ P
deg κxy(t) ≤ rxy 对所有x ≤ y ∈ P
∑x≤y≤z t^rxy κxy(t^-1)κyz(t) = 0 对所有x < z ∈ P

KLS-多项式{fxy(t)}由以下条件唯一确定：

fxx(t) = 1 对所有x ∈ P
deg fxy(t) < rxy/2 对所有x < y ∈ P
t^rxz fxz(t^-1) = ∑x≤y≤z κxy(t)fyz(t) 对所有x ≤ z ∈ P

从拓扑到偏序集上的层

环面等变性和局部化：关键思想是利用环面T的作用，使得等变交集上同调类可以局部化。对于Schubert簇或排列Schubert簇，有注入映射：

IH_T(X) ↪ ⊕_{p∈X^T} IH_T(X)_p

等变交集上同调作为层：给定T-不变分层{S_x | x ∈ P}，定义预层：

Q ↦ F(Q) := IH_T(U_Q)

其中U_Q = ⋃_{x∈Q} S_x。

两个关键性质使得这个构造有效：

层性质：F实际上是一个层
松弛性：限制映射IH_T(U_Q) → IH_T(U_{Q'})是满射

局部计算

根据Bernstein-Lunts的结果，对于仿射邻域N和收缩子群C* ⊂ T，有短正合列：

0 → IH_T(N,N°) → IH_T(N) → IH_T(N°) → 0

其中：

IH_T(N)是自由R-模，生成元在度数0 ≤ d < dim X中
IH_T(N,N°)是自由R-模，生成元在度数dim X < d ≤ 2 dim X中
IH_T(N)是满射到IH_T(N°)的最小自由R-模

三个具体实现

1. Coxeter群和Soergel双模

矩图方法：使用Bruhat图的矩图层计算
边模块：M_E ≅ M_v/α_E M_v
边界模块：M^∂v ≅ Im(M(Γ{>v}) → ⊕_E M_E)

2. 多面体和扇

有理扇情况：直接使用环面簇的等变交集上同调
一般扇情况：通过组合方法定义，边界模块M^∂_τ = F(Σ°_τ)
Karu定理：证明了hard Lefschetz定理的组合版本

3. 拟阵和排列Schubert簇

可实现情况：使用排列Schubert簇Y(L)的交集上同调
一般情况：通过代数构造，边界模块M^∂_F := F(L°F) ⊗{A(L_F)} R
回文性质：Z-多项式满足t^{rk_E} Z_L(t^{-1}) = Z_L(t)

实验设置

理论验证

本文主要是理论综述，通过以下方式验证理论的正确性：

具体例子：
- CP¹的情况（Example 7.1）
- 4维子空间的排列Schubert簇（Example 7.2）
- 简单扇的组合交集上同调（Examples 5.1, 5.2）
已知结果对比：
- 与Kazhdan-Lusztig原始定义的一致性
- 与几何情况下交集上同调的同构性
- 与已知多项式性质的符合性