Algebraik egri chiziqlar moduli - Moduli of algebraic curves

Yilda algebraik geometriya, a moduli maydoni (algebraik) chiziqlar geometrik bo'shliq (odatda a sxema yoki an algebraik suyakka ) ning nuqtalari izomorfizm sinflarini ifodalaydi algebraik egri chiziqlar. Shunday qilib, a moduli maydoni. Algebraik egri chiziqlar sinflariga nisbatan qo'llaniladigan cheklovlarga qarab, mos keladi moduli muammosi va modullar maydoni boshqacha. Ulardan birini ham ajratib turadi yaxshi va qo'pol modulli bo'shliqlar bir xil modul muammosi uchun.

Modullarning eng asosiy muammosi silliq to'liq egri chiziqlar tur. Ustidan maydon ning murakkab sonlar ular aniq mos keladi ixcham Riemann sirtlari uchun berilgan jins Bernxard Riman moduli bo'shliqlari, xususan ularning o'lchamlari ("murakkab tuzilish bog'liq bo'lgan parametrlar soni") haqida birinchi natijalarni isbotladi.

Barqaror egri chiziqlarning moduli to'plamlari

Modullar to'plami silliq proektsion egri chiziqlar oilalarini izomorfizmlari bilan birga tasniflaydi. Qachon , bu birikma barqaror tugun egri chiziqlariga (ularning izomorfizmlari bilan birgalikda) to'g'ri keladigan yangi "chegara" nuqtalarini qo'shish orqali ixchamlashtirilishi mumkin. Egri chiziq barqaror agar u to'liq bo'lsa, bog'langan bo'lsa, ikkita nuqtadan tashqari o'ziga xos xususiyatlarga ega emas va faqat cheklangan avtomorfizmlar guruhiga ega bo'lsa. Olingan stek belgilanadi . Ikkala modulli stack ham universal egri chiziqlarni o'z ichiga oladi.

Yuqoridagi ikkala to'plam ham o'lchamga ega ; shuning uchun barqaror tugun egri chizig'ini qiymatlarini tanlash bilan to'liq belgilash mumkin parametrlari, qachon . Quyi turda ularning sonini chiqarib, silliq avtomorfizmlar oilalari mavjudligini hisobga olish kerak. Nolning aynan bitta murakkab egri chizig'i, Riemann shari va uning izomorfizmlar guruhi PGL (2). Shuning uchun ga teng

Xuddi shunday, 1-jinsda ham bir o'lchovli egri chiziqlar maydoni mavjud, ammo har bir bunday egri chiziqda bir o'lchovli avtomorfizmlar guruhi mavjud. Shunday qilib, stack 0 o'lchamiga ega.

Qurilish va qisqartirilmaslik

Bu ahamiyatsiz teorema, isbotlangan Per Deligne va Devid Mumford,[1] bu modullar to'plami qisqartirilmaydi, ya'ni uni ikkita munosib zaxira birlashmasi sifatida ifodalash mumkin emas. Ular buni lokusni tahlil qilish orqali isbotlaydilar ning barqaror egri chiziqlar ichida Hilbert sxemasi

tri-kanonik ko'milgan egri chiziqlar (juda etarlicha joylashtirilganidan) ega bo'lgan har bir egri chiziq uchun) Hilbert polinomi (eslatma: buni yordamida hisoblash mumkin Riman-Rox teoremasi ). Keyin, suyakka

modullar makonining konstruktsiyasi . Foydalanish Deformatsiya nazariyasi1-bo'lim, Deligne va Mumford ushbu to'plamning silliqligini namoyish qilishadi va stackdan foydalanishadi

buni ko'rsatish uchun barqaror egri chiziqlar orasidagi izomorfizmlar cheklangan stabilizatorlarga ega, shuning uchun u Deligne-Mumford stack (ularning qog'ozi nomidan). Bundan tashqari, ular tabaqalanishini topadilar kabi3-bo'lim

,

