Pith. sign in

REVIEW 1 major objections 6 minor 2 cited by

Introduction to the Cohomology of the Flag Variety

T0 review · 1 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash

Pith's one-line read Every Schubert counting problem reduces to multiplying Schubert polynomials and reading off one coefficient.

desk verdict A solid, well-crafted survey chapter with no new theorem; the revisionist Monk-style route is a real pedagogical contribution, and the chapter deserves a serious referee. read the letter →

arxiv 2506.21064 v1 pith:3X2L7S47 submitted 2025-06-26 math.CO math.ACmath.AG

classification math.COmath.ACmath.AG MSC 14M1514N1505E14
keywords SchubertcalculusflagvarietypolynomialsChowringHilbert's15thproblemstructureconstantsGrassmannianMonk'sformula
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This introductory handbook chapter makes a complete, rigorous case that Hilbert's 15th problem is solved for flag varieties: every finite enumerative question about intersecting Schubert varieties becomes a computation in a polynomial ring. The chain is explicit: Schubert varieties have cohomology classes represented by Schubert polynomials, products of these polynomials expand in the Schubert basis with nonnegative integer coefficients, and those coefficients are exactly the generic intersection numbers. The chapter follows Monk's constructive path rather than the standard divided-difference route, so that each step is tied to counting flags in triple intersections. The payoff is that any Schubert problem can be answered by polynomial arithmetic and linear algebra, with the remaining obstacle purely computational.

What carries the argument

The central objects are the Schubert varieties $X_w$, their classes $[X_w]$ in the Chow ring $A^*(\mathrm{Fl}(n)) \cong H^*(\mathrm{Fl}(n))$, and the Schubert polynomials $S_w$ defined by the transition equation via the lex-largest inversion recurrence, which the chapter derives from Monk's formula. The mechanism doing the work is the basis property: the Schubert polynomials form a basis of the coinvariant algebra with leading monomial given by the Lehmer code, and the induced ring isomorphism sends the product of Schubert classes to the ordinary product of the corresponding polynomials, so that structure constants are read off as expansion coefficients.

What would settle it

Compute a Schubert structure constant $c^w_{uv}$ in a small case such as $\mathrm{Fl}(4)$ or $\mathrm{Fl}(5)$ by two independent routes: expand the product of the corresponding Schubert polynomials in the Schubert basis, and directly solve the generic polynomial system of rank conditions that defines the triple intersection; any mismatch between the expansion coefficient and the number of solutions would refute the claimed reduction.

Watch

Extended reading notes

Core claim

The chapter establishes that for the complete flag variety $\mathrm{Fl}(n)$, the Chow ring $A^*(\mathrm{Fl}(n))$ is isomorphic to the cohomology ring and to the coinvariant algebra $\mathbb{Z}[x_1,\dots,x_n]/I_n^+$, with the Schubert classes $[X_w]$ forming a basis. Multiplication of these classes corresponds to generic intersection of the corresponding Schubert varieties, so the structure constants $c^w_{uv}$ in $[X_u][X_v] = \sum c^w_{uv}[X_w]$ are nonnegative integers counting points in 0-dimensional triple intersections. The chapter proves that the Schubert polynomials $S_w$ represent the Schubert classes $[X_{w_0 w}]$ and form a basis of the coinvariant algebra, so that products of Schubert classes become ordinary products of polynomials expanded in the Schubert basis. Thus the answer to any Schubert problem is a specific coefficient in a product of Schubert polynomials, and the authors state in Section 3.10 that "the generic solutions can be found by polynomial arithmetic and some linear algebra. The theory is completely rigorous."

Load-bearing premise

The reduction rests on the unproved theory of rational equivalence and the moving lemma, taken as given: that multiplying Chow classes of Schubert varieties genuinely counts their points of intersection when the varieties are moved into generic position.

Editorial extensions

If this is right

  • Any 0-dimensional Schubert problem in the complete flag variety can be solved by expanding a product of Schubert polynomials in the Schubert basis and extracting one coefficient, which the chapter demonstrates on the classic problem of counting lines meeting four given lines.
  • The Schubert structure constants are always nonnegative integers, because by the Geometry Implies Positivity theorem each one counts the flags in a generic triple intersection of Schubert varieties.
  • The ring structure of the flag variety is generated by the special classes $[X_{w_0 s_i}]$, so Monk's formula for multiplication by these classes determines all structure constants recursively.
  • The cohomology rings of all partial flag varieties and Grassmannians are governed by the same structure constants, extending the polynomial-arithmetic reduction beyond complete flags.
  • The remaining barrier is computational: Narayanan's result that Schubert problems are at least as hard as $\#P$ bounds the feasibility of carrying out the polynomial expansions for large $n$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • This reduction implies that progress on computing Schubert structure constants directly translates into progress on enumerative geometry, while the $\#P$-hardness result suggests that no universal polynomial-time combinatorial rule for these constants can exist unless the polynomial hierarchy collapses.
  • The same polynomial-arithmetic framework should extend, with positivity lost, to equivariant and quantum cohomology and to double Schubert polynomials, where the chapter's degeneracy-locus discussion already points toward how the moving-flag language adapts.
  • The realizability question for permutation arrays -- which higher-dimensional tables of intersection dimensions actually arise from configurations of flags -- is the natural combinatorial testbed for generalizing the reduction from pairs of flags to arbitrary numbers of reference flags.
  • Because the chapter deliberately bypasses the divided-difference route, its transition-equation definition of Schubert polynomials is itself a testable claim: if the transition recurrence ever produced a polynomial not representing the corresponding Schubert class, the entire computational pipeline would need repair.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 6 minor

Summary. This paper is a survey chapter intended for the 'Handbook of Combinatorial Algebraic Geometry: Subvarieties of the Flag Variety.' Its central claim is that Schubert problems on complete flag varieties can be reduced, rigorously and algorithmically, to expanding products of Schubert polynomials in the Schubert basis and extracting coefficients. The chapter develops the necessary background: flag varieties and Schubert varieties, Bruhat order, the Chow/cohomology ring, Monk's formula, the transition equation definition of Schubert polynomials, and their combinatorial models (pipe dreams, bumpless pipe dreams, etc.). It also surveys related geometry (matrix Schubert varieties, singular loci, degeneracy loci) and lists open problems. The exposition is constructive and intentionally follows a 'revisionist' path, starting from Monk's approach rather than the BGG/Demazure divided-difference formalism.

Significance. If the chapter's central assertion is accepted, it provides a clear and useful survey of a foundational area at the interface of algebraic geometry and combinatorics. The text is careful to credit original sources and gives a large number of exercises with citations, making it a valuable pedagogical resource. The explicit worked computation in §3.10, showing that (S_{1324})^4 expands with coefficient 2 on S_{3412} and thereby recovers the answer to the classical 'lines meeting four lines' problem, convincingly demonstrates the reduction. The chapter also serves as a broad introduction to modern tools (pipe dreams, puzzles, Stanley symmetric functions, etc.) and openly discusses computational complexity and open problems. For a handbook survey, the delegation of the deepest intersection-theoretic foundations to Fulton's books is appropriate rather than a flaw.

major comments (1)
  1. [§3.7 and §3.10] The chapter's main claim that 'the theory is completely rigorous' depends on Theorem 3.82 and Theorem 3.115(e), but the exposition does not state the precise transversality hypothesis (e.g., Kleiman's transversality theorem) underlying the equality between Chow ring multiplication and generic intersection numbers. I recommend adding a remark in §3.7 that explicitly names the external results on which Theorem 3.82 rests and notes their validity for the complete flag variety, with a specific citation to [133] or [134]. This would make the rigor claim in §3.10 fully supportable within the chapter's own text rather than leaving the reader to infer the missing hypothesis.
minor comments (6)
  1. [§3.9, Eq. (3.50)] The monomial for the longest permutation is typeset incompletely; it should read x_1^{n-1} x_2^{n-2} ... x_{n-1}^1 x_n^0, with the final exponent 0 explicitly written.
  2. [§3.6] After stating that the Realizability Conjecture is true for d = 1, 2, 3, the text says 'Nonetheless, the conjecture is false' without specifying the dimension; the counterexamples in [40] occur for higher d, and the sentence would be clearer if it said so explicitly.
  3. [§3.10, Eq. (3.56)] The expansion (x1+x2)^4 = 2 S_3412 + 3 S_25134 + S_162345 is asserted without indicating that S_25134 and S_162345 are permutations in S5 and S6, respectively; adding the one-line notation or a citation would help the reader verify the computation.
  4. [§3.5, Example 3.51] The statement 'z42 is not a flag minor' may confuse readers because z42 is a matrix entry; consider rephrasing to 'the entry z42 is not a flag minor' to emphasize the distinction.
  5. [§3.2, after Eq. (3.6)] The phrase 'tij are called transpositions' uses an untypeset t_{ij}; fix the indexing to t_{ij} throughout for consistency.
  6. [Note to Readers] The note states 'We hope to have it polished up soon for publication in 2025'; the final published version should remove this preliminary-status language or update it.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the chapter's reduction of Schubert problems to Schubert-polynomial arithmetic is grounded in standard intersection theory and proved from Monk's formula; self-citations are historical or auxiliary, not load-bearing.

full rationale

The chapter is an expository survey whose central reduction is: Schubert problems → products of Schubert classes → cohomology/coinvariant algebra → Schubert polynomials. The bridge is Theorem 3.82, which is not derived from Schubert polynomials; it is the standard Chow-ring statement that intersection numbers are coefficients in products of Chow classes, and the paper explicitly delegates the foundational moving-lemma/rational-equivalence machinery to Fulton's books, saying in §3.7: "Defining rational equivalence explicitly is beyond the scope of this chapter." Theorem 3.115, relating Schubert polynomials to Schubert classes, is proved in the text: Schubert polynomials are first defined by the transition equation (3.42), and the proof of Theorem 3.115 uses Lemma 3.114, whose proof is geometric (pullback under Fl(n) → Fl(n+1)), together with the independently known fact that Schubert classes form a basis of A*(Fl(n)). The structure-constant equality (e) is a consequence of the ring isomorphism f, not an input to it. Monk's formula is proved geometrically via triple intersections, and the polynomial results are then derived from it; no step fits a parameter and calls the result a prediction, and no object is defined in terms of its own conclusion. Self-citations such as Billey–Vakil in §3.6 and Billey–Jockusch–Stanley in §4.1 concern auxiliary algorithms and historical attributions; the main combinatorial identities used later are either proved or sketched in the chapter, and the load-bearing geometry is cited to standard references. The paper also hedges the Hilbert-15 claim in §2.1. I find no circular step.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters or new entities. The chapter's claims rest on standard, cited theorems of intersection theory and Schubert polynomials.

assumptions (4)
  • standard math The Chow ring A*(Fl(n)) is free with basis the Schubert classes [X_w] for w in S_n.
    Invoked throughout Sections 3.7 and 3.8 to define Schubert structure constants; cited to Fulton [133].
  • standard math A*(Z) is isomorphic to singular cohomology H*(Z;Z) when Z is smooth and has a cellular decomposition.
    Used to transfer Schubert calculus to cohomology; cited to [133, Ch. 1 and 19].
  • standard math Schubert polynomials S_w represent the Schubert class [X_{w0 w}] in the coinvariant algebra R_n.
    Central identification used to turn intersection problems into polynomial multiplication; cited to Lascoux-Schutzenberger [250] and Macdonald [265].
  • domain assumption The moving lemma and rational equivalence for flag varieties: generic translates of Schubert varieties intersect as their Chow classes predict.
    The paper states that the moving is straightforward for flag varieties but does not prove it; it is essential for Theorem 3.82.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Introduction to the Cohomology of the Flag Variety." pith.science (2026). https://pith.science/paper/3X2L7S47

@misc{pith2026250621064,
  author       = {Pith},
  title        = {Pith review of: Introduction to the Cohomology of the Flag Variety},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3X2L7S47}},
  note         = {Machine review of arXiv:2506.21064}
}
read the original abstract

