On interacting non-Abelian antisymmetric tensor field models

Sintesi Tecnica: Modelli di Campi Tensoriali Antisimmetrici Non-Abeliani Interagenti

Definizione del Problema
I campi tensoriali antisimmetrici (p-forme) sono componenti fondamentali nelle teorie delle superstringhe/brane e della supergravità, caratterizzati da strutture di gauge complesse e riducibili. Sebbene i modelli di p-forme liberi siano ben compresi come teorie di gauge riducibili (con stadi di riducibilità dipendenti dal rango della forma), la struttura di gauge dei modelli tensoriali non-abeliani interagenti rimane una questione aperta. I classici teoremi di "no-go" suggeriscono che le deformazioni locali non-abeliane delle trasformazioni di gauge delle p-forme libere siano impossibili senza l'introduzione di campi aggiuntivi. Tuttavia, esistono modelli con tensori non-abeliani che interagiscono con campi di Yang-Mills in contesti specifici (ad esempio, supergravità gauged, riduzioni dimensionali). La sfida principale affrontata in questo lavoro è determinare le proprietà di riducibilità delle trasformazioni di gauge in questi modelli tensoriali non-abeliani interagenti, specificamente quelli ottenuti tramite riduzione dimensionale su una varietà di gruppo. Non è chiaro se l'introduzione di interazioni e termini di massa alteri gli stadi di riducibilità riscontrati nei loro analoghi liberi abeliani.

Metodologia
Gli autori impiegano una procedura di riduzione dimensionale su una varietà di gruppo per generare modelli tensoriali non-abeliani interagenti a partire da forme abeliane di rango superiore libere minimamente accoppiate alla gravità.

1. Prescrizione di Riduzione: Partendo da un campo p-forma libero $C_{M_1...M_p}$ in $D$ dimensioni accoppiato alla gravità, le coordinate vengono scomposte in $x^\mu$ (spazio-tempo) e $y^a$ (varietà di gruppo compatta $G$). La metrica e i campi sono parametrizzati utilizzando i vettori di Killing $e^a_{\bar{a}}(y)$ della varietà di gruppo $G$, introducendo un parametro dimensionale $\kappa$ relativo alla dimensione della varietà, che funge da costante di accoppiamento.
2. Ridefinizione dei Campi: I campi originali $C$ vengono ridefiniti in nuovi campi $B$ (e parametri $\Lambda$) utilizzando il vielbein della metrica ridotta. Questa trasformazione assicura che i nuovi campi si trasformino in modo covariante sotto la simmetria Yang-Mills indotta, rimuovendo i termini non omogenei che coinvolgono le derivate dei parametri di gauge.
3. Analisi Algebrica: Gli autori calcolano esplicitamente i commutatori delle trasformazioni di gauge per i campi ridotti. Identificano la struttura dell'algebra non-abeliana e ricercano le trasformazioni "triviali"—insiemi di parametri per i quali la variazione di gauge di tutti i campi svanisce identicamente.
4. Controllo della Riducibilità Ricorsiva: Individuando i parametri che generano trasformazioni triviali, gli autori determinano lo stadio di riducibilità. Verificano se questi parametri triviali possiedano a loro volta ridondanze di gauge (riducibilità a uno stadio superiore), confrontando i risultati con la nota riducibilità delle teorie abeliane libere.

Contributi Chiave e Risultati
Il documento analizza modelli derivati dalla riduzione dimensionale di 3-forme, 4-forme e p-forme generiche.