qayerda

  • silliq barqaror egri chiziqlarning pastki chizig'i,
  • ning kamaytirilmaydigan tarkibiy qismidir ,

ning tarkibiy qismlarini tahlil qiling (kabi GIT miqdori ). Agar bir nechta tarkibiy qism mavjud bo'lsa , ularning hech biri to'liq bo'lmaydi. Shuningdek, ning har qanday tarkibiy qismi singular bo'lmagan egri chiziqlarni o'z ichiga olishi kerak. Binobarin, yagona lokus ulangan, demak u ning bitta komponentida mavjud . Bundan tashqari, chunki har bir komponent kesishadi , barcha komponentlar bitta komponentda bo'lishi kerak, shuning uchun qo'pol bo'shliq qisqartirilmaydi. Algebraik steklarning umumiy nazariyasidan, bu to'plamning miqdorini nazarda tutadi qisqartirilmaydi.

To'g'ri

To'g'ri, yoki ixchamlik uchun orbifoldlar, egri chiziqlar bo'yicha barqaror kamayish teoremasidan kelib chiqadi.[1] Buni teoremasi yordamida topish mumkin Grothendieck ning barqaror pasayishi bilan bog'liq Abeliya navlari, va egri chiziqlarning barqaror qisqarishiga tengligini ko'rsatish.[1]5.2-bo'lim

Qattiq modulli bo'shliqlar

Shuningdek, silliq yoki barqaror egri chiziqlarning izomorfizm sinflarini ifodalovchi qo'pol modulli bo'shliqlarni ko'rib chiqish mumkin. Ushbu qo'pol modul bo'shliqlari aslida modullar to'plami tushunchasi paydo bo'lishidan oldin o'rganilgan. Darhaqiqat, modullar to'plami g'oyasi Deligne va Mumford tomonidan qo'pol modulli bo'shliqlarning proektivligini isbotlash uchun kiritilgan. So'nggi yillarda egri chiziqlar to'plami aslida eng asosiy ob'ekt ekanligi aniq bo'ldi.

Qalin modulli bo'shliqlar, qachonki qatlamlar bilan bir xil o'lchamga ega ; ammo, nol jinsida qo'pol modullar maydoni nol o'lchovga ega, va bir turda u bitta o'lchovga ega.

Modullarning past darajadagi bo'shliqlariga misollar

0 tur

Jinsning moduli makonining geometriyasini aniqlash yordamida egri chiziqlar o'rnatilishi mumkin deformatsiya nazariyasi. Bir jins uchun modullar soni egri chiziq, masalan. , kohomologiya guruhi tomonidan berilgan

Bilan Ikki tomonlama serre bu kohomologiya guruhi izomorfdir

dualing sheaf uchun . Ammo, foydalanib Riemann-Roch kanonik to'plamning darajasini ko'rsatadi , shuning uchun darajasi bu , shuning uchun global bo'limlar yo'q, ma'no

jinsning deformatsiyalari yo'qligini ko'rsatish chiziqlar. Bu isbotlaydi faqat bitta nuqta va yagona tur egri chiziqlar tomonidan berilgan . Faqatgina texnik qiyinchilik bu avtomorfizm guruhidir bo'ladi algebraik guruh , bu uchta nuqta bir marta qat'iylashadi[2] kuni sobit, shuning uchun ko'p mualliflar buni qabul qiladilar anglatmoq .

1-tur

1-sonli holat, hech bo'lmaganda kompleks sonlar ustida modulli bo'shliqlarning birinchi yaxshi tushunilgan holatlaridan biridir, chunki elliptik egri chiziqlarning izomorfizm sinflari quyidagicha tasniflanadi. J-o'zgarmas

qayerda . Topologik jihatdan faqat affin chizig'idir, lekin u asosiy topologik bo'shliq bilan stakka ixchamlashtirilishi mumkin abadiylikda barqaror egri chiziq qo'shib. Bu bitta chuqurchaga ega bo'lgan elliptik egri chiziq. Umumiy ishning qurilishi tugadi dastlab tomonidan yakunlandi Deligne va Rapoport.[3]

