Projective representation

From Vero - Wikipedia
(Redirected from Projective rep)
Jump to navigation Jump to search

Template:Short description In the field of representation theory in mathematics, a projective representation of a group Template:Math on a vector space Template:Math over a field Template:Math is a group homomorphism from Template:Math to the projective linear group <math display="block">\mathrm{PGL}(V) = \mathrm{GL}(V) / F^*,</math> where GL(V) is the general linear group of invertible linear transformations of Template:Math over Template:Math, and Template:Math is the normal subgroup consisting of nonzero scalar multiples of the identity transformation (see Scalar transformation).<ref>Template:Harvnb.</ref>

Just as linear representations study the possible actions of the group Template:Math on vector spaces via linear transformation, the projective representations study the actions on lines in these vector spaces (namely Template:Math) via linear transformations.

In more concrete terms, a projective representation of <math>G</math> can be represented as a collection of operators <math>\rho(g)\in\mathrm{GL}(V),\, g\in G</math> satisfying the homomorphism property up to a constant:

<math>\rho(g)\rho(h) = c(g, h)\rho(gh),</math>

for some constant <math>c(g, h)\in F</math>. Two such choices of operators <math>\rho_1,\rho_2</math> define the same projective representation if for any <math>g\in G</math> the choices <math>\rho_1(g), \rho_2(g)</math> are the same up to a scalar. Equivalently, a projective representation of <math>G</math> is a collection of operators <math>\tilde\rho(g)\subset\mathrm{GL}(V), g\in G</math>, such that <math>\tilde\rho(gh)=\tilde\rho(g)\tilde\rho(h)</math>. Note that, in this notation, <math>\tilde\rho(g)</math> is a set of linear operators related by multiplication with some nonzero scalar.

If it is possible to choose a particular representative <math>\rho(g)\in\tilde\rho(g)</math> in each family of operators in such a way that the homomorphism property is satisfied exactly, rather than just up to a constant, then we say that <math>\tilde\rho</math> can be "de-projectivized", or that <math>\tilde\rho</math> can be "lifted to an ordinary representation". More concretely, we thus say that <math>\tilde\rho</math> can be de-projectivized if there are <math>\rho(g)\in\tilde\rho(g)</math> for each <math>g\in G</math> such that <math>\rho(g)\rho(h)=\rho(gh)</math>. This possibility is discussed further below.

Linear representations and projective representations

One way in which a projective representation can arise is by taking a linear group representation of Template:Math on Template:Math and applying the quotient map

<math>\operatorname{GL}(V, F) \rightarrow \operatorname{PGL}(V, F)</math>

which is the quotient by the subgroup Template:Math of scalar transformations (diagonal matrices with all diagonal entries equal). The interest for algebra is in the process in the other direction: given a projective representation, try to 'lift' it to an ordinary linear representation. A general projective representation Template:Math cannot be lifted to a linear representation Template:Math, and the obstruction to this lifting can be understood via group cohomology, as described below.

However, one can lift a projective representation <math>\rho</math> of Template:Math to a linear representation of a different group Template:Math, which will be a central extension of Template:Math. The group <math>H</math> is the subgroup of <math>G\times\mathrm{GL}(V)</math> defined as follows:

<math>H = \{(g, A) \in G\times\mathrm{GL}(V) \mid \pi(A) = \rho(g)\}</math>,

where <math>\pi</math> is the quotient map of <math>\mathrm{GL}(V)</math> onto <math>\mathrm{PGL}(V)</math>. Since <math>\rho</math> is a homomorphism, it is easy to check that <math>H</math> is, indeed, a subgroup of <math>G\times\mathrm{GL}(V)</math>. If the original projective representation <math>\rho</math> is faithful, then <math>H</math> is isomorphic to the preimage in <math>\mathrm{GL}(V)</math> of <math>\rho(G)\subseteq\mathrm{PGL}(V)</math>.

We can define a homomorphism <math>\phi:H\rightarrow G</math> by setting <math>\phi((g, A)) = g</math>. The kernel of <math>\phi</math> is:

