# Poincaré group

Algebraic structure → Group theory Group theory :
Basic notions
Subgroup
Normal subgroup
Group action
Quotient group
(Semi-)direct product
Direct sum
Free product
Wreath product
Group homomorphisms
kernel
image
simple
finite
infinite
continuous
multiplicative
additive
cyclic
abelian
dihedral
nilpotent
solvable
Glossary of group theory
List of group theory topics :
Finite groups
Cyclic group Z$_n$
Symmetric group S$_n$
Alternating group A$_n$
Dihedral group D$_n$
Quaternion group Q
Cauchy's theorem
Lagrange's theorem
Sylow theorems
Hall's theorem
p-group
Elementary abelian group
Frobenius group
Schur multiplier
Classification of finite simple groups
cyclic
alternating
Lie type
sporadic :
Discrete groupsLattices
Integers ($\mathbb {Z}$)
Free group
Modular groups PSL(2, $\mathbb {Z}$)SL(2, $\mathbb {Z}$)
Arithmetic group
Lattice
Hyperbolic group :
Topological and Lie groups
Solenoid
Circle
General linear GL(n)
Special linear SL(n)
Orthogonal O(n)
Euclidean E(n)
Special orthogonal SO(n)
Unitary U(n)
Special unitary SU(n)
Symplectic Sp(n)
G$_2$
F$_4$
E$_6$
E$_7$
E$_8$
Lorentz
Poincaré
Conformal
Diffeomorphism
Loop
Infinite dimensional Lie group O(∞)SU(∞)Sp(∞) :
Algebraic groups
Linear algebraic group
Reductive group
Abelian variety
Elliptic curve :
vte :
The Poincaré group, named after Henri Poincaré (1905), was first defined by Hermann Minkowski (1908) as the isometry group of Minkowski spacetime. It is a ten-dimensional non-abelian Lie group that is of importance as a model in our understanding of the most basic fundamentals of physics.

## Overview

The Poincaré group consists of all coordinate transformations of Minkowski space that do not change the spacetime interval between events. For example, if everything were postponed by two hours, including the two events and the path you took to go from one to the other, then the time interval between the events recorded by a stopwatch that you carried with you would be the same. Or if everything were shifted five kilometres to the west, or turned 60 degrees to the right, you would also see no change in the interval. It turns out that the proper length of an object is also unaffected by such a shift.
In total, there are ten degrees of freedom for such transformations. They may be thought of as translation through time or space (four degrees, one per dimension); reflection through a plane (three degrees, the freedom in orientation of this plane); or a "boost" in any of the three spatial directions (three degrees). Composition of transformations is the operation of the Poincaré group, with rotations being produced as the composition of an even number of reflections.
In classical physics, the Galilean group is a comparable ten-parameter group that acts on absolute time and space. Instead of boosts, it features shear mappings to relate co-moving frames of reference.
In general relativity, i.e. under the effects of gravity, Poincaré symmetry applies only locally. A treatment of symmetries in general relativity is not in the scope of this article.

## Poincaré symmetry

Poincaré symmetry is the full symmetry of special relativity. It includes:
* translations (displacements) in time and space, forming the abelian Lie group of spacetime translations (P);
* rotations in space, forming the non-abelian Lie group of three-dimensional rotations (J);
* boosts, transformations connecting two uniformly moving bodies (K).
The last two symmetries, J and K, together make the Lorentz group (see also Lorentz invariance); the semi-direct product of the spacetime translations group and the Lorentz group then produce the Poincaré group. Objects that are invariant under this group are then said to possess Poincaré invariance or relativistic invariance.
10 generators (in four spacetime dimensions) associated with the Poincaré symmetry, by Noether's theorem, imply 10 conservation laws:
* 1 for the energy – associated with translations through time
* 3 for the momentum – associated with translations through spatial dimensions
* 3 for the angular momentum – associated with rotations between spatial dimensions
* 3 for a quantity involving the velocity of the center of mass – associated with hyperbolic rotations between each spatial dimension and time

## Poincaré group

The Poincaré group is the group of Minkowski spacetime isometries. It is a ten-dimensional noncompact Lie group. The four-dimensional abelian group of spacetime translations is a normal subgroup, while the six-dimensional Lorentz group is also a subgroup, the stabilizer of the origin. The Poincaré group itself is the minimal subgroup of the affine group which includes all translations and Lorentz transformations. More precisely, it is a semidirect product of the spacetime translations group and the Lorentz group,
    $\mathbf {R} ^{1,3}\rtimes \operatorname {O} (1,3)\,,$
