עקום אלגברי – הבדלי גרסאות

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