Ribbon graphs and meromorphic functions

Titolo: Grafi a Nastro e Funzioni Meromorfe

Autore: Boris Shapiro

---

1. Il Problema e il Contesto

Il lavoro esplora l'interazione profonda tra la topologia delle superfici di Riemann compatte e la combinatoria dei grafi a nastro (ribbon graphs) immersi su di esse, attraverso la lente delle funzioni meromorfe.

Il problema centrale si articola in due direzioni complementari:

1. Diretta: Data una superficie di Riemann compatta $Y$ di genere $g$ e una funzione meromorfa $\phi: Y \to \mathbb{CP}^1$, come si comporta l'immagine di un grafo a nastro $\Gamma \subset Y$ (che evita i punti critici di $\phi$)? In particolare, qual è il numero minimo di auto-intersezioni del grafo immerso $\phi(\Gamma)$ nel piano complesso proiettivo?
2. Inversa: Data un'immersione di un grafo astratto $\Theta$ in $\mathbb{CP}^1$, è possibile ricostruire una superficie di Riemann $Y$ e una funzione meromorfa $\phi$ tali che l'immagine di un grafo a nastro su $Y$ coincida con l'immersione data?

L'obiettivo è comprendere quanto la topologia della superficie ($g$) sia codificata nella combinatoria del grafo e nel numero delle sue auto-intersezioni quando proiettato sulla sfera.

2. Metodologia

L'autore utilizza un approccio che combina topologia algebrica, teoria dei grafi e geometria complessa:

• Struttura dei Grafi a Nastro: Un grafo a nastro è definito come un multigrafo astratto con un ordine ciclico sugli spigoli incidenti a ogni vertice. Questa struttura permette di "ispessire" il grafo per ottenere una superficie orientata chiusa $Y_\Gamma$.
• Grafi Spazianti (Spanning Graphs): Si considerano grafi che "spaziano" la superficie $Y$, ovvero il cui complementare è una unione disgiunta di dischi topologici. Questi grafi codificano efficientemente la topologia di $Y$.
• Costruzione Diretta: Si analizza l'immagine $\phi(\Gamma)$ di un grafo generico sotto una mappa meromorfa. Si definisce $\sharp([\Gamma], \phi)$ come il numero minimo di auto-intersezioni trasverse per una classe di equivalenza di grafi.
• Costruzione Inversa (Teorema di Stölow): Si parte da un'immersione di un grafo in $\mathbb{CP}^1$. Utilizzando una generalizzazione della costruzione di Seifert per le curve chiuse, si costruisce una superficie di Riemann $Y$ e una mappa di rivestimento ramificato topologico. Il teorema di Stölow garantisce poi l'esistenza di una struttura complessa su $Y$ che rende la mappa meromorfa.
• Analisi Combinatoria: Si studiano i limiti inferiori del numero di intersezioni in relazione al genere della superficie $g(Y)$ e al numero di incrocio planare del grafo sottostante $cr(G)$.

3. Risultati Chiave e Contributi

A. Flessibilità della Topologia vs. Combinatoria

