Darstellungstheorie der affinen Gruppe. (Q2601829)

Ein Vorstoß in das wenig erforschte Gebiet der nicht vollreduziblen Darstellungen. Verf. bestimmt die ganzrationalen, rationalen und stetigen Darstellungen der affinen Gruppe \(\mathfrak A_n\) der reellen Matrizen \[ \begin{pmatrix} 1&0&\cdots&0\\ a_1&\alpha_{11}&\cdots&\alpha_{1n}\\ \spacehdots4\for4\\ a_n&\alpha_{1n}&\cdots&\alpha_{nn}\\ \end{pmatrix}, \;||\alpha_{ik}||\neq 0, \] sowie ihrer beiden unimodularen Untergruppen \(\mathfrak A_n\) mit \(||\alpha_{ik}|| = 1\) und \(\mathfrak B_n\) mit \(||\alpha_{ik}|| = \pm1\). Die Untersuchung beruht darauf, daß \(\mathfrak A_n\) einen abelschen Normalteiler \(\mathfrak P_n\) besitzt, bestehend aus den Matrizen \[ \begin{pmatrix} 1&0&\cdots&0\\ a_1&1&\cdots&0\\ \spacehdots4\for4\\ a_n&0&\cdots&1\\ \end{pmatrix}, \] dessen Faktorgruppe durch die allgemeine lineare Gruppe \(\mathfrak L_n\) der Matrizen \[ \begin{pmatrix} 1&0&\cdots&0\\ 0&\alpha_{11}&\cdots&\alpha_{1n}\\ \spacehdots4\for4\\ 0&\alpha_{1n}&\cdots&\alpha_{nn}\\ \end{pmatrix}, \;||\alpha_{ik}||\neq 0, \] repräsentiert wird. Die Darstellungen von \(\mathfrak P_n\) sind einigermaßen, die von \(\mathfrak L_n\) gut bekannt. Es handelt sich darum, die Paare von Darstellungen von \(\mathfrak P_n\) und \(\mathfrak L_n\) zu finden, die sich zu einer Darstellung von \(\mathfrak A_n\) zusammensetzen lassen; sie haben einer gewissen Vertauschungsrelation zu genügen. Man erhält genau alle stetigen Darstellungen des Grades \(N\) von \(\mathfrak P_n\) in der Gestalt \[ \exp(a_1L_1+\cdots+ a_nL_n), \] wobei die \(L_\nu\) beliebige konstante paarweis vertauschbare Matrizen des Grades \(N\) sind. Ist die Darstellung von \(\mathfrak P_n\) in eine Darstellung von \(\mathfrak A_n\) einbettbar, so ist für genügend große natürliche Zahlen \(s\) \[ (a_1L_1 +\cdots + a_nL_n)^{s+1} = 0. \] Das kleinste \(s\) mit dieser Eigenschaft nennt Verf. den Index der Darstellung. Mit Hilfe dieses Ergebnisses werden die rationalen Darstellungen von \(\mathfrak A_n\) untersucht; man kann sich auf die ganzrationalen beschränken. An vollreduziblen ganzrationalen Darstellungen von \(\mathfrak A_n\) gibt es nur die von \(\mathfrak L_n\), d. h. diese Darstellungen ordnen dem Normalteiler \(\mathfrak P_n\) nur die Einheitsmatrix zu. Dieser Satz läßt sich verallgemeinern: Eine ganzrationale Darstellung von \(\mathfrak A_n\) vom Index \(s\) enthält genau \(s + 1\) größte vollreduzible Bestandteile im Sinn von \textit{Loewy} (Trans. Amer. math. Soc. 6 (1905), 504-533; F. d. M. 36, 195 (JFM 36.0195.*)). Es folgt als Hauptergebnis die explizite Konstruktion der ganzrationalen Darstellungen von \(\mathfrak A_n\). Bedeutet \(P_s\) die Darstellung von \(\mathfrak A_n\), die nach Einbettung von \(\mathfrak A_n\) in eine \(\mathfrak L_{n+1}\) durch die \(s\)-te Potenztransformation von \(\mathfrak L_{n+1}\) geliefert wird, so erhält man jede ganzrationale Darstellung \(D\) von \(\mathfrak A_n\) mit dem Index \(s\) und dem ersten \textit{Loewy}schen vollreduziblen Bestandteil \(D_0\) als einen Abschnitt der Darstellung \(P_s\times D_0\) (\textit{Kronecker}sches Produkt). Welche Abschnitte den richtigen Index \(s\) liefern und wie man für sie Darstellungsmoduln angeben kann, wird festgestellt. Entsprechende Ergebnisse wie für \(\mathfrak A_n\) gelten für die beiden unimodularen Gruppen \(\mathfrak U_n\) und \(\mathfrak B_n\). Zum Schluß bestimmt Verf. die stetigen Darstellungen der drei Gruppen. Für \(\mathfrak U_n\) und \(\mathfrak B_n\) sind sie von selbst ganzrational; die stetigen Darstellungen \(D\) von \(\mathfrak A_n\) ergeben sich in der Gestalt \(D = D^*K\), wobei \(D^*\) eine stetige Darstellung von \(\mathfrak B_n\) ist und \(K\) eine gewisse nur von \(||D||\) abhängige, mit \(D^*\) vertauschbare Matrix bedeutet.