Deformatsiya (matematika) - Deformation (mathematics)

Yilda matematika, deformatsiya nazariyasi o'rganishdir cheksiz sharoit echimning o'zgarishi bilan bog'liq P Muammoning biroz boshqacha echimlari P_ε, bu erda ε kichik son yoki kichik miqdorlar vektori. Shuning uchun cheksiz sharoitlar yondashuvni qo'llash natijasidir differentsial hisob bilan muammoni hal qilish cheklovlar. Shunga o'xshash tarzda, butunlay qattiq bo'lmagan va tashqi tomondan qo'llaniladigan kuchlarni moslash uchun biroz deformatsiyalanadigan struktura haqida o'ylash mumkin; bu ismni tushuntiradi.

Ba'zi xarakterli hodisalar quyidagilardir: $ p $ miqdorlarini ahamiyatsiz kvadratlarga ega deb hisoblash orqali birinchi darajali tenglamalarni chiqarish; imkoniyati ajratilgan eritmalar, turli xil echimlarni topish mumkin emas, yoki yangi hech narsa keltirmaydi; va cheksiz kichik cheklovlar haqiqatan ham "birlashadimi", shunda ularning echimi kichik o'zgarishlarni ta'minlaydi. Ushbu mulohazalar qaysidir bir shaklda matematikada asrlar tarixiga ega, ammo fizika va muhandislik. Masalan, raqamlar geometriyasi deb nomlangan natijalar sinfi izolyatsiya teoremalari ning topologik talqini bilan tan olindi ochiq orbit (a guruh harakati ) berilgan eritma atrofida. Perturbatsiya nazariyasi umuman deformatsiyalarga ham qaraydi operatorlar.

Murakkab manifoldlarning deformatsiyalari

Matematikadagi eng taniqli deformatsiya nazariyasi bu bo'lgan murakkab manifoldlar va algebraik navlar. Bu asosli ish tomonidan qat'iy asosga keltirildi Kunihiko Kodaira va Donald C. Spenser, deformatsiyaning texnikasi juda ko'p taxminiy qo'llanilgandan so'ng Italiyaning algebraik geometriya maktabi. Intuitiv ravishda birinchi darajadagi deformatsiya nazariyasi tenglamani kutishi mumkin Zariski teginish maydoni bilan moduli maydoni. Hodisalar, umuman olganda, juda nozik bo'lib chiqadi.

