Intersection cohomology of Popov-Vinberg varieties

问题陈述
本文研究了 Popov–Vinberg 簇 $X_G$ 的交集上同调（intersection cohomology）的计算，其中 $X_G$ 是一个与单连通、分裂、半单代数群 $G$ 相关联的奇异仿射簇。$X_G$ 被定义为基本仿射空间 $G/U$（其中 $U$ 是极大单布型子群）上函数环的谱，它包含 $G/U$ 作为 Zariski 开子集，并作为 $G$ 的极大紧子群的通用辛收缩（universal symplectic implosion）。虽然 $X_G$ 的拓扑结构已知由由抛物子群索引的分层（stratification）组成，但对其交集上同调庞卡莱多项式（Poincaré polynomials）的显式计算一直受到限制，此前文献中仅有 $SL_3$ 的情况作为先例。作者寻求一种通用的递归程序来计算这些多项式，并特别关注 $G = SL_n$ 的情形。

方法论
作者采用了一种策略，将复群 $G$ 提升为整数 $\mathbb{Z}$ 上的群方案，并进行到足够大特征的有限域 $\mathbb{F}_q$ 的基变换。其方法的核心依赖于利用 Grothendieck–Lefschetz 迹公式来计算交集上同调（IC）层在 $\ell$-adic étale 交集上同调下的性质。

关键技术工具包括：

1. 分层与法向切片（Normal Slices）： 利用由简单根的子集索引的 $G$-等变分层，$X_G$ 的轨道法向切片被识别为较小的 Popov–Vinberg 簇 $X_{G_S}$。
2. 递归框架： 他们应用了 [Pro18] 中的一个定理，该定理将有限域上的点计数与交集上同调庞卡莱多项式联系起来。该定理建立了一个函数方程，将一个簇的庞卡莱多项式与其法向切片的庞卡莱多项式联系起来，前提是该簇具有圆锥作用且交集上同调在奇数次消亡。
3. 比较定理： 标准的比较结果允许将计算出的 $\mathbb{F}_q$ 上的 $\ell$-adic étale 上同调转换回 $\mathbb{C}$ 上的拓扑交集上同调。

主要贡献与结果

• 递归程序 (定理 3.4)： 主要结果是 $X_G$ 的交集上同调庞卡莱多项式 $P_G(t)$ 的一个递归公式。该公式将 $P_G(t)$ 表示为与 Levi 子群 $G_S$ 相关的 Popov–Vinberg 簇的多项式 $P_{G_S}(t)$ 的关系。具体而言，对于非平凡群 $G$：
  $$\frac{P_G(t)}{f_G(t)} = \sum_{S \subset \Delta} \frac{t^{d_{G_S}} P_{G_S}(t^{-1})}{f_{G_S}(t)}$$
  其中 $f_G(t)$ 是由 $G$ 的指数确定的多项式，$d_G$ 是 $X_G$ 的维数。作者证明了交集上同调在奇数次消亡，且 $P_G(t)$ 的次数严格小于 $d_G/2$。

• Type A 的特化 (推论 4.1)： 对于 $G = SL_n$，递归显著简化。$X_{SL_n}$ 的多项式 $P_n(t)$ 可以仅通过 $m < n$ 的多项式 $P_m(t)$ 来计算。作者在附录中提供了 $n \leq 13$ 的显式计算。

• 生成级数与函数方程 (命题 4.5)： 作者定义了一个生成级数 $\Psi(t, u)$，其中 $u^n$ 的系数是 $X_{SL_n}$ 的 $SL_n$-等变交集上同调的 Hilbert 级数。他们为该级数导出了一个极其简单的函数方程：
  $$\Psi(t^{-1}, u) \Psi(t, -u) = 1$$
  在给定特定初始条件的情况下，该方程唯一确定了该级数。

• 贝蒂数渐近性 (命题 5.2)： 本文证明了 $X_{SL_n}$ 的 $(2i)$-次交集上同调贝蒂数（记作 $c_i(n)$）对于足够大的 $n$ 是一个次数至多为 $i/2$ 的关于 $n$ 的多项式。作者猜想这些多项式是二项式系数的非负线性组合（猜想 5.3），并提供了直到 $i=9$ 的系数显式公式。

• 代数结构 (第 6 节)： 作者定义了两个由所有 $n$ 下 $X_n$ 的（等变）交集同调群的直和构成的双分次环 $R$ 和 $\tilde{R}$。他们表明 $\tilde{R}$ 的 Hilbert 级数即为 $\Psi(t, u)$。虽然他们无法完全描述其环结构，但他们证明了 $\tilde{R}$ 是非交换的，并为低同调次数下的环提供了基。

意义
本文提供了计算 Popov–Vinberg 簇交集上同调的首个通用递归机制，将已知结果从 $SL_3$ 扩展到了任意 $SL_n$ 以及其他群（如 $G_2$）。通过建立这些几何对象与简单根的 Boolean 偏序集的 Kazhdan–Lusztig–Stanley 多项式之间的联系，这项工作将这些奇异簇的研究与成熟的组合技术统一起来。对于生成级数 $\Psi(t, u)$ 简单函数方程的发现，暗示了深层的底层代数结构，从而激发了对相关非交换环的研究。这些结果为理解通用辛收缩及其分层的拓扑结构提供了具体的计算工具。