Permutahedra, Lusztig varieties, degenerations, and subdivisions

Technische Samenvatting: Permutahedra, Lusztig-variëteiten, Degeneraties en Subdivisies

Probleemstelling
Het artikel behandelt de geometrische en combinatorische relatie tussen Lusztig-variëteiten (een generalisatie van Hessenberg-variëteiten) en het permutahedron. Specifiek wordt getracht de decompositie van de permutahedrale variëteit $\text{Perm} \subset G/B$ in Richardson-variëteiten te begrijpen. Eerdere resultaten van Anderson–Tymoczko en Harada–Horiguchi–Masuda–Park (HHMP) hebben vastgesteld dat de cohomologieklasse $[\text{Perm}]$ een som is van Richardson-klassen en dat het permutahedron $\Pi$ een dissectie toelaat in Bruhat-intervalpolytopen. Deze resultaten werden echter afgeleid via combinatorica of via specifieke degeneraties die de geometrische oorsprong van de polytopale subdivisie niet volledig verklaarden. Het centrale probleem is het construeren van een ingebedde, torus-equivariante degeneratie van Lusztig-variëteiten naar verenigingen van Richardson-variëteiten die simultaan deze cohomologische formules verklaart en een polyhedrale subdivisie van het momentpolytoop induceert. Een secundaire uitdaging is bepalen of deze subdivisies regulier zijn (geïnduceerd door een hoogtefunctie), een eigenschap die gewoonlijk geassocieerd wordt met Gröbner-degeneraties, ondanks het feit dat de constructie van de auteurs geen Gröbner-degeneratie is.

Methodologie
De auteurs maken gebruik van een combinatie van algebraïsche meetkunde, combinatorische representatietheorie en convexe meetkunde:

1. Degeneratieconstructie: De auteurs construeren een ingebedde degeneratie van een Lusztig-variëteit $Y_w(t)$ (waarbij $t$ een algemeen torus-element is) naar een gereduceerde vereniging van Richardson-variëteiten $X_w = \bigcup \{X_{uw^{-1}}^u \mid uw^{-1} \text{ is lengte-additief}\}$. Dit wordt bereikt door een vlakke familie van dubbele Schubert-variëteiten te snijden met een transversale doorsnede gedefinieerd door het element $t$.
2. Torische Degeneratietheorie: Zij stellen een algemene stelling op (Stelling 3.1) die stelt dat elke semitorische degeneratie van een projectieve torische variëteit $Y$ naar een vereniging van componenten $\bigcup X_i$ een subdivisie induceert van het momentpolytoop van $Y$ in de momentpolytoop van de $X_i$. Cruciaal is dat zij dit bewijzen zonder de vereiste dat de degeneratie een Gröbner-degeneratie moet zijn, waarbij zij vertrouwen op Duistermaat–Heckman-maten en Geometric Invariant Theory (GIT) quotients om te garanderen dat de polytoop een subdivisie vormen (disjuncte interieurs) in plaats van slechts een dissectie.
3. Combinatorische Analyse: Voor het specifieke geval waar de Lusztig-variëteit de permutahedrale variëteit is (d.w.z. $w$ is een Coxeter-element), analyseren de auteurs de resulterende decompositie van het permutahedron in Bruhat-intervalpolytoop $\Pi_{uc}^u$.
4. Regulariteitsbewijzen: Om te bewijzen dat de subdivisies regulier zijn, construeren de auteurs expliciet hoogtefuncties $h_c$ op de knopen van het permutahedron.
   • In Type A definiëren zij $h_c$ met behulp van "rechtermost subexpressies" en interpreteren zij de gewichten via paden in een rooster en skew-vormen in een grid. Zij verifiëren de coplanariteit en de lokale vouwcondities die vereist zijn voor regulariteit.
   • In Typen B en C maken zij gebruik van de "vouwtechniek" (folding), waarbij het Type C-probleem naar Type A wordt gemapt via een inbedding van de Weyl-groep $W_C \hookrightarrow S_{2n}$, waardoor de regulariteit van het Type A-geval wordt geërfd.

Belangrijkste Bijdragen en Resultaten

