En matemáticas , la representación de Steinberg , o el módulo de Steinberg o el 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 signo 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 otros 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 Jacquet de una representación especial es siempre uno.
La representación de Steinberg de un grupo finito
- El valor de carácter de St en un elemento g es igual, hasta el signo, el orden de un subgrupo de Sylow del centralizador de g si g tiene el orden primo ap , 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 tanto regular como unipotente , y es la única representación unipotente regular irreducible (para el primo p dado ).
- La representación de Steinberg se utiliza en la demostración del teorema de Haboush (la conjetura de Mumford).
La mayoría de los grupos simples finitos tienen exactamente una representación de Steinberg. Algunos tienen más de uno porque son grupos del tipo Lie en más de una forma. Para grupos simétricos (y otros grupos de Coxeter), la representación del signo 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 que se puede definir una representación de Steinberg, pero para la mayoría de los grupos esporádicos no existe un análogo conocido.
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) mostró que las diferentes formas de definir las representaciones de Steinberg son equivalentes. Borel & Serre (1976) y Borel (1976) mostraron cómo realizar la representación de Steinberg en el grupo de cohomología Hl
c( X ) del edificio Bruhat-Tits del grupo.
Referencias
- ^ ( Cotner 2021 , [1] )
- Borel, Armand (1976), "Representaciones admisibles de un grupo semi-simple sobre un campo local con vectores fijados bajo un subgrupo Iwahori", Inventiones Mathematicae , 35 : 233–259, doi : 10.1007 / BF01390139 , ISSN 0020-9910 , MR 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 , MR 0447474
- Bump, Daniel (1997), formas y representaciones automórficas , Cambridge Studies in Advanced Mathematics, 55 , Cambridge University Press , doi : 10.1017 / CBO9780511609572 , ISBN 978-0-521-55098-7, MR 1431508
- Grupos finitos de tipo de mentira: clases conjugadas y caracteres complejos (biblioteca de clásicos de Wiley) por Roger W. Carter, John Wiley & Sons Inc; Nueva edición de Ed (agosto de 1993) ISBN 0-471-94109-3
- Casselman, W. (1973), "The Steinberg character as a true character", en Moore, Calvin C. (ed.), Análisis armónico en espacios homogéneos (Williams Coll., Williamstown, Mass., 1972) , Proc. Simpos. Pure Math., XXVI , Providence, RI: American Mathematical Society , págs. 413–417, ISBN 978-0-8218-1426-0, MR 0338273
- Harish-Chandra (1973), "Análisis armónico sobre grupos reductivos p-ádicos", en Moore, Calvin C. (ed.), Análisis armónico sobre espacios homogéneos (Proc. Sympos. Pure Math., Vol. XXVI, Williams Coll. , Williamstown, Mass., 1972) , Proc. Simpos. Pure Math., XXVI , Providence, RI: American Mathematical Society , págs. 167-192, ISBN 978-0-8218-1426-0, MR 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 , MR 0263977
- Shalika, JA (1970), "Sobre el espacio de las formas de las cúspides de un grupo de Chevalley P-ádico", Annals of Mathematics , Second Series, 92 (2): 262-278, doi : 10.2307 / 1970837 , ISSN 0003-486X , JSTOR 1970837 , MR 0265514
- Steinberg, Robert (2001) [1994], "Módulo Steinberg" , Enciclopedia de Matemáticas , EMS Press
- Steinberg, Robert (1951), "Un enfoque geométrico de 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 , Sr. 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 primarias de grupos lineales finitos II", Can. J. Math. , 9 : 347–351, doi : 10.4153 / CJM-1957-041-1
- R. Steinberg, Collected Papers , Amer. Matemáticas. Soc. (1997) ISBN 0-8218-0576-2 págs. 580–586
- Humphreys, JE (1987), "La representación de Steinberg" , Bull. Amer. Matemáticas. Soc. (NS) , 16 (2): 237–263, doi : 10.1090 / S0273-0979-1987-15512-1 , MR 0876960