Ресми топтық заң - Википедия - Formal group law

Жылы математика, а ресми топтық құқық болып табылады (шамамен айтқанда) а ресми қуат сериялары а-ның өнімі сияқты жүру Өтірік тобы. Олар таныстырды Бохнер  (1946 ). Термин ресми топ кейде ресми топтық заңмен бірдей мағынаны білдіреді, ал кейде бірнеше жалпылаудың бірін білдіреді. Формалды топтар Өтірік топтары арасында аралық болып табылады (немесе алгебралық топтар ) және Алгебралар. Олар қолданылады алгебралық сандар теориясы және алгебралық топология.

Анықтамалар

A бір өлшемді формальды топтық заң астам ауыстырғыш сақина R қуат сериясы болып табыладыF(х,ж) коэффициенттерімен R, осылай

  1. F(х,ж) = х + ж + жоғары дәреже шарттары
  2. F(х, F(ж,з)) = F(F(х,ж), з) (ассоциативтілік).

Ең қарапайым мысал аддитивті формальды топтық құқық F(х, ж) = х + ж.Анықтаманың идеясы сол F Lie тобының көбейтіндісінің формальды қатарының кеңеюі сияқты болуы керек, мұнда біз Lie тобының сәйкестігі бастау болатындай етіп координаттарды таңдаймыз.

Жалпы, ан n-өлшемді формальды топтық құқық жиынтығы n қуат сериясыFмен(х1, х2, ..., хn, ж1, ж2, ..., жn2)n айнымалылар

  1. F(х,ж) = х + ж + жоғары дәреже шарттары
  2. F(х, F(ж,з)) = F(F(х,ж), з)

біз қайда жазамыз F үшін (F1, ..., Fn), х үшін (х1,..., хn), және тағы басқа.

Ресми топтық заң деп аталады ауыстырмалы егер F(х,ж) = F(ж,х).

Тірек.[дәйексөз қажет ] Егер R болып табылады - кез келген бір өлшемді формальды топтық заң аяқталғаннан кейін R коммутативті болып табылады.
Дәлел. Бұралу еркіндігі бізге жазуға мүмкіндік беретін экспоненциалды және логарифмді береді F сияқты F(х,ж) = exp (журнал (х) + журнал (ж)).

Топтар үшін керісінше болуына ұқсас аксиоманың қажеті жоқ, өйткені бұл формальды топтық заң анықтамасынан автоматты түрде шығады. Басқаша айтқанда, біз әрқашан (бірегей) қуат қатарларын таба аламыз G осындай F(х,G(х)) = 0.

A гомоморфизм ресми топтық заңнан F өлшем м ресми топтық заңға G өлшем n жинақ болып табылады f туралы n қуат сериясы м айнымалылар

G(f(х), f(ж)) = f(F(х, ж)).

Кері бар гомоморфизмді ан деп атайды изоморфизм, және а деп аталады қатаң изоморфизм егер қосымша болса f(х)= х + жоғары дәреже шарттары. Олардың арасында изоморфизмі бар екі формальды топтық заңдар мәні жағынан бірдей; олар тек «координаталардың өзгеруімен» ерекшеленеді.

Мысалдар

  • The аддитивті формальды топтық құқық арқылы беріледі
  • The мультипликативті формальды топтық заң арқылы беріледі

Бұл ережені келесідей түсінуге болады. Өнім G сақинаның (мультипликативті тобында) R арқылы беріледі G(а,б) = аб. Егер біз «координаталарды өзгертсек» 0 қою арқылы сәйкестікті орнатамыз а = 1 + х, б = 1 + ж, және G = 1 + F, содан кейін біз мұны табамыз F(хж) = х + ж + xy.Рационал сандардың үстінде формулалық аддитивті формальды заңнан мультипликативтіге изоморфизм бар. exp (х) − 1. Жалпы коммутативті сақиналардың үстінде R оны анықтау үшін интегралды емес рационал сандарды қажет ететін гомоморфизм жоқ, ал аддитивті және мультипликативті формальды топтар әдетте изоморфты емес.

  • Жалпы алғанда, біз формальды өлшемдік заңдылықты құра аламыз n кез-келген алгебралық топтан немесе Lie өлшемдер тобынан n, сәйкестендіру координаттарын алу және өнімнің картасын кеңейтудің ресми сериясын жазу арқылы. Аддитивті және мультипликативті формальды топтық заңдар осылайша аддитивті және мультипликативті алгебралық топтардан алынады. Мұның тағы бір маңызды ерекше жағдайы ресми топ (заң) эллиптикалық қисық (немесе абелия әртүрлілігі ).
  • F(х,ж) = (х + ж)/(1 + xy) гиперболалық тангенс функциясы үшін қосу формуласынан шыққан формальды топтық заң: tanh (х + ж) = F(танх (х), tanh (ж)), және де жылдамдықтарды қосу формуласы болып табылады арнайы салыстырмалылық (жарық жылдамдығы 1-ге тең).
  • аяқталған ресми топтық заң болып табылады З[1/2] табылған Эйлер түрінде қосу формуласы үшін эллиптикалық интеграл (Стрикленд ):

