Totally Nonnegative Tropical Flags and the Totally Nonnegative Flag Dressian

Résumé technique : Drapeaux tropiques totalement non négatifs et le Dressien des drapeaux totalement non négatifs

Énoncé du problème
Cet article étudie la relation entre deux cadres mathématiques distincts appliqués à la variété de drapeaux complets : la théorie de la non-négativité totale et la géométrie tropicale. Plus précisément, il aborde deux questions primaires :

1. Cas réel : La partie totalement non négative de la variété de drapeaux complète, $Fl_n^{\ge 0}$ (définie comme la clôture des drapeaux possédant des représentants totalement positifs), peut-elle être caractérisée simplement comme l'ensemble des drapeaux où tous les coefficients de Plücker sont non négatifs ? Bien que cette caractérisation soit connue pour le Grassmannien, l'étendre à la variété de drapeaux complète est non trivial en raison de la structure complexe des mineurs de drapeaux.
2. Cas tropical : La variété de drapeaux complète tropicale totalement non négative ($TrFl_n^{\ge 0}$), qui paramètre les drapeaux réalisables de variétés linéaires tropicales, et le Dressien de drapeaux complets totalement non négatif ($FlDr_n^{\ge 0}$), qui paramètre les drapeaux abstraits de variétés linéaires tropicales, coïncident-ils ? En général, le Dressien contient strictement la variété tropicale ; l'article cherche à déterminer si ce confinement s'effondre lorsqu'on se restreint au locus totalement non négatif (ou positif).

Méthodologie
L'auteur emploie une approche parallèle, développant des résultats analogues pour la variété de drapeaux réelle et sa tropicalisation simultanément. La méthodologie repose fortement sur des structures combinatoires et des paramétrisations explicites :

• Paramétrisation de Marsh-Rietsch : L'article utilise la décomposition en cellules de $Fl_n^{\ge 0}$ introduite par Marsh et Rietsch. La variété est décomposée en cellules $R_{v,w}^>$ indexées par des paires de permutations $v \le w$ dans l'ordre de Bruhat. Chaque cellule est paramétrée par une application $\Phi_{v,w}$ impliquant des produits de matrices élémentaires $x_i(a)$ et de matrices de permutation $\dot{s}_i$.
• Modèles graphiques (Construction LGV) : Un outil central est la construction d'un graphe orienté pondéré $G_{v,w}$ associé à chaque cellule. En utilisant le lemme de Lindström-Gessel-Viennot (LGV), les coefficients de Plücker d'un drapeau dans une cellule sont exprimés comme des sommes sur des collections de chemins non intersectants dans $G_{v,w}$. Cela fournit une interprétation combinatoire de la paramétrisation.
• Indices extrémaux : L'article introduit le concept de « coefficients de Plücker extrémaux non nuls ». Ce sont des coefficients spécifiques indexés par des sous-ensembles de $[n]$ dérivés des bases de Gale minimale et maximale du matroid de drapeau sous-jacent. L'auteur définit une application $\Xi$ qui échange de manière itérative les éléments de ces indices pour traverser l'ensemble des indices extrémaux.
• Tropicalisation : La tropicalisation des applications de paramétrisation et des relations de Plücker est analysée. L'article démontre que la tropicalisation de la paramétrisation de Marsh-Rietsch produit une paramétrisation des cellules tropicales, et que les relations de Plücker tropicales (spécifiquement les relations d'incidence à trois termes) suffisent à déterminer tous les coefficients à partir des extrémaux.

Contributions clés et résultats

