Initial Complexes of Matrix Schubert Varieties

• The paper demonstrates that by applying antidiagonal term orders, the initial complex of a matrix Schubert variety precisely reflects its combinatorial structure via Gröbner degeneration.
• It employs methods including the decomposition into smaller affine varieties, toric geometry techniques, and bijections with subword complexes and pipe dreams to uncover deep polyhedral and algebraic relations.
• The study extends its approach to infinite-dimensional settings, establishing Cohen–Macaulayness and shellability, thereby linking combinatorial insights with robust geometric and algebraic properties.

A matrix Schubert variety is the scheme-theoretic closure $$X_{\pi} = \overline{B_{-}\pi B_{+}} \subset M_{n} \cong \mathbb{C}^{n^2}$$ for $\pi \in S_n$, defined by imposing rank conditions on submatrices dictated by the permutation's Rothe diagram. The initial complex of a matrix Schubert variety is a simplicial complex encoding the combinatorial essence of its ideal's monomial degeneration, typically studied via term orders such as antidiagonal or diagonal. These initial complexes connect to subword complexes, combinatorics of pipe dreams, and toric/convex geometry, providing rich structure and deep linkages to algebraic geometry and combinatorial commutative algebra.

1. Decomposition of Matrix Schubert Varieties

Given a permutation $\pi \in S_n$, the associated matrix Schubert variety $X_{\pi}$ decomposes canonically as $X_{\pi}=Y_{\pi}\times \mathbb{C}^q$, where $q$ is maximized so that the projection onto the subspace

$V_{\pi} = \{ (i,j) \notin NW(\pi) \}$

is an isomorphism to the affine space $\mathbb{C}^q$; here $NW(\pi)$ is the northwest closure of the Rothe diagram $D(\pi)$ of $\pi$. The coordinates in $L(\pi) = NW(\pi)\setminus dom(\pi)$ define the "small factor" $Y_{\pi}$, an affine variety typically cut out by homogeneous rank conditions. The dimension $\dim Y_{\pi}$ equals $|L'(\pi)|$, where $L'(\pi) = L(\pi)\setminus D(\pi)$ (Escobar et al., 2015).

2. Toric Structure and Moment Polytopes

The action of $$T^{2n}=T^{n}_{\text{left}}\times T^{n}_{\text{right}}$$ on $M_n$ restricts to a residual $(\mathbb{C}^*)^{2n-1}$-action on $X_{\pi}$. The moment cone for $Y_{\pi}$ becomes

$$\Phi(Y_{\pi}) = \text{Cone}\{ x_i - y_j : (i,j) \in L(\pi) \} \subset \mathbb{R}^{2n-1}$$

with $x_i-y_j$ corresponding to the torus action weights. The variety $Y_{\pi}$ is toric—i.e., admits a dense torus orbit—if and only if the dimension of $\Phi(Y_{\pi})$ matches that of $Y_{\pi}$, precisely when $L'(\pi)$ forms a disjoint union of hooks, no two sharing rows or columns (Theorem of Escobar–Mészáros). For $\pi = 1\,\pi'$, where $\pi'$ is dominant on $\{2,\ldots,n\}$, this condition holds and $Y_{\pi}$ is toric (Escobar et al., 2015).

3. Polyhedral Geometry and Root Polytopes

The projectivization $\mathbb{P}(Y_{\pi})$ leads to a convex moment polytope

$$\Phi(\mathbb{P}(Y_{\pi})) = \text{Conv}\{ x_i - y_j : (i,j) \in L(\pi) \}$$

identified with the root polytope $Q_{G_{D}}$ for a bipartite graph $G_{D}$ associated to a skew-Ferrers diagram $D$. Vertices are $\{x_1,\ldots,x_r, y_1, \ldots, y_c\}$ and edges $\{(x_i, y_j) : (i,j) \in D\}$ (Escobar et al., 2015).

Regular triangulations of $Q_{G_D}$ are constructed via non-crossing alternating spanning forests, with maximal simplices formed by the convex hulls of edges: $$\Delta_F = \text{Conv}\{ e_i - e_{r+j} : (x_i, y_j) \in F \}$$ as $F$ ranges over appropriate forests (Escobar et al., 2015).

4. Subword Complexes and Bijections

Subword complexes $\Delta(Q, \pi)$, as introduced by Knutson–Miller (2004), encode reduced subword structure in Coxeter groups. For suitable permutations ($\pi=1\,\pi'$ with $\pi'$ dominant), one constructs words $Q(L(\pi))$ from $L(\pi)$ and permutations $p(\pi)$ from baseline boxes. The bijection is explicit: maximal forests in $G_{L(\pi)}$ correspond to maximal lattice paths (pipe-dreams/RCC graphs) for $p(\pi)$; facets of the subword complex $\Delta(Q(L(\pi)),p(\pi))$ match maximal forests in the triangulation, giving a geometric realization of the initial complex (Escobar et al., 2015).

5. Initial Complexes and Gröbner Degenerations

For a suitable term order—antidiagonal, as in matrix-term order—the initial ideal $\text{init}(I_{\pi})$ of the matrix Schubert ideal $I_{\pi}$ is precisely the Stanley–Reisner ideal of the subword complex $\Delta(Q(L(\pi)), p(\pi))$. Thus, the initial complex (collection of coordinate subspaces contained in $\text{init}(I_{\pi})$) is completely described by the combinatorics of subword complexes. The geometric realization via root-polytope triangulation further underpins the polytopal nature of the degeneration (Escobar et al., 2015).

6. Infinite-Dimensional Generalizations and Cohen–Macaulayness

Matrix Schubert varieties extend to infinite-dimensional settings: for $\sigma \in S_\infty$, one defines the infinite initial complex $\Delta_\sigma$ as the direct limit of its finite truncations. Under antidiagonal term orders, the initial monomial ideal is square-free, and the Stanley–Reisner ring $k[\Delta_\sigma]$ is Cohen–Macaulay in the sense of flat direct limits (weak Bourbaki–unmixed). This result is established for all $\sigma \in S_\infty$ and produces non-Noetherian Cohen–Macaulay rings, with the proof leveraging the shellability of finite truncations and the flatness of inclusion maps (Chlopecki et al., 6 Jan 2026).

7. Diagonal Degenerations and Alternative Combinatorics

Diagonal term orders pick out main-diagonal monomials in the minors, yielding square-free initial ideals and Stanley–Reisner complexes $\Delta_w$ with facets naturally labeled by bumpless pipe dreams (six-vertex ice states). For $w\in S_n$, the facets correspond bijectively to configurations in $\mathrm{BPD}(w)$, with deep consequences for both the combinatorial and topological properties (e.g., shellability, Cohen–Macaulayness, explicit $f$- and $h$-vector formulas, and Schubert polynomial expansions) (Hamaker et al., 2020).

Term Order	Initial Monomial	Subword Complex Facets	Shellability / CM Property
Antidiagonal	Antidiagonal of minor	Pipe dreams / RC-graphs	Yes (Knuston–Miller–Sturmfels)
Diagonal	Main diagonal of minor	Bumpless pipe dreams / Ice states	Yes (Hamaker et al., 2020)

The interplay of initial complexes, subword combinatorics, toric geometry, and polyhedral constructions provides a syntactic and geometric framework to study degenerations, coordinate subspace arrangements, and toric degenerations for broad classes of matrix Schubert varieties. This suggests a deep connection between equivariant geometry, commutative algebra, and combinatorics in both finite and infinite contexts.