Algebraik geometriya va analitik geometriya - Algebraic geometry and analytic geometry

Yilda matematika, algebraik geometriya va analitik geometriya bir-biri bilan chambarchas bog'liq ikkita sub'ektdir. Esa algebraik geometriya tadqiqotlar algebraik navlar, analitik geometriya bilan shug'ullanadi murakkab manifoldlar va umumiyroq analitik bo'shliqlar yo'qolishi bilan mahalliy ravishda belgilanadi analitik funktsiyalar ning bir nechta murakkab o'zgaruvchilar. Ushbu mavzular o'rtasidagi chuqur munosabat ko'plab qo'llanmalarga ega bo'lib, unda algebraik metodlar analitik bo'shliqlarga va analitik texnikalar algebraik navlarga qo'llaniladi.

Asosiy bayonot

Ruxsat bering X loyihaviy kompleks bo'lishi algebraik xilma. Chunki X murakkab nav, uning murakkab nuqtalari to'plami X(C) ixcham tuzilishi berilishi mumkin murakkab analitik makon. Ushbu analitik bo'shliq belgilanadi X^an. Xuddi shunday, agar ${ displaystyle { mathcal {F}}}$ bir dasta X, keyin tegishli pog'ona bor ${ displaystyle { mathcal {F}} ^ { text {an}}}$ kuni X^an. Analitik ob'ektni algebraik bilan bog'lash funktsiyasi. Bunga tegishli prototipik teorema X va X^an har qanday ikkitasi uchun buni aytadi izchil qistiriqlar ${ displaystyle { mathcal {F}}}$ va ${ displaystyle { mathcal {G}}}$ kuni X, tabiiy homomorfizm:

{ displaystyle { text {Hom}} _ {{ mathcal {O}} _ {X}} ({ mathcal {F}}, { mathcal {G}}) rightarrow { text {Hom}} _ {{ mathcal {O}} _ {X} ^ { text {an}}} ({ mathcal {F}} ^ { text {an}}, { mathcal {G}} ^ { text {an}})}

izomorfizmdir. Bu yerda ${ displaystyle { mathcal {O}} _ {X}}$ bo'ladi tuzilish pog'onasi algebraik xilma X va ${ displaystyle { mathcal {O}} _ {X} ^ { text {an}}}$ analitik navning tuzilish qatlami hisoblanadi X^an. Boshqacha qilib aytganda, algebraik xilma bo'yicha izchil qirralarning toifasi X analitik xilma bo'yicha analitik kogerent qatlamlar toifasiga tengdir X^an, va ekvivalentlik xaritalash orqali ob'ektlarda berilgan ${ displaystyle { mathcal {F}}}$ ga ${ displaystyle { mathcal {F}} ^ { text {an}}}$ . (Xususan, bunga e'tibor bering ${ displaystyle { mathcal {O}} _ {X} ^ { text {an}}}$ o'zi izchil, natija sifatida tanilgan Oka muvofiqligi teoremasi.)

Yana bir muhim bayonot quyidagicha: Har qanday izchil to'plam uchun ${ displaystyle { mathcal {F}}}$ algebraik xilma bo'yicha X homomorfizmlar

{ displaystyle varepsilon _ {q} : H ^ {q} (X, { mathcal {F}}) rightarrow H ^ {q} (X ^ {an}, { mathcal {F}} ^ {an})}

hamma uchun izomorfizmdir q 's. Bu degani q- kohomologiya guruhi X kohomologiya guruhiga izomorf hisoblanadi X^an.

Teorema yuqorida aytib o'tilganlarga qaraganda ancha ko'proq qo'llaniladi (qarang rasmiy bayonot quyida). Bu va uning isboti kabi ko'plab oqibatlarga olib keladi Chou teoremasi, Lefschetz printsipi va Kodaira yo'qolib borayotgan teorema.

Fon

Algebraik navlar mahalliy miqyosda umumiy nol polinomlar to'plami sifatida aniqlanadi, chunki kompleks sonlar ustidagi polinomlar holomorfik funktsiyalar, algebraik navlar tugadi C analitik bo'shliqlar sifatida talqin qilinishi mumkin. Xuddi shunday, navlar orasidagi muntazam morfizmlar analitik bo'shliqlar orasidagi holomorfik xaritalash sifatida talqin etiladi. Ajablanarlisi shundaki, ko'pincha boshqa yo'l bilan borish, analitik ob'ektlarni algebraik usulda talqin qilish mumkin.

