\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{unitary representation of the Poincaré group}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{physics}{}\paragraph*{{Physics}}\label{physics}

[[!include physicscontents]]

\hypertarget{representation_theory}{}\paragraph*{{Representation theory}}\label{representation_theory}

[[!include representation theory - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{related_entries}{Related entries}\dotfill \pageref*{related_entries} \linebreak
\noindent\hyperlink{tentative_notes_to_be_expanded_on}{Tentative notes, to be expanded on\ldots{}}\dotfill \pageref*{tentative_notes_to_be_expanded_on} \linebreak
\noindent\hyperlink{rigged_hilbert_spaces}{Rigged Hilbert spaces}\dotfill \pageref*{rigged_hilbert_spaces} \linebreak
\noindent\hyperlink{induced_representations}{Induced representations}\dotfill \pageref*{induced_representations} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

The [[Poincaré group]] is the group of rigid [[spacetime]] symmetries of [[Minkowski spacetime]]. It is a [[topological group]] and as such has [[unitary representation]]s on infinite-dimensional [[Hilbert space]]s. For any [[quantum field theory]] in [[Minkowski space]] its [[space of states]] therefore decomposes into [[irreducible representation]]s of the [[Poincaré group]]. As was first observed by [[Hermann Weyl]], these irreducible representations encode the [[particle]] spectrum of the QFT.

We are interested in the \textbf{[[unitary representations]]} of a [[topological group]] $G$, i.e., the continuous [[group homomorphisms]]

\begin{displaymath}
U\colon G \to U(H)
\end{displaymath}
into the [[unitary group]] of a [[Hilbert space]] $H$, especially those that are [[irreducible representation|irreducible]] in the usual sense of [[representation theory]]. The topology on $U(H)$ here is understood to be the [[operator topology|strong operator topology]].

In this and related articles, we study such representations in the case where

\begin{displaymath}
G = SL_2(\mathbb{C}) \ltimes \mathbb{R}^4
\end{displaymath}
is the [[universal cover]] of the [[connected]] component of the identity of the [[Poincaré group]], which is important in the study of [[quantum field theory]]. A more physical name for such a representation is ``[[elementary particle]]'', and we will often use that term in this article. (NB: ``elementary particle'' will always refer to the formal mathematical representation it refers to.)

A full rounded account could become large; see the \href{http://golem.ph.utexas.edu/category/2009/03/unitary_representations_of_the.html}{blog discussion}, which despite its size was left in a still-nascent state. However, in a nutshell, the basic theorem is that (elementary) particles are classified up to isomorphism according to their [[mass]] and [[helicity]]; mass is a continuous parameter and helicity is a discrete parameter.

This theorem in commonly ascribed to [[Eugene Wigner]] and often referred to as the \emph{[[Wigner classification]]}.

Wigner classified all irreducible unitary representations of the restricted Poincare group, including the unphysical ones. The latter cannot be used to define a [[free quantum field theory]] satisfying the [[Wightman axioms]]. Those that can are the physical ones and are characterized by a nonnegative real mass and a nonnegative half-integral spin; the zero component of the momentum has a nonnegative spectrum. Many of these are realized by particles occurring in Nature, though not as `elementary particles' but as bound states (in a suitable approximation, e.g., [[QCD]]). From the point of view of representation theory, the center of mass of a bound state behaves just like an elementary particle. Thus elementary is meant in this generalized sense.

\hypertarget{related_entries}{}\subsection*{{Related entries}}\label{related_entries}

Relevant topics in a full account will include

\begin{itemize}%
\item [[spectral theorem|Spectral theorem]]


\item [[rigged Hilbert space|Rigged Hilbert spaces]] and [[direct integral|direct integrals]]


\item [[induced representations]]


\item [[helicity]], [[spin]]


\item [[Klein-Gordon equation]]


\item [[Dirac equation]]


\item [[spin-statistics theorem]]


\item [[Maxwell equation]]


\item [[Stone's theorem]]


\item [[Mackey theory]]



\end{itemize}
\hypertarget{tentative_notes_to_be_expanded_on}{}\subsection*{{Tentative notes, to be expanded on\ldots{}}}\label{tentative_notes_to_be_expanded_on}

In the first place, physicists tend to be a little carefree with the mathematics, so this account is written from the point of view of a `stupid' mathematician (for the moment Todd Trimble) who wants to get details straight and precise.

For example, physicists tend to talk about ``eigenstates'' as if they were elements of the Hilbert space, and other states as linear combinations of eigenstates, whereas really we are dealing with some more complicated technology like rigged Hilbert spaces or direct integrals instead of direct sums. Failure to mention such details places hurdles of communication between physicists and mathematicians. In addition, there are stylistic differences in presentation, where a physicist will happily deal with formulas replete with lots of subscripts and superscripts, whereas many mathematicians prefer dealing with more conceptual, less notation-heavy explanations.

There seem to be at least three ways of dealing with spectral theory of (unbounded) self-adjoint operators on a Hilbert space:

\begin{itemize}%
\item The usual Stone theory


\item Direct integrals of Hilbert spaces


\item Rigged Hilbert spaces



\end{itemize}
\hypertarget{rigged_hilbert_spaces}{}\subsubsection*{{Rigged Hilbert spaces}}\label{rigged_hilbert_spaces}

A rigged Hilbert space

\hypertarget{induced_representations}{}\subsection*{{Induced representations}}\label{induced_representations}

Simultaneous diagonalization.

Fact that Poincar\'e{} group is a [[semidirect product group]].

Let $\vec p \in \mathbb{R}^{d-1,1}$ be a given vector in [[Minkowski spacetime]]. Write

\begin{displaymath}
Stab_{Iso(\mathbb{R}^{d-1,1}))}(\vec p)
    \hookrightarrow
  Iso(\mathbb{R}^{d-1,1})
\end{displaymath}
for its [[stabilizer subgroup]] (often called \emph{the little group} in this context, going back to Wigner). Every unitary irrep of $Iso(\mathbb{R}^{d-1,1})$ of mass $p$ is an [[induced representation]] of a finite dimensional representation of the ``little group'' $Stab_{Iso(\mathbb{R}^{d-1,1}))}(\vec p)$. (recalled concisely e.g. in \hyperlink{Dragon16}{Dragon 16, p. 2}).

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[Wigner classification]]


