Жоғары өлшемді алгебра - Higher-dimensional algebra - Wikipedia

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

Жоғары өлшемді санаттар

Жоғары өлшемді алгебраларды анықтауға алғашқы қадам - ​​тұжырымдамасы 2-санат туралы жоғары категория теориясы, одан әрі 'геометриялық' тұжырымдамасы қос категория.[1][2]

Жоғары деңгей тұжырымдамасы осылайша а ретінде анықталады санат категорияларын немесе жоғары өлшемдерді жалпылайтын супер-категория санат - түсіндіру болып табылатын кез-келген құрылым ретінде қарастырылады Ловере аксиомалары дерексіз категориялардың элементарлы теориясы (ETAC).[3][4] Ll.

,[5][6] Сонымен, суперкатегория және а супер-категория, тұжырымдамаларының табиғи кеңеюі ретінде қарастыруға болады мета-санат,[7] көп категориялы, және көп график, к-партиттік график, немесе түрлі-түсті график (қараңыз түсті фигура, және де оның анықтамасы графтар теориясы ).

Суперкатегориялар алғаш рет 1970 жылы енгізілді,[8] кейіннен қосымшалар үшін әзірленді теориялық физика (әсіресе өрістің кванттық теориясы және өрістің топологиялық кванттық теориясы ) және математикалық биология немесе математикалық биофизика.[9]

Үлкен алгебрадағы басқа жолдарға мыналар жатады: екі категория, екі категориялардың гомоморфизмдері, ауыспалы санаттар (ака, индекстелген немесе параметрленген санаттар ), топои, тиімді түсу және байытылған және ішкі категориялар.

Қосарланған группоидтар

Жылы жоғары өлшемді алгебра (HDA), а екі топтық бір өлшемді жалпылау болып табылады топоид екі өлшемге,[10] және соңғы топоидты барлық инвертирленген көрсеткілері бар санаттағы ерекше жағдай ретінде қарастыруға болады немесе морфизмдер.

Қосарланған группоидтар туралы ақпаратты түсіру үшін жиі қолданылады геометриялық сияқты нысандар жоғары өлшемді коллекторлар (немесе n-өлшемді коллекторлар ).[11] Жалпы, ан n-өлшемді коллектор - бұл жергілікті көрінетін кеңістік n-өлшемді эвклид кеңістігі, бірақ оның жаһандық құрылымы болуы мүмкін эвклидтік емес.

Қосарлы топоидтарды алғаш рет енгізген Рональд Браун 1976 жылы, реф.[11] қосымшаларға қарай әрі қарай дамыды nonabelian алгебралық топология.[12][13][14][15] Байланысты, «қосарланған» ұғым екі еселенген алгеброид, және неғұрлым жалпы тұжырымдамасы R-алгеброид.

Набельдік алгебралық топология

Қараңыз Набельдік алгебралық топология

Қолданбалар

Теориялық физика

Жылы өрістің кванттық теориясы, бар кванттық категориялар.[16][17][18] және кванттық қосарланған топоидтар.[19] Кванттық қос группоидтарды деп санауға болады негізгі топоидтар а арқылы анықталған 2-функция, бұл физикалық жағынан қызықты жағдай туралы ойлауға мүмкіндік береді кванттық іргелі топоидтар (QFG) екі категория Аралық (Groupoids), содан кейін 2- салуГильберт кеңістігі және 2-сызықтық карталар коллекторлар үшін кобординизмдер. Келесі қадамда біреу алады кобординизмдер арқылы бұрыштары бар табиғи трансформациялар осындай 2-функцияның. Содан кейін бұл туралы талап қойылды калибрлі топ СУ (2), "ұзартылған TQFT немесе ETQFT, -ке тең теорияны береді Ponzano – Regge моделі туралы кванттық ауырлық күші ";[19] сол сияқты Тураев – Виро моделі содан кейін алуға болатын еді өкілдіктер СУq(2). Сондықтан, сипаттауға болады мемлекеттік кеңістік калибр теориясының - немесе көптеген түрлерінің кванттық өріс теориялары (QFT) және жергілікті кванттық физика трансформациялық топоидтар симметриямен берілген, мысалы, калибр теориясы жағдайында трансформаторлар бұл жағдайда байланыс болатын күйлерге әрекет ету. Қатысты симметрия болған жағдайда кванттық топтар, ұсыным категориялары болып табылатын құрылымдарды алуға болады кванттық топоидтар,[16] орнына 2-векторлық кеңістіктер бұл топоидтардың бейнелеу категориялары.

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