Masalan, analitik funktsiyalarini dan isbotlash oson Riman shar o'zi uchun - bu oqilona funktsiyalar yoki bir xil cheksiz funktsiya (kengaytmasi Liovil teoremasi ). Agar bunday funktsiya bo'lsa f doimiy bo'lmagan, keyin to'plamidan beri z qayerda f (z) cheksizligi ajratilgan va Riman sferasi ixcham, ularning soni juda ko'p z bilan f (z) cheksizlikka teng. Ni ko'rib chiqing Loran kengayishi umuman bunday z va birlik sonini chiqarib tashlang: bizda Riman sharida funktsiyalari qolgan C, Liovil teoremasi bo'yicha doimiy. Shunday qilib f ratsional funktsiya. Bu haqiqat orasida muhim farq yo'qligini ko'rsatadi murakkab proektsion chiziq algebraik xilma sifatida yoki Riman shar.

Muhim natijalar

O'n to'qqizinchi asrdan boshlab algebraik geometriya va analitik geometriya o'rtasida taqqoslash natijalarining uzoq tarixi bor. Ba'zi muhim yutuqlar xronologik tartibda keltirilgan.

Rimanning mavjudlik teoremasi

Riemann yuzasi nazariya shuni ko'rsatadiki, a ixcham Riemann yuzasi etarli meromorfik funktsiyalar ustiga, uni an qilish algebraik egri chiziq. Ism ostida Rimanning mavjudlik teoremasi ixcham Riemann sirtining kengaygan qoplamalarida chuqurroq natija ma'lum bo'lgan: shunday cheklangan kabi qoplamalar topologik bo'shliqlar tomonidan tasniflanadi almashtirish imkoniyatlari ning asosiy guruh ning to‘ldiruvchisi tarqalish nuqtalari. Riemann sirt xususiyati mahalliy bo'lganligi sababli, bunday qoplamalar murakkab-analitik ma'noda qoplamalar sifatida juda oson ko'rinadi. Keyinchalik, ular algebraik egri xaritalarini qoplashdan kelib chiqadi degan xulosaga kelish mumkin, ya'ni bunday qoplamalar barchasi kelib chiqadi cheklangan kengaytmalar ning funktsiya maydoni.

Lefschetz printsipi

Yigirmanchi asrda Lefschetz printsipiuchun nomlangan Sulaymon Lefshetz, algebraik geometriyada algebraik geometriya uchun topologik metodlardan foydalanishni asoslash uchun keltirilgan algebraik yopiq maydon K ning xarakterli 0, davolash orqali K go'yo bu murakkab sonli maydon edi. Uning boshlang'ich shakli dalalar haqidagi birinchi darajali nazariyaning haqiqiy bayonotlarini tasdiqlaydi C har qanday algebraik yopiq maydon uchun to'g'ri keladi K xarakterli nolga teng. Aniq printsip va uning isboti tufayli Alfred Tarski va asoslangan matematik mantiq.^[1]^[2]

Ushbu printsip algebraik navlar uchun analitik yoki topologik usullar yordamida olingan ba'zi natijalarni o'tkazishga imkon beradi C 0 xarakteristikasining boshqa algebraik yopiq er maydonlariga.

Chou teoremasi

Chou teoremasitomonidan isbotlangan Vey-Liang Chou, mavjud bo'lgan taqqoslashning eng foydali turiga misol. Unda kompleksning analitik subspace deyilgan proektsion maydon yopiq (oddiy topologik ma'noda) algebraik subvarietydir. Buni "ichida yopilgan kompleks proektsion makonning har qanday analitik subspace" nomi bilan o'zgartirish mumkin kuchli topologiya ichida yopiq Zariski topologiyasi "Bu algebraik geometriyaning klassik qismlari doirasida kompleks-analitik usullardan ancha erkin foydalanishga imkon beradi.

GAGA

Ikki nazariya o'rtasidagi ko'plab munosabatlar uchun asoslar 1950-yillarning boshlarida, masalan, algebraik geometriya asoslarini yaratish biznesining bir qismi sifatida, masalan, texnikani o'z ichiga olgan. Xoj nazariyasi. Nazariyani birlashtirgan asosiy qog'oz edi Géometrie Algébrique et Géométrie Analytique Serre (1956) tomonidan Jan-Per Ser, endi odatda deb nomlanadi GAGA. Bu algebraik navlar, muntazam morfizmlar va sinflar bilan bog'liq bo'lgan umumiy natijalarni isbotlaydi sochlar analitik bo'shliqlar, holomorfik xaritalar va qirralarning sinflari bilan. Bularning barchasini to'shak toifalarini taqqoslash uchun kamaytiradi.

