Abelian 2-Form Gauge Theory: Basic Canonical Brackets and Nilpotency Property of Noether (Anti-)BRST Charges

Sintesi Tecnica: Teoria di Gauge di un 2-Formo Asseliano: Brevi Canoniche di Base e Proprietà di Nilpotenza delle Cariche di Noether (Anti-)BRST

Enunciato del Problema
Il saggio investiga la versione quantizzata tramite BRST in $D$-dimensioni della teoria di gauge libera di un 2-formo asseliano, un sistema dotato di una restrizione non banale di tipo Curci-Ferrari (CF). Un problema centrale affrontato è il comportamento delle cariche (anti-)BRST di Noether conservate ($Q_{(a)b}$) derivate dalle densità lagrangiane accoppiate. Sebbene si sappia che queste cariche generano le trasformazioni di simmetria (anti-)BRST nilpotent off-shell, gli autori dimostrano che esse non sono invarianti rispetto a tali stesse trasformazioni. Di conseguenza, le cariche di Noether standard non sono quantità "fisiche" all'interno del formalismo BRST quando applicate ai criteri di fisicità, poiché la loro applicazione conduce a condizioni sugli stati fisici che contraddicono le condizioni di quantizzazione di Dirac per le teorie con vincoli di primo tipo.

Metodologia
Gli autori utilizzano il formalismo Becchi-Rouet-Stora-Tyutin (BRST), impiegando i seguenti strumenti teorici:

1. Densità Lagrangiane Accoppiate: Lo studio utilizza due densità lagrangiane accoppiate equivalenti, $\mathcal{L}_{(B)}$ e $\mathcal{L}_{(\bar{B})}$, che incorporano la restrizione di tipo CF ($B_\mu + \bar{B}_\mu + \partial_\mu \phi = 0$) e i settori dei ghost di Faddeev-Popov.
2. Quantizzazione Canonica: Gli autori eseguono la quantizzazione canonica covariante derivando i momenti coniugati canonici per tutti i campi dinamici (inclusi il campo di gauge 2-formo $B_{\mu\nu}$, i ghost e i campi ausiliari) e stabilendo gli (anti)commutatori canonici di base a tempo uguale.
3. Verifica dei Generatori: La relazione tra le trasformazioni di simmetria continua e i loro generatori viene testata utilizzando la relazione standard $s_{(a)b} \Phi = -i [\Phi, Q_{(a)b}]_{(\pm)}$, dove le parentesi indicano commutatori o anticommutatori in base alla statistica del campo $\Phi$.
4. Derivazione di Cariche Modificate: Per risolvere la non-invarianza delle cariche di Noether, gli autori derivano versioni coerentemente modificate delle cariche ($Q_{(A)B}$). Questa derivazione implica:
   • Integrazione parziale.
   • Applicazione del teorema della divergenza di Gauss (assumendo che i campi svaniscano all'infinito).
   • Utilizzo di specifiche equazioni del moto di Euler-Lagrange (EL-EoM) nelle fasi appropriate.
5. Dimostrazione delle Proprietà: La nilpotenza ($Q^2 = 0$) e l'invarianza (anti-)BRST ($s_{(a)b} Q = 0$) sia delle cariche di Noether che delle cariche modificate vengono dimostrate utilizzando due approcci distinti:
   • Applicazione diretta delle trasformazioni di simmetria.
   • Computazione esplicita degli (anti)commutatori utilizzando le brevi canoniche di base.

Contributi Chiave e Risultati

• Non-Invarianza delle Cariche di Noether Standard: Il saggio prova esplicitamente che le cariche (anti-)BRST di Noether conservate ($Q_{(a)b}$) non sono invarianti sotto le trasformazioni (anti-)BRST nilpotent off-shell ($s_{(a)b} Q_{(a)b} \neq 0$). Ciò è dimostrato sia tramite trasformazione diretta, sia mostrando che l'anticommutatore $\{Q_{(a)b}, Q_{(a)b}\}$ è non nullo a meno che non vengano invocati le EL-EoM e il teorema della divergenza di Gauss per convertire il risultato in un termine di superficie che svanisce.
• Derivazione di Cariche Invarianti Modificate: Gli autori derivano versioni modificate delle cariche, denominate $Q_B$ e $Q_{\bar{B}}$, che sono conservate e strettamente invarianti sotto le trasformazioni (anti-)BRST nilpotent off-shell ($s_{(a)b} Q_{(A)B} = 0$). Queste modifiche richiedono l'uso delle EL-EoM e del teorema della divergenza di Gauss durante il processo di derivazione.
• Criteri di Fisicità e Quantizzazione di Dirac:
  • Applicare il criterio di fisicità ($Q_{(a)b} |\text{phys}\rangle = 0$) alle cariche di Noether standard porta a risultati "assurdi". Nello specifico, richiede l'annichilazione degli stati fisici da parte dei momenti coniugati canonici del campo di gauge ($\Pi_{ij}^{(B)}$), che non sono vincoli di primo tipo.
  • Al contrario, applicare il criterio alle cariche modificate ($Q_{(A)B} |\text{phys}\rangle = 0$) produce condizioni in cui gli stati fisici sono annichiliti dalle forme operatori dei reali vincoli di primo tipo. Questo risultato è coerente con le condizioni di quantizzazione di Dirac per le teorie di gauge.
• Dimostrazioni di Nilpotenza:
  • La nilpotenza delle cariche di Noether ($Q_{(a)b}^2 = 0$) è provata valere solo quando viene utilizzato il teorema della divergenza di Gauss per eliminare i termini di superficie derivanti dai calcoli dell'anticommutatore.
  • La nilpotenza delle cariche modificate ($Q_{(A)B}^2 = 0$) è anch'essa stabilita, ma la prova necessita dell'uso combinato di brevi canoniche di base, EL-EoM e teorema della divergenza di Gauss.
• Superiorità delle Dimostrazioni tramite Brevi Canoniche: Il saggio sostiene che provare la proprietà di nilpotenza usando gli (anti)commutatori canonici di base è teoricamente superiore alle prove basate esclusivamente sulle considerazioni di simmetria, poiché le prime evidenziano esplicitamente la necessità del teorema della divergenza di Gauss e delle EL-EoM per stabilire la coerenza fisica delle cariche.

Significato
Il saggio stabilisce che per le teorie di gauge 2-forme asseliane in $D$-dimensioni con restrizioni di tipo CF non banali, le cariche (anti-)BRST di Noether standard sono insufficienti per definire gli stati fisici perché mancano di invarianza off-shell. Lo studio dimostra che solo le cariche (anti-)BRST invarianti e coerentemente modificate soddisfano i criteri di fisicità richiesti dal formalismo BRST e si allineano con le condizioni di quantizzazione di Dirac. Questo lavoro rinforza il quadro teorico che collega la quantizzazione BRST, la teoria di Hodge e la struttura geometrica delle teorie di gauge, validando specificamente la necessità di modificare le cariche di Noether in presenza di restrizioni CF non banali per garantire la coerenza fisica della teoria quantistica. I risultati servono a corroborare i precedenti risultati sulle teorie di 1-formo non asseliane ed estendere la comprensione delle teorie di gauge $p$-formo superiori.