Poincaré-Gruppe

Die Poincaré-Gruppe (benannt nach dem französischen Mathematiker und Physiker Henri Poincaré) ist eine spezielle Gruppe in der Mathematik, die Anwendungen in der Physik gefunden hat.

Historisches

Die Poincaré-Gruppe taucht historisch zum ersten Mal bei der Untersuchung der Invarianzen der Elektrodynamik durch Poincaré, Lorentz und andere auf und spielte eine entscheidende Rolle bei der Formulierung der speziellen Relativitätstheorie. Insbesondere wurde die Poincaré-Gruppe nach der Formalisierung der Relativitätstheorie durch Hermann Minkowski zu einer wichtigen mathematischen Struktur in allen relativistischen Theorien, darunter in der Quantenelektrodynamik.

Geometrische Definition

Die Poincaré-Gruppe ist die affine Invarianzgruppe des pseudo-euklidischen Minkowskiraumes $\mathbb {R} ^{3+1}$, insbesondere ist der Minkowskiraum bezüglich der Poincaré-Gruppe ein homogener Raum, dessen Geometrie sie im Sinne des Erlanger Programms definiert. Sie unterscheidet sich von der Lorentz-Gruppe, die die lineare Invarianzgruppe des Minkowskiraums ist, durch die Hinzunahme von Translationen. Sie ähnelt daher in ihrer Struktur der euklidischen Gruppe im dreidimensionalen Raum, die alle geometrischen Kongruenzabbildungen enthält. Tatsächlich ist die Euklidische Gruppe als Untergruppe in der Poincaré-Gruppe enthalten. Der wesentliche Unterschied besteht jedoch darin, dass die Poincaré-Gruppe nicht die Längen und Winkel im dreidimensionalen Raum erhält, sondern die bezüglich des indefiniten Pseudo-Skalarprodukts im Minkowskiraum definierten Längen und Winkel. Insbesondere erhält sie sogenannte Eigenzeitabstände in der speziellen Relativitätstheorie.

Algebraische Definition

Die Poincaré-Gruppe ist das semidirekte Produkt der Lorentzgruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle O(3,1)} und der Gruppe der Translationen im Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{R}^{3+1}} . Jedes Element der Poincaré-Gruppe ist also als Paar

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Lambda, \mathbf{a}):\quad \Lambda \in O(3,1), \mathbf{a}\in \mathbb{R}^{3+1}}

darstellbar, und die Gruppenmultiplikation ist durch

$(\Lambda ,\mathbf {a} )\cdot (\Lambda ',\mathbf {a} ')=(\Lambda \cdot \Lambda ',\mathbf {a} +\Lambda (\mathbf {a} '))$

gegeben, wobei die Lorentztransformation $\Lambda$ in ihrer natürlichen Wirkung als Automorphismus auf $\mathbb {R} ^{3+1}$ wirkt.

Weitere Eigenschaften

Die Poincaré-Gruppe ist eine 10-dimensionale nicht-kompakte Liegruppe. Sie ist ein Beispiel einer nicht halbeinfachen Gruppe.

Die Lie-Algebra der Poincaré-Gruppe wird durch die folgenden Relationen definiert:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{align} {}[P_\mu, P_\nu] &= 0 \\ {}[M_{\mu\nu}, P_\kappa] &= \eta_{\mu\kappa} P_\nu-\eta_{\nu\kappa} P_\mu \\ {}[M_{\mu\nu}, M_{\kappa\lambda}] &= \eta_{\mu\kappa} M_{\nu\lambda}- \eta_{\mu\lambda} M_{\nu\kappa}- \eta_{\nu\kappa} M_{\mu\lambda} + \eta_{\nu\lambda} M_{\mu\kappa} \end{align}}

wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P_\mu} die vier infinitesimalen Erzeuger der Translationen und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M_{\mu\nu}} die sechs infinitesimalen Erzeuger der Lorentz-Transformationen sind.

Die beiden Casimir-Operatoren der Poincaré-Gruppe, die mit allen Generatoren vertauschen, sind

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{align} &P^\alpha P_\alpha \\ &W^\alpha W_\alpha = \frac 14 \varepsilon^{\alpha \beta \gamma \delta} {\varepsilon_\alpha}^{\nu\rho\sigma} P_\beta M_{\gamma \delta} P_\nu M_{\rho \sigma} \end{align}}

Physikalisch sind dies das Quadrat des Viererimpulses Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P^\alpha P_\alpha} und das Quadrat des Pauli-Lubanski-Pseudovektors Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle W^\alpha W_\alpha} . Der Faktor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1/4} ist Konvention.