עקום אלגברי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה |
אין תקציר עריכה |
||
שורה 5:
==עקומים חלקים==
חוג הקואורדינטות של עקום אלגברי חלק הוא [[חוג דדקינד]]. לכן (בהקשר הרחב יותר של [[סכמה (מתמטיקה)|סכמות]]) חקר של עקומים אלגבריים אפיניים חלקים שקול לחקר חוג דדקינד.
לכל עקום אלגברי חלק יש קומפקטיפיקציה (זאת אומרת עקום שלם המכיל אותו כתת-קבוצה פתוחה צפופה) חלקה יחידה. לכן ניתן למיין עקומים אלגבריים חלקים באמצעות עקומים חלקים שלמים. באופן מפורש יותר, כדי לתאר עקום חלק, צריך לתאר עקום חלק שלם ולהוציא ממנו קבוצה סופית של נקודות.
===עקומים שלמים חלקים===
כשמתעניינים בעקומים מעל [[שדה (מבנה אלגברי)|שדה]], יש מיון ידוע של
יש עקום יחיד מגנוס 0. הוא הישר הפרויקטיבי. זה העקום החלק השלם היחיד המהווה [[יריעת פאנו]]. עקומים מגנוס 1 נקראים [[עקום אליפטי|עקומים אליפטיים]]. יש משפחה חד-פרמטרית של עקומים כאלה (הפרמטר נקרא אינווריאנט <math>j</math> של העקום והוא רץ ב-<math>k</math>). לעקומים אליפטיים מקום מיוחד בחקר העקומים ובגאומטריה אלגברית בכלל. על כל עקום אליפטי (בעל נקודה) יש מבנה של [[חבורה אלגברית]]. חבורת ה[[אוטומורפיזם]] של עקום אליפטי (כשחושבים עליו כיריעה) היא הרחבה סופית של העקום עצמו (כשחושבים עליו כחבורה). עקומים אליפטיים הם העקומים החלקים השלמים היחידים המהווים [[יריעת קאלאבי-יאו|יריעות קאלאבי-יאו]].
|