Post per Delio, questo, chissà se mi legge ancora,
dopo tutta questa serie di post su Quine, prima, e sugli austriaci, poi,
che hanno fatto evaporare quasi completamente la fisica
da questo, un tempo rispettabile, bel blog di fisica (bontà sua…).
dopo tutta questa serie di post su Quine, prima, e sugli austriaci, poi,
che hanno fatto evaporare quasi completamente la fisica
da questo, un tempo rispettabile, bel blog di fisica (bontà sua…).
Questo recente post di Peppe Liberti su Focus.it, Il circolo di Weyl, mi ha ricordato la storia dell'origine del termine gauge usato oggi per indicare le teorie di campo con simmetria (interna e) locale.
Non ricordo più dove la lessi, forse sul Gravitation di Wheeler. Non pare sia una cosa molto nota, fra i fisici, e tutto sommato giustamente, visto che si tratta di una curiosità storica. Ma era una storia che mi aveva colpito, per l'idea molto suggestiva di un'estensione della simmetria della relatività dalla sola rotazione della tetrade alla sua "scala", e così provo a riportarla qui per i miei strenui lettori. Non che sia chissà quale segreto, la pagina di wikipedia sulle teorie di gauge, sia in italiano che in inglese, riporta tutto e più di quel che ricordi io stesso.
Avevo già avuto modo di parlarne quasi cinque anni fa — vi ricordate, quando ancora esistevano i blog? — in calce a questo post di Lap(l)aciano, Simmetrie di gauge (II). Si disquisiva di quale fosse, storicamente, la prima teoria di guage in assoluto. La domanda non fa distinzione fra questioni semantiche e questioni nominali, e la risposta è costretta a dover distinguere.
Fra le teorie che oggi chiamiamo "di gauge", quella che fu formulata storicamente per prima fu la teoria di Maxwell per l'elettrodinamica classica, ma, quando fu formulata, il termine "simmetria di gauge" non esisteva ancora e la simmetria delle equazioni di Maxwell era espressa in termini di una funzione di trasformazione per i potenziali scalare e vettore che lasciavano inalterati i campi elettrici e magnetici (cfr. Gauge fixing).
La prima teoria formulata esplicitamente come teoria di campo con una simmetria "locale" è stata la relatività generale, ma anche in quel caso, nella formulazione originale di Einstein, la simmetria di gauge era in realtà espressa come principio di covarianza generale, ovvero come simmetria rispetto ad un'arbitraria trasformazione (differenziale) di coordinate. Fu appunto Weyl ad elaborare un formalismo alternativo ma equivalente, quello delle tetradi, in cui il principio di covarianza poteva essere interpretato come una simmetria rispetto ad un'arbitraria rotazione, locale, della base del fibrato tangente. Ma nemmeno in questa formulazione, ancora, si usa il termine gauge. Il termine gauge viene introdotto però in quello stesso momento, dallo stesso Weyl appunto, nel tentativo di estendere tale formalismo per spiegare anche l'elettromagnetismo di Maxwell in termini geometrici, come la relatività di Einstein spiegava la gravità. L'idea suggestiva di Weyl era quella di estendere la simmetria della teoria di campo non solo alla rotazione della tetrade ma anche alla sua "dimensione", alla lunghezza dei vettori della base. Ecco il motivo del termine gauge, calibro, a richiamare l'idea di una misura di lunghezza.
Purtroppo il tentativo, in questo preciso approccio, non funzionò. Ma l'idea fu feconda: l'elettromagnetismo poteva davvero essere interpretato come una teoria di campo con simmetria locale, solo che bisognava restare attaccati al concetto di simmetria per rotazioni, come quella delle tetradi, ed abbandonare invece il concetto che la simmetria dovesse riguardare lo spaziotempo o il suo fibrato "naturale". Il quadripotenziale di Maxwell andava infatti interpretato come il generatore di Lie di una simmetria rispetto alla rotazione della base di un ulteriore fibrato "astratto". A dispetto del cambio di contesto, il nome restò, e da allora per le teorie di campo si parla di simmetria di gauge tutte le volte che c'è invarianza rispetto ad una trasformazione locale di un generico gruppo, generalizzando il caso del gruppo delle rotazioni. Tutte le interazioni fondamentali, in particolare, sono interpretate come l'effetto di una simmetria di questo tipo rispetto a gruppi di simmetria associati alle cariche dell'interazione (elettrodebole e di colore).
Ma la morale di questa storia non è solo di carattere storico ed etimologico.
Nei corsi di teoria dei campi il concetto di simmetria di gauge viene presentato come "promozione" a simmetria locale di una simmetria globale. L'esempio classico è proprio quello della fase eiφ della funzione d'onda a cui si assegna una dipendenza dalle coordinate spaziali: eiφ(x). La "potenza" di tale estensione è evidente, visto che è sufficiente questa sola richiesta di "località" della simmetria per dedurre, via accoppiamento minimale, le equazioni di Maxwell per l'interazione elettromagnetica. Ma la cosa sembra un po' piovere dal cielo: perché mai dovremmo inventarci questa dipendenza puntuale della simmetria? Oltretutto tale estensione viene interpretata come una richiesta "più forte" di simmetria, visto che la classe di trasformazioni rispetto alla quale la teoria deve restare invariata è più ampia. Ebbene, le motivazioni di Weyl che portarono alla formulazione delle teorie di "gauge" mettono in luce la vera natura della richiesta di "località" della simmetria, da ricondurre, in fondo, al principio di covarianza generale.
Quando Einstein richiede che le equazioni della fisica siano invarianti rispetto ad una qualsiasi trasformazione di coordinate, sta effettivamente richiedendo una simmetria più forte di quella che fossero invarianti solo per trasformazioni inerziali. Ma il senso di tale richiesta è l'esatto opposto di quello di imporre una condizione più stringente, ed è quello, appunto, di rilasciare un vincolo, arbitrario, per il quale una classe particolare di sistemi di riferimento avrebbero avuto un fiocco rosso. Allo stesso modo la richiesta che la teoria di gauge abbia una simmetria locale va interpretata come la rinuncia al vincolo per cui la base dell'algebra del gruppo sia orientata rigidamente dappertutto.
Così, come il campo gravitazionale è un effetto inerziale dovuto alla necessità di dover "connettere" (nel senso tecnico di geometria differenziale del termine) due punti distinti non necessariamente reciprocamente inerziali, allo stesso modo l'elettromagnetismo è un effetto che potremmo dire "U(1)-inerziale" dovuto alla necessità di dover "connettere" due punti distinti che non necessariamente hanno la base dell'algebra (la fase) "orientata" allo stesso modo.
