Poincaré group

Short description: Group of flat spacetime symmetries

Henri Poincaré Algebraic structure → Group theory
Group theory

Basic notions

* Subgroup
* Normal subgroup

* Quotient group
* (Semi-)direct product

Group homomorphisms

* kernel
* image
* direct sum

* wreath product
* simple
* finite

* infinite
* continuous
* multiplicative

* additive
* cyclic
* abelian
* dihedral

* nilpotent
* solvable

* List of group theory topics

Finite groups

|  Classification of finite simple groups

* cyclic
* alternating
* Lie type
* sporadic

* Lagrange's theorem

* Sylow theorems
* Hall's theorem

* p-group
* Elementary abelian group

* Frobenius group

* Schur multiplier

* Symmetric group Sn

* Klein four-group V
* Dihedral group Dn
* Quaternion group Q
* Dicyclic group Dicn

* Discrete groups
* Lattices

* Integers (Z)
* Free group

Modular groups

* PSL(2,Z)
* SL(2,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)

* G2
* F4
* E6
* E7
* E8

* Lorentz
* Poincaré
* Conformal

* Diffeomorphism
* Loop

Infinite dimensional Lie group

* O(∞)
* SU(∞)
* Sp(∞)

Algebraic groups

* Linear algebraic group

* Reductive group

* Abelian variety

* Elliptic curve

* v
* t
* e

The Poincaré group, named after Henri Poincaré (1906),[1] was first defined by Hermann Minkowski (1908) as the group of Minkowski spacetime isometries.[2][3] 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.

## Contents

* 1 Overview
* 2 Poincaré symmetry
* 3 Poincaré group
* 4 Poincaré algebra
* 5 Other dimensions
* 6 Super-Poincaré algebra
* 7 See also
* 8 Notes
* 9 References

## Overview

A Minkowski spacetime isometry has the property that the interval between events is left invariant. 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. A time or space reversal (a reflection) is also an isometry of this group.

In Minkowski space (i.e. ignoring the effects of gravity), there are ten degrees of freedom of the isometries, which 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 proper 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.

## Poincaré symmetry

Poincaré symmetry is the full symmetry of special relativity. It includes:

* translations (displacements) in time and space (P), forming the abelian Lie group of translations on spacetime;
* 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 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:[4][5]

* 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 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 abelian group of translations is a normal subgroup, while the 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 translations and the Lorentz group,

𝐑1,3⋊O⁡(1,3),

with group multiplication

(α,f)⋅(β,g)=(α+f⋅β,f⋅g).[6]

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

𝐑1,3⋊SL⁡(2,𝐂),

which may be identified with the double cover

𝐑1,3⋊Spin⁡(1,3),

is more important, because representations of SO⁡(1,3) are not able to describe fields with spin 1/2; i.e. fermions. Here SL⁡(2,𝐂) is the group of complex 2×2 matrices with unit determinant, isomorphic to the Lorentz-signature spin group Spin⁡(1,3).

## Poincaré algebra

Group theory → Lie groups
Lie groups

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

* List of simple Lie groups

Classical

* An
* Bn
* Cn
* Dn

Exceptional

* G2
* F4
* E6
* E7
* E8

Other Lie groups

* Circle
* Lorentz
* Poincaré
* Conformal group
* Diffeomorphism
* Loop
* Euclidean

Lie algebras

* Exponential map
* Adjoint representation

* (group
* algebra)

*     * Killing form
* Index

* Lie point symmetry
* Simple Lie algebra

Semisimple Lie algebra

* Dynkin diagrams
* Cartan subalgebra
*     * Root system
* Weyl group

*     * Real form
* Complexification

* Split Lie algebra
* Compact Lie algebra

Representation theory

* Lie group representation
* Lie algebra representation

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

* v
* t
* e

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), orthochronous (Λ00≥1) part of the Lorentz subgroup (its identity component), SO(1,3)+↑, is connected to the identity and is thus provided by the exponentiation exp⁡(iaμPμ)exp⁡(i2ωμνMμν) of this Lie algebra. In component form, the Poincaré algebra is given by the commutation relations:[7][8]

[][Pμ,Pν]=01i[Mμν,Pρ]=ημρPν−ηνρPμ1i[Mμν,Mρσ]=ημρMνσ−ημσMνρ−ηνρMμσ+ηνσMμρ,

where P is the generator of translations, M is the generator of Lorentz transformations, and η is the (+,−,−,−) Minkowski metric (see Sign convention).

The bottom commutation relation is the ("homogeneous") Lorentz group, consisting of rotations, Ji=12ϵimnMmn, and boosts, Ki=Mi0. In this notation, the entire Poincaré algebra is expressible in noncovariant (but more practical) language as

[][Jm,Pn]=iϵmnkPk,[][Ji,P0]=0,[][Ki,Pk]=iηikP0,[][Ki,P0]=−iPi,[][Jm,Jn]=iϵmnkJk,[][Jm,Kn]=iϵmnkKk,[][Km,Kn]=−iϵmnkJk,

where the bottom line commutator of two boosts is often referred to as a "Wigner rotation". The simplification [Jm+iKm,Jn−iKn]=0 permits reduction of the Lorentz subalgebra to 𝔰𝔲(2)⊕𝔰𝔲(2) and efficient treatment of its associated representations. In terms of the physical parameters, we have

