Xayoliy giperelliptik egri chiziq - Imaginary hyperelliptic curve

Ushbu maqola mumkin talab qilish tozalamoq Vikipediya bilan tanishish uchun sifat standartlari. Yo'q tozalash sababi aniqlandi. Iltimos yordam bering ushbu maqolani yaxshilang Agar imkoningiz bo'lsa. (2011 yil mart) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

A giperelliptik egri chiziq ning o'ziga xos turi algebraik egri chiziq. Har birining giperelliptik egri chiziqlari mavjud tur ${displaystyle ggeq 1}$. Agar giperelliptik egri chiziq 1 ga teng bo'lsa, biz shunchaki egri chiziqni an deb ataymiz elliptik egri chiziq. Demak, giperelliptik egri chiziqlarni elliptik egri chiziqlarning umumlashmasi sifatida ko'rishimiz mumkin. U erda taniqli odam bor guruh ba'zi birlari ustida elliptik egri chiziqda yotgan nuqtalar to'plamidagi tuzilish maydon ${displaystyle K}$, biz uni geometrik ravishda akkordlar va tangentslar bilan tasvirlashimiz mumkin. Ushbu guruh tuzilishini giperelliptik kassaga umumlashtirish oddiy emas. Giperelliptik egri chiziqda yotgan nuqtalar to'plamida bir xil guruh qonunini aniqlay olmaymiz, buning o'rniga guruh tuzilishini so'zda belgilash mumkin. Jacobian giperelliptik egri chiziq. Hisob-kitoblar cheksiz nuqtalar soniga qarab farqlanadi. Ushbu maqola haqida xayoliy giperelliptik egri chiziqlar, bu giperelliptik egri chiziqlar, cheksizlikda aniq 1 nuqta. Haqiqiy giperelliptik egri chiziqlar cheksizlikda ikkita nuqta bor.

Rasmiy ta'rif

Giperelliptik egri chiziqlarni istalgan maydonlar bo'yicha aniqlash mumkin xarakterli. Shuning uchun biz o'zboshimchalik bilan maydonni ko'rib chiqamiz ${displaystyle K}$ va uning algebraik yopilish ${displaystyle {overline {K}}}$. Jinsning (xayoliy) giperelliptik egri chizig'i ${displaystyle g}$ ustida ${displaystyle K}$ shakldagi tenglama bilan berilgan

${displaystyle C: y ^ {2} + h (x) y = f (x) in K [x, y]}$

qayerda ${K [x] da displaystyle h (x)}$ dan katta bo'lmagan darajadagi polinom ${displaystyle g}$ va ${K [x] da displaystyle f (x)}$ a monik polinom daraja ${displaystyle 2g + 1}$. Bundan tashqari, biz egri chiziqning yo'qligini talab qilamiz yagona fikrlar. Bizning fikrimizcha, bu hech qanday ahamiyatga ega emas ${displaystyle (x, y) {overline {K}} imes {overline {K}}} da$ ikkalasini ham qondiradi ${displaystyle y ^ {2} + h (x) y = f (x)}$ va tenglamalar ${displaystyle 2y + h (x) = 0}$ va ${displaystyle h '(x) y = f' (x)}$. Ushbu ta'rif umumiy giperelliptik egri chiziq ta'rifidan shu bilan farq qiladi ${displaystyle f}$ daraja ham bo'lishi mumkin ${displaystyle 2g + 2}$ umumiy holatda. Bundan buyon biz xayoliy sifatni tashlaymiz va oddiygina adabiyotda bo'lgani kabi giperelliptik egri chiziqlar haqida gaplashamiz. Ishga e'tibor bering ${displaystyle g = 1}$ ga mos keladi ${displaystyle f}$ kubik polinom bo'lib, elliptik egri chiziq ta'rifiga rozi. Agar egri chiziqni yotgan deb qarasak proektsion tekislik ${displaystyle mathbb {P} ^ {2} (K)}$ koordinatalari bilan ${displaystyle (X: Y: Z)}$, biz egri chiziqda yotgan ma'lum bir nuqta borligini ko'ramiz, ya'ni cheksizlikka ishora ${displaystyle (1: 0: 0)}$ bilan belgilanadi ${displaystyle O}$. Shunday qilib, biz yozishimiz mumkin edi ${displaystyle C = {(x, y) K ^ {2} | y ^ {2} + h (x) y = f (x)} stakan {O}}$.

Faraz qilaylik ${displaystyle P = (a, b)}$ teng emas ${displaystyle O}$ egri chiziqda yotadi va o'ylab ko'ring ${displaystyle {overline {P}} = (a, -b-h (a))}$. Sifatida ${displaystyle (-b-h (a)) ^ {2} + h (a) (- b-h (a))})$ ga soddalashtirilishi mumkin ${displaystyle b ^ {2} + h (a) b}$, biz buni ko'ramiz ${displaystyle {overline {P}}}$ shuningdek, egri chiziqdagi nuqta. ${displaystyle {overline {P}}}$ ning teskarisi deyiladi ${displaystyle P}$ va ${displaystyle P}$ deyiladi a Weierstrass nuqtasi agar ${displaystyle P = {overline {P}}}$, ya'ni ${displaystyle h (a) = - 2b}$. Bundan tashqari, aksincha ${displaystyle O}$ sifatida oddiygina ta'riflanadi ${displaystyle {overline {O}} = O}$.

Muqobil ta'rif

