Almost TQFTs via colored ribbon graphs

Titolo: TQFT Quasi tramite Grafi a Nastro Colorati

Autori: William Davis e Olivia Dumitrescu

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della geometria enumerativa e della teoria dei campi quantistici topologici (TQFT). L'obiettivo principale è generalizzare la classificazione delle TQFT bidimensionali (2D TQFT) e le relazioni di ricorsione per i numeri di Catalan, estendendole oltre la struttura classica delle Algebre di Frobenius.

• Contesto: Le TQFT 2D sono classicamente in corrispondenza biunivoca con le algebre di Frobenius commutative e unitarie. Tuttavia, molte strutture algebriche interessanti (come le algebre quasi-Frobenius o "Nearly Frobenius") possono essere infinite-dimensional o mancare di unità/counit, rendendo inapplicabili le classificazioni standard basate sull'isomorfismo tra un'algebra e il suo duale.
• Motivazione: Esiste un forte legame tra i numeri di Catalan generalizzati, i numeri di Hurwitz e gli invarianti di Gromov-Witten (in particolare le intersezioni di classi cotangenti sullo spazio di moduli $\mathcal{M}_{g,n}$). La ricorsione di Catalan è nota per essere collegata alla "Topological Recursion" di Eynard-Orantin. Gli autori vogliono capire se è possibile "torcere" (twist) la ricorsione di Catalan utilizzando strutture algebriche più generali (quasi-Frobenius) e se questo possa fornire nuove informazioni sulla geometria enumerativa.

2. Metodologia

Gli autori adottano un approccio combinatorio basato sui grafi a nastro colorati (colored ribbon graphs) e sui grafi cellulari (cell graphs), estendendo gli assiomi di contrazione/costruzione degli spigoli introdotti in lavori precedenti (es. [8]).

• Grafica Colorata: Introducono una classificazione dei vertici in tre colori:
  • Rosso (Input): Vertici di ingresso.
  • Blu (Output): Vertici di uscita.
  • Nero (Flusso): Vertici intermedi non colorati.
    Gli spigoli ereditano il colore dai vertici o diventano diretti (flusso) tra input e output.
• Assiomi di Contrazione/Costruzione: Definizione di un insieme di assiomi che governano come le mappe multilineari associate ai grafi si comportano sotto operazioni topologiche:
  1. Contrazione degli spigoli di Input: Simile alla moltiplicazione nell'algebra.
  2. Costruzione degli spigoli di Output: Simile alla comoltiplicazione (coprodotto).
  3. Assiomi di Flusso e Casi Base: Relazioni per i vertici di flusso e mappe fondamentali (unità, counit, identità).
  4. Rimozione di Loop che delimitano un Disco: Un assioma cruciale per le algebre quasi-Frobenius che non possiedono necessariamente un'unità o un counit, permettendo di ignorare loop banali senza alterare la mappa.
