Poincare group
In physics and mathematics, the Poincaré group is the Lie group formed by the set of transformations of Minkowski space-time isometries.
According to the principle of covariance, every equation of the theory of special relativity must be invariant under transformations that belong to the Poincaré group. That is, the Poincaré group can be conceived as the maximal group such that it leaves all the equations of special relativity invariant. However, in general the Poincaré group does not play any important role in the theory of general relativity, since the group of transformations that leave that theory invariant in general does not include a subgroup homeomorphic to the Poincaré group. The Poincaré group, however, is important in ordinary quantum field theory that does not include the effects of gravitation, since that theory is formulated on flat Minkowski spacetime.
Matrix representation
The group of Poincaré P{displaystyle {mathcal {P}}} is an extension of the Lorentz group O(1,3){displaystyle O(1,3),}more specifically is the semi-direct product with the Minkowski space transfer group:
- P=R1,3 O(1,3) GL(R5){displaystyle {mathcal {P}}=mathbf {R} ^{1,3rtimes O(1,3)subset GL(mathbb {R} ^{5})}}
So any moment of the Poincaré group can be represented as:
Tπ π =(.... 00.... 10.... 20.... 30s0.... 01.... 11.... 21.... 31sx.... 02.... 12.... 22.... 32sand.... 03.... 13.... 23.... 33sz00001)## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ## ##
Where:
- (.... ij){displaystyle (Lambda _{ij}),} are a set of matrix components that define an element of the Lorentz group.
- (sx,sand,sz){displaystyle(s_{x},s_{y},s_{z}),} can be interpreted as a space vector, which allows the inclusion of space transfers within the group.
- s0{displaystyle s_{0},} can be interpreted as a temporary "translation".
Properties
- The Poincaré group is a 10-dimensional non-compact Lie group.
- According to Erlangen's program the space geometry of Minkowski is defined by the Poincaré group.
- The Poincaré group contains the Abelian subgroup formed by the translations that also constitute a normal subgroup while the Lorentz group is a subgroup, the stabilizer of a point.
- The previous property follows that the Poincaré group is a semi-direct product of the translations and transformations of Lorentz.
- Its unreducible representations of positive energy are indexed by two scale parameters, which in physics can be interpreted as the mass (non-negative number) and the spin (integer or semi-entero number), and is associated with the particles in quantum mechanics.
- Minkowski's space is considered a homogeneous space for the group.
Associated Lie algebra
In component form, the Lie algebra of the Poincaré group satisfies:
- [chuckles]Pμ μ ,P.. ]=0{displaystyle [P_{mu },P_{nu }]=0}
- [chuckles]Mμ μ .. ,Pρ ρ ]=MIL MIL μ μ ρ ρ P.. − − MIL MIL .. ρ ρ Pμ μ {displaystyle [M_{mu nu },P_{rho }]=eta _{mu rho }P_{nu }-eta _{nu rho }P_{mu }}}
- [chuckles]Mμ μ .. ,Mρ ρ σ σ ]=MIL MIL μ μ ρ ρ M.. σ σ − − MIL MIL μ μ σ σ M.. ρ ρ − − MIL MIL .. ρ ρ Mμ μ σ σ +MIL MIL .. σ σ Mμ μ ρ ρ {displaystyle [M_{mu nu },M_{rho sigma }]=eta _{mu rho }M_{nu sigma }-eta _{mu sigma }M_{nu rho }-eta _{nu rho }M_{mu sigma }{
![{displaystyle [P_{mu },P_{nu }]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/737e9f4f0edf9b8e72332c929615b7b632af6702)
![{displaystyle [M_{mu nu },P_{rho }]=eta _{mu rho }P_{nu }-eta _{nu rho }P_{mu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdef4e9cc52acd88ff8d67f7e462cee28c623846)
![{displaystyle [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 }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aebda1f24fcae27064d41d1e7bcc0616e0062e18)
where the Pμ μ {displaystyle P_{mu }} are the generators of the translations and Mμ μ .. {displaystyle M_{mu nu } They are the generators of Lorentz's transformations.