with group multiplication
    $(\alpha ,f)\cdot (\beta ,g)=(\alpha +f\cdot \beta ,\;f\cdot g)$.
Another way of putting this is that the Poincaré group is a group extension of the Lorentz group by a vector representation of it; it is sometimes dubbed, informally, as the inhomogeneous Lorentz group. In turn, it can also be obtained as a group contraction of the de Sitter group SO(4, 1) ~ Sp(2, 2), as the de Sitter radius goes to infinity.
Its positive energy unitary irreducible representations are indexed by mass (nonnegative number) and spin (integer or half integer) and are associated with particles in quantum mechanics (see Wigner's classification).
In accordance with the Erlangen program, the geometry of Minkowski space is defined by the Poincaré group: Minkowski space is considered as a homogeneous space for the group.
In quantum field theory, the universal cover of the Poincaré group
    $\mathbf {R} ^{1,3}\rtimes \operatorname {SL} (2,\mathbf {C} ),$
which may be identified with the double cover
    $\mathbf {R} ^{1,3}\rtimes \operatorname {Spin} (1,3),$
is more important, because representations of $\operatorname {SO} (1,3)$ are not able to describe fields with spin 1/2; i.e. fermions. Here $\operatorname {SL} (2,\mathbf {C} )$ is the group of complex $2\times 2$ matrices with unit determinant, isomorphic to the Lorentz-signature spin group $\operatorname {Spin} (1,3)$.

## Poincaré algebra

Lie groups and Lie algebras :
Classical groups
General linear GL(n)
Special linear SL(n)
Orthogonal O(n)
Special orthogonal SO(n)
Unitary U(n)
Special unitary SU(n)
Symplectic Sp(n) :
Simple Lie groups
Classical
A$_n$
B$_n$
C$_n$
D$_n$
Exceptional
G$_2$
F$_4$
E$_6$
E$_7$
E$_8$ :
Other Lie groups
Circle
Lorentz
Poincaré
Conformal group
Diffeomorphism
Loop
Euclidean :
Lie algebras
Lie group–Lie algebra correspondence
Exponential map
Adjoint representation
Killing formIndex
Simple Lie algebra
Loop algebra
Affine Lie algebra :
Semisimple Lie algebra
Dynkin diagrams
Cartan subalgebra
Root systemWeyl group
Real formComplexification
Split Lie algebra
Compact Lie algebra :
Representation theory
Lie group representation
Lie algebra representation
Representation theory of semisimple Lie algebras
Representations of classical Lie groups
Theorem of the highest weight
Borel–Weil–Bott theorem :
Lie groups in physics
Particle physics and representation theory
Lorentz group representations
Poincaré group representations
Galilean group representations :
Scientists
Sophus Lie
Henri Poincaré
Wilhelm Killing
Élie Cartan
Hermann Weyl
Claude Chevalley
Harish-Chandra
Armand Borel :
Glossary
Table of Lie groups :
vte :
The Poincaré algebra is the Lie algebra of the Poincaré group. It is a Lie algebra extension of the Lie algebra of the Lorentz group. More specifically, the proper (detΛ=1{\textstyle \det \Lambda =1}), orthochronous (Λ$^0$$_0$≥1{\textstyle {\Lambda ^{0}}_{0}\geq 1}) part of the Lorentz subgroup (its identity component), SO(1, 3)+$^↑${\textstyle \mathrm {SO} (1, 3)_{+}^{\uparrow }}, is connected to the identity and is thus provided by the exponentiation exp⁡(ia$_μ$P$^μ$)exp⁡( i/2 ω$_{μν}$M$^{μν}$){\textstyle \exp \left(ia_{\mu }P^{\mu }\right)\exp \left({\frac {i}{2}}\omega _{\mu \nu }M^{\mu \nu }\right)} of this Lie algebra. In component form, the Poincaré algebra is given by the commutation relations:
${\begin{aligned}[P_{\mu },P_{\nu }]&=0\,\\{\frac {1}{i}}~[M_{\mu \nu },P_{\rho }]&=\eta _{\mu \rho }P_{\nu }-\eta _{\nu \rho }P_{\mu }\,\\{\frac {1}{i}}~[M_{\mu \nu },M_{\rho \sigma }]&=\eta _{\mu \rho }M_{\nu \sigma }-\eta _{\mu \sigma }M_{\nu \rho }-\eta _{\nu \rho }M_{\mu \sigma }+\eta _{\nu \sigma }M_{\mu \rho }\,,\end{aligned}}$
where $P$ is the generator of translations, $M$ is the generator of Lorentz transformations, and $\eta$ is the $(+,-,-,-)$ Minkowski metric (see Sign convention).
The bottom commutation relation is the ("homogeneous") Lorentz group, consisting of rotations, J$_i$=1/2 ϵ$_{imn}$M$^{mn}${\textstyle J_{i}={\frac {1}{2}}\epsilon _{imn}M^{mn}}, and boosts, K$_i$=M$_{i0}${\textstyle K_{i}=M_{i0}}. In this notation, the entire Poincaré algebra is expressible in noncovariant (but more practical) language as
    ${\begin{aligned}[J_{m},P_{n}]&=i\epsilon _{mnk}P_{k}~,\\[J_{i},P_{0}]&=0~,\\[K_{i},P_{k}]&=i\eta _{ik}P_{0}~,\\[K_{i},P_{0}]&=-iP_{i}~,\\[J_{m},J_{n}]&=i\epsilon _{mnk}J_{k}~,\\[J_{m},K_{n}]&=i\epsilon _{mnk}K_{k}~,\\[K_{m},K_{n}]&=-i\epsilon _{mnk}J_{k}~,\end{aligned}}$
where the bottom line commutator of two boosts is often referred to as a "Wigner rotation". The simplification [J$_m$+iK$_m$, J$_n$−iK$_n$]=0{\textstyle [J_{m}+iK_{m}, \, J_{n}-iK_{n}]=0} permits reduction of the Lorentz subalgebra to su(2)⊕su(2){\textstyle {\mathfrak {su}}(2)\oplus {\mathfrak {su}}(2)} and efficient treatment of its associated representations. In terms of the physical parameters, we have
    ${\begin{aligned}\left[{\mathcal {H}},p_{i}\right]&=0\\\left[{\mathcal {H}},L_{i}\right]&=0\\\left[{\mathcal {H}},K_{i}\right]&=i\hbar cp_{i}\\\left[p_{i},p_{j}\right]&=0\\\left[p_{i},L_{j}\right]&=i\hbar \epsilon _{ijk}p_{k}\\\left[p_{i},K_{j}\right]&={\frac {i\hbar }{c}}{\mathcal {H}}\delta _{ij}\\\left[L_{i},L_{j}\right]&=i\hbar \epsilon _{ijk}L_{k}\\\left[L_{i},K_{j}\right]&=i\hbar \epsilon _{ijk}K_{k}\\\left[K_{i},K_{j}\right]&=-i\hbar \epsilon _{ijk}L_{k}\end{aligned}}$
The Casimir invariants of this algebra are P$_μ$P$^μ${\textstyle P_{\mu }P^{\mu }} and W$_μ$W$^μ${\textstyle W_{\mu }W^{\mu }} where W$_μ${\textstyle W_{\mu }} is the Pauli–Lubanski pseudovector; they serve as labels for the representations of the group.
The Poincaré group is the full symmetry group of any relativistic field theory. As a result, all elementary particles fall in representations of this group. These are usually specified by the four-momentum squared of each particle (i.e. its mass squared) and the intrinsic quantum numbers J$^{PC}${\textstyle J^{PC}}, where $J$ is the spin quantum number, $P$ is the parity and $C$ is the charge-conjugation quantum number. In practice, charge conjugation and parity are violated by many quantum field theories; where this occurs, $P$ and $C$ are forfeited. Since CPT symmetry is invariant in quantum field theory, a time-reversal quantum number may be constructed from those given.
As a topological space, the group has four connected components: the component of the identity; the time reversed component; the spatial inversion component; and the component which is both time-reversed and spatially inverted.

## Other dimensions

The definitions above can be generalized to arbitrary dimensions in a straightforward manner. The d-dimensional Poincaré group is analogously defined by the semi-direct product
    $\operatorname {IO} (1,d-1):=\mathbf {R} ^{1,d-1}\rtimes \operatorname {O} (1,d-1)$
with the analogous multiplication
    $(\alpha ,f)\cdot (\beta ,g)=(\alpha +f\cdot \beta ,\;f\cdot g)$.
The Lie algebra retains its form, with indices µ and ν now taking values between 0 and d − 1. The alternative representation in terms of J$_i$ and K$_i$ has no analogue in higher dimensions.