Стэнли-Рейснер сақинасы - Stanley–Reisner ring - Wikipedia

Математикада а Стэнли-Рейснер сақинасы, немесе жүзік, а-ның мәні көпмүшелік алгебра астам өріс шаршысыз мономиялық идеалды. Мұндай идеалдар геометриялық тұрғыдан шектеулі түрде сипатталады қарапайым кешендер. Стэнли-Рейснер сақинасының құрылысы - бұл негізгі құрал алгебралық комбинаторика және комбинаторлық коммутативті алгебра.[1] Оның қасиеттері зерттелді Ричард Стэнли, Мелвин Хохстер, және Джеральд Рейснер 1970 жылдардың басында.

Анықтамасы және қасиеттері

Берілген абстрактілі қарапайым Δ төбелік жиында {х1,...,хn} және өріс к, сәйкес Стэнли-Рейснер сақинасы, немесе жүзік, деп белгіленді к[Δ], көпмүшелік сақинадан алынады к[х1,...,хn] идеалға сілтеме жасау арқылы МенΔ Δ-нің беттеріне сәйкес келмейтін квадратсыз мономиалдар тудырады:

Идеал МенΔ деп аталады Стэнли-Рейснер идеалы немесе идеалды тұлға of.[2]

Қасиеттері

  • Стэнли-Рейснер сақинасы к[Δ] арқылы мульградталған Зn, мұндағы айнымалының дәрежесі хмен болып табылады менстандартты вектор eмен туралыЗn.
  • Векторлық кеңістік ретінде к, Stan-нің Стэнли-Рейснер сақинасы тікелей қосындылардың ыдырауын қабылдайды
оның шақырулары к[Δ]σ беттерінде бекітілген мономиальды (міндетті түрде квадратсыз) негізге ие σ of.
  • The Крул өлшемі туралы к[Δ] - қарапайым lic комплексінің өлшемінен үлкен.
  • Көп қабатты, немесе жақсы, Гильберт сериясы туралы к[Δ] формула бойынша берілген
  • Қарапайым, немесе өрескел, Хилберт сериясы к[Δ] әр айнымалының дәрежесін орнату арқылы оның көп деңгейлі Гильберт қатарынан алынады хмен 1-ге тең:
қайда г. = dim (Δ) + 1 - бұл Krull өлшемі к[Δ] және fмен саны мен- f беттері. Егер ол формада жазылған болса
содан кейін коэффициенттер (сағ0, ..., сағг.) нумераторы сағ- жеңілдетілген кешеннің векторы.

Мысалдар

Әр шың {хмен} - бұл Δ симплексі. Сонымен, айнымалылардың ешқайсысы Стэнли-Рейснер идеалына жатпайдыМенΔ.

  • Δ - бұл қарапайым {х1,...,хn}. Содан кейін МенΔ нөлдік идеал және
- көпмүшелік алгебра n айнымалылар аяқталдык.
  • Қарапайым комплекс Δ тұрады n оқшауланған шыңдар {х1}, ..., {хn}. Содан кейін
және Стэнли-Рейснер сақинасы - бұл көпмүшелік сақинаның келесі қысқартылуы n айнымалылар аяқталды к:
  • Алдыңғы екі мысалды қорыта келе, Δ болады г.-симплекс қаңқасы {х1,...,хn}, осылайша ол барлығынан тұрады (г. + 1) - элементтің ішкі жиындарых1,...,хn}. Содан кейін Стэнли-Рейснер сақинасы көпмүшелік сақинаның қысқартылуынан кейін n айнымалылар аяқталды к:
  • Айталық, абстрактілі қарапайым комплекс Δ - абстрактілі қарапайым комплекстердің қарапайым қосылысы Δ қосулы х1,...,хм және Δ′′ қосулы хм+1,...,хn. Сонда Δ-нің Стэнли-Рейснер сақинасы болып табылады тензор өнімі аяқталды к Stan-нің Стэнли-Рейснер сақиналары және Δ′′:

Коэн-Маколей жағдайы және жоғарғы шекарасы

