Projective representation

Projective representation

In the mathematical field of representation theory, a projective representation of a group "G" on a vector space "V" over a field F is a group homomorphism from "G" to :PGL("V",F) = GL("V",F)/F∗ where GL("V",F) is the automorphism group of invertible linear transformations of "V" over F and F* here is the normal subgroup consisting of multiplications of vectors in "V" by nonzero elements of F (that is, scalar multiples of the identity). [Harvnb|Gannon|2006|pp=176–179.]

Linear representations and projective representations

One way in which a projective representation can arise is by taking a linear group representation of "G" on "V" and applying the homomorphism

:GL("V", F) → PGL("V", F),

which is the quotient by the subgroup F∗. The interest for algebra is in the process in the other direction: given a "projective representation", try to 'lift' it to a conventional "linear representation".

The analysis of this question involves group cohomology. Indeed, if one introduces for "g" in "G" a lifted element "L"("g") in lifting from PGL("V") back to GL("V"), the lifts must satisfy

:"L"("gh") = "c"("g","h")"L"("g")"L"("h")

for some constant "c"("g","h") in F∗. The 2-cocycle or Schur multiplier "c" must satisfy the cocycle equation

: c(h,k)c(g,hk)= c(g,h) c(gh,k)

for all "g", "h", "k" in "G", A different choice of lift "L' "("g")= "f"("g") "L"("g") will result in a new cocycle

:c^prime(g,h) = f(gh)f(g)^{-1} f(h)^{-1} c(g,h)

cohomologous to "c". Thus "L" defines a unique class in H2("G", F∗), which need not be trivial. For example, in the case of the symmetric group and alternating group, Schur proved that there is exactly one non-trivial class of Schur multiplier and completely determined all the corresponding irreducible representations. [harvnb|Schur|1911]

It is shown, however, that this leads to an extension problem for "G". If "G" is correctly extended we can speak of a linear representation of the extended group, which gives back the initial projective representation on factoring by F∗ and the extending subgroup. The solution is always a central extension. From Schur's lemma, it follows that the irreducible representations of central extensions of "G", and the projective representations of "G", describe essentially the same questions of representation theory.

Notes

Reference

*citation|first=I.|last=Schur|authorlink=Issai Schur|title=Über die Dartsellung der symmetrischen und der alternierenden Gruppe durch gebrochene lineare Substitutionen|year=1911|journal=Crelle's J.|pages=155-250|volume=139|url=http://gdz.sub.uni-goettingen.de/no_cache/en/dms/load/img/?IDDOC=261150
*citation|title=Moonshine Beyond the Monster: The Bridge Connecting Algebra, Modular Forms and Physics|first=Terry|last= Gannon|publisher=Cambridge University Press|year= 2006|isbn=978-0521835312

ee also

*Affine representation
*Group action


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Projective unitary group — In mathematics, the projective unitary group PU( n ) is the quotient of the unitary group U( n ) by the right multiplication of its center, U(1), embedded as scalars.Abstractly, it is the isometry group of complex projective space, just as the… …   Wikipedia

  • Projective space — In mathematics a projective space is a set of elements constructed from a vector space such that a distinct element of the projective space consists of all non zero vectors which are equal up to a multiplication by a non zero scalar. A formal… …   Wikipedia

  • Representation theory of the Galilean group — In nonrelativistic quantum mechanics, an account can be given of the existence of mass and spin as follows:The spacetime symmetry group of nonrelativistic quantum mechanics is the Galilean group. In 3+1 dimensions, this is the subgroup of the… …   Wikipedia

  • Projective Hilbert space — In mathematics and the foundations of quantum mechanics, the projective Hilbert space P ( H ) of a complex Hilbert space H is the set of equivalence classes of vectors v in H , with v ne; 0, for the relation given by : v w when v = lambda; w with …   Wikipedia

  • Representation theory — This article is about the theory of representations of algebraic structures by linear transformations and matrices. For the more general notion of representations throughout mathematics, see representation (mathematics). Representation theory is… …   Wikipedia

  • Projective connection — In differential geometry, a projective connection is a type of Cartan connection on a differentiable manifold. The structure of a projective connection is modeled on the geometry of projective space, rather than the affine space corresponding to… …   Wikipedia

  • Représentation de mot — La représentation de mot et la représentation de chose distinguent chez Freud deux types de représentation. Sommaire 1 La représentation de mot 2 La représentation de chose 3 Références …   Wikipédia en Français

  • Représentation stéréographique — Projection stéréographique Projection stéréographique du pôle sud sur le plan équatorial …   Wikipédia en Français

  • Group representation — In the mathematical field of representation theory, group representations describe abstract groups in terms of linear transformations of vector spaces; in particular, they can be used to represent group elements as matrices so that the group… …   Wikipedia

  • List of representation theory topics — This is a list of representation theory topics, by Wikipedia page. See also list of harmonic analysis topics, which is more directed towards the mathematical analysis aspects of representation theory. Contents 1 General representation theory 2… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”