Generic Pipe Dream Polynomials

• Generic pipe dream polynomials are weighted generating functions defined on pipe dream models that extend classical Schubert formulas to include equivariant and deformation parameters.
• They use hybrid constructions involving partial permutations, proving that row-by-row choices (classic vs. bumpless) do not affect the resulting polynomial.
• The framework leverages Yang–Baxter symmetry and flux equations to connect geometric interpretations, such as matrix Schubert varieties, with quantum and Grothendieck deformations.

Searching arXiv for recent and foundational papers on generic pipe dreams, Schubert/Grothendieck polynomials, and related pipe-dream models. Generic pipe dream polynomials are weighted generating functions attached to pipe-diagram models that extend the classical role of pipe dreams from monomial formulas for Schubert polynomials to a broader apparatus for equivariant classes, deformations, and interpolating combinatorics. In the strictest sense, the term is introduced for the polynomials

$G_w=\sum_{\delta\in GPDs(w)} wt(\delta),$

defined by sums over generic pipe dreams and identified with equivariant cohomology classes of lower-upper varieties (Knutson et al., 2024). A later hybrid formulation extends the construction to partial permutations $\pi$, proves independence of the row-by-row hybridization, and shows

$G_\pi=(A+B)^m[E_\pi]$

for the corresponding component $E_\pi$ of the lower-upper scheme (Knutson et al., 2 Sep 2025). Earlier pipe-dream formulas for double Schubert, Schubert, Grothendieck, and bumpless models supply the immediate antecedents and remain the main comparative context (Knutson, 2019).

1. Terminology, scope, and principal frameworks

The terminology is not uniform across the literature. Several foundational papers do not use the exact phrase “generic pipe dream polynomials,” but they provide the closest frameworks: double Schubert pipe dream polynomials as universal equivariant degeneracy-locus classes, Schubert and Grothendieck polynomials as weighted sums over reduced or nonreduced pipe dreams, and bumpless or hybrid models interpolating among different realizations (Knutson, 2019).

Framework	Indexing data	Polynomial or class
Double pipe dream polynomial $C_\pi$	$\pi\in S_\infty$	$$C_\pi=\sum_{D\in PD(\pi)}\prod_{+\in D}(x_{\operatorname{row}(+)}-y_{\operatorname{col}(+)})$$
Generic pipe dream polynomial $G_w$	$w\in S_n$	$G_w=\sum_{\delta\in GPDs(w)}wt(\delta)$, with $\pi$0
Hybrid generic pipe dream polynomial $\pi$1	$\pi$2	weighted sum over hybrid generic pipe dreams, with $\pi$3
Clan polynomial $\pi$4	$\pi$5-clans $\pi$6	$\pi$7

Within this spectrum, two modern constructions are the most literal realizations of the subject. The first is the generic pipe dream polynomial $\pi$8 attached to a permutation $\pi$9, designed so that classic and bumpless pipe-dream formulas for double Schubert polynomials appear as opposite leading-term regimes (Knutson et al., 2024). The second is the hybrid generic pipe dream polynomial $G_\pi=(A+B)^m[E_\pi]$0, attached to a partial permutation $G_\pi=(A+B)^m[E_\pi]$1, where a row-by-row choice of “classic-like” or “bumpless-like” behavior is shown not to affect the resulting polynomial (Knutson et al., 2 Sep 2025).

A persistent conceptual point is that “generic” means different things in nearby papers. In the double Schubert setting, it refers to unspecialized equivariant variables $G_\pi=(A+B)^m[E_\pi]$2 and universal degeneracy-locus formulas. In the lower-upper-variety setting, it refers to the richer weight system involving $G_\pi=(A+B)^m[E_\pi]$3, $G_\pi=(A+B)^m[E_\pi]$4, $G_\pi=(A+B)^m[E_\pi]$5, and $G_\pi=(A+B)^m[E_\pi]$6, together with generic pipe dream tiles and flux equations. In the Grothendieck setting, a different parameterization is supplied by the deformation parameter $G_\pi=(A+B)^m[E_\pi]$7 (Morales et al., 2024).

2. Combinatorial definitions and weight systems