<math>\mathrm{ker}(\phi) = \{(e, cI) \mid c \in F^*\}</math>,

which is contained in the center of <math>H</math>. It is clear also that <math>\phi</math> is surjective, so that <math>H</math> is a central extension of <math>G</math>. We can also define an ordinary representation <math>\sigma</math> of <math>H</math> by setting <math>\sigma((g, A)) = A</math>. The ordinary representation <math>\sigma</math> of <math>H</math> is a lift of the projective representation <math>\rho</math> of <math>G</math> in the sense that:

<math>\pi(\sigma((g, A))) = \rho(g) = \rho(\phi((g, A)))</math>.

If Template:Math is a perfect group there is a single universal perfect central extension of Template:Math that can be used.

Group cohomology

The analysis of the lifting question involves group cohomology. Indeed, if one fixes for each Template:Math in Template:Math a lifted element Template:Math in lifting from Template:Math back to Template:Math, the lifts then satisfy

<math>L(gh) = c(g, h)L(g)L(h)</math>

for some scalar Template:Math in Template:Math. It follows that the 2-cocycle or Schur multiplier Template:Math satisfies the cocycle equation

<math> c(h, k)c(g, hk) = c(g, h) c(gh, k)</math>

for all Template:Math in Template:Math. This Template:Math depends on the choice of the lift Template:Math; a different choice of lift Template:Math will result in a different cocycle

<math>c^\prime(g, h) = f(gh)f(g)^{-1} f(h)^{-1} c(g,h)</math>

cohomologous to Template:Math. Thus Template:Math defines a unique class in Template:Math. This class might not be trivial. For example, in the case of the symmetric group and alternating group, Schur established that there is exactly one non-trivial class of Schur multiplier, and completely determined all the corresponding irreducible representations.<ref>Template:Harvnb</ref>

In general, a nontrivial class leads to an extension problem for Template:Math. If Template:Math is correctly extended we obtain a linear representation of the extended group, which induces the original projective representation when pushed back down to Template:Math. The solution is always a central extension. From Schur's lemma, it follows that the irreducible representations of central extensions of Template:Math, and the irreducible projective representations of Template:Math, are essentially the same objects.

First example: Finite abelian groups

The group with 2 elements

Consider first the group <math>G = \mathbb{Z}/2</math> with two elements denoted by <math>e, \sigma</math>, where <math>e</math> is the trivial element and the group is defined by the identity <math>\sigma^2 = e</math>. In every projective representation <math>e</math> is sent to the identity map, so the representation is determined completely by the image of <math>\sigma</math>. This group has two (irreducible) linear representations, both 1-dimensional:

  • The trivial representation: <math>\sigma \mapsto1</math>
  • The nontrivial representation: <math>\sigma \mapsto -1</math>

While these are distinct as linear representations, namely their actions on the points are different, they are the same as projective representations. In a 1-dimensional space, there is a single line, and both send that line to itself. More generally, any choice of the image <math>\sigma \mapsto c</math> will produce the same 1-dimensional projective representation. Namely, there is a unique 1-dimensional projective representation, and it is the trivial representation (and this holds for any group).

Over the 2-dimensional plane <math>\mathbb{R}^2</math>, we can send <math>\sigma</math> to the <math>90^\circ</math> rotation:

<math display="block">\rho:\sigma\mapsto\begin{pmatrix}0&1\\-1&0\end{pmatrix}</math>

Two <math>90^\circ</math> rotations, namely <math>180^\circ</math> rotation, returns the lines in the plane to themselves, hence it defines a projective representation. More formally, <math>\rho(\sigma^2),\rho(\sigma)^2</math> are the same up to a sign:

<math display="block">\rho(\sigma)^2=-Id=-\rho(e)=-\rho(\sigma^2).</math>

Unlike the 1-dimensional case, this projective representation doesn't arise from a standard linear representation. However, working over the complex numbers <math>\mathbb{C}</math> instead of the real numbers, this projective representation is the same as

<math display="block">\rho':\sigma\mapsto i\cdot\begin{pmatrix}0&1\\-1&0\end{pmatrix},</math>in which case it is a linear representation, since <math>\rho'(\sigma)^2 = \rho'(\sigma^2) = Id</math>.