[ℋ,pi]=0[ℋ,Li]=0[ℋ,Ki]=iℏcpi[pi,pj]=0[pi,Lj]=iℏϵijkpk[pi,Kj]=iℏcℋδij[Li,Lj]=iℏϵijkLk[Li,Kj]=iℏϵijkKk[Ki,Kj]=−iℏϵijkLk

The Casimir invariants of this algebra are PμPμ and WμWμ where Wμ 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 JPC, 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.[9]

## 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

IO⁡(1,d−1):=𝐑1,d−1⋊O⁡(1,d−1)

with the analogous multiplication

(α,f)⋅(β,g)=(α+f⋅β,f⋅g).[6]

The Lie algebra retains its form, with indices µ and ν now taking values between 0 and d − 1. The alternative representation in terms of Ji and Ki has no analogue in higher dimensions.

## Super-Poincaré algebra

A related observation is that the representations of the Lorentz group include a pair of inequivalent two-dimensional complex spinor representations 2 and 2‾ whose tensor product 2⊗2‾=3⊕1 is the adjoint representation. One may identify this last bit with four-dimensional Minkowski space itself (as opposed to identifying it with a spin-1 particle, as would normally be done for a pair of fermions, e.g. a pion being composed of a quark–antiquark pair). This strongly suggests that it might be possible to extend the Poincaré algebra to also include spinors. This leads directly to the notion of the super-Poincaré algebra. The mathematical appeal of this idea is that one is working with the fundamental representations, instead of the adjoint representations. The physical appeal of this idea is that the fundamental representations correspond to fermions, which are seen in nature. So far, however, the implied supersymmetry here, of a symmetry between spatial and fermionic directions, has not been seen experimentally in nature. The experimental issue can roughly be stated as the question: if we live in the adjoint representation (Minkowski spacetime), then where is the fundamental representation hiding?

## See also

* Euclidean group
* Galilean group
* Representation theory of the Poincaré group
* Wigner's classification
* Symmetry in quantum mechanics
* Pauli–Lubanski pseudovector
* Particle physics and representation theory
* Continuous spin particle

## Notes

1. ↑ Poincaré, Henri (December 1906), "Sur la dynamique de l'électron", Rendiconti del Circolo Matematico di Palermo 21: 129–176, doi:10.1007/bf03013466, Bibcode: 1906RCMP...21..129P (Wikisource translation: On the Dynamics of the Electron). The group defined in this paper would now be described as the homogeneous Lorentz group with scalar multipliers.
2. ↑ Minkowski, Hermann, "Die Grundgleichungen für die elektromagnetischen Vorgänge in bewegten Körpern", Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse: 53–111 (Wikisource translation: The Fundamental Equations for Electromagnetic Processes in Moving Bodies).
3. ↑ Minkowski, Hermann, "Raum und Zeit", Physikalische Zeitschrift 10: 75–88
4. ↑ "Survey of Symmetry and Conservation Laws: More Poincare". http://frankwilczek.com/2013/symmetryConservationPoincare.pdf.
5. ↑ Barnett, Stephen M (2011-06-01). "On the six components of optical angular momentum". Journal of Optics 13 (6): 064010. doi:10.1088/2040-8978/13/6/064010. ISSN 2040-8978. Bibcode: 2011JOpt...13f4010B. https://iopscience.iop.org/article/10.1088/2040-8978/13/6/064010.
6. ↑ 6.0 6.1 Oblak, Blagoje (2017-08-01) (in en). BMS Particles in Three Dimensions. Springer. pp. 80. ISBN 9783319618784. https://books.google.com/books?id=mVovDwAAQBAJ.
7. ↑ N.N. Bogolubov (1989). General Principles of Quantum Field Theory (2nd ed.). Springer. p. 272. ISBN 0-7923-0540-X. https://books.google.com/books?id=7VLMj4AvvicC&q=pauli-lubanski+pseudovector&pg=PA273.
8. ↑ T. Ohlsson (2011). Relativistic Quantum Physics: From Advanced Quantum Mechanics to Introductory Quantum Field Theory. Cambridge University Press. p. 10. ISBN 978-1-13950-4324. https://books.google.com/books?id=hRavtAW5EFcC&q=pauli-lubanski+pseudovector&pg=PA11.
9. ↑ "Topics: Poincaré Group". http://www.phy.olemiss.edu/~luca/Topics/p/poincare.html.

## References

* Wu-Ki Tung (1985). Group Theory in Physics. World Scientific Publishing. ISBN 9971-966-57-3.
* Weinberg, Steven (1995). The Quantum Theory of Fields. 1. Cambridge: Cambridge University press. ISBN 978-0-521-55001-7. https://archive.org/details/quantumtheoryoff00stev.
* L.H. Ryder (1996). Quantum Field Theory (2nd ed.). Cambridge University Press. p. 62. ISBN 0-52147-8146. https://books.google.com/books?id=nnuW_kVJ500C&q=pauli-lubanski+pseudovector&pg=PA62.

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Poincaré group. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Physics:Poincaré_group&oldid=649478"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template