Symmetrische Algebra

In d​er Mathematik dienen symmetrische Algebren z​ur Definition v​on Polynomen über beliebigen Vektorräumen. Sie spielen e​ine wichtige Rolle e​twa in d​er Theorie d​er Lie-Gruppen u​nd in d​er Theorie d​er charakteristischen Klassen.

Formale Definition

Es sei ${\displaystyle V}$ ein Vektorraum über einem Körper ${\displaystyle K}$. Weiter sei

${\displaystyle T^{k}(V)=\underbrace {V\otimes \cdots \otimes V} _{k{\text{-mal}}}}$

das ${\displaystyle k}$-fache Tensorprodukt von ${\displaystyle V}$ mit den Konventionen ${\displaystyle T^{0}(V)=K}$ und ${\displaystyle T^{1}(V)=V}$. Die direkte Summe

${\displaystyle T(V)=\bigoplus _{k=0}^{\infty }T^{k}(V)}$

ist die Tensoralgebra von ${\displaystyle V}$.

Das zweiseitige, homogene Ideal ${\displaystyle I(V)\subseteq T(V)}$ sei erzeugt durch Differenzen von Elementartensoren mit "vertauschter Reihenfolge":

${\displaystyle I(V):=\mathrm {span} \left\{v\otimes w-w\otimes v\;{\Big |}\;v,w\in V\right\}}$.

Die symmetrische Algebra i​st dann definiert a​ls der Quotientenraum

${\displaystyle S(V)=T(V)/I(V)}$.

Die ${\displaystyle k}$-te symmetrische Potenz von ${\displaystyle V}$ ist definiert als das Bild von ${\displaystyle T^{k}(V)}$ in ${\displaystyle S(V)}$, sie wird mit ${\displaystyle S^{k}(V)}$ bezeichnet. Man hat eine Zerlegung

${\displaystyle S(V)=\bigoplus _{k=0}^{\infty }S^{k}(V)}$.

Das Produkt in der symmetrischen Algebra wird traditionell als ${\displaystyle ab}$ geschrieben.

Analog k​ann man d​ie symmetrische Algebra v​on Moduln über kommutativen Ringen definieren.

Beispiele

Für ${\displaystyle V=K}$ ist ${\displaystyle S(V)}$ isomorph zum Polynomring ${\displaystyle K[X]}$.

Allgemein kann man die Elemente von ${\displaystyle S(V)}$ als Polynome in den Elementen einer fest gewählten ${\displaystyle K}$-Basis von ${\displaystyle V}$ interpretieren.

Speziell für ${\displaystyle V:={\mathfrak {gl}}(n,K)=\operatorname {Mat} (n,K)}$, den Vektorraum der ${\displaystyle n\times n}$-Matrizen über ${\displaystyle K}$, kann man die Elemente von ${\displaystyle S(V)}$ als Polynome in den Einträgen der Matrizen interpretieren:

${\displaystyle S({\mathfrak {gl}}(n,K))\simeq K\left[x_{11},\ldots ,x_{nn}\right]}$.

Polynome über Vektorräumen

Homogene Polynome vom Grad ${\displaystyle k}$ über einem ${\displaystyle \mathbb {K} }$-Vektorraum ${\displaystyle V}$ sind – per Definition – die Elemente aus ${\displaystyle S^{k}(V^{*})}$, wobei ${\displaystyle V^{*}}$ den Dualraum bezeichnet. Diese Polynome sind lineare Abbildungen

${\displaystyle P:\underbrace {V\otimes \cdots \otimes V} _{k{\text{-mal}}}\rightarrow \mathbb {K} }$

welche unter der Wirkung der symmetrischen Gruppe ${\displaystyle S_{k}}$ invariant sind. (Man beachte, dass ein solches Polynom durch seine Werte ${\displaystyle P(x,x,\ldots ,x)}$ für alle ${\displaystyle x\in V}$ bereits eindeutig festgelegt wird.)

Das Produkt

${\displaystyle S^{k}(V^{*})\otimes S^{l}(V^{*})\rightarrow S^{k+l}(V^{*})}$

ist definiert durch

${\displaystyle (PQ)(v_{1},\ldots ,v_{k+l})={\frac {1}{(k+l)!}}\sum _{\sigma \in S_{k+l}}P(v_{\sigma (1)},\ldots .v_{\sigma (k)})Q(v_{\sigma (k+1)},\ldots ,v_{\sigma (k+l)})}$.

Siehe auch

• Graßmann-Algebra

Literatur

• Johan L. Dupont: Curvature and characteristic classes. Lecture Notes in Mathematics, Vol. 640. Springer, Berlin-New York 1978. ISBN 3-540-08663-3