View source for Projective representation

<!--
p0753201.png
$#A+1 = 42 n = 0
$#C+1 = 42 : ~/encyclopedia/old_files/data/P075/P.0705320 Projective representation
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

''of a group  $  G $''

A homomorphism of this group into the group  $   \mathop{\rm PGL} ( V ) $
of projective transformations of the projective space  $  P ( V ) $
associated to a vector space  $  V $
over a field  $  k $.

With each projective representation  $  \phi $
of the group  $  G $
there is associated a central extension of  $  G $: 
Let  $   \mathop{\rm GL} ( V) $
be the [[General linear group|general linear group]] of  $  V $. 
Then one has a natural [[Exact sequence|exact sequence]]

$$ 
1  \rightarrow  k  ^  \times  \stackrel{i}\rightarrow   \mathop{\rm GL} ( V)  \stackrel{p}\rightarrow  \ 
 \mathop{\rm PGL} ( V)  \rightarrow  1,
$$

where  $  p $
is the natural projection of the group  $   \mathop{\rm GL} ( V) $
onto  $   \mathop{\rm PGL} ( V) $
and  $  i $
is the imbedding of the multiplicative group of the field  $  k $
into  $   \mathop{\rm GL} ( V) $
by scalar matrices. The pullback along  $  \phi $
gives rise to the following commutative diagram with exact rows:

$$ \tag{* }

\begin{array}{ccccccccc}
 1  &{ \rightarrow  }  &{k  ^  \times  }  &{  \mathop \rightarrow \limits ^ { {i }}   }  & \mathop{\rm GL} ( V)  &{  \mathop \rightarrow \limits ^ { {p }}   }  & \mathop{\rm PGL} ( V)  &{ \rightarrow  }  & 1  \\
{}  &{}  &\|  &{}  &{\uparrow { {\widehat \phi   } } }  &{}  &{\uparrow  \phi }  &{}  &{}  \\
 1  &{ \rightarrow  }  &{k  ^  \times  }  &{  \mathop \rightarrow \limits _ { {\widehat{i}  }}  }  &{E _  \phi  }  &{  \mathop \rightarrow \limits _ { {{\widehat{p}  }}  } }  & G  &{ \rightarrow  }  & 1  \\
\end{array}

$$

which is the associated central extension. Every section  $  \psi :  G \rightarrow E _  \phi  $, 
i.e. homomorphism  $  \psi $
such that  $  \psi \cdot \widehat{p}  =  \mathop{\rm id} _ {G} $, 
has the property

$$ 
\psi ( g _ {1} g _ {2} )  =  c ( g _ {1} , g _ {2} )
\psi ( g _ {1} ) \psi ( g _ {2} ) ,
$$

where  $  c:  G \times G \rightarrow k  ^  \times  $
is a  $  2 $-
cocycle of  $  G $. 
The cohomology class of this cocycle is independent of the choice of the section  $  s $. 
It is determined by the projective representation  $  \phi $
and determines the equivalence class of the extension (*). The condition  $  h = 0 $
is necessary and sufficient for the projective representation  $  \phi $
to be the composition of a linear representation of  $  G $
with the projection  $  p $.

Projective representations arise naturally in studying linear representations of group extensions. The most important examples of projective representations are: the spinor representation of an orthogonal group and the Weyl representation of a symplectic group. The definitions of equivalence and irreducibility of representations carry over directly to projective representations. The classification of the irreducible projective representations of finite groups was obtained by I. Schur (1904).

A projective representation is said to be unitary if  $  V $
is a Hilbert space and if the mapping  $  \psi $
can be chosen so that it takes values in the group  $  U ( V ) $
of unitary operators on  $  V $. 
Irreducible unitary projective representations of topological groups have been studied [[#References|[4]]]; for a connected Lie group  $  G $
this study reduces to a study of the irreducible unitary representations of a simply-connected Lie group  $  \widetilde{G}  $, 
the Lie algebra of which is the central extension of the Lie algebra  $  \mathfrak g $
of the group  $  G $
by a  $  d $-
dimensional commutative Lie algebra, where  $  d =  \mathop{\rm dim}  H  ^ {2} ( \mathfrak g , \mathbf R ) $.

====References====
<table>
<TR><TD valign="top">[1]</TD> <TD valign="top">  A.A. Kirillov, "Elements of the theory of representations" , Springer  (1976)  (Translated from Russian)</TD></TR>
<TR><TD valign="top">[2]</TD> <TD valign="top">  C.W. Curtis, I. Reiner,   "Representation theory of finite groups and associative algebras" , Interscience  (1962)</TD></TR>
<TR><TD valign="top">[3]</TD> <TD valign="top">  G.W. Mackey, "Unitary representations of group extensions, I"  ''Acta Math.'' , '''99'''  (1958)  pp. 265–311</TD></TR>
<TR><TD valign="top">[4]</TD> <TD valign="top">  V. Bargmann, "Irreducible unitary representations of the Lorentz group"  ''Ann. of Math.'' , '''48'''  (1947)  pp. 568–640</TD></TR>
<TR><TD valign="top">[a1]</TD> <TD valign="top">  C.W. Curtis, I. Reiner,   "Methods of representation theory" , '''1–2''' , Wiley (Interscience)  (1981–1987)</TD></TR>
<TR><TD valign="top">[a2]</TD> <TD valign="top">  I.M. Isaacs, "Character theory of finite groups" , Acad. Press  (1976)</TD></TR></table>