הבעיה השתים-עשרה של הילברט

"אני מעריך שהתגברתי היום על המכשול האחרון בדרך להשלמת החקירה הנמרצת שערכתי בחודשים האחרונים. היא נוגעת לחלום־נעוריי היקר ביותר: הוכחה שמשוואות אבליות עם שורשים ריבועיים של מספרים רציונליים ממוצות על ידי משוואות ההעתקה של פונקציות אליפטיות עם מודולי סינגולרי, בדיוק באותו אופן שמשוואות אבליות רציונליות שלמות על ידי משוואות ציקלוטומיות." —מתוך מכתבו של [[לאופולד קרונקר לריכרד דדקינד מה־15 במרץ 1880, בו הוא מתאר (בניסוח ארכאי) את מה שיקרא לימים משפט קרונקר-ובר. משפט זה, אותו הבעיה השתים-עשרה שואפת להכליל, כונה בעקבות המכתב חלום־נעוריו של קרונקר (Kronecker's Jugendtraum).]]

הבעיה השתים-עשרה מבין עשרים ושלוש הבעיות שהציג דויד הילברט בקונגרס הבינלאומי של המתמטיקאים של שנת 1900 עוסקת באפשרות הרחבת משפט קרונקר-ובר, הדן בהרחבות אבליות של המספרים הרציונליים, לכל שדה מספרים. בעוד משפט קרונקר-ובר המקורי מוכיח שכל הרחבה אבלית סופית של <math>\mathbb{Q}</math> מוכלת בשדה ציקלוטומי — הבעיה השתים-עשרה מחפשת אנלוג לשורשי היחידה המרוכבים ושואלת, בהינתן שדה מספרים, מהם המספרים האלגבריים הנדרשים ליצירת כל ההרחבות האבליות.

נכון ל־2023, המקרה הכללי של הבעיה השתים-עשרה עדיין לא ידוע. לעומת זאת, הכללות מסוימות כן ידועות:
* המקרה של (שדה מהצורה <math>\mathbb{Q}(\sqrt{d})</math> כאשר <math>d<0</math> חופשי מריבועים) נפתר באמצעות התאמה של פונקציות מודולריות ועקומים אליפטיים. גורו שימורה הכליל זאת לכל .
* המקרה של הוכח על ידי Dasgupta ו־Kakde ב־2021<ref></ref>. פתרון למקרה פרטי של שדות ריבועיים ממשיים לחלוטין ניתן באותה שנה על ידי הנרי דרמון, Pozzi ו־Vonk<ref></ref>. שתי ההוכחות האלו מתבססות על שיטות באנליזה p־אדית.

==ניסוח הבעיה==
:

==מבוא==
הסוגיה המרכזית בתורת המספרים האלגברית היא תיאור שדות מספרים, שהם הרחבת שדות של <math>\mathbb{Q}</math> מדרגה סופית. עוד באמצע המאה ה־19 בזכות עבודתו של אווריסט גלואה, הובן שישנה התאמה בין הרחבות שדות לבין חבורות הקרויות חבורות גלואה.

המקרים הפשוטים ביותר הם כאשר החבורה היא אבלית. כל הרחבה ריבועית, הנוצרת מהוספת שורשים של משוואה ריבועית לשדה, היא הרחבה אבלית. סוג נוסף של הרחבות אבליות של <math>\mathbb{Q}</math>, שדה המספרים הרציונליים, הוא שדה ציקלוטומי הנוצר כאשר מוסיפים את שורשי היחידה מסדר <math>n</math>. גאוס הוכיח שכל שדה ריבועי מוכל בשדה ציקלוטומי גדול יותר. משפט קרונקר-ובר טוען שכל הרחבה אבלית של <math>\mathbb{Q}</math> מוכלת בשדה ציקלוטומי. ממשפט קרונקר-ובר נובע שהפונקציה האנליטית <math>e^{\pi i x}</math>, שערכיה במספרים הרציונליים הם כל שורשי היחידה, היא הפונקציה שעונה על השאלה.

לאחר הוכחת משפט קרונקר-ובר, השאלה שהעסיקה את קרונקר ואת הילברט הייתה הכללה של המשפט לשדה מספרים <math>\mathbb{K}</math> (כלומר, הרחבת שדות סופית של <math>\mathbb{Q}</math>): מהם המספרים האלגברים הדרושים לבניית כל ההרחבות האבליות של <math>\mathbb{K}</math>, ומיהי הפונקציה האנליטית המתאימה שתספק אותם?

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

הניסוח המקורי של הילברט לבעיה מאותו פרסום העלה קשיים, שכן הוא הניח, כנראה בהתבסס על כתביהם של ובר וקרונקר, שבהינתן שדה מספרים <math>\mathbb{K}</math>, מספיקים שורשי היחידה וערכי הפונקציה האנליטית <math>j(\tau)</math>, , שהיא הפונקציה המרומורפית <math>j\colon \left\{\tau\in\mathbb{C}\;\mid\;\mathrm{Im}(\tau)>0\right\}\cup\{\infty\}\to\mathbb{C}</math> שניתנת לכתיבה כטור לורן, כאשר <math>q=e^{2\pi i\tau}</math>:

<math>j(q)=\frac{1}{q}+744q+196884q+21493760q^2+\dots</math>

אך הנחה זו של הילברט אינה נכונה. ההרחבה האבלית <math>\mathbb{Q}\left(i,\sqrt[4]{1+2i}\right)/\mathbb{Q}(i)</math> אינה נוצרת על ידי שורשי היחידה והערכים המתקבלים מהפונקציה הזו בלבד. את הדוגמה הנגדית הזו העלה תלמידו של הילברט, פויטר, ובהמשך ישיר לדוגמה הנגדית הזו הוא העלה השערה ("Hauptsatz") בנוגע למהי הגישה הנכונה לשאלה זו. ב־1920 טקגי, אף הוא מתלמידיו של הילברט, הוכיח לראשונה את המשפט בנוסח של פויטר והראה שכל הרחבה אבלית של <math>\mathbb{Q}(i)</math> נוצרת על ידי פונקציית ויירשטראס אליפטית תואמת <math>\wp</math> של העקום האליפטי <math>y^2=x^3-x</math> . ב־1927 הלמוט הסה פרסם הוכחה משלו להשערתו של פויטר. הסה, שהיה עורך "כל כתביו" של קרונקר לאחר מותו, העיר שהניסוח המקורי של קרונקר במכתבו לדדקינד, "משוואות ההעתקה של פונקציות אליפטיות עם מודולי סינגולרי", הוא רב־משמעי ולא מדויק, וככל הנראה הוביל לטעות בניסוח אצל הילברט.

==הוכחות מאוחרות==

==לקריאה נוספת==
*
*
* 
==הערות שוליים==

12
קטגוריה:תורת המספרים האלגברית