General cyclic group

Now let <math>G=\mathbb{Z} / n</math> which we write multiplicatively as <math>G=\{e,\sigma,\sigma^2,...,\sigma^{n-1}\}</math>, and let <math>\rho:G \to GL(V)</math> be a choice of representatives for a projective representation:

  • The trivial element: Since <math>\rho(e)\rho(e) = c(e,e) \rho(e^2) = c(e,e) \rho(e)</math>, and <math>\rho(e)</math> is invertible, it must be the scalar <math>\rho(e)=c(e,e)\cdot Id</math>. Hence, we can change the choice to be <math>\rho(e)=Id</math> without changing the representation.
  • The nontrivial elements: Since <math>\rho(\sigma)^k,\rho(\sigma^k)</math> are the same up to a scalar, we can similarly choose the representatives so that <math>\rho(\sigma^k)=\rho(\sigma)^k</math> for <math>k=0,...,n-1</math>.

After these reductions, we are left with a choice for <math>\rho(\sigma) </math> and a scalar <math>c</math> such that

<math display="block">\rho(\sigma)^n=c\cdot\rho(\sigma^n)=c\cdot\rho(e)=c\cdot Id .</math>

On the other hand, any choice of a root <math>A^n = c\cdot Id</math> for some scalar <math>c \neq 0</math> can define a projective representation by setting <math display="block">\rho(\sigma^k)=A^k,\;k=0,...,n-1 .</math>

Over the complex numbers (or generally over algebraically closed field), changing the choice of <math>\rho(\sigma)</math> into <math>\frac{1}{\sqrt[n]{c}} \rho(\sigma)</math> will produce a standard linear representation, or in other words all the projective representations arise from ordinary linear representations

Product of cyclic groups

In a product of two cyclic groups <math>G = \{e,\sigma,...\sigma^{n-1}\}\times \{e,\tau,...,\tau^{m-1}\}</math>, a similar process can be done by changing the choice of representatives to satisfy:

<math display="block">\rho(\sigma^k\cdot \tau^\ell) := \rho(\sigma)^k \rho(\tau)^\ell,\; \; 0\leq k < n, \;0\leq \ell < m .</math>

This reduces to three conditions:

  1. <math>\rho(\sigma)^n = c_\sigma \cdot Id</math> , <math>\rho(\tau)^m = c_\tau \cdot Id</math>, and
  2. <math>\rho(\tau)\rho(\sigma) = c_{\tau,\sigma} \rho(\sigma \tau) = c_{\tau,\sigma} \rho(\sigma) \rho(\tau) </math>.

This new scalar must satisfy:

  • <math>c_\tau\rho(\sigma)=\rho(\tau)^m\rho(\sigma)=c_{\tau,\sigma}^m \rho(\sigma) \rho(\tau)^m=c_\tau c_{\tau,\sigma}^m \rho(\sigma)</math>, so that <math>c_{\tau, \sigma}^m = 1</math>.
  • Similarly, <math>c_{\tau,\sigma}^n = 1</math>.

Both together imply that <math>c_{\tau,\sigma}^{\text{gcd}(n,m)} = 1 </math>. Any such choices of <math>\rho(\sigma), \rho(\tau) </math> which satisfy these 3 conditions will define a projective representation.

Over the complex numbers, as previously we can assume that <math>c_\tau = c_\sigma = 1 </math>, so the only parameter is <math>c_{\tau,\sigma}^{\text{gcd}(n,m)} = 1 </math>.

For example, taking <math>n=m </math> we have 3 conditions <math>\rho(\sigma)^n=\rho(\tau)^n=Id </math> and <math>\rho(\tau)\rho(\sigma) = c_{\tau,\sigma}\rho(\sigma)\rho(\tau) </math> where <math>c_{\tau,\sigma}^n = 1 </math>. These equations have solutions in <math>GL_n(\mathbb{C}) </math> for any <math>n </math> and any choice of root of unity <math>c_{\tau,\sigma}^n = 1 </math>. More specifically, letting <math>\zeta_n </math> be such a root of unity, define:

<math> \rho(\sigma) \mapsto \begin{pmatrix} 1 & 0 & 0 & \cdots & 0 \\ 0 & \zeta_n & 0 & & \vdots \\ 0 & 0 & \zeta_n^2 & & \\ \vdots & & & \ddots & 0 \\ 0 & \cdots & & 0 & \zeta_n^{n-1} \end{pmatrix} \;\;;\;\; \rho(\tau) \mapsto \begin{pmatrix} 0 & 1 & 0 & & \\ 

 & 0 & 1 & \ddots&  \\

\vdots & & 0 & \ddots & 0 \\ 0 & & & \ddots & 1 \\ 1 & 0 & \cdots & & 0 \end{pmatrix} 

</math>.

Both matrices define an "<math>n </math>-rotation": <math>\rho(\sigma) </math> rotates each coordinate separately as complex numbers, while <math>\rho(\tau) </math> rotates the coordinates of the vector, and in particular <math>\rho(\sigma)^n=\rho(\tau)^n=Id </math>. In addition we have that <math>\rho(\tau)\rho(\sigma)=\zeta_n \rho(\sigma)\rho(\tau) </math>.

Note that <math>c_{\tau,\sigma}=\rho(\tau)\rho(\sigma)\rho(\tau)^{-1}\rho(\sigma)^{-1}</math> is independent of the choices of representatives. It follows that the <math>n </math> projective representations defined above for the <math>n </math> distinct roots of unity are distinct representations.


The projective representations for general product of cyclic groups is done in a similar manner.

Discrete Fourier transform

Template:See also The projective representations of <math>\mathbb{Z}/p \times \mathbb{Z} /p </math> as mentioned above, are many times viewed through the lens of Fourier transform.

Consider the field <math>\mathbb Z/p</math> of integers mod <math>p</math>, where <math>p</math> is prime, and let <math>V</math> be the <math>p</math>-dimensional space of functions on <math>\mathbb Z/p</math> with values in <math>\mathbb C</math>. For each <math>a</math> in <math>\mathbb Z/p</math>, define two operators, <math>T_a</math> and <math>S_a</math> on <math>V</math> as follows:

<math>\begin{align}
 (T_a f)(b) &= f(b - a) \\
 (S_a f)(b) &= e^{2\pi iab/p}f(b).

\end{align}</math>

We write the formula for <math>S_a</math> as if <math>a</math> and <math>b</math> were integers, but it is easily seen that the result only depends on the value of <math>a</math> and <math>b</math> mod <math>p</math>. The operator <math>T_a</math> is a translation, while <math>S_a</math> is a shift in frequency space (that is, it has the effect of translating the discrete Fourier transform of <math>f</math>).

One may easily verify that for any <math>a</math> and <math>b</math> in <math>\mathbb Z/p</math>, the operators <math>T_a</math> and <math>S_b</math> commute up to multiplication by a constant:

<math>T_a S_b = e^{-2\pi iab/p}S_b T_a</math>.

We may therefore define a projective representation <math>\rho</math> of <math>\mathbb Z/p\times \mathbb Z/p</math> as follows:

<math>\rho(a, b) = [T_a S_b]</math>,

where <math>[A]</math> denotes the image of an operator <math>A\in\mathrm{GL}(V)</math> in the quotient group <math>\mathrm{PGL}(V)</math>. Since <math>T_a</math> and <math>S_b</math> commute up to a constant, <math>\rho</math> is easily seen to be a projective representation. On the other hand, since <math>T_a</math> and <math>S_b</math> do not actually commute—and no nonzero multiples of them will commute—<math>\rho</math> cannot be lifted to an ordinary (linear) representation of <math>\mathbb Z/p\times \mathbb Z/p</math>.

Since the projective representation <math>\rho</math> is faithful, the central extension <math>H</math> of <math>\mathbb Z/p\times \mathbb Z/p</math> obtained by the construction in the previous section is just the preimage in <math>\mathrm{GL}(V)</math> of the image of <math>\rho</math>. Explicitly, this means that <math>H</math> is the group of all operators of the form

