Жазықтық алгебра - Википедия - Planar algebra

Жылы математика, жазық алгебралар алғаш пайда болды Вон Джонс үстінде стандартты инвариант а II1 субфактор.[1] Олар сондай-ақ көпшілікке сәйкес алгебралық құрылым ұсынады түйін инварианттары (атап айтқанда Джонс көпмүшесі ) қасиеттерін сипаттауда қолданылған Хованов гомологиясы құрметпен шатастыру құрамы.[2][3] Кез-келген субфакторлы жазықтық алгебра біртұтас көріністерді ұсынады Томпсон топтары.[4]Кез-келген ақырлы топты (және кванттық қорытуды) жазық алгебра ретінде кодтауға болады.[1]

Анықтама

Планарлық алгебраның идеясы -ның диаграммалық аксиоматизациясы болу стандартты инвариант.[1][5][6]

Жазық шиыршық

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

Tangle.png

Мұнда белгі а түрінде көрсетілген -пішін. Әрбір кіріс дискіде ол екі көршілес шығушы жолдар арасында, ал шығыс дискіде екі көршілес кіріс жолдар арасында орналасады. Жазықтық орамалы дейін анықталады изотопия.

Композиция

Кімге құрастыру екі жазықтықтағы шатасулар, біреуінің шығыс дискіні екіншісінің кірісіне салыңыз, сонша аралықтары бар, белгіленген интервалдардың көлеңкесі бірдей және -белгіленген аралықтар сәйкес келеді. Соңында біз сәйкес келетін шеңберлерді алып тастаймыз. Екі жазықтықтағы шиыршықтардың нөл, бір немесе бірнеше композициясы болуы мүмкін екенін ескеріңіз.

Композиция.png

Планарлық опера

The жазық опера - осындай композициялармен жазықтықтағы (изоморфизмге дейін) түйіндердің жиынтығы.

Жазықтық алгебра

A жазықтық алгебра Бұл өкілдік жоспарлы операдан; дәлірек айтқанда, бұл векторлық кеңістіктер отбасы , деп аталады -жәшік бос орындары әрекет етеді жазық операд, яғни кез-келген орамға арналған (бір шығыс дискімен және кіріс дискілері және сәйкесінше интервалдар) көп сызықты карта бар

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

PlanarDiagram.png

Мысалдар

Жазықтықтағы шатасулар

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

Темперли-Либ

Темперли-Либ жазықтық алгебрасы кіріс дискісіз жазық шиыршықтар арқылы жасалады; оның -қорап кеңістігі арқылы жасалады

TLJ3.png

Сонымен қатар, жабық жолды көбейту арқылы ауыстырады .

DeltaMultiplication.png

Өлшемі екенін ескеріңіз болып табылады Каталон нөмірі .Бұл жазықтық алгебра. Ұғымын кодтайды Темперли –Либ алгебрасы.

Хопф алгебрасы

Жартылай және косемисимпл Хопф алгебрасы алгебралық жабық өріс үстінде генераторлармен және қатынастармен анықталған жазық алгебрада кодталған және модулі нөлге тең емес байланысты, азайтылмайтын, сфералық, деградацияланбаған жазықтық алгебрасына сәйкес келеді (изоморфизмге дейін). және тереңдігі екі.[7]

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

Жазықтық алгебра субфакторы

Анықтама

A жазықтық алгебрасы жазықтық болып табылады -алгебра қайсысы:

(1) ақырлы өлшемді:
(2) Бағалы:
(3) сфералық:
(4) оң: ішкі өнімді анықтайды.

(2) және (3) -ге сәйкес кез-келген жабық жол (көлеңкеленген немесе жоқ) бірдей тұрақтыға есептелетінін ескеріңіз .

PlanarOperations.png

Шатастыру әрекеті қосылғышпен байланысты:

бірге -ның айна бейнесі және байланыстырушы жылы .

Мысалдар мен нәтижелер

Жоқ теорема: Жазықтық алгебра елес жоқ (яғни элемент) бірге ) егер және егер болса

Үшін жоғарыдағыдай, рұқсат етіңіз нөлдік идеал болыңыз (элементтер тудырады бірге ). Содан кейін баға - деп аталатын субфакторлық жазықтық алгебра Темперли –Либ-Джонс субфакторы жазықтық алгебрасы . Тұрақты кез-келген субфакторлы жазықтық алгебра мойындайды жазықтық субальгебра ретінде.

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

Кез-келген ақырлы топты кодтайтын субфакторлық жазықтық алгебра бар (және жалпы кез-келген ақырлы өлшемді) Хопф -алгебра, Kac алгебрасы деп аталады), генераторлармен және қатынастармен анықталады. A (ақырлы өлшемді) алгебрасы «сәйкес келеді» (изоморфизмге дейін) төмендетілмейтін субфакторлы, тереңдіктің екі жазықтық алгебрасына.[11][12]

