Өтірік топоид - Lie groupoid

Жылы математика, а Өтірік топоид Бұл топоид қайда жиынтық туралы нысандар және жиынтық туралы морфизмдер екеуі де коллекторлар, қайнар көз және мақсатты операциялар

болып табылады суға бату және барлық санат операциялар (ақпарат көзі, мақсаты, құрамы және сәйкестендіру картасы) тегіс.

Жалған топоидты а-ның «көп объектілі қорытуы» деп санауға болады Өтірік тобы, топоидоид а-ның көп объектілі жалпылауы сияқты топ. Әрбір Lie тобында а Алгебра, әр өтірік топоидтің а Lge algebroid.

Мысалдар

  • Кез-келген Lie тобы Lie groupoid-ті бір объектімен береді, және керісінше. Сонымен, Lie groupoids теориясы Lie топтарының теориясын қамтиды.
  • Кез келген коллектор берілген , жұп топоид деп аталатын Lie groupoid бар, бірге объектілердің көпжақтылығы және дәл кез-келген объектіден екіншісіне бір морфизм ретінде. Бұл Lie groupoid-де морфизмдердің көпжақтылығы бар .
  • Өтірік тобы берілген коллекторда әрекет ету , деп аталатын Lie groupoid бар аударма топоид әрбір үштікке бір морфизммен бірге .
  • Кез келген жапырақтану Lie groupoid береді.
  • Кез келген негізгі байлам құрылым тобымен G топоидты береді, атап айтқанда аяқталды М, қайда G компоненттер бойынша жұптарға әсер етеді. Құрам жұп топоид тәрізді үйлесімді өкілдер арқылы анықталады.

Морита морфизмдері және тегіс стектер

Групоидоидтардың изоморфизмінен басқа эквиваленттіліктің неғұрлым дөрекі жазбасы бар, Морита эквиваленттілігі деп аталады. Морита-морфизмнің жалпы мысалы Groupech groupoid бұл келесідей. Келіңіздер М тегіс коллектор болыңыз және ашық қақпағы М. Анықтаңыз айқын суастымен бөлінген одақ . Коллектор құрылымын кодтау үшін М морфизмдер жиынтығын анықтаңыз қайда . Бастапқы және мақсатты карта ендірулер ретінде анықталады және . Көбейту, егер оқысақ, айқын болады ішкі жиындары ретінде М (сәйкес нүктелер және іс жүзінде бірдей М және сонымен қатар жатыр ).

Бұл ехech groupoid шын мәнінде кері тарту туралы , яғни тривиальды топоид М, астында б. Бұл оны Морита-морфизмге айналдырады.

Ан ұғымын алу үшін эквиваленттік қатынас біз құрылысты симметриялы етіп, оның да өтпелі екенін көрсетуіміз керек. Бұл мағынада біз 2 топоидты деп айтамыз және егер үшінші группоид болса, Моританың эквиваленті болып табылады бастап 2 Морита морфизмімен бірге G дейін Қ және H дейін Қ. Транзитивтілік - санатындағы қызықты құрылыс топоидты негізгі байламдар және оқырманға қалдырылды.

Морита эквивалентінде не сақталады деген сұрақ туындайды. Екі айқын нәрсе бар, олардың бірі - грутоидтың орасан кең / орбиталық кеңістігі екіншіден тұрақтандырғыш топтар сәйкес ұпайлар үшін және .

Ірі квоталық кеңістіктің құрылымы қандай екендігі туралы келесі сұрақ тегіс стек ұғымына әкеледі. Егер тұрақтандырғыш топтар тривиальды болса (Čech топоидты мысалында), егер біз өрескел болса, тегіс коллектор болады деп күтуге болады. Бірақ тұрақтандырғыш топтар өзгерсе, біз бұдан әрі тегіс коллекторды күте алмаймыз. Шешім мәселені қалпына келтіріп:

A тегіс стек Lie groupoids-тің Морита-эквиваленттік класы. Стекте өмір сүретін табиғи геометриялық нысандар - бұл Морита-эквиваленттілік жағдайында инвариантты Ли группоидаларындағы геометриялық нысандар. Мысал ретінде Lie groupoid қарастырайық когомология.

Мысалдар

  • Тегіс стек ұғымы өте жалпылама, барлық тегіс коллекторлар тегіс стектер болып табылады.
  • Бірақ және орбифолдтар тегіс стектер, яғни (эквиваленттік кластар) étale топоидтар.
  • Қабыршақтардың орбиталық кеңістігі - мысалдардың тағы бір класы

Сыртқы сілтемелер

  • Алан Вайнштейн, Groupoids: біріктіретін ішкі және сыртқы симметрия, AMS хабарламалары, 43 (1996), 744-752. Сондай-ақ, қол жетімді arXiv: математика / 9602220
  • Кирилл Маккензи, Дифференциалдық геометриядағы Lie Groupoids және Lie Algebroids, Кембридж Ю. Пресс, 1987.
  • Кирилл Маккензи, Lie Groupoids және Lie Algebroids жалпы теориясы, Кембридж Ю. Пресс, 2005