עקום אליפטי

במתמטיקה, ובמיוחד בגאומטריה אלגברית ותורת המספרים, עקום אליפטי הוא עקום אלגברי פרויקטיבי חלק מגנוס 1. עקומים אליפטיים הם העקומים הפשוטים ביותר שאינם רציונלים. כמו כן, הם היריעות אבליות הפשוטות ביותר. עקומים אליפטים הם אובייקט מחקר מרכזי במתמטיקה מודרנית ונמצאו להם שימושים רבים בתחומים רבים של המתמטיקה ומדעי המחשב. את שמם, קיבלו העקומים האליפטים מן הקשר שלהם לחישוב אורך הקשת של אליפסות, הכרוך בחישוב אינטגרל אליפטי.

כל העקומים האליפטים הם מישוריים, כלומר ניתנים לשיכון במישור הפרויקטיבי. אם המאפיין של שדה הבסיס ${\displaystyle K}$ אינו 2 או 3, כל עקום אליפטי מעל ${\displaystyle K}$ איזומורפי לאוסף הנקודות במישור הפרויקטיבי המקיימות משוואה מעוקבת מהצורה:

${\displaystyle y_{}^{2}z=x^{3}-p\cdot xz^{2}-q\cdot z^{3}}$

כאשר ${\displaystyle p}$ ו-${\displaystyle q}$ הם איברים של ${\displaystyle K}$. הצגה זו נקראת צורת ויירשטראס של העקום. אם המאפיין הוא 2 או 3, הצורה הכללית קצת שונה.

בעזרת צורת ויירשטראס, ניתן להגדיר מבנה של חבורה על אוסף הנקודות של עקום אליפטי. הכפל מאופיין על ידי התכונות הבאות:

1. הנקודה [0:1:0] היא האיבר האדיש.
2. אם ${\displaystyle \ell }$ ישר פרויקטיבי שחותך את העקום בנקודות P,Q,R אז מתקיים P+Q+R=0.

בתנאי השני, את הנקודות צריך לספור לפי כפליות החיתוך: לדוגמה, אם ${\displaystyle \ell }$ משיק לעקום בנקודה P וחותך אותו בנקודה נוספת Q, הדרישה היא 2P+Q=0.

תחת פעולת כפל זו העקום הוא יריעה אבלית.

אם השדה ${\displaystyle K}$ הוא שדה המספרים המרוכבים, אז לכל עקום אליפטי מעל K יש פרמטריזציה על ידי פונקציה אליפטית מסוימת והנגזרת שלה. באופן מפורש, לכל עקום אליפטי ${\displaystyle E}$ קיים שריג ${\displaystyle L}$ עם פונקציית ויירשטראס אליפטית תואמת ${\displaystyle \wp }$, כך שההעתקה

${\displaystyle \varphi :\mathbf {C} /L\rightarrow E}$

המוגדרת על ידי