• Theorem A (Degeneratie van Lusztig-variëteiten): De auteurs bewijzen dat voor een algemeen $t \in T$, de Lusztig-variëteit $Y_w(t)$ degradeert naar de gereduceerde vereniging van Richardson-variëteiten $X_{uw^{-1}}^u$ waar $uw^{-1}$ lengte-additief is. Dit biedt een geometrisch bewijs voor de cohomologieklasse-formules van Lusztig-variëteiten, waarmee de resultaten van Anderson–Tymoczko en Kim worden uitgebreid.
• Theorem B (K-theorie en Cohomologie): Zij leiden expliciete formules af voor de cohomologie- en K-theorieklassen van de permutahedrale variëteit $[\text{Perm}]$ als sommen over lengte-additieve producten die een Coxeter-element $c$ bevatten. De K-klasse formule bevat een gesigneerde som over intervallen $[y, z]$ die niet bevat zijn in een enkele coset van een maximale paraboolsubgroep.
• Theorem C (Polytopale Subdivisie): De auteurs bewijzen dat de degeneratie van de permutahedrale variëteit een subdivisie (niet louter een dissectie) induceert van het $W$-permutahedron $\Pi$ in Bruhat-intervalpolytoop $\{\Pi_{uc}^u \mid uc \text{ lengte-additief}\}$. Dit generaliseert de HHMP-decompositie naar willekeurige Coxeter-elementen en typen.
• Regulariteit in Typen A, B, C: Ondanks dat de degeneratie niet Gröbner is (omdat er geen grotere torus werkt op de omringende ruimte $G/B$), bewijzen de auteurs dat de resulterende subdivisies regulier zijn.
  • In Type A bieden zij een expliciete hoogtevector $h_c$ die afgeleid is van de rechtermost subexpressie van permutaties.
  • In Typen B en C leiden zij de regulariteit af via de vouw-afbeelding van Type A.
• Connectie met Tropische Meetkunde: De reguliere subdivisies in Type A komen overeen met maximale conen in de positieve tropische flag-variëteit (of de positieve flag Dressian). Het artikel stelt vast dat de specifieke geconstrueerde subdivisies overeenkomen met $2^{n-2}$ (of meer, afhankelijk van $c$) maximale conen in deze fan.
• Cel-telling: De auteurs analyseren het aantal maximale cellen in deze subdivisies. Zij tonen aan dat dit aantal afhangt van de keuze van het Coxeter-element $c$, variërend van de Euler-getallen (minimum) tot $(n-1)!$ (maximum), en relateren dit aan het aantal lineaire extensies van een specifieke poset $\succsim_c$.

Betekenis en Claims
Het artikel claimt verschillende uiteenlopende resultaten uit de algebraïsche combinatorica en meetkunde te verenigen:

1. Geometrische Unificatie: Het biedt één enkel geometrisch mechanisme (de ingebedde degeneratie van Lusztig-variëteiten) dat zowel de cohomologische decompositie van de permutahedrale variëteit als de combinatorische dissectie van het permutahedron verklaart.
2. Voorbij de Gröbner-theorie: Een belangrijke theoretische bijdrage is het bewijs dat niet-Gröbner, torus-equivariante degeneraties van torische variëteiten nog steeds reguliere polytopale subdivisies kunnen opleveren. Dit daagt de intuïtie uit dat regulariteit strikt verbonden is aan Gröbner-degeneraties.
3. Combinatorisch Inzicht: Door de subdivisies te koppelen aan de positieve flag Dressian en tropische flag-variëteiten, biedt het papier nieuwe inzichten in de structuur van deze tropische objecten, specifiek door een concrete beschrijving te geven van bepaalde maximale conen en hun geassocieerde cel-aantallen.
4. Generalisatie: De resultaten breiden de bekende Type A-fenomenen uit naar willekeurige Coxeter-elementen en naar Typen B en C, wat de robuustheid van de relatie tussen Lusztig-variëteiten en permutahedra over verschillende Lie-typen heen aantoont.

De auteurs blijven bescheiden over het Kac-Moody-analoog (Sectie 7) en merken op dat hoewel er een conjectuur bestaat voor een lokaal eindige subdivisie van het momentpolytoop van Kac-Moody flag-variëteiten, significante obstructies (zoals het ontbreken van een "algemeen genoeg" punt met een volledig momentpolytoop-orbiet) een directe uitbreiding van hun huidige methoden naar de oneindig-dimensionale setting verhinderen.