משפט המודולריות

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

ניסוח

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

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

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

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

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

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

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

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

משפט טניאמה-שימורה מהווה מקרה פרטי של סדרה מרחיקת לכת של השערות הקרויה תוכנית לנגלנדס.

ראו גם
 המשפט האחרון של פרמה

 לקריאה נוספת 
 סיימון סינג, המשפט האחרון של פרמה, הוצאת ידיעות אחרונות, 2000.

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


הערות שוליים

טניאמה-שימורה
טניאמה-שימורה