A theorem on modular endomorphism rings (Q1112154)

Es seien R ein vollständiger diskreter Bewertungsring, K der Quotientenkörper von R und F der Restklassenkörper von R nach seinem maximalen Ideal. Weiter bezeichne \(\Lambda\) eine R-Ordnung in einer halbeinfachen K-Algebra \(K\Lambda\). Der Autor betrachtet von Null verschiedene \(\Lambda\)-Verbände Y, für welche die Abbildung \(\phi_ F: End_{\Lambda}(Y)\to End_{F\Lambda}(F\Lambda)\) vermöge \(f\mapsto id_ F\otimes f\) surjektiv ist (Y heißt dann F-endostable). Hauptergebnis ist eine neue Fassung eines Reziprozitätstheorems für modulare Vielfachheiten von \textit{R. Brauer} [Proc. Natl. Acad. Sci. USA 25, 252-258 (1939; Zbl 0022.30304), p. 257]: Es seien \(X_ 1,...,X_ s\) ein vollständiges Repräsentantensystem einfacher \(K\Lambda\)-Moduln, die Komponenten von KY sind, und \(S_ 1,...,S_{\ell}\) ein vollständiges Repräsentantensystem einfacher \(End_{F\Lambda}(FY)\)- Moduln, dann besteht die Beziehung \(d^*_{i\lambda}\cdot e(X_ i)=d_{i\lambda}\cdot e(S_{\lambda})\) für alle \(i=1,...,s\) und \(\lambda =1,...,\ell\). Dabei bedeuten \(d^*_{i\lambda}\) die Vielfachheit von \(X_ i\) als Komponente von \(KS_{\lambda}\), \(d_{i\lambda}\) die Vielfachheit von \(S_{\lambda}\) als Komponente des \(F\lambda\)-Moduls \(FX_ i\), \(e(X_ i)=\dim_ KEnd_{K\Lambda}(X_ i)\) und \(e(S_{\lambda})=\dim_ FEnd_{F\lambda}(S_{\lambda})\). Im Fall char K\(=0\) und char F\(=p>0\) ergibt sich ein bekanntes Resultat von \textit{G. D. James} [Arch. Math. 41, 294-300 (1983; Zbl 0506.20004)] über die Gleichheit entsprechender Vielfachheiten.