Totally Nonnegative Tropical Flags and the Totally Nonnegative Flag Dressian

Resumen Técnico: Variedades de Banderas Tropicales Totalmente No Negativas y la Dressiana de Banderas Totalmente No Negativa

Planteamiento del Problema
Este artículo investiga la relación entre dos marcos matemáticos distintos aplicados a la variedad de banderas completas: la teoría de la no negatividad total y la geometría tropical. Específicamente, aborda dos preguntas primarias:

1. Caso Real: ¿Puede la parte totalmente no negativa de la variedad de banderas completas, $Fl_n^{\ge 0}$ (definida como el cierre de las banderas con representantes totalmente positivos), caracterizarse simplemente como el conjunto de banderas donde todas las coordenadas de Plücker son no negativas? Si bien esta caracterización es conocida para la variedad grassmanniana, extenderla a la variedad de banderas completas es no trivial debido a la estructura compleja de los menores de Plücker.
2. Caso Tropical: ¿Coinciden la variedad de banderas completa tropical totalmente no negativa ($TrFl_n^{\ge 0}$), que parametriza banderas realizables de espacios lineales tropicales, y la Dressiana de banderas completa totalmente no negativa ($FlDr_n^{\ge 0}$), que parametriza banderas abstractas de espacios lineales tropicales? En general, la Dressiana contiene estrictamente a la variedad tropical; el artículo busca determinar si este contenido colapsa cuando se restringe al lóbulo totalmente no negativo (o positivo).

Metodología
El autor emplea un enfoque paralelo, desarrollando resultados análogos para la variedad de banderas real y su tropicalización simultáneamente. La metodología se basa fuertemente en estructuras combinatorias y parametrizaciones explícitas:

• Parametrización de Marsh-Rietsch: El artículo utiliza la descomposición de celdas de $Fl_n^{\ge 0}$ introducida por Marsh y Rietsch. La variedad se descompone en celdas $R_{v,w}^>$ indexadas por pares de permutaciones $v \le w$ en el orden de Bruhat. Cada celda está parametrizada por un mapa $\Phi_{v,w}$ que involucra productos de matrices elementales $x_i(a)$ y matrices de permutación $\dot{s}_i$.
• Modelos Gráficos (Construcción LGV): Una herramienta central es la construcción de un grafo dirigido pesado $G_{v,w}$ asociado a cada celda. Utilizando el lema de Lindström-Gessel-Viennot (LGV), las coordenadas de Plücker de una bandera en una celda se expresan como sumas sobre colecciones de caminos no intersectantes en $G_{v,w}$. Esto proporciona una interpretación combinatoria de la parametrización.
• Índices Extremales: El artículo introduce el concepto de "coordenadas de Plücker extremales no nulas". Estas son coordenadas específicas indexadas por subconjuntos de $[n]$ derivadas de las bases mínimas y máximas de Gale de la matroid de la bandera subyacente. El autor define un mapa $\Xi$ que intercambia iterativamente elementos en estos índices para recorrer el conjunto de índices extremales.
• Tropicalización: Se analiza la tropicalización de los mapas de parametrización y de las relaciones de Plücker. El artículo demuestra que la tropicalización de la parametrización de Marsh-Rietsch produce una parametrización de las celdas tropicales, y que las relaciones de incidencia de Plücker tropicales (específicamente las relaciones de tres términos) son suficientes para determinar todas las coordenadas a partir de las extremales.

Contribuciones Clave y Resultados

1. Caracterización de la Variedad de Banderas Totalmente No Negativa:
   El artículo demuestra el Teorema 6.24, afirmando que la variedad de banderas completa totalmente no negativa $Fl_n^{\ge 0}$ es exactamente el conjunto de banderas $F \in Fl_n$ tales que todas las coordenadas de Plücker $P_I(F)$ son no negativas.

   • Mecanismo: La prueba se basa en demostrar que, para cualquier bandera con coordenadas de Plücker no negativas, el soporte de la bandera (el conjunto de coordenadas no nulas) forma una "positroid de bandera realizable". El autor construye una celda específica $R_{v,w}^>$ que coincide con este soporte y demuestra que las coordenadas no negativas determinan de manera única los parámetros de la parametrización de Marsh-Riitsch mediante expresiones racionales libres de sustracción (monomios de Laurent) en las coordenadas extremales.

