Standardowa teoria jednomianu

W geometrii algebraicznej standardowa teoria jednomianów opisuje odcinki wiązki linii w uogólnionej odmianie flagi lub rozmaitości Schuberta redukcyjnej grupy algebraicznej , podając wyraźną podstawę elementów zwanych standardowymi jednomianami . Wiele wyników zostało rozszerzonych na algebry Kaca-Moody'ego i ich grupy.

Istnieją monografie na temat standardowej teorii jednomianów autorstwa Lakshmibai & Raghavan (2008) i Seshadri (2007) oraz artykuły ankietowe V. Lakshmibai, C. Musili i CS Seshadri ( 1979 ) oraz V. Lakshmibai i CS Seshadri ( 1991 )

Jednym z ważnych otwartych problemów jest podanie całkowicie geometrycznej konstrukcji teorii.

Historia

Alfred Young ( 1928 ) wprowadził jednomiany związane ze standardowymi obrazami Younga . Hodge ( 1943 ) (patrz także ( Hodge & Pedoe 1994 , s.378)) użył jednomianów Younga, które nazwał standardowymi iloczynami mocy, nazwanymi na cześć standardowych obrazów, aby dać podstawę dla jednorodnych pierścieni współrzędnych złożonych Grassmannian . Seshadri ( 1978 ) zainicjował program, zwany standardową teorią jednomianów , aby rozszerzyć pracę Hodge'a na odmiany G / P , dla P dowolnej podgrupy parabolicznej dowolnej redukcyjnej grupy algebraicznej w dowolnej charakterystyce, podając wyraźne podstawy przy użyciu standardowych jednomianów dla odcinków wiązek linii w tych odmianach. Przypadek Grassmannianów badany przez Hodge'a odpowiada przypadkowi, gdy G jest specjalną grupą liniową w charakterystyce 0, a P jest maksymalną podgrupą paraboliczną. Wkrótce do Seshadri dołączyli w tym wysiłku V. Lakshmibai i Chitikila Musili . Najpierw opracowali standardową teorię jednomianów dla maleńkich reprezentacji G , a następnie dla grup G typu klasycznego i sformułował kilka hipotez opisujących to dla bardziej ogólnych przypadków. Littelmann ( 1998 ) udowodnił swoje przypuszczenia za pomocą modelu ścieżki Littelmanna , w szczególności podając jednolity opis standardowych jednomianów dla wszystkich grup redukcyjnych.

Lakshmibai (2003) i Musili (2003) oraz Seshadri (2012) podają szczegółowe opisy wczesnego rozwoju standardowej teorii jednomianów.

Aplikacje

  • Ponieważ odcinki wiązek linii na uogólnionych odmianach flag mają tendencję do tworzenia nieredukowalnych reprezentacji odpowiednich grup algebraicznych, posiadanie wyraźnej podstawy standardowych jednomianów pozwala na podanie formuł znakowych dla tych reprezentacji. Podobnie otrzymuje się formuły znaków dla modułów Demazure . Wyraźne podstawy podane przez standardową teorię jednomianów są ściśle związane z podstawami kryształów i modelami reprezentacji ścieżek Littelmanna .
  • Standardowa teoria jednomianów pozwala opisać osobliwości odmian Schuberta, aw szczególności czasami dowodzi, że odmiany Schuberta są normalne lub Cohena-Macaulaya . .
  • Standardowa teoria jednomianów może być wykorzystana do udowodnienia hipotezy Demazure'a .
  • Standardowa teoria jednomianów dowodzi twierdzenia Kempfa o znikaniu i innych twierdzeń o znikaniu dla wyższej kohomologii efektywnych wiązek linii w stosunku do rozmaitości Schuberta.
  • Standardowa teoria jednomianów daje wyraźne podstawy dla niektórych pierścieni niezmienników w teorii niezmienników .
  • Standardowa teoria jednomianów podaje uogólnienia reguły Littlewooda-Richardsona dotyczącej rozkładów iloczynów tensorowych reprezentacji na wszystkie redukujące grupy algebraiczne.
  • Standardową teorię jednomianów można wykorzystać do udowodnienia istnienia dobrych filtracji na niektórych reprezentacjach redukcyjnych grup algebraicznych w charakterystyce dodatniej.

Notatki