אנדרו ויילס – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
פילדס (שיחה | תרומות)
אין תקציר עריכה
פילדס (שיחה | תרומות)
אין תקציר עריכה
שורה 30:
חוקרים רבים סברו שאין כל דרך לתקוף את השערת טניאמה-שימורה, הקובעת כאמור שכל עקום אליפטי רציונלי הוא מודולרי, מפני שאפילו לא היה ידוע אם לשני המבנים יש אותו מספר של [[פונקציית L|פונקציות L]]. ריבט סובר שאפשר לייחס את הצלחתו של ויילס בפתרון השערת טניאמה-שימורה לכך שהייתה לו התעוזה לתקוף את ההשערה למרות קשיים אלה. למרות שוויילס הסתפק, בתחילה, בפתרון המקרה היציב למחצה, התברר שמקרה זה אינו קל בהרבה מן ההשערה המלאה.
 
בתחילת עבודתו של ויילס על השערת טניאמה-שימורה, הוא נהג להזכיר את הבעיה של פרמה בפני עמיתיו, אבל העניין שאזכורים כאלה עוררו הרתיע אותו. הוא רצה להתרכז בבעיה, וביקש לעבוד לבדו ([[סיימון סינג]] משער שרצונו של ויילס לסיים את ההוכחה בכוחות עצמו, תרם לבידוד מרצון). במשך אותן שנים, ויילס המשךהמשיך לעבוד בפרינסטון. הוא כתב מאמרים על נושאים רחוקים מהשערת טניאמה-שימורה, המשיך להיות נוכח בסמינרים, להרצות ולהנחות [[סטודנט]]ים.
 
ההשערה של טניאמה-שימורה היא, בסופו של דבר, בעיה של ספירת הנקודות שיש לעקום אליפטי כאשר מצמצמים אותו ל[[שדה סופי]]. לשם כך, חקר ויילס הצגות גלואה (שהן [[הצגה לינארית|הצגות]] של [[חבורת גלואה]] האבסולוטית של הרציונליים) המתקבלות מן העקום האליפטי, תבניות מודולריות, וערכים מיוחדים של פונקציות L המתאימות.
 
==הצהרה על ההוכחה==
ביוני [[1993]] העביר ויילס סדרה בת שלוש הרצאות תחת הכותרת "תבניות מודולריות, עקומים אליפטיים והצגות גלואה" ב[[מכון אייזק ניוטון]] בקיימברידג', במסגרת כנס על פונקציות L ו[[אריתמטיקה]]. המארגנים הקצו לו בתחילה רק יומיים, אבל ג'ון קוטס ויתר על זמן ההרצאה שלו כדי לאפשר לו לסיים את הנושא.
 
לאחר ההרצאות אמר [[בארי מזור]] שלמרות הרעיונות המבריקים הרבים בסדרה, המתח נשמר עד לסוף ההרצאה האחרונה.
 
==המאמר של ויילס==
את המאמר שכתב על ההוכחה של המקרה היציב-למחצה של השערת טניאמה-שימורה (שממנו, כאמור, נובע המשפט האחרון של פרמה), הגיש ויילס לכתב העת החשוב [[Inventiones Mathematicae]], ובארי מזור, אחד העורכים, הרכיב צוות של שישה אנשים לצורך [[ביקורת עמיתים]] למאמר. בצוות כלל מזור את קן ריבט, [[ניק כץ]] ו[[ריצ'רד טיילור (מתמטיקאי)|ריצ'רד טיילור]]. בגרסה הראשונה, ההוכחה נצרכה לבניה של "מערכת אוילר", שהצוות מצא בה פגם מהותי. במשך שנה חשב ויילס שלמרות העבודה הרבה והתוצאות החשובות שהשיג, לא ניתן לגשר על הפער ולהגיע אל המטרה הנכספת. לפני שנכנע, הוא החליט לנסות ניסיון אחרון, בעזרת ריצ'רד טיילור, שכתב את עבודת ה[[דוקטורט]] שלו תחתבהנחיית ויילס ב-[[1988]]. הגרסה הסופית של ההוכחה של ויילס, השונה מן הגרסה המקורית, פורסמה בגיליון 141 של ה-[[Annals of Mathematics]] בשנת [[1995]], יחד עם מאמר תומך שכתבו ויילס וטיילור במשותף, ונקראה "תכונות ב[[תורת החוגים]] של [[אלגברת הקה|אלגברות הקה]] מסוימות".
 
==ההוכחה המלאה של השערת טניאמה-שימורה==