Lexikon der Mathematik: Quotient bei unipotenter Gruppenwirkung
spezieller Quotient einer Gruppe.
Solche Quotienten existieren selbst bei konstanter Orbitdimension nicht immer. Es sei A eine K-Algebra (K ein Körper der Charakteristik 0) und G eine unipotente algebraische Gruppe, die über eine Darstellung G → AutK (A) auf A operiert. Dann sind die folgenden Bedingungen äquivalent:
- H1 (G, A) = 0.
- A ist eine treuflache AG–Algebra, und die kanonische Abbildung
\begin{eqnarray}A\,{\otimes }_{{A}^{G}}A\to A{\otimes }_{K}K[G]\end{eqnarray}
\begin{eqnarray}A={A}^{G}[{x}_{1},\ldots,{x}_{r}].\end{eqnarray}
Insbesondere ist Spec(A) → Spec(A- δi (xi) = 1,
- δi (xj) = 0 if j > i,
- δk δi (xj) = 0 if k ≥ j.
Die zweite Bedingung impliziert, daß die Operation von G frei ist. Die vierte Bedingung ist am leichtesten zu prüfen und ist die Basis für Verallgemeinerungen auf Operationen von G, die nicht notwendig frei sind.
Schreiben Sie uns!