Complete simplicial fans, Stanley--Reisner rings, and equivariant h-polynomials

技术摘要：完全单纯扇、斯坦利–赖斯纳环与等变 h-多项式

问题陈述
本文探讨有限群作用在环面簇及其相关代数结构的上同调上的组合与代数研究。具体而言，它关注有限群 $G$ 在线性作用于向量空间 $V$ 时，保持一个完全单纯扇 $\Sigma$ 的情形。虽然紧环面轨形（与有理完全单纯扇相关联）的上同调已通过斯坦利–赖斯纳环 $A(\Sigma)$ 及其阿廷约化得到充分理解，但针对一般扇，该环上群作用的分级特征尚未被完全刻画。此外，本文还研究了这些环在有限反射群作用下的不变量的组合结构，旨在寻找一个能够编码商空间拓扑的组合对象。

方法论
作者采用了交换代数、表示论和凸几何的综合方法：

1. 代数框架：研究利用完全单纯扇 $\Sigma$ 的斯坦利–赖斯纳环 $A(\Sigma)$，该环定义为多项式环模去一个无平方单项式理想的商。该环被视为多项式环 $A = \text{Sym}(V^*)$ 上的分级模。当 $\Sigma$ 为有理扇时，通过模去一个线性参数系统得到的 $A(\Sigma)$ 的“阿廷约化” $\overline{A(\Sigma)}$ 对应于相关联环面簇的通常上同调。
2. 等变特征理论：本文推导了群元素 $g \in G$ 在 $\overline{A(\Sigma)}$ 上作用的分级特征公式。这涉及将环分解为按锥索引的子空间，分析群作用在扇上的不动点集，并利用诱导商表示 $\psi_\sigma: G_\sigma \to \text{GL}(V/V_\sigma)$。
3. 反射群分析：针对 $G$ 为有限反射群 $W$ 的特定情况，作者引入了一个名为“混合扇” $\Sigma_W$ 的新组合对象。这一构造归功于科林·克劳利（Colin Crowley）和康纳·辛普森（Connor Simpson），它通过结合 $W$ 基本域中的射线与负单根来编码 $W$ 的作用。
4. 诱导表示与弗罗贝尼乌斯互反律：证明严重依赖诱导表示理论、弗罗贝尼乌斯互反律以及反射群中抛物子群的性质，以建立原始扇的不变量与混合扇组合学之间的联系。

主要贡献与结果

• 等变 h-多项式公式（定理 1.1）：
  主要结果是任意有限群 $G$ 在阿廷约化 $\overline{A(\Sigma)}$ 上作用的分级特征公式。等变希尔伯特级数 $R_{A(\Sigma)}(t)$ 由下式给出：
  $$R_{A(\Sigma)}(t) = \sum_{\sigma \in \Sigma} \frac{|G_\sigma|}{|G|} \text{Ind}_{G_\sigma}^G (\det(tI - \psi_\sigma))$$
  其中 $G_\sigma$ 是锥 $\sigma$ 的集合稳定子，$\psi_\sigma$ 是商空间 $V/V_\sigma$ 上的诱导表示。该公式推广了经典的 $h$-多项式（当 $g=\text{id}$ 时恢复），并恢复了关于魏尔群作用在置换多面体上的已知结果（Procesi, Dolgachev–Lunts, Stembridge, Lehrer）。

• 回文性（命题 3.2）：
  本文证明了分级特征 $P_G(t, g)$ 具有回文性，满足 $P_G(t, g) = t^d P_G(t^{-1}, g)$，其中 $d = \dim(V)$。这是通过证明阿廷约化的最高次分量承载平凡表示而建立的，这是斯坦利–赖斯纳环的戈伦斯坦性质以及群作用对体积元保持性的结果。

• 混合扇与不变量（定理 1.2）：
  当 $W$ 为有限反射群时，$\overline{A(\Sigma)}$ 的 $W$-不变量的庞加莱多项式被证明等于新定义的“混合扇” $\Sigma_W$ 的 $h$-多项式。混合扇是通过取基本域中的射线并添加由负单根张成的射线构造而成的，其锥结构由原始扇的轨道决定。

• 商的上同调（定理 1.3）：
  作为直接应用，如果 $\Sigma$ 是有理完全单纯扇，则商环面轨形 $X_\Sigma/W$ 的上同调的庞加莱多项式等于与混合扇相关联的环面轨形 $X_{\Sigma_W}$ 的庞加莱多项式。这推广了 Horiguchi–Masuda–Shareshian–Song 以及 Crowley–Gong–Simpson 关于多面体及其法向扇商的相关结果。

意义与主张
本文声称提供了一个统一的组合框架，用于理解有限群作用下环面簇的等变上同调，将适用范围从有理情形扩展到一般的完全单纯扇。

• 它确立了“等变 $h$-多项式”作为群在相关联环面簇（在有理情形下）上同调上的分级表示的完全不变量。
• 它表明，计算商空间 $X_\Sigma/W$ 上同调的复杂问题可以简化为混合扇 $\Sigma_W$ 的 $h$-多项式的组合计算，即使原始扇是非有理的。
• 这项工作弥合了扇的组合学与商空间拓扑之间的鸿沟，表明混合扇是商空间的正确组合模型。

未解问题与未来方向
本文最后提出了几个未解问题：

1. 环同构：不变量 $\overline{A(\Sigma)}^W$ 与混合扇的斯坦利–赖斯纳环 $\overline{A(\Sigma_W)}$ 之间是否存在显式的分级环同构。
2. 簇同构（猜想 5.2）：对于任何有理扇，商环面簇 $X_\Sigma/W$ 是否与环面簇 $X_{\Sigma_W}$ 同构。本文指出，这在多面体扇和单锥情形下是已知的，但对于一般扇仍属未解。
3. 交集上同调：对于一般（非单纯）扇的组合交集上同调，是否存在类似的等变特征公式，这可能涉及等变卡兹丹–卢斯蒂格–斯坦利多项式。
4. 商交集上同调：扇的组合交集上同调的不变量是否等于混合扇的交集上同调，需注意商空间中的奇点可能会使这种关系变得复杂。