Regular semisimple Hessenberg varieties with cohomology rings generated in degree two

基本信息

• 论文ID: 2301.03762
• 标题: Regular semisimple Hessenberg varieties with cohomology rings generated in degree two
• 作者: Mikiya Masuda, Takashi Sato
• 分类: math.AG (代数几何), math.AT (代数拓扑), math.SG (辛几何)
• 发表时间: 2025年11月11日 (arXiv v4版本)
• 论文链接: https://arxiv.org/abs/2301.03762

摘要

正则半单Hessenberg簇 $\mathrm{Hess}(S,h)$ 是旗簇的光滑子簇，由具有互不相同特征值的方阵 $S$ 和Hessenberg函数 $h$ 确定。上同调环 $H^*(\mathrm{Hess}(S,h))$ 与 $S$ 的选择无关，但除少数情况外尚未得到明确描述。本文刻画了使得 $H^*(\mathrm{Hess}(S,h))$ 作为环在二次生成的Hessenberg函数 $h$，结果表明这样的 $h$ 正是所谓的（双）棒棒糖型函数。

研究背景与动机

1. 研究问题

本文研究正则半单Hessenberg簇的上同调环结构，特别是刻画哪些Hessenberg函数 $h$ 使得上同调环 $H^*(X(h))$ 在二次生成（即所有生成元都来自二次上同调）。

2. 问题重要性

• 与组合数学的深刻联系: Hessenberg簇通过Tymoczko的点作用与对称群 $S_n$ 相关，Brosnan-Chow和Guay-Paquet解决的Shareshian-Wachs猜想将 $H^*(\mathrm{Hess}(S,h))$ 作为 $S_n$-模与图的色多项式对称函数联系起来
• Stanley-Stembridge猜想: 研究Hessenberg簇的几何和拓扑为证明图论中著名的Stanley-Stembridge猜想开辟了道路
• 环结构的基础性: 理解上同调环何时在二次生成是研究其更复杂代数结构的基础

3. 现有方法的局限性

• 对于一般的Hessenberg函数 $h$，上同调环 $H^*(X(h))$ 的环结构尚未明确描述
• 已知结果仅限于特殊情况：
  • $h = (n,...,n)$ 时对应旗簇 $\mathrm{Fl}(n)$
  • $h = (2,3,...,n,n)$ 时对应排列多面体簇（环面簇）
  • $h = (h(1),n,...,n)$ 时，2的结果表明仅当 $h(1)=2$ 或 $n$ 时环在二次生成

4. 研究动机

基于已知特殊情况的模式，自然要问：对于一般的Hessenberg函数 $h$，何时 $H^*(X(h))$ 在二次生成？本文通过综合运用Morse-Bott理论、GKM理论和纤维化技术给出完整答案。

核心贡献

1. 完全刻画定理（主定理1.1）: 对于连通的正则半单Hessenberg簇（即 $h(j) \geq j+1$ 对所有 $j \in [n-1]$），证明了 $H^*(X(h))$ 在二次生成当且仅当 $h$ 具有以下"双棒棒糖"形式：a+1 & (1 \leq j \leq a) \\ j+1 & (a < j < b) \\ n & (b \leq j \leq n) \end{cases}$$ 其中 $1 \leq a < b \leq n$
2. 充分性的几何证明: 证明了当 $h$ 为双棒棒糖型时，$X(h)$ 是紧致光滑环面簇上的纤维丛，纤维为旗簇的乘积，从而上同调环在二次生成
3. 必要性的拓扑证明: 通过Morse-Bott函数和限制映射的满射性，使用归纳论证排除所有非双棒棒糖型的情况
4. 技术贡献:
   • 利用GKM理论给出二次上同调 $H^2(X(h))$ 的显式生成元
   • 通过Hilbert级数的精细计算证明某些情况下环不能在二次生成
   • 建立了Hessenberg簇之间的纤维化关系

方法详解

任务定义

输入: Hessenberg函数 $h: [n] \to [n]$，满足单调非递减且 $h(j) \geq j$

输出: 判定上同调环 $H^*(X(h))$ 是否作为环在二次生成

约束条件: 假设 $h(j) \geq j+1$ 对所有 $j \in [n-1]$（保证 $X(h)$ 连通）

理论框架

1. GKM理论与等变上同调

正则半单Hessenberg簇 $X(h)$ 是GKM流形，代数环面 $T = (\mathbb{C}^*)^n$ 作用其上，不动点集为： $X(h)^T = \mathrm{Fl}(n)^T \cong S_n$

等变上同调 $H^*_T(X(h))$ 通过定位定理嵌入： $H^*_T(X(h)) \hookrightarrow \bigoplus_{w \in S_n} \mathbb{Z}[t_1,...,t_n]$

其像由以下条件刻画（图上同调）： $\{f \in \mathrm{Map}(S_n, \mathbb{Z}[t_1,...,t_n]) \mid f(w) - f(w(i,j)) \in (t_{w(i)} - t_{w(j)}), \forall w \in S_n, j < i \leq h(j)\}$

2. 二次上同调的显式生成元

根据Ayzenberg-Masuda-Sato 4的结果，$H^2(X(h))$ 由以下元素生成：