Ning xususiyatini talab qiladigan bo'lsak, giperelliptik egri chiziq ta'rifi biroz soddalashtirilishi mumkin ${displaystyle K}$ 2 ga teng emas. Buni ko'rish uchun o'zgaruvchilar o'zgarishini ko'rib chiqamiz ${displaystyle xightarrow x}$ va ${displaystyle yightarrow y- {frac {h (x)} {2}}}$, agar char bo'lsa mantiqan${displaystyle (K) ot = 2}$. O'zgaruvchilarning ushbu o'zgarishi ostida biz qayta yozamiz ${displaystyle y ^ {2} + h (x) y = f (x)}$ ga ${displaystyle chap (y- {frac {h (x)} {2}} ight) ^ {2} + h (x) left (y- {frac {h (x)} {2}} ight) = f ( x)}$ o'z navbatida, uni qayta yozish mumkin ${displaystyle y ^ {2} = f (x) + {frac {h (x) ^ {2}} {4}}}$. Sifatida ${displaystyle deg (h) leq g}$ biz buni bilamiz ${displaystyle deg (h ^ {2}) leq 2g}$ va shuning uchun ${displaystyle f (x) + {frac {h (x) ^ {2}} {4}}}$ daraja monik polinomidir ${displaystyle 2g + 1}$. Bu shuni anglatadiki, maydon ustida ${displaystyle K}$ char bilan${displaystyle (K) ot = 2}$ har bir giperelliptik egri chiziq ${displaystyle g}$ shaklning tenglamasi bilan berilganga izomorfdir ${displaystyle C: y ^ {2} = f (x)}$ qayerda ${displaystyle f}$ daraja monik polinomidir ${displaystyle 2g + 1}$ va egri chiziqning yagona nuqtalari yo'q. Shuni esda tutingki, ushbu shakl egri chiziqlari uchun o'ziga xos bo'lmagan mezon bajarilganligini tekshirish oson. Bir nuqta ${displaystyle P = (a, b)}$ egri bo'yicha birlik va faqat agar bo'lsa ${displaystyle b = 0}$ va ${displaystyle f '(a) = 0}$. Sifatida ${displaystyle b = 0}$ va ${displaystyle b ^ {2} = f (a)}$, shunday bo'lishi kerak ${displaystyle f (a) = 0}$ va shunday qilib ${displaystyle a}$ a bir nechta ildiz ning ${displaystyle f}$. Biz egri degan xulosaga keldik ${displaystyle C: y ^ {2} = f (x)}$ agar va faqat shunday bo'lsa, unda yagona nuqta yo'q ${displaystyle f}$ bir nechta ildizlarga ega emas. Giperelliptik egri chiziqning ta'rifi char paytida juda oson bo'lsa ham${displaystyle (K) ot = 2}$kabi xarakterli maydonlarni unutmasligimiz kerak giperelliptik egri chiziqli kriptografiya bunday maydonlardan keng foydalanadi.

Misol

1-rasm: Giperelliptik egri chiziqning misoli

Misol tariqasida ko'rib chiqing ${displaystyle C: y ^ {2} = f (x)}$ qayerda ${displaystyle f (x) = x ^ {5} -2x ^ {4} -7x ^ {3} + 8x ^ {2} + 12x = x (x + 1) (x-3) (x + 2)) x-2)}$ ustida ${displaystyle mathbb {R}}$. Sifatida ${displaystyle f}$ 5 darajaga ega va ildizlari har xil, ${displaystyle C}$ jinslarning egri chizig'i ${displaystyle g = 2}$. Uning grafigi 1-rasmda tasvirlangan.

Ushbu rasmdan biz giperelliptik egri chiziqlar to'plami bo'yicha guruh qonunini aniqlash uchun akkordlar va tangenslar usulidan foydalana olmasligimiz darhol aniq. Elliptik egri chiziqlar to'g'risidagi guruh qonuni shundan iboratki, elliptik egri chiziqda yotgan ikki nuqta bo'ylab to'g'ri chiziq egri chiziq bilan noyob uchinchi kesishish nuqtasiga ega. E'tibor bering, chunki bu har doim ham to'g'ri keladi ${displaystyle O}$ egri chiziqda yotadi. Ning grafigidan ${displaystyle C}$ buni o'zboshimchalik bilan giperelliptik egri chiziq uchun ushlab turish shart emasligi aniq. Aslida, Bezut teoremasi to'g'ri chiziq va 2-giperelliptik egri chiziq 5 nuqtada kesishganligini bildiradi. Shunday qilib, yotgan ikki nuqta orqali to'g'ri chiziq ${displaystyle C}$ noyob uchinchi kesishish nuqtasiga ega emas, u uchta boshqa kesishish nuqtasiga ega.

Koordinatali uzuk

The koordinatali halqasi C ustida K sifatida belgilanadi

${displaystyle; K [C] = K [x, y] / (y ^ {2} + h (x) y-f (x))}$.

The polinom ${displaystyle, r (x, y) = y ^ {2} + h (x) y-f (x)}$ bu qisqartirilmaydi ustida ${displaystyle {overline {K}}}$, shuning uchun

${displaystyle {overline {K}} [C] = {overline {K}} [x, y] / (y ^ {2} + h (x) y-f (x))}$

bu ajralmas domen.
Isbot. Agar r (x, y) kamaytirilishi mumkin edi ${displaystyle {overline {K}}}$, bu omil bo'ladi (y - u (x))· (y - v (x)) kimdir uchun u, v ∈ ${displaystyle {overline {K}}}$. Ammo keyin u (x)· v (x) = f (x) shuning uchun u darajaga ega 2g + 1va u (x) + v (x) = h (x) shuning uchun u darajadan kichikroq darajaga ega g, bu mumkin emas.

Har qanday narsaga e'tibor bering polinom funktsiyasi ${displaystyle G (x, y) {overline {K}} [C]} da$ yozilishi mumkin noyob kabi

${displaystyle, G (x, y) = u (x) -v (x) y}$   bilan ${displaystyle u (x)}$, ${displaystyle v (x)}$ ∈ ${displaystyle {overline {K}} [x]}$

Norma va daraja

Polinom funktsiyasining konjugati G (x, y) = u (x) - v (x) y yilda ${displaystyle {overline {K}} [C]}$ deb belgilangan

${displaystyle {overline {G}} (x, y) = u (x) + v (x) (h (x) + y)})$.

Ning normasi G polinom funktsiyasidir ${displaystyle N (G) = G {overline {G}}}$. Yozib oling N (G) = u (x)² + u (x) v (x) h (x) - v (x)²f (x), shuning uchun N (G) faqat bittasida polinom o'zgaruvchan.

