Triangulations of singular constant curvature spheres via Belyi functions and determinants of Laplacians

Sintesi Tecnica: Triangolazioni di Sfere a Curvatura Costante Singolari tramite Funzioni di Belyi e Determinanti di Laplaciani

Enunciato del Problema
Il saggio affronta il problema del calcolo del determinante spettrale zeta-regolarizzato dell'Laplaciano di Friedrichs su sfere a curvatura costante singolari. Queste superfici sono costruite tramite il taglio e l'incollamento di copie di un "doppio triangolo" a curvatura costante (una superficie di tipo $S^2$ formata da due triangoli geodesici). Le superfici risultanti possiedono singolarità coniche. Una sfida primaria è che le formule di incollamento standard per i determinanti spettrali (come le formule di tipo BFK) sono inapplicabili a causa della presenza di singolarità coniche lungo i tagli. Inoltre, mentre il determinante spettrale per metriche lisce su superfici di Riemann è stato ampiamente studiato (ad esempio da Osgood, Phillips e Sarnak), mancano espressioni esplicite chiuse per superfici singolari, in particolare quelle corrispondenti a configurazioni altamente simmetriche come i solidi platonici.

Metodologia
L'autore impiega un approccio geometrico e analitico radicato nella teoria delle funzioni di Belyi e dei dessins d'enfants:

1. Costruzione Geometrica: Le superfici sono viste come rivestimenti ramificati della sfera di Riemann. Una funzione di Belyi $f: \mathbb{C}_x \to \mathbb{C}_z$ (ramificata solo su $\{0, 1, \infty\}$) definisce una triangolazione combinatoria della sfera sorgente $\mathbb{C}_x$.
2. Pullback della Metrica: Una metrica a curvatura costante $m_\beta$ con singolarità coniche di ordini $\beta_0, \beta_1, \beta_\infty$ in $0, 1, \infty$ è definita sulla sfera target. La metrica sulla superficie sorgente è il pullback $f^*m_\beta$. Ciò crea una metrica singolare di curvatura gaussiana costante su $\mathbb{C}_x$, isometrica ai doppi triangoli incollati.
3. Formule di Anomalia: Invece delle formule di incollamento, l'autore utilizza le formule di anomalia per i determinanti dei Laplaciani sotto cambiamenti conformi di metrica. La dimostrazione si basa sul relazionare il determinante sul rivestimento ramificato con il determinante sulla sfera base tramite l'azione di Liouville e il tensore energia-impulso.
4. Azione di Liouville e Parametri Accessori: Il saggio collega esplicitamente il determinante spettrale all'azione di Liouville. L'autore deriva espressioni esplicite per i parametri accessori (coefficienti nel tensore energia-impulso) delle superfici triangolate in termini della funzione di Belyi e degli ordini di singolarità.
5. Riferimento Euclideo: Per risolvere le costanti di integrazione derivanti dalla formula di anomalia, l'autore valuta il determinante per un caso specifico: la triangolazione equilatera euclidea (dove la metrica base è piatta con singolarità specifiche). Ciò consente il calcolo esplicito del termine costante $C_f$ che dipende solo dalla funzione di Belyi.

Contributi Chiave e Risultati
Il risultato centrale è il Teorema 2.1, che fornisce una formula esplicita chiusa per il determinante spettrale zeta-regolarizzato $\det \Delta_{f^*\beta}$ dell'Laplaciano di Friedrichs sulla sfera triangolata $(\mathbb{C}_x, f^*m_\beta)$. La formula esprime il determinante in termini di:

• Il determinante spettrale del doppio triangolo tipo $S^2$ della base ($\det \Delta_\beta$), che è stato precedentemente trovato in forma chiusa in [18].
• La funzione di Belyi $f$ e i suoi dati di ramificazione (ordini di zeri, poli e punti critici).
• Costanti esplicite che coinvolgono la funzione zeta doppia di Barnes e la funzione zeta di Riemann.

Il saggio stabilisce inoltre:

• Parametri Accessori Espliciti: Il Lemma 4.1 fornisce formule esplicite per i parametri accessori $h_k$ della connessione proiettiva uniformizzante in termini dei coefficienti di Taylor/Laurent della funzione di Belyi e degli ordini di singolarità.
• Azione di Liouville: Un'espressione esplicita per l'azione di Liouville è derivata come sottoprodotto, collegandola al determinante spettrale.
• Punti Stazionari: Il Teorema 4.6 dimostra che le superfici corrispondenti ai cinque solidi platonici (tetraedro, ottaedro, cubo, icosaedro, dodecaedro) e ai diedri regolari sono punti stazionari del funzionale del determinante spettrale sullo spazio delle metriche coniche con area e curvatura fissate. Ciò è dimostrato sfruttando l'elevata simmetria (automorfismi) di queste configurazioni.
• Esempi Specifici: La Sezione 5 fornisce formule esplicite per vari triangolazioni, tra cui:
  • Triangolazioni cicliche (polinomi di Shabat $x^\ell$).
  • Triangolazioni diedriche.
  • Superfici platoniche (Tetraedro, Ottaedro, Cubo, Icosaedro, Dodecaedro) per i casi sferico, euclideo e iperbolico.
  • Valutazioni specifiche per la curva di Bolza (come doppio rivestimento di un ottaedro iperbolico) e superfici correlate alla quartica di Klein.

Significatività e Rivendicazioni
Il saggio rivendica di fornire le prime espressioni esplicite chiuse per i determinanti spettrali di queste specifiche superfici singolari. La significatività risiede nel fatto che:

1. Risoluzione di un Problema Spettrale Specifico: Supera il limite delle esistenti formule di incollamento utilizzando le funzioni di Belyi e le formule di anomalia per gestire esplicitamente le singolarità coniche.
2. Simmetria ed Estremi: Conferma che le superfici platoniche, note per i loro gruppi di simmetria massimali, corrispondono a punti stazionari del funzionale del determinante spettrale, estendendo i risultati precedenti sulle metriche lisce al contesto singolare.
3. Utilità Computazionale: Le formule derivate permettono la valutazione esplicita di invarianti spettrali per superfici complesse (come la curva di Bolza e la quartica di Klein) che prima erano accessibili solo tramite metodi numerici o rimanevano ignote in forma chiusa.
4. Connessione con la Teoria dei Campi Conformi: La valutazione esplicita dell'azione di Liouville e dei parametri accessori offre nuovi punti dati per verificare i risultati derivati dai blocchi conformi (conformal blocks).

L'autore osserva che, sebbene i risultati siano espliciti per i casi studiati, il problema generale dell'uniformizzazione per moduli arbitrari rimane aperto, e l'approccio attuale si basa sulla struttura specifica fornita dalle funzioni di Belyi. Il saggio non propone nuove applicazioni sperimentali ma fa avanzare la comprensione teorica della geometria spettrale sulle superfici singolari.