Unexpected toric Richardson varieties

Resumen Técnico: Variedades de Richardson Toricas Inesperadas

1. Planteamiento del Problema

Las variedades de Richardson, definidas como la intersección de una celda de Schubert y una celda de Schubert opuesta en la variedad de banderas completa $Fl(n)$, son objetos centrales en geometría algebraica, cálculo de Schubert y álgebras de clusters.

• Contexto conocido: Se sabe que una variedad de Richardson abierta $R_{v,w}$ es una variedad torica bajo la acción del toro estándar $T \subset SL(n)$ (matrices diagonales con determinante 1) si y solo si ciertas condiciones de independencia lineal de raíces se cumplen. En este caso, la dimensión de la variedad es a lo sumo $n-1$.
• La pregunta central: ¿Qué sucede si una variedad de Richardson abierta es isomorfa a un toro algebraico $(\mathbb{C}^*)^d$, pero su dimensión $d$ es mayor que $n-1$? En tal caso, no puede ser torica bajo la acción del toro estándar $T$ (ya que la dimensión del toro estándar es $n-1$). El artículo investiga si estas variedades "inesperadas" (de dimensión $> n-1$) admiten alguna acción de toro que las haga variedades toricas, y cómo se relaciona esto con la estructura combinatoria del intervalo de Bruhat $[v, w]$.

2. Metodología

Los autores emplean una combinación de técnicas de geometría algebraica, teoría de representaciones y combinatoria de posets:

• Descomposición de Deodhar y Parametrización de Marsh-Rietsch: Utilizan la descomposición de Deodhar de las variedades de Richardson y la parametrización explícita de Marsh-Rietsch (MR) para describir las celdas abiertas. Esto permite identificar cuándo una variedad abierta es isomorfa a un toro.
• Teoría de Clusters: Aprovechan el hecho de que las variedades de Richardson abiertas tienen una estructura de cluster. Utilizan resultados sobre variables congeladas (frozen variables) para caracterizar cuándo una variedad de cluster es un toro.
• Geometría Torica y Poliedros: Analizan los poliedros de momento asociados a estas variedades. Estudian la relación entre el poliedro de momento de la variedad cerrada y los poliedros de positroides asociados a las proyecciones en Grassmannianas.
• Gráficos Plabic y Matroides Positroides: Utilizan gráficos plabic (planos, bicolorados) y la teoría de matroides positroides para estudiar las proyecciones de las variedades de Richardson a las Grassmannianas $Gr(k, n)$.
• Combinatoria de Intervalos de Bruhat: Analizan la estructura del intervalo de Bruhat $[v, w]$ en el grupo simétrico $S_n$, enfocándose en la ausencia de subestructuras específicas (coronas 2-crown).

3. Contribuciones y Resultados Clave

A. Caracterización de Variedades Toricas (Teoremas 1.1 y 1.2)
El resultado principal establece una equivalencia fundamental entre la estructura algebraica de la variedad abierta y la cerrada:

• Teorema 1.1: Si la variedad de Richardson abierta $R_{v,w}$ es isomorfa a un toro $T$, entonces la acción de $T$ se extiende a la variedad cerrada $\overline{R}_{v,w}$, haciendo que esta última sea una variedad torica.
• Teorema 1.2: Se presentan cinco condiciones equivalentes para un par de permutaciones $v \leq w$:
  1. La variedad abierta $R_{v,w}$ es un toro.
  2. La variedad cerrada $\overline{R}_{v,w}$ es una variedad torica.
  3. El intervalo de Bruhat $[v, w]$ no contiene subintervalos isomorfos a $S_3$ (una "corona 2" o 2-crown).
  4. El intervalo de Bruhat $[v, w]$ es un retículo (lattice).
  5. El poset de subintervalos de $[v, w]$ es un retículo.

Esto resuelve la Pregunta 1.6 del artículo: la acción del toro en la variedad abierta siempre se extiende a la cerrada cuando la variedad abierta es un toro.

B. Variedades Toricas "Inesperadas"
El artículo identifica y clasifica las variedades de Richardson toricas inesperadas, definidas como aquellas donde $\dim(R_{v,w}) > n-1$.

• Estas variedades son toricas respecto a un toro $T'$ que no se extiende a toda la variedad de banderas $Fl(n)$.
• Se demuestra que existen familias infinitas de tales variedades con dimensiones que crecen como $O(n \log n)$, desafiando la intuición previa de que las variedades toricas en este contexto estaban limitadas a dimensión $n-1$.
• Un ejemplo notable proviene de los intervalos "hipercubo grande" encontrados en literatura reciente, donde el intervalo de Bruhat es un hipercubo de alta dimensión.

C. Poliedros de Momento y Estructura Combinatoria

• Teorema 1.3: El poliedro de momento $\hat{P}(v, w)$ de una variedad de Richardson torica tiene un retículo de caras isomorfo al poset de subintervalos de $[v, w]$. Específicamente, las caras de dimensión $s$ están en biyección con los subintervalos $[v', w']$ tales que $\ell(w') - \ell(v') = s$.
• Corolario 1.4: El poset de subintervalos $Int[v, w]$ es el retículo de caras de un poliedro si y solo si $[v, w]$ no contiene coronas 2-crown.
• Teorema 1.5: El poliedro de momento $\hat{P}(v, w)$ se puede expresar como la suma de Minkowski de transformaciones afines de poliedros de positroides. Esto generaliza resultados conocidos para variedades toricas estándar.

D. Proyecciones a Grassmannianas

• Se demuestra que si $R_{v,w}$ es torica, sus proyecciones a las Grassmannianas $Gr(k, n)$ son variedades de positroides toricas.
• Los gráficos plabic correspondientes a estas proyecciones son bosques (no tienen ciclos), lo cual es una condición combinatoria fuerte que garantiza que la variedad de positroides sea un toro.

4. Significado e Impacto

1. Ampliación del Conocimiento sobre Variedades Toricas: El trabajo rompe la barrera dimensional tradicional ($n-1$) para las variedades de Richardson toricas, mostrando que existen variedades de dimensión arbitrariamente grande que poseen estructura torica bajo acciones de toros no estándar.
2. Conexión Profunda entre Combinatoria y Geometría: Establece un puente riguroso entre la estructura de retículos en los intervalos de Bruhat (combinatoria pura) y la existencia de acciones de toros en variedades algebraicas (geometría). La ausencia de "2-crowns" se convierte en el criterio definitivo para la toricidad.
3. Herramientas para el Cálculo: Proporciona una descripción combinatoria explícita de los poliedros de momento asociados a estas variedades, permitiendo calcular sus invariantes geométricos a partir de la estructura del intervalo de Bruhat.
4. Relación con Estructuras de Cluster: El artículo conecta la dimensión de las variedades de Richardson con el número de variables congeladas en sus estructuras de cluster, ofreciendo una interpretación geométrica de invariantes combinatorios de las álgebras de cluster.
5. Ejemplos Concretos y Familias Infinitas: La construcción de familias infinitas (como los intervalos hipercubo grandes) demuestra que estos fenómenos "inesperados" no son casos patológicos aislados, sino una clase rica y estructurada de variedades.

En conclusión, el artículo proporciona una caracterización completa y combinatoria de cuándo las variedades de Richardson son toricas, revelando una clase de variedades de alta dimensión con propiedades geométricas sorprendentes y una estructura subyacente gobernada por la ausencia de ciertas configuraciones en el orden de Bruhat.