Quantising Chiral Bosons On Riemann Surfaces

Sintesi Tecnica: Quantizzazione di Bosoni Chirali su Superfici di Riemann

Enunciato del Problema
La quantizzazione dei bosoni chirali (campi auto-duali) in due dimensioni presenta sfide significative, in particolare per quanto riguarda la formulazione di un'azione consistente su arbitrarie superfici di Riemann e il raggiungimento della invarianza modulare. Sebbene l'azione di Sen [1, 2] fornisca un quadro per i campi di gauge chirali in $4k+2$ dimensioni utilizzando una metrica fisica $g$ e una metrica ausiliaria piatta $\eta$, questa formulazione è limitata a varietà che ammettono una metrica piatta. Inoltre, la funzione di partizione per un singolo bosone chirale non è generalmente invariante sotto trasformazioni modulari, e gli approcci standard richiedono spesso l'imposizione manuale dei vincoli di auto-dualità invece di derivarli dall'azione. Gli autori mirano a generalizzare l'azione di Sen a una formulazione bi-metrica in cui il campo ausiliario si accoppia a una seconda metrica arbitraria $\bar{g}$, permettendo la quantizzazione di scalari chirali su qualsiasi varietà bidimensionale, specificamente superfici di Riemann, e a investigare le risultanti proprietà modulari e anomalie.

Metodologia
Il saggio utilizza la generalizzazione bi-metrica dell'azione di Sen [3], adattata per scalari chirali bidimensionali ($k=0$). La metodologia procede attraverso i seguenti passaggi:

