Spectral asymmetry via pseudodifferential projections: the massless Dirac operator

Sintesi Tecnica: Asimmetria Spettrale tramite Proiezioni Pseudodifferenziali per l'Operatore di Dirac Senza Massa

Enunciato del Problema
Il saggio affronta lo studio dell'asimmetria spettrale per sistemi di equazioni alle derivate parziali (PDE) su varietà riemanniane 3-chiuse, connesse e orientate. Nello specifico, si concentra sull'operatore di Dirac senza massa (noto anche come operatore di Weyl), denotato con $W$. Mentre l'asimmetria spettrale è tradizionalmente quantificata dall'invariante eta—un numero globale o una funzione locale derivata dalla funzione zeta spettrale—gli autori mirano ad applicare un approccio più recente, di tipo operatore-teorico. Questo approccio cerca di codificare le informazioni sull'asimmetria all'interno di un operatore pseudodifferenziale di ordine negativo, denominato "operatore di asimmetria", costruito a partire dalle proiezioni spettrali. La sfida centrale consiste nel calcolare il simbolo principale di questo operatore per il caso di Dirac senza massa, tenendo conto dell'invarianza di gauge e delle specifiche proprietà geometriche della varietà, e nel dimostrare che una traccia regolarizzata può essere definita per produrre invarianti geometrici.

Metodologia
Gli autori impiegano il quadro del calcolo pseudodifferenziale sviluppato nei loro lavori precedenti [9, 10]. La metodologia procede attraverso i seguenti passaggi:

1. Proiezioni Spettrali: L'operatore di Dirac senza massa $W$ è autoaggiunto ed ellittico con uno spettro discreto che accumula in $\pm \infty$. Gli autori definiscono le proiezioni spettrali positive ($P_+$) e negative ($P_-$) basate sugli autovalori di $W$. Tali proiezioni sono operatori pseudodifferenziali di ordine zero.
2. Costruzione dell'Operatore di Asimmetria: L'operatore di asimmetria $A$ è definito come la traccia di matrice della differenza tra queste proiezioni: $A := \text{tr}(P_+ - P_-)$. Sebbene $P_+ - P_-$ non sia classe-traccia, l'operazione di traccia di matrice produce un operatore $A$ di ordine negativo.
3. Calcolo Simbolico e Cancellazioni: Il nucleo dell'analisi riguarda la costruzione esplicita dei simboli completi di $P_\pm$ utilizzando un algoritmo iterativo (basato su [8]). Gli autori calcolano i simboli principali delle componenti dell'espansione asintotica di $A$. Un aspetto critico della metodologia è lo sfruttamento delle cancellazioni che avvengono effettuando la traccia di matrice.
4. Invarianza di Gauge e Framing: L'operatore di Dirac dipende da una scelta di framing globale. Gli autori analizzano il comportamento dell'operatore sotto trasformazioni di gauge (rotazioni del framing). Dimostrano che, sebbene i calcoli intermedi dipendano dal framing, gli invarianti spettrali non lo fanno. Per semplificare i calcoli, fissano un particolare "framing di Levi-Civita" generato dal trasporto parallelo in coordinate normali geodesiche centrate in un punto $z$. In questo frame specifico, la torsione della connessione di Weitzenböck associata svanisce in $z$, semplificando l'espansione simbolica.
5. Traccia Regolarizzata: Poiché l'operatore di asimmetria risultante è di ordine $-1$ (a differenza dell'ordine $-3$ trovato per l'operatore curl in studi precedenti), esso non è immediatamente classe-traccia. Gli autori definiscono una "traccia locale regolarizzata" isolando la parte continua del nucleo di Schwartz di $A$ lungo la diagonale ($x=y$).

Contributi Chiave e Risultati
Il saggio fornisce calcoli espliciti per l'operatore di Dirac senza massa su una varietà a 3 dimensioni, fornendo i seguenti risultati principali:

• Svanimento dei Termini di Ordine Inferiore: Gli autori dimostrano che il simbolo principale dell'operatore di asimmetria $A$ associato al framing di Levi-Civita svanisce per gli ordini $j=0, -1, -2$. Nello specifico, i termini $a_0, a_{-1}$ e $a_{-2}$ dell'espansione asintotica del simbolo sono nulli al centro del vicinato geodesico.
• Calcolo del Simbolo Principale: Il primo termine non nullo è il simbolo principale di ordine $-3$, denotato $a_{-3}(z, \xi)$. Gli autori lo calcolano esplicitamente come:
  $$\tilde{a}_{-3}(z, \xi) = -\frac{1}{12} \frac{E_{\alpha\beta\gamma}(z) \nabla_\alpha \text{Ric}_{\beta\rho}(z) \xi^\gamma \xi^\rho}{|\xi|^5}$$
  dove $E_{\alpha\beta\gamma}$ è il tensore di Levi-Civita, $\text{Ric}$ è il tensore di Ricci e $\nabla$ è la derivata covariante. Questo risultato stabilisce che l'operatore di asimmetria è di ordine $-3$ nel frame di Levi-Civita, nonostante sia di ordine $-1$ in un frame generico.
• Decomposizione del Nucleo: Il saggio deriva il nucleo integrale locale dell'operatore di asimmetria, mostrando che esso può essere decomposto in una parte singolare (dipendente dalla distanza tra i punti e dalla curvatura) e una parte continua.
• Invarianti Geometrici: Sulla base della decomposizione del nucleo, gli autori definiscono una traccia locale regolarizzata $\psi_{\text{Dir}}^{\text{loc}}(x)$ e una traccia globale $\psi_{\text{Dir}}$. Dimostrano che la traccia locale è una funzione scalare ben definita e indipendente dalla scelta delle coordinate locali, costituendo così un invariante geometrico che descrive l'asimmetria spettrale.

Significatività e Rivendicazioni
Il saggio pone questi risultati come un'estensione dell'approccio "diretto" all'asimmetria spettrale proposto in [9, 10] al caso fisicamente significativo dell'operatore di Dirac senza massa.

• Confronto con il Curl: Gli autori osservano che la struttura del simbolo principale per l'operatore di Dirac è identica a quella dell'operatore curl (a meno di un fattore di 6), rinforzando l'universalità del metodo attraverso diversi sistemi non semibounded.
• Rilevanza Fisica: Lo studio è motivato da applicazioni nella fisica delle alte energie (teoria di Chern–Simons) e nella fisica della materia condensata (fasi topologiche, semimetalli di Weyl), dove l'invariante eta è una quantità cruciale.
• Congettura sugli Invarianti Eta: Gli autori congetturano che le loro tracce regolarizzate appena definite coincidano con gli invarianti eta classici locali e globali valutati in $s=0$ (ovvero $\psi_{\text{Dir}}^{\text{loc}}(x) = \eta_{\text{Dir}}^{\text{loc}}(0; x)$). Tuttavia, dichiarano esplicitamente che una prova completa di questa corrispondenza è al di fuori dell'ambito del presente lavoro ed è riservata a ricerche future.
• Modestia delle Rivendicazioni: Il saggio non pretende di aver risolto interamente il problema dell'asimmetria spettrale, ma fornisce la necessaria macchina computazionale (il simbolo principale e la definizione della traccia regolarizzata) per farlo. Sottolinea che tale approccio fornisce un "operatore definito invariantemente" che codifica più informazioni del solo invariante eta, offrendo uno strumento potenzialmente più accessibile alla comunità matematica applicata.