• Modello a 3-forma (Sezione 2):

  • La riduzione di una 3-forma libera produce un sistema contenente un campo Yang-Mills, una 2-forma, una 1-forma e uno scalare, tutti soggetti a un'algebra non-abeliana.
  • Si dimostra che le trasformazioni di gauge sono riducibili al primo stadio per il settore non-abeliano. Le trasformazioni triviali sono generate da parametri $\omega_{\bar{a}}$ e $\zeta_\mu$, che soddisfano relazioni specifiche che coinvolgono la forza del campo e le costanti di struttura.
  • Lo stadio di riducibilità coincide con quello della 3-forma abeliana libera (che è complessivamente riducibile al secondo stadio, con la parte non-abeliana al primo).
  • Campi di Stückelberg: L'analisi identifica campi specifici (ad esempio, $S_{\mu\bar{a}}$) che agiscono come campi di Stückelberg. Questi campi traslano sotto le trasformazioni di gauge, ripristinando efficacementamente la simmetria di gauge interrotta dai termini di massa ($\sim \kappa^2$) acquisiti da altri campi tensoriali. Questo meccanismo permette alla teoria di superare i teoremi di no-go riguardanti le deformazioni non-abeliane.

• Modello a 4-forma (Sezione 3):

  • La riduzione di una 4-forma libera produce un sistema con tensori di rango 4, 3, 2, 1 e 0.
  • Si dimostra che le trasformazioni di gauge sono riducibili al secondo stadio per il settore non-abeliano. Le trasformazioni triviali sono generate da parametri $\omega_{\mu\bar{a}}$ e $\omega_{\bar{a}\bar{b}}$, i quali sono essi stessi riducibili.
  • Lo stadio di riducibilità coincide nuovamente con quello della 4-forma abeliana libera (riducibile al terzo stadio).

• Modello a p-forma Generale (Sezione 4):

  • I risultati sono generalizzati a una forma di rango arbitrario $r+1$.
  • Gli autori dimostrano che le trasformazioni di gauge del sistema non-abeliano risultante sono riducibili a $p-2$ stadi (corrispondenti allo stadio $p-1$ della teoria abeliana libera, tenendo conto dei settori vettoriale/scalare).
  • Viene derivata una formula generale per i parametri delle trasformazioni triviali, mostrando che la struttura di riducibilità è preservata nonostante la presenza di termini di massa e interazioni non-abeliane.
  • Il documento mette a confronto questi risultati con un modello non-abeliano specifico della letteratura [41] che è solo riducibile al primo stadio, evidenziando come il metodo della riduzione dimensionale preservi la riducibilità a stadi superiori della teoria libera genitrice.

Significato e Rivendicazioni
Il documento sostiene che la struttura di gauge dei modelli tensoriali antisimmetrici non-abeliani interagenti ottenuti tramite riduzione dimensionale è robusta e conserva le proprietà di riducibilità dei loro analoghi abeliani liberi.

• Preservazione della Riducibilità: L'introduzione di interazioni e termini di massa tramite riduzione dimensionale non altera gli stadi di riducibilità. I modelli interagenti sono teorie di gauge riducibili con la stessa gerarchia di parametri di gauge delle teorie libere.
• Ruolo dei Campi di Stückelberg: L'esistenza dei campi di Stückelberg è identificata come il meccanismo che concilia la presenza di termini di massa con l'invarianza di gauge. Questi campi permettono alla teoria di mantenere una struttura di gauge coerente, aggirando i vincoli dei teoremi di no-go che assumono deformazioni prive di massa.
• Implicazioni per la Quantizzazione: Gli autori affermano che stabilire la struttura di riducibilità è un prerequisito per la quantizzazione coerente di queste teorie (ad esempio, tramite i formalismi Batalin-Vilkovisky o BRST-BFV). I risultati forniscono la base necessaria per costruire integrali di cammino e azioni efficaci per queste teorie tensoriali non-abeliane.
• Direzioni Future: Il documento suggerisce che questi metodi possono essere estesi ad azioni auto-dual, riduzioni su varietà diverse dai gruppi (ad esempio, sfere) e alla costruzione di versioni supersimmetriche. Nota inoltre il potenziale per studiare le dualità nel contesto non-abeliano interagente.

Il lavoro non propone nuovi test sperimentali o specifiche applicazioni fenomenologiche, ma si concentra sulle proprietà strutturali e sulla coerenza teorica di queste teorie di campo, mirando a colmare la lacuna nella comprensione della struttura di gauge delle p-forme interagenti.