Бет сақинасы к[Δ] - бұл көп өлшемді алгебра к барлық компоненттерінің өлшемдері ең жоғары деңгейге ие. Демек, оның гомологиясын комбинаторлық және геометриялық әдістермен зерттеуге болады. Абстрактілі қарапайым оқулық кешені Δ деп аталады Коэн-Маколей аяқталды к егер оның сақинасы а Коэн-Маколей сақинасы.[3] Джеральд Рейснер өзінің 1974 жылғы тезисінде осындай кешендерге толық сипаттама берді. Көп ұзамай Мельвин Хохстердің арқасында жүзіктерге қатысты гомологиялық нәтижелер дәлірек болды. Содан кейін Ричард Стэнли дәлелдеудің жолын тапты Жоғарғы шек үшін қарапайым сфералар, ол сол кезде ашық болған, бет сақинасының құрылысы мен Рейснердің Коэн-Маколей критерийін қолданған. Стэнлидің қиын болжамдарды аудару идеясы алгебралық комбинаторика -дан мәлімдемелерге ауыстырмалы алгебра арқылы дәлелдеу гомологиялық техникасы қарқынды дамып келе жатқан өрістің бастауы болды комбинаторлық коммутативті алгебра.

Рейснер критерийі

Қарапайым кешен Δ - Коэн-Маколей аяқталды к егер және барлық қарапайым болса ғана σ All Δ, барлығы төмендетілді қарапайым гомология сілтемесінің топтары σ in коэффициенттерімен Δ к нөлдік мәні, жоғарғы өлшемді қоспағанда:[3]

Мункреске байланысты нәтиже Кохен-Маколейдің Δ аяқталғанын көрсетеді к топологиялық қасиет: ол тек тәуелді гомеоморфизм қарапайым комплекс class сыныбы. Атап айтқанда, рұқсат етіңіз | Δ | болуы геометриялық іске асыру of. Сонда Рейснер критерийіндегі қарапайым гомология топтарының жойылуы төмендеген және салыстырмалы туралы келесі тұжырымға баламалы. сингулярлы гомология | groups топтары:

Атап айтқанда, егер Δ кешені а қарапайым сфера, яғни | Δ | а-ге дейін гомоморфты болып табылады сфера, бұл кез-келген өрісте Коэн-Маколей. Бұл Стенлидің Жоғарғы шекара болжамын дәлелдеуге арналған маңызды қадам. Керісінше, Кохен-Маколей өрістің сипаттамасына байланысты болатын қарапайым кешендердің мысалдары барк.

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

  1. ^ Miller & Sturmfels (2005) 19 б
  2. ^ Miller & Sturmfels (2005) 3-5 бб
  3. ^ а б Miller & Sturmfels (2005) б. 101
  • Мелвин Хохстер, Коэн-Маколей сақиналары, комбинаторика және қарапайым кешендер. Сақина теориясы, II (Прок. Екінші конф., Унив. Оклахома, Норман, Окла., 1975), 171–223 бб. Дәріс конспектілері таза және қарапайым. Математика, т. 26, Деккер, Нью-Йорк, 1977 ж
  • Стэнли, Ричард (1996). Комбинаторика және коммутативті алгебра. Математикадағы прогресс. 41 (Екінші басылым). Бостон, MA: Биркхаузер Бостон. ISBN  0-8176-3836-9. Zbl  0838.13008.
  • Брунс, Уинфрид; Герцог, Юрген (1993). Коэн-Маколей сақиналары. Жетілдірілген математикадан Кембридждік зерттеулер. 39. Кембридж университетінің баспасы. ISBN  0-521-41068-1. Zbl  0788.13005.
  • Миллер, Эзра; Штурмфельс, Бернд (2005). Комбинаторлық коммутативті алгебра. Математика бойынша магистратура мәтіндері. 227. Нью-Йорк, Нью-Йорк: Шпрингер-Верлаг. ISBN  0-387-23707-0. Zbl  1090.13001.

Әрі қарай оқу

  • Панов, Тарас Е. (2008). «Бет сақиналарының когомологиясы және торс әрекеттері». Янгта, Николай; Чой, Йемон (ред.). Қазіргі заманғы математикадан сауалнамалар. Лондон математикалық қоғамы Дәрістер сериясы. 347. Кембридж университетінің баспасы. 165–201 бб. ISBN  978-0-521-70564-6. Zbl  1140.13018.

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