# Representation of the Poincaré group by means of exponential

Let $$(\Lambda,a)$$ be a Poincaré coordinate transformation. Let $$U$$ be an unitary representation of the Poincaré group on some vector space.
Is it always possible to express $$U(\Lambda,a)$$ in the following way?

$$U(\Lambda,a)=e^{i\epsilon_{\mu}P^{\mu}-i\omega_{\mu \nu}M^{\mu\nu}/2}$$

If no, under which condition is it possible? If the exponential espression is valid, how can be the coefficients $$\epsilon_{\mu}$$ and $$\omega_{\mu \nu}$$ retrieved from $$(\Lambda,a)$$?

Note: The exponential expression should hold for pure translations or spatial rotations, but what about the "mixed" cases or the case of boosts?

Expanding the generic group element around the identity, you find, as is standard in Lie theory, $$G(\epsilon, \omega)=e^{i\epsilon_{\mu}P^{\mu}-i\omega_{\mu \nu}M^{\mu\nu}/2}= 1\!\!1 + i\epsilon_{\mu}P^{\mu}-i\omega_{\mu \nu}M^{\mu\nu}/2 + O(\epsilon^2,\omega^2,\epsilon \omega).$$
Normally, however, one writes the full Poincare transformation, always possible, (by theorem, as your text might review), as a product of a translation T and a proper Lorentz transformation Λ, $$U(a,\Lambda)=T(a) \Lambda =e^{ia_{\mu}P^{\mu}} e^{-i {\tilde \omega}_{\mu \nu}M^{\mu\nu}/2},$$ so that $$U( a',\Lambda')U(a,\Lambda)= U(\Lambda' a+ a',\Lambda ' \Lambda).$$ This is your expression U (left-hand side). Notationally, $$e^{ia P} f(x)=f(x+a)$$ and $$\tilde \omega$$ is the "angle" of the "generalized noncompact rotation" matrix $$\Lambda= 1\!\!1 -i\tilde\omega\cdot M/2+ O(\tilde\omega^2)$$.
You may, always, as per Lie's theorem, compose the two exponential factors into a single exponential that looks like the above G, but with its parameters ε,ω as messy functions of those of each factor exponential in your U, as you saw from the composition law. (You may compute the first few orders for fun. Do you see that $$\tilde\omega$$ will never be modified, so $$\omega=\tilde \omega$$? Do you see the first subleading term in the translation parameter, $$\tilde \omega \cdot a$$?)
• Thank you! Is the "connected component" of the Lie group (for which the exponential expression is valid) the entire subgroup of $U(\Lambda,a)$ s.t. $\Lambda$ is a proper orthochronous Lorentz transformation? Second sub-question: could you please suggest me a simple textbook to understand these topics better? (I'm interested just in applying these arguments in quantum field theory) Commented May 5, 2020 at 21:16