השערת בירץ' וסווינרטון-דייר

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

השערת בירץ' וסווינרטון-דייר היא השערה מרכזית על האריתמטיקה של עקומים אליפטיים, שנוסחה ב-1963 על ידי המתמטיקאים ב. בירץ' וה.פ.פ. סווינרטון-דייר. השערה זו היא בין הבעיות הפתוחות החשובות בתורת המספרים, והיא זכתה להכרה כאחת מ"שבע בעיות המילניום" של מכון קליי למתמטיקה.

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

הטלה של עקום אליפטי[עריכת קוד מקור | עריכה]

אחד הרעיונות היסודיים באריתמטיקה הוא שאפשר ללמוד אובייקט נתון על-פי ההתנהגות של היטלים שלו. במקרה של עקום אליפטי, כגון \ E: y^2=x^3-4x+3, ההיטל מודולו מספר ראשוני p הוא אוסף הנקודות בשדה הסופי \ \mathbb{F}_p, המקיימות את אותה משוואה. אחת התוצאות הבסיסיות בהקשר זה, החסם של הסה, חוסמת את מספר הפתרונות למשוואה בשדה סופי, וקובעת שמבין \ p^2 הזוגות \ (x,y) האפשריים, מספר הפתרונות עומד בין \ p+1-2\sqrt{p} לבין \ p+1+2\sqrt{p}. במלים אחרות, אם \ N_p=p+1-a_p הוא מספר הפתרונות (זהו "הגודל של העקום האליפטי \ E(\mathbb{F}_p)"), אז הסקלר \ a_p מקיים \ |a_p|\leq 2\sqrt{p}. תיאור זה נכון עבור כל מספר ראשוני, פרט למספר סופי של יוצאי דופן (המחלקים את הדיסקרימיננטה של העקום).

פונקציית L של העקום[עריכת קוד מקור | עריכה]

לעקום אליפטי אפשר לצרף פונקציית L, שהיא מעין פונקציית זטא של העקום. את הבניה תארו לראשונה הלמוט הסה והרמן וייל, ולכן הפונקציה נקראת על שמם. בדומה למכפלת אוילר של פונקציית זטא של רימן, \ \zeta(s)=\prod_{p} (1-p^{-s})^{-1}, המתכנסת כאשר \ \Re(s)>1, פונקציית L של העקום E מוגדרת כך: \ L(E,s) = \prod_p (1-a_p\cdot p^{-s}+p\cdot p^{-2s})^{-1}. מכפלה זו מתכנסת כאשר \ \Re(s)>3/2. עם זאת, ההתנהגות של המכפלה חשובה דווקא בסביבת 'הנקודה הקריטית' \ s=1.

במקרה של פונקציית זטא של רימן, קל ליצור המשכה אנליטית של מכפלת אוילר, ולחקור את הערכים של הפונקציה לאורך 'הישר הקריטי' \ \Re(s)=1/2. בניגוד לכך, לפונקציית L של עקום אליפטי קשה מאוד לבנות המשכה אנליטית, וידועה דרך ישירה לעשות כן רק כאשר העקום הוא מודולרי. השערתם של בירץ' וסווינרטון-דייר חולקה באופן מסורתי לשלושה חלקים. הראשון בהם הוא ההשערה שאפשר יהיה לבנות המשכה אנליטית עד הנקודה הקריטית לכל עקום.

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

דרגת העקום והחלקים האחרים של ההשערה[עריכת קוד מקור | עריכה]

משפט מורדל-וייל קובע שאוסף הנקודות הרציונליות על העקום E הוא חבורה אבלית נוצרת סופית. לחבורה זו יש מרכיב מפותל, קטן יחסית, והמרכיב הנותר הוא חופשי, כלומר מן הצורה \ \mathbb{Z}^r. במלים אחרות, לעקום ישנם r פתרונות יסודיים, שאפשר להרכיב מהם (על ידי פעולת החבורה של העקום) את כל הפתרונות האחרים (עד כדי פיתול). לערכו של הקבוע r יש חשיבות עצומה בהבנת המבנה הרציונלי של העקום. אם \ r=0, יש על העקום רק מספר סופי של נקודות רציונליות. אם \ r>0, אז מספר הנקודות אינסופי.

הרעיון המנחה את השערת בירץ' וסווינרטון-דייר הוא שמספר הנקודות הרציונליות אמור להיות קשור למספר הנקודות מעל השדות הסופיים: אם \ r=0, אפשר לצפות שיהיו מעט נקודות מעל כל שדה סופי, בעוד שבמקרה האחר, אינסוף הנקודות הרציונליות יוטלו לכל שדה סופי, וייצרו שפע של נקודות בכל מקום. כדי לכמת רעיונות אלה, מתבוננים במכפלה המגדירה את פונקציית L של העקום בנקודה \ s=1:

\ L(E,1)=\prod_p (1-a_p p^{-1} + p^{-1})^{-1} = \prod_p \frac{p}{N_p}.

למרות שמכפלה זו אינה מתכנסת, אפשר ללמוד ממנה על העקום מעל שדות סופיים: היחס \ \frac{p}{N_p} קרוב הרי ל- 1 (לפי חסם הסה), וכשמכפילים את היחסים האלה אפשר לצפות שיתקבל מספר קטן בדיוק כאשר, באופן ממוצע, מספר הנקודות בכל היטל סופי גדול מן הצפוי. החלק השני של ההשערה קובע, על-פי שיקולים אלה, שההמשכה האנליטית \ L(E,s) מתאפסת ב- \ s=1 אם ורק אם הדרגה \ r>0; ליתר דיוק, ההשערה קובעת שסדר האפס שווה ל- r.

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

לקריאה נוספת[עריכת קוד מקור | עריכה]

  • Henri Darmon, Rational Points on Modular Elliptic Curves, Cbms Regional Conference Series in Mathematics, 2004.