<math>e^{2\pi ic/p}T_a S_b</math>

for <math>a,b,c\in\mathbb Z/p</math>. This group is a discrete version of the Heisenberg group and is isomorphic to the group of matrices of the form

<math>\begin{pmatrix}
1 & a & c\\
0 & 1 & b\\
0 & 0 & 1\\

\end{pmatrix}</math>

with <math>a, b, c\in\mathbb Z/p</math>.

Projective representations of Lie groups

Template:See also Studying projective representations of Lie groups leads one to consider true representations of their central extensions (see Template:Slink). In many cases of interest it suffices to consider representations of covering groups. Specifically, suppose <math>\hat G</math> is a connected cover of a connected Lie group <math>G</math>, so that <math>G\cong \hat G/N</math> for a discrete central subgroup <math>N</math> of <math>\hat G</math>. (Note that <math>\hat G</math> is a special sort of central extension of <math>G</math>.) Suppose also that <math>\Pi</math> is an irreducible unitary representation of <math>\hat G</math> (possibly infinite dimensional). Then by Schur's lemma, the central subgroup <math>N</math> will act by scalar multiples of the identity. Thus, at the projective level, <math>\Pi</math> will descend to <math>G</math>. That is to say, for each <math>g\in G</math>, we can choose a preimage <math>\hat g</math> of <math>g</math> in <math>\hat G</math>, and define a projective representation <math>\rho</math> of <math>G</math> by setting

<math>\rho(g) = \left[\Pi\left(\hat g\right)\right]</math>,

where <math>[A]</math> denotes the image in <math>\mathrm{PGL}(V)</math> of an operator <math>A\in\mathrm{GL}(V)</math>. Since <math>N</math> is contained in the center of <math>\hat G</math> and the center of <math>\hat G</math> acts as scalars, the value of <math>\left[\Pi\left(\hat g\right)\right]</math> does not depend on the choice of <math>\hat g</math>.

The preceding construction is an important source of examples of projective representations. Bargmann's theorem (discussed below) gives a criterion under which every irreducible projective unitary representation of <math>G</math> arises in this way.

Projective representations of Template:Math