Bo'lgan holatda Riemann sirtlari, bo'yicha murakkab tuzilish ekanligini tushuntirish mumkin Riman shar izolyatsiya qilingan (moduli yo'q). 1-avlod uchun elliptik egri chiziq ko'rsatilgandek murakkab tuzilmalarning bir parametrli oilasiga ega elliptik funktsiya nazariya. Umumiy Kodaira-Spenser nazariyasi deformatsiya nazariyasining kaliti deb belgilaydi sheaf kohomologiyasi guruh

{ displaystyle H ^ {1} ( Theta) ,}

qaerda Θ (sheaf of mikroblar holomorfik) bo'limlari teginish to'plami. Ichida to'siq mavjud H² o'sha dastadan; o'lchovning umumiy sabablariga ko'ra egri bo'lsa har doim nolga teng. 0 jinsi holatida H¹ yo'qoladi, shuningdek. 1-jins uchun o'lchov Hodge raqami h^1,0 shuning uchun 1. Ma'lumki, bir jinsning barcha egri chiziqlari shakl tenglamalariga ega y² = x³ + bolta + b. Ular aniq ikkita parametrga, a va b ga bog'liq, ammo bunday egri chiziqlarning izomorfizm sinflari faqat bitta parametrga ega. Demak, izomorfik elliptik egri chiziqlarni tavsiflovchi a va b ga tegishli tenglama bo'lishi kerak. Buning egri chiziqlari chiqadi b²a⁻³ bir xil qiymatga ega, izomorfik egri chiziqlarni tavsiflang. Ya'ni. a va b o'zgarishi egri chiziq tuzilishini deformatsiyalash usullaridan biridir y² = x³ + bolta + b, lekin hamma farqlari emas a, b egri chiziqning izomorfizm sinfini aslida o'zgartiring.

Jinsning ishi bilan uzoqroq borish mumkin g > 1, yordamida Ikki tomonlama serre bilan bog'lash H¹ ga

{ displaystyle H ^ {0} ( Omega ^ {[2]})}

bu erda Ω holomorfikdir kotangens to'plami va Ω belgisi^[2] degan ma'noni anglatadi tensor kvadrat (emas ikkinchisi tashqi kuch ). Boshqacha qilib aytganda, deformatsiyalar holomorf bilan tartibga solinadi kvadratik differentsiallar Riemann yuzasida yana klassik narsa ma'lum. Modullar makonining o'lchami Teichmüller maydoni bu holda, 3 deb hisoblanadig - 3, tomonidan Riman-Rox teoremasi.

Ushbu misollar har qanday o'lchamdagi murakkab manifoldlarning holomorfik oilalariga taalluqli nazariyaning boshlanishi. Keyingi ishlanmalar quyidagilarni o'z ichiga oladi: Spencer tomonidan texnikani boshqa tuzilmalarga kengaytirish differentsial geometriya; Kodaira - Spenser nazariyasining mavhum algebraik geometriyasiga singishi Grothendieck, natijada avvalgi ishning mazmunli aniqlanishi bilan; va algebralar singari boshqa tuzilmalarning deformatsiya nazariyasi.

Deformatsiyalar va tekis xaritalar

Deformatsiyaning eng umumiy shakli bu tekis xarita ${ displaystyle f: X to S}$ kosmosdagi murakkab-analitik bo'shliqlar, sxemalar yoki mikroblar. Grothendieck^[1] deformatsiyalar uchun ushbu keng qamrovli umumlashtirishni birinchi bo'lib topdi va shu asosda nazariyani ishlab chiqdi. Umumiy fikr mavjud bo'lishi kerak a universal oila ${ displaystyle { mathfrak {X}} dan B} gacha$ har qanday deformatsiyani a sifatida topish mumkin noyob orqaga tortish maydoni

${ displaystyle { begin {matrix} X & to & { mathfrak {X}} downarrow && downarrow S & to & B end {matrix}}}$

Ko'p hollarda, bu universal oila yoki a Hilbert sxemasi yoki Kotirovka sxemasi yoki ulardan bittasi. Masalan, qurilishida Egri chiziqlar moduli, u Hilbert sxemasidagi silliq egri chiziqlar bo'lagi sifatida qurilgan. Agar orqaga tortish kvadrati noyob bo'lmasa, unda oila faqat versal.

Analitik algebralar mikroblarining deformatsiyalari

Deformatsiya nazariyasining foydali va osonlik bilan hisoblab chiqiladigan yo'nalishlaridan biri murakkab bo'shliqlar mikroblarining deformatsiya nazariyasidan kelib chiqadi, masalan. stein manifoldlari, murakkab manifoldlar, yoki murakkab analitik navlar.^[1] Ushbu nazariya bo'lishi mumkinligini unutmang globallashgan holomorf funktsiyalardagi mikroblar qatlamini, teginish bo'shliqlarini va boshqalarni hisobga olgan holda murakkab manifoldlarga va murakkab analitik bo'shliqlarga. Bunday algebralar shaklga ega

${ displaystyle A cong { frac { mathbb {C} {z_ {1}, ldots, z_ {n} }} {I}}}$

qayerda ${ displaystyle mathbb {C} {z_ {1}, ldots, z_ {n} }}$ konvergent quvvat seriyasining halqasi va ${ displaystyle I}$ idealdir. Masalan, ko'plab mualliflar algebra kabi singularlik funktsiyalarining mikroblarini o'rganadilar

${ displaystyle A cong { frac { mathbb {C} {z_ {1}, ldots, z_ {n} }} {(y ^ {2} -x ^ {n})}}}$

tekislik egri yakkalikni ifodalovchi. A analitik algebralarning mikroblari keyinchalik bunday algebralarning qarama-qarshi toifasidagi ob'ekt. Keyin, a deformatsiya analitik algebralar mikrobining ${ displaystyle X_ {0}}$ analitik algebralarning mikroblarining tekis xaritasi bilan berilgan ${ displaystyle f: X to S}$ qayerda ${ displaystyle S}$ taniqli fikrga ega ${ displaystyle 0}$ shunday ${ displaystyle X_ {0}}$ orqaga tortish maydoniga mos keladi

${ displaystyle { begin {matrix} X_ {0} & to & X downarrow && downarrow * & { xrightarrow [{0}] {}} & S end {matrix}}}$

Ushbu deformatsiyalar komutativ kvadratlar tomonidan berilgan ekvivalentlik munosabatlariga ega

${ displaystyle { begin {matrix} X '& to & X downarrow && downarrow S' & to & S end {matrix}}}$

gorizontal o'qlar izomorfizmlar bo'lgan joyda. Masalan, analitik algebralarning komutativ diagrammasining qarama-qarshi diagrammasi bilan berilgan tekislik egri chizig'ining deformatsiyasi mavjud.

${ displaystyle { begin {matrix} { frac { mathbb {C} {x, y }} {(y ^ {2} -x ^ {n})}} & leftarrow & { frac { mathbb {C} {x, y, s }} {(y ^ {2} -x ^ {n} + s)}} uparrow && uparrow mathbb {C} & leftarrow & mathbb {C} {s } end {matrix}}}$

Darhaqiqat, Milnor bunday deformatsiyalarni o'rgangan, bu erda o'ziga xoslik doimiy bilan deformatsiyalanadi, shuning uchun tolalar nolga teng emas ${ displaystyle s}$ deyiladi Milnor tolasi.

Deformatsiyalarning kohomologik talqini

Analitik funktsiyalarning bitta mikrobining ko'plab deformatsiyalari bo'lishi mumkinligi aniq bo'lishi kerak. Shu sababli, ushbu ma'lumotlarning barchasini tartibga solish uchun ba'zi bir kitoblarni saqlash moslamalari mavjud. Ushbu tashkiliy qurilmalar tangensli kohomologiya yordamida qurilgan.^[1] Bu yordamida hosil bo'ladi Koszul-Teyt rezolyutsiyasi va odatiy bo'lmagan algebralar uchun qo'shimcha generatorlar qo'shib uni potentsial ravishda o'zgartirish ${ displaystyle A}$ . Analitik algebralarga nisbatan bu rezolyutsiyalar Tjurina rezolyutsiyasi birinchi marta bunday ob'ektlarni o'rgangan matematik uchun, Galina Tyurina. Bu gradusli-komutativ differentsial darajali algebra ${ displaystyle (R _ { bullet}, s)}$ shu kabi ${ displaystyle R_ {0} dan A} gacha$ analitik algebralarning surjektiv xaritasi bo'lib, ushbu xarita aniq ketma-ketlikka mos keladi

${ displaystyle cdots xrightarrow {s} R _ {- 2} xrightarrow {s} R _ {- 1} xrightarrow {s} R_ {0} xrightarrow {p} A to 0}$

Keyin, hosilalarning differentsial darajali modulini olish orqali ${ displaystyle ({ text {Der}} (R _ { bullet}), d)}$ , uning kohomologiyasi tangensli kohomologiya analitik algebralar mikrobining ${ displaystyle A}$ . Ushbu kohomologik guruhlar belgilanadi ${ displaystyle T ^ {k} (A)}$ . The ${ displaystyle T ^ {1} (A)}$ ning barcha deformatsiyalari haqida ma'lumot mavjud ${ displaystyle A}$ va aniq ketma-ketlik yordamida osongina hisoblash mumkin

${ displaystyle 0 to T ^ {0} (A) to { text {Der}} (R_ {0}) xrightarrow {d} { text {Hom}} _ {R_ {0}} (I , A) to T ^ {1} (A) dan 0} gacha$

Agar ${ displaystyle A}$ algebra uchun izomorfdir

${ displaystyle { frac { mathbb {C} {z_ {1}, ldots, z_ {n} }} {(f_ {1}, ldots, f_ {m})}}}$

unda uning deformatsiyalari tengdir

${ displaystyle T ^ {1} (A) cong { frac {A ^ {m}} {df cdot A ^ {n}}}}$

edi ${ displaystyle df}$ ning yakobian matritsasi ${ displaystyle f = (f_ {1}, ldots, f_ {m}): mathbb {C} ^ {n} to mathbb {C} ^ {m}}$ . Masalan, tomonidan berilgan yuqori sirt deformatsiyalari ${ displaystyle f}$ deformatsiyalarga ega

${ displaystyle T ^ {1} (A) cong { frac {A ^ {n}} { chap ({ frac { qismli f} { qisman z_ {1}}}, ldots, { frac { kısmi f} { qismli z_ {n}}} o'ng)}}}$

Yagonalik uchun ${ displaystyle y ^ {2} -x ^ {3}}$ bu modul

${ displaystyle { frac {A ^ {2}} {(y, x ^ {2})}}}$

shuning uchun yagona deformatsiyalar konstantalar yoki chiziqli omillarni qo'shish orqali berilgan, shuning uchun ning umumiy deformatsiyasi ${ displaystyle f (x, y) = y ^ {2} -x ^ {3}}$ bu ${ displaystyle F (x, y, a_ {1}, a_ {2}) = y ^ {2} -x ^ {3} + a_ {1} + a_ {2} x}$ qaerda ${ displaystyle a_ {i}}$ deformatsiya parametrlari.

Funktsional tavsif

Deformatsiya nazariyasini rasmiylashtirishning yana bir usuli - toifadagi funktsiyalardan foydalanish ${ displaystyle { text {Art}} _ {k}}$ dalada joylashgan Artin algebralarining. A deformatsiyadan oldingi funktsiya funktsiya sifatida aniqlanadi

{ displaystyle F: { text {Art}} _ {k} to { text {Sets}}}

shu kabi ${ displaystyle F (k)}$ nuqta. Fikr shundaki, biz ba'zilarning cheksiz tuzilishini o'rganmoqchimiz moduli maydoni shu nuqta ustida yotish qiziqish maydoni bo'lgan nuqta atrofida. Odatda, modul muammosi uchun funktsiyani haqiqiy bo'shliqni topish o'rniga tasvirlash osonroq bo'ladi. Masalan, agar biz yuqori darajali sirtlarning moduli-makonini ko'rib chiqmoqchi bo'lsak ${ displaystyle d}$ yilda ${ displaystyle mathbb {P} ^ {n}}$ , keyin biz funktsiyani ko'rib chiqishimiz mumkin

{ displaystyle F: { text {Sch}} to { text {Sets}}}

qayerda

{ displaystyle F (S) = left {{ begin {matrix} X downarrow S end {matrix}}: { text {har bir tola daraja}} d { text {gipersurface ichida}} mathbb {P} ^ {n} o'ng }}

Umuman olganda, ning funktsiyalari bilan ishlash qulayroq / talab qilinadi guruhlar to'plamlar o'rniga. Bu egri chiziqli modullar uchun amal qiladi.

Infinitesimals haqida texnik izohlar

Cheksiz kichiklar matematiklar tomonidan hisoblashda qat'iy bo'lmagan argumentlar uchun uzoq vaqtdan beri qo'llanilgan. Fikr shuki, agar biz polinomlarni ko'rib chiqsak ${ displaystyle F (x, varepsilon)}$ cheksiz kichik bilan ${ displaystyle varepsilon}$ , keyin faqat birinchi buyurtma shartlari juda muhimdir; ya'ni biz ko'rib chiqishimiz mumkin

{ displaystyle F (x, varepsilon) equiv f (x) + varepsilon g (x) + O ( varepsilon ^ {2})}

Buning oddiy qo'llanilishi shundaki, ning hosilalarini topishimiz mumkin monomiallar cheksiz kichiklardan foydalanish:

{ displaystyle (x + varepsilon) ^ {3} = x ^ {3} + 3x ^ {2} varepsilon + O ( varepsilon ^ {2})}

The ${ displaystyle varepsilon}$ atama monomial lotinni o'z ichiga oladi va uni hisoblashda ishlatilishini namoyish etadi. Biz ushbu tenglamani monomialning Teylor kengayishining dastlabki ikkita sharti sifatida talqin qilishimiz mumkin. Mahalliy artin algebralaridagi nilpotent elementlardan foydalangan holda, cheksiz kichiklarni qat'iy qilish mumkin. Ringda ${ displaystyle k [y] / (y ^ {2})}$ cheksiz kichiklar bilan tortishuvlar samara berishi mumkinligini ko'ramiz. Bu yozuvni rag'batlantiradi ${ displaystyle k [ varepsilon] = k [y] / (y ^ {2})}$ deb nomlangan Ikki raqamli raqam.

Bundan tashqari, agar biz taylor yaqinlashuvining yuqori tartibli shartlarini ko'rib chiqmoqchi bo'lsak, unda artin algebralarini ko'rib chiqishimiz mumkin. ${ displaystyle k [y] / (y ^ {k})}$ . Bizning monomialimiz uchun, biz ikkinchi darajali kengayishni yozishni xohlaymiz, deylik

{ displaystyle (x + varepsilon) ^ {3} = x ^ {3} + 3x ^ {2} varepsilon + 3x varepsilon ^ {2} + varepsilon ^ {3}}

Eslatib o'tamiz, Teylor kengayishi (nolga teng) sifatida yozilishi mumkin

{ displaystyle f (x) = f (0) + { frac {f ^ {(1)} (x)} {1!}} + { frac {f ^ {(2)} (x)} {) 2!}} + { Frac {f ^ {(3)} (x)} {3!}} + Cdots}

shuning uchun avvalgi ikkita tenglama shuni ko'rsatadiki, ning ikkinchi hosilasi ${ displaystyle x ^ {3}}$ bu ${ displaystyle 6x}$ .

Umuman olganda, biz istalgan o'zgaruvchilar sonidagi Teylor kengayishlarini o'zboshimchalik tartibida ko'rib chiqishni istaganimiz sababli, biz maydon bo'yicha barcha mahalliy artin algebralarining toifasini ko'rib chiqamiz.

Motivatsiya

Deformatsiyadan oldingi funktsiyaning ta'rifini rag'batlantirish uchun maydon ustidagi proektsion yuqori sirtni ko'rib chiqing

{ displaystyle { begin {matrix} operatorname {Proj} left ({ dfrac { mathbb {C} [x_ {0}, x_ {1}, x_ {2}, x_ {3}]} {( x_ {0} ^ {4} + x_ {1} ^ {4} + x_ {2} ^ {4} + x_ {3} ^ {4})}} right) downarrow operatorname { Spec} (k) end {matrix}}}

Agar biz ushbu bo'shliqning cheksiz kichik deformatsiyasini ko'rib chiqmoqchi bo'lsak, dekartian kvadratini yozishimiz mumkin

{ displaystyle { begin {matrix} operatorname {Proj} left ({ dfrac { mathbb {C} [x_ {0}, x_ {1}, x_ {2}, x_ {3}]} {( x_ {0} ^ {4} + x_ {1} ^ {4} + x_ {2} ^ {4} + x_ {3} ^ {4})}} right) & to & operator nomi {Proj} chap ({ dfrac { mathbb {C} [x_ {0}, x_ {1}, x_ {2}, x_ {3}] [ varepsilon]} {(x_ {0} ^ {4} + x_ {1} ^ {4} + x_ {2} ^ {4} + x_ {3} ^ {4} + varepsilon x_ {0} ^ {a_ {0}} x_ {1} ^ {a_ {1}} x_ {2} ^ {a_ {2}} x_ {3} ^ {a_ {3}})}} right) downarrow && downarrow operator nomi {Spec} (k) & to & operator nomi {Spec} (k [ varepsilon]) end {matrix}}}

qayerda ${ displaystyle a_ {0} + a_ {1} + a_ {2} + a_ {3} = 4}$ . Keyinchalik, o'ng burchakdagi bo'shliq cheksiz deformatsiyaning bir misoli: qo'shimcha sxemasi nilpotent elementlarning nazariy tuzilishi ${ displaystyle operatorname {Spec} (k [ varepsilon])}$ (bu topologik nuqta) bu cheksiz ma'lumotni tartibga solish imkonini beradi. Mumkin bo'lgan barcha kengayishlarni ko'rib chiqishni istaganimiz sababli, predeformatsiya funktsiyamizni ob'ektlarda quyidagicha belgilashga ruxsat beramiz

{ displaystyle F (A) = left {{ begin {matrix} operatorname {Proj} left ({ dfrac { mathbb {C} [x_ {0}, x_ {1}, x_ {2} , x_ {3}]} {(x_ {0} ^ {4} + x_ {1} ^ {4} + x_ {2} ^ {4} + x_ {3} ^ {4})}} o'ng) & to & { mathfrak {X}} downarrow && downarrow operator nomi {Spec} (k) & to & operatorname {Spec} (A) end {matrix}} right } }

qayerda ${ displaystyle A}$ mahalliy Artin ${ displaystyle k}$ -algebra.

Deformatsiyadan oldingi silliq funktsiyalar

Deformatsiyadan oldingi funktsiya chaqiriladi silliq agar biron bir to'siq bo'lsa ${ displaystyle A ' dan A} gacha$ yadrodagi har qanday elementning kvadrati nolga teng bo'lganligi sababli, u erda qarshi chiqish mavjud

{ displaystyle F (A ') to F (A)}

Bunga quyidagi savol turtki beradi: deformatsiya berilgan

{ displaystyle { begin {matrix} X & to & { mathfrak {X}} downarrow && downarrow operatorname {Spec} (k) & to & operatorname {Spec} (A) oxiri {matritsa}}}

bu kartezyen diagrammasining kartezyen diagrammalariga kengaytmasi mavjudmi?

{ displaystyle { begin {matrix} X & to & { mathfrak {X}} & to & { mathfrak {X}} ' downarrow && downarrow && downarrow operatorname {Spec} ( k) & to & operatorname {Spec} (A) & to & operatorname {Spec} (A ') end {matrix}}}

silliq nomi sxemalarning silliq morfizmini ko'tarish mezonidan kelib chiqadi.

Tangens bo'sh joy

Eslatib o'tamiz, sxemaning teginish maydoni ${ displaystyle X}$ deb ta'riflash mumkin ${ displaystyle operatorname {Hom}}$ - sozlash

{ displaystyle TX: = operatorname {Hom} _ {{ text {Sch}} / k} ( operatorname {Spec} (k [ varepsilon]), X)}

bu erda manba halqa juft raqamlar. Biz ba'zi bir modullar fazosining teginish fazosini ko'rib chiqayotganimiz uchun (oldingi) - deformatsiya funktsiyamizning teginish maydonini quyidagicha aniqlashimiz mumkin:

{ displaystyle T_ {F}: = F (k [ varepsilon])}

Deformatsiya nazariyasining qo'llanilishi

Egri chiziqlar modullarining o'lchami

Ning birinchi xususiyatlaridan biri algebraik egri chiziqlarning modullari ${ displaystyle { mathcal {M}} _ {g}}$ elementar deformatsiya nazariyasi yordamida chiqarilishi mumkin. Uning o'lchamini quyidagicha hisoblash mumkin

${ displaystyle dim ({ mathcal {M}} _ {g}) = dim H ^ {1} (C, T_ {C})}$

jinsning o'zboshimchalik bilan tekis egri chizig'i uchun ${ displaystyle g}$ chunki deformatsiya maydoni bu modullar makonining teginish fazosi. Foydalanish Ikki tomonlama serre tangens bo'shliq izomorfdir

${ displaystyle { begin {aligned} H ^ {1} (C, T_ {C}) & cong H ^ {0} (C, T_ {C} ^ {*} otimes omega _ {C}) ^ { vee} & cong H ^ {0} (C, omega _ {C} ^ { otimes 2}) ^ { vee} end {aligned}}}$

Shuning uchun Riman-Rox teoremasi beradi

${ displaystyle { begin {aligned} h ^ {0} (C, omega _ {C} ^ { otimes 2}) - h ^ {1} (C, omega _ {C} ^ { otimes 2 }) & = 2 (2g-2) -g + 1 & = 3g-3 end {hizalanmış}}}$

Jins egri chiziqlari uchun ${ displaystyle g geq 2}$ The ${ displaystyle h ^ {1} (C, omega _ {C} ^ { otimes 2}) = 0}$ chunki

${ displaystyle h ^ {1} (C, omega _ {C} ^ { otimes 2}) = h ^ {0} (C, ( omega _ {C} ^ { otimes 2}) ^ { vee} otimes omega _ {C})}$

daraja

${ displaystyle { begin {aligned} { text {deg}} (( omega _ {C} ^ { otimes 2}) ^ { vee} otimes omega _ {C}) & = 4-4g + 2g-2 & = 2-2g end {hizalangan}}}$

va ${ displaystyle h ^ {0} (L) = 0}$ salbiy darajadagi chiziqli to'plamlar uchun. Shuning uchun modullar makonining o'lchami ${ displaystyle 3g-3}$ .

Bend-break

Deformatsiya nazariyasi mashhur bo'lgan birlamchi geometriya tomonidan Shigefumi Mori mavjudligini o'rganish ratsional egri chiziqlar kuni navlari.^[2] Uchun Fano xilma-xilligi Mori ijobiy o'lchovning har bir nuqtadan oqilona egri chiziq borligini ko'rsatdi. Keyinchalik isbotlash usuli sifatida tanilgan Morining egilishi va buzilishi. Taxminan g'oyani ba'zi bir egri chiziqlardan boshlash kerak C tanlangan nuqta orqali va uni bir nechta bo'lguncha deformatsiyalashda davom eting komponentlar. O'zgartirish C tarkibiy qismlardan biri tomonidan kamayishning ta'siri bor tur yoki daraja ning C. Shunday qilib, protsedurani bir necha marta takrorlashdan so'ng, oxir-oqibat biz 0 turidagi egri chiziqni olamiz, ya'ni ratsional egri chiziq. Ning deformatsiyalari mavjudligi va xususiyatlari C deformatsiya nazariyasidan argumentlarni talab qiladi va ga kamayadi ijobiy xususiyat.

Arifmetik deformatsiyalar

Deformatsiya nazariyasining asosiy qo'llanmalaridan biri bu arifmetikada. U quyidagi savolga javob berish uchun ishlatilishi mumkin: agar bizda turli xil bo'lsa ${ displaystyle X / mathbb {F} _ {p}}$ , qanday kengaytmalar mumkin ${ displaystyle { mathfrak {X}} / mathbb {Z} _ {p}}$ ? Agar bizning xilma-xilligimiz egri bo'lsa, u holda yo'qoladi ${ displaystyle H ^ {2}}$ shuni anglatadiki, har qanday deformatsiya turli xillikni keltirib chiqaradi ${ displaystyle mathbb {Z} _ {p}}$ ; ya'ni bizda egri chiziq silliq bo'lsa

{ displaystyle { begin {matrix} X downarrow operatorname {Spec} ( mathbb {F} _ {p}) end {matrix}}}

va deformatsiya

{ displaystyle { begin {matrix} X & to & { mathfrak {X}} _ {2} downarrow && downarrow operatorname {Spec} ( mathbb {F} _ {p}) & to & operator nomi {Spec} ( mathbb {Z} / (p ^ {2})) end {matrix}}}

unda biz uni har doim shaklning diagrammasiga uzaytira olamiz

{ displaystyle { begin {matrix} X & to & { mathfrak {X}} _ {2} & to & { mathfrak {X}} _ {3} & to cdots downarrow && downarrow && downarrow & operatorname {Spec} ( mathbb {F} _ {p}) & to & operatorname {Spec} ( mathbb {Z} / (p ^ {2})) & to & operatorname {Spec} ( mathbb {Z} / (p ^ {3})) & to cdots end {matrix}}}

Bu shuni anglatadiki, biz rasmiy sxema ${ displaystyle { mathfrak {X}} = operatorname {Spet} ({ mathfrak {X}} _ { bullet})}$ egri chiziqni berish ${ displaystyle mathbb {Z} _ {p}}$ .

Abeliya sxemalarining deformatsiyalari

The Serre-Teyt teoremasi ning deformatsiyalari, taxminan aytganda abeliya sxemasi A ning deformatsiyalari bilan boshqariladi p- bo'linadigan guruh ${ displaystyle A [p ^ { infty}]}$ undan iborat p- kuchli burish nuqtalari.

Galois deformatsiyalari

Deformatsiya nazariyasining yana bir qo'llanilishi Galua deformatsiyalari bilan bog'liq. Bu savolga javob berishga imkon beradi: Agar bizda Galois vakili bo'lsa

{ displaystyle G to operatorname {GL} _ {n} ( mathbb {F} _ {p})}

uni qanday qilib vakolatxonaga etkazishimiz mumkin

{ displaystyle G to operator nomi {GL} _ {n} ( mathbb {Z} _ {p}) { text {?}}}

Ip nazariyasi bilan aloqasi

Deb nomlangan Deligne gumoni algebra kontekstida paydo bo'lgan (va Hochschild kohomologiyasi ga nisbatan deformatsiya nazariyasiga katta qiziqish uyg'otdi torlar nazariyasi (taxminan, simlar nazariyasini nuqta-zarralar nazariyasining deformatsiyasi deb hisoblash mumkin degan fikrni rasmiylashtirish uchun). Bu endi erta e'lonlar bilan bir nechta xitlardan keyin tasdiqlanganidek qabul qilinadi. Maksim Kontsevich buning umumiy qabul qilingan dalillarini taklif qilganlar orasida.

Shuningdek qarang

Izohlar

^ ^a ^b ^v Palamodov (1990). "Kompleks bo'shliqlarning deformatsiyalari". Bir nechta murakkab o'zgaruvchilar IV. Matematika fanlari entsiklopediyasi. 10. 105-194 betlar. doi:10.1007/978-3-642-61263-3_3. ISBN 978-3-642-64766-6.
^ Debarre, Olivye (2001). "3. Bend-and-break Lemmas". Yuqori o'lchovli algebraik geometriya. Universitext. Springer.

Manbalar

"deformatsiya", Matematika entsiklopediyasi, EMS Press, 2001 [1994]
Gerstenxaber, Merrey va Stasheff, Jeyms, eds. (1992). Matematik fizikaga tatbiq etiladigan deformatsiyalar nazariyasi va kvant guruhlari, Amerika matematik jamiyati (Google eBook) ISBN 0821851411

Pedagogik

Palamodov, V. P., III. Murakkab bo'shliqlarning deformatsiyalari. Kompleks o'zgaruvchilar IV (juda yerga kirishgacha)
Deformatsiya nazariyasi bo'yicha darslik (Artin)
Sxemalar deformatsiyalari nazariyasini o'rganish
Sernesi, Eduardo, Algebraik sxemalarning deformatsiyalari
Xartshorn, Robin, Deformatsiya nazariyasi
Xartshornning deformatsiya nazariyasi kursidan eslatmalar
MSRI - deformatsiyalar nazariyasi va algebraik geometriyadagi modullar

So'rov maqolalari

Mazur, Barri (2004), "Uyqusizliklar, deformatsiyalar va o'zgarishlar (va geometriya, fizika va sonlar nazariyasidagi" yaqin misslar "") (PDF), Amerika Matematik Jamiyati Axborotnomasi, 41 (3): 307–336, doi:10.1090 / S0273-0979-04-01024-9, JANOB 2058289
Anel, M., Nima uchun deformatsiyalar kohomologik hisoblanadi (PDF)

Tashqi havolalar

"Deformatsiya nazariyasining bir ko'rinishi" (PDF)., Brayan Osserman tomonidan ma'ruza yozuvlari

[:0-1] v Palamodov (1990). "Kompleks bo'shliqlarning deformatsiyalari". Bir nechta murakkab o'zgaruvchilar IV. Matematika fanlari entsiklopediyasi. 10. 105-194 betlar. doi:10.1007/978-3-642-61263-3_3. ISBN 978-3-642-64766-6.

[2] Debarre, Olivye (2001). "3. Bend-and-break Lemmas". Yuqori o'lchovli algebraik geometriya. Universitext. Springer.

[1]

[2]