In matematica e fisica il gruppo di Lorentz è un gruppo costituito dall'insieme di tutte le trasformazioni di Lorentz. Si tratta di un sottogruppo del gruppo di Poincaré, il quale include anche le traslazioni del sistema di riferimento. Prende il nome dal fisico olandese Hendrik Lorentz.
Il gruppo di Lorentz è lo sfondo in cui vengono trattati tutti i fenomeni classici e quantistici (a parte quelli gravitazionali).
Ad esempio le seguenti leggi, equazioni e teorie rispettano la simmetria di Lorentz:
Il gruppo di Lorentz esprime la simmetria fondamentale dello spazio e del tempo per tutte le leggi della natura. Nella fisica della relatività generale, nei casi che coinvolgono regioni di spaziotempo abbastanza piccole dove le variazioni gravitazionali sono trascurabili, le leggi fisiche sono invarianti di Lorentz nello stesso modo in cui lo sono le leggi della relatività ristretta.
Il gruppo di Lorentz è pertanto estremamente importante in fisica, e così è lo studio delle sue rappresentazioni.
Il gruppo di Poincaré è il gruppo formato dalle isometrie dello spazio di Minkowski, ovvero l'insieme di trasformazioni che lasciano invariato l'intervallo:
![{\displaystyle ds^{2}(x,y)=(x_{0}-y_{0})^{2}-(x_{1}-y_{1})^{2}-(x_{2}-y_{2})^{2}-(x_{3}-y_{3})^{2))](https://wikimedia.org/api/rest_v1/media/math/render/svg/13d8d51f07f37a359ef84c601ae9ee957c4f3066)
Il gruppo di Lorentz è definito come il gruppo ortogonale generalizzato O(1,3), ovvero il gruppo di Lie che su
conserva la forma quadratica:[1]
![{\displaystyle ds^{2}=c^{2}dt^{2}-dx^{2}-dy^{2}-dz^{2}\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d224136b54da4e28f4b204743fe46e84b9eddd0)
Il gruppo di Lorentz è pertanto il sottogruppo del gruppo di Poincarè formato dalle isometrie che lasciano l'origine del sistema di riferimento fissata. Per tale motivo è anche detto gruppo di Lorentz omogeneo[2], mentre il gruppo di Poincarè è talvolta detto gruppo di Lorentz non omogeneo.
Le quantità che si conservano in seguito alle trasformazioni del gruppo di Lorentz sono dette covarianti. Le equazioni che descrivono i fenomeni naturali sono covarianti.[3]
Nella configurazione detta configurazione standard si assume che
abbia i tre assi spaziali paralleli a quelli di
, che il sistema
si muova con velocità
lungo l'asse
di
e che le origini dei due sistemi di riferimento coincidano per
. In tale contesto le trasformazioni di Lorentz assumono la forma:[4]
![{\displaystyle {\begin{cases}t'=\gamma \left(t-{\frac {v}{c^{2))}x\right)\\x'=\gamma \left(x-vt\right)\\y'=y\\z'=z\end{cases))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/260026aef588b69c683cf6c380267c49b3ec252c)
dove:
![{\displaystyle \gamma ={\frac {1}{\sqrt {1-{\frac {v^{2)){c^{2))))))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abacf009fa4db767f015172584c8fc89e7725745)
è chiamato fattore di Lorentz, mentre
è la velocità della luce nel vuoto. Introducendo il quadrivettore:
![{\displaystyle x^{\mu }={\begin{bmatrix}ct\\x\\y\\z\end{bmatrix))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e99d38899898eaaaafd502b4e3840dae3be3f44)
le quattro equazioni riportate sopra possono essere espresse attraverso una relazione matriciale:
![{\displaystyle x'^{\lambda }=\Lambda ^{\lambda }{}_{\mu }x^{\mu ))](https://wikimedia.org/api/rest_v1/media/math/render/svg/153be78c641c8d5f4887c7c18e3a4e7726757a72)
dove
è la matrice di trasformazione relativa alle trasformazioni in configurazione standard lungo
:
![{\displaystyle {\begin{bmatrix}ct'\\x'\\y'\\z'\end{bmatrix))={\begin{bmatrix}\gamma &-{\frac {v}{c))\gamma &0&0\\-{\frac {v}{c))\gamma &\gamma &0&0\\0&0&1&0\\0&0&0&1\\\end{bmatrix)){\begin{bmatrix}ct\\x\\y\\z\end{bmatrix))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/056f40c7425f8b463039672e96fa682359543a13)
Per
, come dimostrato nel successivo paragrafo, valgono le seguenti condizioni:
Le trasformazioni
con
appartengono al gruppo proprio di Lorentz, che è formato dai boosts (trasformazioni fra due sistemi inerziali in moto relativo) e dalle rotazioni spaziali, mentre quelle con
sono dette trasformazioni improprie di Lorentz, e non formano un gruppo. Queste ultime includono riflessioni spaziali e/o temporali tali da alterare la parità del sistema dei quattro assi di riferimento. Nel programma di Erlangen, lo spazio di Minkowski può essere visto come la geometria definita dal gruppo di Poincaré che combina le trasformazioni di Lorentz con le traslazioni.
Una trasformazione di coordinate spazio-temporali
che lasci invariato l'intervallo:
![{\displaystyle ds^{2}(x,y)=(x_{0}-y_{0})^{2}-(x_{1}-y_{1})^{2}-(x_{2}-y_{2})^{2}-(x_{3}-y_{3})^{2))](https://wikimedia.org/api/rest_v1/media/math/render/svg/13d8d51f07f37a359ef84c601ae9ee957c4f3066)
è detta trasformazione di Lorentz. Ponendo
si ha che una trasformazione di Lorentz lascia invariata la forma:
![{\displaystyle s^{2}(x,0)=x_{0}^{2}-x_{1}^{2}-x_{2}^{2}-x_{3}^{2))](https://wikimedia.org/api/rest_v1/media/math/render/svg/558e27a4166e9410c09940b679dfdabfc8bdc79e)
Se si definisce:
![{\displaystyle x^{\mu }\equiv (x_{0},x_{1},x_{2},x_{3})=(x_{0},{\overrightarrow {x)))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cc80b40bdfed7e16f6252478f8f4719b3d5787e)
e:
![{\displaystyle x_{\mu }\equiv (x_{0},-x_{1},-x_{2},-x_{3})=(x_{0},-{\overrightarrow {x)))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1413f38886722986ec368749598d966e9de8b30)
si ha che
. Si definisce inoltre una matrice a 4 righe e 4 colonne
tale che
(utilizzando la convenzione di somma sugli indici ripetuti: quando in un termine sono presenti due indici uguali è sottintesa una somma su tutti i possibili valori degli indici, in questo caso
).
è il tensore metrico dello spazio di Minkowski e vale:
![{\displaystyle \eta ={\begin{pmatrix}1&0&0&0\\0&-1&0&0\\0&0&-1&0\\0&0&0&-1\\\end{pmatrix))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/718e5c51c458c9c4705cbf00c860525a41c40fc0)
Sia allora
una trasformazione di coordinate nello spazio-tempo
.
sarà tale per cui
.
è legato ad
dalla relazione matriciale
che in componenti viene scritta come
. Non resta allora che imporre che valga
e ricavare le condizioni su
affinché
appartenga al gruppo delle trasformazioni di Lorentz:
![{\displaystyle x^{\mu }x_{\mu }=x'^{\mu }x'_{\mu }=\underbrace ((\Lambda ^{\mu ))_{\nu }x^{\nu )) _{x'^{\mu ))\overbrace {\eta _{\mu \delta }\underbrace ((\Lambda ^{\delta ))_{\rho }\underbrace {\eta ^{\rho \sigma }x_{\sigma )) _{x^{\rho ))} _{x'^{\delta ))} ^{x'_{\mu ))={\Lambda ^{\mu ))_{\nu }\eta _{\mu \delta }{\Lambda ^{\delta ))_{\rho }\eta ^{\rho \sigma }x^{\nu }x_{\sigma ))](https://wikimedia.org/api/rest_v1/media/math/render/svg/24360ce2bdff37c342296e7787ff6ad5bb165082)
Risulta evidente che il primo e l'ultimo termine non saranno uguali per una generica scelta di
. Infatti, affinché l'uguaglianza risulti verificata si deve richiedere che la matrice:
(dove si può notare che
sono indici liberi) corrisponda alla matrice identità in 4D
dove
è la Delta di Kronecker. Tornando a scrivere le relazioni in forma matriciale, e notando che il termine
corrisponde ad un prodotto colonna per colonna e quindi bisogna prendere la trasposta di
, si nota che
e diviene in questo modo chiara la condizione su
:
![{\displaystyle \Lambda ^{tr}\eta \Lambda \eta =I_{4}\qquad \Lambda ^{tr}\eta \Lambda =\eta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0953f3115817070b35f3b371d53648eaf52a5cc1)
Questa ultima forma, dunque, fornisce la definizione di trasformazione di Lorentz. Ricordando la regola del prodotto dei determinanti:
, si ricava (notare che
) dalla definizione di
che
. È giusto sottolineare che
è una condizione necessaria, ma non sufficiente: esistono matrici a determinante
che non appartengono al gruppo di Lorentz.
Si è quindi definito il gruppo delle trasformazioni di Lorentz, ma non si è verificato che le matrici
formino effettivamente un gruppo. Si deve verificare l'esistenza dell'identità, dell'inverso, dell'associatività della composizione degli elementi del gruppo e il fatto che la composizione di elementi non faccia uscire fuori dal gruppo. L'associatività è immediatamente verificata dal fatto che la composizione tra gli elementi del gruppo è l'usuale prodotto tra matrici (che è associativo). L'identità del gruppo è
che appartiene al gruppo perché
soddisfa alla definizione delle trasformazioni
. L'esistenza della trasformazione inversa
è assicurata dal fatto che
. Rimane quindi da verificare che, se
sono due trasformazioni di Lorentz, anche la composizione
è a sua volta una trasformazione di Lorentz. Si deve cioè calcolare:
![{\displaystyle (\Lambda _{1}\Lambda _{2})^{tr}\eta \Lambda _{1}\Lambda _{2}=\Lambda _{2}^{tr}\Lambda _{1}^{tr}\eta \Lambda _{1}\Lambda _{2}=\Lambda _{2}^{tr}\eta \Lambda _{2}=\eta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1639f99e0720c180a2aef04cd0fc79903612dbf5)
e quindi è verificato che
è ancora una trasformazione di Lorentz.
Si supponga di avere una funzione continua che associa ai reali certe trasformazioni di Lorentz:
con l'accortezza di avere
. Si vede come con solo questi strumenti non sia possibile raggiungere tutti gli elementi di
, ovvero non per tutte le trasformazioni di Lorentz esiste un cammino interamente contenuto all'interno del gruppo tale che abbia come punto di partenza l'identità e che sia continuo (e quindi, in altre parole, non presenti discontinuità). Si nota infatti che
: ciò vuol dire che
ed essendo il determinante una forma multilineare continua (in parole povere: piccole variazioni degli elementi di matrice producono piccole variazioni del determinante), non riusciremo mai ad inventarci un percorso tale che
. Pertanto le trasformazioni di Lorentz con determinante negativo non possono essere connesse all'identità. Esse vengono dette trasformazioni improprie, al contrario di quelle proprie per le quali si ha
. Le trasformazioni improprie, da sole, non formano un gruppo in quanto mancano dell'identità. Le trasformazioni di Lorentz proprie, al contrario formano il gruppo
dove "S" sta per l'inglese "special", ovvero a determinante 1.
Si consideri allora il gruppo
e
. Essendo
un sottogruppo di
si avrà che:
. È conveniente riscrivere questa relazione in componenti:
. Calcolando ora esplicitamente l'elemento
, risulta:
. Il tensore
è nullo se
e quindi si ha (gli indici sono scritti in basso per non confonderli con l'elevamento a potenza):
![{\displaystyle \Lambda _{00}^{2}-(\Lambda _{01}^{2}+\Lambda _{02}^{2}+\Lambda _{03}^{2})=1\rightarrow \Lambda _{00}^{2}=1+(\Lambda _{01}^{2}+\Lambda _{02}^{2}+\Lambda _{03}^{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec726f3a8d356548e9a27b9fed9b5a6849686b2d)
da cui:
![{\displaystyle \Lambda _{00}=\pm {\sqrt {1+(\Lambda _{01}^{2}+\Lambda _{02}^{2}+\Lambda _{03}^{2})))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8cf686320f21e8e4fc9c1ff0a5e90aad1127558)
il che implica che l'elemento
non può assumere valori compresi nell'intervallo (aperto)
. Allora non possono esistere cammini continui che connettano l'identità (infatti
) con trasformazioni di Lorentz che hanno
minore di
. Pertanto
non è connesso, ma ha un sottogruppo
, che oltre ad avere determinante 1 è formato da matrici
che abbiano componente
maggiore o uguale ad 1. La condizione
non è sufficiente ad isolare la componente connessa del gruppo di Lorentz.
Indicando con
un generico elemento di
e definendo 2 matrici nel seguente modo:
e ![{\displaystyle {\mathcal {T))={\begin{pmatrix}-1&0&0&0\\0&1&0&0\\0&0&1&0\\0&0&0&1\\\end{pmatrix))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72f4d4f7fc4db7a49efd793eaf5da991d8a2ba14)
con
e
, non è difficile verificare, al limite per forza bruta, che l'insieme formato dalle matrici
formano un gruppo abeliano denominato
. Si ha che
è il gruppo quoziente:
![{\displaystyle {\dfrac {O(1,3)}{SO(1,3)_{I))}=Z_{2}\times Z_{2))](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1450d4b100b2ba0a91fbd76661724ca8b6a5627)
Ciò significa che una generica
può essere decomposta in uno di questi quattro modi:
![{\displaystyle \Lambda ={\begin{cases}{\tilde {\Lambda ))\\{\mathcal {P)){\tilde {\Lambda ))\\{\mathcal {T)){\tilde {\Lambda ))\\({\mathcal {PT))){\tilde {\Lambda ))\end{cases))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eec5aa014300f10aa645daeffa535c97b2f1a488)
Le trasformazioni di Lorentz che preservano la linea temporale sono dette ortocrone. Le trasformazioni contenute in
sono pertanto ortocrone.
L'algebra di un gruppo di matrici di Lie è lo spazio vettoriale delle matrici
tali che
per ogni
. Per trovare quindi una base per l'algebra del gruppo di Lorentz si impone
per ogni
. Si scrive la definizione di trasformazione di Lorentz nel seguente modo:
![{\displaystyle \Lambda ^{tr}\eta \Lambda =\eta \rightarrow \eta \Lambda ^{tr}\eta =\Lambda ^{-1))](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc5e9cc6f4f6c75579456484b0dc6433d513a2e7)
da cui, se
per ogni
, si ha:
![{\displaystyle \eta (e^{tX})^{tr}\eta =(e^{tX})^{-1}\qquad e^{t\eta X^{tr}\eta }=e^{-tX))](https://wikimedia.org/api/rest_v1/media/math/render/svg/f15a2f021237cc1d54b55244b8bc6227ffb70cc0)
Da cui si evince che condizione sufficiente è
, ma è anche necessaria in quanto se la si suppone vera per ogni valore della variabile
, allora differenziando in 0 si arriva alla medesima relazione. Con questa condizione su
,
è un cammino continuo connesso all'identità interamente contenuto nel gruppo di Lorentz. In particolare, allora,
per tutti gli elementi dell'algebra di Lorentz. Dalla relazione che definisce
scritta in componenti:
![{\displaystyle \eta _{\sigma \rho }X_{\mu \rho }\eta _{\mu \nu }=-X_{\sigma \nu ))](https://wikimedia.org/api/rest_v1/media/math/render/svg/1990cdcc565166ed83ba800196b36bb695de7e4f)
Si nota che la matrice
ha gli elementi sulla diagonale
nulli; inoltre per gli elementi con
entrambi maggiori o uguali ad 1 si ha che
, mentre per gli elementi sulla prima riga o sulla prima colonna si verifica che
. Una base per questo tipo di matrici è:
![{\displaystyle J_{1}={\begin{pmatrix}0&0&0&0\\0&0&1&0\\0&-1&0&0\\0&0&0&0\\\end{pmatrix))\qquad J_{2}={\begin{pmatrix}0&0&0&0\\0&0&0&1\\0&0&0&0\\0&-1&0&0\\\end{pmatrix))\qquad J_{3}={\begin{pmatrix}0&0&0&0\\0&0&0&0\\0&0&0&1\\0&0&-1&0\\\end{pmatrix))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71867748f3e74924266529b4cac49fd07253161f)
![{\displaystyle K_{1}={\begin{pmatrix}0&1&0&0\\1&0&0&0\\0&0&0&0\\0&0&0&0\\\end{pmatrix))\qquad K_{2}={\begin{pmatrix}0&0&1&0\\0&0&0&0\\1&0&0&0\\0&0&0&0\\\end{pmatrix))\qquad K_{3}={\begin{pmatrix}0&0&0&1\\0&0&0&0\\0&0&0&0\\1&0&0&0\\\end{pmatrix))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/024092b526afd8711395ee126846148be47998f6)
E si verificano le seguenti relazione di commutazione:
![{\displaystyle [J_{i},J_{j}]=\epsilon _{ijk}J_{k}\qquad [K_{i},K_{j}]=\epsilon _{ijk}J_{k}\qquad [J_{i},K_{j}]=-\epsilon _{ijk}K_{k))](https://wikimedia.org/api/rest_v1/media/math/render/svg/43d6fff9f1aec3db3d3701e8d5e42607fba1b72c)
dove
è il simbolo di Levi-Civita. Si nota che le matrici
non formano un'algebra chiusa per l'operazione
.
- (EN) John D Jackson, Classical Electrodynamics, 3rd Edition, Wiley, 1999, ISBN 0-471-30932-X.
- Artin, Emil, Geometric Algebra, New York, Wiley, 1957, ISBN 0-471-60839-4. See Chapter III for the orthogonal groups O(p,q).
- (EN) Carmeli, Moshe, Group Theory and General Relativity, Representations of the Lorentz Group and Their Applications to the Gravitational Field, McGraw-Hill, New York, 1977, ISBN 0-07-009986-3. A canonical reference; see chapters 1-6 for representations of the Lorentz group.
- (EN) Frankel, Theodore, The Geometry of Physics (2nd Ed.), Cambridge, Cambridge University Press, 2004, ISBN 0-521-53927-7. An excellent resource for Lie theory, fiber bundles, spinorial coverings, and many other topics.
- (EN) Hall, G. S., Symmetries and Curvature Structure in General Relativity, Singapore, World Scientific, 2004, ISBN 981-02-1051-5. See Chapter 6 for the subalgebras of the Lie algebra of the Lorentz group.
- (EN) Hatcher, Allen, Algebraic topology, Cambridge, Cambridge University Press, 2002, ISBN 0-521-79540-0. See also the online version, su math.cornell.edu. URL consultato il 3 luglio 2005. See Section 1.3 for a beautifully illustrated discussion of covering spaces. See Section 3D for the topology of rotation groups.
- (EN) Naber, Gregory, The Geometry of Minkowski Spacetime, New York, Springer-Verlag, 1992, ISBN 0-486-43235-1, (Dover reprint edition). An excellent reference on Minkowski spacetime and the Lorentz group.
- (EN) Needham, Tristam, Visual Complex Analysis, Oxford, Oxford University Press, 1997, ISBN 0-19-853446-9. See Chapter 3 for a superbly illustrated discussion of Möbius transformations.