1. Caractérisation de la variété de drapeaux totalement non négative :
   L'article prouve le Théorème 6.24, stipulant que la variété de drapeaux complète totalement non négative $Fl_n^{\ge 0}$ est exactement l'ensemble des drapeaux $F \in Fl_n$ tels que tous les coefficients de Plücker $P_I(F)$ sont non négatifs.

   • Mécanisme : La preuve repose sur la démonstration que pour tout drapeau ayant des coefficients de Plücker non négatifs, le support du drapeau (l'ensemble des coefficients non nuls) forme un « positroïde de drapeau réalisable ». L'auteur construit alors une cellule spécifique $R_{v,w}^>$ correspondant à ce support et démontre que les coefficients non négatifs déterminent de manière unique les paramètres de la paramétrisation de Marsh-Rietsch via des expressions rationnelles sans soustraction (monômes de Laurent) dans les coefficients extrémaux.

2. Équivalence des espaces tropicaux :
   L'article prouve le Théorème 6.24$^{trop}$, établissant que la variété de drapeaux complète tropicale totalement non négative $TrFl_n^{\ge 0}$ est égale au Dressien de drapeaux complets totalement non négatif $FlDr_n^{\ge 0}$.

   • Mécanisme : Ce résultat reflète le cas réel. L'auteur montre que tout point dans le Dressian non négatif possède un support correspondant à un positroïde de drapeau réalisable. En appliquant l'inverse tropical de l'application de paramétrisation (qui implique des sommes et des différences de coefficients extrémaux plutôt que des produits et des quotients), on peut reconstruire les poids tropicaux. Les relations de Plücker d'incidence tropicales à trois termes sont montrées comme déterminant de manière unique tous les autres coefficients à partir des extrémaux, prouvant que toute solution aux relations du Dressian est réalisable.

3. Structure combinatoire des coefficients extrémaux :
   Une partie importante du travail est dédiée à la caractérisation des coefficients de Plücker « extrémaux ».

   • Proposition 6.10 : Il est prouvé que pour toute cellule $R_{v,w}^>$, il existe une collection unique de chemins non intersectants dans $G_{v,w}$ pour chaque indice extrémal, et que cette collection est l'union d'une collection de chemins diagonaux et d'une collection de chemins gloutons (greedy).
   • Indépendance algébrique : L'article établit que les coefficients de Plücker extrémaux non nuls (spécifiquement un sous-ensemble $S_{v,w}$) sont algébriquement indépendants et génèrent les autres coefficients via des expressions rationnelles sans soustraction. Cela permet l'inversion explicite de l'application de paramétrisation $\Phi_{v,w}$.

Signification et affirmations
L'article prétend unifier deux perspectives sur les variétés de drapeaux : la caractérisation géométrique de la non-négativité totale et l'étude combinatoire des variétés tropicales.

• Unification : La principale signification réside dans la démonstration que la condition de « positivité » (coefficients de Plücker non négatifs) est suffisante pour caractériser la variété de drapeaux totalement non négative, tout comme elle le fait pour le Grassmannien. Cela résout une question concernant la dépendance des coefficients de Plücker vis-à-vis des paramètres de Marsh-Rietsch.
• Coïncidence tropicale : Le résultat selon lequel $TrFl_n^{\ge 0} = FlDr_n^{\ge 0}$ est présenté comme une généralisation du résultat connu pour le Grassmannien (où le Grassmannien tropical positif est égal au Dressian positif). L'article souligne que, bien que le Dressian contienne généralement des points non réalisables, la restriction totalement non négative force la réalisabilité.
• Aperçu méthodologique : L'auteur note que les preuves pour les cas réels et tropicaux sont « virtuellement identiques », suggérant un profond parallèle structurel entre la géométrie algébrique de la variété de drapeaux et son contrepartie tropicale. L'utilisation de la paramétrisation de Marsh-Rietsch et de la construction graphique LGV fournit un mécanisme combinatoire concret pour comprendre ces espaces de haute dimension.

L'article ne prétend pas résoudre le problème général de la caractérisation de la variété de drapeaux pour des séquences de rangs $r$ arbitraires (au-delà du drapeau complet), bien qu'il mentionne dans l'introduction qu'un article suivant étendra ces résultats aux drapeaux de rangs consécutifs. Le présent travail se concentre strictement sur la variété de drapeaux complète et sa tropicalisation.