A physically important example of the above construction comes from the case of the [[rotation group SO(3)|rotation group Template:Math]], whose [[Rotation group SO(3)#Connection between SO(3) and SU(2)|universal cover is Template:Math]]. According to the [[representation theory of SU(2)|representation theory of Template:Math]], there is exactly one irreducible representation of Template:Math in each dimension. When the dimension is odd (the "integer spin" case), the representation descends to an ordinary representation of Template:Math.<ref>Template:Harvnb Section 4.7</ref> When the dimension is even (the "fractional spin" case), the representation does not descend to an ordinary representation of Template:Math but does (by the result discussed above) descend to a projective representation of Template:Math. Such projective representations of Template:Math (the ones that do not come from ordinary representations) are referred to as "spinorial representations", whose elements (vectors) are called spinors.

By an argument discussed below, every finite-dimensional, irreducible projective representation of Template:Math comes from a finite-dimensional, irreducible ordinary representation of Template:Math.

Examples of covers, leading to projective representations

Notable cases of covering groups giving interesting projective representations:

Finite-dimensional projective unitary representations

In quantum physics, symmetry of a physical system is typically implemented by means of a projective unitary representation <math>\rho</math> of a Lie group <math>G</math> on the quantum Hilbert space, that is, a continuous homomorphism

<math>\rho: G\rightarrow\mathrm{PU}(\mathcal H),</math>

where <math>\mathrm{PU}(\mathcal H)</math> is the quotient of the unitary group <math>\mathrm{U}(\mathcal H)</math> by the operators of the form <math>cI,\,|c| = 1</math>. The reason for taking the quotient is that physically, two vectors in the Hilbert space that are proportional represent the same physical state. [That is to say, the space of (pure) states is the set of equivalence classes of unit vectors, where two unit vectors are considered equivalent if they are proportional.] Thus, a unitary operator that is a multiple of the identity actually acts as the identity on the level of physical states.

A finite-dimensional projective representation of <math>G</math> then gives rise to a projective unitary representation <math>\rho_*</math> of the Lie algebra <math>\mathfrak g</math> of <math>G</math>. In the finite-dimensional case, it is always possible to "de-projectivize" the Lie-algebra representation <math>\rho_*</math> simply by choosing a representative for each <math>\rho_*(X)</math> having trace zero.<ref>Template:Harvnb Proposition 16.46</ref> In light of the homomorphisms theorem, it is then possible to de-projectivize <math>\rho</math> itself, but at the expense of passing to the universal cover <math>\tilde G</math> of <math>G</math>.<ref>Template:Harvnb Theorem 16.47</ref> That is to say, every finite-dimensional projective unitary representation of <math>G</math> arises from an ordinary unitary representation of <math>\tilde G</math> by the procedure mentioned at the beginning of this section.

Specifically, since the Lie-algebra representation was de-projectivized by choosing a trace-zero representative, every finite-dimensional projective unitary representation of <math>G</math> arises from a determinant-one ordinary unitary representation of <math>\tilde G</math> (i.e., one in which each element of <math>\tilde G</math> acts as an operator with determinant one). If <math>\mathfrak g</math> is semisimple, then every element of <math>\mathfrak g</math> is a linear combination of commutators, in which case every representation of <math>\mathfrak g</math> is by operators with trace zero. In the semisimple case, then, the associated linear representation of <math>\tilde G</math> is unique.

Conversely, if <math>\rho</math> is an irreducible unitary representation of the universal cover <math>\tilde G</math> of <math>G</math>, then by Schur's lemma, the center of <math>\tilde G</math> acts as scalar multiples of the identity. Thus, at the projective level, <math>\rho</math> descends to a projective representation of the original group <math>G</math>. Thus, there is a natural one-to-one correspondence between the irreducible projective representations of <math>G</math> and the irreducible, determinant-one ordinary representations of <math>\tilde G</math>. (In the semisimple case, the qualifier "determinant-one" may be omitted, because in that case, every representation of <math>\tilde G</math> is automatically determinant one.)

An important example is the case of SO(3), whose universal cover is SU(2). Now, the Lie algebra <math>\mathrm{su}(2)</math> is semisimple. Furthermore, since SU(2) is a compact group, every finite-dimensional representation of it admits an inner product with respect to which the representation is unitary.<ref>Template:Harvnb proof of Theorem 4.28</ref> Thus, the irreducible projective representations of SO(3) are in one-to-one correspondence with the irreducible ordinary representations of SU(2).

Infinite-dimensional projective unitary representations: the Heisenberg case

The results of the previous subsection do not hold in the infinite-dimensional case, simply because the trace of <math>\rho_*(X)</math> is typically not well defined. Indeed, the result fails: Consider, for example, the translations in position space and in momentum space for a quantum particle moving in <math>\mathbb R^n</math>, acting on the Hilbert space <math>L^2(\mathbb R^n)</math>.<ref>Template:Harvnb Example 16.56</ref> These operators are defined as follows:

<math>\begin{align}
 (T_a f)(x) &= f(x - a) \\
 (S_a f)(x) &= e^{iax}f(x),

\end{align}</math>

for all <math>a\in\mathbb R^n</math>. These operators are simply continuous versions of the operators <math>T_a</math> and <math>S_a</math> described in the "First example" section above. As in that section, we can then define a projective unitary representation <math>\rho</math> of <math>\mathbb R^{2n}</math>:

<math>\rho(a, b) = [T_a S_b],</math>

because the operators commute up to a phase factor. But no choice of the phase factors will lead to an ordinary unitary representation, since translations in position do not commute with translations in momentum (and multiplying by a nonzero constant will not change this). These operators do, however, come from an ordinary unitary representation of the Heisenberg group, which is a one-dimensional central extension of <math>\mathbb R^{2n}</math>.<ref>Template:Harvnb Exercise 6 in Chapter 14</ref> (See also the Stone–von Neumann theorem.)

Infinite-dimensional projective unitary representations: Bargmann's theorem

On the other hand, Bargmann's theorem states that if the second Lie algebra cohomology group <math>H^2(\mathfrak g; \mathbb R)</math> of <math>\mathfrak g</math> is trivial, then every projective unitary representation of <math>G</math> can be de-projectivized after passing to the universal cover.<ref>Template:Harvnb</ref><ref>Template:Harvnb</ref> More precisely, suppose we begin with a projective unitary representation <math>\rho</math> of a Lie group <math>G</math>. Then the theorem states that <math>\rho</math> can be lifted to an ordinary unitary representation <math>\hat\rho</math> of the universal cover <math>\hat G</math> of <math>G</math>. This means that <math>\hat\rho</math> maps each element of the kernel of the covering map to a scalar multiple of the identity—so that at the projective level, <math>\hat\rho</math> descends to <math>G</math>—and that the associated projective representation of <math>G</math> is equal to <math>\rho</math>.

The theorem does not apply to the group <math>\mathbb R^{2n}</math>—as the previous example shows—because the second cohomology group of the associated commutative Lie algebra is nontrivial. Examples where the result does apply include semisimple groups (e.g., SL(2,R)) and the Poincaré group. This last result is important for Wigner's classification of the projective unitary representations of the Poincaré group.

The proof of Bargmann's theorem goes by considering a central extension <math>H</math> of <math>G</math>, constructed similarly to the section above on linear representations and projective representations, as a subgroup of the direct product group <math>G\times U(\mathcal H)</math>, where <math>\mathcal H</math> is the Hilbert space on which <math>\rho</math> acts and <math>U(\mathcal H)</math> is the group of unitary operators on <math>\mathcal H</math>. The group <math>H</math> is defined as

<math>H = \{(g, U) \mid \pi(U) = \rho(g)\}.</math>

As in the earlier section, the map <math>\phi: H \rightarrow G</math> given by <math>\phi(g, U) = g</math> is a surjective homomorphism whose kernel is <math>\{(e, cI) \mid |c| = 1\},</math> so that <math>H</math> is a central extension of <math>G</math>. Again as in the earlier section, we can then define a linear representation <math>\sigma</math> of <math>H</math> by setting <math>\sigma(g, U) = U</math>. Then <math>\sigma</math> is a lift of <math>\rho</math> in the sense that <math>\rho\circ\phi = \pi\circ\sigma</math>, where <math>\pi</math> is the quotient map from <math>U(\mathcal H)</math> to <math>PU(\mathcal H)</math>.

A key technical point is to show that <math>H</math> is a Lie group. (This claim is not so obvious, because if <math>\mathcal H</math> is infinite dimensional, the group <math>G\times U(\mathcal H)</math> is an infinite-dimensional topological group.) Once this result is established, we see that <math>H</math> is a one-dimensional Lie group central extension of <math>G</math>, so that the Lie algebra <math>\mathfrak h</math> of <math>H</math> is also a one-dimensional central extension of <math>\mathfrak g</math> (note here that the adjective "one-dimensional" does not refer to <math>H</math> and <math>\mathfrak{h}</math>, but rather to the kernel of the projection map from those objects onto <math>G</math> and <math>\mathfrak{g}</math> respectively). But the cohomology group <math>H^2(\mathfrak g; \mathbb R)</math> may be identified with the space of one-dimensional (again, in the aforementioned sense) central extensions of <math>\mathfrak g</math>; if <math>H^2(\mathfrak g; \mathbb R)</math> is trivial then every one-dimensional central extension of <math>\mathfrak g</math> is trivial. In that case, <math>\mathfrak h</math> is just the direct sum of <math>\mathfrak g</math> with a copy of the real line. It follows that the universal cover <math>\tilde H</math> of <math>H</math> must be just a direct product of the universal cover of <math>G</math> with a copy of the real line. We can then lift <math>\sigma</math> from <math>H</math> to <math>\tilde H</math> (by composing with the covering map) and finally restrict this lift to the universal cover <math>\tilde G</math> of <math>G</math>.

See also

Notes

Template:Reflist

References

Retrieved from "https://wiki.sarg.dev/index.php?title=Projective_representation&oldid=221855"