In the construction of Knutson–Zinn-Justin, a generic pipe dream tile is any of seven local tiles, including crossing, elbow or $G_\pi=(A+B)^m[E_\pi]$8-turn, bump, horizontal and vertical straight tiles, reverse elbow, and blank. A generic pipe dream is an $G_\pi=(A+B)^m[E_\pi]$9 square tiled by these pieces with boundary conditions: the pipes entering from the west are labeled $E_\pi$0, the pipes exiting on the north are labeled $E_\pi$1, and the east and south boundary edges are blank. The polynomial is

$E_\pi$2

where

$E_\pi$3

The $E_\pi$4-leading terms come from classic pipe dreams, while the $E_\pi$5-leading terms come from bumpless pipe dreams (Knutson et al., 2024).

The hybrid theory replaces permutations in $E_\pi$6 by partial permutations

$E_\pi$7

and introduces a hybridization

$E_\pi$8

Rows of type $E_\pi$9 have a pipe entering from the west; rows of type $C_\pi$0 have a pipe entering from the east; no pipes enter from the south; every pipe exits at the north. Double crossings are allowed. If $C_\pi$1 is the label of the pipe entering physical row $C_\pi$2, then the tile weights are

$C_\pi$3

for elbow tiles,

$C_\pi$4

for blank and straight tiles in west rows, and the same two linear forms with the roles reversed in east rows. The associated polynomial is

$C_\pi$5

and the main theorem states that $C_\pi$6 is independent of $C_\pi$7 (Knutson et al., 2 Sep 2025).

These weight systems differ sharply from the reduced Schubert pipe-dream weights, where a pipe dream contributes a monomial determined solely by row-crossing multiplicities. The 2016 slide-polynomial refinement makes that older situation explicit: $C_\pi$8 and then reorganizes the sum by quasi-Yamanouchi pipe dreams and fundamental slide polynomials (Assaf et al., 2016).

3. Relation to Schubert, double Schubert, and Grothendieck families

A central antecedent is the double Schubert pipe dream polynomial

$C_\pi$9

which is proved to coincide with the algebraically defined double Schubert polynomial and with the equivariant class of the matrix Schubert variety: $\pi\in S_\infty$0 In this sense, the double pipe dream polynomial is already the universal or generic version of the Schubert polynomial, before any specialization in the equivariant parameters (Knutson, 2019).

The newer generic pipe dream polynomials recover the two standard Schubert models by asymptotic or leading-term extraction. For $\pi\in S_\infty$1, the highest power of $\pi\in S_\infty$2 comes only from classic pipe dreams and equals

$\pi\in S_\infty$3

while the highest power of $\pi\in S_\infty$4 comes only from bumpless pipe dreams and equals

$\pi\in S_\infty$5

Accordingly, ordinary and bumpless pipe dreams appear as opposite faces of one larger object (Knutson et al., 2024). In the hybrid theory, the same pattern survives in rectangular form: if $\pi\in S_\infty$6 is the minimal extension of $\pi\in S_\infty$7, then

$\pi\in S_\infty$8

and only nongeneric hybrid pipe dreams contribute to that leading form (Knutson et al., 2 Sep 2025).

Grothendieck polynomials provide a different parameterized pipe-dream family. In that setting,

$\pi\in S_\infty$9

The specialization $$C_\pi=\sum_{D\in PD(\pi)}\prod_{+\in D}(x_{\operatorname{row}(+)}-y_{\operatorname{col}(+)})$$0 yields Schubert polynomials, while $$C_\pi=\sum_{D\in PD(\pi)}\prod_{+\in D}(x_{\operatorname{row}(+)}-y_{\operatorname{col}(+)})$$1 weights all pipe dreams mapping to $$C_\pi=\sum_{D\in PD(\pi)}\prod_{+\in D}(x_{\operatorname{row}(+)}-y_{\operatorname{col}(+)})$$2 equally (Morales et al., 2024). This family is not called generic pipe dream polynomials, but it is a natural one-parameter deformation of the same pipe-dream paradigm.

