Кластерлік алгебра - Cluster algebra - Wikipedia

Кластерлік алгебралар класс ауыстырғыш сақиналар енгізген Фомин және Зелевинский  (2002, 2003, 2007 ). Дәрежелік кластердің алгебрасы n болып табылады интегралды домен A, өлшемнің кейбір ішкі жиындарымен бірге n кластер деп аталады, олардың бірігуі алгебра A және олар әртүрлі шарттарды қанағаттандырады.

Анықтамалар

Айталық F болып табылады интегралды домен сияқты өріс Q(х1,...,хn) of рационалды функциялар жылы n бойынша айнымалылар рационал сандар Q.

A кластер туралы дәреже n жиынтығынан тұрады n элементтер {х, ж, ...} F, әдетте, деп болжанған алгебралық тұрғыдан тәуелсіз а генераторларының жиынтығы өрісті кеңейту F.

A тұқым кластерден тұрады {х, ж, ...} F, бірге алмасу матрицасы B бүтін жазбалармен бх,ж элементтер жұбы бойынша индекстелген х, ж кластердің Матрица кейде деп қабылданады қиғаш симметриялы, сондай-ақ бх,ж = –бж,х барлығына х және ж. Жалпы, матрица қисық симметриялы болуы мүмкін, яғни оң сандар бар г.х кластер элементтерімен байланысты г.хбх,ж = –г.жбж,х барлығына х және ж. Тұқымды а ретінде бейнелеу әдеттегідей діріл сурет салу арқылы шыңдармен генератор жиынтығы бх,ж көрсеткілері х дейін ж егер бұл сан оң болса. Қашан бх,ж қиғаш симметриялы, дірілде цикл немесе 2 цикл жоқ.

A мутация шыңның таңдауына байланысты тұқым ж кластерінің, бұл жалпылау арқылы берілген жаңа тұқым еңкейту келесідей. Мәндерімен алмасу бх,ж және бж,х барлығына х кластерде. Егер бх,ж > 0 және бж,з > 0 содан кейін ауыстырыңыз бх,з арқылы бх,жбж,з + бх,з. Егер бх,ж <0 және бж,з <0 содан кейін ауыстырыңыз бх,з арқылы -бх,жбж,з + бх,з. Егер бх,ж бж,з ≤ 0 өзгермейді бх,з. Соңында ауыстырыңыз ж жаңа генератор арқылы w, қайда

мұнда өнімдер элементтер арқылы өтеді т тұқым кластерінде осындай бт,ж сәйкесінше оң немесе теріс болып табылады. Мутацияның кері мәні де мутация болып табылады, яғни A болып табылады B содан кейін B болып табылады A.

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

Кластерлік алгебра деп аталады ақырғы тип егер оның тек тұқымдарының шектеулі саны болса. Фомин және Зелевинский (2003) ақырлы типтегі кластерлік алгебраларды терминдер бойынша жіктеуге болатындығын көрсетті Динкин диаграммалары ақырлы өлшемді қарапайым алгебралар.

Мысалдар

1 дәрежелі кластерлік алгебралар

Егер {х} - бұл 1 дәрежелі тұқымның кластері, мұны жалғыз мутация {2 деңгейіне жеткізедіх−1}. Сонымен, 1 дәрежелі кластерлік алгебра - жай сақина к[х,х−1] of Лоран көпмүшелері және оның тек екі кластері бар, {х} және {2х−1}. Атап айтқанда, ол ақырлы типті және А динамикалық диаграммасымен байланысты1.

2 дәрежелі кластерлік алгебралар

Біз кластерден бастайық делік {х1, х2} және алмасу матрицасын бірге алыңыз б12 = –B21 = 1. Сонда мутация айнымалылар тізбегін береді х1, х2, х3, х4, ... кластерлерді көрші жұптар беретін етіп {хn, хn+1}. Айнымалылар байланысты

солай ретпен берілген

ол 5-ші кезеңмен қайталанады. Демек, бұл кластер алгебрасында тура 5 кластер бар, атап айтқанда ақырлы типке ие. Бұл Динкин А диаграммасымен байланысты2.

Мысалдары бар б12 = 1, –б21 = 2 немесе 3, мұнда кластердің айнымалыларының ұқсас тізбегі 6 немесе 8 периодпен қайталанады, олар ақырлы типке жатады және олар Динкин диаграммаларымен байланысты2 және Г.2. Алайда, егер |б12б21| ≥ 4, содан кейін кластер айнымалыларының реттілігі периодты емес және кластер алгебрасы шексіз типке ие болады.

3 дәрежелі кластерлік алгебралар

Біз дірілден бастайық делік х1х2х3. Сонда 14 кластер:

3 бастапқыдан басқа 6 кластерлік айнымалылар бар х1, х2, х3 берілген

.

Олар Динкин диаграммасының 6 оң түбіріне сәйкес келеді3: дәлірек бөлгіштер - мономиалдар х1, х2, х3, оң түбірлердің жай түбірлердің қосындысы ретінде көрінуіне сәйкес келеді. 3 + 6 кластерлік айнымалылар Динкин А диаграммасымен байланысты ақырғы типтегі кластерлік алгебраны құрайды3.14 ​​кластер - бұл кластерлік графиктің шыңдары, ол ассоциэдр.

Шөптер