• $x_k$ ($k \in [n]$): $x_k(w) = t_{w(k)}$，对应tautological线丛的第一Chern类
• $y_{j,k}$ ($j \in \bot(h), k \in [n]$): $y_{j,k}(w) = \begin{cases} t_k - t_{w(j+1)} & k \in \{w(1),...,w(j)\} \\ 0 & \text{otherwise} \end{cases}$ 其中 $\bot(h) = \{j \in [n-1] \mid h(j-1) = h(j) = j+1\}$
• $\tau_A$ ($|A| \in L(h)$): $\tau_A(w) = \begin{cases} t_{w(|A|)} - t_{w(|A|+1)} & \{w(1),...,w(|A|)\} = A \\ 0 & \text{otherwise} \end{cases}$ 其中 $L(h) = \{j \in [n-1] \mid h(j-1) = j, h(j) = j+1\}$

必要性证明策略（第3节）

关键引理3.1（Morse-Bott函数）

构造moment映射 $f_h: X(h) \to \mathbb{R}$，其逆像的极值点分别为 $X(h_1)$ 和 $X(h_n)$，其中 $h_j$ 是从 $h$ 的配置中删除第 $j$ 行和第 $j$ 列得到的Hessenberg函数。

利用Morse-Bott理论（Tolman-Weitsman 19），证明限制映射： $H^*(X(h);\mathbb{Q}) \to H^*(X(h_1);\mathbb{Q}), \quad H^*(X(h);\mathbb{Q}) \to H^*(X(h_n);\mathbb{Q})$ 都是满射。

推论3.2: 若 $h'$ 是 $h$ 的minor（通过反复取 $h_1$ 或 $h_n$ 得到），且 $H^*(X(h);\mathbb{Q})$ 在二次生成，则 $H^*(X(h');\mathbb{Q})$ 也在二次生成。

命题3.3（组合刻画）

$h$ 为双棒棒糖型当且仅当 $h$ 不包含以下类型的minor：

• $(\alpha, \beta,...,\beta)$ 或 $(\beta-1,...,\beta-1, \beta,...,\beta)$（$\alpha$ 个），其中 $3 \leq \alpha < \beta$
• $(2, \gamma-1,...,\gamma-1, \gamma, \gamma)$，其中 $\gamma \geq 5$

前两种情况已由2排除，关键是处理第三种情况。

命题3.4的证明（技术核心）

对于 $h = (2, n-1,...,n-1, n, n)$ ($n \geq 5$)，通过以下步骤证明 $H^*(X(h);\mathbb{Q})$ 不在二次生成：

步骤1: 利用定理2.1(4)计算Poincaré多项式的递推公式（引理3.7）： $P_n(q) = (1+q)^2[n-2]_q! + (n-2)(q+q^2)[n-3]_q[n-3]_q! + \cdots$

步骤2: 证明 $P_n(q)$ 在 $n-3$ 次的系数为（引理3.8）： $\binom{n}{2} + n(n-3)/2$

步骤3: 计算由 $H^2(X(h))$ 生成的子环 $R(h)$ 的Hilbert级数上界：

• 引入辅助元素 $\rho_k$，将生成元改写为 $x_k, \tau_k, \rho_k$
• 将 $R(h)$ 分解为 $A(h) \oplus B(h) \oplus C(h) \oplus D(h)$ 的直和（作为 $A(h)$-模）
• 分别计算各部分的Hilbert级数上界（公式3.23-3.27）

步骤4: 证明 $\mathrm{Hilb}(R(h), \sqrt{q})$ 在 $n-3$ 次的系数为： $\binom{n}{2}$ 严格小于 $P_n(q)$ 的对应系数，矛盾！

充分性证明策略（第4节）

纤维化构造

对于双棒棒糖型 $h$，定义映射： $\pi_{[a,b]}: \mathrm{Fl}(n) \to \mathrm{Fl}_{[a,b]}(n)$$\pi_{[a,b]}(V_1 \subset \cdots \subset V_n) = (V_a \subset V_{a+1} \subset \cdots \subset V_b)$

关键观察: $V_\bullet \in X(h)$ 当且仅当 $\pi_{[a,b]}(V_\bullet)$ 满足 $SV_k \subset V_{k+1}$ ($a \leq k \leq b-1$)

定义： $Y_{[a,b]} = \{(V_a \subset \cdots \subset V_b) \mid SV_k \subset V_{k+1}, a \leq k \leq b-1\}$

则 $\pi_{[a,b]}$ 限制到 $X(h)$ 给出纤维化： $\mathrm{Fl}(a) \times \mathrm{Fl}(n-b) \to X(h) \xrightarrow{\pi_{[a,b]}} Y_{[a,b]}$

引理4.1（环面簇结构）

证明 $Y_{[a,b]}$ 是维数为 $n-1$ 的紧致光滑环面簇：

• 通过选取特殊向量 $g = (g_1,...,g_n) \in (\mathbb{C}^*)^n$，构造 $(\mathbb{C}^*)^n$-轨道
• 利用Vandermonde行列式证明该轨道维数为 $n-1$

结论: 由于基空间 $Y_{[a,b]}$（环面簇）和纤维 $\mathrm{Fl}(a) \times \mathrm{Fl}(n-b)$（旗簇乘积）的上同调环都在二次生成，由纤维化的Serre谱序列知 $H^*(X(h))$ 也在二次生成。

实验设置

本文为纯数学理论论文，不涉及数值实验。所有结果均通过严格的数学证明得出。

计算验证

• 对小的 $n$ 值（如 $n=3,4,5$）进行了Poincaré多项式的显式计算验证
• 通过GKM理论计算了具体例子的二次上同调生成元（例2.1, 例2.2）

实验结果

主要结果

定理1.1（主定理）: 假设 $h(j) \geq j+1$ 对所有 $j \in [n-1]$，则 $H^*(X(h))$ 在二次生成当且仅当存在 $1 \leq a < b \leq n$ 使得：