Kanonik o'ziga xoslik - Canonical singularity - Wikipedia

Matematikada, kanonik o'ziga xosliklar a-ning kanonik modelining o'ziga xosligi sifatida paydo bo'ladi proektiv xilma va terminal o'ziga xosliklar birliklari sifatida paydo bo'ladigan maxsus holatlardir minimal modellar. Ular tomonidan tanishtirildi Reid (1980). Terminalning o'ziga xos xususiyatlari minimal model dastur chunki minimal minimal modellar har doim ham mavjud emas va shuning uchun muayyan o'ziga xosliklarga, ya'ni terminal o'ziga xosliklarga yo'l qo'yilishi kerak.

Ta'rif

Aytaylik Y bu odatiy nav, chunki uning kanonik klassi KY bu Q-Kartier va ruxsat bering f:XY ning o'ziga xos xususiyatlarining echimi bo'lishi Y. Keyin

bu erda summa kamaytirilmaydigan istisno bo'linuvchilar ustidan va amen - deb nomlangan ratsional sonlar nomuvofiqliklar.

So'ngra Y deyiladi:

Terminal agar amen Hamma uchun> 0 men
kanonik agar amen ≥ 0 hamma uchun men
log terminali agar amen > −1 hamma uchun men
log kanonik agar amen ≥ −1 hamma uchun men.

Xususiyatlari

Proektiv xilma-xillikning o'ziga xos xususiyatlari V xilma bo'lsa, kanonikdir normal, ning ba'zi kuchlari kanonik chiziqlar to'plami ning birlik bo'lmagan qismi V qatorli to'plamga qadar uzaytiriladi Vva V bir xil narsaga ega plurigenera har qanday kabi qaror uning o'ziga xosligi. V agar a bo'lsa, kanonik o'ziga xosliklarga ega nisbiy kanonik model.

Proektiv xilma-xillikning o'ziga xos xususiyatlari V xilma bo'lsa, terminal hisoblanadi normal, ning ba'zi kuchlari kanonik chiziqlar to'plami ning birlik bo'lmagan qismi V qatorli to'plamga qadar uzaytiriladi Vva V ning har qanday qismini qaytarib olish Vm ning har qanday kodimensiyasi bo'yicha yo'qoladi ajoyib joy a qaror uning o'ziga xosligi.

Kichik o'lchamlarda tasniflash

Ikki o'lchovli terminalning o'ziga xosliklari silliqdir, agar xilma-xillik terminali o'ziga xosliklarga ega bo'lsa, unda uning yagona nuqtalari kamida 3 kodimensiyaga ega, xususan 1 va 2 o'lchamlarida barcha terminal birliklari silliqdir. 3 o'lchovda ular ajratilgan va tasniflangan Mori (1985).

Ikki o'lchovli kanonik o'ziga xoslik xuddi shunday du Valning o'ziga xos xususiyatlari, va kvotentsitlarga analitik ravishda izomorfdir C2 SL ning cheklangan kichik guruhlari tomonidan2(C).

Ikki o'lchovli jurnal terminali o'ziga xosliklari kvotentsiyalarga analitik ravishda izomorfdir C2 GL ning cheklangan kichik guruhlari tomonidan2(C).

Ikki o'lchovli log kanonik o'ziga xosliklar tomonidan tasniflangan Kavamata (1988).

Juftliklar

Umuman olganda, ushbu tushunchalarni juftlik uchun belgilash mumkin qayerda shunday bo'linadigan ratsional koeffitsientli asosiy bo'linuvchilarning rasmiy chiziqli birikmasi bu -Kartier. Juftlik deyiladi

  • Terminal agar kelishmovchilik bo'lsa
  • kanonik agar kelishmovchilik bo'lsa
  • klt (Kawamata log terminal) agar Discrep bo'lsa va
  • plt (faqat log terminal) agar Discrep bo'lsa
  • lc (log canonical) agar Discrep bo'lsa.

Adabiyotlar

  • Kollar, Yanos (1989), "Algebraik uch katlamaning minimal modellari: Morining dasturi", Asterisk (177): 303–326, ISSN  0303-1179, JANOB  1040578
  • Kavamata, Yujiro (1988), "Krepantning uch o'lchovli kanonik o'ziga xosliklarini portlatishi va uning sirt degeneratsiyasiga tatbiq etilishi", Ann. matematikadan., 2, 127 (1): 93–163, doi:10.2307/1971417, ISSN  0003-486X, JSTOR  1971417, JANOB  0924674
  • Mori, Shigefumi (1985), "Uch o'lchovli terminalning o'ziga xosliklari to'g'risida", Nagoya matematik jurnali, 98: 43–66, doi:10.1017 / s0027763000021358, ISSN  0027-7630, JANOB  0792770
  • Rid, Maylz (1980), "Canonical 3-katlama", Journées de Géometrie Algébrique d'Angers, Juillet 1979 / Algebraic Geometry, Angers, 1979, Alphen aan den Rijn: Sijthoff & Noordhoff, 273–310-betlar, JANOB  0605348
  • Rid, Maylz (1987), "Yosh odamning kanonik o'ziga xosliklarga ko'rsatma", Algebraik geometriya, Bowdoin, 1985 (Brunsvik, Men, 1985), Proc. Simpozlar. Sof matematik., 46, Providence, R.I .: Amerika matematik jamiyati, 345-414 betlar, JANOB  0927963