• Proposizione 2.1: Per una superficie di genere $g$, esistono grafi a nastro spazianti il cui grafo astratto sottostante ha un genere di grafo $g'$ arbitrario tale che $0 \le g' \le g$.
  • Implicazione: Il genere della superficie non è rigidamente determinato dalla combinatoria del grafo sottostante. In particolare, è possibile avere grafi planari ($g'=0$) che spaziano una superficie di genere $g > 0$. Questo sfata l'idea intuitiva che il numero di intersezioni dipenda solo dal genere della superficie.

B. Limiti Inferiori per le Auto-Intersezioni

L'autore stabilisce limiti inferiori rigorosi per il numero di auto-intersezioni $\sharp([\Gamma], \phi)$:

• Proposizione 2.7: $\sharp([\Gamma], \phi) \ge g(Y)$. Se la superficie è la sfera di Riemann ($g=0$), il numero minimo è 0.
• Proposizione 2.8: Il limite inferiore è in realtà la massima tra il genere della superficie e il numero di incrocio planare del grafo sottostante:
  $$\sharp([\Gamma], \phi) \ge \max\{g(Y), cr(G)\}$$
  • Esempio: Su un toro ($g=1$), se si considera un grafo come $K_7$ (che ha $cr(K_7)=9$), il numero di intersezioni sarà almeno 9, non 1.
• Corollario 2.11: L'uguaglianza $\sharp([\Gamma], \phi) = g(Y)$ vale solo se il grafo sottostante ha un numero di incrocio planare $cr(G) \le g(Y)$. Questo rende il caso dei grafi planari ($cr(G)=0$) il regime naturale per cercare l'uguaglianza con il genere.

C. Costruzione Inversa e Rivestimenti Ramificati

• Proposizione 2.13: Ogni immersione di un grafo multigrafo in $\mathbb{CP}^1$ induce una struttura di grafo a nastro e dà origine a una superficie di Riemann compatta $Y$ con una funzione meromorfa $\phi$ tale che l'immagine del grafo coincida con l'immersione data.
• Proposizione 2.18: Il grado del rivestimento ramificato non determina il numero di punti di diramazione. Il teorema di Riemann-Hurwitz fissa la somma totale della ramificazione, ma non la sua distribuzione tra i valori di diramazione distinti.

D. Grafi Planari e Colorazione

Per i grafi trivalenti planari, l'autore introduce una struttura di "2-colorazione" (vertici bianchi e neri) che induce un ordine ciclico specifico (orario per i bianchi, antiorario per i neri).

• Proposizione 2.22: Qualsiasi realizzazione immersa 2-colorata di un grafo a nastro trivalente di genere $g(\Gamma)$ in $\mathbb{CP}^1$ deve avere almeno $g(\Gamma)$ intersezioni.
• Proposizione 2.25: Per grafi planari 3-connessi, il problema di minimizzare il "difetto" (la discrepanza tra l'ordine ciclico del grafo a nastro e quello indotto dall'immersione planare) è risolto: il minimo difetto è la minore tra le discrepanze con l'immersione originale e la sua immagine speculare (Teorema di Whitney).

4. Significato e Implicazioni

1. Rottura di un'Intuizione Semplice: Il lavoro dimostra che non è possibile controllare il numero di auto-intersezioni di un'immagine di grafo meromorfa basandosi esclusivamente sul genere della superficie di partenza. La combinatoria intrinseca del grafo (il suo numero di incrocio planare) gioca un ruolo fondamentale e spesso dominante.
2. Corrispondenza Biunivoca: Viene stabilita una corrispondenza robusta tra immersioni di grafi in $\mathbb{CP}^1$ e triple $(Y, \phi, \Gamma)$, fornendo un metodo costruttivo per generare superfici di Riemann da dati puramente combinatori e geometrici.
3. Nuovi Invarianti: L'articolo sposta l'attenzione verso invarianti più sottili che combinano la struttura del nastro e le proprietà analitiche della funzione, piuttosto che limitarsi al genere topologico.
4. Problemi Aperti: Il paper delinea una serie di problemi aperti, tra cui:
   • La classificazione completa delle classi di grafi per cui vale l'uguaglianza $\sharp = g(Y)$.
   • La distribuzione dei punti di diramazione rispetto alle componenti connesse del complementare dell'immagine.
   • L'effetto di operazioni locali (come riflessioni di dischi contenenti vertici di un colore specifico) sul numero di punti di diramazione.

In sintesi, questo lavoro fornisce un quadro teorico fondamentale per lo studio dei grafi immersi derivanti da funzioni meromorfe, evidenziando la complessità nascosta nella relazione tra topologia della superficie, combinatoria del grafo e analisi complessa.