One hundred years ago, Hilbert gave a list of important open problems in mathematics. His 15th problem asked for the development of a rigorous calculus explaining Schubert's enumerative results for intersecting varieties defined by rank conditions on vector spaces. Today by way of many contributions in algebraic topology, geometry, and combinatorics, we consider this solved. Yet, deep questions remain about the subtleties of actually carrying out the process. In this chapter, we hope to summarize the rigorous development of what has become known as Schubert calculus, with an eye toward computation. We discuss Grassmannians and flag varieties and their cohomology rings, following Monk's constructive algebraic approach. We derive formulas for Schur and Schubert polynomials, which represent cohomology classes of Schubert varieties. We hint at the vast literature in this area and point to the other references in the Handbook for more information. Finally, we identify open problems that remain a challenge even with modern tools at our fingertips in hopes of inspiring further contributions in this fascinating field. This is intended as the first chapter of a book entitled "Handbook of Combinatorial Algebraic Geometry: Subvarieties of the Flag Variety", a compendium of topics in the area. The book is being edited by Erik Insko, Martha Precup, and Ed Richmond. In addition to this introductory chapter, others will cover more advanced topics such as Kazhdan-Lusztig varieties, generalized smooth Schubert varieties, Richardson varieties and positroid varieties, spherical and torus orbit closures, spanning line configurations, different types of Hessenberg varieties, and generalizations to Kac-Moody flag varieties, each written by experts in those areas. We hope you enjoy this chapter enough to seek out the others, and that you send us any comments or corrections you find as you read this article!

Figures

Figures reproduced from arXiv: 2506.21064 by the authors.

