Multigraded Regularity of the Complete Flag Variety

Resumo Técnico: Regularidade Multigraduada da Variedade de Flag Completa

Enunciado do Problema
Este artigo aborda o cálculo da regularidade multigraduada da variedade de flag completa, $Fl(\mathbb{C}^n)$, sob a imersão de Plücker. Embora Maclagan e Smith tenham introduzido a regularidade multigraduada para generalizar a regularidade de Castelnuovo-Mumford para produtos de espaços projetivos, os cálculos explícitos para famílias específicas de variedades permanecem escassos. Os autores focam na variedade de flag completa, uma classe de variedades que possui uma rica estrutura combinatória e uma gradação multigraduada natural induzida pela imersão de Plücker em um produto de espaços projetivos $\mathbb{P}^{\binom{n}{1}-1} \times \cdots \times \mathbb{P}^{\binom{n}{n-1}-1}$. A questão central é determinar o conjunto de multidegrees $d \in \mathbb{Z}^{n-1}$ para os quais o feixe coerente $\iota^*\mathcal{O}_{Fl(\mathbb{C}^n)}$ é $d$-regular, onde $\iota$ denota a imersão de Plücker.

Metodologia
O estudo utiliza a interdependência entre dados combinatórios e álgebra comutativa multigraduada. A principal ferramenta teórica é o teorema de Borel-Weil-Bott, que fornece uma descrição combinatória completa da cohomologia de feixes de linhas em variedades de flag completas. Especificamente, os autores utilizam o algoritmo de Bott (e sua variante de contagem de inversões) para determinar o desaparecimento dos grupos de cohomologia $H^i(F, \mathcal{O}_F(a))$.

A definição de regularidade multigraduada requer o desaparecimento dos grupos de cohomologia $H^i(P, \mathcal{G}(d-c))$ para todo $i > 0$ e todo $c \in \mathbb{N}^{n-1}$ com $|c|=i$. Os autores estabelecem que a regularidade do ideal definidor $S/I$ coincide com a regularidade do feixe coerente associado $\iota^*\mathcal{O}_{Fl(\mathbb{C}^n)}$.

Para gerenciar a complexidade computacional conforme $n$ aumenta, o artigo desenvolve relações indutivas entre as regiões de regularidade de $Fl(\mathbb{C}^n)$ e $Fl(\mathbb{C}^{n-1})$. Essas relações permitem que os autores derivem limites internos e externos para a região de regularidade de $Fl(\mathbb{C}^{n+1})$ baseando-se na região calculada para $Fl(\mathbb{C}^n)$. Para valores pequenos de $n$, os autores realizam cálculos explícitos usando o software Macaulay2, verificando as condições de desaparecimento de cohomologia via os critérios de contagem de inversões derivados do teorema de Bott.

Contribuições Principais e Resultados

1. Limites Indutivos (Teoremas A e B):
   O artigo prova duas proposições indutivas críticas sobre a propagação da regularidade:

   • Propagação da Não-Regularidade: Se um multidegree $a$ não está na região de regularidade de $Fl(\mathbb{C}^n)$, então, para qualquer inteiro $b$, os graus estendidos $(a, b)$ e $(b, a)$ não estão na região de regularidade de $Fl(\mathbb{C}^{n+1})$. Isso fornece um método para estabelecer limites externos.
   • Propagação da Regularidade: Se $a$ está na região de regularidade de $Fl(\mathbb{C}^n)$, então $(a, b)$ e $(b, a)$ estão na região de regularidade de $Fl(\mathbb{C}^{n+1})$, desde que $b$ seja suficientemente grande (especificamente $b \geq \dim(Fl(\mathbb{C}^{n+1}))$). Isso fornece limites internos.

2. Cálculos Explícitos para Baixo $n$ (Teorema A):
   Os autores fornecem uma descrição completa dos elementos minimais da região de regularidade para $n \leq 6$:

   • $n=3$: A região de regularidade é $\mathbb{N}^2$ (elemento minimal $(0,0)$).
   • $n=4$: Os elementos minimais são $(1,0,0), (0,1,0), (0,0,1)$. A verificação desses elementos requer a checagem de 83 condições de cohomologia.
   • $n=5$: Existem 19 elementos minimais.
   • $n=6$: Existem 179 elementos minimais.
     O número de condições de cohomologia necessárias para verificar um único elemento cresce rapidamente (por exemplo, 15.503 condições para $n=6$), necessitando de assistência computacional.

3. Comportamento Assintótico (Teorema C):
   Ao analisar o grau total mínimo $m(n) = \min \{|d| : d \in \text{reg}(Fl(\mathbb{C}^n))\}$, os autores estabelecem limites para o crescimento da região de regularidade:

   • Limite Inferior: $m(n) \geq \frac{6}{5}n - 6$ para $n \geq 7$.
   • Limite Superior: $m(n) \leq \frac{n^3 - n - 24}{6}$.
     Isso demonstra que o crescimento do grau total mínimo é pelo menos linear e no máximo cúbico em $n$.

4. Regularidade de Grau Padrão:
   O artigo também calcula a regularidade de grau padrão da variedade de flag quando imersa em um único espaço projetivo via a imersão de Segre da imagem de Plücker. A regularidade é mostrada como sendo $d-1$, onde $d = \dim(Fl(\mathbb{C}^n)) = \binom{n}{2}$.

Significância e Alegações
O artigo afirma fornecer a primeira descrição completa da regularidade multigraduada para a variedade de flag completa para um intervalo de $n$, indo além das definições teóricas para resultados computacionais explícitos. O texto destaca a dificuldade do problema, observando que o número de condições para verificação cresce fatorialmente com $n$.

A significância reside na ponte entre a geometria algébrica combinatória e a álgebra comutativa multigraduada. Ao utilizar a estrutura combinatória da variedade de flag (especificamente a ordem de Bruhat e o teorema de Borel-Weil-Bott), os autores demonstram que a regularidade multigraduada é, de fato, codificada em dados combinatórios, de forma semelhante a como a regularidade de Castelnuovo-Mumford é codificada para Grassmannianas e variedades de Schubert.

Os autores mantêm-se modestos quanto ao caso geral para um $n$ arbitrário. Embora conjecturem que o crescimento de $m(n)$ seja quadrático (especificamente $m(n) = \binom{n-2}{2}$ para $n \geq 4$) e que a região de regularidade ao longo da diagonal $(a, \dots, a)$ seja determinada por $a \geq \frac{n-3}{2}$, estas permanecem como questões em aberto. O artigo não pretende ter resolvido o problema para todos os $n$, mas sim estabeleceu um arcabouço de limites indutivos e forneceu um conjunto concreto de dados para baixas dimensões que sugere o comportamento assintótico.