Алгебралар

Кез келген n-өлшемді формальды топтық заң береді n сақина үстіндегі өлшемді Ли алгебрасы R, квадраттық бөлік бойынша анықталған F2 ресми топтық құқық.

[х,ж] = F2(х,ж) − F2(ж,х)

Lie топтарынан немесе алгебралық топтардан Lie алгебраларына дейінгі табиғи функцияны Lie топтарынан формальды топтық заңдарға дейінгі функционалға айналдыруға болады, содан кейін формальды топтың Lie алгебрасын аламыз:

Өтірік топтары → Ресми топтық заңдар → Өтірік алгебралары

0 сипаттамасының өрістері бойынша формальды топтық заңдар негізінен ақырлы өлшемді алгебралармен бірдей: дәлірек айтқанда, ақырлы өлшемді формальды топтық заңдардан ақырлы өлшемді алгебраларға дейінгі функциялар категориялардың эквиваленттілігі болып табылады.[дәйексөз қажет ] Нөлдік емес сипаттамалық өрістер бойынша формальды топтық заңдар Ли алгебраларына тең келмейді. Шын мәнінде, бұл жағдайда алгебралық топтан оның Ли алгебрасына өту өте көп ақпаратты тастайтыны белгілі, бірақ оның орнына формальды топ заңына өту көбіне жеткілікті ақпаратты сақтайды. Сонымен, белгілі бір мағынада формальды топтық заңдар сипаттамада Ли алгебраларының «дұрыс» алмастырушысы болып табылады б > 0.

Коммутативті формальды топтық заңның логарифмі

Егер F ауыстыру болып табылады n-коммутативті өлшемді формальды топтық заң Q-алгебра R, онда ол аддитивті формальды топтық заңға қатаң изоморфты. Басқаша айтқанда, қатаң изоморфизм бар f аддитивті формальды топтан F, деп аталады логарифм туралы F, сондай-ақ

f(F(х,ж)) = f(х) + f(ж)

Мысалдар:

  • Логарифмі F(хж) = х + ж болып табылады f(х) = х.
  • Логарифмі F(хж) = х + ж + xy болып табылады f(х) = журнал (1 +х), өйткені журнал (1 +х + ж + xy) = журнал (1 +х) + журнал (1 +ж).

Егер R рационалдарды, картаны қамтымайды f скалярларды кеңейту арқылы салуға болады RQ, бірақ бұл бәрін нөлге жібереді, егер R оң сипаттамаға ие. Сақина үстіндегі формальды топтық заңдар R көбінесе олардың логарифмдерін коэффициенттері бар дәрежелік қатар ретінде жазу арқылы салынады RQ, содан кейін сәйкес формальды топтың коэффициенттері аяқталғанын дәлелдеу RQ жату R. Оң сипаттамада жұмыс істеген кезде оны әдетте ауыстырады R қарсыласуы бар аралас сипаттамалы сақинамен Rсақина сияқты W(R) of Витт-векторлар, және дейін азайтады R аяқ кезінде.

Ресми топтық заңның ресми топтық сақинасы

Формальды топтық заңның формальды сақинасы - бұл ұқсас Hopf алгебрасы топтық сақина топтың және әмбебап қаптайтын алгебра Lie алгебрасының, екеуі де Hopf алгебралары. Жалпы алғанда, Hopf алгебралары топтарға ұқсас келеді.

Қарапайымдылық үшін біз 1 өлшемді жағдайды сипаттаймыз; жоғары өлшемді жағдай ұқсас, тек белгілер тезірек болады.

