Background
----------


A projective representation $V\_g\in \mathrm{GL}\_n(\mathbb{C})$ of a group $G$ is characterized by $V\_gV\_h=\omega(g,h)V\_h$, where $\omega(g,h)\in\mathrm{U}(1)$ is a 2-cocycle. Changing the phase of each $V\_g$ by $\phi\_g$ induces an equivalence relation 
$$
\omega(g,h) \sim \omega(g,h)\phi\_g\phi\_h/\phi\_{gh}\ ;
$$
the resulting equivalence classes of $\omega$'s are labelled by elements of the second cohomology group $\mathrm{H}^2(G,\mathrm{U}(1))$.




---


Question
--------



> 
> Under which condition on the group $G$ is it possible to identify the equivalence class 
>  in $\mathrm{H}^2(G,\mathrm{U}(1))$
>  of the 2-cocycle characterizing a projective representation $V\_g$ from a (finite number of) quantities of the form 
>  $$
> \mathrm{tr}[\tilde V\_g\tilde V\_h \tilde V\_k\cdots]\ ,
> $$
>  where $\tilde V\_g$ can be either $V\_g$ or $V\_g^\dagger$?
> 
> 
> 




---


Example
-------


Let me give an example to illustrate what I am looking for. 
Consider $G=\mathrm{SO(3)}$; here, $\mathrm{H}^2(G,\mathrm{U}(1))=\mathbb{Z}\_2$, corresponding to integer and half-integer spin representations, respectively. If we denote by $x\in G$ a rotation about the $x$ axis by $\pi$, and correspondingly for $y$ and $z$, we have that 
$$
\mathrm{tr}[V\_xV\_zV\_x^\dagger V\_z^\dagger]
$$
is $+1$ for integer spin and $-1$ for half-integer spin representations. Alternatively, we can also compute
$$
\mathrm{tr}[V\_xV\_yV\_z]\mathrm{tr}[V\_x^\dagger V\_y^\dagger V\_z^\dagger]
$$
with the same outcome. (Note that both these quantities are "gauge-invariant" -- they do not depend on the choice of the phase $\phi\_g$ -- as each $V\_g$ appears together with $V\_g^\dagger$.)




---


Comments
--------


It seems to me that such a way to identify the element in $\mathrm{H}^2(G,\mathrm{U}(1))=\mathbb{Z}\_2$ associated to a projective representation should exist for any sufficiently "nice" groups (finite groups and compact Lie groups?), but I have only found the $\mathrm{SO}(3)$ (or $D\_2$, which is here equivalent) example discussed in the literature. Yet, I would think that this has been studied previously.


Clearly, the quantity in each trace should be proportional to the identity, as it must not depend on the choice of basis. Also, by choosing an appropriate gauge for $\omega$ s.th.\ $\omega(g,g^{-1}=1$, the use of $V\_g^\dagger$ becomes unnecessary. 


It seems that for finite groups, one could prove this by using the fact that inequivalent projective representations have non-isomorphic central extensions: Given two non-isomorphic central extensions, start building an isomorphism between them by arbitrarily identifying elements of the two central extensions which are mapped to the same $g$. This will eventually lead to a contradiction, and it seems that this contradiction can be expressed in terms of products of group elements which give the identity, but have a different phase in the central extension associated with them.



Identifying projective representations using "gauge-invariant" traces tr[V_g V_h V_k ... ]
Since the action on $U(1)$ is trivial, and since $U(1)$ is injective as an abelian group, the Universal Coefficients Theorem will give you an isomorphism 
$$H^2(G,U(1))\cong Hom(H\_2(G,\mathbb{Z}),U(1)).$$
Now for a discrete group $G$ which is written as $F/R$ (with $F$ a free group), we have $$M:=H\_2(G,\mathbb{Z})\cong [F,F]\cap R/[F,R].$$
The idea is that if you have a cohomology class $\alpha\in H^2(G,U(1))$, then the corresponding homomorphism $\phi\_{\alpha}:M\to U(1)$ will be given by sending an element of the form $[g\_1,h\_1]\cdots [g\_n,h\_n]\in[F,F]\cap R$ to $V\_{g\_1} V\_{h\_1}V\_{g\_1}^{-1}V\_{h\_1}^{-1}\cdots V\_{g\_n} V\_{h\_n}V\_{g\_n}^{-1}V\_{h\_n}^{-1}$ which is a scalar multiple, and is therefore contained in $U(1)$. So you do not even need to take traces here, you can just take directly the resulting elements. 


For non discrete groups it depends on what kind of cohomology you consider. If you just regard your group without topology, then the same trick should hold. If you consider only continuous cocycles (for example), it is less clear.


