On the combinatorics of the refined 1-leg DT/PT correspondence

1. Problema e Contesto

Il paper si inserisce nel campo della combinatoria enumerativa, con un focus specifico sulle partizioni piane (plane partitions) e le loro generalizzazioni, in particolare le partizioni piane invertite (reversed plane partitions) e le partizioni piane skew (skew plane partitions).

Il lavoro è motivato dalla necessità di fornire una nuova prospettiva combinatoria alla formula di "wall-crossing" (attraversamento del muro) tra la teoria di Donaldson-Thomas (DT) e quella di Pandharipande-Thomas (PT) per curve locali. In questo contesto geometrico, le serie generatrici delle caratteristiche di Euler topologiche degli schemi di Hilbert (lato DT) e degli spazi dei moduli di coppie stabili (lato PT) sono controllate rispettivamente dalle serie generatrici delle partizioni piane skew e invertite. L'obiettivo principale è dimostrare e generalizzare risultati classici di Bessenrodt e Gansner che collegano l'enumerazione di questi oggetti, offrendo una prova combinatoria alternativa e più trasparente, specialmente per una classe specifica di partizioni chiamate "sottili" (thin partitions).

2. Metodologia

Gli autori sviluppano un approccio puramente combinatorio basato su una nuova decomposizione geometrica dei diagrammi di Young, che chiamano "movimento tettonico" (tectonic movement).

• Partizioni Sottili (Thin Partitions): Viene introdotta una classe di partizioni $\lambda$ definite come "sottili" se soddisfano specifiche disuguaglianze sulle lunghezze dei loro segmenti orizzontali e verticali ($x_1 + \dots + x_n \le x_{n+1}$ e analogamente per $y$). Questa condizione garantisce una struttura geometrica ben comportata.
• Piatte Tettoniche (Tectonic Plates): Il piano $\mathbb{R}^2_{\ge 0}$ viene suddiviso in rettangoli (chiamati tiles all'interno del diagramma e tectonic plates all'esterno) prolungando i segmenti del diagramma di Young fino all'infinito.
• Movimento Tettonico ($\Theta_\lambda$): Viene definita una mappa $\Theta_\lambda$ che sposta le "piatte tettoniche" esterne al diagramma verso nord-ovest. Lo spostamento è calcolato sottraendo le dimensioni del diagramma di Young situato a nord e a ovest della piastra stessa.
  • L'idea centrale è che questo movimento trasforma biunivocamente gli hook esterni di una partizione $\lambda$ in una combinazione di hook esterni della partizione vuota ($\emptyset$) e hook interni della stessa $\lambda$, preservando i "tipi di hook" (coppie di lunghezze braccio e gamba).
• Corrispondenza Hook-to-Strip: Per dimostrare identità più generali, gli autori costruiscono una biiezione tra coppie di (partizione, hook interno) e (partizione, hook esterno) di diverse dimensioni, preservando le posizioni delle "mani" e dei "piedi" degli hook e i loro insiemi di contenuto.

3. Contributi Chiave e Risultati Principali

A. Nuova Prova del Teorema di Bessenrodt (Teorema 3.5)

Gli autori forniscono una prova alternativa del teorema di Bessenrodt per le partizioni sottili. Il teorema stabilisce una biiezione tra l'insieme degli hook esterni di $\lambda$, $H'(\lambda)$, e l'unione degli hook esterni della partizione vuota e degli hook interni di $\lambda$:
$$H'(\lambda) \longleftrightarrow H'(\emptyset) \cup H(\lambda)$$
Questa biiezione preserva i tipi di hook. La prova si basa sul fatto che il movimento tettonico $\Theta_\lambda$ è suriettivo e che le intersezioni delle immagini delle piatte tettoniche generano esattamente la struttura degli hook interni di $\lambda$.

B. Nuova Identità Combinatoria (Teorema 4.1)

Viene stabilita una nuova identità che collega insiemi di hook interni ed esterni di partizioni di dimensioni diverse. Per $d \ge \ell > 0$, esiste una biiezione:
$$S_{d,\ell} \longleftrightarrow S'_{d-\ell, \ell}$$
dove $S_{d,\ell}$ è l'insieme delle coppie (partizione di dimensione $d$, hook interno di lunghezza $\ell$) e $S'_{d-\ell, \ell}$ è l'insieme delle coppie (partizione di dimensione $d-\ell$, hook esterno di lunghezza $\ell$).
Questa biiezione preserva le posizioni delle estremità degli hook e i loro insiemi di contenuto.

C. Identità sulle Serie Generatrici (Corollari 1.4, 1.5 e Proposizione 1.6)

Sfruttando le biiezioni combinatorie, gli autori derivano identità per le serie generatrici pesate:

• Ripristino del Teorema di Sagan: Specializzando le variabili, si recupera il risultato di Sagan che collega le serie generatrici delle partizioni piane invertite e skew.
• Identità Refined: Si ottengono formule chiuse che pesano gli hook in base alle loro lunghezze di braccio ($a$) e gamba ($\ell$), utilizzando variabili $x$ e $y$.
  $$\prod_{(\lambda, \square) \in S_{d+\ell, \ell}} \frac{1}{1 - x^{a(\square)+1} y^{\ell(\square)}} = \left( \prod_{\square'' \in H'(\emptyset)} \frac{1}{1 - x^{a(\square'')+1} y^{\ell(\square'')}} \right)^{|P_d|} \prod_{(\lambda, \square') \in S_{d, \ell}} \frac{1}{1 - x^{a(\square')+1} y^{\ell(\square')}}$$

D. Interpretazione nello Spazio di Fock (Sezione 5)

L'ultimo contributo significativo è l'interpretazione di questi risultati combinatori nel formalismo bosonico/fermionico dello spazio di Fock.

• Gli hook sono mappati in operatori di bosoni liberi ($\alpha_E$) e operatori fermionici ($\psi_k, \psi^*_k$).
• La biiezione "hook-to-strip" viene riformulata come un'identità tra elementi di matrice di operatori bosonici twisted ($\alpha^q_\ell$) tra stati di vuoto associati a diverse partizioni. Questo collega la combinatoria discreta direttamente alla teoria delle rappresentazioni infinite-dimensionali e alla fisica matematica.

4. Significato e Impatto

• Ponte tra Geometria e Combinatoria: Il lavoro fornisce un "ponte" esplicito e costruttivo tra le formule di wall-crossing nella teoria DT/PT (geometria enumerativa) e le identità combinatorie classiche sulle partizioni piane.
• Nuova Strumentazione: L'introduzione del "movimento tettonico" offre un nuovo strumento visivo e algoritmico per manipolare i diagrammi di Young, rendendo trasparenti relazioni che in precedenza richiedevano dimostrazioni più astratte o basate su algoritmi complessi come il jeu de taquin.
• Generalizzazione: Estende i risultati noti (Bessenrodt, Gansner, Sagan) a contesti più raffinati (refined), tenendo conto separatamente delle lunghezze di braccio e gamba, e fornisce nuove identità per l'enumerazione pesata.
• Connessione alla Fisica: L'interpretazione nello spazio di Fock rafforza il legame tra la teoria delle partizioni e la teoria dei campi conformi/topologici, suggerendo che le identità combinatorie sono manifestazioni di simmetrie algebriche sottostanti.

In sintesi, il paper non solo fornisce una nuova prova di risultati noti, ma introduce una metodologia geometrica originale (movimento tettonico) e stabilisce nuove identità combinatorie che arricchiscono la comprensione della corrispondenza DT/PT e della struttura degli hook nei diagrammi di Young.