Agar G (x, y) = u (x) - v (x)· y, keyin darajasi G sifatida belgilanadi

${displaystyle, deg (G) = max [2deg (u), 2g + 1 + 2deg (v)]}$.

Xususiyatlari:

${displaystyle; deg (G) = deg _ {x} (N (G))}$

${displaystyle; deg (GH) = deg (G) + deg (H)}$

${displaystyle deg (G) = deg ({overline {G}})}$

Funktsiya maydoni

The funktsiya maydoni K (C) ning C ustida K bo'ladi kasrlar maydoni ning K [C]va funktsiya maydoni ${displaystyle {overline {K}} (C)}$ ning C ustida ${displaystyle {overline {K}}}$ ning kasrlar maydoni ${displaystyle {overline {K}} [C]}$. Ning elementlari ${displaystyle {overline {K}} (C)}$ ratsional funktsiyalar deyiladi C.Uchun R bunday ratsional funktsiya va P cheklangan nuqta C, R da belgilanishi aytiladi P agar polinom funktsiyalari mavjud bo'lsa G, H shu kabi R = G / H va H (P) ≠ 0, keyin esa qiymati R da P bu

${displaystyle, R (P) = G (P) / H (P)}$.

Uchun P nuqta C bu cheklangan emas, ya'ni P = ${displaystyle O}$, biz aniqlaymiz R (P) kabi:

Agar ${displaystyle; deg (G)$  keyin ${displaystyle R (O) = 0}$, ya'ni R nolga teng O.

Agar ${displaystyle; deg (G)> deg (H)}$  keyin ${displaystyle R (O)}$  aniqlanmagan, ya'ni. R qutbga ega O.

Agar ${displaystyle; deg (G) = deg (H)}$  keyin ${displaystyle R (O)}$  ning nisbati etakchi koeffitsientlar ning G va H.

Uchun ${displaystyle Rin {overline {K}} (C) ^ {*}}$ va ${displaystyle pin C}$,

Agar ${displaystyle; R (P) = 0}$ keyin R ning nolga teng bo'lishi aytiladi P,

Agar R da belgilanmagan P keyin R qutbga ega deyiladi Pva biz yozamiz ${displaystyle R (P) = yaroqsiz}$.

Nuqtada polinom funktsiyasining tartibi

Uchun ${displaystyle G = u (x) -v (x) cdot yin {overline {K}} [C] ^ {2}}$ va ${displaystyle pin C}$, tartibi G da P quyidagicha aniqlanadi:

${displaystyle; ord_ {P} (G) = r + s}$ agar P = (a, b) bu Weierstrass emas, balki cheklangan nuqta. Bu yerda r ning eng yuqori kuchidir (x-a) ikkalasini ham ajratadigan u (x) va v (x). Yozing G (x, y) = (x - a)^r(u₀(x) - v₀(x) y) va agar siz₀(a) - v₀(a) b = 0, keyin s ning eng yuqori kuchidir (x - a) bo'linadigan N (u₀(x) - v₀(x) y) = u₀² + u₀v₀h - v₀²faks holda, s = 0.

${displaystyle; ord_ {P} (G) = 2r + s}$ agar P = (a, b) bilan cheklangan Weierstrass nuqtasi r va s yuqoridagi kabi.

${displaystyle; ord_ {P} (G) = - deg (G)}$ agar P = O.

Ajratuvchi va Yakobian

Yakobianni aniqlash uchun avval bizga bo'luvchi tushunchasi kerak. Giperelliptik egri chiziqni ko'rib chiqing ${displaystyle C}$ ba'zi bir sohada ${displaystyle K}$. Keyin bo'linuvchini aniqlaymiz ${displaystyle D}$ bo'lish a rasmiy summa ball ${displaystyle C}$, ya'ni ${displaystyle D = sum _ {Pin C} {c_ {P} [P]}}$ qayerda ${displaystyle c_ {P} matematikada {Z}}$ va bundan tashqari ${displaystyle {c_ {P} | c_ {P} ot = 0}}$ cheklangan to'plamdir. Bu shuni anglatadiki, bo'luvchi - bu skaler ko'paytmalarining cheklangan rasmiy yig'indisi. Ning soddalashtirilishi yo'qligiga e'tibor bering ${displaystyle c_ {P} [P]}$ bitta nuqta bilan berilgan (elliptik egri chiziqlar o'xshashligini kutish mumkin). Bundan tashqari, biz darajani aniqlaymiz ${displaystyle D}$ kabi ${displaystyle deg (D) = sum _ {pin C} {c_ {P}} in mathbb {Z}}$. Barcha bo'linuvchilar to'plami ${displaystyle mathrm {Div} (C)}$ egri chiziq ${displaystyle C}$ shakllantiradi Abeliya guruhi bu erda qo'shimcha quyidagicha yo'naltirilgan ravishda aniqlanadi ${displaystyle sum _ {pin C} {c_ {P} [P]} + sum _ {pin C} {d_ {P} [P]} = sum _ {pin C} {(c_ {P} + d_ {P }) [P]}}$. Buni ko'rish oson ${displaystyle 0 = sum _ {Pin pin} {0 [P]}}$ identifikatsiya elementi va teskari tomoni sifatida ishlaydi ${displaystyle sum _ {Pin C} {c_ {P} [P]}}$ teng ${displaystyle sum _ {Pin C} {- c_ {P} [P]}}$. To'plam ${displaystyle mathrm {Div} ^ {0} (C) = {Din mathrm {Div} (C) | deg (D) = 0}}$ 0 darajadagi barcha bo'luvchilarning a ekanligini osongina tekshirish mumkin kichik guruh ning ${displaystyle mathrm {Div} (C)}$.
Isbot. Xaritani ko'rib chiqing ${displaystyle varphi: mathrm {Div} (C) ightarrow mathbb {Z}}$ tomonidan belgilanadi ${displaystyle varphi (D) = deg (D)}$, yozib oling ${displaystyle mathbb {Z}}$ odatdagi qo'shimchalar ostida guruhni tashkil qiladi. Keyin ${displaystyle varphi (sum _ {Pin C} {c_ {P} [P]} + sum _ {Pin C} {d_ {P} [P]}) = varphi (sum _ {Pin C} {(c_ {P) } + d_ {P}) [P]}) = sum _ {Pin C} {c_ {P} + d_ {P}} = sum _ {Pin C} {c_ {p}} + sum _ {Pin C} {d_ {p}} = varphi (sum _ {Pin C} {c_ {P} [P]}) + varphi (sum _ {Pin C} {d_ {P} [P]})}}$ va shuning uchun ${displaystyle varphi}$ a guruh homomorfizmi. Hozir, ${displaystyle mathrm {Div} ^ {0} (C)}$ bo'ladi yadro Ushbu homomorfizmning kichik guruhi ${displaystyle mathrm {Div} (C)}$.