Шекті топтарды қосумен байланысты субфакторлық жазықтық алгебра,[13] (ядросыз) қосуды әрдайым есінде сақтай бермейді.[14][15]

Бисч-Джонс субфакторы жазықтық алгебрасы (кейде Fuss-Catalan деп аталады) ретінде анықталады бірақ өзінің тұрақты шамасымен екі түсті жіпке жол беру арқылы және , бірге жоғарыдағыдай. Бұл кез-келген субфакторлы жазықтық алгебраның аралық болатын жазықтық субальгебрасы және . [16][17]

Индекс индексінің бірінші ақырлы терең субфакторы деп аталады Хаагеруп жазықтық алгебра субфакторы.[18] Оның индексі бар .

Жазық алгебралар субфакторлары ең көп дегенде индекс бойынша жіктеледі [19]және одан тыс.[20]Бұл жіктеу басталды Uffe Haagerup.[21]Ол (басқалармен қатар) мүмкін негізгі графиктердің тізімін және ендіру теоремасымен бірге қолданады[22]және медуза алгоритмі.[23]

Егер субфактор жазықтық алгебрасы субфакторды есте сақтайды (яғни оның стандартты инварианты толық болса), егер ол қолайлы болса.[24] Шекті тереңдіктің гиперфинитті субфакторы қолайлы.

Өшпейтін жағдай туралы: барлығы бірдей стандартты инвариантқа ие, 6 индексінің төмендетілмейтін гиперфинитті субфакторлары классификацияланбайтын көптеген.[25]

Фурье түрлендіруі және қос жобалары

Келіңіздер шектеулі индекстің субфакторы болу және сәйкес субфактор жазықтық алгебра. Мұны ойлаңыз қысқартылмайды (яғни ). Келіңіздер аралық субфактор болу. Джонстың проекциясы болсын . Ескертіп қой . Келіңіздер және .

E1id.png

Ескертіп қой және .

Биективті сызықтық картаға рұқсат етіңіз болуы Фурье түрлендіруі, деп те аталады -шет (сыртқы жұлдызшаны) немесе айналу; және рұқсат етіңіз болуы қосымша өнім туралы және .

FourierCoproduct.png

Бұл сөзге назар аударыңыз қосымша өнім - бұл кішірейтілген конволюция өнімі. Бұл екілік амал.

Қосымша өнім теңдікті қанағаттандырады

Кез келген оң операторлар үшін , қосымша өнім сонымен қатар оң; мұны диаграмма түрінде көруге болады:[26]

CoproductPositive.png

Келіңіздер болуы қарсы (деп те аталады айналу). Карта төртеуіне сәйкес келеді -сыртқы жұлдызды шерту, сондықтан ол жеке куәлік, содан кейін .

Kac алгебрасында контрагент дәл антипод болып табылады,[12] олар, ақырғы топ үшін кері мәнге сәйкес келеді.

A қос жобалау проекция болып табылады бірге проекцияның еселігі. Ескертіп қой және қос жобалар; мұны келесідей көруге болады:

F (e1) .png

Проекция егер бұл Джонс проекциясы болса, бипроекция болып табылады аралық субфактордың [27], iff .[28][26]

Галуа корреспонденциясы:[29] Kac алгебра жағдайында қос жобалар сол жақ коэдеальды субальгебралармен 1-1 құрайды, олар ақырғы топ үшін кіші топтарға сәйкес келеді.

Кез-келген төмендетілмейтін субфакторлы жазықтық алгебра үшін қос жобалардың жиынтығы ақырлы тор болып табылады, [30] форманың , ақырғы топтардың интервалына келетін болсақ .

Екі жобаны қолдана отырып, біз аралық субфакторды жазықтық алгебралар жасай аламыз. [31][32]

The белгісіздік принципі кез-келген төмендетілмейтін субфакторлы жазықтық алгебраға таралады :

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

Коммутативті емес белгісіздік принципі: [33] Келіңіздер , нөлдік емес. Содан кейін

Болжалды және оң, егер теңдік болса және егер болса ғана орындалады екі жобалық болып табылады. Тұтастай алғанда, теңдік тек егер болса ғана болады болып табылады екі ауысым екіжобаның.

