---
title: Initial Complexes of Matrix Schubert Varieties
url: https://www.emergentmind.com/topics/initial-complexes-of-matrix-schubert-varieties
type: topic
---

# Initial Complexes of Matrix Schubert Varieties

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)$ [1508.03445].

## 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 [1508.03445].

## 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\}$ [1508.03445].

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 [1508.03445].

## 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 [1508.03445].

## 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 [1508.03445].

## 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 [2601.02612].

## 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) [2003.13719].

| 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 ([2003.13719])            |

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.

Source: https://www.emergentmind.com/topics/initial-complexes-of-matrix-schubert-varieties