Funktsiyani ko'rib chiqing ${displaystyle fin {overline {K}} (C) ^ {*}}$, keyin div ning rasmiy summasini ko'rib chiqishimiz mumkin${displaystyle (f) = sum _ {Pin C} {mathrm {ord} _ {P} (f) [P]}}$. Mana ord${displaystyle _ {P} (f)}$ tartibini bildiradi ${displaystyle f}$ da ${displaystyle P}$. Bizda bu buyruq bor${displaystyle _ {P} (f) <0}$ agar ${displaystyle f}$ buyurtma qutbiga ega${displaystyle _ {P} (f)}$ da ${displaystyle P}$, ord${displaystyle _ {P} (f) = 0}$ agar ${displaystyle f}$ belgilanadi va nolga teng emas ${displaystyle P}$ va ord${displaystyle _ {P} (f)> 0}$ agar ${displaystyle f}$ tartib nolga ega${displaystyle _ {P} (f)}$ da ${displaystyle P}$.^[1] Buni ko'rsatish mumkin ${displaystyle f}$ cheklangan sonli nol va qutbga ega,^[2] va shuning uchun juda ko'p sonli buyruqlar${displaystyle _ {P} (f)}$ nolga teng emas. Bu shuni anglatadiki, div${displaystyle (f)}$ bo'luvchi. Bundan tashqari, kabi ${displaystyle sum _ {Pin C} {mathrm {ord} _ {P} (f)} = 0}$,^[2] bu div${displaystyle (f)}$ 0 daraja bo'luvchisi. Bunday bo'luvchilar, ya'ni qandaydir ratsional funktsiyadan kelib chiqqan bo'luvchilar ${displaystyle f}$, asosiy bo'luvchilar va barcha asosiy bo'linuvchilar to'plami deyiladi ${displaystyle mathrm {Princ} (C)}$ ning kichik guruhidir ${displaystyle mathrm {Div} ^ {0} (C)}$.
Isbot. Identifikatsiya elementi ${displaystyle 0 = sum _ {Pin pin} {0 [P]}}$ nolga teng bo'lmagan doimiy funktsiyadan kelib chiqadi. Aytaylik ${displaystyle D_ {1} = sum _ {pin C} {mathrm {ord} _ {P} (f) [P]}, D_ {2} = sum _ {pin C} {mathrm {ord} _ {P} (g) [P]} matematikada {Princ} (C)}$ kelgan ikkita asosiy bo'luvchi ${displaystyle f}$ va ${displaystyle g}$ navbati bilan. Keyin ${displaystyle D_ {1} -D_ {2} = sum _ {Pin C} {(mathrm {ord} _ {P} (f) -mathrm {ord} _ {P} (g)) [P]}}$ funktsiyasidan kelib chiqadi ${displaystyle f / g}$va shunday qilib ${displaystyle D_ {1} -D_ {2}}$ ham asosiy bo'luvchi. Biz shunday xulosaga keldik ${displaystyle mathrm {Princ} (C)}$ bu yopiq qo'shimchalar va inversiyalar ostida, uni kichik guruhga aylantiradi.

Endi biz belgilashimiz mumkin kvant guruhi ${displaystyle J (C): = mathrm {Div} ^ {0} (C) / mathrm {Princ} (C)}$ bu Jacobian yoki the deb nomlanadi Picard guruhi ning ${displaystyle C}$. Ikki bo'luvchi ${displaystyle D_ {1}, D_ {2} matematikada {Div} ^ {0} (C)}$ ning bir xil elementiga tegishli bo'lsa, ekvivalent deyiladi ${displaystyle J (C)}$, agar shunday bo'lsa, bu shunday bo'ladi ${displaystyle D_ {1} -D_ {2}}$ asosiy bo'luvchi. Masalan, giperelliptik egri chiziqni ko'rib chiqing ${displaystyle C: y ^ {2} + h (x) y = f (x)}$ maydon ustida ${displaystyle K}$ va nuqta ${displaystyle P = (a, b)}$ kuni ${displaystyle C}$. Uchun ${displaystyle nin mathbb {Z} _ {> 0}}$ ratsional funktsiya ${displaystyle f (x) = (x-a) ^ {n}}$ tartib nolga ega ${displaystyle n}$ ikkalasida ham ${displaystyle P}$ va ${displaystyle {overline {P}}}$ va u buyurtma qutbiga ega ${displaystyle 2n}$ da ${displaystyle O}$. Shuning uchun biz divni topamiz${displaystyle (f) = nP + n {overline {P}} - 2nO}$ va biz buni div ga soddalashtira olamiz${displaystyle (f) = 2nP-2nO}$ agar ${displaystyle P}$ bu Weierstrass nuqtasi.

Misol: elliptik egri chiziqli Jacobian