• Struttura Algebrica: Utilizzano le Algebre Quasi-Frobenius (Nearly Frobenius Algebras), definite da una moltiplicazione $m$ e un coprodotto $\delta$ che soddisfano la relazione di Frobenius, ma senza richiedere necessariamente l'esistenza di un'unità o di un counit. Viene introdotto l'Applicazione di Eulero $E = m \circ \delta$ come sostituto dell'elemento di Eulero $e$ (che non è definito se manca l'unità).

3. Contributi Chiave

Il paper introduce un formalismo unificato che collega la teoria dei grafi colorati alle TQFT quasi (Almost TQFT).

1. Definizione di Ribbon TQFT per Algebre Quasi-Frobenius:
   Gli autori definiscono una TQFT come un assegnamento di mappe multilineari $\Omega(\gamma)$ a grafi cellulari colorati $\gamma$, soddisfacendo gli assiomi di contrazione degli spigoli. Questo formalismo funziona anche per algebre infinite-dimensional o prive di unità/counit.

2. Classificazione Generale (Teorema 1.1 e 1.2):
   Viene dimostrato che la TQFT associata a un grafo colorato di tipo $(g, n, m)$ (genere $g$, $n$ input, $m$ output) è indipendente dalla struttura specifica del grafo e dipende solo dalla sua topologia.

   • Per $m \ge 1$: La mappa è data da $\Omega(\gamma)(v_1, \dots, v_n) = \delta^{m-1}(E^g(v_1 \cdots v_n))$.
   • Per $m = 0$ (caso con counit): La mappa è data da $\Omega(\gamma)(v_1, \dots, v_n) = \varepsilon(E^g(v_1 \cdots v_n))$.
     Qui $E^g$ indica l'applicazione iterata dell'applicazione di Eulero $g$ volte (corrispondente al genere).

3. Equivalenza con le TQFT Quasi (Almost TQFT):
   Si dimostra che, nel caso di algebre quasi-Frobenius con counit, la classificazione ottenuta tramite gli assiomi sui grafi colorati coincide esattamente con la classificazione delle "Almost TQFT" definita tramite gli assiomi di sewing di Atiyah-Segal (Teorema 4.7). Questo estende i risultati precedenti da [8] e [4] a un contesto più ampio.

4. Ricorsione dei Numeri di Catalan Torcida (Twisted):
   Gli autori applicano questi risultati alla ricorsione dei numeri di Catalan generalizzati. Dimostrano che la ricorsione classica può essere "torcida" dall'Almost TQFT, producendo una nuova relazione di ricorsione (Teorema 8.1) che combina i numeri di Catalan con le mappe algebriche $\varepsilon(E^g(\dots))$.

4. Risultati Principali

• Teorema 1.1 (Classificazione per $m \ge 1$): Per un'algebra quasi-Frobenius $A$ con coprodotto $\delta$ e mappa di Eulero $E$, la TQFT su un grafo colorato di tipo $(g,n,m)$ è data da:
  $$\Omega(\gamma)(v_1, \dots, v_n) = \delta^{m-1}(E^g(v_1 \cdots v_n))$$
  Questo risultato è più generale di quello per le algebre di Frobenius, poiché non richiede l'esistenza di un counit.

• Teorema 1.2 (Classificazione per $m = 0$): Se l'algebra ammette un counit $\varepsilon$, la mappa è:
  $$\Omega(\gamma)(v_1, \dots, v_n) = \varepsilon(E^g(v_1 \cdots v_n))$$
  Questo recupera i risultati noti per le algebre di Frobenius finite-dimensionali come caso particolare.

• Teorema 8.1 (Ricorsione Torcida): Viene fornita una formula esplicita per la ricorsione dei numeri di Catalan generalizzati $C_{g,n}(\vec{\mu})$ quando sono "pesati" da una TQFT quasi. La formula include termini che coinvolgono il coprodotto $\delta$ e l'applicazione di Eulero, generalizzando l'equazione "Cut and Join" classica.

• Numeri di Catalan Colorati: Viene introdotta una nuova nozione di "Numeri di Catalan Colorati" ($C_{g,n,m}$) che contano grafi cellulari con vertici rossi e blu, lasciando aperta la questione se questi soddisfino una ricorsione torcida analoga.

5. Significato e Implicazioni

• Generalizzazione Teorica: Il lavoro supera la limitazione delle algebre di Frobenius classiche, permettendo di trattare strutture algebriche più ampie (quasi-Frobenius) all'interno del quadro delle TQFT. Questo è fondamentale per modellare situazioni in cui l'unità o il counit non sono presenti o definiti.
• Ponte tra Combinatoria e Geometria: Fornisce un nuovo strumento combinatorio (i grafi colorati con assiomi di contrazione) per studiare le intersezioni sullo spazio di moduli $\mathcal{M}_{g,n}$. La ricorsione torcida suggerisce che gli invarianti enumerativi potrebbero essere descritti da strutture algebriche più ricche di quelle finora considerate.
• Connessione con la Topological Recursion: Il lavoro collega esplicitamente la ricorsione di Catalan torcida al formalismo della Topological Recursion, suggerendo che le curve spettrali e le equazioni differenziali quantistiche (quantum curves) associate a questi nuovi numeri potrebbero rivelare nuove strutture nella geometria algebrica.
• Apertura di Nuove Direzioni: L'introduzione dei numeri di Catalan colorati e la domanda sulla loro ricorsione aprono nuove strade di ricerca per comprendere le intersezioni su spazi di moduli più generali (ad esempio, spazi di moduli di curve stabili con punti marcati di diversi "colori" o tipi).

In sintesi, il paper offre una classificazione robusta e unificata per le TQFT su algebre quasi-Frobenius, utilizzando un linguaggio combinatorio basato sui grafi colorati, e applica questo formalismo per generalizzare le relazioni ricorsive fondamentali nella geometria enumerativa.