2. Equivalencia de Espacios Tropicales:
   El artículo demuestra el Teorema 6.24$^{trop}$, estableciendo que la variedad de banderas completa tropical totalmente no negativa $TrFl_n^{\ge 0}$ es igual a la Dressiana de banderas completa totalmente no negativa $FlDr_n^{\ge 0}$.

   • Mecanismo: Este resultado refleja el caso real. El autor muestra que cualquier punto en la Dressiana no negativa tiene un soporte correspondiente a una positroid de bandera realizable. Al aplicar el inverso tropical del mapa de parametrización (que involucra sumas y diferencias de coordenadas extremales en lugar de productos y cocientes), se pueden reconstruir los pesos tropicales. Se demuestra que las relaciones de incidencia de Plücker tropicales de tres términos determinan unívocamente todas las demás coordenadas a partir de las extremales, probando que cualquier solución a las relaciones de la Dressiana es realizable.

3. Estructura Combinatoria de las Coordenadas Extremales:
   Una parte significativa del trabajo se dedica a caracterizar las coordenadas de Plücker "extremales".

   • Proposición 6.10: Se demuestra que, para cualquier celda $R_{v,w}^>$, existe una colección única de caminos no intersectantes en $G_{v,w}$ para cada índice extremal, y que esta colección es la unión de una colección de caminos diagonales y una colección de caminos codiciosos (greedy).
   • Independencia Algebraica: El artículo establece que las coordenadas de Plücker extremales no nulas (específicamente un subconjunto $S_{v,w}$) son algebraicamente independientes y generan las otras coordenadas mediante expresiones racionales libres de sustracción. Esto permite la inversión explícita del mapa de parametrización $\Phi_{v,w}$.

Significación y Reivindicaciones
El artículo afirma unificar dos perspectivas sobre las variedades de banderas: la caracterización geométrica de la no negatividad total y el estudio combinatorio de las variedades tropicales.

• Unificación: La principal significación radica en demostrar que la condición de "positividad" (coordenadas de Plücker no negativas) es suficiente para caracterizar la variedad de banderas totalmente no negativa, tal como ocurre con la variedad grassmanniana. Esto resuelve una cuestión respecto a la dependencia de las coordenadas de Plücker de los parámetros de Marsh-Rietsch.
• Coincidencia Tropical: El resultado de que $TrFl_n^{\ge 0} = FlDr_n^{\ge 0}$ se presenta como una generalización del resultado conocido para la variedad grassmanniana (donde la grassmanniana tropical positiva es igual a la Dressiana positiva). El artículo enfatiza que, si bien la Dressiana generalmente contiene puntos no realizables, la restricción totalmente no negativa fuerza la realizabilidad.
• Perspectiva Metodológica: El autor señala que las pruebas para el caso real y el caso tropical son "virtualmente idénticas", lo que sugiere un profundo paralelismo estructural entre la geometría algebraica de la variedad de banderas y su contraparte tropical. El uso de la parametrización de Marsh-Rietsch y la construcción gráfica LGV proporciona un mecanismo combinatorio concreto para comprender estos espacios de alta dimensión.

El artículo no pretende resolver el problema general de caracterizar la variedad de banderas para secuencias de rangos arbitrarios $r$ (más allá de la bandera completa), aunque menciona en la introducción que un trabajo de seguimiento extenderá estos resultados a banderas de rangos consecutivos. El presente trabajo se centra estrictamente en la variedad de banderas completa y su tropicalización.