WikiDer > Модули схемасы - Википедия

Moduli scheme - Wikipedia

Жылы математика, а модульдер схемасы Бұл кеңістік бар схемалар санаты әзірлеген Александр Гротендик. Кейбір маңызды модуль проблемалары туралы алгебралық геометрия көмегімен қанағаттанарлықтай шешілуі мүмкін схема теориясы жалғыз, ал басқалары «геометриялық объект» тұжырымдамасын кеңейтуді қажет етеді (алгебралық кеңістіктер, алгебралық стектер туралы Майкл Артин).

Тарих

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

Нәтижесінде а өрескел модульдер схемасы. Оның нақтыланбағандығы, бұл, шамасы, объектілердің отбасыларына ұсақ модульдер схемасына тән кепілдік бермейді. Мумфорд өзінің кітабында көрсеткендей Геометриялық инвариантты теория, жақсы нұсқасын алғысы келетін шығар, бірақ техникалық мәселе бар (деңгей құрылымы және басқа 'белгілер'), олар осындай жауап алу мүмкіндігі бар сұрақ алу үшін жіберілуі керек.

Терухиса Мацусака нәтижесін дәлелдеді, қазір белгілі болды Мацусаканың үлкен теоремасы, a бойынша қажетті шартты белгілеу модуль мәселесі өрескел модульдер схемасының болуы үшін.[1]

Мысалдар

Мумфорд егер дәлелдеді ж > 1, тегіс қисық сызықтардың дөрекі модулі схемасы бар ж, қайсысы квазипроективті.[2] Жақында жүргізілген сауалнамаға сәйкес Янос Коллар, ол «математиканың және теориялық физиканың көптеген салаларындағы маңызды және қызықты ішкі геометрияға ие».[3] Браунгардт сұрақ қояды Белый теоремасы жоғары өлшемді сорттарға жалпылауға болады алгебралық сандардың өрісі, олар тұжырымдамамен, әдетте, ақырлыға дейін біраталды ертегі жабыны қисық кеңістігінің модулі.[4]

Ұғымын қолдану тұрақты векторлық байлам, кез-келген тегіс бойынша векторлық шоғырларға арналған өрескел модульдер схемалары күрделі әртүрлілік бар екендігі және квазипроективті екендігі көрсетілген: тұжырымдамада жартылай қабілеттілік.[5] Арнайы модуль кеңістігін анықтауға болады instanton пучкалары, математикалық физикада, конустың классикалық геометриясындағы объектілермен, белгілі бір жағдайларда.[6]

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

  • «Модули теориясы», Математика энциклопедиясы, EMS Press, 2001 [1994]

Ескертулер