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

נכון ל־2023, המקרה הכללי של הבעיה השתים-עשרה עדיין לא ידוע. לעומת זאת, הכללות מסוימות כן ידועות:

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

ניסוח הבעיה
-----------

> 
> בהינתן שדה מספרים {\mathbb {K}}, יש למצוא פונקציה אנליטית שערכיה במספרים אלגבריים מתאימים מייצרים את כל ההרחבות האבליות של {\mathbb {K}}.
> 
> 
> 
>

מבוא
----

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

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

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

הצגה בקונגרס המתמטיקאים ונסיונות פתרון ראשונים
----------------------------------------------

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

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

{\displaystyle j(q)={\frac {1}{q}}+744q+196884q+21493760q^{2}+\dots }

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

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

לקריאה נוספת
------------

* Langlands, R. P. (1976). "Some contemporary problems with origins in the Jugendtraum". In Browder, Felix E. (ed.). *Mathematical developments arising from Hilbert problems* (PDF). Proc. Sympos. Pure Math. Vol. 28. Providence, RI: American Mathematical Society. pp. 401–418. ISBN 0-8218-1428-1. Zbl 0345.14006.
* Schappacher, Norbert (1998). "On the history of Hilbert's twelfth problem: a comedy of errors". *Matériaux pour l'histoire des mathématiques au XXe siècle (Nice, 1996)*. Sémin. Congr. Vol. 3. Paris: Société Mathématique de France. pp. 243–273. ISBN 978-2-85629-065-1. MR 1640262. Zbl 1044.01530.
* Vlǎduţ, S. G. (1991). *Kronecker's Jugendtraum and modular functions*. Studies in the Development of Modern Mathematics. Vol. 2. New York: Gordon and Breach Science Publishers. ISBN 2-88124-754-7. Zbl 0731.11001.

הערות שוליים
------------

1. ↑  Auszug aus einem Briefe von L. Kronecker an R. Dedekind vom 15. März 1880, Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin vom Jahre 1895. S. 115
2. ↑  Dasgupta, Samit; Kakde, Mahesh (2021-03-03). "Brumer-Stark Units and Hilbert's 12th Problem". arXiv:2103.02516 [math.NT].
3. ↑  Darmon, Henri; Pozzi, Alice; Vonk, Jan. "Gross–Stark units, Stark–Heegner points, and derivatives of p-adic Eisenstein families" (PDF).`{{cite web}}`: תחזוקה - ציטוט: url-status (link)
4. ↑  Fueter, Rudolf. **Die Theorie der Zahlstrahlen**, Journal für die reine und angewandte Mathematik, 130 (1905), p. 197.
5. ↑  Schappacher, N.: **On the History of Hilbert's Twelfth Problem: A Comedy of Errors**. Sémin. Congr. 3, Soc. Math. France, Paris (1998).
6. ↑  Feuter, R. (1914). **Abelsche Gleichungen in quadratisch-imaginären Zahlkörpern**. Mathematische Annalen, 75(2), p. 253
7. ↑  Takagi, T. (1920). **Über eine Theorie des relativ Abel’schen Zahlkörpers**. J. Col. Sci. Imp. Univ. Tokyo, 41-9 (1920), pp. 1–133; In **Collected Papers**, Tokyo-Berlin: Springer, 1990. pp. 73–167.
8. ↑  Hasse, H. (1927). **Neue Begründung der komplexen Multiplikation**. J. Reine Angew. Math. 157 (1927), pp. 115–139
9. ↑  Hasse, H. (1930). **Leopold Kronecker's Werke**, in Kronecker **Werke** V, p. 515

| 23 הבעיות של הילברט |
| --- |
| דויד הילברט |
| בעיות פתורות (פותרים) | השערת הרצף (גדל, כהן) • הבעיה השנייה של הילברט (גדל, גנצן) • השלישית (דן) • השביעית (גלפונד, שניידר) • העשירית • השלוש-עשרה (ארנולד) • הארבע-עשרה (נגטה) • השבע-עשרה (ארטין) • התשע-עשרה (דה ג'יורג'י, נאש) • העשרים • העשרים ואחת • העשרים ושתיים |
| בעיות פתורות חלקית (פותרים) | הבעיה הרביעית של הילברט • החמישית (גליסון) • התשיעית (ארטין) • האחת-עשרה (הסה) • החמש-עשרה • השמונה-עשרה |
| בעיות פתוחות | הבעיה השישית של הילברט • השמינית • השתים עשרה • השש-עשרה • העשרים ושלוש |
| בעיות המילניום של מכון קליי • בעיות לנדאו |