E'tibor bering, mualliflarning ko'pchiligi bitta egri chiziqli holatni guruhning kelib chiqishi deb hisoblashadi, chunki aks holda gipotetik modullar makonidagi stabilizator guruhi nuqtada stabilizator guruhiga ega bo'lar edi egri chiziq bilan berilgan, chunki elliptik egri chiziqlar abeliy guruh tuzilishiga ega. Bu ushbu gipotetik modullar maydoniga keraksiz texnik murakkablikni oshiradi. Boshqa tarafdan, silliq Deligne-Mumford stack.

2-tur

Affine parametr maydoni

2-turdagi bu a klassik natija bu kabi barcha egri chiziqlar giperelliptik,[4]pg 298 shuning uchun modullar maydoni egri chiziqning joyidan to'liq yordamida aniqlanishi mumkin Riman-Xurvits formulasi. Ixtiyoriy 2-egri chiziq shaklning polinomasi bilan berilganligi sababli

ba'zi bir noyob aniqlanganlar uchun , bunday egri chiziqlar uchun parametr maydoni quyidagicha berilgan

qayerda lokusga to'g'ri keladi .[5]

Og'irligi proektsion makon

A dan foydalanish vaznli proektsion maydon va Riman-Xurvits formulasi, giperelliptik egri chiziqni shaklning polinomiyasi deb ta'riflash mumkin[6]

qayerda ning bo'limlari uchun parametrlardir . Keyin uchburchak ildizi bo'lmagan bo'limlarning joylashuvi har qanday egri chiziqni o'z ichiga oladi nuqta bilan ifodalanadi .

3-tur

Bu giperelliptik lokusga va giperelliptik bo'lmagan lokusga ega bo'lgan egri chiziqlarning birinchi moduli.[7][8] Giperelliptik bo'lmagan egri chiziqlarning barchasi 4 darajali tekislik egri chiziqlari bilan berilgan ( jins darajasining formulasi ), ular giperturushlarning Hilbert sxemasidagi silliq lokus tomonidan parametrlanadi

.

Keyinchalik, modullar oralig'i pastki qismlar tomonidan tabakalanadi

.

Biratsion geometriya

Birdamlik gumoni

Avvalgi barcha holatlarda modul bo'shliqlari mavjud deb topilishi mumkin aqlsiz demak, u erda dominant ratsional morfizm mavjud

va bu barcha nasllarda to'g'ri bo'ladi deb uzoq kutilgan edi. Darhaqiqat, Severi bu nasldan nasl-nasabga tegishli ekanligi isbotlangan .[9] Bu jins uchun bo'lsa ham chiqadi [10][11][12] barcha bunday modul bo'shliqlari umumiy tipga ega, ya'ni ular aqlsiz emas. Ular buni o'rganish orqali amalga oshirdilar Kodaira o'lchovi qo'pol modulli bo'shliqlarning

va topildi uchun . Aslida, uchun ,

va shuning uchun umumiy turga kiradi.

Geometrik xulosa

Bu geometrik jihatdan ahamiyatlidir, chunki u har qanday chiziqli tizimni boshqariladigan xilma bo'yicha universal egri chiziqni o'z ichiga olmaydi .[13]

Chegarasining tabaqalanishi

Modullar maydoni chegarasida tabiiy tabaqalanishga ega ularning nuqtalari singular turni ifodalaydi chiziqlar.[14] U qatlamlarga ajraladi

,

qayerda

  • uchun .
  • bu erda harakat ikkita belgilangan nuqtani bekor qiladi.
  • har doim hatto.

Ushbu joylarning ustida joylashgan egri chiziqlar mos keladi

  • Bir juft egri chiziq er-xotin nuqtada ulangan.
  • The normalizatsiya bir jins bitta ikki nuqta singularlikdagi egri chiziq.
  • Ikkala nuqtada permutatsiyaga qadar bog'langan bir xil turdagi juft egri chiziq.