Қарапайым мысалдарды біртектес функциялардың алгебралары келтіреді Шөптер. The Плюкер координаттары кейбір ерекшеленетін элементтерді қамтамасыз ету.

Гептагонның екі үшбұрышының арасындағы мутация

Plan-дағы Grassmannian үшінn, жағдай одан да қарапайым. Бұл жағдайда Plücker координаттары барлық ерекшеленетін элементтерді қамтамасыз етеді және кластерлерді толығымен сипаттауға болады үшбұрыштар а тұрақты көпбұрыш бірге n төбелер. Дәлірек айтсақ, кластерлер үшбұрыштармен бір-біріне, ал ажыратылған элементтер диагональдармен (полигонның екі төбесін біріктіретін сызық кесінділері) бір-біріне сәйкес келеді. Шекарадағы әр кластерге жататын диагональдар мен интерьердегі диагональдарды ажыратуға болады. Бұл коэффициент айнымалылар мен кластерлік айнымалылар арасындағы жалпы айырмашылыққа сәйкес келеді.

Беттерден пайда болатын кластерлік алгебралар

Айталық S Бұл ықшам байланысты бағдарланған Риман беті және М Бұл бос емес соңғы нүктелер жиынтығы S онда әрқайсысының кем дегенде бір нүктесі бар шекара компоненті S (шекарасы S бос немесе бос емес деп қабылданбайды). Жұп (S, М) жиі а деп аталады белгіленген нүктелермен шектелген беткей. Егер Фомин-Шапиро-Турстон көрсеткен болса S жабық бет емес, немесе егер М бірнеше нүктеден тұрады, содан кейін (белгіленген) доғалар (S, М) белгілі бір кластерлік алгебраның кластерлік айнымалылар жиынтығын параметрлеу A(S, М), ол тек (S, М) және () үшбұрыштарының жиынтығы болатындай етіп кейбір коэффициенттік жүйені таңдау (S, М) кластерлер жиынтығымен бір-біріне сәйкес келеді A(S, М) байланысты екі (үшбұрышталған) үшбұрыш аудару егер олар сәйкес келетін кластерлер кластерлік мутациямен байланысты болса ғана.

Екі еселенген Брухат жасушалары

Үшін G а редукциялық топ сияқты бірге Borel топшалары содан кейін (қайда сен және v ішінде Weyl тобы сөздерінің қысқартылған ыдырауына байланысты кластерлік координаталық диаграммалар бар сен және v. Оларды факторизация параметрлері деп атайды және олардың құрылымы электр схемасында кодталады. Тек немесе тек , бұл Брухаттың ыдырауы.

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

  • Беренштейн, Аркадий; Фомин, Сергей; Зелевинский, Андрей (2005), «Кластерлік алгебралар. III. Жоғарғы шекаралар және қосарланған Брухат жасушалары», Duke Mathematical Journal, 126 (1): 1–52, arXiv:математика / 0305434, дои:10.1215 / S0012-7094-04-12611-9, МЫРЗА  2110627
  • Фомин, Сергей; Шапиро, Майкл; Thurston, Dylan (2008), «Кластерлік алгебралар және үшбұрышталған беттер, I бөлім: Кластерлік кешендер.», Acta Mathematica, 201: 83–146, arXiv:математика / 0608367, дои:10.1007 / s11511-008-0030-7
  • Фомин, Сергей; Зелевинский, Андрей (2002), «Кластерлік алгебралар. I. Негіздер», Америка математикалық қоғамының журналы, 15 (2): 497–529, arXiv:математика / 0104151, дои:10.1090 / S0894-0347-01-00385-X, МЫРЗА  1887642
  • Фомин, Сергей; Зелевинский, Андрей (2003), «Кластерлік алгебралар. II. Соңғы типтегі классификация», Mathematicae өнертабыстары, 154 (1): 63–121, arXiv:математика / 0208229, Бибкод:2003InMat.154 ... 63F, дои:10.1007 / s00222-003-0302-ж, МЫРЗА  2004457
  • Фомин, Сергей; Зелевинский, Андрей (2007), «Кластерлік алгебралар. IV. Коэффициенттер», Compositio Mathematica, 143 (1): 112–164, arXiv:математика / 0602259, дои:10.1112 / S0010437X06002521, МЫРЗА  2295199
  • Фомин, Сергей; Reading, Nathan (2007), «Тамыр жүйелері және жалпыланған ассоциаедра», Миллерде, Эзра; Рейнер, Виктор; Штурмфельс, Бернд (ред.), Геометриялық комбинаторика, IAS / Park City Math. Сер., 13, Providence, R.I .: Amer. Математика. Soc., arXiv:математика / 0505518, Бибкод:2005ж. ...... 5518F, ISBN  978-0-8218-3736-8, МЫРЗА  2383126
  • Марш, Роберт Дж. (2013), Кластерлік алгебралар туралы дәріс конспектілері., Цюрих кеңейтілген математикадан дәрістер, Цюрих: Еуропалық математикалық қоғам (EMS), дои:10.4171/130, ISBN  978-3-03719-130-9, МЫРЗА  3155783
  • Рейтен, Идун (2010), Көлбеу теориясы және кластерлік алгебралар, Триесте семинарының материалдары, arXiv:1012.6014, Бибкод:2010arXiv1012.6014R
  • Зелевинский, Андрей (2007), «Кластерлік алгебра деген не?» (PDF), AMS хабарламалары, 54 (11): 1494–1495.

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