2025-11-14T17:37:10.859561

A geometric interpretation of the Delta Conjecture

Gillespie, Gorsky, Griffin

We introduce a variety $Y_{n,k}$, which we call the \textit{affine $Î$-Springer fiber}, generalizing the affine Springer fiber studied by Hikita, whose Borel-Moore homology has an $S_n$ action and a bigrading that corresponds to the Delta Conjecture symmetric function $\mathrm{rev}_q\,ÏÎ'_{e_{k-1}}e_n$ under the Frobenius character map. We similarly provide a geometric interpretation for the Rational Shuffle Theorem in the integer slope case $(km,k)$. The variety $Y_{n,k}$ has a map to the affine Grassmannian whose fibers are the $Î$-Springer fibers introduced by Levinson, Woo, and the third author. Part of our proof of our geometric realization relies on our previous work on a Schur skewing operator formula relating the Rational Shuffle Theorem to the Delta Conjecture.

academic

A geometric interpretation of the Delta Conjecture

基本信息

论文ID: 2501.00197
标题: A geometric interpretation of the Delta Conjecture
作者: Maria Gillespie, Eugene Gorsky, Sean T. Griffin
分类: math.CO (组合数学), math.AG (代数几何)
发表时间: 2025年1月3日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2501.00197

摘要

本文引入了一个新的代数簇 $Y_{n,k}$ ，称为仿射 $\Delta$ -Springer 纤维，它推广了 Hikita 研究的仿射 Springer 纤维。该簇的 Borel-Moore 同调具有 $S_n$ 作用和双分次结构，在 Frobenius 特征映射下对应于 Delta 猜想中的对称函数 $\mathrm{rev}_q\omega\Delta'_{e_{k-1}}e_n$ 。作者同样为整数斜率情况 $(km,k)$ 的有理洗牌定理提供了几何解释。簇 $Y_{n,k}$ 有到仿射 Grassmannian 的映射，其纤维是由 Levinson, Woo 和第三作者引入的 $\Delta$ -Springer 纤维。

研究背景与动机

要解决的核心问题:
- 为 Delta 猜想和有理洗牌定理提供几何解释
- 构建具有适当对称群作用的代数簇，其同调对应于这些组合猜想中的对称函数
问题的重要性:
- Delta 猜想是 Macdonald 多项式理论中的重要开放问题
- 有理洗牌定理连接了椭圆 Hall 代数和组合统计量
- 几何实现有助于深入理解这些组合对象的结构
现有方法的局限性:
- Hikita 的工作仅处理了 $(n,n)$ 情况
- 缺乏对一般 $(K,k)$ 情况的几何理解
- Delta 猜想与有理洗牌定理之间的关系需要几何层面的统一
研究动机:
- 推广 Hikita 的仿射 Springer 纤维理论
- 建立 Delta 猜想的几何基础
- 统一不同组合猜想的几何解释

核心贡献

引入仿射 $\Delta$ -Springer 纤维: 构造了新的代数簇 $Y_{n,k}$ ，推广了 Hikita 的仿射 Springer 纤维
建立几何-组合对应: 证明了 $Y_{n,k}$ 的 Borel-Moore 同调的 Frobenius 特征等于 Delta 猜想中的对称函数
提供有理洗牌定理的几何解释: 构造了簇 $X_{n,k}$ ，其同调对应于有理洗牌定理中的对称函数
建立 Schur 偏斜算子公式: 证明了两个簇的同调通过 Schur 偏斜算子相关联
构造仿射铺装: 为 $X_{n,k}$ 提供了仿射铺装，胞腔与 $(K,k)$ 停车函数一一对应

方法详解

任务定义

本文的核心任务是构造代数簇，使其同调的 Frobenius 特征对应于以下对称函数：

$\mathrm{rev}_q\omega(E_{K,k} \cdot 1)$ (有理洗牌定理)
$\mathrm{rev}_q\omega\Delta'_{e_{k-1}}e_n$ (Delta 猜想)

其中 $K = k(n-k+1)$ 。

模型架构

1. 基础几何对象

仿射旗簇: $\widetilde{Fl} = GL_K(\mathbb{K})/I_-$ ，其中 $\mathbb{K} = \mathbb{C}((\epsilon))$ ， $I_-$ 是 Iwahori 子群。

