W matematyce filtracja Moya-Prasada to rodzina filtracji p -adycznych grup redukcyjnych i ich algebr Liego , nazwana na cześć Allena Moya i Gopala Prasada . Rodzina jest sparametryzowana przez budynek Bruhat-Tits ; to znaczy każdy punkt budynku daje inną filtrację. Alternatywnie, ponieważ początkowym terminem w każdej filtracji w punkcie budynku jest podgrupa parahoryczna w tym przypadku filtrację Moya-Prasada można postrzegać jako filtrację parahorycznej podgrupy grupy redukcyjnej.
Główne zastosowanie filtracji Moya-Prasada dotyczy teorii reprezentacji grup p -adycznych, gdzie można jej użyć do zdefiniowania pewnej liczby rzeczywistej zwanej głębokością reprezentacji . Reprezentacje głębi r można lepiej zrozumieć, badając r -te podgrupy Moy-Prasad. Informacje te prowadzą następnie do lepszego zrozumienia ogólnej struktury reprezentacji, a zrozumienie to z kolei ma zastosowanie w innych obszarach matematyki, takich jak teoria liczb za pośrednictwem programu Langlands .
W swojej fundamentalnej pracy nad teorią budynków Bruhat i Tits zdefiniowali podgrupy związane z wklęsłymi funkcjami systemu korzeniowego. Te podgrupy są szczególnym przypadkiem podgrup Moy-Prasad, zdefiniowanych, gdy grupa jest podzielona . Głównymi innowacjami Moya i Prasada było uogólnienie konstrukcji Bruhata-Titsa na grupy quasi-rozdzielone , w szczególności tori , oraz wykorzystanie podgrup do zbadania teorii reprezentacji grupy otoczenia.
Przykłady
poniższych przykładach -adic wymiernych i p -adic liczb Czytelnik niezaznajomiony z tymi pierścieniami może zamiast tego zastąpić liczby wymierne i i przez liczby całkowite bez utraty głównej idei.
Grupa multiplikatywna
Najprostszym p grupy redukcyjnej jest multiplikatywna grupa p -adycznych jednostek Ponieważ jest abelowe , ma unikalną podgrupę parahoryczną, . Podgrupy Moy – Prasad to wyższe grupy jednostek , gdzie dla uproszczenia jest Dodatnia liczba całkowita:
Algebra Liego z to , a jej podalgebry Moya – Prasada to niezerowe ideały : :
Mówiąc bardziej ogólnie, jeśli jest dodatnią rzeczywistą, wówczas używamy funkcji podłogi do zdefiniowania podgrupy i podalgebry Moya-Prasada:
Ten przykład ilustruje ogólne zjawisko polegające na tym, że chociaż filtracja Moya-Prasada jest indeksowana przez nieujemne liczby rzeczywiste, filtracja przeskakuje tylko na dyskretny, okresowy podzbiór, w tym przypadku liczby naturalne. szczególności zwykle zdarza się, że podgrupy Moy-Prasad są równe, jeśli jest tylko nieznacznie większy niż s .
Ogólna grupa liniowa
Innym ważnym przykładem p -adycznej grupy redukcyjnej jest ogólna grupa liniowa ; ten przykład uogólnia poprzedni, ponieważ . Ponieważ nieabelowe (gdy ), ma nieskończenie wiele podgrup parahorycznych. Jedną szczególną podgrupą parahoryczną jest . Podgrupy Moy-Prasad } modulo wysokie potęgi . W szczególności, gdy którą definiujemy
gdzie algebrą n × n macierzy ze współczynnikami . Algebra Liego to , a jej podalgebry Moya – Prasada to przestrzenie macierzy równe macierzy zerowej modulo wysokimi potęgami ; ; kiedy definiujemy
Wreszcie, tak jak poprzednio, jeśli jest dodatnią rzeczywistą, to używamy funkcji podłogi do zdefiniowania podgrupy i podalgebry Moya-Prasada:
W tym przykładzie grupy Moy-Prasad byłyby częściej oznaczane przez zamiast x jest punktem budynku której odpowiednią podgrupą parahoryczną jest
Nieruchomości
– Prasada jest powszechnie stosowana do badania teorii reprezentacji grup p -adycznych, można skonstruować podgrupy Moya – Prasada na dowolnym henselowskim o dyskretnych , a nie tylko na niearchimedesowym polu lokalnym. W tej i kolejnych sekcjach założymy zatem, że zmienna bazowa jest henselowska i ma wartości dyskretne oraz z pierścieniem liczb całkowitych. . Niemniej jednak czytelnik może dla uproszczenia założyć, że , więc .
Niech redukcyjną -grupą, niech niech punktem rozszerzonego budynku Bruhata-Titsa . R th Moy-Prasad podgrupa w jest oznaczona przez . Podobnie, -Prasada z at oznaczona przez ; jest to darmowy moduł obejmujący , lub innymi słowy, krata . (W rzeczywistości algebrę Liego zdefiniować, gdy grupa nie może.)
Być może najbardziej podstawową właściwością filtracji Moya-Prasada jest to, że maleje: jeśli to ⊇ i . Standardowo definiuje się wówczas podgrupę i podalgebrę
Ta konwencja jest tylko skrótem notacyjnym, ponieważ dla każdego takie sol i .
Filtracja Moy-Prasad spełnia następujące dodatkowe właściwości.
Jeśli } podgrupą sol x i jest ideałem sol . Jest to konwencja notacji w temacie, aby pisać i dla powiązane ilorazy.
Iloraz jest grupą redukcyjną nad polem pozostałości maksymalny iloraz redukujący specjalnego włókna grupy parahorycznego . W szczególności, jeśli jest niearchimedesowym polem lokalnym (takim jak wtedy ten iloraz jest skończoną grupą typu kłamstwa .
i ; tutaj pierwszy wspornik to komutator , a drugi to wspornik Liego.
Dla każdego automorfizmu mamy sol i _ jest pochodną .
Przy pewnych założeniach technicznych jest dodatkowa ważna właściwość właściwością podgrupy komutatora iloraz jeśli . W tym przypadku istnieje kanoniczny izomorfizm - Prasada . Technicznym założeniem potrzebnym do istnienia izomorfizmu Moya-Prasada jest to, że , co oznacza, że rozszczepia poskromionym rozgałęzionym rozszerzeniu pola Jeśli to założenie zostanie naruszone, to i niekoniecznie są izomorficzne .
Głębia reprezentacji
Moy-Prasad może być użyty do zdefiniowania ważnego niezmiennika liczbowego gładkiej reprezentacji głębokości (\ pi, V najmniejsza liczba , że dla pewnego punktu budynku istnieje niezerowy wektor przez .
W kontynuacji artykułu definiującego ich filtrację, Moy i Prasad udowodnili twierdzenie o strukturze dla reprezentacji superkluskowych o zerowej głębokości. Niech w minimalnym budynku to podgrupa iloraz sol jest skończoną grupą typu Liego. Niech inflacją do reprezentacji tego ilorazu sensie Lusztiga Stabilizator z w zawiera grupę parahoryczną jako normalna podgrupa o skończonym indeksie. Niech reprezentacją , której ograniczenie do contains as a subrepresentation. Then the compact induction of sol jest reprezentacją superkluskową o zerowej głębokości Co więcej, każda reprezentacja superkluskowa o zerowej głębokości jest izomorficzna z jedną z tych postaci.
Chociaż zdefiniowaliśmy, budynku okazuje się, że podgrupa Moy – Prasad sol zależy tylko od obrazu w budynku, więc nic nie jest stracone, myśląc o w zredukowanym budynku
Nasz opis konstrukcji jest zgodny z artykułem Yu o gładkich modelach.
Tori
Ponieważ torusy algebraiczne są szczególną klasą grup redukcyjnych, teoria filtracji Moya-Prasada ma również do nich zastosowanie. Okazuje się jednak, że dla ogólnej grupy redukcyjnej opiera się na konstrukcji torusa, więc zaczniemy od omówienia przypadku, w którym . Ponieważ istnieje tylko jeden wybór dla więc usuniemy z zapisu i zapiszemy .
Najpierw rozważmy szczególny przypadek, w którym jest ograniczeniem Weila wzdłuż rozszerzenia . , tak że . W tym przypadku definiujemy jako zbiór za taki, że , gdzie jest unikalnym rozszerzeniem wyceny do .
Mówimy, że torus jest indukowany , jeśli jest bezpośrednim iloczynem skończonej liczby torusów o postaci rozważanej w poprzednim akapicie. Podgrupa zdefiniowana jako iloczyn podgrupy th Moy-Prasad tych czynników
, rozważ przypadek, w którym ale jest dowolnym torusem. Tutaj podgrupa Moya-Prasada jest zdefiniowana jako punkty całkowe modelu LFT . Ta definicja jest zgodna z poprzednio podaną, gdy indukowanym.
Okazuje się, że każdy torus może być osadzony w torusie indukowanym. Aby podgrupy Moy-Prasad ogólnego torusa osadzenie torusie indukowanym definiujemy . Konstrukcja ta jest niezależna od wyboru indukowanego torusa i osadzania.
Grupy redukujące
przedstawimy konstrukcję podgrupy Prasada w . Następnie skomentujemy ogólną definicję.
Niech maksymalnym podzielonym torusem, mieszkanie zawiera , i niech będzie systemem korzeniowym sol z szacunek dla .
Dla każdego będzie pierwotną podgrupą sol. \ } grupa abstrakcyjna z ma izomorfizmu kanonicznego. Punkt dla każdego , addytywna wycena . Definiujemy .
Wreszcie podgrupa Moy-Prasad jest zdefiniowana jako podgrupa generowana przez podgrupy dla i podgrupy .
Jeśli nie jest , to podgrupa Moy-Prasad zdefiniowana przez nierozgałęzione zejście z przypadku quasi-podziału, sol standardowa sztuczka w teorii Bruhata-Titsa. Mówiąc dokładniej, najpierw uogólnia się powyżej definicję podgrup Moy – Prasad, która ma zastosowanie, gdy , do przypadku, w którym jest tylko quasi-podzielona, przy użyciu systemu korzeniowego . . Stąd podgrupę Moy-Prasad można zdefiniować dla dowolnego, do maksymalnego nierozgałęzionego rozszerzenia { } pole, na którym każda grupa redukcyjna, aw szczególności pod grupę Galois nad .
Schematy grupowe
Grupa ma niż grupa punktów wymiernych: pierwsza rozmaitością grupa abstrakcyjna. Z tego zalet pracy nie tylko z grupą abstrakcyjną ale także z odmianą . Podobnie, opisaliśmy jako grupę abstrakcyjną, pewną podgrupę } pożądane, aby grupą punktów całkowitych schematu grupowego zdefiniowanego przez pierścień liczb całkowitych, tak że . W rzeczywistości możliwe jest skonstruowanie takiego schematu grupowego .
Algebry kłamstwa
Niech będzie algebrą Liego z . W podobnej procedurze, jak w przypadku grup redukcyjnych, a mianowicie definiując filtracje Moya-Prasada na algebrze Liego torusa i algebrze Liego grupy korzeni, można zdefiniować algebry Lie Moya-Prasada sol x , sol ; są wolne -moduły, czyli kraty w przestrzeni . Kiedy okazuje , okazuje się, że jest tylko algebra Liego z -schemat grupy .
Zestaw indeksujący
Zdefiniowaliśmy filtrację Moya-Prasada w punkcie, indeksowany przez zbiór rzeczywistych. zestawu składającego się z formalnych z . pierwiastek jest uważany za nieskończenie większy niż , a filtracja jest rozszerzona na ten przypadek przez zdefiniowanie . Ponieważ wycena na , istnieje takie, że .
Moy, Allen; Prasad, Gopal (1996). „Funktory Jacqueta i nierafinowane minimalne typy K”. Commentarii Mathematici Helvetici . Wydawnictwo Europejskiego Towarzystwa Matematycznego. 71 (1): 98–121. doi : 10.1007/bf02566411 . ISSN 0010-2571 . MR 1371680 .
Yu, Jiu-Kang (2015). „Gładkie modele związane z funkcjami wklęsłymi w teorii Bruhata-Titsa”. Autour des schémas en groupes, tom. III . panorama. syntezy. Tom. 47. s. 227–258. MR 3525846 .