Редуктивті қос жұп - Reductive dual pair

Математикалық өрісінде ұсыну теориясы, а редуктивті қос жұп жұбы кіші топтар (G, G′) изометрия тобы Sp (W) а симплектикалық векторлық кеңістік W, осылай G болып табылады орталықтандырғыш туралы G′ Sp (W) және керісінше, және бұл топтар әрекет етеді редуктивті қосулы W. Біршама еркін, екі топ үлкен топтың өзара орталықтандырушысы болған сайын қос жұп туралы айтады, бұл көбінесе жалпы сызықтық топ. Тұжырымдама енгізілген Роджер Хоу жылы Хоу (1979). Оның берік байланысы Классикалық инварианттық теория ішінде талқыланады Хоу (1989а).

Мысалдар

  • Толық симплектикалық топ G = Sp (W) және екі элементті топ G′, орталығы Sp (W), редуктивті қос жұп құрайды. Қосарланған орталықтандырғыш қасиеті осы топтардың анықталуынан айқын көрінеді: топтың орталықтандырушысы G жылы G оның орталығы, ал кез-келген топтың центризаторы топтың өзі болып табылады. Топ G′, Сәйкестілік трансформациясынан және оның теріс мәнінен тұрады және бір өлшемді векторлық кеңістіктің ортогоналды тобы ретінде түсіндірілуі мүмкін. Осы жұптың симплектикалық топ пен ортогональды топтан тұратын қос жұптардың жалпы отбасыларының алғашқы данасы екендігі туралы теорияның кейінгі дамуынан пайда болады, олар белгілі I типтегі қысқартылмайтын қосарланған жұп.
  • Келіңіздер X болуы n- өлшемді векторлық кеңістік, Y оның болуы қосарланған, және W болуы тікелей сома туралы X және Y. Содан кейін W табиғи жолмен симплектикалық векторлық кеңістікке айналуы мүмкін, осылайша (X, Y) оның лагранжды поляризациясы. Топ G жалпы сызықтық топ GL (X), ол тавтологиялық тұрғыдан әрекет етеді X және қарама-қарсы Y. Орталықтандырушысы G симплектикалық топта топ болып табылады G′, Бойынша сызықтық операторлардан тұрады W сол әрекет етеді X нөлдік емес скалярға көбейту арқылы және Y оның кері by скалярлық көбейтуі арқылы−1. Содан кейін G′, Болып табылады G, бұл екі топ толығымен қысқартылған түрде әрекет етеді W, демек, редуктивті қос жұп құрайды. Топ G′, Бір өлшемді векторлық кеңістіктің жалпы сызықтық тобы ретінде түсіндіруге болады. Бұл жұп жалпы сызықтық топтардан тұратын қос жұптар отбасының мүшесі II типтегі төмендетілмейтін қосарланған жұп.

Құрылым теориясы және классификациясы

Редуктивті қос жұп ұғымы кез келген нәрсеге қарағанда мағыналы өріс F, біз оны бүкіл уақытта бекітеміз деп санаймыз. Осылайша W симплектикалық болып табылады векторлық кеңістік аяқталды F.

Егер W1 және W2 екі симплектикалық векторлық кеңістік және (G1, G1), (G2, G2) сәйкес симплектикалық топтардағы екі редуктивті қос жұп болып табылады, сонда біз жаңа симплектикалық векторлық кеңістік құра аламыз W = W1W2 және жұп топтар G = G1 × G2, G′ = G1 × G′,2 әрекет ету W изометрия бойынша. Бұл (G, G′) - редуктивті қос жұп. Редуктивті қос жұп деп аталады төмендетілетін егер оны осы топта кішігірім топтардан алуға болатын болса және қысқартылмайтын басқаша. Редукцияланатын жұпты төмендетілмейтіндердің тікелей туындысына айналдыруға болады, және көптеген мақсаттар үшін адамның назарын қысқартылмайтын жағдайға шектеу жеткілікті.

Редукциялық қос жұптардың бірнеше кластары бұрын жұмыс істеген Андре Вайл. Роджер Хоу жіктеу теоремасын дәлелдеді, онда қысқартылмайтын жағдайда сол жұптар барлық мүмкіндіктерді сарқып береді деген. Қысқартылмайтын екі реттік жұп (G, G′) Sp (W) деп аталады II тип егер бар болса лагранжды кіші кеңістік X жылы W бұл екеуінде де өзгермейді G және G′, Және I тип басқаша.