Pipe-dream-based basis changes also extend beyond direct expansions into monomials. Using bumpless pipe dreams and co-BPDs, one has explicit rules for changing bases between Grothendieck and Schubert families: $$C_\pi=\sum_{D\in PD(\pi)}\prod_{+\in D}(x_{\operatorname{row}(+)}-y_{\operatorname{col}(+)})$$3 The relevant statistic is the co-permutation of the associated co-BPD, and the canonical bijection of Gao–Huang is shown to preserve co-permutations (Weigandt, 8 Jun 2025).

4. Geometric interpretations and the meaning of “generic”

The most classical geometric meaning comes from matrix Schubert varieties. In the double Schubert framework, the factor $$C_\pi=\sum_{D\in PD(\pi)}\prod_{+\in D}(x_{\operatorname{row}(+)}-y_{\operatorname{col}(+)})$$4 attached to a crossing at box $$C_\pi=\sum_{D\in PD(\pi)}\prod_{+\in D}(x_{\operatorname{row}(+)}-y_{\operatorname{col}(+)})$$5 is the $$C_\pi=\sum_{D\in PD(\pi)}\prod_{+\in D}(x_{\operatorname{row}(+)}-y_{\operatorname{col}(+)})$$6-weight of the matrix coordinate $$C_\pi=\sum_{D\in PD(\pi)}\prod_{+\in D}(x_{\operatorname{row}(+)}-y_{\operatorname{col}(+)})$$7, and the resulting pipe dream polynomial equals the equivariant cohomology class of the matrix Schubert variety $$C_\pi=\sum_{D\in PD(\pi)}\prod_{+\in D}(x_{\operatorname{row}(+)}-y_{\operatorname{col}(+)})$$8. This makes double pipe dream polynomials universal degeneracy-locus formulas for generic maps of flagged bundles (Knutson, 2019).

The lower-upper-variety theory replaces matrix Schubert varieties by

$$C_\pi=\sum_{D\in PD(\pi)}\prod_{+\in D}(x_{\operatorname{row}(+)}-y_{\operatorname{col}(+)})$$9

with components $G_w$0. The main class formula is

$G_w$1

Moreover, $G_w$2 degenerates equivariantly to a union of quadratic complete intersections $G_w$3, one for each generic pipe dream $G_w$4, and the class of $G_w$5 is exactly the corresponding summand in $G_w$6 (Knutson et al., 2024).

The hybrid theory extends this to rectangular matrix pairs

$G_w$7

with components $G_w$8. Its main theorem is

$G_w$9

A second proof degenerates $w\in S_n$0 to a union of complete intersections $w\in S_n$1 indexed by hybrid generic pipe dreams, with the caveat that embedded components may appear; their absence is conjectured rather than proved (Knutson et al., 2 Sep 2025).

Bumpless pipe dreams supply a parallel geometric story for diagonal Gröbner degeneration. Under suitable diagonal term orders, the irreducible components of the diagonal Gröbner degeneration of a matrix Schubert variety are indexed by bumpless pipe dreams, counted with scheme-theoretic multiplicity (Klein et al., 2021). Earlier work established this decomposition for classes such as banner permutations and formulated the general diagonal story as dual to the antidiagonal geometry of classical pipe dreams (Hamaker et al., 2020). One common misconception is therefore misleading: bumpless pipe dreams are not merely an alternative combinatorial expansion, but a geometrically natural model for diagonal degeneration, just as classical pipe dreams are natural for antidiagonal degeneration.

5. Structural mechanisms: Yang–Baxter, flux, and canonical compression

Hybrid generic pipe dream polynomials are controlled by two structural principles. The first is Yang–Baxter symmetry: adjacent row types can be swapped without changing the polynomial, and the resulting state sums satisfy a divided-difference recurrence. If $w\in S_n$2, then

$w\in S_n$3

For decreasing $w\in S_n$4, there is also an explicit product formula. These recurrences are proved by inserting an auxiliary diamond and moving it across the diagram by Yang–Baxter moves (Knutson et al., 2 Sep 2025).

The second principle is flux. Edge fluxes $w\in S_n$5 are defined from the matrix entries, and local conservation laws imply that pipes may be recovered from equalities among fluxes. The component $w\in S_n$6 is characterized by flux equations

