Multigraded Regularity of the Complete Flag Variety

Resumen Técnico: Regularidad Multigraduada de la Variedad de Flag Completa

Planteamiento del Problema
Este artículo aborda el cálculo de la regularidad multigraduada de la variedad de flag completa, $Fl(\mathbb{C}^n)$, bajo la incrustación de Plücker. Mientras que Maclagan y Smith introdujeron la regularidad multigraduada para generalizar la regularidad de Castelnuovo-Mumford a productos de espacios proyectivos, los cálculos explícitos para familias específicas de variedades siguen siendo escasos. Los autores se centran en la variedad de flag completa, una clase de variedades que poseen una rica estructura combinatoria y una graduación múltiple natural inducida por la incrustación de Plücker en un producto de espacios proyectivos $\mathbb{P}^{\binom{n}{1}-1} \times \cdots \times \mathbb{P}^{\binom{n}{n-1}-1}$. La cuestión central es determinar el conjunto de grados múltiples $d \in \mathbb{Z}^{n-1}$ para los cuales la fibra coherente $\iota^*\mathcal{O}_{Fl(\mathbb{C}^n)}$ es $d$-regular, donde $\iota$ denota la incrustación de Plücker.

Metodología
El estudio aprovecha la interacción entre los datos combinatorios y el álgebra conmutativa multigraduada. La principal herramienta teórica es el teorema de Borel-Weil-Bott, que proporciona una descripción combinatoria completa de la cohomología de los haces de líneas en las variedades de flag completas. Específicamente, los autores utilizan el algoritmo de Bott (y su variante de conteo de inversiones) para determinar la anulación de los grupos de cohomología $H^i(F, \mathcal{O}_F(a))$.

La definición de regularidad multigraduada requiere la anulación de los grupos de cohomología $H^i(P, \mathcal{G}(d-c))$ para todo $i > 0$ y todo $c \in \mathbb{N}^{n-1}$ con $|c|=i$. Los autores establecen que la regularidad del ideal definitorio $S/I$ coincide con la regularidad del haz coherente asociado $\iota^*\mathcal{O}_{Fl(\mathbb{C}^n)}$.

Para gestionar la complejidad computacional a medida que $n$ aumenta, el artículo desarrolla relaciones inductivas entre las regiones de regularidad de $Fl(\mathbb{C}^n)$ y $Fl(\mathbb{C}^{n-1})$. Estas relaciones permiten a los autores derivar límites internos y externos para la región de regularidad de $Fl(\mathbb{C}^{n+1})$ basados en la región calculada para $Fl(\mathbb{C}^n)$. Para valores pequeños de $n$, los autores realizan cálculos explícitos utilizando el software Macaulay2, verificando las condiciones de anulación de la cohomología mediante los criterios de conteo de inversiones derivados del teorema de Bott.

Contribuciones Clave y Resultados

1. Límites Inductivos (Teoremas A y B): El artículo demuestra dos proposiciones inductivas críticas respecto a la propagación de la regularidad:

   • Propagación de la No-Regularidad: Si un grado múltiple $a$ no está en la región de regularidad de $Fl(\mathbb{C}^n)$, entonces, para cualquier entero $b$, los grados extendidos $(a, b)$ y $(b, a)$ no están en la región de regularidad de $Fl(\mathbb{C}^{n+1})$. Esto proporciona un método para establecer límites externos.
   • Propagación de la Regularidad: Si $a$ está en la región de regularidad de $Fl(\mathbb{C}^n)$, entonces $(a, b)$ y $(b, a)$ están en la región de regularidad de $Fl(\mathbb{C}^{n+1})$, siempre que $b$ sea suficientemente grande (específicamente $b \geq \dim(Fl(\mathbb{C}^{n+1}))$). Esto proporciona límites internos.

2. Cálculos Explícitos para $n$ Bajo (Teorema A): Los autores proporcionan una descripción completa de los elementos mínimos de la región de regularidad para $n \leq 6$:

   • $n=3$: La región de regularidad es $\mathbb{N}^2$ (elemento mínimo $(0,0)$).
   • $n=4$: Los elementos mínimos son $(1,0,0), (0,1,0), (0,0,1)$. La verificación de estos requiere comprobar 83 condiciones de cohomología.
   • $n=5$: Existen 19 elementos mínimos.
   • $n=6$: Existen 179 elementos mínimos.
     El número de condiciones de cohomología requeridas para verificar un solo elemento crece rápidamente (por ejemplo, 15,503 condiciones para $n=6$), lo que hace necesaria la asistencia computacional.

3. Comportamiento Asintótico (Teorema C): Al analizar el grado total mínimo $m(n) = \min \{|d| : d \in \text{reg}(Fl(\mathbb{C}^n))\}$, los autores establecen límites sobre el crecimiento de la región de regularidad:

   • Límite Inferior: $m(n) \geq \frac{6}{5}n - 6$ para $n \geq 7$.
   • Límite Superior: $m(n) \leq \frac{n^3 - n - 24}{6}$.
     Esto demuestra que el crecimiento del grado total mínimo es al menos lineal y como máximo cúbico en $n$.

4. Regularidad Estándar Graduada: El artículo también calcula la regularidad graduada estándar de la variedad de flag cuando se incrusta en un único espacio proyectivo mediante la incrustación de Segre de la imagen de Plücker. Se muestra que la regularidad es $d-1$, donde $d = \dim(Fl(\mathbb{C}^n)) = \binom{n}{2}$.

Significado y Reivindicaciones
El artículo afirma proporcionar la primera descripción completa de la regularidad multigraduada para la variedad de flag completa para un rango de $n$, yendo más allá de las definiciones teóricas hacia resultados computacionales explícitos. Destaca la dificultad del problema, señalando que el número de condiciones a verificar crece factorialmente con $n$.

Su importancia radica en tender un puente entre la geometría algebraica combinatoria y el álgebra conmutativa multigraduada. Al utilizar la estructura combinatoria de la variedad de flag (específicamente el orden de Bruhat y el teorema de Borel-Weil-Bott), los autores demuestran que la regularidad multigraduada está, de hecho, codificada en datos combinatorios, de manera similar a cómo la regularidad de Castelnuovo-Mumford está codificada para las variedades de Grassmann y las variedades de Schubert.

Los autores se mantienen modestos respecto al caso general para un $n$ arbitrario. Aunque conjeturan que el crecimiento de $m(n)$ es cuadrático (específicamente $m(n) = \binom{n-2}{2}$ para $n \geq 4$) y que la región de regularidad a lo largo de la diagonal $(a, \dots, a)$ está determinada por $a \geq \frac{n-3}{2}$, estas siguen siendo preguntas abiertas. El artículo no pretende haber resuelto el problema para todo $n$, sino que establece un marco de límites inductivos y proporciona un conjunto de datos concretos para dimensiones bajas que sugiere el comportamiento asintótico.