Uchun elliptik egri chiziqlar Jacobian bu egri chiziqdagi odatiy guruhga oddiy izomorf bo'lib chiqadi, bu asosan xulosa Abel-Yakobi teoremasi. Buni ko'rish uchun elliptik egri chiziqni ko'rib chiqing ${displaystyle E}$ maydon ustida ${displaystyle K}$. Birinchi qadam ajratuvchi bilan bog'liqdir ${displaystyle D}$ har bir nuqtaga ${displaystyle P}$ egri chiziqda. Bir nuqtaga ${displaystyle P}$ kuni ${displaystyle E}$ biz bo'linuvchini bog'laymiz ${displaystyle D_ {P} = 1 [P] -1 [O]}$, jumladan ${displaystyle O}$ identifikatsiya elementiga bog'langan ${displaystyle O-O = 0}$. To'g'ridan-to'g'ri biz endi elementini bog'lashimiz mumkin ${displaystyle J (E)}$ har bir nuqtaga ${displaystyle P}$ bog'lash orqali ${displaystyle P}$ sinfiga ${displaystyle D_ {P}}$, bilan belgilanadi ${displaystyle [D_ {P}]}$. Keyin xarita ${displaystyle varphi: Eightarrow J (E)}$ ochkolar guruhidan ${displaystyle E}$ ning Jacobianga ${displaystyle E}$ tomonidan belgilanadi ${displaystyle varphi (P) = [D_ {P}]}$ guruh gomomorfizmi. Buni uchta nuqtaga qarab ko'rsatish mumkin ${displaystyle E}$ ga qo'shish ${displaystyle O}$, ya'ni biz olamiz ${displaystyle P, Q, Rin E}$ bilan ${displaystyle P + Q + R = O}$ yoki ${displaystyle P + Q = -R}$. Endi biz Jacobian to'g'risidagi qo'shimchalar to'g'risidagi qonuni bilan bog'laymiz geometrik guruh qonuni elliptik egri chiziqlarda. Qo'shilmoqda ${displaystyle P}$ va ${displaystyle Q}$ geometrik jihatdan to'g'ri chiziq chizishni anglatadi ${displaystyle P}$ va ${displaystyle Q}$, bu chiziq egri chiziqni boshqa bir nuqtada kesib o'tadi. Keyin aniqlaymiz ${displaystyle P + Q}$ bu fikrning teskarisi sifatida. Shuning uchun ishda ${displaystyle P + Q + R = O}$ bizda bu uchta nuqta kollinear, shuning uchun ba'zi bir chiziqlar mavjud ${displaystyle fin K [x, y]}$ shu kabi ${displaystyle P}$, ${displaystyle Q}$ va ${displaystyle R}$ qondirmoq ${displaystyle f (x, y) = 0}$. Hozir, ${displaystyle varphi (P) + varphi (Q) + varphi (R) = [D_ {P}] + [D_ {Q}] + [D_ {R}] = [[P] + [Q] + [R] -3 [O]]}$ ning identifikatsiya elementi bo'lgan ${displaystyle J (E)}$ kabi ${displaystyle [P] + [Q] + [R] -3 [O]}$ ratsional funktsiya bo'yicha bo'luvchidir ${displaystyle f}$ va shu bilan u asosiy bo'linuvchidir. Biz xulosa qilamiz ${displaystyle varphi (P) + varphi (Q) + varphi (R) = varphi (O) = varphi (P + Q + R)}$.

Abel-Jakobi teoremasida bo'luvchi deyilgan ${displaystyle D = sum _ {Pin E} {c_ {P} [P]}}$ faqat agar shunday bo'lsa, asosiy hisoblanadi ${displaystyle D}$ 0 va darajalariga ega ${displaystyle sum _ {Pin E} {c_ {P} P} = O}$ kubik egri chiziqlar uchun odatiy qo'shilish qonuni bo'yicha. Ikki bo'luvchi sifatida ${displaystyle D_ {1}, D_ {2} matematikada {Div} ^ {0} (E)}$ agar shunday bo'lsa va shunga o'xshash bo'lsa ${displaystyle D_ {1} -D_ {2}}$ asosiy hisoblanadi, biz shunday xulosa qilamiz ${displaystyle D_ {1} = sum _ {Pin E} {c_ {P} [P]}}$ va ${displaystyle D_ {2} = sum _ {Pin E} {d_ {P} [P]}}$ agar shunday bo'lsa va shunga o'xshash bo'lsa ${displaystyle sum _ {Pin E} {c_ {P} P} = sum _ {Pin E} {d_ {P} P}}$. Endi 0 darajadagi har bir nodavlat bo'luvchi shaklning bo'linishiga tengdir ${displaystyle [P] - [O]}$, bu biz nuqta belgilashning yo'lini topganimizni anglatadi ${displaystyle E}$ har bir sinfga ${displaystyle [D_ {P}]}$. Ya'ni, to ${displaystyle [D_ {P}] = [1 [P] -1 [O]]}$ Biz fikrni belgilaymiz ${displaystyle (P-O) + O = P}$. Ushbu xaritalar 0 ga bog'langan neytral elementga qadar tarqaladi ${displaystyle 0 + O = O}$. Bunday xarita ${displaystyle psi: J (E) qarata E}$ tomonidan belgilanadi ${displaystyle psi ([D_ {P}]) = P}$ ning teskari tomoni ${displaystyle varphi}$. Shunday qilib ${displaystyle varphi}$ aslida a guruh izomorfizmi, buni isbotlash ${displaystyle E}$ va ${displaystyle J (E)}$ izomorfikdir.

Giperelliptik egri chiziqning yakobiani

