Complexity of the Zero Set of a Matrix Schubert Ideal

Resumo Técnico: Complexidade do Conjunto de Zeros de um Ideal de Schubert Matricial

Enunciado do Problema
O artigo investiga a complexidade combinatória de subvariedades específicas no âmbito das $T$-variedades. Uma $T$-variedade é uma variedade normal equipada com uma ação de um toro algébrico $T$. A complexidade de tal variedade é definida como a diferença entre sua dimensão e a dimensão de uma órbita máxima de $T$ (ou equivalentemente, $\dim(X) - \dim(\sigma)$, onde $\sigma$ é o cone de pesos). Uma complexidade menor indica que a variedade é mais suscetível a métodos combinatórios; por exemplo, complexidade 0 corresponde a variedades toricas.

Os autores focam nas variedades de Schubert matriciais $X_w$, introduzidas por Fulton, que são variedades afins de matrizes $n \times n$ definidas por condições de posto em submatrizes determinadas por uma permutação $w \in S_n$. Embora $X_w$ carregue uma ação natural de $T \times T$ (onde $T \simeq (\mathbb{C}^*)^n$), sua complexidade é frequentemente trivializada por um grande fator afim $\mathbb{C}^k$. Para abordar isso, os autores estudam a parte "essencial" da variedade, denotada $Y_w$, definida pela decomposição $X_w \cong Y_w \times \mathbb{C}^k$, onde $k$ é maximal. O ideal definidor de $Y_w$ coincide com o de $X_w$.

O problema central é caracterizar o conjunto de inteiros não negativos que podem ser realizados como a complexidade de $Y_w$ para um $n \geq 4$ fixo. Trabalhos anteriores estabeleceram que a complexidade 1 é impossível e que o conjunto de complexidades realizáveis exclui apenas o 1 quando $n$ varia sobre múltiplos de 4. Este artigo restringe o escopo a um grupo simétrico fixo $S_n$ para determinar o intervalo preciso de complexidades realizáveis.

Metodologia
Os autores empregam uma combinação de geometria algébrica, combinatória e teoria dos grafos:

1. Decomposição Geométrica: Eles definem $Y_w$ como a projeção de $X_w$ sobre o subespaço linear gerado pelas entradas que não estão no "diagrama noroeste" $NW(w)$. A dimensão de $Y_w$ é dada por $|L'(w)|$, onde $L'(w)$ é um diagrama em forma de quadrado específico derivado do diagrama de Rothe $D(w)$ da permutação.
2. Ação do Toro e Cones de Pesos: A complexidade $d_w$ de $Y_w$ sob a ação de $T \times T$ é calculada usando a fórmula:
   $$d_w = \dim(Y_w) - \dim(\sigma_w)$$
   onde $\sigma_w$ é o cone de pesos associado à ação.
3. Tradução Teórico-Gráfica: O cone de pesos $\sigma_w$ é identificado como o cone de arestas de um grafo bipartido dirigido $G_w$. Os vértices de $G_w$ correspondem às linhas e colunas não vazias do diagrama $L(w)$, e as arestas correspondem às entradas em $L(w)$.
4. Fórmula de Complexidade: Usando a fórmula de dimensão para cones de arestas, a complexidade é expressa como:
   $$d_w = |L'(w)| - |V(G_w)| + |C(G_w)|$$
   onde $|V(G_w)|$ é o número de vértices e $|C(G_w)|$ é o número de componentes conexos. Isso é refinado ainda mais usando o número ciclomático $\nu(G_w)$ do grafo não dirigido subjacente:
   $$d_w = \nu(G_w) + |\text{dom}(w)| - |D(w)|$$
   onde $\text{dom}(w)$ é a "peça dominante" do diagrama de Rothe.
5. Provas Construtivas: Para estabelecer o intervalo de complexidades realizáveis, os autores utilizam lemas relativos à modificação de diagramas de Rothe. Especificamente, eles mostram como substituir uma região do diagrama de uma permutação pelo diagrama de uma permutação menor afeta a complexidade, permitindo-lhes construir permutações com valores de complexidade específicos.

Principais Contribuições e Resultados

• Complexidade Máxima: O artigo determina a complexidade máxima possível para $Y_w$ com $w \in S_n$ (para $n \geq 4$).

  • Teorema 4.2: A complexidade máxima é $(n-1)(n-3)$.
  • Unicidade: Este máximo é alcançado unicamente pela permutação $s_{n-1} = [1, \dots, n-2, n, n-1]$. O grafo associado $G_w$ para esta permutação é isomorfo ao grafo bipartido completo $K_{n-1, n-1}$.

• Valores de Complexidade Realizáveis: O artigo caracteriza o conjunto de todos os inteiros $d$ que podem ser realizados como a complexidade de algum $Y_w$ para um $n$ fixo.

  • Teorema 4.8: Para um $n \geq 4$ fixo, o conjunto de complexidades realizáveis é $\{0, 2, 3, \dots, (n-1)(n-3)\}$.
  • Exclusão de 1: O artigo confirma que a complexidade 1 nunca é realizável para qualquer $w \in S_n$ (baseando-se em resultados anteriores de Escobar–Mészáros e Donten-Bury–Escobar–Portakal).
  • Preenchimento de Lacunas: Os autores demonstram que todo inteiro entre 0 e o máximo (excluindo 1) é realizável. Eles tratam o caso específico da complexidade 4 para $n=5$ (que não foi coberto pela sua construção de intervalo geral) exibindo explicitamente a permutação $12534$.

Significado
O artigo fornece uma classificação completa do espectro de complexidade para variedades de Schubert matriciais (especificamente suas partes essenciais $Y_w$) dentro de um grupo simétrico fixo $S_n$. Ao estabelecer que a complexidade pode assumir qualquer valor inteiro de 0 até o máximo teórico $(n-1)(n-3)$, com a única exceção de 1, os autores esclarecem a paisagem combinatória dessas variedades. Este resultado refina o conhecimento anterior, que se limitava a casos onde $n$ variava sobre múltiplos de 4. O trabalho conecta as propriedades geométricas de variedades determinantes às propriedades estruturais de grafos bipartidos (especificamente números ciclomáticos e cones de arestas), oferecendo uma ferramenta combinatória precisa para analisar a estrutura de $T$-variedades das variedades de Schubert matriciais.