I. L’atto di nascita: la stasi e il movimento
LO SCALARE (con voce calma, posando una tazzina sul tavolo): Sentite, amici, potete agitarvi quanto volete, ma la realtà comincia e finisce con me. Io sono la sostanza pura, l’omeostasi dell’essere. Se volete sapere quanta massa ha questo tavolo, qual è la temperatura della stanza, o quanta energia serve per far bollire l’acqua, avete bisogno di un solo, singolo, onestissimo numero. Io non ho bisogno di guardare da nessuna parte: esisto nell’immanenza del mio valore. Ruotate pure il mondo come volete, io resto identico a me stesso in qualunque sistema di riferimento. Senza di me, l’universo non avrebbe una misura.
IL VETTORE (scattando in piedi, puntando il dito verso la porta): Caro Scalare, la tua è un’esistenza claustrofobica! Tu misuri il mondo stando fermo in una stanza chiusa. Ma il mondo si muove! Se una folla si accalca in piazza, a cosa serve sapere quanti sono se non sai dove stanno andando? Io possiedo una freccia, una direzione, un verso. Sono la Forza che spinge, la Velocità che scivola, il Vento che viaggia da Nord a Sud. Tu misuri il calore dell’incendio; io sono la traiettoria della freccia che l’ha appiccato. Io introduco lo spazio e l’azione! E quando ruotate il sistema di riferimento, le mie componenti cambiano in modo preciso e coerente, mi adatto, ma resto me stesso.
LO SCALARE: Adattarti? La chiami una virtù? Io non ho bisogno di adattarmi perché sono già perfetto.
IL COVETTORE (una figura speculare al Vettore, che indossa una maschera e osserva il tavolo con precisione): Fiero della tua freccia, vero Vettore? Tu ti muovi nello spazio come un proiettile cieco. Ma a cosa serve una freccia se non c’è una superficie da attraversare, un bersaglio da misurare? Tu sei l’azione, io sono la misura dell’azione. Tu sei la freccia, io sono il bersaglio graduato. Io non sono una linea con una punta: sono un insieme di piani paralleli, come le curve di livello di una mappa geografica. Quando tu mi attraversi, io conto quanti piani hai perforato e ti dico quanto vali. Per ogni vettore esiste uno spazio duale, e in quello spazio vivo io: sono una forma lineare. Mi dai un vettore, io restituisco un numero. Pensa al gradiente di una funzione, non è propriamente un vettore, è un covettore: dice quanto la funzione cresce nella direzione che gli dai. Noi siamo lo Yin e lo Yang della geometria: tu abiti lo spazio, io lo misuro.
IL VETTORE (un po’ scocciato): Tecnicamente in molti contesti siamo identificabili.
IL COVETTORE: In spazi piatti con metrica euclidea, sì. Sulle varietà curve, no. E l’universo è curvo.
IL DIFFEOMORFISMO (una figura fluida, quasi liquida, che cambia forma continuamente): Smettetela di vantarvi delle vostre strutture fisse. Scalari, Vettori, Covettori… siete tutte ‘fotografie’ di uno stato delle cose. Ma lo spazio si flette, si contrae, si evolve. Io sono la Trasformazione Geometrica pura. Prendi un foglio di gomma con sopra disegnato un cerchio, e tiralo, deformalo senza strapparlo: io sono la legge matematica che permette questa metamorfosi mantenendo intatte le relazioni vicinali. Non sono un oggetto nello spazio; sono il movimento dello spazio stesso che si rimodella. Nella relatività, io sono colui che garantisce che le leggi della fisica restino identiche anche se cambiamo totalmente il punto di vista.
II. La complessità: la trama delle relazioni
IL TENSORE (sorridendo con indulgenza, appoggiandosi allo schienale): Calma, ragazzo, abbassa quella freccia. Tu, Vettore, sei così fiero della tua linea retta, così unidirezionale, quasi ingenuo. Credi davvero che l’universo sia fatto di frecce isolate? La realtà è una trama interconnessa. Prendi un blocco di marmo sottoposto a una pressa: la forza non va solo in una direzione; la tensione si propaga, si deforma, risponde in modo diverso a seconda dell’angolo, della superficie, della sezione. Per descrivere questo stress, una sola freccia non basta. Servono matrici di frecce, relazioni tra vettori! Io non descrivo un’azione, descrivo il campo di forze contemporaneo. Uno scalare è un tensore di rango zero. Un vettore è un tensore di rango uno controvariante. Un covettore è un tensore di rango uno covariante. Io posso essere di rango due, tre, quattro, con componenti mescolate quante ne volete. Persino Einstein ha dovuto bussare alla mia porta: per curvare lo spaziotempo della Relatività Generale, gli è servito il mio Tensore d’Energia-Impulso. Io sono la struttura geometrica della complessità. Avete capito poco? Lo sospettavo. Allora vi spiego la differenza fra covariante e controvariante e perché è importante.
IL DIFFEOMORFISMO: ecco, bravo, cosa vuol dire covariante e controvariante?
IL TENSORE: Quando si cambia il sistema di coordinate, per esempio, si passa da metri a centimetri, oppure si ruota il sistema di assi, tutte le quantità che descrivono il mondo fisico devono “aggiornarsi” in qualche modo per restituire ancora la stessa realtà fisica. Il punto cruciale è che non tutte le quantità si aggiornano nello stesso modo. Alcune si aggiornano in un senso, altre nel senso opposto. Questa biforcazione è esattamente covarianza contro controvarianza.
Il vettore controvariante si trasforma “in modo opposto” alla trasformazione delle coordinate, da cui il nome contro-variante. Esempio concreto: immagina di misurare una velocità in metri al secondo, e poi decidi di cambiare unità di misura passando dai metri ai centimetri. Le coordinate si “restringono”, un metro diventa cento unità invece di una. Cosa succede al vettore velocità? Se prima un oggetto si muoveva a 2 metri al secondo, ora si muove a 200 centimetri al secondo. Il numero che rappresenta il vettore aumenta mentre l’unità di coordinata si restringe. Il vettore si trasforma in modo inverso rispetto alla trasformazione delle coordinate, quando le coordinate si rimpiccioliscono, le componenti del vettore si ingrandiscono proporzionalmente. Questo è il significato tecnico di controvariante: la trasformazione delle componenti usa la matrice inversa di quella usata per le coordinate. I vettori controvarianti sono gli oggetti che hanno una freccia, una direzione fisica nello spazio, spostamenti, velocità, accelerazioni, forze. Sono “frecce che vivono nello spazio”.
Il covettore si trasforma “nello stesso modo” della trasformazione delle coordinate, da cui co-variante, cioè che varia insieme, in sincronia. Esempio concreto: il gradiente di una funzione, per esempio la funzione che descrive la temperatura in ogni punto di una stanza. Se cambi le coordinate da metri a centimetri, il gradiente, che misura quanto velocemente la temperatura cambia per unità di distanza, si trasforma esattamente con la stessa proporzione della trasformazione delle coordinate, non con la sua inversa. Se le coordinate si restringono di un fattore 100, anche le componenti del gradiente si restringono di un fattore 100 nello stesso senso. I covettori sono gli oggetti che “misurano” piuttosto che “puntano”, sono come le linee di livello di una mappa che attribuiscono un numero a ogni direzione che le attraversa.
Pensa a un righello che si allunga. Se il righello che usi per misurare le distanze si allunga di un fattore 2 (passando, ad esempio, da centimetri a unità doppie), un vettore controvariante. come uno spostamento fisico, viene misurato con un numero che si riduce della metà, perché la stessa distanza fisica ora corrisponde a metà delle nuove unità. Un covettore, come un gradiente, si comporta nel modo opposto: il suo valore numerico si raddoppia, perché la variazione per unità di lunghezza raddoppia se l’unità di lunghezza raddoppia.
Quando affermo che il vettore è di rango uno controvariante e il covettore è di rango uno covariante, sto semplicemente collocandoli nella gerarchia generale dei tensori. Un tensore generico può avere indici di entrambi i tipi simultaneamente, alcuni indici controvarianti (in alto, per convenzione) e altri covarianti (in basso). Il vettore puro ha solo un indice controvariante. Il covettore puro ha solo un indice covariante. Un tensore come quello della curvatura di Riemann ha indici misti, sia in alto che in basso, perché descrive relazioni più complesse che combinano entrambi i comportamenti di trasformazione.
La ragione per cui questa distinzione è necessaria, e non un capriccio dei matematici, è che la fisica deve restare invariante rispetto alla scelta arbitraria del sistema di coordinate. Quando moltiplichi un vettore controvariante per un covettore, un’operazione che produce un numero, uno scalare, i due fattori di trasformazione (uno diretto, uno inverso) si cancellano esattamente a vicenda. Il risultato finale, il numero scalare, non dipende dal sistema di coordinate scelto. È proprio questo gioco di compensazione reciproca che rende la fisica scritta in termini tensoriali, come la Relatività Generale di Einstein, valida in qualunque sistema di riferimento, esattamente come il Covettore rivendicava nel dialogo.
LO SCALARE: ah, vedo che alla fine arrivate a me? Ma cos’è la superficie o la curvatura di Riemann?
IL TENSORE: Sebbene portino entrambe il nome del genio di Bernhard Riemann, la superficie di Riemann e la curvatura di Riemann sono due concetti profondamente diversi, che nascono in ambiti differenti della matematica (la prima nell’analisi complessa, la seconda nella geometria differenziale). Entrambe, però, condividono lo stesso scopo ultimo: superare i limiti dello spazio piatto euclideo per dare ordine a concetti complessi.
In essenza, una superficie di Riemann è un modo geometrico per rendere “monodrome” (cioè a un solo valore) le funzioni matematiche a più valori, come la radice quadrata o il logaritmo nel campo dei numeri complessi. Nel mondo dei numeri complessi, se calcoli la radice quadrata di un numero, ottieni sempre due risultati. Se provate a muovervi con continuità sul piano complesso girando intorno all’origine (z=0), quando tornate al punto di partenza scoprite che il valore della vostra radice è cambiato di segno. Ha cambiato “foglio”. Riemann risolse questo paradosso immaginando che il dominio della funzione non sia un semplice piano piatto, ma una superficie a più strati (fogli) sovrapposti e collegati tra loro da “tagli” (i tagli di diramazione). Quando giri intorno all’origine, non rimani sullo stesso piano, ma passi impercettibilmente al foglio sottostante attraverso una specie di rampa di scale a chiocciola. Una superficie di Riemann è proprio questo spazio geometrico sfaccettato e deformato (tecnicamente, una varietà complessa a una dimensione) su cui la funzione riacquista un valore unico e coerente in ogni punto. La Superficie di Riemann è un paesaggio geometrico a più strati nato per dare una casa coerente alle funzioni complesse polidrome.
Se la superficie di Riemann serve a districare le funzioni, la curvatura di Riemann serve a misurare quanto uno spazio curvo sia intrinsecamente distorto, indipendentemente da come lo guardiamo dall’esterno. Viene espressa matematicamente attraverso il Tensore di curvatura di Riemann, la cui complicata notazione ve la risparmio. Immaginatevi di trovarvi su una superficie e di avere in mano una freccia (un vettore). Iniziate a camminare lungo un percorso chiuso (un cerchio o un quadrato) mantenendo la freccia sempre parallela a sé stessa durante il movimento (operazione chiamata trasporto parallelo). Se lo spazio è piatto (come un foglio di carta), quando tornate al punto di partenza la freccia punta esattamente nella stessa direzione iniziale. Se lo spazio è curvo (come la superficie di una sfera), quando tornate al punto di partenza scoprite che la freccia è ruotata di un certo angolo rispetto all’inizio. Il tensore di curvatura di Riemann misura esattamente questa discrepanza: calcola di quanto ruota un vettore quando viene trasportato lungo un cammino chiuso infinitesimo. La curvatura di Riemann è lo strumento matematico centrale della Relatività Generale di Einstein. L’equazione di campo di Einstein usa una contrazione del tensore di Riemann (il tensore di Ricci) per mostrare come la presenza di materia ed energia curvi lo spazio-tempo. La gravità, in ultima analisi, non è una forza, ma l’effetto geometrico della curvatura di Riemann applicata allo spazio-tempo in cui ci muoviamo. La Curvatura di Riemann è l’indice numerico (tensoriale) che descrive quanto la geometria interna di uno spazio si discosti da quella piatta, rivelandosi visibilmente attraverso la deviazione dei vettori.
LA FORMA DIFFERENZIALE (alzandosi con grazia): Posso aggiungere qualcosa? Sono una generalizzazione del Covettore che vive non su un punto ma su varietà intere. Una forma di grado uno è un covettore. Una forma di grado due misura aree orientate. Una forma di grado tre misura volumi orientati. Con me si scrive il teorema di Stokes nella sua forma più generale, che unifica il teorema di Green, il teorema della divergenza e il teorema classico di Stokes in un’unica formula elegantissima. Maxwell scrisse le sue equazioni dell’elettromagnetismo in quattro righe usando me. Senza di me la geometria differenziale moderna non esisterebbe. Siete straniti? Non sapete cosa sono i tre teoremi che ho citato? Niente paura, ve li spiego in modo semplice.
Tutti e tre i teoremi dicono, in contesti diversi, la stessa cosa profonda: quello che succede dentro una regione è completamente determinato da quello che succede sul suo bordo. Non hai bisogno di sapere i dettagli minuti dell’interno, basta guardare cosa accade sul confine.
Il teorema di Green, il caso più semplice, nel piano. Immagina un campo recintato di forma irregolare. Dentro quel campo soffia un vento che cambia direzione e intensità da punto a punto. Il teorema di Green dice questo: se vuoi sapere quanto “vortica” il vento in totale dentro tutto il campo, quanto tende a far ruotare le cose, non devi misurare il vento in ogni singolo punto interno. Basta misurare quanto il vento “spinge lungo il perimetro” del campo, camminando tutto intorno al recinto. La somma di tutte le spinte lungo il bordo ti dà esattamente il totale della vorticosità interna.
Il teorema della divergenza, lo stesso principio, ma in tre dimensioni. Immagina una stanza chiusa con dentro dei piccoli ventilatori sparsi qua e là, alcuni che soffiano aria fuori da un punto, altri che la risucchiano. Il teorema della divergenza dice: se vuoi sapere la quantità totale di aria che viene “generata” o “consumata” dentro la stanza, non devi controllare ogni singolo ventilatore. Basta misurare quanta aria esce o entra attraverso le pareti della stanza, il flusso netto attraverso la superficie che la racchiude. Quel flusso attraverso le pareti ti dice esattamente quanto sta succedendo all’interno.
Il teorema di Stokes classico, la versione per le superfici curve. Immagina una superficie curva, come una cupola, e su di essa scorre una corrente, pensa all’acqua che scivola su una collina. Il teorema di Stokes classico dice: se vuoi sapere quanto la corrente “ruota” o “si attorciglia” sopra tutta la superficie della cupola, non devi misurare il vorticare in ogni singolo punto della cupola. Basta misurare quanto la corrente scorre lungo il bordo, il contorno, della cupola.
I tre teoremi sembrano parlare di cose diverse, vortici nel piano, flussi in 3D, correnti su superfici curve. Ma in realtà condividono esattamente la stessa struttura logica: l’informazione su una regione di qualunque dimensione e qualunque forma si può sempre recuperare integralmente dal suo bordo. Quello che fa la versione generale, espressa con le forme differenziali, è scrivere questa stessa idea in un linguaggio che non distingue più tra piano, spazio tridimensionale, superfici curve o dimensioni superiori. È come se invece di avere tre regole diverse per tre situazioni diverse, “per i campi piatti usa questa formula”, “per le stanze usa quest’altra”, “per le cupole usa quella”, si scoprisse che esiste un’unica regola universale che funziona automaticamente in qualsiasi dimensione, e che Green, la divergenza e Stokes classico sono semplicemente quella stessa regola applicata a casi particolari. Il bordo conosce tutto dell’interno. Questa è l’idea. E il “teorema di Stokes generalizzato” è semplicemente il modo più elegante e più generale di dire questa frase, valido per qualunque forma e qualunque numero di dimensioni, invece di dover dimostrare la stessa cosa tre volte, in tre linguaggi diversi, per tre casi particolari.
IL TENSORE: Sei anche tu, cara forma differenziale, un mio caso particolare, in un certo senso.
LA FORMA DIFFERENZIALE: Sì, ma sono un caso particolare con una struttura aggiuntiva molto ricca. L’antisimmetria. E quella fa tutta la differenza. Vedo dalle vostre facce perse che non sapete nemmeno cos’è l’antisimmetria. Ok, ecco una spiegazione for dummies.
Immagina di misurare l’area di un rettangolo individuato da due lati, un lato che va verso est e un lato che va verso nord. L’area è positiva, diciamo +6 metri quadrati. Ora chiediti: cosa succede se inverti l’ordine, cioè consideri prima il lato verso nord e poi quello verso est? Geometricamente il rettangolo è lo stesso identico rettangolo. Ma nel linguaggio delle forme differenziali, quell’area viene considerata con un segno che si inverte se scambi l’ordine dei due lati. Est e poi nord, dà +6. Nord e poi est, dà -6. L’antisimmetria è esattamente questo cambio di segno quando si scambia l’ordine dei fattori.
Perché ha senso questo segno? Pensa a un orologio. Se percorri il contorno di una superficie in senso antiorario, l’area “orientata” che racchiudi è positiva per convenzione. Se la percorri in senso orario, semplicemente scambiando l’ordine in cui consideri i due lati, l’area orientata diventa negativa, anche se la superficie fisica racchiusa è identica. L’antisimmetria cattura proprio questa nozione di orientamento, non solo “quanto è grande” una superficie, ma anche “in che senso la stai percorrendo”.
Un covettore semplice, quello che il personaggio covettore chiamava forma di grado uno, misura solo lunghezze lungo una direzione, e lì non c’è nessun problema di ordine perché c’è una sola direzione coinvolta. Ma una forma di grado due, quella che misura aree, coinvolge due direzioni contemporaneamente, e qui emerge la domanda: l’ordine in cui consideri le due direzioni conta o non conta? La risposta delle forme differenziali è: conta, e conta in un modo molto specifico perché scambiare l’ordine inverte il segno. Questa è la regola dell’antisimmetria scritta in formula: se chiami A la misura ottenuta in un ordine e B quella ottenuta nell’ordine inverso, allora B = -A.
Un covettore normale moltiplicato per un altro covettore normale, nella matematica ordinaria, non avrebbe questa proprietà: il prodotto ordinario è lo stesso indipendentemente dall’ordine. Le forme differenziali, invece, definiscono un tipo speciale di moltiplicazione, chiamato prodotto esterno, che è costruito apposta per essere antisimmetrico. È un po’ come se la moltiplicazione “ricordasse” la direzione in cui hai fatto le cose, e ti penalizzasse con un segno negativo se inverti l’ordine.
Nell’elettromagnetismo, il campo magnetico ha esattamente questa struttura, è legato a una rotazione, e le rotazioni hanno intrinsecamente un senso, un orientamento. Se inverti la direzione in cui osservi la rotazione, il segno della grandezza che la descrive si inverte. L’antisimmetria delle forme differenziali è il modo matematico più naturale e più economico di codificare questa caratteristica fisica, il fatto che le rotazioni, le superfici orientate, i flussi circolari abbiano sempre un “verso” che conta, non solo una “grandezza”. L’antisimmetria è semplicemente la regola “se scambi l’ordine, cambi il segno”. Cattura matematicamente l’idea intuitiva di orientamento, il senso in cui percorri un contorno, il verso in cui ruota qualcosa, distinguendolo dalla semplice grandezza. È esattamente ciò che fa la differenza tra un covettore ordinario, che misura solo “quanto”, e una forma differenziale di grado superiore, che misura “quanto e in che senso”.
L’OPERATORE (che era rimasto in piedi, trasformando continuamente tutto ciò che gli capitava a tiro): Permettetemi di intervenire. Io sono diverso da tutti voi, non descrivo uno stato, descrivo una trasformazione. Prendo una funzione e la mando in un’altra funzione. Il laplaciano è un operatore. La derivata è un operatore. In meccanica quantistica, ogni grandezza fisica osservabile, posizione, momento, energia, non è un numero ma un operatore che agisce sullo stato del sistema. L’equazione di Schrödinger è scritta con me. Heisenberg scoprì il principio di indeterminazione osservando che certi operatori non commutano, l’operatore posizione e l’operatore momento, applicati in ordine inverso, danno risultati diversi. Quella non-commutatività è la radice profonda dell’incertezza quantistica. … Ho capito. Avete bisogno di qualche chiarimento.
Nel linguaggio comune un’operazione è qualcosa come 3+5: prendi due numeri e ne produci un terzo. Un operatore matematico in questo contesto è diverso: prende una funzione intera, non un numero ma l’intera “forma” di qualcosa, come la distribuzione della temperatura in tutta una stanza, e restituisce un’altra funzione, anch’essa distribuita su tutto lo spazio. È come una macchina che non trasforma un singolo numero in un altro numero, ma trasforma un intero paesaggio di valori in un altro paesaggio di valori.
LO SCALARE: Il laplaciano è qualcosa di misterioso.
L’OPERATORE: Te lo spiego con parole semplici e un esempio concreto. Immagina una lastra di metallo riscaldata in modo irregolare, alcuni punti più caldi, altri più freddi. Hai quindi una funzione che dice “qual è la temperatura in ogni punto della lastra”. Il laplaciano è un operatore che, applicato a questa funzione temperatura, ti restituisce un’altra funzione che dice, per ogni punto, quanto la temperatura di quel punto è diversa dalla media delle temperature dei punti immediatamente vicini. Se in un punto la temperatura è molto più alta che nei punti circostanti, un picco isolato di calore, il laplaciano lì sarà fortemente negativo, segnalando “questo punto sta per perdere calore verso i vicini più freddi”. Se, invece, il punto è più freddo della media circostante, il laplaciano è positivo, segnalando “questo punto riceverà calore dai vicini”. Questo è esattamente il motivo per cui il laplaciano governa l’equazione del calore: descrive come la temperatura si diffonde nel tempo, livellandosi verso i punti vicini. È un operatore perché prende la mappa completa delle temperature e restituisce la mappa completa di “quanto ogni punto è diverso dal suo intorno”.
IL DIFFEOMORFISMO: Gli operatori possono commutare?
L’OPERATORE: Domanda molto interessante. Vediamo innanzitutto il significato intuitivo di commutazione. Due operazioni “commutano” se l’ordine in cui le applichi non cambia il risultato finale. Mettersi le calze e poi le scarpe non è la stessa cosa che mettersi le scarpe e poi le calze, l’ordine conta, quindi queste due azioni non commutano. Aggiungere zucchero al caffè e poi mescolare dà lo stesso risultato di mescolare e poi aggiungere zucchero, più o meno, l’ordine qui conta meno, quindi in questo caso approssimativamente commutano. In matematica, due operatori, chiamiamoli A e B, commutano se applicare prima A e poi B dà esattamente lo stesso risultato di applicare prima B e poi A. Non commutano se l’ordine fa differenza.
L’esempio che cito sopra, posizione e momento (il momento è essenzialmente la quantità di moto, legata alla velocità), è il caso più famoso di operatori che non commutano. In termini intuitivi: se prima “misuri dove è” una particella e poi “misuri quanto velocemente si muove”, ottieni un risultato leggermente diverso rispetto a misurare prima la velocità e poi la posizione. Non è un problema di strumenti imprecisi, è una caratteristica fondamentale della natura quantistica. L’atto stesso di misurare una delle due grandezze disturba l’altra, e l’ordine in cui esegui le misurazioni lascia un’impronta diversa sul sistema.
Questo è esattamente il principio di indeterminazione di Heisenberg formulato nel linguaggio degli operatori: la differenza tra “fare prima A poi B” e “fare prima B poi A” non è zero, e quella differenza diversa da zero è proprio la radice matematica del fatto che non puoi conoscere contemporaneamente posizione e velocità di una particella con precisione arbitraria. Più cerchi di restringere l’incertezza sulla posizione, più cresce necessariamente l’incertezza sulla velocità, e viceversa.
Un operatore, in sintesi, è una macchina che trasforma un’intera funzione in un’altra funzione, non semplicemente un numero in un altro numero. Il laplaciano è l’operatore che misura “quanto un punto si discosta dalla media dei suoi vicini”, fondamentale per descrivere fenomeni come la diffusione del calore. Due operatori commutano se l’ordine in cui li applichi non cambia il risultato finale; non commutano se l’ordine conta. E il fatto che posizione e velocità non commutino in meccanica quantistica è la radice matematica profonda del principio di indeterminazione, il limite fondamentale, non dovuto a strumenti imperfetti, alla conoscenza simultanea di certe coppie di grandezze fisiche.
LA FORMA DIFFERENZIALE: Il covettore mi ha detto nell’orecchio che lui ha sentito parlare di trasformata di Laplace e mai di laplaciano. Ma sono la stessa roba?
L’OPERATORE: No, non confondete l’operatore laplaciano con la trasformata di Laplace. Sono due cose diverse, anche se il nome condiviso (entrambi da Pierre-Simon Laplace) genera comprensibile confusione. Vale la pena chiarire bene la differenza perché sono strumenti con scopi quasi opposti.
Il laplaciano, come abbiamo visto, prende una funzione che descrive qualcosa distribuito nello spazio, la temperatura in una lastra, la pressione in un fluido, un campo elettrico, e restituisce un’altra funzione che misura “quanto ogni punto si discosta dalla media dei suoi vicini”. Tecnicamente è la somma delle derivate seconde della funzione rispetto a ciascuna direzione spaziale. Lavora nello spazio, coinvolge le coordinate x, y, z di dove ti trovi.
La trasformata di Laplace è qualcosa di completamente diverso nello scopo. Prende una funzione del tempo, per esempio come varia una corrente elettrica nel tempo, o come decade un segnale, e la trasforma in una funzione di una nuova variabile, di solito chiamata s, che non rappresenta più il tempo ma una combinazione di frequenza e tasso di decadimento. L’idea intuitiva è questa: certi problemi che nel tempo sono complicati da risolvere, soprattutto le equazioni differenziali, quelle che descrivono come una grandezza cambia nel tempo in base alla propria velocità di cambiamento, diventano molto più semplici se li guardi in questo nuovo “spazio s”. Le operazioni di derivazione, che nel tempo sono complesse, diventano semplici moltiplicazioni nello spazio trasformato. Risolvi il problema semplificato, poi torni indietro con la trasformata inversa per ottenere la risposta nel tempo originale. È lo strumento principale usato dagli ingegneri elettronici ed elettrici per analizzare circuiti, sistemi di controllo, segnali, perché trasforma equazioni differenziali complicate in equazioni algebriche molto più maneggevoli.
LA FORMA DIFFERENZIALE: Il laplaciano dice “come questo punto si confronta con i punti vicini nello spazio, in questo istante”. La trasformata di Laplace dice “riscriviamo questa storia temporale in un linguaggio diverso, dove i calcoli sono più facili, per poi tradurla di nuovo indietro”.
L’OPERATORE: Ben detto, forma differenziale. Condividono il nome per ragioni storiche, Laplace lavorò su entrambi i concetti, oltre a moltissimo altro nella fisica matematica del Settecento e Ottocento, ma sono strumenti distinti, usati in contesti distinti, con obiettivi distinti.
LO SCALARE (disorientato): Quindi, caro operatore, sei una specie di tensore che agisce su funzioni invece che su vettori?
L’OPERATORE: In un certo senso, ma lo spazio su cui agisco è infinito-dimensionale. Quello cambia tutto.
III. L’enigma: il ritorno riflessivo
LO SPINORE (fino ad ora rimasto in ombra, interviene con voce sottile e un sorriso enigmatico): Magnifico, Tensore. Hai costruito una bellissima gabbia geometrica per i corpi macroscopici. Ma se scendiamo nel profondo dell’infinitamente piccolo, dove la materia si genera, le tue bellissime matrici non bastano più. Lì, comando io.
IL VETTORE (sospettoso): E tu chi saresti? Un vettore più elegante?
LO SPINORE: Molto di più. Voi siete legati alla superficie visibile delle cose. Se tu, Vettore, fai un giro completo di 360° su te stesso, torni a guardare lo stesso punto, identico a prima. La tua geometria è ovvia. Io no. Sono l’ente quantistico fondamentale. Se mi fai fare un giro di 360°, io cambio di segno, divento il mio opposto! Ho bisogno di una rotazione di 720°, di due giri completi del mondo, per tornare al punto di partenza. Sono l’oggetto matematico che Dirac dovette inventare per scrivere la sua equazione relativistica dell’elettrone. E da quell’equazione saltò fuori, come conseguenza matematica pura, l’esistenza dell’antimateria. Non come ipotesi, come necessità.
LO SCALARE (scettico): E a cosa serve una bizzarria simile? Sembra un gioco di prestigio.
LO SPINORE: Senza questa ‘bizzarria’, la materia non esisterebbe. Io descrivo lo spin degli elettroni. È la mia rotazione doppia che impedisce agli elettroni di collassare tutti nello stesso punto, permettendo agli atomi di avere una struttura, una varietà, e a voi di essere seduti qui. Voi descrivete il mondo macroscopico delle relazioni; io sono la condizione di possibilità della materia stessa. Sono il ritorno riflessivo, l’autocoscienza profonda dell’infinitamente piccolo.
IL VETTORE: Cosa intendi quando parli di collassare?
LO SPINORE: Immagina un atomo con molti elettroni, per esempio l’atomo di ferro, con ventisei elettroni. Tutti questi elettroni sono attratti dal nucleo positivo al centro, come palline attratte verso il fondo di una conca. Se gli elettroni si comportassero come semplici palline cariche negativamente attratte da una carica positiva, ci aspetteremmo che tutti finiscano nello stato di minima energia possibile, il più vicino possibile al nucleo, tutti ammassati nello stesso identico stato. Una specie di collasso totale verso il centro. Ma questo non succede. Gli elettroni si distribuiscono in strati, orbite, livelli energetici diversi, è esattamente questa distribuzione organizzata che dà origine alla tavola periodica degli elementi, alla chimica, alla struttura della materia come la conosciamo.
Wolfgang Pauli scoprì che due elettroni non possono mai trovarsi esattamente nello stesso stato quantistico, non possono avere tutti i medesimi numeri che li caratterizzano completamente, incluso lo spin. È come se la natura imponesse una regola: “in questa stanza, ogni elettrone deve avere un letto diverso, nessuno può condividere esattamente lo stesso letto con un altro”. Lo spin, quella proprietà legata alla “rotazione” descritta dagli spinori, può assumere solo due valori per l’elettrone, convenzionalmente chiamati “su” e “giù”. Questo significa che in ogni livello energetico possono stare al massimo due elettroni, uno con spin su, uno con spin giù, mai più di due, e mai due con lo stesso spin nello stesso livello.
Una volta che il livello energetico più basso è “pieno”, occupato dai suoi due elettroni con spin opposti, il terzo elettrone non può più entrarci, anche se energeticamente sarebbe la posizione più favorevole. È costretto a occupare il livello energetico successivo, leggermente più lontano dal nucleo. Il quarto elettrone si aggiunge lì con spin opposto, poi il quinto deve salire ancora più in alto, e così via. Il risultato è che gli elettroni si “impilano” in una struttura a strati invece di ammassarsi tutti nel punto di energia minima. È questo impilamento forzato, dovuto esclusivamente all’esistenza dello spin e alla regola che lo accompagna, che dà agli atomi il loro volume, la loro struttura, la loro capacità di formare legami chimici diversi a seconda di quanti elettroni hanno negli strati esterni.
IL DIFFEOMORFISMO: Tutto molto interessante, ma c’entra qualcosa con la tua strana proprietà di tornare nello stesso stato dopo due rotazioni invece che dopo una?
LO SPINORE: Il motivo per cui lo spin ha solo due valori possibili, e il motivo per cui esiste il principio di esclusione, sono profondamente legati alla mia stranezza geometrica, cioè alla necessità di una rotazione di 720° invece di 360° per tornare allo stato iniziale. Le particelle che hanno questo tipo di comportamento geometrico, chiamate fermioni, di cui l’elettrone è l’esempio principale, obbediscono automaticamente al principio di esclusione di Pauli come conseguenza matematica della loro natura di spinori. È un teorema profondo della fisica teorica, chiamato teorema spin-statistica, che collega indissolubilmente la “stranezza” geometrica dello spinore al comportamento sociale degli elettroni che si rifiutano di stare ammassati nello stesso stato. Senza lo spin, e senza la regola di esclusione che ne deriva, tutti gli elettroni di un atomo collasserebbero nello stato di energia più basso, ammassandosi tutti insieme vicino al nucleo. Gli atomi sarebbero puntiformi, indistinguibili, incapaci di formare le strutture complesse che servono per costruire molecole, materiali, e in definitiva la materia solida che possiamo toccare, incluse le sedie su cui siamo seduti in questo momento.
IL TENSORE: Devo ammettere che hai ragione. Io posso descrivere lo spazio-tempo, ma per descrivere le particelle con spin semi-intero ho bisogno di te. La relatività e la meccanica quantistica si incontrano proprio lì, negli spinori.
LA FORMA DIFFERENZIALE: E si incontrano anche in me, la teoria di gauge che descrive le forze fondamentali è scritta in forme differenziali.
LO SCALARE: Altra novità. Cos’è la teoria di gauge di cui parli, forma differenziale?
LA FORMA DIFFERENZIALE: È uno dei concetti più importanti della fisica teorica del Novecento, e l’intuizione di fondo è più accessibile di quanto il nome lasci pensare.
Immagina di dover descrivere l’altezza di una montagna. Puoi misurarla a partire dal livello del mare, oppure a partire dalla base della montagna stessa, oppure da qualunque altro punto di riferimento tu scelga arbitrariamente. Il numero che ottieni cambia a seconda della scelta, ma nessuna di queste scelte cambia la montagna reale. Quello che conta fisicamente non è il numero assoluto dell’altezza, ma le differenze di altezza, le pendenze, ciò che resta invariato indipendentemente da dove hai messo lo zero. Questa libertà di scegliere arbitrariamente il punto di riferimento, senza che la scelta cambi nulla della realtà fisica, è l’idea seme della teoria di gauge. La parola “gauge” significa letteralmente “calibro”, “misura di riferimento”, il nome stesso richiama questa libertà di calibrazione arbitraria.
Nell’elettromagnetismo esiste una grandezza chiamata potenziale elettrico, qualcosa di simile all’altezza della montagna, ma per la carica elettrica. Puoi scegliere arbitrariamente dove mettere lo “zero” del potenziale elettrico, esattamente come scegli dove mettere lo zero dell’altezza. Questa scelta arbitraria si chiama “trasformazione di gauge”. La scoperta profonda è che le leggi fisiche dell’elettromagnetismo e le equazioni di Maxwell, restano esattamente identiche indipendentemente da quale gauge, quale scelta arbitraria di riferimento, si decida di usare.
Qui arriva la parte sorprendente che rende la teoria di gauge centrale nella fisica del Novecento. I fisici hanno scoperto che richiedendo che certe leggi fisiche restino esattamente invariate sotto questo tipo di trasformazioni arbitrarie, chiamando questa richiesta “invarianza di gauge”, si è costretti, quasi per necessità matematica, a introdurre un campo di forza che compensa esattamente la trasformazione. In altre parole: l’esistenza stessa del campo elettromagnetico, la forza che fa attrarre o repellere le cariche, può essere vista come la conseguenza necessaria del richiedere che le equazioni della fisica non dipendano da scelte arbitrarie di riferimento. Non hai bisogno di postulare la forza elettromagnetica come ingrediente separato, emerge automaticamente dalla richiesta di invarianza di gauge.
Questa stessa idea, richiedere invarianza sotto trasformazioni arbitrarie locali, è stata poi estesa con grandissimo successo alle altre forze della natura. La forza nucleare debole e la forza nucleare forte, che governano la radioattività e tengono insieme i nuclei atomici, sono entrambe descritte come “teorie di gauge”, la loro esistenza e le loro proprietà matematiche emergono dalla stessa identica logica usata per l’elettromagnetismo, semplicemente applicata a simmetrie più complesse e più ricche di quella semplice usata per l’elettromagnetismo. Il Modello Standard della fisica delle particelle, la teoria più accurata e più verificata sperimentalmente che possediamo sulle particelle elementari, è essenzialmente un grande edificio costruito interamente su questo principio di invarianza di gauge applicato a tre simmetrie diverse, una per ciascuna delle tre forze non-gravitazionali conosciute.
E ora vi spiego perché entro in gioco io, la Forma Differenziale. Il motivo è tecnico ma comprensibile nel suo nucleo. Il campo elettromagnetico, quello che, come abbiamo visto, emerge dalla richiesta di invarianza di gauge, ha esattamente la struttura di una forma differenziale con quella proprietà di antisimmetria che avevamo discusso. Il campo magnetico, in particolare, è intrinsecamente legato a una rotazione, a un orientamento, esattamente il tipo di oggetto che l’antisimmetria delle forme differenziali è progettata per descrivere con naturalezza. Le equazioni di Maxwell, scritte nel linguaggio delle forme differenziali, occupano davvero solo poche righe, è in questo senso preciso che, in quanto Forma differenziale, posso rivendicare un ruolo nella teoria di gauge.
La teoria di gauge nasce dall’osservazione che certe scelte di riferimento sono arbitrarie e non dovrebbero influenzare la fisica reale. Richiedere matematicamente questa indipendenza dalla scelta arbitraria, applicata punto per punto nello spazio, costringe quasi magicamente all’esistenza di un campo di forza che compensa la trasformazione. È il principio organizzativo più profondo dietro tre delle quattro forze fondamentali della natura, elettromagnetismo, forza debole, forza forte, manca solo la gravità, che ha una storia geometrica leggermente diversa legata alla Relatività Generale.
L’OPERATORE: E le osservabili quantistiche sono tutte me.
IL DIFFEOMORFISMO: E senza le mie trasformazioni nessuno di voi sopravvive al cambiamento di prospettiva.
IL VETTORE (guardandosi intorno): Quindi siamo tutti necessari.
LO SPINORE: Esattamente. Ciascuno di noi descrive un aspetto diverso della realtà. E la realtà è abbastanza ricca da avere bisogno di tutti.
LO SCALARE: Scusatemi, io finora sono il più ingenuo fra voi, ma ora mi gira per la testa una domanda su un concetto che non credo sia chiaro a tutti, quello di gradiente, che è comparso più volte nel dibattito. Cos’è il gradiente di un vettore? È il covettore?
IL COVETTORE: Il gradiente non è il gradiente “di un vettore”, è il gradiente di una funzione scalare. Questa distinzione è cruciale.
Immagina una funzione che assegna un numero a ogni punto dello spazio, per esempio la temperatura in ogni punto di una stanza, o l’altitudine in ogni punto di un paesaggio montuoso. Questa è una funzione scalare: a ogni punto associa un singolo numero, non una freccia. Il gradiente di questa funzione è un oggetto che ti dice, per ogni punto, in quale direzione la funzione cresce più rapidamente e con quale intensità. Se sei su una montagna e vuoi salire il più velocemente possibile, il gradiente dell’altitudine in quel punto ti indica esattamente la direzione da prendere.
Dov’è l’equivoco nella tua domanda? Hai chiesto se il covettore è “il gradiente del vettore”, ma il gradiente non si applica a un vettore, si applica a una funzione scalare. Il gradiente produce qualcosa che si comporta come un covettore, ma parte da uno scalare, non da un vettore.
La catena corretta è questa: hai una funzione scalare (la temperatura, l’altitudine), applichi l’operazione “gradiente”, ottieni un covettore (o, se preferisci immaginarlo visivamente in uno spazio con una metrica semplice, qualcosa che assomiglia a un vettore ma si comporta in modo diverso sotto trasformazione di coordinate, come spiegato in precedenza).
Perché il gradiente è “naturalmente” un covettore e non un vettore? Qui sta il punto più sottile e più interessante. Pensa di nuovo alla montagna. Se cambi l’unità di misura della distanza, diciamo, passi dai metri ai chilometri, l’altitudine massima che puoi raggiungere percorrendo “un’unità di distanza” cambia. Se prima dicevi “salendo di un metro guadagno 0,1 metri di altezza”, ora con i chilometri diresti “salendo di un chilometro guadagno 100 metri di altezza”, il numero che rappresenta la pendenza si trasforma in un modo che dipende inversamente da come hai cambiato l’unità di lunghezza. Questo è esattamente il comportamento covariante descritto prima, il gradiente si trasforma “in accordo” con la trasformazione delle coordinate, non in modo inverso come fa un vero vettore spostamento.
Riformuliamo allora la tua intuizione in modo corretto. Quello che puoi dire correttamente è questo: il covettore è generato dal gradiente di una funzione scalare, non “è il gradiente del vettore”. Oppure, più precisamente per il caso generale: ogni volta che hai una funzione scalare e ne calcoli il gradiente, l’oggetto che ottieni vive naturalmente nello spazio dei covettori, non nello spazio dei vettori.
Vale la pena ribadire la relazione generale, di cui il gradiente è solo l’esempio più famoso e intuitivo. Un covettore, in generale, è un oggetto che “mangia” un vettore e restituisce un numero, è una macchina che misura i vettori. Il gradiente è il covettore che, applicato a un vettore-spostamento, ti dice “quanto velocemente cresce la funzione se ti muovi in quella direzione e con quella intensità”. Se ti sposti verso la cima della montagna, il gradiente applicato al tuo vettore-spostamento ti restituisce un numero positivo grande. Se ti sposti lungo una curva di livello, restando alla stessa altitudine, il gradiente applicato a quel vettore-spostamento ti restituisce zero, perché non stai cambiando altitudine.
Insomma, caro Scalare, hai colto un’intuizione vera ma l’hai formulata al contrario. Il gradiente non parte da un vettore per arrivare a un covettore; parte da una funzione scalare e produce naturalmente un covettore. Il gradiente è probabilmente l’esempio più semplice e più pedagogicamente utile per capire cosa sia un covettore, proprio perché tutti abbiamo un’intuizione fisica immediata di cosa significhi “la pendenza più ripida” su una collina.
Silenzio. Per una volta, nessuno obietta.
Riassunto per il lettore (rigorosamente in ordine gerarchico):
Lo Scalare vi dice quanto pesa il tavolo, un numero puro, ad esempio 20 kg.
Il Vettore vi dice in quale direzione lo stiamo spingendo, un numero, una direzione, un verso.
Il Covettore è il partner perfetto del vettore. Se il vettore è una freccia che si muove, il covettore è come una serie di linee di livello, come quelle delle montagne sulle mappe, che misurano quanta ‘salita’ o quanta distanza il vettore ha percorso.
Il Diffeomorfismo è l’ente che descrive le deformazioni fluide dello spazio. Immagina di deformare uno spazio di gomma: questo operatore descrive matematicamente come cambiano i vettori e i tensori durante la deformazione.
Il Tensore vi dice come il legno del tavolo si flette, si comprime e resiste internamente sotto il peso di un carico pesante, analizzando tutte le direzioni contemporaneamente.
La Forma differenziale è un covettore evoluto, capace di misurare aree e volumi orientati su superfici curve: è il linguaggio con cui Maxwell scrisse le equazioni dell’elettromagnetismo.
L’Operatore non descrive uno stato ma una trasformazione: in meccanica quantistica, ogni grandezza osservabile — posizione, energia, momento — è un operatore.
Lo Spinore vi spiega come sono fatti gli elettroni degli atomi di quel legno, i quali, girando in quel modo segreto a 720°, impediscono alle vostre mani di attraversare il tavolo e di cadere nel vuoto.
Lo Scalare:
si scrive semplicemente come una lettera normale, senza decorazioni — a, m, T. Nessun simbolo speciale perché non ha né direzione né struttura interna da segnalare.
Il Vettore:
le convenzioni più comuni sono tre. La lettera in grassetto — v. La lettera con una freccia sopra — v⃗. Oppure, nel linguaggio della relatività e della geometria differenziale, una lettera con un indice in alto: vⁱ, dove i può assumere valori come 1, 2, 3 per indicare le sue componenti nelle diverse direzioni dello spazio. Questo indice in alto — detto controvariante — è proprio la traccia visibile di ciò che dicevamo sulla trasformazione “inversa” rispetto alle coordinate.
Il Covettore:
qui la notazione diventa il modo più immediato per vedere la differenza dal vettore: si usa un indice in basso invece che in alto — wᵢ. Questa scelta non è estetica: è proprio la convenzione universalmente adottata per segnalare il comportamento covariante, in contrapposizione all’indice in alto del vettore. Quando vedi un indice in basso, il matematico ti sta dicendo “questo oggetto si trasforma nello stesso senso delle coordinate”. L’altro modo comune di scrivere un covettore è come un differenziale — per esempio il gradiente della funzione f si scrive df, e le sue componenti sono ∂f/∂xⁱ — la derivata parziale rispetto a ciascuna coordinata, sempre con l’indice naturalmente in basso.
Il Tensore:
un tensore generico porta entrambi i tipi di indici contemporaneamente, a seconda di quanti ne ha e di che tipo. Per esempio un tensore con due indici controvarianti e uno covariante si scrive Tⁱʲₖ — due in alto, uno in basso. Il numero totale di indici è il “rango” di cui parlava il personaggio nel dialogo. Un tensore di curvatura nella relatività generale, come quello di Riemann, si scrive tipicamente Rⁱⱼₖₗ — con indici misti che riflettono la sua complessità.
La Forma differenziale: le forme differenziali di grado superiore si scrivono usando il simbolo del prodotto esterno, indicato con un cuneo — ∧ — che è proprio il simbolo costruito apposta per incorporare la proprietà di antisimmetria di cui parlavamo. Una forma di grado due, per esempio, si scrive come combinazione di termini come dx ∧ dy — e la proprietà fondamentale di questo prodotto cuneo è che dx ∧ dy = −dy ∧ dx, cioè scambiare l’ordine inverte il segno, esattamente l’antisimmetria discussa. L’operazione che genera forme di grado superiore a partire da forme di grado inferiore si chiama derivata esterna, indicata con la lettera d — la stessa d che vedi nel gradiente df.
L’Operatore:
gli operatori si indicano spesso con un cappuccio sopra la lettera per distinguerli dalla grandezza fisica numerica corrispondente — per esempio in meccanica quantistica l’operatore posizione si scrive x̂ (con il cappuccio), per distinguerlo dal numero x che rappresenterebbe semplicemente una posizione misurata. Il laplaciano ha un proprio simbolo speciale, il triangolo maiuscolo — ∇² oppure semplicemente Δ (la lettera greca delta maiuscola). Il simbolo ∇ da solo, senza l’elevamento al quadrato, è il simbolo del gradiente di cui parlavamo prima — la stessa lettera “nabla” che, applicata due volte in un certo senso tecnico, dà il laplaciano.
Spinore:
non esiste un simbolo grafico universalmente riconoscibile come il cuneo delle forme differenziali — gli spinori si indicano spesso con lettere greche dotate di un indice speciale, tipicamente scritto con lettere greche minuscole indicizzate come ψₐ (psi), proprio la stessa lettera che Dirac usò nella sua celebre equazione, (iγᵘ∂ᵘ − m)ψ = 0 — dove le lettere γᵘ rappresentano speciali matrici, chiamate matrici di Dirac, necessarie per scrivere l’equazione in un modo compatibile con la struttura particolare degli spinori.
La sintesi della logica generale.
C’è una logica complessiva dietro tutte queste convenzioni: gli indici in alto segnalano sempre un comportamento di tipo “vettore” — controvariante. Gli indici in basso segnalano sempre un comportamento di tipo “covettore” — covariante. Il cuneo ∧ segnala sempre l’antisimmetria delle forme differenziali. Il cappuccio sopra una lettera segnala sempre che stai trattando con un operatore quantistico, non con un numero misurato. Una volta che riconosci questi pochi segnali grafici, puoi orientarti immediatamente in qualunque formula della fisica matematica, anche senza conoscere il contesto specifico.
Rispondi