Projektive Darstellung
# Projektive Darstellung

Im Bereich der mathematischen Darstellungstheorie ist eine projektive Darstellung einer Gruppe G auf einem Vektorraum V über einem Körper K ein Homomorphismus $\Pi$ von G in die projektive lineare Gruppe:

    $\Pi \colon G\rightarrow PGL(V)$

## Definition

Sei G eine Gruppe. Eine projektive Darstellung von G über einem Körper K hat folgende gleichwertige Definitionen:

* Sie beschreibt einen Homomorphismus von G zur projektiven allgemeinen linearen Gruppe für einen Vektorraum über K.
* Sie ist eine Abbildung $\alpha \colon G\rightarrow GL(V)$ ($GL$ ist die allgemeine lineare Gruppe), für die es eine skalarwertige Funktion $f\colon G\times G\rightarrow K^{*}$ gibt, sodass

       $\alpha (gh)=f(g,h)\alpha (g)\alpha (h)$.

Zwei projektive Darstellungen $\alpha _{1}\colon G\rightarrow GL(V_{1})$ und $\alpha _{2}\colon G\rightarrow GL(V_{2})$ über einem Körper K heißen projektiv äquivalent, falls ein Vektorraum-Isomorphismus $F\colon V_{1}\rightarrow V_{2}$ und eine Funktion (nicht notwendigerweise ein Homomorphismus) $\theta \colon G\rightarrow K^{*}$ existiert, sodass für jedes $g\in G$ und $v\in V_{1}$ gilt:

    $F(\alpha _{1}(g)\cdot v)=\theta (g)(\alpha _{2}(g)\cdot F(v))$

In anderen Worten unterscheiden sich die beiden durch ein skalares Vielfaches mit einem Basiswechsel-Isomorphismus.

## Lineare und projektive Darstellungen

Jede lineare Darstellung $G\rightarrow GL(V)$ ruft eine projektive Darstellung $G\rightarrow PGL(V)$ durch Zusammensetzung der Darstellungen mit der Quotientenabbildung $GL(V)\rightarrow PGL(V)$ hervor. Allerdings entsteht nicht jede projektive Darstellung aus einer linearen.

Mehrere verschiedene lineare Darstellungen können zu derselben projektiven Darstellung führen: Zwei lineare Darstellungen sind genau dann projektiv äquivalent, falls eine der beiden durch Multiplikationen der anderen mit einer eindimensionalen Darstellung hergeleitet werden kann. Daraus ergibt sich, dass alle eindimensionalen Darstellungen projektiv äquivalent zueinander sind.