Айталық F (1-өлшемді) формальды топтық заң R. Оның ресми топтық сақина (деп те аталады гипералгебра немесе оның ковариантты биальгебра) кокмутативті болып табылады Хопф алгебрасы H келесідей салынған.

  • Ретінде R-модуль, H 1 = негізімен еркін Д.(0), Д.(1), Д.(2), ...
  • Қосымша өнім Δ арқылы беріледіД.(n) = ∑Д.(мен) ⊗ Д.(nмен) (демек, бұл коалгебраның екілігі - формальды қуат қатарының сақинасы ғана).
  • Counit η коэффициентімен беріледі Д.(0).
  • Идентификация 1 = Д.(0).
  • Антипод S алады Д.(n) дейін (−1)nД.(n).
  • Коэффициенті Д.(1) өнімде Д.(i)Д.(j) коэффициенті болып табылады хменжj жылы F(хж).

Керісінше, жоғарыда коалгебра құрылымы берілген Хопф алгебрасы берілгенде, біз формальды топтық заңдылықты қалпына келтіре аламыз F одан. Сонымен, 1 өлшемді формальды топтық заңдар, негізінен, коалгебра құрылымы жоғарыда келтірілген Хопф алгебраларына ұқсас.

Функционал ретіндегі формальды топтық заңдар

Берілген n-өлшемді формальды топтық құқық F аяқталды R және ауыстырғыш R-алгебра S, біз топ құра аламыз F(S) оның негізгі жиынтығы Nn қайда N жиынтығы әлсіз элементтері S. Өнім пайдалану арқылы беріледі F элементтерін көбейту Nn; Мәселе мынада, барлық формулалық қатарлар енді жинақталады, өйткені олар нілпотентті элементтерге қолданылады, сондықтан нөлдік емес терминдердің тек ақырғы саны бар. F ішіне функция ауыстырғыштан R-алгебралар S топтарға.

Анықтамасын кеңейте аламыз F(S) кейбір топологиялық R-алгебралар. Атап айтқанда, егер S дискреттің кері шегі болып табылады R алгебралар, біз анықтай аламыз F(S) сәйкес топтардың кері шегі болуы керек. Мысалы, бұл бізге анықтауға мүмкіндік береді F(Зб) мәндерімен б-адикалық сандар.

Топтық функциясы F ресми топтық сақинаны қолдану арқылы да сипаттауға болады H туралы F. Қарапайымдылық үшін біз мұны қарастырамыз F 1 өлшемді; жалпы жағдай ұқсас. Кез-келген кокмпутативті Hopf алгебрасы үшін элемент ж аталады топқа ұқсас егер Δg = g ⊗ g және εg = 1 болса, және топқа ұқсас элементтер көбейту кезінде топ құрайды. Сақина үстіндегі формальды топтық заңның Хопф алгебрасы жағдайында элементтер сияқты топ дәл осы формада болады

Д.(0) + Д.(1)х + Д.(2)х2 + ...

үшін әлсіз элементтер х. Атап айтқанда, -дың топқа ұқсас элементтерін анықтай аламыз HS нілпотентті элементтерімен S, және-ге ұқсас элементтердегі топтық құрылым HS кейін топ құрылымымен сәйкестендіріледі F(S).

Биіктігі

Айталық f сипаттамалық өріске қатысты бір өлшемді формальды топтық заңдар арасындағы гомоморфизм б > 0. Содан кейін f немесе нөлге тең, немесе оның қуат қатарының кеңеюіндегі алғашқы нөлдік емес мүше теріс емес бүтін сан үшін сағ, деп аталады биіктігі гомоморфизм f. Нөлдік гомоморфизмнің биіктігі ∞ деп анықталады.

The биіктігі сипаттама саласы бойынша бір өлшемді формальды топтық заңдылық б > 0 оның биіктігі ретінде анықталады б-ға көбейту карта.

Сипаттаманың алгебралық жабық өрісіндегі екі бір өлшемді формальды топтық заңдар б > 0 изоморфты болып табылады, егер олар бірдей биіктікке ие болса, ал биіктігі кез-келген оң бүтін сан немесе be болуы мүмкін.