1. Formulazione dell'Azione: Gli autori utilizzano un'azione che coinvolge uno scalare fisico $P$ accoppiato a una metrica fisica $g$ e a uno scalare "ombra" $C$ accoppiato a una seconda metrica $\bar{g}$. Le metriche sono parametrizzate usando variabili complesse $\tau, \tilde{\tau}$ per $g$ e $\rho, \tilde{\rho}$ per $\bar{g}$. Il tensore $M$, che codifica la dipendenza dalle metriche, è valutato esplicitamente per garantire che l'azione sia ben definita.
2. Continuazione Analitica: Per definire l'integrale di cammino, gli autori effettuano la continuazione analitica delle metriche reali lorentziane ed euclidee in metriche complesse. Identificano regioni nello spazio dei parametri di $\tau, \tilde{\tau}, \rho, \tilde{\rho}$ in cui l'integrale funzionale è convergente (specificamente richiedendo $\text{Im}(\rho) < 0$ e $\text{Im}(\tau) > 0$ per certe condizioni). I risultati sono poi analiticamente continuati nell'intero spazio dei parametri.
3. Integrale di Cammino e Quantizzazione Canonica: La funzione di partizione è calcolata tramite due metodi:
   • Integrale di Cammino: Il campo ausiliario viene integrato, riducendo il sistema a uno scalare non chirale accoppiato a una metrica complessa $h = e^{2\sigma'}(dx + \rho dy)(dx + \tau dy)$. L'integrale di cammino è valutato su un toro separando i modi zero (winding e momentum) dai modi oscillatori non nulli. Viene utilizzata la regolarizzazione zeta-funzionale per gestire i prodotti divergenti.
   • Quantizzazione Canonica: Il sistema è quantizzato su un cerchio spaziale, trattando $y$ come tempo. Si dimostra che lo spazio di Hilbert si fattorizza in settori sinistro-rotanti ($\tau$) e destro-rotanti ($\rho$), consentendo il calcolo della funzione di partizione come traccia sopra gli Hamiltoniani disaccoppiati.
4. Analisi Modulare: Le proprietà di trasformazione della funzione di partizione sotto le trasformazioni modulari dei moduli $\tau$ e $\rho$ vengono esaminate. Gli autori distinguono tra trasformazioni modulari diagonali (dove $\tau$ e $\rho$ si trasformano identicamente) e trasformazioni indipendenti.
5. Estensione ad Alto Genere: L'integrale di cammino è generalizzato ad arbitrarie superfici di Riemann analizzando il Laplaciano associato alla metrica complessa e valutando i contributi dai modi zero (periodi su 1-cicli) e dai modi non nulli.

Contributi Chiave e Risultati

• Azione Effettiva e Metrica Complessa: Gli autori dimostrano che l'azione bi-metrica per i bosoni chirali si riduce a un'azione efficace per uno scalare non chirale accoppiato a una metrica complessa $h$. Ciò consente l'uso delle tecniche standard per gli scalari non chirali per studiare i sistemi chirali.
• Struttura della Funzione di Partizione:
  • Per un bosone chirale generico su un cerchio o un toro, la funzione di partizione $Z(\tau, \rho)$ dipende da entrambi i moduli. Nel caso generale, è una somma di termini che non si fattorizzano.
  • Per un toro razionale (dove il quadrato del raggio di compattificazione è razionale), la funzione di partizione diventa una somma finita di prodotti di funzioni oloomorfe: $Z(\tau, \rho) = \sum C_{a\bar{b}} \chi_a(\tau) \chi_{\bar{b}}(\rho)$.
  • Crucialmente, per $8k$ bosoni chirali associati a un reticolo auto-duale pari (come il reticolo delle radici di $E_8$ o il reticolo dei pesi di $Spin(32)/\mathbb{Z}_2$), la funzione di partizione si fattorizza completamente in un singolo prodotto: $Z(\tau, \rho) = F(\tau) \tilde{F}(\rho)$.
• Invarianza Modulare e Anomalie:
  • La funzione di partizione è mostrata essere invariante sotto il sottogruppo diagonale del gruppo modulare $SL(2, \mathbb{Z})_\tau \times SL(2, \mathbb{Z})_\rho$, corrispondente alle trasformazioni di coordinate.
  • Gli autori identificano le anomalie gravitazionali associate sia alla metrica fisica $g$ che alla metrica ombra $\bar{g}$.
  • Propongono un meccanismo per ottenere la piena invarianza modulare e la cancellazione delle anomalie introducendo un settore "ombra". Specificamente, per la stringa eterotica (16 bosoni chirali), il settore fisico cancella l'anomalia di $g$, mentre un secondo set di campi accoppiati a $\bar{g}$ cancella l'anomalia di $\bar{g}$. Ciò risulta in una funzione di partizione totale che è invariante sotto trasformazioni modulari indipendenti di $\tau$ e $\rho$.
• Applicazione alla Stringa Eterotica: Il formalismo è applicato alla stringa eterotica. Accoppiando i campi della stringa eterotica fisica a $g$ e una stringa eterotica ombra a $\bar{g}$, gli autori costruiscono un'azione di superficie di mondo la cui quantizzazione è invariante sotto trasformazioni modulari e priva di anomalie gravitazionali in entrambi i settori. Ciò rispecchia le strutture trovate nelle teorie di campo della stringa eterotica di Sen e altre che coinvolgono settori ombra.
• Alto Genere: L'integrale di cammino è esteso con successo a generali superfici di Riemann, con la funzione di partizione espressa in termini del determinante del Laplaciano sulla metrica complessa e delle funzioni theta che coinvolgono le matrici di periodo della superficie.

Significatività
Il saggio sostiene che la formulazione bi-metrica fornisce un quadro robusto per la quantizzazione dei bosoni chirali su arbitrarie superfici di Riemann senza imporre manualmente i vincoli di auto-dualità. Attraverso la continuazione analitica a metriche complesse, gli autori derivano una funzione di partizione ben definita che incorpora naturalmente il settore ombra. La principale significatività risiede nella costruzione di una teoria consistente e invariante sotto trasformazioni modulari per reticoli auto-duali pari, direttamente applicabile alla stringa eterotica. Il lavoro suggerisce che il settore "ombra", spesso considerato non fisico, gioca un ruolo necessario per cancellare le anomalie gravitazionali e garantire l'invarianza modulare quando la teoria è formulata su una varietà a due dimensioni con due metriche. I risultati confermano che per specifiche scelte di reticolo (auto-duale pari), la funzione di partizione si fattorizza elegantemente, facilitando la costruzione di teorie di stringa prive di anomalie.