Reprezentacja Steinberga

W matematyce reprezentacja Steinberga , moduł Steinberga lub postać Steinberga , oznaczona przez St , jest szczególną liniową reprezentacją redukcyjnej grupy algebraicznej na polu skończonym lub polu lokalnym lub grupy z parą BN . Jest to analogiczne do jednowymiarowej reprezentacji znaku ε Coxetera lub Weyla , która przenosi wszystkie odbicia do –1.

W przypadku grup na ciałach skończonych reprezentacje te zostały wprowadzone przez Roberta Steinberga ( 1951 , 1956 , 1957 ), najpierw dla ogólnych grup liniowych, następnie dla grup klasycznych, a następnie dla wszystkich grup Chevalleya , z konstrukcją, która natychmiast uogólniła się na inne grupy typu Lie, które wkrótce potem odkryli Steinberg, Suzuki i Ree. Na skończonym polu o charakterystyce p reprezentacja Steinberga ma stopień równy największej potędze p dzielącej rząd grupy.

Reprezentacja Steinberga jest podwójną reprezentacją Alvisa-Curtisa trywialnej jednowymiarowej reprezentacji.

Matsumoto (1969) , Shalika (1970) i ​​Harish-Chandra (1973) zdefiniowali analogiczne reprezentacje Steinberga (czasami nazywane reprezentacjami specjalnymi ) dla grup algebraicznych w ciałach lokalnych . Dla ogólnej grupy liniowej GL(2) wymiar modułu Jacqueta reprezentacji specjalnej wynosi zawsze jeden.

Reprezentacja Steinberga skończonej grupy

  • Wartość znaku St na elemencie g jest równa, aż do znaku, rządowi podgrupy Sylowa centralizatora g , jeśli g ma rząd pierwszy do p i wynosi zero, jeśli rząd g jest podzielny przez p .
  • Reprezentacja Steinberga jest równa naprzemiennej sumie wszystkich podgrup parabolicznych zawierających podgrupę borelowską reprezentacji indukowanej z reprezentacji tożsamościowej podgrupy parabolicznej.
  • Reprezentacja Steinberga jest zarówno regularna, jak i unipotentna i jest jedyną nieredukowalną regularną reprezentacją unipotentną (dla danej liczby pierwszej p ).
  • Reprezentacja Steinberga jest używana w dowodzie twierdzenia Habousha (przypuszczenie Mumforda).

Większość skończonych grup prostych ma dokładnie jedną reprezentację Steinberga. Kilku ma więcej niż jedną, ponieważ są grupami typu Kłamstwa na więcej niż jeden sposób. Dla grup symetrycznych (i innych grup Coxetera) reprezentacja znaku jest analogiczna do reprezentacji Steinberga. Niektóre ze sporadycznych grup prostych działają jako podwójnie przechodnie grupy permutacyjne, więc mają parę BN, dla której można zdefiniować reprezentację Steinberga, ale dla większości sporadycznych grup nie ma znanego jej odpowiednika.

Reprezentacja Steinberga grupy p -adycznej

Matsumoto (1969) , Shalika (1970) i ​​Harish-Chandra (1973) wprowadzili reprezentacje Steinberga dla grup algebraicznych na polach lokalnych . Casselman (1973) wykazał, że różne sposoby definiowania reprezentacji Steinberga są równoważne. Borel i Serre (1976) i Borel (1976) pokazali, jak zrealizować reprezentację Steinberga w grupie kohomologii H
l c
( X ) budynku grupy Bruhat-Tits .