Umumiy giperelliptik holat biroz murakkabroq. Giperelliptik egri chiziqni ko'rib chiqing ${displaystyle C: y ^ {2} + h (x) y = f (x)}$ jins ${displaystyle g}$ maydon ustida ${displaystyle K}$. Ajratuvchi ${displaystyle D}$ ning ${displaystyle C}$ shaklga ega bo'lsa, qisqartirilgan deb nomlanadi ${displaystyle D = sum _ {i = 1} ^ {k} {[P_ {i}]} - k [O]}$ qayerda ${displaystyle kleq g}$, ${displaystyle P_ {i} ot = O}$ Barcha uchun ${displaystyle i = 1, ..., k}$ va ${displaystyle P_ {i} ot = {overline {P_ {j}}}}$ uchun ${displaystyle iot = j}$. Qisqartirilgan bo'luvchi har doim 0 darajaga ega ekanligini unutmang, shuningdek, bu ham mumkin ${displaystyle P_ {i} = P_ {j}}$ agar ${displaystyle iot = j}$, lekin faqat agar ${displaystyle P_ {i}}$ Weierstrass nuqtasi emas. Buni har bir bo'luvchi uchun isbotlash mumkin ${displaystyle Din mathrm {Div} ^ {0} (C)}$ noyob kamaytirilgan bo'luvchi mavjud ${displaystyle D '}$ shu kabi ${displaystyle D}$ ga teng ${displaystyle D '}$.^[3] Shuning uchun kvant guruhining har bir klassi ${displaystyle J (C)}$ aniq bitta kamaytirilgan bo'luvchiga ega. Ko'rish o'rniga ${displaystyle J (C)}$ Shunday qilib biz barcha kamaytirilgan bo'linuvchilar to'plamiga qarashimiz mumkin.

Kamaytirilgan bo'linuvchilar va ularning Mumforddagi vakili

Kamaytirilgan bo'linmalarni ko'rib chiqishning qulay usuli bu ularning Mumford vakolatxonasi orqali. Ushbu tasvirdagi bo'luvchi juftlikdan iborat ko'p polinomlardan iborat ${displaystyle u, vin K [x]}$ shu kabi ${displaystyle u}$ monik, ${displaystyle deg (v)$ va ${displaystyle u | v ^ {2} + vh-f}$. Har qanday ahamiyatsiz qisqartirilgan bo'linuvchini bunday polinomlarning noyob juftligi bilan ifodalash mumkin. Buni faktoring yordamida ko'rish mumkin ${displaystyle u (x) = prod _ {i = 1} ^ {k} {(x-x_ {i})}}$ yilda ${displaystyle {overline {K}}}$ kabi amalga oshirilishi mumkin ${displaystyle u}$ monik. Oxirgi shart yoqilgan ${displaystyle u}$ va ${displaystyle v}$ keyin nuqta shuni anglatadi ${displaystyle P_ {i} = (x_ {i}, v (x_ {i}))}$ yotadi ${displaystyle C}$ har bir kishi uchun ${displaystyle i = 1, ..., k}$. Shunday qilib ${displaystyle D = sum _ {i = 1} ^ {k} {[P_ {i}]} - k [O]}$ bo'linuvchidir va aslida uni kamaytirilgan bo'luvchi sifatida ko'rsatish mumkin. Masalan, shart ${displaystyle deg (u) leq g}$ buni ta'minlaydi ${displaystyle kleq g}$. Bu Mumford vakolatxonasida qisqartirilgan bo'linuvchilar va bo'linuvchilar o'rtasidagi 1-1 muvofiqlikni beradi. Misol tariqasida, ${displaystyle 0 = sum _ {Pin pin} {0 [P]}}$ ning identifikator elementiga mansub noyob kamaytirilgan bo'linishdir ${displaystyle J (C)}$. Uning Mumford vakili ${displaystyle u (x) = 1}$ va ${displaystyle v (x) = 0}$. Kamaytirilgan bo'linuvchilar va ularning Mumforddagi vakolatxonalari o'rtasida oldinga va orqaga o'tish endi oson ish. Masalan, giperelliptik egri chiziqni ko'rib chiqing ${displaystyle C: y ^ {2} = x ^ {5} -4x ^ {4} -14x ^ {3} + 36x ^ {2} + 45x = x (x + 1) (x-3) (x +) 3) (x-5)}$ 2-raqamning haqiqiy sonlari bo'yicha. Egri chiziqda quyidagi nuqtalarni topishimiz mumkin ${displaystyle P = (1,8)}$, ${displaystyle Q = (3,0)}$ va ${displaystyle R = (5,0)}$. Keyin kamaytirilgan bo'linmalarni aniqlashimiz mumkin ${displaystyle D = [P] + [Q] -2 [O]}$ va ${displaystyle D '= [P] + [R] -2 [O]}$. Ning Mumford vakili ${displaystyle D}$ polinomlardan iborat ${displaystyle u}$ va ${displaystyle v}$ bilan ${displaystyle deg (v)$ va biz bilamizki, ning birinchi koordinatalari ${displaystyle P}$ va ${displaystyle Q}$, ya'ni 1 va 3 ning nollari bo'lishi kerak ${displaystyle u}$. Shuning uchun bizda ${displaystyle u (x) = (x-1) (x-3) = x ^ {2} -4x + 3}$. Sifatida ${displaystyle P = (1, v (1))}$ va ${displaystyle Q = (3, v (3))}$ shunday bo'lishi kerak ${displaystyle v (1) = 8}$ va ${displaystyle v (3) = 0}$ va shunday qilib ${displaystyle v}$ 1 darajaga ega. Ushbu xususiyatlarga ega bo'lgan 1 darajali to'liq polinom mavjud, ya'ni ${displaystyle v (x) = - 4x + 12}$. Shunday qilib Mumford vakili ${displaystyle D}$ bu ${displaystyle u (x) = x ^ {2} -4x + 3}$ va ${displaystyle v (x) = - 4x + 12}$. Shunga o'xshash tarzda biz Mumford vakolatxonasini topishimiz mumkin ${displaystyle (u ', v')}$ ning ${displaystyle D '}$, bizda ... bor ${displaystyle u '(x) = (x-1) (x-5) = x ^ {2} -6x + 5}$ va ${displaystyle v (x) = - 2x + 10}$. Agar nuqta bo'lsa ${displaystyle P_ {i} = (x_ {i}, y_ {i})}$ ko'pligi bilan paydo bo'ladi n, polinom v qondirish kerak${displaystyle chap ({frac {d} {dt}} ight) ^ {j} chap [v (x) ^ {2} + v (x) h (x) -f (x) ight] _ {| _ { x = x_ {i}}} = 0}$uchun ${displaystyle 0leq jleq n_ {i} -1}$.

Kantor algoritmi

Bor algoritm bu ikkita kamaytirilgan bo'linishni oladi ${displaystyle D_ {1}}$ va ${displaystyle D_ {2}}$ ularning Mumford vakolatxonasida va noyob kamaytirilgan bo'linmani hosil qiladi ${displaystyle D}$, yana Mumford vakolatxonasida shunday ${displaystyle D}$ ga teng ${displaystyle D_ {1} + D_ {2}}$.^[4] Yakobianning har bir elementi tarkibidagi bitta qisqartirilgan bo'linma bilan ifodalanishi mumkin bo'lganligi sababli, algoritm Mumford vakolatxonasida keltirilgan ushbu kamaytirilgan bo'linmalar bo'yicha guruh operatsiyasini bajarishga imkon beradi. Algoritm dastlab tomonidan ishlab chiqilgan Devid G. Kantor (bilan aralashmaslik kerak Jorj Kantor ), algoritm nomini tushuntirish. Kantor bu ishni ko'rib chiqdi ${displaystyle h (x) = 0}$, umumiy holat tufayli Koblitz. Kirish ikkita kamaytirilgan bo'luvchidir ${displaystyle D_ {1} = (u_ {1}, v_ {1})}$ va ${displaystyle D_ {2} = (u_ {2}, v_ {2})}$ ularning Mumford giperelliptik egri chizig'ida ${displaystyle C: y ^ {2} + h (x) y = f (x)}$ jins ${displaystyle g}$ maydon ustidan ${displaystyle K}$. Algoritm quyidagicha ishlaydi

1. Dan foydalanish kengaytirilgan evklid algoritmi polinomlarni hisoblash ${displaystyle d_ {1}, e_ {1}, e_ {2} K [x]} da$ shu kabi ${displaystyle d_ {1} = gcd (u_ {1}, u_ {2})}$ va ${displaystyle d_ {1} = e_ {1} u_ {1} + e_ {2} u_ {2}}$.
2. Kengaytirilgan Evklid algoritmidan foydalangan holda yana polinomlarni hisoblang ${displaystyle d, c_ {1}, c_ {2} in K [x]}$ bilan ${displaystyle d = gcd (d_ {1}, v_ {1} + v_ {2} + h)}$ va ${displaystyle d = c_ {1} d_ {1} + c_ {2} (v_ {1} + v_ {2} + h)}$.
3. Qo'y ${displaystyle s_ {1} = c_ {1} e_ {1}}$, ${displaystyle s_ {2} = c_ {1} e_ {2}}$ va ${displaystyle s_ {3} = c_ {2}}$beradi ${displaystyle d = s_ {1} u_ {1} + s_ {2} u_ {2} + s_ {3} (v_ {1} + v_ {2} + h)}$.
4. O'rnatish ${displaystyle u = {frac {u_ {1} u_ {2}} {d ^ {2}}}}$ va ${displaystyle v = {frac {s_ {1} u_ {1} v_ {2} + s_ {2} u_ {2} v_ {1} + s_ {3} (v_ {1} v_ {2} + f)} {d}} mod u}$.
5. O'rnatish ${displaystyle u '= {frac {f-vh-v ^ {2}} {u}}}$ va ${displaystyle v '= - h-vmod u'}$.
6. Agar ${displaystyle deg (u ')> g}$, keyin o'rnating ${displaystyle u = u '}$ va ${displaystyle v = v '}$ va 5-bosqichni qadar takrorlang ${displaystyle deg (u ') leq g}$.
7. Qil ${displaystyle u '}$ uning etakchi koeffitsienti orqali bo'lish orqali monika.
8. Chiqish ${displaystyle D = (u ', v')}$.

Algoritmning to'g'riligini isbotidan topish mumkin.^[5]

Misol

Misol tariqasida egri chiziqni ko'rib chiqing

${displaystyle C: y ^ {2} = x ^ {5} -4x ^ {4} -14x ^ {3} + 36x ^ {2} + 45x = x (x + 1) (x-3) (x +) 3) (x-5)}$

2-raqamning haqiqiy sonlari bo'yicha. Ballar uchun

${displaystyle P = (1,8)}$, ${displaystyle Q = (3,0)}$ va ${displaystyle R = (5,0)}$

va kamaytirilgan bo'linuvchilar

${displaystyle D_ {1} = [P] + [Q] -2 [O]}$ va ${displaystyle D_ {2} = [P] + [R] -2 [O]}$

biz buni bilamiz

${displaystyle (u_ {1} = x ^ {2} -4x + 3, v_ {1} = - 4x + 12)}$va

${displaystyle (u_ {2} = x ^ {2} -6x + 5, v_ {2} = - 2x + 10)}$

ning Mumford vakolatxonalari ${displaystyle D_ {1}}$ va ${displaystyle D_ {2}}$ navbati bilan.

Kantor algoritmi yordamida ularning yig'indisini hisoblashimiz mumkin. Biz hisoblash bilan boshlaymiz

${displaystyle d_ {1} = gcd (u_ {1}, u_ {2}) = x-1}$va

${displaystyle d_ {1} = e_ {1} u_ {1} + e_ {2} u_ {2}}$

uchun ${displaystyle e_ {1} = {frac {1} {2}}}$va ${displaystyle e_ {2} = - {frac {1} {2}}}$.

Ikkinchi bosqichda biz topamiz

${displaystyle d = gcd (d_ {1}, v_ {1} + v_ {2} + h) = gcd (x-1, -6x + 22) = 1}$ va

${displaystyle 1 = c_ {1} d_ {1} + c_ {2} (v_ {1} + v_ {2} + h)}$

uchun ${displaystyle c_ {1} = {frac {3} {8}}}$ va ${displaystyle c_ {2} = {frac {1} {16}}}$.

Endi biz hisoblashimiz mumkin

${displaystyle s_ {1} = c_ {1} e_ {1} = {frac {3} {16}}}$,

${displaystyle s_ {2} = c_ {1} e_ {2} = - {frac {3} {16}}}$ va

${displaystyle s_ {3} = c_ {2} = {frac {1} {16}}}$.

Shunday qilib

${displaystyle u = {frac {u_ {1} u_ {2}} {d ^ {2}}} = u_ {1} u_ {2} = x ^ {4} -10x ^ {3} + 32x ^ {2 } -38x + 15}$ va

${displaystyle v = {frac {s_ {1} u_ {1} v_ {2} + s_ {2} u_ {2} v_ {1} + s_ {3} (v_ {1} v_ {2} + f)} {d}} mod u}$

${displaystyle = {frac {1} {16}} (x ^ {5} -4x ^ {4} -8x ^ {3} -10x ^ {2} + 119x + 30) mod u}$

${displaystyle = {frac {1} {4}} (5x ^ {3} -41x ^ {2} + 83x-15)}$.

Va nihoyat biz topamiz

${displaystyle u '= {frac {f-v ^ {2}} {u}} = {frac {1} {16}} (- 25x ^ {2} + 176x-15)}$ va

${displaystyle v '= - vmod u' = - {frac {72} {125}} (17x-5)}$.

Qilgandan keyin ${displaystyle u '}$ monik biz shunday xulosa qilamiz

${displaystyle D = (- 25x ^ {2} + 176x-15, - {frac {72} {125}} (17x-5))}$

ga teng ${displaystyle D_ {1} + D_ {2}}$.

Cantor algoritmi haqida ko'proq ma'lumot

Bu erda keltirilgan Kantor algoritmi umumiy shaklga ega, u har qanday turdagi va har qanday sohadagi giperelliptik egri chiziqlar uchun amal qiladi. Biroq, algoritm juda samarali emas. Masalan, buning uchun kengaytirilgan evklid algoritmidan foydalanish kerak. Agar biz egri chizig'ini yoki maydonning xarakteristikasini (yoki ikkalasini) tuzatsak, algoritmni yanada samaraliroq qilishimiz mumkin. Ba'zi bir maxsus holatlarda biz juda tezkor aniq qo'shimchalar va ikki barobar ko'paytiradigan formulalarni olamiz. Masalan, 2-turdagi giperelliptik egri chiziqlar uchun aniq formulalar mavjud^{[6] [7]}va 3-tur.

Giperelliptik egri chiziqlar uchun ikkita qisqartirilgan bo'linishni qo'shishni tasavvur qilish ham oson. Shaklning haqiqiy sonlari ustida bizda 2-giperelliptik egri bor deylik

${displaystyle C: y ^ {2} = f (x)}$

va ikkita kamaytirilgan bo'luvchi

${displaystyle D_ {1} = [P] + [Q] -2 [O]}$ va

${displaystyle D_ {2} = [R] + [S] -2 [O]}$.

Buni taxmin qiling

${displaystyle P, Qot = {overline {R}}, {overline {S}}}$,

bu holat alohida ko'rib chiqilishi kerak. To'liq 1 kubik polinom mavjud

${displaystyle a (x) = a_ {0} x ^ {3} + a_ {1} x ^ {2} + a_ {2} x + a_ {3}}$

to'rtta nuqtadan o'tish

${displaystyle P, Q, R, S}$.

Masalan, buning iloji bo'lishi mumkinligiga e'tibor bering ${displaystyle P = Q}$, shuning uchun biz olishimiz kerak ko'plik hisobga olingan. Qo'yish ${displaystyle y = a (x)}$ biz buni topamiz

${displaystyle y ^ {2} = f (x) = a ^ {2} (x)}$

va shuning uchun

${displaystyle f (x) -a ^ {2} (x) = 0}$.

Sifatida ${displaystyle f (x) -a ^ {2} (x)}$ 6 darajali polinom, biz bunga egamiz ${displaystyle f (x) -a ^ {2} (x)}$ oltita nolga ega va shuning uchun ${displaystyle a (x)}$ bundan tashqari bor ${displaystyle P, Q, R, S}$ bilan yana ikkita kesishish nuqtasi ${displaystyle C}$, ularga qo'ng'iroq qiling ${displaystyle T}$ va ${displaystyle U}$, bilan ${displaystyle Tot = {overline {U}}}$. Hozir, ${displaystyle P, Q, R, S, T, U}$ ning kesishish nuqtalari ${displaystyle C}$ algebraik egri bilan. Shunday qilib, biz ajratuvchi ekanligini bilamiz

${displaystyle D = [P] + [Q] + [R] + [S] + [T] + [U] -6 [O]}$

bo'linishni nazarda tutadigan asosiy narsa

${displaystyle [P] + [Q] + [R] + [S] -4 [O]}$

bo'luvchiga tengdir

${displaystyle - ([T] + [U] -2 [O])}$.

Bundan tashqari, bo'luvchi

${displaystyle [P] + [{overline {P}}] - 2 [O]}$

har bir nuqta uchun asosiy hisoblanadi ${displaystyle P = (a, b)}$ kuni ${displaystyle C}$ chunki bu ratsional funktsiyadan kelib chiqadi ${displaystyle b (x) = x-a}$. Bu buni beradi ${displaystyle - ([P] - [O])}$ va ${displaystyle [{overline {P}}] - [O]}$ tengdir. Ushbu ikkita xususiyatni birlashtirib, biz xulosa qilamiz

${displaystyle D_ {1} + D_ {2} = ([P] + [Q] -2 [O]) + ([R] + [S] -2 [O])}$

kamaytirilgan bo'luvchiga teng

${displaystyle [{overline {T}}] + [{overline {U}}] - 2 [O]}$.

Rasmda bu 2-rasmga o'xshaydi. Ning koeffitsientlarini aniq hisoblash mumkin ${displaystyle a (x)}$, shu tarzda biz ikkita kamaytirilgan bo'luvchini qo'shish uchun aniq formulalarga kelishimiz mumkin.

Shakl 2: Jacobianning ikkita elementini qo'shish misoli

Adabiyotlar