Invariants of reductive Lie groups of rank one and their applications (Q1071875)

Mit G ist in der Arbeit stets eine reduktive komplexe lineare algebraische Gruppe gemeint, und \({\mathbb{C}}[\phi]\) bezeichnet den Koordinatenring des Darstellungsraumes einer endlichdimensionalen komplexen Darstellung \(\phi\) von G. Wie üblich ist \({\mathbb{C}}[\phi]^ G\) die \({\mathbb{C}}\)-Unteralgebra aller G-invarianten Polynome in \({\mathbb{C}}[\phi]\) unter dieser Wirkung von G. Die Darstellung (\(\phi\),G) heißt koregulär, wenn \({\mathbb{C}}[\phi]^ G\) ein Polynomring über \({\mathbb{C}}\) ist, und sie ist ein vollständiger Kodurchschnitt, wenn \({\mathbb{C}}[\phi]^ G\) ein vollständiger Durchschnitt ist. In den ersten beiden Sätzen der Arbeit gibt der Verf. notwendige, sich auf die Dimension und die Anzahl der Gewichtsräume eines maximalen Torus beziehende Bedingungen an, unter denen die Darstellung \(\phi\) einer Gruppe G des Ranges 1 vollständiger Kodurchschnitt ist. Der Rest der Arbeit zielt darauf ab, die gefundenen Kriterien auf einfache, zusammenhängende und einfach zusammenhängende algebraische Gruppen anzuwenden. Ist G eine solche Gruppe vom Rang r, so seien \(\phi_ i\), \(i=1,...,r\), die nach \textit{N. Bourbaki} [Groupes et algèbres de Lie, Chaps. 7 et 8 (1975; Zbl 0329.17002)] numerierten fundamentalen Darstellungen von G. Ist \(\phi\) eine Darstellung von G und k eine natürliche Zahl, so bezeichnet \(k\phi\) die direkte Summe von k Kopien von \(\phi\) ; sind \(\phi\) und \(\psi\) irreduzible Darstellungen, so ist \(\phi\) \(\psi\) die irreduzible Komponente des höchsten Gewichtes von \(\phi\) \(\otimes \psi\). Der Verf. zeigt: Sei \(\phi\) eine nichttriviale irreduzible Darstellung von G. Ist (\(\phi\),G) vollständiger Kodurchschnitt, aber nicht koregulär, so kann die Darstellung (\(\phi\),G) oder ihr Dual mit einer der Darstellungen \(\phi^ 5_ 1(A_ 1)\), \(\phi^ 6_ 1(A_ 1)\), \(\phi^ 3_ 1(A_ 3)\) oder \(\phi_ 1\phi_ 2(A_ 3)\) identifiziert werden. Daraus ergibt sich als Korollar: Enthält die Darstellung \(\phi\) von G keine von Null verschiedene triviale Subdarstellung und ist sie vollständiger Kodurchschnitt, so ist \(\phi\) irreduzibel, wenn nur eine nicht koreguläre irreduzible Subdarstellung von \(\phi\) existiert. Außerdem sei noch der folgende, am Schluß der Arbeit placierte Satz erwähnt: Für jede koreguläre irreduzible Darstellung (\(\phi\),G) kann man effektiv eine natürliche Zahl \(n_{\phi}\) angeben, so daß die Darstellung \((n_{\phi}\phi,G)\) kein vollständiger Kodurchschnitt ist. Für Gruppen vom Typ \(A_ n\) (n\(\geq 2)\) etwa ist \((m\phi_ 1,A_ n)\) genau dann vollständiger Kodurchschnitt, wenn \(m\leq n+2\) gilt. Ein Teil der Ergebnisse dieser Arbeit ist auch in einem Beitrag des Autors in ''Algebraic groups and related topics'' [Proc. Symp. Res. Inst. Math. Sci., Kyoto Univ., Kyoto 1983, RIMS Kôkyûroku 512, 137-147 (1984)] enthalten.