仿射 Grassmannian: $\widet环{Gr} = GL_K(\mathbb{K})/GL_K(\mathcal{O})$ ，其中 $\mathcal{O} = \mathbb{C}[[\epsilon]]$ 。

2. 关键算子定义

定义 nil-elliptic 算子 $\gamma = \gamma_{n,k,N}$ ： $\gamma e_i = \begin{cases} e_{i+k} & \text{if } 1 \leq i \leq (n-k)k \\ e_{i+k+1} & \text{if } (n-k)k < i < K \\ \epsilon^{N+1}e_1 & \text{if } i = K \end{cases}$

3. 簇的构造

仿射 Springer 纤维: $Sp_\gamma = \{\Lambda_\bullet \in \widetilde{Fl} : \gamma\Lambda_i \subseteq \Lambda_i \text{ for all } i\}$

Schubert 胞腔的并: $C = \bigcup_{\omega \in \widetilde{S}_K^{+,0}} I_-\omega I_-/I_- \subset \widetilde{Fl}$

主要簇的定义:

$X_{n,k,N} := Sp_\gamma \cap C$
$Y_{n,k,N} := BM_{\gamma,n,k} \cap C'$

其中 $BM_{\gamma,n,k}$ 是仿射 Borho-MacPherson 簇。

技术创新点

1. $\gamma$ -限制置换的引入

定义了 $\gamma$ -限制仿射置换的概念，建立了与停车函数的双射关系：

定义: 仿射置换 $\omega$ 是 $\gamma$ -限制的，如果：

$\omega$ 是正的且标准化的
$\omega^{-1}(x) < \omega^{-1}(\gamma(x))$ 对所有 $x \in \mathbb{Z}$ 成立

2. 稳定化现象

引理: 对于 $N \geq k$ ，簇 $X_{n,k,N}$ 和 $Y_{n,k,N}$ 不依赖于 $N$ 。

这允许定义稳定版本 $X_{n,k}$ 和 $Y_{n,k}$ 。

3. Springer 作用的构造

利用 Borho-MacPherson 理论，构造了：

$S_K$ 在 $H_{BM}^*(X_{n,k})$ 上的作用
$S_n$ 在 $H_{BM}^*(Y_{n,k})$ 上的作用

实验设置

理论验证方法

本文主要通过理论证明验证结果，包括：

维数计算: 通过 $\gamma$ -限制置换的性质计算 Schubert 胞腔的维数
同调计算: 利用 Springer 理论计算 Borel-Moore 同调
特征映射: 通过 Frobenius 特征映射建立与对称函数的联系

组合对象

停车函数: $(K,k)$ 停车函数与 $\gamma$ -限制置换一一对应
堆叠停车函数: 与 $Y_{n,k}$ 的 $T$ -不动点对应
对角反演统计量: 在几何上对应于胞腔的维数

实验结果

主要定理

定理 1.3: (a) 对于 $N \geq k$ ，空间 $X_{n,k}$ 承认仿射铺装，胞腔与 $(K,k)$ 停车函数一一对应。 (b) Borel-Moore 同调有 $S_K$ 作用，其 Frobenius 特征等于 $\mathrm{rev}_q\omega(E_{K,k} \cdot 1)$ 。

定理 1.6: (a) 对于所有 $N \geq k$ ，存在几何偏斜公式： $q^{(\frac{k-1}{2})(n-k)}\text{Frob}(H_{BM}^*(Y_{n,k})) = s_{\lambda'}^{\perp}\text{Frob}(H_{BM}^*(X_{n,k}))$

(b) $\text{Frob}(H_{BM}^*(Y_{n,k})) = \mathrm{rev}_q\omega(\Delta'_{e_{k-1}}e_n)$

关键结果验证

仿射铺装的存在性: 通过构造性证明，每个胞腔 $X_{n,k} \cap C_{\omega^{-1}}$ 同构于仿射空间 $\mathbb{C}^{\delta_{K,k} - \text{dinv}(\pi)}$
Springer 作用的相容性: 证明了不同簇上的 Springer 作用通过 Schur 偏斜算子相关
特征公式的验证: 通过组合论证和几何计算验证了 Frobenius 特征公式