II типтегі архетиптік қысқартылмайтын редуктивті қос жұп жұптан тұрады жалпы сызықтық топтар және келесідей туындайды. Келіңіздер U және V екі векторлық кеңістік болуы керек F, X = UF V олардың тензор көбейтіндісі, және Y = HomF(X, F) оның қосарланған. Содан кейін тікелей қосынды W = XY сияқты симплектикалық форма беруге болады X және Y лагранжды суб кеңістіктер, ал симплектикалық форманың шектелуі X × YW × W векторлық кеңістіктің жұптасуымен сәйкес келеді X және оның қосарланғандығы Y. Егер G = GL (U) және G′ = GL (V), онда екі топ та сызықтық түрде әрекет етеді X және Y, іс-әрекеттер симплектикалық форманы сақтайды W, және (G, G′) - бұл төмендетілмейтін редуктивті қос жұп. Ескертіп қой X инвариантты лагранжды ішкі кеңістік болып табылады, сондықтан бұл қос жұп II типке жатады.

I типтегі архетиптік қысқартылмайтын редуктивті қос жұп аннан тұрады ортогональды топ және симплектикалық топ және аналогтық түрде құрастырылған. Келіңіздер U ортогоналды векторлық кеңістік болыңыз және V симплектикалық векторлық кеңістік болыңыз F, және W = UF V олардың тензор өнімі болуы керек. Негізгі бақылау - бұл W формасы тензор факторлары бойынша көбейтіндісінен алынатын симплектикалық векторлық кеңістік. Сонымен қатар, егер G = O (U) және G′ = Sp (V) болып табылады изометрия топтары туралы U және V, содан кейін олар әрекет етеді W табиғи түрде бұл әрекеттер симплектикалық болып табылады және (G, G′) - бұл I типтегі қысқартылмайтын редуктивті қос жұп.

Бұл екі конструкция барлық қалпына келтірілмейтін редуктивті қос жұптарды шығарады алгебралық жабық өріс Fөріс сияқты C туралы күрделі сандар. Жалпы, векторлық кеңістікті ауыстыруға болады F а-дан жоғары векторлық кеңістіктер арқылы алгебра бөлімі Д. аяқталды F, және II типтегі төмендетілмейтін редуктивті қос жұпты құру үшін жоғарыда көрсетілгендей жүріңіз. I тип үшін біреу алгебра бөлімінен басталады Д. olution, a гермит формасы қосулы U, және skew-гермит формасы V (екеуі де деградацияланбайды), және олардың тензор өнімін құрайды Д., W = UД. V. Содан кейін W табиғи түрде симплектикалық векторлық кеңістіктің құрылымымен қамтамасыз етілген F, изометрия топтары U және V жанашырлықпен әрекет ету W және I типтегі қысқартылмайтын редуктивті қос жұпты құрайды. Роджер Хоу изоморфизмге дейін кез-келген төмендетілмейтін қос жұп осы күйде пайда болатындығын дәлелдеді. Іс бойынша нақты тізім F = R ішінде пайда болады Хоу (1989б).

Сондай-ақ қараңыз

Пайдаланылған әдебиеттер

  • Хоу, Роджер Э. (1979), «θ-серия және инвариантты теория» (PDF), жылы Борел, Арманд; Кассельман, В. (ред.), Автоморфтық формалар, көріністер және L-функциялар (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), 1 бөлім, Proc. Симпозиумдар. Таза математика., ХХХІІІ, Провиденс, Р.И .: Американдық математикалық қоғам, 275–285 б., ISBN  978-0-8218-1435-2, МЫРЗА  0546602
  • Хоу, Роджер Э. (1989a), «Классикалық инвариантты теория туралы ескертулер», Американдық математикалық қоғамның операциялары, Американдық математикалық қоғам, 313 (2): 539–570, дои:10.2307/2001418, JSTOR  2001418.
  • Хоу, Роджер Э. (1989б), «Классикалық инвариантты теория», Америка математикалық қоғамының журналы, Американдық математикалық қоғам, 2 (3): 535–552, дои:10.2307/1990942, JSTOR  1990942.
  • Гудман, Ро; Уоллах, Нолан Р. (1998), Классикалық топтардың өкілдіктері мен инварианттары, Кембридж университетінің баспасы, ISBN  0-521-66348-2.