Stratifikatsiya

Jins uchun holda, tomonidan berilgan tabaqalanish mavjud

.

Ushbu qatlamlarni yanada tahlil qilish orqali generatorlarni hosil qilish uchun foydalanish mumkin Chow uzuk [14] taklif 9.1.

Belgilangan egri chiziqlar moduli

Shuningdek, tugun egri chiziqlari n tugmachalari bilan juftlik bilan ajralib turadigan va n tugmachalari egri chiziqlari moduli to'plamini ko'rib chiqish orqali muammoni boyitish mumkin. Belgilangan nuqtalarni tuzatuvchi egri avtomorfizmlar kichik guruhi cheklangan bo'lsa, bunday belgilangan egri chiziqlar barqaror deyiladi. Olingan n (n) nuqtali silliq (yoki barqaror) g egri chiziqli modullar to'plamlari belgilanadi (yoki ) va o'lchovga ega .

Modullar to'plami alohida qiziqish uyg'otadi bitta egri chiziqli 1 egri chiziq. Bu elliptik egri chiziqlar to'plami. 1-daraja modulli shakllar bu to'plamdagi satrlar to'plamining qismlari va darajasi N modulli shakllar - bu elliptik egri chiziqlar to'plamidagi chiziqli to'plamlarning bo'laklari Daraja N tuzilishi (taxminan buyurtma punktlarini belgilash N).

Chegara geometriyasi

Siqilgan modulli bo'shliqlarning muhim xususiyati ularning chegarasini modul bo'shliqlari bilan tavsiflash mumkin avlodlar uchun . Belgilangan, barqaror va tugun egri chizig'ini hisobga olgan holda, uni bog'lash mumkin er-xotin grafik, a grafik manfiy bo'lmagan tamsayılar bilan belgilangan va ilmoqlarga, bir nechta qirralarga va shuningdek yarim qirralarga ega bo'lishga ruxsat berilgan tepalar bilan. Bu erda grafika tepalari mos keladi kamaytirilmaydigan komponentlar tugun egri chizig'ining vertikal belgisi arifmetik tur mos keladigan komponentning qirralari egri tugunlariga, yarim qirralari esa belgilarga to'g'ri keladi. In berilgan er-xotin grafik bilan egri chiziqlarning yopilishi uchun izomorfik stack quotient mahsulot Sonli guruh tomonidan egri chiziqlarning siqilgan modul bo'shliqlari. Mahsulotda tepaga to'g'ri keladigan omil v g turiga egav markalash va markirovka sonidan olingan da chiqadigan qirralarning va yarim qirralarning soniga teng v. Jami tur g $ g $ ning yig'indisiv ortiqcha grafikdagi yopiq tsikllar soni.

Ikkita grafasida vertikal bilan belgilangan barqaror egri chiziqlar (shuning uchun boshqa barcha tepaliklar mavjud va graflik daraxt) "ratsional quyruq" deb nomlanadi va ularning modulli maydoni belgilanadi . Ikkita grafigi daraxt bo'lgan barqaror egri chiziqlar "ixcham tip" deb nomlanadi (chunki Jacobian ixcham) va ularning moduli maydoni belgilanadi .[2]

Shuningdek qarang