Hozirgi kunda bu ibora GAGA uslubidagi natija taqqoslashning har qanday teoremasi uchun ishlatiladi, bu algebraik geometriyadan ob'ektlar toifasi va ularning morfizmlari o'rtasida analitik geometriya ob'ektlari va holomorfik xaritalarning aniq belgilangan pastki toifasiga o'tishga imkon beradi.

GAGA rasmiy bayonoti

Ruxsat bering ${ displaystyle (X, { mathcal {O}} _ {X})}$ cheklangan turdagi sxemasi bo'lishi mumkin C. Keyin topologik makon mavjud X^an to'plam sifatida yopiq nuqtalardan iborat X doimiy inklyuziya xaritasi bilan λ_X: X^an → X. Topologiya yoqilgan X^an "murakkab topologiya" deb nomlanadi (va subspace topologiyasidan juda farq qiladi).
Φ deylik: X → Y mahalliy cheklangan turdagi sxemalarning morfizmi C. Keyin doimiy xarita mavjud^an: X^an → Y^an shunday λ_Y ° φ^an = φ ° λ_X.
Bir dasta bor ${ displaystyle { mathcal {O}} _ {X} ^ { mathrm {an}}}$ kuni X^an shu kabi ${ displaystyle (X ^ { mathrm {an}}, { mathcal {O}} _ {X} ^ { mathrm {an}})}$ bu qo'ng'iroq qilingan bo'shliq va λ_X: X^an → X halqali bo'shliqlar xaritasiga aylanadi. Bo'sh joy ${ displaystyle (X ^ { mathrm {an}}, { mathcal {O}} _ {X} ^ { mathrm {an}})}$ ning "tahlil qilish" deb nomlanadi ${ displaystyle (X, { mathcal {O}} _ {X})}$ va analitik makondir. Har bir φ uchun: X → Y xarita φ^an analitik bo'shliqlarning xaritasi yuqorida tavsiflangan. Bundan tashqari, xarita φ ↦ φ^an ochiq suvga cho'mishni xaritada ochiq immersionlarga xaritalar. Agar X = Spec(C[x₁,...,x_n]) keyin X^an = Cⁿ va ${ displaystyle { mathcal {O}} _ {X} ^ { mathrm {an}} (U)}$ har bir polidisk uchun U holomorfik funktsiyalar makonining mos keluvchi qismidir U.
Har bir to'plam uchun ${ displaystyle { mathcal {F}}}$ kuni X (algebraik sheaf deb ataladi) bor ${ displaystyle { mathcal {F}} ^ { mathrm {an}}}$ kuni X^an (analitik sheaf deb ataladi) va pog'onalar xaritasi ${ displaystyle { mathcal {O}} _ {X}}$ -modullar ${ displaystyle lambda _ {X} ^ {*}: { mathcal {F}} rightarrow ( lambda _ {X}) _ {*} { mathcal {F}} ^ { mathrm {an}} }$ . Dafna ${ displaystyle { mathcal {F}} ^ { mathrm {an}}}$ sifatida belgilanadi ${ displaystyle lambda _ {X} ^ {- 1} { mathcal {F}} otimes _ { lambda _ {X} ^ {- 1} { mathcal {O}} _ {X}} { mathcal {O}} _ {X} ^ { mathrm {an}}}$ . Yozishmalar ${ displaystyle { mathcal {F}} mapsto { mathcal {F}} ^ { mathrm {an}}}$ shelklar toifasidan aniq funktsiyani aniqlaydi ${ displaystyle (X, { mathcal {O}} _ {X})}$ pog'onalar toifasiga ${ displaystyle (X ^ { mathrm {an}}, { mathcal {O}} _ {X} ^ { mathrm {an}})}$ .
Quyidagi ikkita bayonot Serening GAGA teoremasining markazidir (kengaytirilgan Aleksandr Grothendieck, Amnon Neeman va boshqalar.)
Agar f: X → Y - bu cheklangan turdagi sxemalarning o'zboshimchalik bilan morfizmi C va ${ displaystyle { mathcal {F}}}$ tabiiy xaritadan keyin izchil ${ displaystyle (f _ {*} { mathcal {F}}) ^ { mathrm {an}} rightarrow f _ {*} ^ { mathrm {an}} { mathcal {F}} ^ { mathrm { an}}}$ in'ektsion hisoblanadi. Agar f to'g'ri bo'lsa, unda bu xarita izomorfizmdir. Bundan tashqari, barcha yuqori to'g'ridan-to'g'ri tasvirlar qatlamlarining izomorfizmlari mavjud ${ displaystyle (R ^ {i} f _ {*} { mathcal {F}}) ^ { mathrm {an}} cong R ^ {i} f _ {*} ^ { mathrm {an}} { mathcal {F}} ^ { mathrm {an}}}$ Ushbu holatda.
Endi taxmin qiling X^an Hausdorff va ixchamdir. Agar ${ displaystyle { mathcal {F}}, { mathcal {G}}}$ ikkita izchil algebraik chiziqlar ${ displaystyle (X, { mathcal {O}} _ {X})}$ va agar ${ displaystyle f colon { mathcal {F}} ^ { mathrm {an}} rightarrow { mathcal {G}} ^ { mathrm {an}}}$ ning xaritalari xaritasi ${ displaystyle { mathcal {O}} _ {X} ^ { mathrm {an}}}$ - keyin modullarning noyob xaritasi mavjud ${ displaystyle { mathcal {O}} _ {X}}$ -modullar ${ displaystyle varphi: { mathcal {F}} rightarrow { mathcal {G}}}$ bilan f = φ^an. Agar ${ displaystyle { mathcal {R}}}$ izchil analitik sheaf hisoblanadi ${ displaystyle { mathcal {O}} _ {X} ^ { mathrm {an}}}$ -modullar tugadi X^an u holda izchil algebraik sheaf mavjud ${ displaystyle { mathcal {F}}}$ ning ${ displaystyle { mathcal {O}} _ {X}}$ -modullar va izomorfizm ${ displaystyle { mathcal {F}} ^ { mathrm {an}} cong { mathcal {R}}}$ .

