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.
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.
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.
Die Poincaré-Gruppe ist das semidirekte Produkt der Lorentzgruppe $ O(3,1) $ und der Gruppe der Translationen im $ \mathbb {R} ^{3+1} $. Jedes Element der Poincaré-Gruppe ist also als Paar
$ (\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.
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:
wobei $ P_{\mu } $ die vier infinitesimalen Erzeuger der Translationen und $ M_{\mu \nu } $ die sechs infinitesimalen Erzeuger der Lorentz-Transformationen sind.