${\displaystyle \varphi (z)=[1:\wp (z):\wp '(z)]}$

היא איזומורפיזם של חבורות ושל משטחי רימן. בפרט, ${\displaystyle E}$ הומיאומורפי לטורוס (כיוון שהקבוצה ${\displaystyle \mathbf {C} /L}$ היא טורוס).

בכוון ההפוך, אם ${\displaystyle L}$ שריג עם פונקציית ויירשטראס ${\displaystyle \wp }$, אז התמונה של ${\displaystyle \varphi }$ היא עקום אליפטי. שני עקומים אליפטיים הם איזומורפיים אם ורק אם השריגים המתאימים להם הומוטתיים.

מחלקות איזומורפיזם של עקומים אליפטיים מתוארות על ידי קבוע j של עקומים אליפטיים.

אם ${\displaystyle E}$ עקום אליפטי שמוגדר מעל שדה סופי ${\displaystyle \mathbb {F} _{q}}$, האוסף ${\displaystyle E(\mathbb {F} _{q})}$ של הפתרונות מעל השדה ${\displaystyle \mathbb {F} _{q}}$ הוא קבוצה סופית. משפט האסה (Hasse) על עקומים אליפטיים אומר כי

${\displaystyle \left|\sharp E(\mathbb {F} _{q})-q-1\right|<2{\sqrt {q}}}$

בהוכחת המשפט משתמשים בהעתקת הפרובניוס של השדה ${\displaystyle \mathbb {F} _{q}}$.

מציאת המספר המדויק של הנקודות הרציונליות של עקום אליפטי מעל שדה סופי היא באופן כללי בעיה קשה לחישוב.

עקומים אליפטיים מעל שדות סופיים נמצאים בשימוש בכמה יישומים קריפטוגרפיים, וכן לצורך פירוק לגורמים של מספרים שלמים.

משפט מורדל-וייל קובע כי אם השדה ${\displaystyle K}$ הוא השדה של המספרים הרציונליים (או באופן כללי יותר - שדה מספרים, כלומר הרחבה אלגברית סופית של שדה הרציונלים), אז החבורה של הנקודות ה-${\displaystyle K}$-רציונליות היא נוצרת סופית. לא ידוע אלגוריתם כללי לחישוב דרגת החבורה האבלית הזו. עם זאת, נוסחה לחישוב הדרגה נתונה על ידי השערת בירץ' וסווינרטון-דייר.

ההוכחה של המשפט האחרון של פרמה כוללת הוכחה של מקרה פרטי של משפט טניאמה-שימורה (הידוע יותר כ"השערת טניאמה-שימורה"), הקושר עקומים אליפטיים מעל המספרים הרציונליים לבין תבניות מודולריות.

עקומים אליפטיים אופייניים מעל השדה של המספרים הממשיים נתונים על ידי המשוואות ${\displaystyle y_{}^{2}=x^{3}-x}$ ו-${\displaystyle y_{}^{2}=x^{3}-x+1}$.

עקומים אליפטיים ניתנים להגדרה מעל כל שדה ${\displaystyle K}$; ההגדרה הפורמלית של עקום אליפטי הוא: עקום אלגברי פרויקטיבי, לא סינגולרי, מעל ${\displaystyle K}$ מגנוס 1, עם נקודה קבועה המוגדרת מעל ${\displaystyle K}$. בפרט, עקום אליפטי מעל שדה המספרים המרוכבים הוא משטח רימן קומפקטי.

אם המאפיין של ${\displaystyle K}$ אינו 2 או 3, הרי שכל עקום אליפטי מעל ${\displaystyle K}$ אפשר להביא (על ידי העתקה רציונלית) לצורה הבאה:

${\displaystyle y_{}^{2}=x^{3}-p\cdot x-q}$

כאשר ${\displaystyle p}$ ו-${\displaystyle q}$ הם איברים של ${\displaystyle K}$, כך שלחלק הימני של המשוואה הזו אין אף שורש כפול. אם המאפיין הוא 2 או 3, הצורה הכללית קצת שונה.

לרוב לוקחים את העקום להיות קבוצת כל הנקודות ${\displaystyle (x,y)}$ אשר מקיימות את המשוואה לעיל, וכך שגם ${\displaystyle x}$ וגם ${\displaystyle y}$ הם איברים בסגור האלגברי של ${\displaystyle K}$. נקודה של העקום אשר שתי הקואורדינטות שלה שייכות ל-${\displaystyle K}$ נקראת נקודה ${\displaystyle K}$-רציונלית.

על ידי הוספת נקודה "באינסוף", אנו משיגים את הגרסה הפרויקטיבית של עקום זה. אם ${\displaystyle P}$ ו-${\displaystyle Q}$ הן שתי נקודות על העקום, הרי שקיימת נקודה שלישית אחת ויחידה אשר מהווה את החיתוך בין העקום לבין הקו הישר העובר בין ${\displaystyle P}$ ל-${\displaystyle Q}$. אם הקו הישר משיק לעקום בנקודה כלשהי, הרי שנקודה זו נספרת פעמיים, ואם הקו הישר מקביל לציר ה-${\displaystyle y}$, אנו מגדירים את הנקודה השלישית "באינסוף". בדיוק אחד מן המצבים הללו מתקיים לכל זוג של נקודות על עקום אליפטי.

ניתן להגדיר פעולה בינארית על העקום, שתסומן ב"${\displaystyle +}$", עם התכונות הבאות: אנו מתייחסים לנקודת האינסוף כאפס, כלומר כאיבר הזהות של הקבוצה; אם קו ישר חוצה את העקום ב-3 נקודות ${\displaystyle P}$, ${\displaystyle Q}$ ו-${\displaystyle R}$, אנו נדרוש כי יתקיים ${\displaystyle P+Q+R=0}$. ניתן לבדוק כי הגדרה זו הופכת את העקום לחבורה אבלית, ובכך גם ליריעה אבלית. כמו כן, ניתן להראות שקבוצת הנקודות ה-${\displaystyle K}$-רציונליות, כולל נקודת האינסוף, יוצרים תת חבורה של חבורה זו. אם נסמן את העקום ב-${\displaystyle E}$, הרי שנוהגים לרשום את העקום כ-${\displaystyle E(K)}$.

את החבורה הזו ניתן לתאר הן בצורה אלגברית והן בצורה גאומטרית. בהינתן העקום ${\displaystyle y_{}^{2}=x^{3}-p\cdot x-q}$ מעל השדה ${\displaystyle K}$ (אשר המאפיין שלו שונה מ-2 ו-3), ונקודות ${\displaystyle P=\left(x_{P},y_{P}\right)}$ ו-${\displaystyle Q=\left(x_{Q},y_{Q}\right)}$ על העקום, נניח תחילה כי ${\displaystyle x_{P}\neq x_{Q}}$. יהי ${\displaystyle s={\frac {y_{Q}-y_{P}}{x_{Q}-x_{P}}}}$. כיוון ש-${\displaystyle K}$ שדה, ${\displaystyle s}$ מוגדר היטב. לכן נוכל להגדיר ${\displaystyle R=P+Q=\left(x_{R},y_{R}\right)}$ על ידי:

${\displaystyle x_{R}^{}=s^{2}-x_{P}-x_{Q}}$

${\displaystyle y_{R}^{}=-y_{P}+s(x_{P}-x_{R})}$

אם מתקיים ${\displaystyle x_{P}^{}=x_{Q}}$, הרי שיש שתי אפשרויות: אם ${\displaystyle y_{P}^{}=-y_{Q}}$, אז הסכום מוגדר להיות 0. לכן, ההופכי של כל נקודה על העקום הוא הנקודה הסימטרית מעבר לציר ה-x. אם ${\displaystyle y_{P}^{}=y_{Q}\neq 0}$, אז ${\displaystyle R=P+P=2\cdot P=(x_{R},y_{R})}$ נתון על ידי:

${\displaystyle s={(3{x_{P}}^{2}-p)}/{(2y_{P})}}$

${\displaystyle x_{R}=s_{}^{2}-2x_{P}}$

${\displaystyle y_{R}^{}=-y_{P}+s(x_{P}-x_{R})}$

אם ${\displaystyle y_{P}^{}=y_{Q}=0}$, אז ${\displaystyle P_{}^{}+P=0}$.

• הצפנה מבוססת עקומים אליפטיים

עץ מיון של חבורות אלגבריות

חבורה אלגברית חבורה אלגברית                                                           חבורה ליניארית חבורה ליניארית       חבורה קשירה חבורה קשירה                       יריעה אבלית[1] יריעה אבלית[1]                                 עקום אליפטי עקום אליפטי   חבורה רדוקטיבית[2] חבורה רדוקטיבית[2]   חבורה סופית חבורה סופית   חבורה ליניארית פתירה[2] חבורה ליניארית פתירה[2]   חבורה פשוטת קשר חבורה פשוטת קשר             מקרא   מחלקה של חבורות אלגבריות או חבורה אלגברית בודדות; שם התואר "אלגברית/אלגברי" מושמט בדרך כלל.   מחלקה חשובה בתורת החבורות האלגבריות. ${\displaystyle \cup }$ מחלקה שמכוסה על ידי תתי-המחלקות שלה המופיעות בתרשים, אם שדה ההגדה סגור אלגברית. ${\displaystyle \cap }$ מחלקה המהווה חיתוך של המחלקות שמכילות אותה ומופיעות בתרשים.   חבורה בודדת   סידרה של חבורות   מחלקה של חבורות המהווה סידרה אחת עם שדה ההגדרה סגור אלגברית.   משפחה חד-פרמטרית של חבורת   קבוצה דיסקרטית של חבורות   משפחה רחבה יותר של חבורות   מסלול שיורד למטה מצביע על כך שהמחלקה התחתונה היא חלק מהמחלקה העליונה איזוגניה                                           חבורה קלאסית[3] חבורה קלאסית[3]   חבורה פשוטה למחצה[2] חבורה פשוטה למחצה[2]   טורוס טורוס ${\displaystyle \,\cap }$   חבורת המטריצות המשולשיות חבורת המטריצות המשולשיות   חבורה אוניפוטנטית[4] חבורה אוניפוטנטית[4]                                                       חבורה כמעט פשוטה[5] חבורה כמעט פשוטה[5]   ${\displaystyle \mathbb {G} _{m}}$ ${\displaystyle \mathbb {G} _{m}}$           חבורת המטריצות המשולשיות האוניפוטנטיות חבורת המטריצות המשולשיות האוניפוטנטיות                             ${\displaystyle \mathbb {G} _{a}}$ ${\displaystyle \mathbb {G} _{a}}$                     חבורה פשוטה[6] חבורה פשוטה[6] ${\displaystyle \,\cup }$   חבורה פשוטת קשר כמעט פשוטה חבורה פשוטת קשר כמעט פשוטה ${\displaystyle \,\cup }$                                                                                                                                       ${\displaystyle SL_{n}}$ ${\displaystyle SL_{n}}$   ${\displaystyle SU(V)}$ ${\displaystyle SU(V)}$   ${\displaystyle Spin(V)}$ ${\displaystyle Spin(V)}$           ${\displaystyle E_{6}}$ פשוטת הקשר ${\displaystyle E_{6}}$ פשוטת הקשר   ${\displaystyle E_{7}}$ פשוטת הקשר ${\displaystyle E_{7}}$ פשוטת הקשר                                                                                                       ${\displaystyle PGL_{n}}$ ${\displaystyle PGL_{n}}$   ${\displaystyle PU(V)}$ ${\displaystyle PU(V)}$   ${\displaystyle PO(V)}$ ${\displaystyle PO(V)}$   ${\displaystyle PSp_{2n}}$ ${\displaystyle PSp_{2n}}$   ${\displaystyle E_{6}}$ הפשוטה ${\displaystyle E_{6}}$ הפשוטה   ${\displaystyle E_{7}}$ הפשוטה ${\displaystyle E_{7}}$ הפשוטה   ${\displaystyle E_{8}}$ ${\displaystyle E_{8}}$   ${\displaystyle F_{4}}$ ${\displaystyle F_{4}}$   ${\displaystyle G_{2}}$ ${\displaystyle G_{2}}$                                                                           ${\displaystyle GL_{n}}$ ${\displaystyle GL_{n}}$   ${\displaystyle U(V)}$ ${\displaystyle U(V)}$   ${\displaystyle O(V)}$ ${\displaystyle O(V)}$   ${\displaystyle Sp_{2n}}$ ${\displaystyle Sp_{2n}}$

מיזמי קרן ויקימדיה
ערך מילוני בוויקימילון: עקם
תמונות ומדיה בוויקישיתוף: עקום אליפטי

• קורס על עקומים אליפטיים עם מבוא על הנושא
• עקום אליפטי, באתר אנציקלופדיה למתמטיקה (באנגלית)
• עקום אליפטי, באתר MathWorld (באנגלית)