Biroz kamroq umumiylikda GAGA teoremasi murakkab proektsion xilma bo'yicha izchil algebraik chiziqlar toifasi deb ta'kidlaydi. X va tegishli analitik fazadagi izchil analitik qirralarning toifasi X^an tengdir. Analitik makon X^an orqaga tortish orqali taxminan olinadi X dan murakkab tuzilish Cⁿ koordinata jadvallari orqali. Darhaqiqat, teoremani shu tarzda ifodalash, yuqoridagi rasmiy bayonot juda ko'p ishlatadigan to'liq sxema-nazariy tilni GAGA nashr etilgan paytgacha qanday ixtiro qilinmaganligini ko'rib, Serening qog'oziga ruhan yaqinroq.

Izohlar

^ Muhokamalar uchun qarang Ibrohim Zaydenberg, Lefschetzning printsipiga sharhlar, Amerika matematik oyligi, Jild 65, № 9 (1958 yil noyabr), 685-690 betlar; Gerxard Fray va Xans-Georg Ruk, Algebraik geometriyadagi kuchli Lefschetz printsipi, Matematikaning qo'lyozmalari, 55-jild, 3-4-sonlar, 1986 yil sentyabr, 385-401-betlar.
^ "Transfer printsipi", Matematika entsiklopediyasi, EMS Press, 2001 [1994]

Adabiyotlar

Ser, Jan-Per (1956), "Géométrie algébrique et géométrie analytique", Annales de l'Institut Fourier, 6: 1–42, doi:10.5802 / aif.59, ISSN 0373-0956, JANOB 0082175

[1] Muhokamalar uchun qarang Ibrohim Zaydenberg, Lefschetzning printsipiga sharhlar, Amerika matematik oyligi, Jild 65, № 9 (1958 yil noyabr), 685-690 betlar; Gerxard Fray va Xans-Georg Ruk, Algebraik geometriyadagi kuchli Lefschetz printsipi, Matematikaning qo'lyozmalari, 55-jild, 3-4-sonlar, 1986 yil sentyabr, 385-401-betlar.

[2] "Transfer printsipi", Matematika entsiklopediyasi, EMS Press, 2001 [1994]

[1]

[2]