Filtracja Moya-Prasada

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 .

Historia

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.

  • Skok w definiowany jako indeks (to znaczy nieujemna liczba rzeczywista) , że ( . Zbiór skoków jest dyskretny i przeliczalnie nieskończony .
  • 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ą .
  • z mamy sol mathfrak .

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.

W oswojonym przypadku oczekuje się, że lokalna korespondencja Langlands zachowa głębię, gdzie głębokość parametru L jest zdefiniowana przy użyciu filtracji górnego numerowania w grupie Weila.

Budowa

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 .

Zobacz też

Cytaty

  •    Bosch, Zygfryd; Lütkebohmert, Werner; Raynaud, Michel (1990). Modele Nerona . Ergebnisse der Mathematik und ihrer Grenzgebiete (3). Tom. 21. Berlin, Nowy Jork: Springer-Verlag . doi : 10.1007/978-3-642-51438-8 . ISBN 978-3-540-50587-7 . MR 1045822 .
  •    Bruhat, F.; Cycki, J. (1972). „Groupes Réductifs Sur Un Corps Local” . Publikacje mathématiques de l'IHÉS . 41 (1): 5–251. doi : 10.1007/BF02715544 . ISSN 0073-8301 . MR 0327923 .
  • Chen, Tsao-Hsien; Kamgarpour, Masud (2014). „Zachowanie głębi w lokalnej korespondencji geometrycznej Langlandsa”. arXiv : 1404,0598 [ matematyka.RT ].
  •    Hakim, J.; Murnaghan, F. (8 lipca 2010). „Wybitne reprezentacje oswojonych nadkłówek”. Międzynarodowe prace badawcze z matematyki . Oxford University Press (OUP). ar Xiv : 0709.3506 . doi : 10.1093/imrp/rpn005 . ISSN 1687-3017 . MR 2431732 .
  •    Moy, Allen; Prasad, Gopal (1994). „Nierafinowane minimalne typy K dla p -adic”. Inventiones Mathematicae . 116 (1): 393–408. doi : 10.1007/BF01231566 . hdl : 2027.42/46580 . ISSN 0020-9910 . MR 1253198 .
  •    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 .