En matemáticas , la representación de Steinberg , o módulo de Steinberg o carácter de Steinberg , denotado por St , es una representación lineal particular de un grupo algebraico reductivo sobre un campo finito o campo local , o un grupo con un par BN . Es análogo a la representación de signos unidimensional ε de un grupo de Coxeter o Weyl que lleva todas las reflexiones a –1.
Para grupos sobre campos finitos, estas representaciones fueron introducidas por Robert Steinberg (1951, 1956, 1957), primero para los grupos lineales generales, luego para los grupos clásicos y luego para todos los grupos de Chevalley , con una construcción que se generalizó inmediatamente a los demás grupos. de tipo Lie que fueron descubiertos poco después por Steinberg, Suzuki y Ree. Sobre un campo finito de característica p , la representación de Steinberg tiene un grado igual a la mayor potencia de p que divide el orden del grupo.
La representación de Steinberg es el dual Alvis-Curtis de la representación trivial unidimensional.
Matsumoto (1969), Shalika (1970) y Harish-Chandra (1973) definieron representaciones de Steinberg análogas (a veces llamadas representaciones especiales ) para grupos algebraicos sobre campos locales . Para el grupo lineal general GL(2), la dimensión del módulo de Jacquet de una representación especial es siempre uno.
La representación de Steinberg de un grupo finito.
- El valor del carácter de St en un elemento g es igual, hasta el signo, al orden de un subgrupo de Sylow del centralizador de g si g tiene orden primo con respecto a p , y es cero si el orden de g es divisible por p .
- La representación de Steinberg es igual a una suma alterna de todos los subgrupos parabólicos que contienen un subgrupo de Borel , de la representación inducida a partir de la representación de identidad del subgrupo parabólico. [1]
- La representación de Steinberg es regular y unipotente , y es la única representación unipotente regular irreducible (para el primo p dado ).
- La representación de Steinberg se utiliza en la prueba del teorema de Haboush (la conjetura de Mumford).
La mayoría de los grupos finitos simples tienen exactamente una representación de Steinberg. Unos cuantos tienen más de uno porque son grupos de tipo Lie en más de un sentido. Para grupos simétricos (y otros grupos de Coxeter), la representación de signos es análoga a la representación de Steinberg. Algunos de los grupos simples esporádicos actúan como grupos de permutación doblemente transitivos, por lo que tienen un par BN para el cual se puede definir una representación de Steinberg, pero para la mayoría de los grupos esporádicos no se conoce ningún análogo.
La representación de Steinberg de un grupo p -ádico
Matsumoto (1969), Shalika (1970) y Harish-Chandra (1973) introdujeron representaciones de Steinberg para grupos algebraicos sobre campos locales . Casselman (1973) demostró que las diferentes formas de definir las representaciones de Steinberg son equivalentes. Borel y Serre (1976) y Borel (1976) mostraron cómo realizar la representación de Steinberg en el grupo de cohomología H.lc
( X ) del edificio Bruhat-Tits del grupo.
Referencias
- ^ (Cotner 2021, [1])error de harv: sin destino: CITEREFCotner2021 ( ayuda )
- Borel, Armand (1976), "Representaciones admisibles de un grupo semisimple sobre un campo local con vectores fijados bajo un subgrupo Iwahori", Inventiones Mathematicae , 35 : 233–259, doi :10.1007/BF01390139, ISSN 0020-9910, SEÑOR 0444849
- Borel, Armand ; Serre, Jean-Pierre (1976), "Cohomologie d'immeubles et de groupes S-arithmétiques", Topología , 15 (3): 211–232, doi : 10.1016/0040-9383(76)90037-9 , ISSN 0040- 9383, señor 0447474
- Bump, Daniel (1997), Formas y representaciones automórficas , Estudios de Cambridge en Matemáticas Avanzadas, vol. 55, Cambridge University Press , doi :10.1017/CBO9780511609572, ISBN 978-0-521-55098-7, SEÑOR 1431508
- Grupos finitos de tipos de mentiras: clases de conjugación y personajes complejos (Biblioteca Wiley Classics) por Roger W. Carter, John Wiley & Sons Inc; Nueva edición Ed (agosto de 1993) ISBN 0-471-94109-3
- Casselman, W. (1973), "El personaje de Steinberg como verdadero personaje", en Moore, Calvin C. (ed.), Análisis armónico en espacios homogéneos (Williams Coll., Williamstown, Mass., 1972), Proc. Simposios. Matemáticas puras, vol. XXVI, Providence, RI: Sociedad Matemática Estadounidense , págs. 413–417, ISBN 978-0-8218-1426-0, SEÑOR 0338273
- Harish-Chandra (1973), "Análisis armónico en grupos p-ádicos reductivos", en Moore, Calvin C. (ed.), Análisis armónico en espacios homogéneos (Proc. Sympos. Pure Math., Vol. XXVI, Williams Coll. , Williamstown, Mass., 1972), Proc. Simposios. Matemáticas puras, vol. XXVI, Providence, RI: Sociedad Matemática Estadounidense , págs. 167-192, ISBN 978-0-8218-1426-0, SEÑOR 0340486
- Matsumoto, Hideya (1969), "Fonctions sphériques sur un groupe semi-simple p-adique", Comptes Rendus de l'Académie des Sciences, Série A et B , 269 : A829––A832, ISSN 0151-0509, SEÑOR 0263977
- Shalika, JA (1970), "Sobre el espacio de las formas cúspides de un grupo P-adic Chevalley", Annals of Mathematics , Segunda Serie, 92 (2): 262–278, doi :10.2307/1970837, ISSN 0003-486X, JSTOR 1970837, SEÑOR 0265514
- Steinberg, Robert (2001) [1994], "Módulo Steinberg", Enciclopedia de Matemáticas , EMS Press
- Steinberg, Robert (1951), "Una aproximación geométrica a las representaciones del grupo lineal completo sobre un campo de Galois", Transactions of the American Mathematical Society , 71 (2): 274–282, doi : 10.1090/S0002-9947-1951 -0043784-0 , ISSN 0002-9947, JSTOR 1990691, SEÑOR 0043784
- Steinberg, Robert (1956), "Representaciones de potencias primarias de grupos lineales finitos", Canadian Journal of Mathematics , 8 : 580–591, doi : 10.4153/CJM-1956-063-3 , ISSN 0008-414X, MR 0080669
- Steinberg, R. (1957), "Representaciones de potencias primas de grupos lineales finitos II", Can. J. Matemáticas. , 9 : 347–351, doi : 10.4153/CJM-1957-041-1
- R. Steinberg, Artículos recopilados , Amer. Matemáticas. Soc. (1997) ISBN 0-8218-0576-2 págs. 580–586
- Humphreys, JE (1987), "La representación de Steinberg", Bull. América. Matemáticas. Soc. (NS) , 16 (2): 237–263, doi : 10.1090/S0273-0979-1987-15512-1 , SEÑOR 0876960