Diagonal degenerations of matrix Schubert varieties (Q6088387)

In 1982, \textit{A. Lascoux} and \textit{M.-P. Schützenberger} [C. R. Acad. Sci., Paris, Sér. I 295, 629--633 (1982; Zbl 0542.14030)] presented the notion of \textit{Schubert polynomials}, which provide combinatorially-natural representatives of Schubert classes in the cohomology ring of the complete flag variety. After that, \textit{W. Fulton} [Duke Math. J. 65, No. 3, 381--420 (1992; Zbl 0788.14044)] introduced the definition of \textit{matrix Schubert varieties}, which are generalized determinantal (affine) varieties corresponding to a permutation \(w \in S_n\). Next, \textit{A. Knutson} and \textit{E. Miller} [Ann. Math. (2) 161, No. 3, 1245--1318 (2005; Zbl 1089.14007)] could identify irreducible components of anti-diagonal initial schemes with the \textit{pipe dreams} that had arisen in earlier combinatorial study of Schubert polynomials, and gave a geometric explanation for the positivity of coefficients of Schubert polynomials, and showed that the multidegrees of \(X_w\) give the torus-equivariant cohomology classes of Schubert varieties. In 2022, Hamaker, Pechenik, and Weigandt [\textit{Z. Hamaker} et al., Adv. Math. 398, Article ID 108228, 29 p. (2022; Zbl 1487.14109)] presented a diagonal Gröbner basis, which is called the set of CDG generators, for a wider class of permutations that includes the vexillary permutations, and showed that CDG generators form a diagonal Gröbner basis when \(w\) is what they called \textit{banner} and applied that result to connect the geometry of the diagonal degenerations of \(X_w\) to the \textit{bumpless pipe dreams}; in particular, they made up the following conjecture: Conjecture. Let \(w\in S_n\) be a permutation. The CDG generators are a diagonal Gröbner basis for \(I_w\) if and only if \(w\) avoids all eight of the patterns \(13254, 21543, 214635, 215364, 215634, 241635, 315264, 4261735.\) The main aim of this work is to establish the above conjecture. To accomplish this, the author used a connection between liaison and geometric vertex decomposition established in \textit{P. Klein} and \textit{J. Rajchgot}'s paper [Forum Math. Sigma 9, Paper No. e70, 23 p. (2021; Zbl 1478.13018)].