Ескертулер

  1. ^ Браун, Р .; Лодай, Дж. (1987). «Гомотопиялық экзизия және Хоревич теоремалары, үшін n-кеңістіктер ». Лондон математикалық қоғамының еңбектері. 54 (1): 176–192. CiteSeerX  10.1.1.168.1325. дои:10.1112 / plms / s3-54.1.176.
  2. ^ Батанин, М.А. (1998). «Моноидты глобулярлық категориялар әлсіз теорияның табиғи ортасы ретінде n-Санаттар ». Математикадағы жетістіктер. 136 (1): 39–103. дои:10.1006 / aima.1998.1724.
  3. ^ Ловере, Ф.В. (1964). «Жинақтар санатының элементарлы теориясы». Америка Құрама Штаттарының Ұлттық Ғылым Академиясының еңбектері. 52 (6): 1506–1511. Бибкод:1964 PNAS ... 52.1506L. дои:10.1073 / pnas.52.6.1506. PMC  300477. PMID  16591243. Архивтелген түпнұсқа 2009-08-12. Алынған 2009-06-21.
  4. ^ Lawvere, F. W .: 1966 ж., Математиканың негізі ретіндегі категориялар санаты., In Proc. Конф. Категориялық алгебра - La Jolla., Эйленберг, С. және басқалар, редакция. Шпрингер-Верлаг: Берлин, Гейдельберг және Нью-Йорк., 1–20 б. http://myyn.org/m/article/william-francis-lawvere/ Мұрағатталды 2009-08-12 сағ Wayback Machine
  5. ^ «Kryptowährungen und Physik - Planetfhysics».
  6. ^ Ловере, Ф.В. (1969б). «Қорлардағы бірлесу». Диалектика. 23 (3–4): 281–295. CiteSeerX  10.1.1.386.6900. дои:10.1111 / j.1746-8361.1969.tb01194.x. Архивтелген түпнұсқа 2009-08-12. Алынған 2009-06-21.
  7. ^ «Kryptowährungen und Physik - Planetfhysics». Архивтелген түпнұсқа 2009-08-14. Алынған 2009-03-02.
  8. ^ Суперкатегория теориясы @ PlanetMath
  9. ^ «Kryptowährungen und Physik - Planetfhysics». Архивтелген түпнұсқа 2009-08-14. Алынған 2009-03-02.
  10. ^ Браун, Р .; Спенсер, С.Б. (1976). «Екі топтық топтар және қиылысқан модульдер». Cahiers Top. Джеом. Айырмашылық. 17: 343–362.
  11. ^ а б Браун, Р .; Спенсер, С.Б. (1976). «Екі топтық топтар және қиылысқан модульдер» (PDF). Cahiers Top. Джеом. Айырмашылық. 17: 343–362. Архивтелген түпнұсқа (PDF) 2008-07-24.
  12. ^ «Kryptowährungen und Physik - Planetfhysics». Архивтелген түпнұсқа 2009-08-14. Алынған 2009-03-02.
  13. ^ Абельдік емес алгебралық топология кітап Мұрағатталды 2009-06-04 сағ Wayback Machine
  14. ^ Набельді емес алгебралық топология: Сүзілген кеңістіктердің жоғары гомотопиялық топоидтары
  15. ^ Браун, Р .; т.б. (2009). Набельдік алгебралық топология: Сүзілген кеңістіктердің жоғары гомотопиялық топоидтары (баспасөзде).[тұрақты өлі сілтеме ]
  16. ^ а б http://planetmath.org/encyclopedia/QuantumCategory.html Кванттық топоидтардың кванттық категориялары
  17. ^ http://planetmath.org/encyclopedia/AssociativityIsomorphism.html Қатты моноидты санаттар
  18. ^ «Кванттық группоидтар туралы ескерту». 2009-03-18.
  19. ^ а б http://theoretatlas.wordpress.com/2009/03/18/a-note-on-quantum-groupoids/ 2009 ж. 18 наурыз. Кванттық топоидтар туралы ескерту, Джеффри Мортон С * -алгебралары, деформациялар теориясы, топоидтар, коммутативті емес геометрия, кванттау

Әрі қарай оқу