Complexity of the Zero Set of a Matrix Schubert Ideal

Resumen Técnico: Complejidad del Conjunto Cero de un Ideal de Schubert Matricial

Enunciado del Problema
El artículo investiga la complejidad combinatoria de subvariedades específicas dentro del marco de las $T$-variedades. Una $T$-variedad es una variedad normal equipada con una acción de un toro algebraico $T$. La complejidad de dicha variedad se define como la diferencia entre su dimensión y la dimensión de una órbita $T$ máxima (o equivalentemente, $\dim(X) - \dim(\sigma)$, donde $\sigma$ es el cono de pesos). Una menor complejidad indica que la variedad es más accesible a métodos combinatorios; por ejemplo, una complejidad 0 corresponde a variedades toricas.

Los autores se centran en las variedades de Schubert matriciales $X_w$, introducidas por Fulton, que son variedades afines de matrices $n \times n$ definidas por condiciones de rango sobre submatrices determinadas por una permutación $w \in S_n$. Aunque $X_w$ posee una acción natural de $T \times T$ (donde $T \simeq (\mathbb{C}^*)^n$), su complejidad a menudo se trivializa debido a un gran factor afín $\mathbb{C}^k$. Para abordar esto, los autores estudian la parte "esencial" de la variedad, denotada $Y_w$, definida mediante la descomposición $X_w \cong Y_w \times \mathbb{C}^k$ donde $k$ es máxima. El ideal definitorio de $Y_w$ coincide con el de $X_w$.

El problema central consiste en caracterizar el conjunto de enteros no negativos que pueden realizarse como la complejidad de $Y_w$ para un $n$ fijo $\geq 4$. Trabajos previos establecieron que la complejidad 1 es imposible y que el conjunto de complejidades alcanzables excluye únicamente al 1 cuando $n$ varía sobre múltiplos de 4. Este artículo restringe el alcance a un grupo simétrico fijo $S_n$ para determinar el rango preciso de complejidades alcanzables.

Metodología
Los autores emplean una combinación de geometría algebraica, combinatoria y teoría de grafos:

1. Descomposición Geométrica: Definen $Y_w$ como la proyección de $X_w$ sobre el subespacio lineal generado por las entradas que no se encuentran en el "diagrama noroeste" $NW(w)$. La dimensión de $Y_w$ viene dada por $|L'(w)|$, donde $L'(w)$ es un diagrama sesgado específico derivado del diagrama de Rothe $D(w)$ de la permutación.
2. Acción del Toro y Conos de Pesos: La complejidad $d_w$ de $Y_w$ bajo la acción de $T \times T$ se calcula utilizando la fórmula:
   $$d_w = \dim(Y_w) - \dim(\sigma_w)$$
   donde $\sigma_w$ es el cono de pesos asociado a la acción.
3. Traducción a Teoría de Grafos: El cono de pesos $\sigma_w$ se identifica como el cono de aristas de un grafo bipartito dirigido $G_w$. Los vértices de $G_w$ corresponden a las filas y columnas no vacías del diagrama $L(w)$, y las aristas corresponden a las entradas en $L(w)$.
4. Fórmula de Complejidad: Utilizando la fórmula de dimensión para conos de aristas, la complejidad se expresa como:
   $$d_w = |L'(w)| - |V(G_w)| + |C(G_w)|$$
   donde $|V(G_w)|$ es el número de vértices y $|C(G_w)|$ es el número de componentes conexas. Esto se refina ulteriormente utilizando el número cíclico $\nu(G_w)$ del grafo no dirigido subyacente:
   $$d_w = \nu(G_w) + |\text{dom}(w)| - |D(w)|$$
   donde $\text{dom}(w)$ es la "parte dominante" del diagrama de Rothe.
5. Pruebas Constructivas: Para establecer el rango de complejidades alcanzables, los autores utilizan lemas sobre la modificación de diagramas de Rothe. Específicamente, muestran cómo reemplazar una región del diagrama de una permutación con el diagrama de una permutación más pequeña afecta la complejidad, lo que les permite construir permutaciones con valores de complejidad específicos.

Contribuciones y Resultados Clave

• Complejidad Máxima: El artículo determina la complejidad máxima posible para $Y_w$ con $w \in S_n$ (para $n \geq 4$).

  • Teorema 4.2: La complejidad máxima es $(n-1)(n-3)$.
  • Unicidad: Este máximo se alcanza únicamente mediante la permutación $s_{n-1} = [1, \dots, n-2, n, n-1]$. El grafo asociado $G_w$ para esta permutación es isomorfo al grafo bipartito completo $K_{n-1, n-1}$.

• Valores de Complejidad Alcanzables: El artículo caracteriza el conjunto de todos los enteros $d$ que pueden realizarse como la complejidad de alguna $Y_w$ para un $n$ fijo.

  • Teorema 4.8: Para un $n \geq 4$ fijo, el conjunto de complejidades alcanzables es $\{0, 2, 3, \dots, (n-1)(n-3)\}$.
  • Exclusión del 1: El artículo confirma que la complejidad 1 nunca es alcanzable para ningún $w \in S_n$ (basándose en resultados previos de Escobar–Mészáros y Donten-Bury–Escobar–Portakal).
  • Relleno de Huecos: Los autores demuestran que cada entero entre 0 y el máximo (excluyendo el 1) es alcanzable. Abordan el caso específico de la complejidad 4 para $n=5$ (que no estaba cubierto por su construcción general de intervalos) exhibiendo explícitamente la permutación $12534$.

Significado
El artículo proporciona una clasificación completa del espectro de complejidad para las variedades de Schubert matriciales (específicamente sus partes esenciales $Y_w$) dentro de un grupo simétrico fijo $S_n$. Al establecer que la complejidad puede tomar cualquier valor entero desde 0 hasta el máximo teórico $(n-1)(n-3)$, con la única excepción del 1, los autores clarifican el paisaje combinatorio de estas variedades. Este resultado refina el conocimiento previo, que se limitaba a casos donde $n$ variaba sobre múltiplos de 4. El trabajo conecta las propiedades geométricas de las variedades determinantes con las propiedades estructurales de los grafos bipartitos (específicamente números cíclicos y conos de aristas), ofreciendo una herramienta combinatoria precisa para analizar la estructura de $T$-variedad de las variedades de Schubert matriciales.