Әдебиеттер тізімі

  1. ^ а б в Вон Ф. Р. Джонс (1999), «Планарлық алгебралар, мен», arXiv:математика / 9909027
  2. ^ «Dror Bar-Natan: Жарияланымдар: Коборизмдер». Math.toronto.edu. дои:10.2140 / gt.2005.9.1443. Алынған 2016-11-20.
  3. ^ «Фронт: [math / 0410495] Ховановтың шиеленіскен және кобординизмге арналған гомологиясы». Front.math.ucdavis.edu. дои:10.2140 / gt.2005.9.1443. Алынған 2016-11-20.
  4. ^ Вон Ф. Р. Джонс (2017), «Томпсонның F және T топтарының кейбір унитарлы өкілдігі», J. тарақ. Алгебра, 1 (1): 1–44, arXiv:1412.7740, дои:10.4171 / JCA / 1-1-1, МЫРЗА  3589908
  5. ^ Виджай Кодиалам, В.С. Sunder (2004), «Джонстың жазық алгебралары туралы», Дж. Түйін теориясы, 13 (2): 219–247, дои:10.1142 / S021821650400310X, МЫРЗА  2047470CS1 maint: авторлар параметрін қолданады (сілтеме)
  6. ^ «Vijay Kodiyalam - Planar algebras - IMSc 2015». youtube.com. 2015-11-14.
  7. ^ Виджай Кодиалам, В.С. Sunder (2006), «Химфальді алгебраның жартылай және косемизимплеттің жазықтық алгебрасы», Proc. Үнді акад. Ғылыми. Математика. Ғылыми., 116 (4): 1–16, arXiv:математика / 0506153, Бибкод:2005ж. ...... 6153KCS1 maint: авторлар параметрін қолданады (сілтеме)
  8. ^ Сорин Попа (1995), «Субфактордың салыстырмалы жоғары коммутанттар торының аксиоматизациясы», Mathematicae өнертабыстары, 120 (3): 427–445, Бибкод:1995InMat.120..427P, дои:10.1007 / BF01241137, МЫРЗА  1334479
  9. ^ Элис Гионнет, Вон Ф. Р. Джонс, Димитри Шляхтенко (2010), «Кездейсоқ матрицалар, еркін ықтималдық, жазықтық алгебралар және субфакторлар», Балшық математика. Proc., {11}: 201–239, МЫРЗА  2732052CS1 maint: авторлар параметрін қолданады (сілтеме)
  10. ^ Виджай Кодиалам, В.С. Sunder (2009), «Subfactor planar algebras from subfactors», Интернат. Дж. Математика., 20 (10): 1207–1231, arXiv:0807.3704, дои:10.1142 / S0129167X0900573X, МЫРЗА  2574313CS1 maint: авторлар параметрін қолданады (сілтеме)
  11. ^ Парамита Дас, Виджая Кодиалам (2005), «Планарлық алгебралар және Окнеану-Шиманский теоремасы», Proc. Amer. Математика. Soc., 133 (9): 2751–2759, дои:10.1090 / S0002-9939-05-07789-0, ISSN  0002-9939, МЫРЗА  2146224CS1 maint: авторлар параметрін қолданады (сілтеме)
  12. ^ а б Виджай Кодиалам, Зеф Ландау, В.С. Sunder (2003), «Kac алгебрасына байланысты жазық алгебра», Proc. Үнді акад. Ғылыми. Математика. Ғылыми., 113 (1): 15–51, дои:10.1007 / BF02829677, ISSN  0253-4142, МЫРЗА  1971553CS1 maint: авторлар параметрін қолданады (сілтеме)
  13. ^ Вед Пракаш Гупта (2008), «Под-алгебра подгруппа-субфактор», Математика ғылымдарының еңбектері, 118 (4): 583–612, arXiv:0806.1791, Бибкод:2008arXiv0806.1791G, дои:10.1007 / s12044-008-0046-0
  14. ^ Виджай Кодиалам, В.С. Sunder (2000), «кіші топ-субфактор», Математика. Жанжал., 86 (1): 45–74, дои:10.7146 / math.scand.a-14281, ISSN  0025-5521, МЫРЗА  1738515CS1 maint: авторлар параметрін қолданады (сілтеме)
  15. ^ Масаки Изуми (2002), «Изоморфты топ-кіші топ субфакторларының сипаттамасы», Int. Математика. Res. Жоқ., 2002 (34): 1791–1803, дои:10.1155 / S107379280220402X, ISSN  1073-7928, МЫРЗА  1920326
  16. ^ Диетмар Биш, Вон Джонс (1997), «аралық субфакторларға байланысты алгебралар», Mathematicae өнертабыстары, 128 (1): 89–157, Бибкод:1997InMat.128 ... 89J, дои:10.1007 / s002220050137CS1 maint: авторлар параметрін қолданады (сілтеме)
  17. ^ Пинхас Гроссман, Вон Джонс (2007), «Артық құрылымсыз аралық субфакторлар», Дж.Амер. Математика. Soc., 20 (1): 219–265, Бибкод:2007 Джеймс ... 20..219Г, дои:10.1090 / S0894-0347-06-00531-5, МЫРЗА  2257402CS1 maint: авторлар параметрін қолданады (сілтеме)
  18. ^ Эмили Питерс (2010), «Хагагеруп субфакторының жазықтық алгебралық құрылысы» Интернат. Дж. Математика., 21 (8): 987–1045, arXiv:0902.1294, дои:10.1142 / S0129167X10006380, МЫРЗА  2679382
  19. ^ Вон Ф. Р. Джонс, Скотт Моррисон, Ноа Снайдер (2014), «Индекс субфакторларының классификациясы ", Өгіз. Amer. Математика. Soc. (Н.С.), 51 (2): 277–327, arXiv:1304.6141, дои:10.1090 / S0273-0979-2013-01442-3, МЫРЗА  3166042CS1 maint: авторлар параметрін қолданады (сілтеме)
  20. ^ Нарджесс Афзали, Скотт Моррисон, Дэвид Пенни (2015), Ең көп индексі бар субфакторлардың жіктелуі , 70бб., arXiv:1509.00038, Бибкод:2015arXiv150900038ACS1 maint: авторлар параметрін қолданады (сілтеме)
  21. ^ Uffe Haagerup (1994), «индекс диапазонындағы субфакторлардың негізгі графиктері ", Субфакторлар (Кюзесо, 1993): 1–38, МЫРЗА  1317352
  22. ^ Вон Джонс, Дэвид Пеннис (2011), «Шексіз тереңдік субфакторлы жазықтық алгебралары үшін ендіру теоремасы.», Кванттық тополь., 2 (3): 301–337, arXiv:1007.3173, дои:10.4171 / QT / 23, МЫРЗА  2812459CS1 maint: авторлар параметрін қолданады (сілтеме)
  23. ^ Стивен Бигелоу, Дэвид Пеннис (2014), «Графиктің негізгі тұрақтылығы және медуза алгоритмі.», Математика. Энн., 358 (1–2): 1–24, arXiv:1208.1564, дои:10.1007 / s00208-013-0941-2, МЫРЗА  3157990CS1 maint: авторлар параметрін қолданады (сілтеме)
  24. ^ Попа, Сорин (1994), «II типтегі аменирленген субфакторлардың жіктелуі», Acta Mathematica, 172 (2): 163–255, дои:10.1007 / BF02392646, МЫРЗА  1278111
  25. ^ Арно Бротиер, Стефан Ваес (2015 ж.), «Гиперфинитті субфакторлардың отбасылары бірдей стандартты инвариантты және белгіленген іргелі топқа ие.», J. Noncommut. Геом., 9 (3): 775–796, arXiv:1309.5354, дои:10.4171 / JNCG / 207, МЫРЗА  3420531CS1 maint: авторлар параметрін қолданады (сілтеме)
  26. ^ а б Чжэнвэй Лю (2016 ж.), «Кіші дәрежелі алмасу қатынасы жазықтық алгебралары», Транс. Amer. Математика. Soc., 368 (12): 8303–8348, arXiv:1308.5656, дои:10.1090 / tran / 6582, ISSN  0002-9947, МЫРЗА  3551573
  27. ^ Диетмар Биш (1994), «Аралық субфакторлар туралы ескерту», Тынық мұхиты Дж., 163 (2): 201–216, дои:10.2140 / pjm.1994.163.201, ISSN  0030-8730, МЫРЗА  1262294
  28. ^ Zeph A. Landau (2002), «Айырбас қатыстылығы жазықтық алгебралары», Геом. Дедиката, 95: 183–214, дои:10.1023 / A: 1021296230310, ISSN  0046-5755, МЫРЗА  1950890
  29. ^ Масаки Изуми, Роберто Лонго, Сорин Попа (1998), «Фон Нейман алгебраларының жинақталған автоморфизм топтары үшін Галуа сәйкестігі, Kac алгебраларына жалпылау», Дж. Функт. Анал., 155 (1): 25–63, дои:10.1006 / jfan.1997.3228, ISSN  0022-1236, МЫРЗА  1622812CS1 maint: авторлар параметрін қолданады (сілтеме)
  30. ^ Ясуо Вататани (1996), «Аралық субфакторлардың торлары», Дж. Функт. Анал., 140 (2): 312–334, дои:10.1006 / jfan.1996.0110, hdl:2115/68899, ISSN  0022-1236, МЫРЗА  1409040
  31. ^ Зеф А. Ландау (1998), «Аралық субфакторлар», Дипломдық жұмыс - Берклидегі Калифорния университеті: 132б
  32. ^ Кешаб Чандра Бакши (2016), Аралық жазықтық алгебра қайта қаралды, 31бб., arXiv:1611.05811, Бибкод:2016arXiv161105811B
  33. ^ Чунлан Цзян, Чжэнвэй Лю, Джинсон Ву (2016), «Коммутативті емес белгісіздік принциптері», Дж. Функт. Анал., 270 (1): 264–311, arXiv:1408.1165, дои:10.1016 / j.jfa.2015.08.007CS1 maint: авторлар параметрін қолданады (сілтеме)