Real toric manifolds associated with chordal nestohedra

Titolo: Varietà Toriche Reali Associate a Nestoedri Corde (Chordal Nestohedra)

1. Problema e Contesto

Il lavoro si inserisce nel campo della topologia torica e della geometria algebrica, focalizzandosi sul calcolo dei numeri di Betti razionali delle varietà toriche reali ($X^R_B$) associate a una specifica classe di poliedri noti come nestoedri (o nestohedra).

• Contesto: Una varietà torica complessa $X$ è determinata da un ventaglio non singolare completo. La sua "parte reale" $X^R$, definita come l'insieme dei punti fissi sotto l'involuzione complessa coniugata, è una varietà torica reale.
• La sfida: Mentre i numeri di Betti razionali delle varietà toriche complesse sono ben compresi e legati ai numeri di facce del poliedro associato, il calcolo dei numeri di Betti razionali per le varietà reali è significativamente più complesso. Generalmente, richiede la somma dei numeri di Betti ridotti di sottocomplessi indotti da un complesso simpliciale (il complesso dei set annidati) rispetto a un'applicazione caratteristica mod 2.
• L'obiettivo specifico: Determinare una formula combinatoria esplicita per i numeri di Betti razionali di $X^R_B$ quando il poliedro associato è un nestoedro corde (chordal nestohedron), ovvero associato a un "building set" (insieme di costruzione) corde.

2. Metodologia

Gli autori adottano un approccio che combina topologia dei poset, teoria dei grafi e combinatoria delle permutazioni. La metodologia si articola in tre fasi principali:

1. Topologia del Poset e EL-Shellability:

   • Viene introdotto un poset specifico $\hat{P}_B$ costituito da tutti i sottoinsiemi $I$ dell'insieme di vertici tali che il building set ristretto $B|_I$ non ammetta componenti connesse di ordine dispari.
   • Il contributo metodologico cruciale è la dimostrazione che, per un building set corde, il poset $\hat{P}_B$ è EL-shellable (shellabile secondo l'ordinamento lessicografico degli archi). Questa proprietà garantisce che il complesso dell'ordine associato sia omotopicamente equivalente a un bouquet di sfere di dimensione specifica.

2. Corrispondenza con Permutazioni Alternanti:

   • Sfruttando la shellabilità, gli autori stabiliscono una corrispondenza biunivoca tra le catene massimali del poset $\hat{P}_B$ (che non hanno posizioni decrescenti rispetto all'etichettatura EL) e le permutazioni B-alternanti.
   • Una permutazione $B$ è definita come una permutazione che rispetta la struttura di connessione del building set. Una permutazione è "alternante" se segue il pattern $x_1 > x_2 < x_3 > \dots$.
   • Viene dimostrato che il numero di tali permutazioni alternanti calcola esattamente il numero di sfere nel bouquet omotopico, e quindi il numero di Betti ridotto.

3. Dualità e Calcolo dei Numeri di Betti:

   • Utilizzando la dualità di Alexander e il Teorema dei Coefficienti Universali, gli autori collegano i numeri di Betti della varietà reale $X^R_B$ ai numeri di Betti ridotti dei sottocomplessi indotti $(K_B)_I$.
   • Grazie alla proprietà di "flagness" (ogni clique del 1-scheletro è una faccia) dei complessi di set annidati per building set corde, il calcolo si riduce a sommare i numeri di permutazioni alternanti su tutti i sottoinsiemi di cardinalità pari.

3. Risultati Principali

• Teorema Principale (Teorema 1.1):
  Per un building set corde connesso $B$ su $[n+1]$, il $k$-esimo numero di Betti razionale della varietà torica reale $X^R_B$ è dato da:
  $$\beta_k(X^R_B) = \sum_{I \in \binom{[n+1]}{2k}} \#(\text{permutazioni } B|_I \text{ alternanti su } I)$$
  Questo risultato trasforma un problema topologico complesso in un problema di conteggio combinatorio.

• Applicazioni a Casi Specifici (Corollari ed Esempi):

  • Permutoedri (Varietà di Coxeter di tipo $A_n$): Il teorema recupera la formula nota che lega i numeri di Betti ai numeri zigzag di Eulero (permutazioni alternanti ordinarie).
  • Associedri (Grafi a cammino): Per i grafi a cammino ($P_{n+1}$), i numeri di Betti sono espressi tramite permutazioni alternanti che evitano il pattern 312. Questo fornisce una nuova prova combinatoria del fatto che il numero di tali permutazioni di lunghezza $2k$ è il numero di Catalan $C_k$.
  • Stelloedri (Grafi a stella): Viene fornita una formula esplicita basata su permutazioni che iniziano con il vertice centrale.
  • Poliedri di Hochschild: Gli autori introducono e calcolano i numeri di Betti per le varietà toriche reali associate ai poliedri di Hochschild (inclusi i poliedri di Stanley-Pitman), una classe che non è generalmente un graph associahedron. Viene definita la classe $\text{AltHoch}(s,r)$ e si dimostra che per certi parametri i numeri di Betti si stabilizzano.

• Controesempi e Limiti:
  Viene dimostrato che la condizione di "corde" (chordal) è necessaria. Per grafi non corde (come i cicli $C_n$ per $n \ge 5$), la formula basata sulle permutazioni alternanti non vale, poiché il numero di Betti calcolato topologicamente differisce dal conteggio delle permutazioni.

4. Contributi Chiave

1. Generalizzazione: Estende i risultati noti sulle varietà di Coxeter reali (tipo $A_n$) a una vasta famiglia di varietà toriche reali associate a poliedri più generali (nestoedri corde).
2. Nuova Classe di Poliedri: Introduce e studia sistematicamente i poliedri di Hochschild nel contesto della topologia torica reale, fornendo i primi calcoli espliciti dei loro numeri di Betti.
3. Strumento Combinatorio: Introduce il concetto di permutazione $B$-alternante come strumento fondamentale per calcolare l'omologia razionale di varietà reali, trasformando la topologia in un problema di enumerazione.
4. Proprietà di Shellability: Dimostra che il poset dei sottoinsiemi con componenti pari per building set corde è EL-shellable, fornendo un esempio non banale di complessi shellabili che sorgono naturalmente in geometria.

5. Significato e Implicazioni

• Semplificazione Computazionale: Il lavoro offre un metodo efficiente per calcolare i numeri di Betti razionali, evitando calcoli omologici diretti su complessi simpliciali di grandi dimensioni, sostituendoli con algoritmi di conteggio di permutazioni.
• Connessione Interdisciplinare: Rafforza il legame tra topologia algebrica (omologia di varietà reali), teoria dei grafi (grafi corde, ordinamenti di eliminazione perfetta) e combinatoria (permutazioni, numeri di Catalan, numeri di Eulero).
• Problemi Aperti:
  • Gli autori definiscono una nuova classe di building set chiamati "venustus", per i quali l'omologia è concentrata in un singolo grado. Chiedono la caratterizzazione di questa classe.
  • Si ipotizza che la sequenza dei numeri di Betti per varietà toriche reali associate a building set "venustus" sia unimodale (confermando questo per i permutoedri).
  • Viene sollevato il problema di descrivere la struttura moltiplicativa dell'anello di coomologia razionale in termini di permutazioni alternanti, un passo successivo rispetto alla semplice determinazione dei numeri di Betti.

In sintesi, il paper fornisce una teoria unificata e potente per l'analisi topologica di una vasta classe di varietà toriche reali, risolvendo il problema del calcolo dei numeri di Betti razionali attraverso una elegante corrispondenza combinatoria.