Мысалдар:

  • Қосымша формальды топтық заң F(хж) = х + ж оның height биіктігі бар бқуат картасы - 0.
  • Мультипликативті формальды топтық заң F(хж) = х + ж + xy ол сияқты 1 биіктігі бар бқуат картасы (1 +)х)б − 1 = хб.
  • Эллиптикалық қисықтың формальды топтық заңы қисықтың кәдімгі немесе екендігіне байланысты бір немесе екі биіктікке ие суперсингулярлық. Суперсулярлықты Эйзенштейн сериясының жоғалуымен анықтауға болады .

Лазард сақинасы

Әмбебап коммутативті сақинаның үстінен келесідей анықталған әмбебап коммутативті бір өлшемді формальды топтық заң бар. Біз рұқсат бердік

F(х, ж)

болуы

х + ж + Σcмен,j хменжj

анықталмаған үшін

cмен,j,

және біз әмбебап сақинаны анықтаймыз R элементтері тудыратын коммутативті сақина болу керек cмен,j, формальды топтық заңдар үшін ассоциативтілік пен коммутативтілік заңдары мәжбүрлейтін қатынастармен. Аз немесе көп анықтама бойынша сақина R келесі әмбебап қасиетке ие:

Кез-келген ауыстырғыш сақина үшін S, бір өлшемді формальды топтық заңдар аяқталды S бастап сақиналы гомоморфизмдерге сәйкес келеді R дейінS.

Коммутативті сақина R жоғарыда салынған ретінде белгілі Лазардтың әмбебап сақинасы. Бір қарағанда бұл өте күрделі сияқты: оның генераторлары арасындағы қарым-қатынас өте нашар. Алайда Лазард өзінің құрылымы өте қарапайым екенін дәлелдеді: бұл жай, 2, 4, 6, ... дәрежелі генераторлардағы полиномдық сақина (бүтін сандардың үстінде) cмен,j 2 дәрежесі бар (мен + j − 1)). Даниэль Куиллен коэффициентінің сақинасы дәлелдеді күрделі кобордизм Лазардтың әмбебап сақинасына деңгейлі сақина ретінде табиғи изоморфты болып табылады, бұл ерекше бағаны түсіндіреді.

Ресми топтар

