2025-11-10T03:02:10.119684

Bumpless pipe dreams meet Puzzles

Fan, Guo, Xiong

Knutson and Zinn-Justin recently found a puzzle rule for the expansion of the product $\mathfrak{G}_{u}(x,t)\cdot \mathfrak{G}_{v}(x,t)$ of two double Grothendieck polynomials indexed by permutations with separated descents. We establish its triple Schubert calculus version in the sense of Knutson and Tao, namely, a formula for expanding $\mathfrak{G}_{u}(x,y)\cdot \mathfrak{G}_{v}(x,t)$ in different secondary variables. Our rule is formulated in terms of pipe puzzles, incorporating both the structures of bumpless pipe dreams and classical puzzles. As direct applications, we recover the separated-descent puzzle formula by Knutson and Zinn-Justin (by setting $y=t$) and the bumpless pipe dream model of double Grothendieck polynomials by Weigandt (by setting $v=\operatorname{id}$ and $x=t$). Moreover, we utilize the formula to partially confirm a positivity conjecture of Kirillov about applying a skew operator to a Schubert polynomial.

academic

Bumpless pipe dreams meet Puzzles

基本信息

论文ID: 2309.00467
标题: Bumpless pipe dreams meet Puzzles
作者: Neil J.Y. Fan, Peter L. Guo, Rui Xiong
分类: math.CO math.AG
发表时间: 2023年9月1日
论文链接: https://arxiv.org/abs/2309.00467

摘要

本文建立了双Grothendieck多项式乘积展开的三重Schubert演算版本，即对具有分离下降的置换索引的双Grothendieck多项式乘积 $G_u(x,y) \cdot G_v(x,t)$ 的展开公式。该公式采用"管道拼图"(pipe puzzles)的形式表述，融合了无碰撞管道梦(bumpless pipe dreams)和经典拼图的结构。作为直接应用，该公式恢复了Knutson-Zinn-Justin的分离下降拼图公式和Weigandt的双Grothendieck多项式的无碰撞管道梦模型，并部分证实了Kirillov关于Schubert多项式偏斜算子的正性猜想。

研究背景与动机

核心问题

本文要解决的核心问题是三重Schubert演算中的结构常数计算，具体是展开乘积： $G_u(x,y) \cdot G_v(x,t) = \sum_w c^w_{u,v}(t,y) \cdot G_w(x,t)$ 其中 $u,v$ 是具有分离下降条件的置换： $\max \text{des}(u) \leq k \leq \min \text{des}(v)$ 。

重要性

几何意义: 这对应于旗流形的环等变K理论中的三重Schubert演算，具有重要的代数几何意义
组合意义: 统一了多个重要的组合模型，包括经典拼图、无碰撞管道梦等
理论价值: 为多项式展开提供了显式的组合公式，有助于理解Schubert多项式的结构

现有方法局限性

Knutson-Zinn-Justin的公式仅适用于 $y=t$ 的情况
Wheeler-Zinn-Justin的公式局限于Grassmannian置换
缺乏统一的组合框架来处理不同次要变量的情况

核心贡献

主要定理: 建立了分离下降置换的管道拼图公式（定理2.5），给出了系数 $c^w_{u,v}(t,y)$ 的组合表达式
技术创新: 引入了管道拼图的概念，融合了无碰撞管道梦和经典拼图的结构
方法论突破: 发现了两类递推关系，简化了证明过程
应用拓展: 恢复了多个已知结果并证实了Kirillov的正性猜想
可积模型: 将管道拼图实现为满足Yang-Baxter方程的可积格模型

右边界： $\kappa^u_i = \begin{cases} u^{-1}(i), & u^{-1}(i) \leq k \\ 0, & u^{-1}(i) > k \end{cases}$
上边界： $\theta^v_i = \begin{cases} 0, & v^{-1}(i) \leq k \\ v^{-1}(i), & v^{-1}(i) > k \end{cases}$
下边界： $\eta^w_i = w^{-1}(i)$

2. 可用瓦片

管道拼图使用以下瓦片：

空瓦片： $\square$
肘部瓦片： $\lceil$ , $\lfloor$ , $\ulcorner$ , $\urcorner$
直管瓦片： $|$ , $-$
碰撞瓦片： $\times$ （新增）

3. 约束条件

肘部约束：水平管道必须接收较小标签
碰撞约束：
- 同侧管道：西北管道接收较大标签
- 异侧管道：西北管道必须来自右侧

权重计算

每个瓦片在位置 $(i,j)$ 的权重：

空瓦片： $t_j \ominus y_i$
肘部瓦片（右侧管道）： $1 + \beta(t_j \ominus y_i)$
肘部瓦片（顶侧管道）： $1 + \beta(t_j \ominus y_i)$
碰撞瓦片（同侧）： $\beta$
碰撞瓦片（异侧）： $\beta(1 + \beta(t_j \ominus y_i))$
其他瓦片： $1$

其中 $x \ominus y = \frac{x-y}{1+\beta y}$ 。

技术创新点

1. 递推关系

发现了两类关键递推关系：

关于 $u$ 的递推（命题3.1）：当 $s_i u < u$ 时 $c^w_{s_i u,v} = -\frac{1+\beta y_i}{y_i - y_{i+1}} c^w_{u,v} + \frac{1+\beta y_{i+1}}{y_i - y_{i+1}} c^w_{u,v}|_{y_i \leftrightarrow y_{i+1}}$
关于 $w$ 的递推（命题3.2）：当 $s_i w > w$ 时，根据 $s_i v$ 与 $v$ 的关系有不同形式