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

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

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

הטלה של עקום אליפטי

אחד הרעיונות היסודיים באריתמטיקה הוא שאפשר ללמוד אובייקט נתון על-פי ההתנהגות של היטלים שלו. במקרה של עקום אליפטי, כגון $\ E:y^{2}=x^{3}-4x+3$, ההיטל מודולו מספר ראשוני p הוא אוסף הנקודות בשדה הסופי $\ \mathbb {F} _{p}$, המקיימות את אותה משוואה. אחת התוצאות הבסיסיות בהקשר זה, החסם של הסה, חוסמת את מספר הפתרונות למשוואה בשדה סופי, וקובעת שמבין $\ p^{2}$ הזוגות $\ (x,y)$ האפשריים, מספר הפתרונות עומד בין הפענוח נכשל (שגיאת המרה. השרת ("https://wikimedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \ p+1-2{\sqrt {p}}} לבין $\ p+1+2{\sqrt {p}}$. במילים אחרות, אם $\ N_{p}=p+1-a_{p}$ הוא מספר הפתרונות (זהו "הגודל של העקום האליפטי $\ E(\mathbb {F} _{p})$"), אז הסקלר $\ a_{p}$ מקיים הפענוח נכשל (שגיאת המרה. השרת ("https://wikimedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \ |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$. עם זאת, ההתנהגות של המכפלה חשובה דווקא בסביבת 'הנקודה הקריטית' הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ s=1} .

במקרה של פונקציית זטא של רימן, קל ליצור המשכה אנליטית של מכפלת אוילר, ולחקור את הערכים של הפונקציה לאורך 'הישר הקריטי' הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \Re(s)=1/2} . בניגוד לכך, לפונקציית L של עקום אליפטי קשה מאוד לבנות המשכה אנליטית, וידועה דרך ישירה לעשות כן רק כאשר העקום הוא מודולרי. השערתם של ברץ' וסווינרטון-דייר חולקה באופן מסורתי לשלושה חלקים. הראשון בהם הוא ההשערה שאפשר יהיה לבנות המשכה אנליטית עד הנקודה הקריטית לכל עקום.

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

דרגת העקום והחלקים האחרים של ההשערה

משפט מורדל-וייל קובע שאוסף הנקודות הרציונליות על העקום E הוא חבורה אבלית נוצרת סופית. לחבורה זו יש מרכיב מפותל, קטן יחסית, והמרכיב הנותר הוא חופשי, כלומר מן הצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbb{Z}^r} . במילים אחרות, לעקום ישנם r פתרונות יסודיים, שאפשר להרכיב מהם (על ידי פעולת החבורה של העקום) את כל הפתרונות האחרים (עד כדי פיתול). לערכו של הקבוע r יש חשיבות עצומה בהבנת המבנה הרציונלי של העקום. אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ r=0} , יש על העקום רק מספר סופי של נקודות רציונליות. אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ r>0} , אז מספר הנקודות אינסופי.

הרעיון המנחה את השערת ברץ' וסווינרטון-דייר הוא שמספר הנקודות הרציונליות אמור להיות קשור למספר הנקודות מעל השדות הסופיים: אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ r=0} , אפשר לצפות שיהיו מעט נקודות מעל כל שדה סופי, בעוד שבמקרה האחר, אינסוף הנקודות הרציונליות יוטלו לכל שדה סופי, וייצרו שפע של נקודות בכל מקום. כדי לכמת רעיונות אלה, מתבוננים במכפלה המגדירה את פונקציית L של העקום בנקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ s=1} :

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ L(E,1)=\prod_p (1-a_p p^{-1} + p^{-1})^{-1} = \prod_p \frac{p}{N_p}} .

למרות שמכפלה זו אינה מתכנסת, אפשר ללמוד ממנה על העקום מעל שדות סופיים: היחס $\ {\frac {p}{N_{p}}}$ קרוב הרי ל-1 (לפי חסם הסה), וכשמכפילים את היחסים האלה אפשר לצפות שיתקבל מספר קטן בדיוק כאשר, באופן ממוצע, מספר הנקודות בכל היטל סופי גדול מן הצפוי. החלק השני של ההשערה קובע, על-פי שיקולים אלה, שההמשכה האנליטית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ L(E,s)} מתאפסת ב- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ s=1} אם ורק אם הדרגה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ r>0} ; ליתר דיוק, ההשערה קובעת שסדר האפס שווה ל- r.

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

לקריאה נוספת

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

קישורים חיצוניים

• השערת ברץ' וסווינרטון-דייר, באתר MathWorld (באנגלית)
• השערת ברץ' וסווינרטון-דייר, באתר אנציקלופדיה בריטניקה (באנגלית)

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

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