\item [[twistor]]


\item [[unitary representation of the super Poincaré group]]


\item [[Doplicher-Roberts reconstruction theorem]]


\item [[finite-dimensional representation of the Poincaré group]]


\item unitary representations of the [[anti de Sitter group]],

[[singleton representation]]



\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

The observation that the irreps of the Poincar\'e{} group correspond to [[fundamental particles]] ([[Wigner classification]]) is due to

\begin{itemize}%
\item [[Eugene Wigner]], \emph{On unitary representations of the inhomogeneous Lorentz group} , Ann. Math. \textbf{40}, 149 (1993)

\end{itemize}
Review includes

\begin{itemize}%
\item [[Rudolf Haag]], section I.3.1 of \emph{[[Local Quantum Physics -- Fields, Particles, Algebras]]}


\item [[Bert Schroer]], \emph{Wigner Representation Theory of the Poincar\'e{} Group, Localization, Statistics and the S-Matrix}, 1996 (\href{http://cds.cern.ch/record/308785/files/9608092.pdf}{pdf})


\item Eberhard Freitag, \emph{Unitary representations of the Poincar\'e{} group} (\href{http://www.rzuser.uni-heidelberg.de/~t91/skripten/unitdarst.pdf}{pdf})


\item [[Xavier Bekaert]], Nicolas Boulanger, \emph{The unitary representations of the Poincare group in any spacetime dimension} (\href{http://arxiv.org/abs/hep-th/0611263}{arXiv:hep-th/0611263})


\item [[Norbert Dragon]], \emph{Currents for Arbitrary Helicity} (\href{http://arxiv.org/abs/1601.07825}{arXiv:1601.07825})



\end{itemize}
[[!redirects unitary irrep of the Poincare group]] [[!redirects unitary irreps of the Poincare group]] [[!redirects unitary irrep of the Poincaré group]] [[!redirects unitary irreps of the Poincaré group]]

[[!redirects unitary representation of the Poincare group]] [[!redirects unitary representations of the Poincare group]] [[!redirects unitary representation of the Poincaré group]] [[!redirects unitary representations of the Poincaré group]]

[[!redirects irreducible representation of the Poincare group]] [[!redirects irreducible representation of the Poincaré group]] [[!redirects irreducible representations of the Poincare group]] [[!redirects irreducible representations of the Poincaré group]]



\end{document}