Figure 1
Figure 1. Projective representation of a flag in R 4 as a point on a line in a plane, which is spanned by one wall of a shoebox. R 4 meets the hyperplane in a line. Every 3-dimensional subspace of R 4 meets the hyperplane in a plane. Therefore, drawn projectively, a flag in Fl(4) is a point, on a line, in a plane, contained in one side of a shoebox, which represents C 4 projected on the fixed hyperplane. See [PITH_FULL_IMAGE… view at source ↗
Figure 2
Figure 2. A flag on a flag pole. Go Schubert Team! For each pair of flags, we can consider how their subspaces relate to each other. We can classify such pairs according to the intersection table of dimensions of the i th subspace in the first flag intersected with the j th subspace of the second flag. For example, again in n = 4, consider a flag B• drawn in black and R• drawn in red as in [PITH_FULL_IMAGE:figures/full_fig_p… view at source ↗
Figure 3
Figure 3. Pairs of flags in 3 different relative positions along with their intersection tables. The rows and columns are labeled the same way in each case. The zero-dimensional intersections are represented by empty cells in these tables for ease of reading. Continuing with Example 3.2, the flag F• = (6e1 + 3e2, 4e1 + 2e3, 9e1 + e3 + e4, e2) can be represented by the matrices (3.1)     6 4 9 0 3 0 0 1 0 2 1 0 0 0 1 0  … view at source ↗
Figures from the paper (58 more)
Figure 4
Figure 4. Figure 4: The diagram of w = 43152 is the set of outlined cells, so D(w) = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (4, 2)}. One more notation for a permutation w ∈ Sn is its Lehmer code, or simply its code, which is the n-tuple (3.12) c(w) = (c(w)1, c(w)2, . . . , c(w)n) where …
Figure 5
Figure 5. Figure 5: A shoebox diagram of two flags in Fl(4). The black flag represents the standard flag E•. The red flag R• is an element of C2341(E•). From the intersection conditions for Cw(E•) in Definition 3.21, one can observe that there is a close connection between the diagram D(w…
Figure 6
Figure 6. Figure 6: The Hasse diagram of S4 Exercise 3.33. Prove that the Hasse diagram of Sn is self-dual, rank-symmetric and rank￾unimodal. Testing if v ≤ w in Bruhat order via the transposition relations can be cumbersome since one would need to consider many possible paths from v to w…
Figure 7
Figure 7. Figure 7: The lower interval in the Bruhat order below 3412 One can see that the Schubert variety X3412 is not a smooth manifold since its Poincar´e polynomial is not symmetric (palindromic) which implies that Poincar´e duality does not hold for H∗ (X3412). There are many additi…
Figure 8
Figure 8. Figure 8: Slices of a permutation array. For each y ∈ [n] d , let P[y] = {x ∈ P | x ⪯ y} be the principal subarray of P containing all points of P which are dominated by y. Define rkjP = #{1 ≤ k ≤ n | there exists x ∈ P with xj = k}. P is rankable of rank r if rkjP = r for all 1…
Figure 9
Figure 9. Figure 9: Rank table for P = {(3, 4, 1), (4, 2, 2), (1, 4, 3), (3, 3, 3), (2, 3, 4), (3, 2, 4), (4, 1, 4)}, where the empty boxes mean the rank is 0 for readability. know G1 ⊂ G3 so the green point in the shoebox diagram corresponding to G1 is contained in the line at the inters…
Figure 10
Figure 10. Figure 10: Flags in position determined by the permutation array P from (3.21). Example 3.59. A subset of a totally rankable array may or may not be rankable. Consider the subset of P above given by the array A = {(3, 4, 1), (4, 2, 2), (2, 3, 4)}; then one can check A is totally…
Figure 11
Figure 11. Figure 11: The Pappus line configuration on 9 lines. The arc represents an impossible “hop” by the *blue line* over an intersection. This leads to an unrealizable permutation array. For j > 0 and k > 1, assume dj (s1), dj (s2, . . . , sk), and dj−1(s1, s2, . . . , sk) are known …
Figure 12
Figure 12. Figure 12: C46287351(E•) ∩ C53712648( E •) contains only the flag corresponding with the permutation matrix of 46287351. We claim the cells of Xw(E•) of dimension strictly smaller than Cw do not intersect Xw0w( E •). To prove the claim, recall from Exercise 3.39 that the boundar…
Figure 13
Figure 13. Figure 13: Projective representation of three transverse flags in C 4 looking into a shoebox bounded by the three planes.     0 0 0 1 0 0 1 2 1 1 2 3 1 2 3 4         0 0 0 1 0 1 1 2 0 1 2 3 1 2 3 4         0 1 1 1 0 1 2 2 1 2 3 3 1 2 3 4     dim(Bi ∩ Fj )…
Figure 14
Figure 14. Figure 14: Tables of intersection dimensions for F• ∈ X3421(B•) on the left, F• ∈ X4231(R•) in the middle, and F• ∈ X3124(G•) on the right from Example 3.89. Example 3.89. Let u = 3421, v = 4231, and w = 2431. We want to prove c w uv = 1 in this case. Observe that 2 = coinv(3421…
Figure 15
Figure 15. Figure 15: The purple flag represents the unique flag X3421(B•)∩X4231(R•)∩ X3124(G•). Example 3.90. Let u = 3421, v = 4231, and w = 4132. We want to prove c w uv = 0 in this case. Observe that 2 = coinv(3421) + coinv(4231) = coinv(4132), so it is possible c w uv is not zero by T…
Figure 16
Figure 16. Figure 16: The purple flag represents the unique flag in position 3421 with respect to the black flag, in position 4231 with respect to the red flag, and in position 2314 with respect to the green flag. Example 3.94. Let n = 4, w = 3421, and i = 2. Monk’s formula implies [X4231]…
Figure 17
Figure 17. Figure 17: Monk’s representatives of Schubert classes in Z[γ1, . . . , γn]. He writes permutations in Sn as bijections on the set {0, 1, 2, . . . , n − 1}. The “order” column gives the degree of the corresponding Schubert variety as a projective variety when one embeds Fl(n) int…
Figure 18
Figure 18. Figure 18: The diagrams of v = 1437256 and w = 1437265 with the difference highlighted in gray [PITH_FULL_IMAGE:figures/full_fig_p054_18.png]
Figure 19
Figure 19. Figure 19: Schubert polynomials for permutations in S4. and for ℓ(w) > 1, we have Sw = f([Xw0w]) by comparing (3.41) and Definition 3.104. Therefore, the Schubert polynomials multiply as in Monk’s formula Theorem 3.92. Therefore, (3.49) follows by applying the map w → w0w. □ Exa…
Figure 20
Figure 20. Figure 20: The wiring diagram for the reduced word (4, 3, 5, 6, 4, 3, 5) ∈ R(1265734) notated in three different ways: with the intermediate permutations w (t) shown on the left, the left-labelling in the middle, and the right-labelling on the right. The crossings in columns 2 a…
Figure 21
Figure 21. Figure 21: Left: a reduced pipe dream D for w = [3, 1, 4, 6, 5, 2]. Middle: the reading order for the crossings, with numbers indicating position in the order. The associated reduced word is rD = (5, 2, 1, 3, 4, 5) ∈ R(w). Reading the sequence of row numbers and column numbers i…
Figure 22
Figure 22. Figure 22: Chute moves on pipe dreams move one cross to the left and preserve the permutation. · · + + + + + · · + + + + + · · [PITH_FULL_IMAGE:figures/full_fig_p072_22.png]
Figure 23
Figure 23. Figure 23: Ladder moves on pipe dreams move one cross to the right and preserve the permutation. Theorem 4.8. [24, Thm 3.7] For any w ∈ Sn, every reduced pipe dream for w can be obtained from a sequence of ladder moves on Dbot(w), and every reduced pipe dream for w can be obtain…
Figure 24
Figure 24. Figure 24: Construction of RP(w) by ladder moves on Dbot(1432) [PITH_FULL_IMAGE:figures/full_fig_p072_24.png]
Figure 25
Figure 25. Figure 25: An example of the sequence of wiring diagrams for the words a ′ which appear when running the bounded bump algorithm on input a = (4, 3, 5, 6, 4, 3, 5), b = (2, 2, 2, 2, 2, 2, 2), t0 = 4, and ϵ = −. The arrows indicate which crossing will move in the next step. After …
Figure 26
Figure 26. Figure 26: Computing B − 6 (rD, jD) for D starting in position (2, 7) with rD = (7, 6, 5, 4, 3, 1, 8, 7, 6, 5, 4) and iD = (1, 1, 1, 1, 1, 1, 2, 2, 2, 3, 3) via 3 stack pushes. ϵ = −1 bounded bump applied to the crossing of the wr-wire and the ws-wire in D always terminates in a…
Figure 27
Figure 27. Figure 27: If D is the pipe dream on the left with reduced word rD = (4, 3, 5, 6, 4, 3, 5), then Tw(D) is the pipe dream on the right. In between we show the stack pushes in the bounded bump algorithm. The crossing initiating a stack push is highlighted for each step. Here, w = …
Figure 28
Figure 28. Figure 28: A term in S(w) and its corresponding pipe dream the two pictures due to the order that we read the crossings in a pipe dream as shown in [PITH_FULL_IMAGE:figures/full_fig_p083_28.png]
Figure 29
Figure 29. Figure 29: Example of the mitosis operator The monomial weight of the pipe dream D is x D = x1x 4 2x3x4, and we can calculate that ∂2x D = x1x 3 2x3x4 + x1x 2 2x 2 3x4 + x1x2x 3 3x4 = x D2,1 + x D2,3 + x D2,4 . This calculation may be a little bit misleading in general, but it i…
Figure 30
Figure 30. Figure 30: Balanced labellings (top) and standard Young tableaux (bottom) for λ = (3, 2) One intuition towards the balanced condition on permutation diagrams is in connection with reflection orders. Recall that R(w) denotes the set of reduced words for a permutation w ∈ Sn. For …
Figure 31
Figure 31. Figure 31: Construction of the tableau Ta for a = (2, 3, 2, 1, 4, 2) ∈ R(43152) Schubert polynomials can also be expanded using the idea of balanced labellings. To be precise, Schubert polynomials are generating functions for column-injective flagged balanced labellings of permu…
Figure 32
Figure 32. Figure 32: Column-injective flagged balanced labellings of shape D(1432) 4.5. Bumpless Pipe Dreams. Lam, Lee, and Shimozono [237] introduced bumpless pipe dreams (BPDs) in their work on the infinite flag variety and back-stable Schubert calculus and used them to give a formula f…
Figure 33
Figure 33. Figure 33: for example. Exercise 4.65. Show that in a bumpless pipe dream D, we have |blank(D)| = |cross(D)|. Exercise 4.66. Show that a bumpless pipe dream D is determined by blank(D) and cross(D) together. Remarkably, Lam-Lee-Shimozono proved that the reduced bumpless pipe dre…
Figure 34
Figure 34. Figure 34: Reduced pipe dreams for 2143. Remark 4.69. It is shown in [237] that bumpless pipe dreams can also compute double Schubert polynomials. After adding variables y1, y2, . . ., the weight of a bumpless pipe dream D becomes (x − y) D := Y (i,j)∈blank(D) (xi − yj ). Lam-Le…
Figure 35
Figure 35. Figure 35: The bijection between BPDs and ASMs ASM whether its corresponding BPD is reduced. Not necessarily reduced BPDs (and also not necessarily reduced PDs) are utilized to compute Grothendieck polynomials [367], the K-theoretic analogs of Schubert polynomials. It is worth n…
Figure 36
Figure 36. Figure 36: Generalized chute moves any pipe dream of w can be obtained from the bottom pipe dream of w using (generalized) chute moves (Theorem 4.8). A parallel story exists for bumpless pipe dreams. Definition 4.72. [237] For a (reduced) bumpless pipe dream D, a droop move from…
Figure 37
Figure 37. Figure 37: A droop move (but not a min-droop) on bumpless pipe dreams Definition 4.73. [237] The Rothe bumpless pipe dream (or the bottom bumpless pipe dream) for a permutation w is the bumpless pipe dream where pipe i only turns once at the -tile at (i,w(i)), for all i. Lemma 4…
Figure 38
Figure 38. Figure 38: The posets of pipe dreams and of bumpless pipe dreams for 1432 Of course, one immediate question is to describe an explicit and “natural” weight-preserving bijection between reduced pipe dreams and reduced bumpless pipe dreams. Since both objects compute Schubert poly…
Figure 39
Figure 39. Figure 39: Step (2) of Definition 4.77 × × . . . . . . . . . × × . . . . . . . . [PITH_FULL_IMAGE:figures/full_fig_p095_39.png]
Figure 40
Figure 40. Figure 40: Step (4) of Definition 4.77 Definition 4.78. [146] For D ∈ BPD(w) with ℓ(w) = ℓ, define φ(D) = r = (r1, . . . , rℓ), i = (i1, . . . ,iℓ)  where pop(∇k−1D) = (rk,ik) for k = 1, . . . , ℓ. Example 4.79. Consider D ∈ BPD(w) with w = 2157346 in [PITH_FULL_IMAGE:figures/…
Figure 41
Figure 41. Figure 41: Steps for obtaining ∇D from D by the algorithm in Definition 4.77. Theorem 4.80. [146] The map φ in Definition 4.78 is a weight-preserving bijection from reduced bumpless pipe dreams to reduced compatible pairs of a fixed permutation [PITH_FULL_IMAGE:figures/full_fig…
Figure 42
Figure 42. Figure 42: The bijection between BPDs and PDs To prove the theorem given D ∈ BPD(w), it is straightforward to check φ(D) has the same monomial weight. To prove φ(D) is a reduced compatible sequence for the same permutation is not so hard. Given that Theorem 4.67 has already been…
Figure 43
Figure 43. Figure 43: An example of the map xα⇝ on BPD with α = 1 and w = 21534 We can define analogous maps xα⇝ and mk,α on pipe dreams to prove Theorem 4.81 bijectively. We will not spell out the details on these maps to avoid confusion with earlier material in Section 4.1 on little bump…
Figure 44
Figure 44. Figure 44: A hybrid pipe dream of w = 13542 and type τ = OBOBO with weight x1x3x4x5. Theorem 4.87. [217] For all w ∈ Sn and all τ ∈ {O, B} n , the Schubert polynomial satisfies Sw(x1, x2, . . . , xn) = X D∈HPD(w,τ) x D. In fact, the notion of hybrid pipe dreams gives us 2n diffe…
Figure 45
Figure 45. Figure 45: Left: a diagram D; middle: construction for wordj,I for I = {1, 2}; right: construction for wordj,I for I = {3}. Example 4.92. Consider the diagram D ∈ [4]2 in [PITH_FULL_IMAGE:figures/full_fig_p100_45.png]
Figure 46
Figure 46. Figure 46: Perfect tableaux of shape D(1432) We can represent the data of a perfect tableau using a matrix {aij} n i,j=1 where aij denotes the number of i’s in column j. Rewriting the conditions from Definition 4.97, we arrive at the following system of linear inequalities: (4.1…
Figure 47
Figure 47. Figure 47: The seven labeled triangular puzzle pieces used in the Buch￾Kresch-Purbhoo-Tamvakis proof [74] of the 2-step puzzle rule for Schubert calculus. There is also a 3-step puzzle rule conjectured by Knutson-Buch and proved by Knutson and Zinn-Justin [218]. See also the spe…
Figure 48
Figure 48. Figure 48: All three completed puzzles used to compute c w u,v using the 3-step puzzle rule for Schubert calculus [72] where u = 2314, v = 2143 with the resulting permutation w = 4213, 3412 and 3241 from left to right [PITH_FULL_IMAGE:figures/full_fig_p111_48.png]
Figure 49
Figure 49. Figure 49: The transition tree for 35124786 terminating with vexillary leaves. The same expansion can also be obtained via the Edelman-Greene map ( [PITH_FULL_IMAGE:figures/full_fig_p119_49.png]
Figure 50
Figure 50. Figure 50: The P-tableaux using the Edelman-Greene correspondence for the permutation 35124786 Theorem 4.122 shows that the cohomology class of any subvariety Z ⊆ Gr(k, n) can be represented as a nonnegative linear combination of Schur functions. This suggests an inverse questio…
Figure 18
Figure 18. Figure 18: Compare those (northwest) diagrams with the southwest diagrams shown in [PITH_FULL_IMAGE:figures/full_fig_p128_18.png]
Figure 51
Figure 51. Figure 51: The essential sets (shaded) of v = 1532674 = (1437256)−1 and w = 1532764 = (1437265)−1 0 1 1 1 0 1 1 2 0 1 2 3 1 2 3 4 • • • • [PITH_FULL_IMAGE:figures/full_fig_p129_51.png]
Figure 52
Figure 52. Figure 52: The southwest rank table and essential set for 3124. Theorem 5.19 (Fulton’s Essential Set Theorem). The ideal I(MXw) is generated by the size rkSW(w)[i, j] + 1 minors of [zpq]i≤p≤n,1≤q≤j for all (i, j) ∈ Ess(w). Furthermore, no subset of these essential set rank equat…
Figure 53
Figure 53. Figure 53: A projection of the Horn polyhedron for n = 2. To visualize this polyhedron, divide through by α and plot γ/α against β/α to get a rectangular polyhedron as show in in [PITH_FULL_IMAGE:figures/full_fig_p136_53.png]
Figure 54
Figure 54. Figure 54: A trivial bundle and the M¨obius bundle over S 1 . To be precise, we have drawn some of the fibers Ez, and E is the surface formed by all Ez. The projection π sends each point in the fiber Ez (in blue) to the point z where that fiber intersects the base space S 1 (in …
Figure 55
Figure 55. Figure 55: The bundles O(1)R and O(−2)R over S 1 . Example 5.38. Let us work out what it means to have a section ϕ of the line bundle O(r) over CPn for a positive integer r. By definition, this means ϕ(Cv) is a linear functional on the line (Cv) ⊗r ⊆ (C n+1) ⊗r for each v ∈ C n+…
Figure 56
Figure 56. Figure 56: The northwest rank table and northwest essential set for 4123. Example 5.49. Fix a nondegenerate symmetric bilinear form ⟨ , ⟩ on C 4 , like the standard dot product ⟨u, v⟩ = P i uivi . We use Fulton’s formula to calculate the cohomology class of the subvariety Z = {F…
Figure 57
Figure 57. Figure 57: The Hasse diagram of the interval [id, 4231] Therefore, the singular locus of Xw is the union of Schubert varieties Sing(Xw) = [ Xv over all v ≤ w in Sn such that #{(i < j) | vtij ≤ w} > ℓ(w). Remark 5.66. We will return to the question of finding the singular locus o…
Figure 58
Figure 58. Figure 58: The Bruhat graph of w = 4213 [PITH_FULL_IMAGE:figures/full_fig_p151_58.png]
Figure 59
Figure 59. Figure 59: The matrix for the permutation w = 319827546 with w ′ = 31872654 is shown with a dot in each position (w(i), i) and regions A, B, C, D noted. For example, D = {(8, 4), (7, 6)}. as in [PITH_FULL_IMAGE:figures/full_fig_p153_59.png]
Figure 60
Figure 60. Figure 60: Patterns for the singular locus of Xw in the 4231, 3412, and 45312 cases respectively. Here ◦’s denote 1’s in w only, •’s denote 1’s in v only, and the circle around a dot denotes a 1 in both v,w. Multiplication of w by the cycle (α1, . . . , αm, β1, . . . , βm) rotat…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Richardson tableaux and Schubert positivity

    math.CO 2025-10 conditional novelty 7.0 of 10

    The Schubert cycle expansion of a Springer fiber component equal to a Richardson variety, indexed by a Richardson tableau, is computed combinatorially using translation-equivalent Bruhat intervals and Sottile's Pieri rule.

  2. Quantum Schubert calculus for smooth Schubert divisors of $F\ell_n$

    math.AG 2025-09 conditional novelty 7.0 of 10

    The quantum cohomology of the smooth Schubert divisor X_{w0 s_{n-1}} in Fl_n is presented, with a quantum Chevalley formula and quantum Schubert polynomials identical to those of Fl_n.

Reference graph

Works this paper leans on

299 extracted references · 77 canonical work pages · cited by 2 Pith papers

  1. [133]

    Fulton, Intersection Theory, Springer-Verlag, New York, 1984

    W. Fulton, Intersection Theory, Springer-Verlag, New York, 1984

  2. [134]

    54 in CBMS Regional Conference Series in Mathematics, Amer.Math

    , Introduction to Intersection Theory in Algebraic Geometry , no. 54 in CBMS Regional Conference Series in Mathematics, Amer.Math. Soc., 1984

  3. [1]

    Abe and S

    H. Abe and S. Billey, Consequences of the Lakshmibai-Sandhya Theorem: the ubiquity of permutation patterns in Schubert calculus and related geometry , in Schubert Calculus — Osaka 2012, Mathematical Society of Japan, 2016, pp. 1–52

  4. [2]

    A. Adve, C. Robichaux, and A. Yong , An efficient algorithm for deciding vanishing of Schubert polynomial coefficients, Adv. Math., 383 (2021)

  5. [3]

    Agnihotri and C

    S. Agnihotri and C. Woodward, Eigenvalues of products of unitary matrices and quantum Schubert calculus, Math. Res. Lett., 5 (1998), pp. 817–836

  6. [4]

    Akyıldız, A

    E. Akyıldız, A. Lascoux, and P. Pragacz , Cohomology of Schubert subvarieties of GLn/P , J. Differential Geom., 35 (1992), pp. 511–519

  7. [5]

    Almousa, D

    A. Almousa, D. Huang, P. Klein, A. LaClair, Y. Luo, and J. McDonough , MatrixSchubert – matrix Schubert varieties and ASM varieties, Macaulay 2 Development Team, 2023.https://macaulay2. com/doc/Macaulay2/share/doc/Macaulay2/MatrixSchubert/html/index.html

  8. [6]

    Anderson, Filtrations and recursions for schubert modules , arXiv, (2024)

    D. Anderson, Filtrations and recursions for schubert modules , arXiv, (2024)

Show all 299 references
  1. [7]

    Anderson and L

    D. Anderson and L. Chen , Positivity of equivariant Gromov-Witten invariants , Math. Res. Lett., 22 (2015), pp. 1–9

  2. [8]

    Anderson and W

    D. Anderson and W. Fulton , Chern class formulas for classical-type degeneracy loci , Compos. Math., 154 (2018), pp. 1746–1774

  3. [9]

    Anderson and W

    D. Anderson and W. Fulton, Equivariant Cohomology in Algebraic Geometry, Cambridge University Press, Cambridge, UK, 2023

  4. [10]

    G. E. Andrews , Plane partitions. V. The TSSCPP conjecture , J. Combin. Theory Ser. A, 66 (1994), pp. 28–39

  5. [11]

    Angel, A

    O. Angel, A. E. Holroyd, D. Romik, and B. Vir ´ag, Random sorting networks , Advances in Mathematics, 215 (2007), pp. 839–868

  6. [12]

    D. L. Applegate, R. E. Bixby, V. Chv ´atal, and W. J. Cook , The Traveling Salesman Problem, Princeton Series in Applied Mathematics, Princeton University Press, Princeton, NJ, 2006. A computational study

  7. [13]

    Ardila-Mantilla, The geometry of geometries: matroid theory, old and new , in ICM—International Congress of Mathematicians

    F. Ardila-Mantilla, The geometry of geometries: matroid theory, old and new , in ICM—International Congress of Mathematicians. Vol. 6. Sections 12–14, EMS Press, Berlin, 2023, pp. 4510–4541

  8. [14]

    Ardila-Mantilla, Intersection theory of matroids: variations on a theme , arXiv, (2024)

    F. Ardila-Mantilla, Intersection theory of matroids: variations on a theme , arXiv, (2024)

  9. [15]

    Arkani-Hamed, J

    N. Arkani-Hamed, J. Bourjaily, F. Cachazo, A. Goncharov, A. Postnikov, and J. Trnka , Grassmannian geometry of scattering amplitudes , Cambridge University Press, Cambridge, 2016

  10. [16]

    Arthur, E

    J. Arthur, E. Bombieri, K. Chandrasekharan, F. Hirzebruch, G. Prasad, J.-P. Serre, T. A. Springer, and J. Tits , Armand Borel (1923–2003) , Notices Amer. Math. Soc., 51 (2004), pp. 498–524

  11. [17]

    Assaf and D

    S. Assaf and D. Searles , Schubert polynomials, slide polynomials, Stanley symmetric functions and quasi-Yamanouchi pipe dreams, Adv. Math., 306 (2017), pp. 89–122

  12. [18]

    Beilinson and J

    A. Beilinson and J. Bernstein , Localization of g-modules, C. R. Acad.Sci. Paris Ser. I Math, 292 (1981), pp. 15–18

  13. [19]

    Belkale, Local systems on P1 − s for s a finite set , Comp

    P. Belkale, Local systems on P1 − s for s a finite set , Comp. Math., 129 (2001), p. 67–86

  14. [20]

    Algebraic Geom., 15 (2006), pp

    , Geometric proofs of Horn and saturation conjectures , J. Algebraic Geom., 15 (2006), pp. 133–173

  15. [21]

    Belkale, Quantum generalization of the Horn conjecture , J

    P. Belkale, Quantum generalization of the Horn conjecture , J. Amer. Math. Soc., 21 (2008), pp. 365– 408

  16. [22]

    Belkale and S

    P. Belkale and S. Kumar , Eigenvalue problem and a new product in cohomology of flag varieties , Invent. Math., 166 (2006), pp. 185–228

  17. [23]

    Bergeron, A combinatorial construction of the Schubert polynomials , J

    N. Bergeron, A combinatorial construction of the Schubert polynomials , J. Combin. Theory Ser. A, 60 (1992), pp. 168–182

  18. [24]

    Bergeron and S

    N. Bergeron and S. Billey , RC-graphs and Schubert polynomials , Experimental Mathematics, 2 (1993), pp. 257–269

  19. [25]

    Bergeron, C

    N. Bergeron, C. Ceballos, and V. Pilaud , Hopf dreams and diagonal harmonics , J. Lond. Math. Soc. (2), 105 (2022), pp. 1546–1600

  20. [26]

    Bergeron, S

    N. Bergeron, S. Mykytiuk, F. Sottile, and S. van Willigenburg , Shifted quasi-symmetric functions and the Hopf algebra of peak functions , Discrete Math., 246 (2002), pp. 57–66. 180 SARA C. BILLEY, YIBO GAO, AND BRENDAN PA WLOWSKI

  21. [27]

    Bergeron and F

    N. Bergeron and F. Sottile , Schubert polynomials, the Bruhat order, and the geometry of flag manifolds, Duke Math. J., 95(2) (1998), pp. 373–423

  22. [28]

    Bernstein, I

    I. Bernstein, I. Gelfand, and S. Gelfand , Schubert cells and cohomology of the spaces G/P , Russian Math. Surveys, 28 (1973), pp. 1–26

  23. [29]

    Billey, Pattern avoidance and rational smoothness of Schubert varieties , Adv

    S. Billey, Pattern avoidance and rational smoothness of Schubert varieties , Adv. in Math., 139 (1998), pp. 141–156

  24. [30]

    , Transition Equations for Isotropic Flag Manifolds , Discrete Math., 193 (1998), pp. 93–116

  25. [31]

    J., 96 (1999), pp

    , Kostant polynomials and the cohomology ring for G/B, Duke Math. J., 96 (1999), pp. 205–224

  26. [32]

    Billey, K

    S. Billey, K. Burdzy, and B. E. Sagan , Permutations with given peak set , J. Integer Seq., 16 (2013), pp. Article 13.6.1, 18

  27. [33]

    Billey and I

    S. Billey and I. Coskun , Singularities of generalized Richardson varieties , Comm. Algebra, 40 (2012), pp. 1466–1495

  28. [34]

    Billey and M

    S. Billey and M. Haiman , Schubert polynomials for the classical groups , J. Amer. Math. Soc., 8 (1995), pp. 443–482

  29. [35]

    Billey, Z

    S. Billey, Z. Hamaker, A. Roberts, and B. Young , Coxeter-Knuth graphs and a signed Little map for type B reduced words , Electron. J. Combin., 21 (2014), pp. Paper 4.6, 39

  30. [36]

    Billey, W

    S. Billey, W. Jockusch, and R. P. Stanley, Some combinatorial properties of Schubert polynomials, J. Algebraic Combin., 2 (1993), pp. 345–374

  31. [37]

    Billey and V

    S. Billey and V. Lakshmibai, Singular Loci of Schubert Varieties, no. 182 in Progress in Mathematics, Birkh¨ auser, 2000

  32. [38]

    Billey and B

    S. Billey and B. Pawlowski, Permutation patterns, Stanley symmetric functions, and generalized Specht modules, J. Combin. Theory Ser. A, 127 (2014), pp. 85–120

  33. [39]

    Billey and A

    S. Billey and A. Postnikov , Smoothness of Schubert varieties via patterns in root subsystems , Adv. in Appl. Math., 34 (2005), pp. 447–466

  34. [40]

    Billey and R

    S. Billey and R. V akil, Intersections of Schubert varieties and other permutation array schemes , IMA Volumes in Mathematics and its Applications, 146 (2007), pp. 21–54

  35. [41]

    Billey and G

    S. Billey and G. S. W arrington, Kazhdan-Lusztig polynomials for 321-hexagon-avoiding permuta- tions, J. Algebraic Combin., 13 (2001), pp. 111–136

  36. [42]

    S. C. Billey and T. Braden, Lower bounds for Kazhdan-Lusztig polynomials from patterns, Transform. Groups, 8 (2003), pp. 321–332

  37. [43]

    S. C. Billey, A. E. Holroyd, and B. J. Young , A bijective proof of Macdonald’s reduced word formula, Algebr. Comb., 2 (2019), pp. 217–248

  38. [44]

    S. C. Billey and B. C. Jones , Embedded factor patterns for Deodhar elements in Kazhdan-Lusztig theory, Ann. Comb., 11 (2007), pp. 285–333

  39. [45]

    S. C. Billey and P. R. W. McNamara , The contributions of Stanley to the fabric of symmetric and quasisymmetric functions , in The mathematical legacy of Richard P. Stanley, Amer. Math. Soc., Providence, RI, 2016, pp. 83–104

  40. [46]

    S. C. Billey and B. E. Tenner , Fingerprint databases for theorems , Notices of the AMS, 60 (2013)

  41. [47]

    S. C. Billey and G. S. W arrington, Maximal singular loci of Schubert varieties in SL(n)/B, Trans. Amer. Math. Soc., 355 (2003), pp. 3915–3945

  42. [48]

    S. C. Billey and J. E. Weaver , Criteria for smoothness of positroid varieties via pattern avoidance, Johnson graphs, and spirographs , Trans. Am. Math. Soc., Ser. B, 12 (2025), pp. 112–164

  43. [49]

    , Basic Schubert calculus , 2021

    Billey, Sara C. , Basic Schubert calculus , 2021. Online. Part 1: https://icerm.brown.edu/video_ archive/?play=459, and Part 2: https://icerm.brown.edu/video_archive/?play=2427

  44. [50]

    Bj¨orner, Posets, regular CW complexes and Bruhat order , European J

    A. Bj¨orner, Posets, regular CW complexes and Bruhat order , European J. Combin., 5 (1984), pp. 7–16

  45. [51]

    Bj ¨orner and F

    A. Bj ¨orner and F. Brenti , An improved tableau criterion for Bruhat order , Electron. J. Combin., 3 (1996)

  46. [52]

    Bj ¨orner and F

    A. Bj ¨orner and F. Brenti , Combinatorics of Coxeter Groups , vol. 231 of Graduate Texts in Mathematics, Springer, New York, 2005

  47. [53]

    Bj ¨orner and M

    A. Bj ¨orner and M. W achs, Bruhat order of Coxeter groups and shellability , Adv. in Math., 43 (1982), pp. 87–100

  48. [54]

    Blundell, L

    C. Blundell, L. Buesing, A. Davies, P. Veliˇckovi´c, and G. Williamson, Towards combinatorial invariance for Kazhdan-Lusztig polynomials , Represent. Theory, 26 (2022), pp. 1145–1191. COHOMOLOGY OF THE FLAG V ARIETY 181

  49. [55]

    Borel, Sur la cohomologie des espaces fibr´ es principaux et des espaces homog` enes de groupes de Lie compacts, Ann

    A. Borel, Sur la cohomologie des espaces fibr´ es principaux et des espaces homog` enes de groupes de Lie compacts, Ann. of Math. (2), 57 (1953), pp. 115–207

  50. [56]

    Bott and H

    R. Bott and H. Samelson , Applications of the theory of Morse to symmetric spaces , American Journal of Mathematics, 80 (1958), pp. 964–1029

  51. [57]

    Bourbaki, Groupes et Algebr` es de Lie, Masson, 1957

    N. Bourbaki, Groupes et Algebr` es de Lie, Masson, 1957

  52. [58]

    Bourjaily and H

    J. Bourjaily and H. Thomas , What is... the amplituhedron , Not. Amer. Math. Soc., 65 (2018), pp. 167–169

  53. [59]

    Bousquet-M´elou and S

    M. Bousquet-M´elou and S. Butler , Forest-like permutations, Ann. Comb., 11 (2007), pp. 335–354

  54. [60]

    Braden and R

    T. Braden and R. MacPherson , From moment graphs to intersection cohomology , Mathematische Annalen, 321 (2001), pp. 533–551

  55. [61]

    Brenti, The intersection cohomology of Schubert varieties is a combinatorial invariant , European J

    F. Brenti, The intersection cohomology of Schubert varieties is a combinatorial invariant , European J. Combin., 25 (2004), pp. 1151–1167

  56. [62]

    Brenti, F

    F. Brenti, F. Caselli, and M. Marietti , Special matchings and Kazhdan-Lusztig polynomials , Adv. Math., 202 (2006), pp. 555–601

  57. [63]

    Brion, Equivariant cohomology and equivariant intersection theory , in Representation theories and algebraic geometry

    M. Brion, Equivariant cohomology and equivariant intersection theory , in Representation theories and algebraic geometry. Proceedings of the NATO Advanced Study Institute, Montreal, Canada, July 28–August 8, 1997, Dordrecht: Kluwer Academic Publishers, 1998, pp. 1–37. (Notes b...

  58. [64]

    , Positivity in the Grothendieck group of complex flag varieties. , J. Algebra, 258 (2002), pp. 137–159

  59. [65]

    , Lectures on the geometry of flag varieties , in Topics in cohomological studies of algebraic varieties, Trends Math., Birkh¨ auser, Basel, 2005, pp. 33–85

  60. [66]

    Brion and S

    M. Brion and S. Kumar , Frobenius Splitting Methods in Geometry and Representation Theory , vol. 231 of Progress in Mathematics, Birkh¨ auser Boston, 2005

  61. [67]

    Brubaker, G

    B. Brubaker, G. Frieden, P. Pylyavskyy, and T. Scrimshaw , Crystal invariant theory. I: Geometric RSK, Math. Z., 310 (2025), p. 43. Id/No 5

  62. [68]

    Bruhat, Sur les repr´ esentations induites des groupes de Lie, Bull

    F. Bruhat, Sur les repr´ esentations induites des groupes de Lie, Bull. Soc. Math. France, 84 (1956), pp. 97–205

  63. [69]

    Brylinski and M

    J.-L. Brylinski and M. Kashiwara, Kazhdan-Lusztig conjectures and holonomic systems , Invent. Math., 64 (1981), pp. 387–410

  64. [70]

    A. S. Buch , A Littlewood-Richardson rule for the K-theory of Grassmannians , Acta mathematica, 189 (2002), pp. 37–78

  65. [71]

    , Mutations of puzzles and equivariant cohomology of two-step flag varieties , Ann. Math. (2), 182 (2015), pp. 173–220

  66. [72]

    https://sites.math.rutgers.edu/~asbuch/ talks/guangzhou2017.pdf, Nov 2017

    , Puzzles for projections from 3-step flag varieties . https://sites.math.rutgers.edu/~asbuch/ talks/guangzhou2017.pdf, Nov 2017

  67. [73]

    A. S. Buch and W. Fulton , Chern class formulas for quiver varieties , Invent. Math., 135 (1999), pp. 665–687

  68. [74]

    A. S. Buch, A. Kresch, K. Purbhoo, and H. Tamvakis , The puzzle conjecture for the cohomology of two-step flag manifolds , J. Algebraic Combin., 44 (2016), pp. 973–1007

  69. [75]

    A. S. Buch, A. Kresch, and H. Tamvakis , Gromov-Witten invariants on Grassmannians , J. Amer. Math. Soc., 16 (2003), pp. 901–915

  70. [76]

    , Gromov-Witten invariants on Grassmannians , J. Am. Math. Soc., 16 (2003), pp. 901–915

  71. [77]

    Reine Angew

    , A Giambelli formula for even orthogonal Grassmannians , J. Reine Angew. Math., 708 (2015), pp. 17–48

  72. [78]

    (N.S.), 23 (2017), pp

    , A Giambelli formula for isotropic Grassmannians , Selecta Math. (N.S.), 23 (2017), pp. 869–914

  73. [79]

    Burks and B

    B. Burks and B. Pawlowski, Reduced words for clans, arXiv, (2018)

  74. [80]

    Cameron, R

    A. Cameron, R. Dinu, M. Micha lek, and T. Seynnaeve , Flag matroids: algebra and geometry , in Interactions with lattice polytopes. Selected papers based on the presentations at the workshop, Magdeburg, Germany, September 14–16, 2017, Cham: Springer, 2022, pp. 73–114

  75. [81]

    M. B. Can, M. Joyce, and B. Wyser , Chains in weak order posets associated to involutions , Journal of Combinatorial Theory, Series A, 137 (2016), pp. 207–225

  76. [82]

    J. B. Carrell , Some remarks on regular weyl group orbits and the cohomology of Schubert varieties , Contemporary Mathematics, 139 (1992). 182 SARA C. BILLEY, YIBO GAO, AND BRENDAN PA WLOWSKI

  77. [83]

    , The Bruhat graph of a Coxeter group, a conjecture of Deodhar, and rational smoothness of Schubert varieties, Proceedings of Symposia in Pure Math., 56 (1994), pp. 53–61

  78. [84]

    Castillo, Y

    F. Castillo, Y. Cid-Ruiz, F. Mohammadi, and J. Monta ˜no, Double schubert polynomials do have saturated newton polytopes , Forum of Mathematics, Sigma, 11 (2023)

  79. [85]

    Castro-Velez, A

    F. Castro-Velez, A. Diaz-Lopez, R. Orellana, J. Pastrana, and R. Zevallos , Number of permutations with same peak set for signed permutations , J.Comb, 8 (2013), pp. 631–652

  80. [86]

    Chen, Quantum cohomology of flag manifolds

    L. Chen, Quantum cohomology of flag manifolds. , Adv. Math., 174 (2003), pp. 1–34

  81. [87]

    Chevalley, Invariants of finite groups generated by reflections , Am

    C. Chevalley, Invariants of finite groups generated by reflections , Am. J. Math., 77 (1955), pp. 778– 782

  82. [88]

    Chevalley, Classification de groupes de lie alg´ ebriques, s´ eminaire, Secr´ etariat math´ ematique, II

    C. Chevalley, Classification de groupes de lie alg´ ebriques, s´ eminaire, Secr´ etariat math´ ematique, II. (1958), pp. 1956–58. rue Pierre–Curie, Paris

  83. [89]

    Chevalley, Sur les d´ ecompositions cellulaires des espacesG/B, in Algebraic Groups and their generalizations: Classical methods, vol

    C. Chevalley, Sur les d´ ecompositions cellulaires des espacesG/B, in Algebraic Groups and their generalizations: Classical methods, vol. 56, Part 1 of Proceedings of Symposia in Pure Mathematics (University Park, PA, 1991), American Mathematical Society, 1994, pp. 1–23

  84. [90]

    S. Cho, J. Huh, and S. Park, Towards combinatorial characterization of the smoothness of Hessenberg Schubert varieties. Preprint, arXiv:2307.13334 [math.CO] (2023), 2023

  85. [91]

    Chriss and V

    N. Chriss and V. Ginzburg , Representation Theory and Complex Geometry , Birkh¨ auser Boston, MA, 2009

  86. [93]

    Ciocan-Fontanine, On quantum cohomology rings of partial flag varieties , Duke Math

    I. Ciocan-Fontanine, On quantum cohomology rings of partial flag varieties , Duke Math. J., 98 (1999), pp. 485–524

  87. [94]

    P. E. Conner and E. E. Floyd , Differentiable periodic maps, vol. 33 of Ergeb. Math. Grenzgeb., Springer-Verlag, Berlin, 1964

  88. [95]

    contributors, Kazhdan-Lusztig polynomial — Wikipedia, the free encyclopedia , 2025

    W. contributors, Kazhdan-Lusztig polynomial — Wikipedia, the free encyclopedia , 2025. [Online; accessed 1-March-2025]

  89. [96]

    Cortez, Singularit´ es g´ en´ eriques et quasi-r´ esolutions des vari´ et´ es de Schubert pour le groupe lin´ eaire, Adv

    A. Cortez, Singularit´ es g´ en´ eriques et quasi-r´ esolutions des vari´ et´ es de Schubert pour le groupe lin´ eaire, Adv. Math., 178 (2003)

  90. [97]

    Coskun, A Littlewood-Richardson rule for two-step flag varieties , Invent

    I. Coskun, A Littlewood-Richardson rule for two-step flag varieties , Invent. Math., 176 (2009), pp. 325– 395

  91. [98]

    D. A. Cox, J. Little, and D. O’Shea , Ideals, varieties, and algorithms , Undergraduate Texts in Mathematics, Springer, Cham, fourth ed., 2015. An introduction to computational algebraic geometry and commutative algebra

  92. [99]

    Dauvergne, The Archimedean limit of random sorting networks , J

    D. Dauvergne, The Archimedean limit of random sorting networks , J. Amer. Math. Soc., 35 (2022), pp. 1215–1267

  93. [100]

    Demazure, D´ esingularization des Vari´ et´ es de Schubert G´ en´ eralis´ ees, Ann

    M. Demazure, D´ esingularization des Vari´ et´ es de Schubert G´ en´ eralis´ ees, Ann. Sc. E.N.S., 4 (1974), pp. 53–58

  94. [101]

    Deodhar, On some geometric aspects of Bruhat orderings

    V. Deodhar, On some geometric aspects of Bruhat orderings. I: A finer decomposition of Bruhat cells , Invent. Math., (1985), pp. 499–511

  95. [102]

    Deodhar, A combinatorial setting for questions in Kazhdan-Lusztig theory , Geom

    V. Deodhar, A combinatorial setting for questions in Kazhdan-Lusztig theory , Geom. Dedicata, 36 (1990), pp. 95–119

  96. [103]

    Diaconis, Patterns in eigenvalues: the 70th Josiah Willard Gibbs lecture , Bull

    P. Diaconis, Patterns in eigenvalues: the 70th Josiah Willard Gibbs lecture , Bull. Am. Math. Soc., New Ser., 40 (2003), pp. 155–178

  97. [104]

    Diaz-Lopez, P

    A. Diaz-Lopez, P. E. Harris, E. Insko, and M. Omar , A proof of the peak polynomial positivity conjecture, J. Combin. Theory Ser. A, 149 (2017), pp. 21–29

  98. [105]

    Diaz-Lopez, P

    A. Diaz-Lopez, P. E. Harris, E. Insko, and D. Perez-Lavin , Peak sets of classical Coxeter groups, Involve, 10 (2017), pp. 263–290

  99. [106]

    Draisma, E

    J. Draisma, E. Horobe t, G. Ottaviani, B. Sturmfels, and R. Thomas , The Euclidean distance degree of an algebraic variety , Found. Comput. Math, 16 (2016), pp. 99–149

  100. [107]

    du Cloux , Rigidity of Schubert closures and invariance of Kazhdan-Lusztig polynomials , Adv

    F. du Cloux , Rigidity of Schubert closures and invariance of Kazhdan-Lusztig polynomials , Adv. Math., 180 (2003), pp. 146–175

  101. [108]

    Duan, The degree of a Schubert variety , Adv

    H. Duan, The degree of a Schubert variety , Adv. Math., 180 (2003), pp. 112–133

  102. [109]

    Math., 159 (2005), pp

    , Multiplicative rule of Schubert classes , Invent. Math., 159 (2005), pp. 407–436

  103. [110]

    Dyer, Hecke algebras and reflections in Coxeter groups , PhD thesis, University of Sydney, 1987

    M. Dyer, Hecke algebras and reflections in Coxeter groups , PhD thesis, University of Sydney, 1987. COHOMOLOGY OF THE FLAG V ARIETY 183

  104. [111]

    Bruhat graph

    , On the “Bruhat graph” of a Coxeter system , Compositio Math., 78 (1991), pp. 185–191

  105. [112]

    Edelman and C

    P. Edelman and C. Greene , Balanced Tableaux, Adv. Math., 63 (1987), pp. 42–99

  106. [113]

    Ehresmann, Sur la topologie de certains espaces homog` enes, Ann

    C. Ehresmann, Sur la topologie de certains espaces homog` enes, Ann. of Math. (2), 35 (1934), pp. 396– 443

  107. [114]

    Eisenbud and J

    D. Eisenbud and J. Harris , 3264 and All That: A Second Course in Algebraic Geometry , Cambridge University Press, 2016

  108. [115]

    Elias and G

    B. Elias and G. Williamson , The Hodge theory of Soergel bimodules , Ann. of Math. (2), 180 (2014), pp. 1089–1136

  109. [116]

    Eriksson and S

    K. Eriksson and S. Linusson , Combinatorics of Fulton ’s essential set, Duke Math. J., 85 (1996), pp. 61–76

  110. [117]

    , A combinatorial theory of higher-dimensional permutation arrays , Adv. in Appl. Math., 25 (2000), pp. 194–211

  111. [118]

    , A decomposition of Fl(n)d indexed by permutation arrays , Adv. in Appl. Math., 25 (2000), pp. 212–227

  112. [119]

    Escobar, O

    L. Escobar, O. Pechenik, B. E. Tenner, and A. Yong , Rhombic tilings and Bott-Samelson varieties, Proc. Am. Math. Soc., 146 (2018), pp. 1921–1935

  113. [120]

    Feh´er and R

    L. Feh´er and R. Rim ´anyi, Classes of degeneracy loci for quivers: The Thom polynomial point of view, Duke Math. J., 114 (2002), pp. 193–213

  114. [121]

    L. M. Feh ´er and R. Rim ´anyi, Schur and Schubert polynomials as Thom polynomials—cohomology of moduli spaces, Cent. Eur. J. Math., 1 (2003)

  115. [122]

    A. Fink, K. M ´esz´aros, and A. St. Dizier , Schubert polynomials as integer point transforms of generalized permutahedra, Adv. Math., 332 (2018), pp. 465–475

  116. [123]

    Z., 297 (2021), pp

    , Zero-one Schubert polynomials, Math. Z., 297 (2021), pp. 1023–1042

  117. [124]

    Fischer, A new proof of the refined alternating sign matrix theorem , J

    I. Fischer, A new proof of the refined alternating sign matrix theorem , J. Combin. Theory Ser. A, 114 (2007), pp. 253–264

  118. [125]

    Fomin, S

    S. Fomin, S. Gelfand, and A. Postnikov , Quantum Schubert polynomials , J. Am. Math. Soc., 10 (1997), pp. 565–596

  119. [126]

    Fomin, C

    S. Fomin, C. Greene, V. Reiner, and M. Shimozono, Balanced labellings and Schubert polynomials, European Journal of Combinatorics, 18 (1997), pp. 373–389

  120. [127]

    Fomin and A

    S. Fomin and A. N. Kirillov , Grothendieck polynomials and the Yang-Baxter equation , in Proc. Formal Power Series and Alg. Comb, 1994, pp. 183–190

  121. [128]

    Fomin and A

    S. Fomin and A. N. Kirillov , Combinatorial Bn analogues of Schubert polynomials , Trans. of AMS, 348 (1996), pp. 3591–3620

  122. [129]

    , Yang-Baxter equation, symmetric functions, and Schubert polynomials , Discrete Mathematics, 153 (1996), pp. 123–143

  123. [130]

    Fomin and R

    S. Fomin and R. P. Stanley , Schubert polynomials and the nil-Coxeter algebra , Adv. Math., 103 (1994), pp. 196–207

  124. [131]

    Fomin, L

    S. Fomin, L. Williams, and A. Zelevinsky , Introduction to Cluster Algebras , arXiv preprint arXiv:2106.02160, (2025)

  125. [132]

    A. S. Fraenkel and D. Lichtenstein , Computing a perfect strategy for n × n chess requires time exponential in n, J. Combin. Theory Ser. A, 31 (1981), pp. 199–214

  126. [135]

    J., 65 (1992), pp

    , Flags, Schubert polynomials, degeneracy loci, and determinantal formulas , Duke Math. J., 65 (1992), pp. 381–420

  127. [136]

    Fulton, Young Tableaux; With Applications To Representation Theory And Geometry , vol

    W. Fulton, Young Tableaux; With Applications To Representation Theory And Geometry , vol. 35 of London Mathematical Society Student Texts, Cambridge University Press, New York, 1997

  128. [137]

    Fulton, Eigenvalues, invariant factors, highest weights, and Schubert calculus , Bull

    W. Fulton, Eigenvalues, invariant factors, highest weights, and Schubert calculus , Bull. Amer. Math. Soc., 37 (2000), pp. 209–249

  129. [138]

    Fulton and J

    W. Fulton and J. Harris , Representation Theory, vol. 129 of Graduate Texts in Mathematics, Springer-Verlag, New York, 1991. A first course, Readings in Mathematics

  130. [139]

    Fulton and A

    W. Fulton and A. Lascoux , A Pieri formula in the Grothendieck ring of a flag bundle , Duke Math. J., 76 (1994), pp. 711–729. 184 SARA C. BILLEY, YIBO GAO, AND BRENDAN PA WLOWSKI

  131. [140]

    Gaetz, Spherical Schubert varieties and pattern avoidance , Sel

    C. Gaetz, Spherical Schubert varieties and pattern avoidance , Sel. Math., New Ser., 28 (2022), p. 9. Id/No 44

  132. [141]

    Gaetz and Y

    C. Gaetz and Y. Gao, A combinatorial duality between the weak and strong Bruhat orders , J. Combin. Theory Ser. A, 171 (2020), pp. 105178, 14

  133. [142]

    , A combinatorial sl2-action and the Sperner property for the weak order , Proc. Amer. Math. Soc., 148 (2020), pp. 1–7

  134. [143]

    Gale, Optimal assignments in an ordered set: An application of matroid theory , J

    D. Gale, Optimal assignments in an ordered set: An application of matroid theory , J. Combinatorial Theory, 4 (1968), pp. 176–180

  135. [144]

    Gao and A

    S. Gao and A. Yong , Minimal equations for matrix Schubert varieties , J. Commut. Algebra, 16 (2024), pp. 267–273

  136. [145]

    Y. Gao, R. Hodges, and A. Yong , Levi-spherical Schubert varieties , Adv. Math., 439 (2024), p. 109486

  137. [146]

    Gao and D

    Y. Gao and D. Huang , The canonical bijection between pipe dreams and bumpless pipe dreams , Int. Math. Res. Not. IMRN, (2023), pp. 18629–18663

  138. [147]

    Gasharov, Factoring the Poincar´ e polynomials for the Bruhat order on Sn, Combinatorial Theory, Series A, 83 (1998), pp

    V. Gasharov, Factoring the Poincar´ e polynomials for the Bruhat order on Sn, Combinatorial Theory, Series A, 83 (1998), pp. 159–164

  139. [148]

    Gasharov, Sufficiency of Lakshmibai-Sandhya singularity conditions for Schubert varieties , Com- positio Math., 126 (2001), pp

    V. Gasharov, Sufficiency of Lakshmibai-Sandhya singularity conditions for Schubert varieties , Com- positio Math., 126 (2001), pp. 47–56

  140. [149]

    Gasharov and V

    V. Gasharov and V. Reiner , Cohomology of smooth Schubert varieties in partial flag manifolds , Journal of the London Mathematical Society (2), 66 (2002), pp. 550–562

  141. [150]

    I. M. Gessel , Multipartite P -partitions and inner products of skew Schur functions , in Combinatorics and algebra (Boulder, Colo., 1983), vol. 34 of Contemp. Math., Amer. Math. Soc., Providence, RI, 1984, pp. 289–317

  142. [151]

    Gillespie, Variations on a theme of Schubert calculus , in Recent trends in algebraic combinatorics, vol

    M. Gillespie, Variations on a theme of Schubert calculus , in Recent trends in algebraic combinatorics, vol. 16 of Assoc. Women Math. Ser., Springer, Cham, 2019, pp. 115–158

  143. [152]

    Givental and B

    A. Givental and B. Kim , Quantum cohomology of flag manifolds and Toda lattices , Commun. Math. Phys., 168 (1995), pp. 609–641

  144. [153]

    Goresky, R

    M. Goresky, R. Kottwitz, and R. MacPherson , Equivariant cohomology, Koszul duality, and the localization theorem, Invent. Math., 131 (1998), pp. 25–83

  145. [154]

    Goresky and R

    M. Goresky and R. MacPherson , Intersection homology. II , Invent. Math., 72 (1983), pp. 77–129

  146. [155]

    Graham, Positivity in equivariant Schubert calculus , Duke Math

    W. Graham, Positivity in equivariant Schubert calculus , Duke Math. J., 109 (2001), pp. 599–614

  147. [156]

    Greene, A

    C. Greene, A. Nijenhuis, and H. S. Wilf , A probabilistic proof of a formula for the number of Young tableaux of a given shape , Adv. in Math., 31 (1979), pp. 104–109

  148. [157]

    Guillemot and D

    S. Guillemot and D. Marx , Finding small patterns in permutations in linear time , SIAM, 2013, pp. 82–101

  149. [158]

    P. L. Guo, Z. Lin, and S. C. Peng , Zero-one dual characters of flagged Weyl modules , arXiv preprint arXiv:2411.10933, (2024)

  150. [159]

    M. D. Haiman , Dual equivalence with applications, including a conjecture of Proctor , Discrete Mathe- matics, 99 (1992), pp. 79–113

  151. [160]

    Hamaker, E

    Z. Hamaker, E. Marberg, and B. Pawlowski , Involution words: Counting problems and connec- tions to Schubert calculus for symmetric orbit closures , Journal of Combinatorial Theory, Series A, 160 (2018), pp. 217–260

  152. [161]

    Hamaker, E

    Z. Hamaker, E. Marberg, and B. Pawlowski , Transition formulas for involution Schubert polynomials, Selecta Math. (N.S.), 24 (2018), pp. 2991–3025

  153. [162]

    Hamaker, E

    Z. Hamaker, E. Marberg, and B. Pawlowski , Transition formulas for involution Schubert polynomials, Selecta Math., 24 (2018), pp. 2991–3025

  154. [163]

    , Schur P-positivity and involution Stanley symmetric functions , Int. Math. Res. Not., 2019 (2019), pp. 5389–5440

  155. [164]

    , Involution pipe dreams, Canad. J. Math., 74 (2022), pp. 1310–1346

  156. [165]

    Hamaker, O

    Z. Hamaker, O. Pechenik, D. E. Speyer, and A. Weigandt , Derivatives of Schubert polynomials and proof of a determinant conjecture of Stanley , Algebr. Comb., 3 (2020), pp. 301–307

  157. [166]

    Hamaker and B

    Z. Hamaker and B. Young , Relating Edelman-Greene insertion to the Little map , J. Algebraic Combin., 40 (2014), pp. 693–710. COHOMOLOGY OF THE FLAG V ARIETY 185

  158. [167]

    Hammett and B

    A. Hammett and B. Pittel , On the likelihood of comparability in Bruhat order , arXiv preprint math/0605490, (2006)

  159. [168]

    Hansson and A

    M. Hansson and A. Hultman , A word property for twisted involutions in Coxeter groups , Journal of Combinatorial Theory, Series A, 161 (2019), pp. 220–235

  160. [169]

    Hersch and B

    J. Hersch and B. Zwahlen , ´Evaluations par d´ efaut pour une summe quelconque de valeurs propres γk d’un op´ erateurC = A + B, ` a l’aide de valeurs propresαi de A et βj de B, C. R. Acad. Sci. Paris, 254 (1962), pp. 1559–1561

  161. [170]

    Hilbert, Mathematical problems, Bull

    D. Hilbert, Mathematical problems, Bull. Amer. Math. Soc., 8 (1902), pp. 437–479

  162. [171]

    Hodges and A

    R. Hodges and A. Yong , Coxeter combinatorics and spherical Schubert geometry , J. Lie Theory, 32 (2022), pp. 447–474

  163. [172]

    M. E. Hohmeyer and S. J. Teller , Computing the lines piercing four lines , Journal of Graphics Tools, 4 (1999), pp. 11–22

  164. [173]

    Horn, Eigenvalues of sums of Hermitian matrices , Pacific J

    A. Horn, Eigenvalues of sums of Hermitian matrices , Pacific J. Math., 12 (1962), pp. 225–241

  165. [174]

    Huang, Bijective proofs of Monk’s rule for Schubert and double Schubert polynomials with bumpless pipe dreams, Electron

    D. Huang, Bijective proofs of Monk’s rule for Schubert and double Schubert polynomials with bumpless pipe dreams, Electron. J. Combin., 30 (2023), pp. Paper No. 3.4, 14

  166. [175]

    Huang and S

    D. Huang and S. Nguyen , Growth diagrams for Schubert RSK , 2023

  167. [176]

    Huang and P

    D. Huang and P. Pylyavskyy, Bumpless pipe dream RSK, growth diagrams, and Schubert structure constants, 2022

  168. [177]

    Huang, M

    D. Huang, M. Shimozono, and T. Yu , Marked bumpless pipedreams and compatible pairs, arXiv preprint arXiv:2407.18160, (2024)

  169. [178]

    Huang and J

    D. Huang and J. Striker , A pipe dream perspective on totally symmetric self-complementary plane partitions, Forum Math. Sigma, 12 (2024), pp. Paper No. e17, 19

  170. [179]

    Huh , Rota’s conjecture and positivity of algebraic cycles in permutohedral varieties , PhD thesis, University of Michigan, 2014

    J. Huh , Rota’s conjecture and positivity of algebraic cycles in permutohedral varieties , PhD thesis, University of Michigan, 2014

  171. [180]

    Huh, Tropical geometry of matroids, in Current developments in mathematics 2016

    J. Huh, Tropical geometry of matroids, in Current developments in mathematics 2016. Papers based on selected lectures given at the conference, Harvard University, Cambridge, MA, USA, November 2016, Somerville, MA: International Press, 2018, pp. 1–46

  172. [181]

    Hultman, Bruhat intervals of length 4 in Weyl groups , J

    A. Hultman, Bruhat intervals of length 4 in Weyl groups , J. Combin. Theory Ser. A, 102 (2003), pp. 163–178

  173. [182]

    J. E. Humphreys , Introduction to Lie Algebras and Representation Theory , no. 9 in GTM, Springer- Verlag, New York, 1972

  174. [183]

    21 of Graduate texts in mathematics, Springer-Verlag, New York, 1975

    , Linear Algebraic Groups, vol. 21 of Graduate texts in mathematics, Springer-Verlag, New York, 1975

  175. [184]

    J. E. Humphreys , Reflection groups and Coxeter groups , vol. 29 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, 1990

  176. [185]

    Ikeda, L

    T. Ikeda, L. C. Mihalcea, and H. Naruse , Double Schubert polynomials for the classical groups , Advances in Mathematics, 226 (2011), pp. 840–886

  177. [186]

    Ikeda and H

    T. Ikeda and H. Naruse , K-theoretic analogues of factorial schur P - and Q-functions, Adv. Math., 243 (2013), pp. 22–66

  178. [187]

    Ikenmeyer, I

    C. Ikenmeyer, I. Pak, and G. Panova, Positivity of the symmetric group characters is as hard as the polynomial time hierarchy , Int. Math. Res. Not., 2024 (2024), pp. 8442–8458

  179. [188]

    Incitti, Bruhat order on the involutions of classical Weyl groups , Adv

    F. Incitti, Bruhat order on the involutions of classical Weyl groups , Adv. in Appl. Math., 37 (2006), pp. 68–111

  180. [189]

    R. S. Irving , The socle filtration of a Verma module , Ann. Sci. ´Ecole Norm. Sup. (4), 21 (1988), pp. 47–65

  181. [190]

    J. C. Jantzen , Moduln mit einem h¨ ochsten Gewicht, vol. 750 of Lecture Notes in Mathematics, Springer, Berlin, 1979

  182. [191]

    Johnson, The Schubert calculus and eigenvalue inequalities for sums of Hermitian matrices , PhD thesis, University of California, Santa Barbara, 1979

    S. Johnson, The Schubert calculus and eigenvalue inequalities for sums of Hermitian matrices , PhD thesis, University of California, Santa Barbara, 1979

  183. [192]

    B. C. Jones , Leading coefficients of Kazhdan-Lusztig polynomials for Deodhar elements. , J. Algebr. Comb., 29 (2009), pp. 229–260

  184. [193]

    Karp and K

    S. Karp and K. Purbhoo , Universal Pl¨ ucker coordinates for the Wronski map and positivity in real Schubert calculus, arXiv preprint arXiv:2309.04645, (2023). 186 SARA C. BILLEY, YIBO GAO, AND BRENDAN PA WLOWSKI

  185. [194]

    Kassel, A

    C. Kassel, A. Lascoux, and C. Reutenauer , The singular locus of a Schubert variety , J. Algebra, 269 (2003), pp. 74–108

  186. [195]

    Kazhdan and G

    D. Kazhdan and G. Lusztig , Representations of Coxeter groups and Hecke algebras , Invent. Math., 53 (1979), pp. 165–184

  187. [196]

    Kazhdan and G

    D. Kazhdan and G. Lusztig , Schubert varieties and Poincar´ e duality, Proc. Symp. Pure. Math., A.M.S., 36 (1980), pp. 185–203

  188. [197]

    L. G. Khachiyan, A polynomial algorithm in linear programming , Dokl. Akad. Nauk SSSR, 244 (1979), pp. 1093–1096

  189. [198]

    Kim, Homology class of a Deligne-Lusztig variety and its analogs , Int

    D. Kim, Homology class of a Deligne-Lusztig variety and its analogs , Int. Math. Res. Not., 2020 (2020), pp. 1246–1280

  190. [199]

    Kinser and J

    R. Kinser and J. Rajchgot , Type A quiver loci and Schubert varieties , J. Comm. Alg., 7 (2015), pp. 265–301

  191. [200]

    S. L. Kleiman and D. Laksov , Schubert calculus, Amer. Math. Monthly, 79 (1972), pp. 1061–1082

  192. [201]

    Klein and A

    P. Klein and A. Weigandt, Bumpless pipe dreams encode Gr¨ obner geometry of Schubert polynomials, S´ em. Lothar. Combin., 86B (2022), pp. Art. 84, 12

  193. [202]

    Klein, The multiplication of Schur-functions and extensions of p-modules, J

    T. Klein, The multiplication of Schur-functions and extensions of p-modules, J. Lond. Math. Soc., 43 (1968), pp. 1–43

  194. [203]

    A. A. Klyachko, Orbits of a maximal torus on a flag space , Funct. Anal. Appl., 19 (1985), pp. 65–66

  195. [204]

    A. A. Klyachko, Stable bundles, representation theory and Hermitian operators , Selecta Math. (N.S.), 4 (1998), pp. 419–445

  196. [205]

    D. E. Knuth , The Art of Computer Programming , Addison-Wesley Publishing Co., Reading, Mass.- London-Amsterdam, second ed., 1975. Volume 1: Fundamental algorithms, Addison-Wesley Series in Computer Science and Information Processing

  197. [206]

    Knutson, Schubert calculus and shifting of interval positroid varieties

    A. Knutson, Schubert calculus and shifting of interval positroid varieties . arXiv:1408.1261 [math.AG], 2014

  198. [207]

    4582–4605

    , Schubert calculus and quiver varieties , in Proceedings of the International Congress of Mathe- maticians 2022: Volume 6, EMS Press., 2022, pp. 4582–4605

  199. [208]

    https://www.youtube.com/ watch?v=vsnL0SWDNsI, Aug 2022

    , Schubert calculus and quiver varieties - ICM 2022 Allen Knutson . https://www.youtube.com/ watch?v=vsnL0SWDNsI, Aug 2022

  200. [209]

    Knutson, Schubert polynomials, pipe dreams, equivariant classes, and a co-transition formula , in Facets of algebraic geometry

    A. Knutson, Schubert polynomials, pipe dreams, equivariant classes, and a co-transition formula , in Facets of algebraic geometry. Vol. II, vol. 473 of London Math. Soc. Lecture Note Ser., Cambridge Univ. Press, Cambridge, 2022, pp. 63–83

  201. [210]

    Knutson, Schubert polynomials and symmetric functions; notes for the Lisbon combinatorics summer school 2012, unpublished, (July 28, 2012)

    A. Knutson, Schubert polynomials and symmetric functions; notes for the Lisbon combinatorics summer school 2012, unpublished, (July 28, 2012). http://www.math.cornell.edu/~allenk/schubnotes.pdf

  202. [211]

    Knutson, T

    A. Knutson, T. Lam, and D. E. Speyer , Positroid varieties: juggling and geometry , Compos. Math., 149 (2013), pp. 1710–1752

  203. [212]

    Knutson and E

    A. Knutson and E. Miller , Gr¨ obner geometry of Schubert polynomials, Ann. of Math. (2), 161 (2005), pp. 1245–1318

  204. [213]

    Knutson, E

    A. Knutson, E. Miller, and M. Shimozono , Four positive formulae for type A quiver polynomials , Invent. Math., 166 (2006), pp. 229–325

  205. [214]

    Knutson and T

    A. Knutson and T. Tao, The honeycomb model of GLn(C) tensor products. I. Proof of the Saturation Conjecture, J. Amer. Math. Soc., 12 (1999), pp. 1055–1090

  206. [215]

    Knutson and T

    A. Knutson and T. Tao , Puzzles and (equivariant) cohomology of Grassmannians , Duke Math. J., 119 (2003), pp. 221–260

  207. [216]

    Knutson, T

    A. Knutson, T. Tao, and C. Woodward, The honeycomb model of GLn(C) tensor products. II. Puzzles determine facets of the Littlewood-Richardson cone , J. Amer. Math. Soc., 17 (2004), pp. 19–48

  208. [217]

    Knutson and G

    A. Knutson and G. Udell , Interpolating between classic and bumpless pipe dreams , S´ em. Lothar. Combin., 89B (2023), pp. Art. 89, 12

  209. [218]

    Knutson and P

    A. Knutson and P. Zinn-Justin , Schubert puzzles and integrability I: invariant trilinear forms , arXiv preprint arXiv:1706.10019, (2017)

  210. [219]

    Kogan, Schubert Geometry of Flag Varieties and Gelfand-Cetlin Theory , PhD thesis, Massachusetts Institute of Technology, 2000

    M. Kogan, Schubert Geometry of Flag Varieties and Gelfand-Cetlin Theory , PhD thesis, Massachusetts Institute of Technology, 2000

  211. [220]

    Kohnert, Weintrauben, Polynome, Tableaux, Bayreuther Math, 38 (1990), pp

    A. Kohnert, Weintrauben, Polynome, Tableaux, Bayreuther Math, 38 (1990), pp. 1–97. COHOMOLOGY OF THE FLAG V ARIETY 187

  212. [221]

    Kostant and S

    B. Kostant and S. Kumar , The Nil Hecke Ring and Cohomology of G/P for a Kac-Moody Group G∗, Advances in Math., 62 (1986), pp. 187–237

  213. [222]

    Kostant and S

    B. Kostant and S. Kumar , T -equivariant K-theory of generalized flag varieties , J. Differ. Geom., 32 (1990), pp. 549–603

  214. [223]

    Kra´skiewicz, Reduced decompositions in hyperoctahedral groups, CR Acad

    W. Kra´skiewicz, Reduced decompositions in hyperoctahedral groups, CR Acad. Sci. Paris S´ er. I Math, 309 (1989), pp. 903–904

  215. [224]

    Kra´skiewicz and P

    W. Kra´skiewicz and P. Pragacz , Schubert polynomials and Schubert functors , Preprint., (1986)

  216. [225]

    Kra´skiewicz and P

    W. Kra´skiewicz and P. Pragacz , Foncteurs de Schubert, C. R. Acad. Sci. Paris S´ er. I Math., 304 (1987), pp. 209–211

  217. [226]

    Kra´skiewicz and P

    W. Kra´skiewicz and P. Pragacz , Schubert functors and Schubert polynomials , European Journal of Combinatorics, 25 (2004), pp. 1327–1344

  218. [227]

    Kumar, The nil Hecke ring and singularity of Schubert varieties , Inventiones Math., 123 (1996), pp

    S. Kumar, The nil Hecke ring and singularity of Schubert varieties , Inventiones Math., 123 (1996), pp. 471–506

  219. [228]

    204 of Progress in Mathematics, Birkhauser, 2002

    , Kac-Moody Groups, Their Flag Varieties and Representation Theory , vol. 204 of Progress in Mathematics, Birkhauser, 2002

  220. [229]

    Kuperberg, Another proof of the alternating-sign matrix conjecture , Internat

    G. Kuperberg, Another proof of the alternating-sign matrix conjecture , Internat. Math. Res. Notices, (1996), pp. 139–150

  221. [230]

    Lakshmibai and J

    V. Lakshmibai and J. Brown , Flag Varieties , vol. 53 of Texts and Readings in Mathematics, Hindustan Book Agency, New Delhi, 2009. An interplay of geometry, combinatorics, and representation theory

  222. [231]

    42 of Developments in Mathematics, Springer, New York, 2015

    , The Grassmannian variety , vol. 42 of Developments in Mathematics, Springer, New York, 2015. Geometric and representation-theoretic aspects

  223. [232]

    Lakshmibai and B

    V. Lakshmibai and B. Sandhya , Criterion for smoothness of Schubert varieties in SL(n)/B, Proc. Indian Acad. Sci. (Math Sci.), 100 (1990), pp. 45–52

  224. [233]

    Lakshmibai and C

    V. Lakshmibai and C. S. Seshadri , Singular locus of a Schubert variety , Bull. Amer. Math. Soc. (N.S.), 11 (1984), pp. 363–366

  225. [234]

    Lam, Schubert polynomials for the affine Grassmannian , J

    T. Lam, Schubert polynomials for the affine Grassmannian , J. Amer. Math. Soc., 21 (2008), pp. 259–281

  226. [235]

    T. Lam, L. Lapointe, J. Morse, A. Schilling, M. Shimozono, and M. Zabrocki , k-Schur functions and affine Schubert calculus , vol. 33 of Fields Institute Monographs, Springer, New York; Fields Institute for Research in Mathematical Sciences, Toronto, ON, 2014

  227. [236]

    T. Lam, L. Lapointe, J. Morse, and M. Shimozono , Affine insertion and Pieri rules for the affine Grassmannian, Mem. Amer. Math. Soc., 208 (2010), pp. xii+82

  228. [237]

    T. Lam, S. J. Lee, and M. Shimozono , Back stable Schubert calculus , Compos. Math., 157 (2021), pp. 883–962

  229. [238]

    Lam and M

    T. Lam and M. Shimozono , A Little bijection for affine Stanley symmetric functions , S´ em. Lothar. Combin., 54A (2005)

  230. [239]

    , Quantum cohomology of G/P and homology of affine Grassmannian , Acta Math., 204 (2010), pp. 49–90

  231. [240]

    , From quantum Schubert polynomials to k-Schur functions via the Toda lattice , Math. Res. Lett., 19 (2012), pp. 81–93

  232. [241]

    T. K. Lam, B and D Analogues of Stable Schubert Polynomials and Related Insertion Algorithms , PhD thesis, MIT, 1995

  233. [242]

    , Bn Stanley Symmetric Functions , Discrete Math, 157 (1996), pp. 241–270

  234. [243]

    Lapointe, A

    L. Lapointe, A. Lascoux, and J. Morse , Tableau atoms and a new Macdonald positivity conjecture , Duke Math. J., 116 (2003), pp. 103–146

  235. [244]

    Lapointe and J

    L. Lapointe and J. Morse , Quantum cohomology and the k-Schur basis, Trans. Am. Math. Soc., 360 (2008), pp. 2021–2040

  236. [245]

    Lascoux, Polynˆ omes de Kazhdan–Lusztig pour les vari´ et´ es de Schubert vexillaires., C

    A. Lascoux, Polynˆ omes de Kazhdan–Lusztig pour les vari´ et´ es de Schubert vexillaires., C. R. Acad. Sci. Paris S´ er. I Math., 321 (1995), pp. 667–670

  237. [246]

    Lascoux, Chern and Yang through ice , Selecta Mathematica, (2008), p

    A. Lascoux, Chern and Yang through ice , Selecta Mathematica, (2008), p. 10pp

  238. [247]

    Lascoux and M.-P

    A. Lascoux and M.-P. Sch ¨utzenberger. Personal communication

  239. [248]

    Ricerca Sci

    A. Lascoux and M.-P. Sch ¨utzenberger, Le mono ¨ ıde plaxique, in Noncommutative structures in algebra and geometric combinatorics (Naples, 1978), vol. 109 of Quad. “Ricerca Sci.”, CNR, Rome, 1981, pp. 129–156. 188 SARA C. BILLEY, YIBO GAO, AND BRENDAN PA WLOWSKI

  240. [249]

    Lascoux and M.-P

    A. Lascoux and M.-P. Sch ¨utzenberger, Polynˆ omes de Kazhdan & Lusztig pour les grassman- niennes, in Young tableaux and Schur functors in algebra and geometry (Toru´ n, 1980), vol. 87 of Ast´ erisque, Soc. Math. France, Paris, 1981, pp. 249–266

  241. [250]

    Lascoux and M.-P

    A. Lascoux and M.-P. Sch ¨utzenberger, Polynomes de Schubert , C.R. Acad. Sci. Paris, 294 (1982), pp. 447–450

  242. [251]

    , Structure de Hopf de l’anneau de cohomologie et de l’anneau de Grothendieck d’une variete de drapeaux, Comptes Rendus Acad. Sci. Paris Ser. I Math., 295 (1982), pp. 629–633

  243. [252]

    Physics, 10 (1985), pp

    , Schubert Polynomials and the Littlewood-Richardson Rule , Letters in Math. Physics, 10 (1985), pp. 111–124

  244. [253]

    , Tableaux and non-commutative Schubert Polynomials , Funk. Anal. and Appl., 23 (1989), pp. 63– 64

  245. [254]

    Lascoux and M.-P

    A. Lascoux and M.-P. Sch ¨utzenberger, Treillis et bases des groupes de Coxeter , Electron. J. Combin., 3 (1996), pp. Research paper 27, approx. 35

  246. [255]

    Lenart, A K-theory version of Monk’s formula and some related multiplication formulas , J

    C. Lenart, A K-theory version of Monk’s formula and some related multiplication formulas , J. Pure Appl. Algebra, 179 (2003), pp. 137–158

  247. [256]

    Algebraic Combin., 20 (2004), pp

    , A unified approach to combinatorial formulas for Schubert polynomials , J. Algebraic Combin., 20 (2004), pp. 263–299

  248. [257]

    Lenart, Growth diagrams for the Schubert multiplication , Journal of Combinatorial Theory, Series A, 117 (2010), pp

    C. Lenart, Growth diagrams for the Schubert multiplication , Journal of Combinatorial Theory, Series A, 117 (2010), pp. 842–856

  249. [258]

    Lenart and F

    C. Lenart and F. Sottile , A Pieri-type formula for the K-theory of a flag manifold , Trans. Amer. Math. Soc., 359 (2007), pp. 2317–2342

  250. [259]

    C. Li, V. Ravikumar, F. Sottile, and M. Yang , A geometric proof of an equivariant Pieri rule for flag manifolds , Forum Math., 31 (2019), pp. 779–783

  251. [260]

    D. P. Little , Combinatorial aspects of the Lascoux-Sch¨ utzenberger tree, Advances in Mathematics, 174 (2003), pp. 236–253

  252. [261]

    , Factorization of the Robinson–Schensted–Knuth correspondence, Journal of Combinatorial Theory, Series A, 110 (2005), pp. 147–168

  253. [262]

    R. I. Liu , Twisted Schubert polynomials, Selecta Math. (N.S.), 28 (2022), pp. Paper No. 87, 23

  254. [263]

    Lusztig, Cells in affine Weyl groups , in Algebraic groups and related topics (Kyoto/Nagoya, 1983), vol

    G. Lusztig, Cells in affine Weyl groups , in Algebraic groups and related topics (Kyoto/Nagoya, 1983), vol. 6 of Adv. Stud. Pure Math., North-Holland, Amsterdam, 1985, pp. 255–287

  255. [264]

    Lusztig, Bruhat decomposition and applications , arXiv, math/1006.5004 (2010)

    G. Lusztig, Bruhat decomposition and applications , arXiv, math/1006.5004 (2010)

  256. [265]

    Macdonald, Notes on Schubert Polynomials , vol

    I. Macdonald, Notes on Schubert Polynomials , vol. 6, Publications du LACIM, Universit´ e du Qu´ ebec ` a Montr´ eal, 1991.https://lacim.uqam.ca/les-parutions/LACIM-Publications-Volume-06.pdf

  257. [266]

    P. A. MacMahon , Combinatory analysis. Vol. I, II (bound in one volume) , Dover Publications, Inc., Mineola, NY, 1915,1916

  258. [267]

    Magyar, Borel–weil theorem for configuration varieties and schur modules, Advances in Mathematics, 134 (1998), pp

    P. Magyar, Borel–weil theorem for configuration varieties and schur modules, Advances in Mathematics, 134 (1998), pp. 328–366

  259. [268]

    , Schubert polynomials and Bott-Samelson varieties, Comment. Math. Helv., 73 (1998), pp. 603–636

  260. [269]

    Manivel, Le lieu singulier des vari´ et´ es de Schubert, Internat

    L. Manivel, Le lieu singulier des vari´ et´ es de Schubert, Internat. Math. Res. Notices, (2001), pp. 849– 871

  261. [270]

    Manivel, Symmetric Functions, Schubert Polynomials and Degeneracy Loci , vol

    L. Manivel, Symmetric Functions, Schubert Polynomials and Degeneracy Loci , vol. 6 of SMF/AMS Texts and Monographs, American Mathematical Society, 2001

  262. [271]

    Marberg and B

    E. Marberg and B. Pawlowski , Stanley symmetric functions for signed involutions , Journal of Combinatorial Theory, Series A, 168 (2019), pp. 288–317

  263. [272]

    Math., 372 (2020), p

    , K-theory formulas for orthogonal and symplectic orbit closures , Adv. Math., 372 (2020), p. 107299

  264. [273]

    Math., 405 (2022), p

    , Gr¨ obner geometry for skew-symmetric matrix Schubert varieties , Adv. Math., 405 (2022), p. 108488

  265. [274]

    W. M. McGovern , Pattern avoidance and K-orbit closures, 2022

  266. [275]

    W. M. McGovern , Representation theory and geometry of the flag variety , vol. 90 of De Gruyter Stud. Math., Berlin: De Gruyter, 2023

  267. [276]

    T. J. McLarnan and G. S. W arrington, Counterexamples to the 0-1 conjecture, Represent. Theory, 7 (2003), pp. 181–195

  268. [277]

    V. B. Mehta and A. Ramanathan , Frobenius splitting and cohomology vanishing for Schubert varieties, Ann. of Math., 122 (1985), pp. 27–40. COHOMOLOGY OF THE FLAG V ARIETY 189

  269. [278]

    M´esz´aros, A

    K. M´esz´aros, A. St. Dizier, and A. Tanjaya , Principal specialization of dual characters of flagged Weyl modules, Electron. J. Combin., 28 (2021), pp. Paper No. 4.17, 12

  270. [279]

    Micha lek and B

    M. Micha lek and B. Sturmfels, Invitation to nonlinear algebra , vol. 211 of Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, [2021] ©2021

  271. [280]

    Miller, Mitosis recursion for coefficients of Schubert polynomials , J

    E. Miller, Mitosis recursion for coefficients of Schubert polynomials , J. Combin. Theory Ser. A, 103 (2003), pp. 223–235

  272. [281]

    Miller and B

    E. Miller and B. Sturmfels , Combinatorial Commutative Algebra , Springer, New York, 2004

  273. [282]

    W. H. Mills, D. P. Robbins, and H. Rumsey, Jr. , Alternating sign matrices and descending plane partitions, J. Combin. Theory Ser. A, 34 (1983), pp. 340–359

  274. [283]

    Milnor, Topology from the differentiable viewpoint, The University Press of Virginia, 1965

    J. Milnor, Topology from the differentiable viewpoint, The University Press of Virginia, 1965

  275. [284]

    Milnor and J

    J. Milnor and J. Stasheff , Characteristic Classes, Princeton University Press and Tokyo University Press, 1974

  276. [285]

    N. E. Mn ¨ev, The universality theorems on the classification problem of configuration varieties and convex polytopes varieties, in Topology and Geometry: Rohlin Seminar, O. Y. Viro, ed., vol. 1346 of Lecture Notes in Mathematics, Springer, 1988, pp. 527–543

  277. [286]

    Monica V azirani, Math 280 spring 2005, 2005. Online. https://www.math.ucdavis.edu/~vazirani/ S05/KL.details.html

  278. [287]

    Monical, N

    C. Monical, N. Tokcan, and A. Yong , Newton polytopes in algebraic combinatorics , Selecta Math. (N.S.), 25 (2019)

  279. [288]

    Monk, The geometry of flag manifolds , Proc

    D. Monk, The geometry of flag manifolds , Proc. London Math. Soc., 3 (1959), pp. 253–286

  280. [289]

    Mukhin, V

    E. Mukhin, V. Tarasov, and A. V archenko, The B. and M. Shapiro conjecture in real algebraic geometry and the Bethe ansatz , Ann. Math. (2), 170 (2009), pp. 863–881

  281. [290]

    , Schubert calculus and representations of the general linear group , J. Amer. Math. Soc., 22 (2009), pp. 909–940

  282. [291]

    Nadeau, H

    P. Nadeau, H. Spink, and V. Tewari , Schubert polynomial expansions revisited, arXiv, (2024)

  283. [292]

    Nadeau and V

    P. Nadeau and V. Tewari, A q-deformation of an algebra of klyachko and macdonald’s reduced word formula, to appear in TAMS, (2021)

  284. [293]

    Narayanan, On the complexity of computing Kostka numbers and Littlewood-Richardson coefficients, J

    H. Narayanan, On the complexity of computing Kostka numbers and Littlewood-Richardson coefficients, J. Algebraic Combin., 24 (2006), pp. 347–354

  285. [294]

    K. L. Nyman , The peak algebra of the symmetric group , J. Algebr. Comb., 17 (2003), pp. 309–322

  286. [295]

    OEIS Foundation Inc., The On-Line Encyclopedia of Integer Sequences , 2025. Online. http://oeis. org

  287. [296]

    S. Oh, A. Postnikov, and H. Yoo , Bruhat order, smooth Schubert varieties, and hyperplane arrangements, J. Comb. Theory, Series A, 115 (2008), pp. 1156–166

  288. [297]

    Oh and E

    S. Oh and E. Richmond , Coxeter groups and Billey-Postnikov decompositions , arXiv, 2409.03096 (2024)

  289. [298]

    , Coxeter groups and Billey-Postnikov decompositions , 2024

  290. [299]

    Oxley, Matroid Theory, vol

    J. Oxley, Matroid Theory, vol. 21 of Oxford Graduate Texts in Mathematics, Oxford University Press, Oxford, second ed., 2011

  291. [300]

    Pak, What is a combinatorial interpretation? , arXiv preprint arXiv:2209.06142, (2022)

    I. Pak, What is a combinatorial interpretation? , arXiv preprint arXiv:2209.06142, (2022)

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.