Real toric manifolds associated with chordal nestohedra

Titel: Real Torische Variëteiten geassocieerd met Chordale Nestohedra

Auteurs: Suyoung Choi en Younghan Yoon (Ajou University, Zuid-Korea)
Trefwoorden: Torische topologie, reële torische variëteiten, chordale nestohedra, poset-topologie, EL-shellability, B-permutaties, Hochschild-variëteiten.

1. Probleemstelling en Context

Het artikel richt zich op de berekening van de rationele Betti-getallen van reële torische variëteiten ($X^R_B$) die geassocieerd zijn met een specifieke klasse van Delzant-polytope, bekend als nestohedra.

• Achtergrond: Een torische variëteit $X$ wordt bepaald door een niet-singulier volledig waaiersysteem. De reële locus $X^R$ (de vaste puntverzameling onder complexe conjugatie) is een reële torische variëteit. Hoewel de Betti-getallen van de complexe variëteit $X_B$ goed begrepen zijn voor chordale nestohedra (uitgedrukt in termen van gewone permutaties), is de berekening van de rationele Betti-getallen van de reële tegenhanger $X^R_B$ aanzienlijk complexer dan die van de $\mathbb{Z}_2$-Betti-getallen.
• Het Kernprobleem: Er ontbrak een expliciete combinatorische formule voor de rationele Betti-getallen van $X^R_B$ voor een algemene chordale bouwset (building set) $B$. Bestaande resultaten (zoals voor Coxeter-variëteiten van type $A_n$) waren beperkt tot specifieke gevallen en maakten gebruik van alternerende permutaties, maar een generalisatie naar willekeurige chordale nestohedra was niet bewezen.

2. Methodologie

De auteurs hanteren een multidisciplinaire aanpak die algebraïsche topologie, poset-theorie en combinatoriek combineert:

1. Poset-topologie en EL-shellability:

   • De auteurs introduceren een specifieke geordende verzameling (poset) $\hat{P}_B$, bestaande uit alle deelverzamelingen $I$ van de indexverzameling $[n+1]$ waarvoor de beperkte bouwset $B|_I$ geen verbonden componenten van oneven orde heeft.
   • Ze bewijzen dat deze poset EL-shellable is (Edge Lexicographically shellable) voor elke chordale bouwset. Dit is een cruciale stap, omdat EL-shellability impliceert dat het ordecomplex homotopisch equivalent is aan een bouquet van sferen.

2. Combinatorische Correspondentie:

   • Er wordt een bijectie gelegd tussen de maximale ketens in de poset $\hat{P}_B$ zonder dalende posities en alternerende B-permutaties.
   • Een B-permutatie is een permutatie waarbij voor elke $i$, het element $x_i$ en het maximum van de voorgaande elementen in dezelfde verbonden component van de beperkte bouwset liggen.
   • Een alternerende B-permutatie voldoet aan de voorwaarde $x_1 > x_2 < x_3 > \dots$.

3. Homologie-berekening:

   • Met behulp van de stelling van Alexander-dualiteit en de Universal Coefficient Theorem, worden de gereduceerde Betti-getallen van de geïnduceerde deelcomplexen van het geneste set-complex ($K_B$) gerelateerd aan de homologie van het ordecomplex van $\hat{P}_B$.
   • De auteurs tonen aan dat voor chordale bouwsets de homologie geconcentreerd is in één specifieke graad, afhankelijk van de grootte van de deelverzameling.

3. Belangrijkste Bijdragen en Resultaten

Hoofdstelling (Theorem 1.1)

Voor een verbonden chordale bouwset $B$ op $[n+1]$, wordt het $k$-de rationele Betti-getal van de reële torische variëteit $X^R_B$ gegeven door:
$$\beta_k(X^R_B) = \sum_{I \in \binom{[n+1]}{2k}} \#(\text{alternerende } B|_I\text{-permutaties})$$
Dit betekent dat het berekenen van de Betti-getallen wordt teruggebracht tot het tellen van specifieke permutaties over alle deelverzamelingen van even grootte.

Specifieke Gevallen en Corollaria

De auteurs passen hun theorema toe op verschillende bekende polytope-classes:

• Permutohedra (Compleet graf): De formule reduceert tot het tellen van alternerende permutaties (Euler zigzag-getallen), wat overeenkomt met eerdere resultaten voor Coxeter-variëteiten van type $A_n$.
• Associahedra (Pad-graf): De Betti-getallen worden uitgedrukt in termen van 312-ontwijkende alternerende permutaties. Dit biedt een nieuw combinatorisch bewijs dat het aantal 312-ontwijkende alternerende permutaties van lengte $2k$ gelijk is aan het $k$-de Catalan-getal.
• Stellohedra (Ster-graf): Een expliciete formule wordt afgeleid voor ster-grafen.
• Hochschild-polytope: De auteurs introduceren en analyseren Hochschild-variëteiten (geassocieerd met Hochschild-polytope). Ze tonen aan dat deze, hoewel ze chordale nestohedra zijn, vaak geen grafische associahedra zijn. Ze leiden een formule af voor de Betti-getallen van reële Hochschild-variëteiten $X^R_{\text{Hoch}(m,n)}$ in termen van verzamelingen $AltHoch(s,r)$.

Grafische Interpretatie

Voor een chordale graf $G$ met een perfecte eliminatie-orde, wordt de $a$-getal $a(G)$ (een grafische invariant die recursief is gedefinieerd) nu direct gekoppeld aan het tellen van alternerende permutaties. Dit transformeert een recursief probleem in een telprobleem.

4. Significatie en Impact

• Generalisatie: Het werk generaliseert bekende resultaten over reële Coxeter-variëteiten naar een brede klasse van torische variëteiten (chordale nestohedra).
• Combinatorische Vereenvoudiging: Het biedt een krachtige methode om complexe topologische invarianten (Betti-getallen) te berekenen via eenvoudige combinatorische tellingen (permutaties).
• Nieuwe Klasse van Variëteiten: Het introduceert en bestudeert reële Hochschild-variëteiten, waarvoor voorheen geen topologische studies bekend waren.
• Open Problemen: De auteurs definiëren een nieuwe klasse van bouwsets, genaamd "venustus" (waarbij de homologie geconcentreerd is in één graad), en stellen de karakterisering hiervan als een open probleem. Ze vermoeden ook dat de rij van Betti-getallen voor venustus bouwsets unimodaal is.

Conclusie

Dit artikel levert een fundamentele bijdrage aan de torische topologie door een expliciete link te leggen tussen de homologie van reële torische variëteiten en de combinatoriek van alternerende permutaties voor chordale nestohedra. De methode is niet alleen theoretisch elegant, maar ook computatievriendelijk, zoals geïllustreerd door de berekeningen voor Hochschild-variëteiten en andere specifieke gevallen.