$w\in S_n$7

so connectivity becomes a statement about which flux exits at which top edge. This is a distinctive feature of the generic setting: the notion of pipe dream is derived from equalities among fluxes rather than postulated independently (Knutson et al., 2 Sep 2025).

A different but closely related structural theme appears in the slide-polynomial refinement of Schubert combinatorics. There one compresses the full pipe-dream sum by destandardization to quasi-Yamanouchi pipe dreams and obtains

$w\in S_n$8

This packages the monomial generating function of all reduced pipe dreams into a smaller canonical indexing set and refines the stabilization from Schubert polynomials to Stanley symmetric functions (Assaf et al., 2016). In another direction, reduced pipe dreams carry a Demazure crystal structure via crystal chute moves, and this yields a decomposition of Schubert polynomials into key polynomials indexed by highest-weight pipe dreams (Gold et al., 2024). These constructions do not define generic pipe dream polynomials, but they show that pipe-dream-generated polynomials admit canonical quotients, internal crystals, and basis refinements.

6. Extensions beyond the basic Schubert setting

Several later developments broaden the range of pipe-dream-type polynomial theories. For $w\in S_n$9-clans, bumpless pipe dream fragments on a clan-dependent Young diagram define clan polynomials

$G_w=\sum_{\delta\in GPDs(w)}wt(\delta)$0

and these coefficients appear exactly in the equivariant Schubert expansion of the $G_w=\sum_{\delta\in GPDs(w)}wt(\delta)$1-orbit closure class $G_w=\sum_{\delta\in GPDs(w)}wt(\delta)$2. In the full-rectangle case, the clan polynomial reduces to a double Schubert polynomial of an associated partial permutation (Chen et al., 2 Nov 2025).

Quantum deformation is realized by quantum bumpless pipe dreams. In that model,

$G_w=\sum_{\delta\in GPDs(w)}wt(\delta)$3

where $G_w=\sum_{\delta\in GPDs(w)}wt(\delta)$4 includes factors $G_w=\sum_{\delta\in GPDs(w)}wt(\delta)$5, $G_w=\sum_{\delta\in GPDs(w)}wt(\delta)$6, and $G_w=\sum_{\delta\in GPDs(w)}wt(\delta)$7 depending on empty, domino, upward-cross, southwest-elbow, and upward-vertical tiles. The formula specializes to ordinary bumpless pipe dreams at $G_w=\sum_{\delta\in GPDs(w)}wt(\delta)$8, but it is not cancellation-free; the paper gives explicit examples of complete and partial cancellation (Le et al., 2024). This resolves a common expectation inherited from cohomological formulas: in quantum settings, a pipe-dream model may exist even when positivity does not.

Pipe puzzles provide another hybrid extension. For permutations $G_w=\sum_{\delta\in GPDs(w)}wt(\delta)$9 with separated descents at position $\pi$00, the coefficients in

$\pi$01

are given by

$\pi$02

This model incorporates both bumpless pipe-dream and puzzle structures, specializes to the Knutson–Zinn-Justin separated-descent rule when $\pi$03, and recovers Weigandt’s bumpless formula when $\pi$04 and $\pi$05 (Fan et al., 2023).

Grothendieck top-degree theory supplies yet another specialized variant. For inverse fireworks permutations, the top homogeneous component $\pi$06 admits the direct formula

$\pi$07

where $\pi$08 denotes bumpless vertical-less pipe dreams. This gives the first direct combinatorial formula for the Castelnuovo–Mumford polynomial in that regime (Chou et al., 2024). At the opposite scale, principal specializations of $\pi$09-Grothendieck polynomials support a probabilistic model of random permutations from pipe dreams, with the $\pi$10 case occupying the paper’s main asymptotic focus (Morales et al., 2024).

Taken together, these constructions show that generic pipe dream polynomials are not a single isolated family but a node in a larger theory of weighted pipe-dream state sums. Across Schubert, Grothendieck, lower-upper, clan, quantum, and puzzle settings, the recurring pattern is a locally defined pipe model whose global generating function represents a canonical geometric or representation-theoretic object.