A ресми топ Бұл топтық нысан санатында ресми схемалар.

  • Егер функциясы болып табылады Артин алгебралары дәл қалдырылған топтарға, содан кейін ол ұсынылады (G - формальды топтың функционалды функциясы. (функцияның сол жақ дәлдігі шектеулі проективті шектермен жүруге тең).
  • Егер Бұл топтық схема содан кейін , G-дің жеке сәйкестігі бойынша ресми аяқталуы, ресми топтың құрылымына ие.
  • Тегіс топтық схема изоморфты болып табылады . Кейбір адамдар формальды топтық схема деп атайды тегіс егер керісінше болса.
  • формальды тегістік деформациялардың көтерілуінің бар екендігін дәлелдейді және нүктелерден үлкен формальды схемаларға қолданыла алады. Тегіс формальды топтық схема - бұл формальды топтық схеманың ерекше жағдайы.
  • Тегіс формальды топты ескере отырып, формальды топтық заң мен өрістерді біртектес бөлімдер жиынын таңдау арқылы құруға болады.
  • Параметрлердің өзгеруімен туындаған формальды топтық заңдар арасындағы (қатаң емес) изоморфизмдер формальды топтағы координаталық өзгерістер тобының элементтерін құрайды.

Ресми топтар мен формальды топтық заңдарды ерікті түрде де анықтауға болады схемалар, тек коммутативті сақиналардан немесе өрістерден гөрі, және отбасыларды картадан параметрге келтіретін объектке дейін карталар бойынша жіктеуге болады.

Формальды топтық заңдардың модульдік кеңістігі - бұл компоненттері өлшем бойынша, ал нүктелері дәрежелік қатардың рұқсат етілген коэффициенттерімен параметрленген шексіз өлшемді аффиналық кеңістіктің біріктірілген бірлестігі. F. Сәйкес модульдер стегі тегіс формальды топтар - бұл координаталық өзгерістердің шексіз өлшемді группоидының канондық әрекеті арқылы осы кеңістіктің бөлігі.

Алгебралық жабық өрісте бір өлшемді формальды топтардың астары не нүкте (сипаттамалық нөлде), не биіктікті параметрлейтін қабаттас нүктелердің шексіз тізбегі болады. Сипаттық нөлде әр нүктенің жабылуы үлкен биіктіктің барлық нүктелерін қамтиды. Бұл айырмашылық формальды топтарға Стенрод алгебрасымен байланысы бар позитивті және аралас сипаттағы бай геометриялық теорияны береді, б- бөлінетін топтар, Диудонне теориясы және Галуа өкілдіктері. Мысалы, Серре-Тейт теоремасы топтық схеманың деформациялары оның формальды тобымен қатты бақыланады дегенді білдіреді, әсіресе суперсингулярлы абелия сорттары. Үшін суперсулярлық эллиптикалық қисықтар, бұл бақылау аяқталған, және бұл формальды топтың деформациясы жоқ сипаттамалық нөлден мүлдем өзгеше.

Кейде ресми топ а ретінде анықталады кокмутативті Хопф алгебрасы (әдетте кейбір қосымша шарттар қосылады, мысалы, бағыттау немесе қосу).[1] Бұл жоғарыдағы түсінікке азды-көпті қосарланған. Тегіс жағдайда координаттарды таңдау формальды топтық сақинаның айқын негізін қабылдауға тең.

Кейбір авторлар бұл терминді қолданады ресми топ деген мағынада ресми топтық құқық.

Любин-Тейт ресми топтық заңдары

Біз рұқсат бердік Зб сақинасы бол б- әдеттегі бүтін сандар. The Любин-Тейт ресми топтық заңы бірегей (1-өлшемді) формальды топтық заң F осындай e(х) = px + хб эндоморфизм болып табылады F, басқа сөздермен айтқанда

Жалпы, біз жол бере аламыз e кез келген қуат сериясы болуы керек e(х) = px + жоғары дәрежелі терминдер және e(х) = хб модб. Әр түрлі топтарға арналған барлық заңдар e осы шарттарды қанағаттандыру изоморфты.[2]

Әрбір элемент үшін а жылы Зб бірегей эндоморфизм бар f Любин-Тейт формальды топтық заңы f(х) = балта + жоғары дәрежелі шарттар. Бұл сақинаның әрекетін береді Зб Любин-Тейт ресми топтық заңы бойынша.

Ұқсас құрылыс бар Зб ақырлы кез келген толық дискретті бағалау сақинасымен ауыстырылды қалдық класы өрісі.[3]

Бұл құрылысты енгізген Любин және Тейт (1965), оқшаулау үшін табысты күш жергілікті өріс классикалық теориясының бөлігі күрделі көбейту туралы эллиптикалық функциялар. Бұл кейбір тәсілдердің негізгі ингредиенті жергілікті сынып далалық теориясы.[4]

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

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

  1. ^ Андервуд, Роберт Г. (2011). Хопф алгебраларына кіріспе. Берлин: Шпрингер-Верлаг. б. 121. ISBN  978-0-387-72765-3. Zbl  1234.16022.
  2. ^ Манин, Ю. I.; Панчишкин, А.А (2007). Қазіргі заманғы сан теориясына кіріспе. Математика ғылымдарының энциклопедиясы. 49 (Екінші басылым). б. 168. ISBN  978-3-540-20364-3. ISSN  0938-0396. Zbl  1079.11002.
  3. ^ Кох, Гельмут (1997). Алгебралық сандар теориясы. Энцикл. Математика. Ғылыми. 62 (1-ші басылымның 2-ші басылымы). Шпрингер-Верлаг. 62-63 бет. ISBN  3-540-63003-1. Zbl  0819.11044.
  4. ^ мысалы Серре, Жан-Пьер (1967). «Жергілікті сыныптық өріс теориясы». Жылы Кассельдер, Дж.; Фрохлих, Альбрехт (ред.). Алгебралық сандар теориясы. Академиялық баспасөз. 128–161 бет. Zbl  0153.07403.Хазевинкель, Мичиел (1975). «Жергілікті класс өрісінің теориясы оңай». Математикадағы жетістіктер. 18 (2): 148–181. дои:10.1016/0001-8708(75)90156-5. Zbl  0312.12022.Ивасава, Кенкичи (1986). Жергілікті класс өрісі теориясы. Оксфордтың математикалық монографиялары. Кларендон Пресс Оксфорд университетінің баспасы. ISBN  978-0-19-504030-2. МЫРЗА  0863740. Zbl  0604.12014.