Adabiyotlar

  1. ^ a b v Deligne, Per; Mumford, Devid (1969). "Ushbu turdagi egri chiziqlar makonining qisqartirilmasligi". Mathématiques de l'IHÉS nashrlari. 36: 75–109. doi:10.1007 / BF02684599. S2CID  16482150.
  2. ^ a b Faber, Carel; Pandharipande, Rahul (2011). "Egri chiziqlar moduli makonining tavtologik va tautologik bo'lmagan kohomologiyasi". arXiv:1101.5489 [math.AG ].
  3. ^ Deligne, P .; Rapoport, M. (1973), Les schémas de modules de courbes elliptiklar, Matematikadan ma'ruza matnlari, 349, Springer Berlin Heidelberg, 143–316 betlar, doi:10.1007 / bfb0066716, ISBN  978-3-540-06558-6, URL: http://publications.ias.edu/node/367
  4. ^ Xartshorn, Robin (2013 yil 29-iyun). Algebraik geometriya. Nyu York. ISBN  978-1-4757-3849-0. OCLC  861706007.
  5. ^ Igusa, Jun-Ichi (1960). "Ikki tur uchun modullarning arifmetik xilma-xilligi". Matematika yilnomalari. 72 (3): 612–649. doi:10.2307/1970233. ISSN  0003-486X. JSTOR  1970233.
  6. ^ Larson, Erik (2019-04-17). "Chowning ajralmas halqasi ". arXiv:1904.08081 [math.AG ].
  7. ^ Jirard, Martine; Kohel, Devid R. (2006), Xess, Florian; Pauli, Sebastyan; Pohst, Maykl (tahr.), "Moduli fazosining maxsus qatlamlaridagi 3-egri chiziqlarning tasnifi", Algoritmik sonlar nazariyasi, Berlin, Heidelberg: Springer Berlin Heidelberg, 4076, 346–360-betlar, arXiv:matematik / 0603555, Bibcode:2006yil ...... 3555G, doi:10.1007/11792086_25, ISBN  978-3-540-36075-9, JANOB  2282935, S2CID  15638167
  8. ^ Penev, Nikola; Vakil, Ravi (2015). "Oltinchi avlod egri chiziqlari moduli makonining Chou halqasi". Algebraik geometriya. 2 (1): 123–136. arXiv:1307.6614. doi:10.14231 / ag-2015-006. ISSN  2214-2584. JANOB  3322200. S2CID  54876684.
  9. ^ Severi, Franchesko, 1879-1961. (1915). Sulla classificazione delle egri chizig'i algebriche e sul teorema d'esistenza di Riemann. Tipografia della R. Accademia dei Lincei. OCLC  881814709.CS1 maint: bir nechta ism: mualliflar ro'yxati (havola)
  10. ^ Eyzenbud, Devid; Xarris, Jou (1987). "Tugri egri chiziqlari moduli kosmosining kodaira o'lchovi? 23". Mathematicae ixtirolari. 90 (2): 359–387. Bibcode:1987InMat..90..359E. doi:10.1007 / bf01388710. ISSN  0020-9910. S2CID  120642775.
  11. ^ Xarris, Jou; Mumford, Devid (1982), "Modullar egri chizig'ining kodaira o'lchovi to'g'risida", Tanlangan hujjatlar, Nyu-York, Nyu-York: Springer Nyu-York, 171–234 betlar, doi:10.1007/978-1-4757-4265-7_8, ISBN  978-1-4419-1936-6
  12. ^ Xarris, Djo; Mumford, Devid (1982), "Modullar egri makonining Kodaira o'lchovi to'g'risida", Tanlangan hujjatlar, Nyu-York, Nyu-York: Springer Nyu-York, 171–234 betlar, doi:10.1007/978-1-4757-4265-7_8, ISBN  978-1-4419-1936-6
  13. ^ Farkas, Gavril (2008-05-29). "Egri chiziqlar moduli makonining global geometriyasi". arXiv:matematik / 0612251.
  14. ^ a b Arifmetik va geometriya: I.R.ga bag'ishlangan hujjatlar. Shafarevich oltmish yilligi munosabati bilan (PDF). Shafarevich, Igor Rostislavovich, 1923-2017, Artin, Maykl, Teyt, Jon Torrence, 1925-2019. Boston: Birkxauzer. 1983 yil. ISBN  978-1-4757-9286-7. OCLC  681426064.CS1 maint: boshqalar (havola)

Klassik ma'lumotnomalar

Egri chiziq modullari bo'yicha kitoblar

Kogomologiya va kesishma nazariyasi

Tashqi havolalar