יאן דנף: עושה סדר בפונקציות זטא אינסופיות
קיימת משפחה של בעיות מנייה בתורת המספרים — כמה פתרונות יש למשוואה פולינומית מודולו חזקה של מספר ראשוני, וכיצד השתנות המנייה הזו ככל שחזקת הראשוני גדלה — שמייצרת אינסוף מספרים נפרדים עבור כל פולינום. תרומתו המרכזית של יאן דנף (Jan Denef) הייתה להראות, שוב ושוב, שמשפחות אינסופיות אלו של מספרים לעולם אינן באמת אינסופיות במורכבותן: תמיד ניתן לארוז אותן בתוך פונקציה יחידה ונוחה לטיפול. תובנה זו, והמנגנון הגאומטרי שבנה כדי להוכיח זאת, עיצבו מחדש פינה בתורת המספרים ובתורת המודלים כאחד.
מהבעיה העשירית של הילברט ללוון
דנף נולד ב-4 בספטמבר 1951 בבלגיה. הוא השלים את הדוקטורט שלו ב-KU לוון (האוניברסיטה הקתולית של לוון, Katholieke Universiteit Leuven) בשנת 1975, בהנחייתם המשותפת של לואי פיליפ בוקרט (Louis Philippe Bouckaert) ווילם קויק (Willem Kuijk), עם דיסרטציה על הבעיה העשירית של הילברט — השאלה, שהוצגה על ידי דויד הילברט (David Hilbert) בשנת 1900, האם קיים אלגוריתם כללי להכרעה אם למשוואה פולינומית נתונה יש פתרונות שלמים. הבעיה המלאה, עבור מספרים שלמים, נפתרה באופן שלילי רק כמה שנים קודם לכן על ידי יורי מטיאסביץ' (Yuri Matiyasevich) בשנת 1970; עבודתו המוקדמת של דנף הרחיבה וחידדה תוצאות אי-כריעות קשורות לתחומים חדשים בתורת המספרים, צעד פתיחה שאפתני לעבודת דוקטורט. הוא בילה את הקריירה שלו ב-KU לוון, שם הפך לפרופסור ונשאר עד פרישתו, אז הוענק לו התואר פרופסור אמריטוס למתמטיקה.
אינטגרציה p-אדית והרציונליות של פונקציות זטא
חלק גדול מעבודתו המשפיעה ביותר של דנף נוגע לאינטגרציה p-אדית — דרך לביצוע חשבון אינפיניטסימלי לא מעל המספרים הממשיים אלא מעל המספרים ה-p-אדיים, מערכת מספרים חלופית הבנויה סביב מספר ראשוני קבוע p, שבה "קירבה" נמדדת על פי התחלקות ולא על פי מרחק רגיל. תורת המספרים משתמשת באינטגרלים p-אדיים כדי לחקור את פונקציית זטא של איגוזה (Igusa zeta function) של פולינום, פונקציה יוצרת המקודדת, בבת אחת, את מספר הפתרונות למשוואת הפולינום מודולו כל חזקה של ראשוני. דנף הוכיח תוצאות רציונליות עמוקות לגבי פונקציות זטא אלו, והראה שלמרות שהן מקודדות אינספור בעיות מנייה נפרדות, הן נשלטות על ידי נתונים אלגבריים סופיים — בתמצית, שהסדרה האינסופית של מנייה מודולו p, p², p³ וכן הלאה מצייתת לחוק אלגברי יחיד במקום להתנהג באופן שרירותי. הדבר דרש שילוב של אנליזה p-אדית עם לוגיקה מתמטית, ובפרט אלימינציית כמתים עבור שדות p-אדיים, טכניקה בתורת המודלים המאפשרת לפשט טענות על מספרים p-אדיים לצורה סטנדרטית ונוחה יותר לעיבוד — אחת הדוגמאות הברורות ביותר במתמטיקה המודרנית ללוגיקה המספקת כלי מכריע לבעיה בתורת המספרים הקלאסית.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →אינטגרציה מוטיבית עם פרנסואה לזר
החל מסוף שנות ה-90, דנף והמתמטיקאי הצרפתי פרנסואה לזר (François Loeser) פיתחו את האינטגרציה המוטיבית, הכללה מרחיקת לכת של האינטגרציה ה-p-אדית המחליפה פונקציות זטא נומריות באובייקטים בחוג גרותנדיק (Grothendieck ring) של יריעות אלגבריות — מערכת הנהלת חשבונות פורמלית עבור ה"צורה" של אובייקטים גאומטריים ולא רק מנייה נומרית. המאמרים שלהם "פונקציות זטא מוטיביות של איגוזה" (1998) ו"נבטים של קשתות על יריעות אלגבריות סינגולריות ואינטגרציה מוטיבית" (1999) הציגו טכניקות המאפשרות למתמטיקאים לחקור את הסינגולריות של יריעות אלגבריות — הנקודות שבהן צורה גאומטרית אינה חלקה — על ידי ביצוע אינטגרציה מעל מרחב הקשתות (עקומות של טור חזקות פורמלי) העוברות דרכן. אינטגרציה מוטיבית העניקה לתורת הסינגולריות ארגז כלים חדש לחלוטין ומאז יושמה הרחק מעבר לביתה המקורי בתורת המספרים, כולל בתחומים משיקים לתורת המיתרים בגאומטריה אלגברית. גוף עבודה זה הוביל להזמנתו של דנף כדובר בקונגרס הבינלאומי של מתמטיקאים (ICM) בשנת 2002 בבייג'ינג, אחד מסימני ההכרה הברורים ביותר בתחום, השמור למתמטיקאים שעבודתם נשפטה ככזו שעיצבה את כיוון התחום שלהם במהלך השנים הקודמות.
הרחבת משפט אקס-קוכן
דנף הוכיח גם השערה של ז'אן-לואי קוליו-תלן (Jean-Louis Colliot-Thélène) המכלילה את משפט אקס-קוכן (Ax–Kochen theorem), תוצאה בסיסית משנת 1965 המקשרת בין ההתנהגות האלגברית של שדות p-אדיים לבין זו של שדות של טורי חזקות פורמליים מעל שדות סופיים, עבור כל הראשוניים למעט מספר סופי p. הרחבת תוצאות מסוג זה — שהוכחו במקור באמצעות כלים עמוקים מלוגיקה מתמטית (בניית מכפלה על-סינון, ultraproduct) — לסביבות גאומטריות רחבות יותר הייתה נושא חוזר בקריירה של דנף, המשקף את שיטתו העקבית להשתמש במנגנון המופשט של הלוגיקה כדי ליישב שאלות קונקרטיות מאוד בתורת המספרים.
מדוע יאן מכונה גאון
הכישרון הספציפי הנראה לאורך עבודתו של דנף הוא שטף יוצא דופן בשני ניבים מתמטיים שרוב החוקרים מתמחים באחד מהם בלבד: המנגנון המופשט של הלוגיקה המתמטית (אלימינציית כמתים, שלמות מודלית, מכפלות על-סינון) והשאלות הקונקרטיות של הגאומטריה האלגברית ותורת המספרים הקלאסית על משוואות ופתרונותיהן. שוב ושוב, המהלך המרכזי של דנף היה לראות ששאלה גאומטרית או תורת-מספרית קשה היא, מתחת לפני השטח, טענה שכלים לוגיים יכולים לפתור — באופן הבולט ביותר בהמצאת האינטגרציה המוטיבית על ידו ועל ידי לזר, שלקחה טכניקה לוגית (אלימינציית כמתים מעל שדות p-אדיים) והשתמשה בה כדי לבנות תורת אינטגרציה חדשה לחלוטין לגאומטריה אלגברית. הרצאה מוזמנת ב-ICM היא סימן אותנטי ובלתי תלוי בציטוטים לכך שהקהילה המתמטית שפטה עבודה זו כמעצבת תחום. המגבלה הכנה היא שהמוניטין של דנף, בניגוד לזה של זוכה מדליית פילדס, מרוכז בתורת המספרים, תורת המודלים ובגאומטריה אלגברית באופן ספציפי — הפרופילים הזמינים אינם מתעדים מדליית פילדס, פרס וולף או כבוד מהדרג העליון המקביל, ורוב השבחים לעבודתו מגיעים דרך נתוני ציטוטים והכרה מומחית (מעל 5,000 ציטוטים, הרצאת ICM מוזמנת) ולא דרך התהילה הרחבה המצורפת לשמות המפורסמים ביותר במתמטיקה. מדובר בגאונות אמיתית וטכנית עמוקה, הגלויה בעיקר לאלו העובדים בפינה הספציפית שלו בתחום.
מורשת
אינטגרציה מוטיבית, התאוריה שדנף בנה עם לזר, נותרה תחום מחקר פעיל יותר משני עשורים לאחר הצגתה, לאחר שצמחה הרבה מעבר ליישומה המקורי בפונקציות זטא של איגוזה לכדי כלי סטנדרטי לחקר סינגולריות בגאומטריה אלגברית. השיטה הרחבה יותר של דנף — פנייה למנגנון המופשט של תורת המודלים כדי לפצח בעיות קונקרטיות בתורת המספרים — סייעה לבסס את מעמדה של הלוגיקה כענף שימושי באמת של המתמטיקה ולא רק כענף בסיסי גרידא, טיעון שעדיין מצוטט על ידי מתמטיקאים המסבירים מדוע תורת המודלים שייכת לארגז הכלים של תאורטיקן המספרים העובד.