סמואל ג'יימס פטרסון: מידה שנקראה פעמיים
מתמטיקאי בן עשרים ושמונה שעסק בקבוצות גבוליות של חבורות פוקסיאניות — דפוסי הגבול המורכבים ולעיתים הפרקטליים שותיר אחרי פעולתן של חבורות סימטריה מסוימות על המישור ההיפרבולי — הציג ב-1976 דרך להקצות מידה מדויקת לגבולות אלו. שלוש שנים מאוחר יותר, המתמטיקאי האמריקאי דניס סאליבן (Dennis Sullivan) גילה מחדש באופן בלתי תלוי והרחיב דרמטית את אותו רעיון בהקשר שונה, והכלי שבנו השניים יחד, מידת פטרסון-סאליבן, עומד מאז במרכז הגאומטריה ההיפרבולית ותורת הארגודיות. סמואל ג'יימס פטרסון בנה את המחצית הראשונה של סיפור זה כמעט לבדו, עוד בטרם נקשר שמו של סאליבן אליו.
מבلفאסט לקיימברידג'
פטרסון נולד ב-7 בספטמבר 1948 בבلفאסט שבאירלנד הצפונית, ולמד בבית הספר התיכון גרוסבנอร์ בחלקו המזרחי של העיר בטרם המשיך לקלייר קולג' שבקיימברידג', שם קיבל תואר ראשון במתמטיקה ב-1970. הוא נשאר בקיימברידג' לעבודת דוקטורט בהנחיית אלן בירדון (Alan Beardon), מומחה לאנליזה מורכבת וגאומטריה היפרבולית, והשלים דיסרטציה שכותרתה "קבוצת הגבול של חבורה פוקסיאנית" — הזרע הישיר של עבודתו המאוחרת והמוכרת יותר — אשר הסתיימה ב-1974 והוענקה רשמית ב-1975. אחיו, דייוויד ג'וזף פטרסון (David Joseph Patterson), נעשה טקסונום ידוע, עדות לנטייה משפחתית למדע מדויק וסיווגי שבא לידי ביטוי בשתי דיסציפלינות שונות מאוד.
מחבורות פוקסיאניות לסוג חדש של מידה
חבורה פוקסיאנית היא חבורה בדידה של סימטריות של המישור ההיפרבולי, ו"קבוצת הגבול" שלה — נקודות הגבול שאליהן מתכנסות המסלולים שלה — היא לעיתים אובייקט פרקטלי עדין העמיד בפני מדידה גאומטרית רגילה. ב-1976, בעת שעבד בגטינגן זמן קצר לאחר הדוקטורט שלו, הציג פטרסון בנייה, הנקראת כיום מידת פטרסון, המקצה מידה טבעית ומנוהלת היטב בדיוק לקבוצות גבול אלו, הבנויה מהדינמיקה של החבורה עצמה ולא מוטלת מבחוץ. דניס סאליבן הכלל את הבנייה החל מ-1979 לחבורות קלייניאניות — האנלוג הממדי השלוש של חבורות פוקסיאניות, הפועלות על מרחב היפרבולי ולא על המישור ההיפרבולי — ולתורה הרחבה יותר של זרימות גאודזיות, והבנייה המשולבת נודעה בשם מידת פטרסון-סאליבן. היא ניצבת כיום בבסיסו של תחום רחב בתורת הארגודיות המודרנית ובגאומטריה היפרבולית, ומעניקה למתמטיקאים דרך לתרגם שאלות על גאומטריה ודינמיקה של פעולת חבורה לשאלות על מידה קונקרטית וברת-חישוב — אחד הכלים הסטנדרטיים המשמשים לחקר התפלגות גאודזיות סגורות, אנטרופיה והמבנה העדין של יריעות היפרבוליות.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →הפרכת השערה של קומר
ההישג המרכזי השני של פטרסון הגיע מפינה שונה לחלוטין בתורת המספרים. ב-1978, בעבודה משותפת עם תורת המספרים הבריטי רוג'ר 히스-براون (Roger Heath-Brown), הוא הפריך את השערת קומר על סכומי גאוס קוביים — תחזית מן המאה התשע-עשרה, המיוחסת לארנסט קומר (Ernst Kummer), בנוגע להתפלגות הסטטיסטית של הארגומנטים של סכומי מעריך קוביים מסוימים המתעוררים בחקר ההדדיות הקובית. הפיכת על פה של השערה בת מאה שנים מאת מתמטיקאי בשיעור קומתו של קומר היא כשלעצמה תוצאה משמעותית, אך פטרסון והית'-בראון הלכו רחוק יותר והציעו השערה מתוקנת משל עצמם שתחליף אותה — תחזית שעמדה פתוחה במשך יותר מארבעה עשורים עד שהוכחה סופית ב-2021 על ידי אלכסנדר דאן (Alexander Dunn) ומקסים רדזיוויל (Maksym Radziwiłł), דוגמה בולטת להשערה ששרדה את מציעה בעשורים רבים טרם אומתה.
קריירה בגטינגן
לאחר הדוקטורט שלו, עבר פטרסון דרך רצף של משרות יוקרתיות אך זמניות — גטינגן (1974–75), בחזרה לקיימברידג' (1975–79), ואז הרווארד, שם החזיק במשרת ההרצאות על שם בנג'מין פירס (1979–81) — לפני שהתיישב ב-1981 כפרופסור למתמטיקה באוניברסיטת גטינגן, האוניברסיטה הגרמנית בעלת אחת ההיסטוריות העשירות ביותר במתמטיקה, החל מגאוס ורימן דרך הילברט ואמי נתר. פטרסון נשאר בגטינגן במשך שלושים שנה, עד לפרישתו ב-2011, כשהוא עובד על פני חבורות לא רציפות, חבורות פוקסיאניות וקלייניאניות, פונקציות הטא של רואל וסלברג, חבורות מטאפלקטיות, פונקציות תטא וסכומי מעריכים — תיק מחקר המשתרע על פני גאומטריה היפרבולית ותורת מספרים אנליטית המשקף טווח טכני רחב באופן יוצא דופן עבור קריירה יחידה. הוא ערך את כתב העת של קרל (Crelle's Journal), אחד מכתבי העת הוותיקים והיווקיים ביותר למחקר במתמטיקה, משנת 1982 עד 1994, ונבחר לחבר באקדמיה למדעים ולמדעי הרוח של גטינגן ב-1998, שם כיהן מאז בוועד הפועל של ארכיוני לייבניץ בהנובר. אגודת המתמטיקה של לונדון העניקה לו את פרס ווייטհيد (Whitehead Prize) ב-1984, המוענק למתמטיקאים בשלבים המוקדמים של הקריירה שלהם תמורת תרומות יוצאות דופן, ועמיתים ציינו את יום הולדתו השישים בכנס ביולי 2009, ואחריו כרך פסטשריפט של מאמרים לכבודו ב-2012.
מדוע סמואל מכונה גאון
ההישג הספציפי שזיכה את פטרסון בתווית הוא הבנייה, בגיל צעיר ובמידה רבה באופן בלתי תלוי, של אובייקט מתמטי חדש לחלוטין — מידת פטרסון — הלוכד מידע דינמי באופן גאומטרי בצורה שאף כלי קודם לא עשה, ושמתמטיקאי מוביל אחר, דניס סאליבן, שפט כחשוב מספיק כדי לגלותו מחדש באופן בלתי תלוי ולבנות עליו תורה שלמה נוספה שלוש שנים לאחר מכן. סוג כזה של גילוי מחדש מתכנס על ידי מתמטיקאי עצמאי מהשורה הראשונה הוא אחד הסימנים החיצוניים האמינים לכך שרעיון הקדים את זמנו באופן אמיתי ולא היה סתם חכם. הפרכת השערת קומר מוסיפה נדבך ראיות שני ושאינו קשור: הפיכת תחזית מבוססת מהמאה התשע-עשרה והחלפתה באחרת טובה יותר ששרדה בעצמה יותר מ-ארבעים שנה לפני שהוכחה מראה את אותה אינטסטינקט לזיהוי מבנה שאחרים החמיצו, המיושם בתורת המספרים ולא בגאומטריה. המגבלה הכנה היא שכמו אצל מספר מתמטיקאים פעילים מבני דורו, ההכרה של פטרסון — פרס ווייטհيد שהוענק יחסית מוקדם בקריירה שלו, חברות באקדמיה, תפקידי עריכה — ניצבת מתחת לשכבה הגבוהה ביותר של אותות ההוקרה המתמטיים, והשפעה רבה שלו פועלת באמצעות מנגנון טכני (מידות קבוצת גבול, פונקציות זטה של חבורות בדידות) שנותר במידה רבה בלתי נראה מחוץ לגאומטריה ומתורת המספרים ההתמחותיים.
מורשת
מידת פטרסון-סאליבן היא כיום כלי סטנדרטי הנלמד בקורסים לתארים מתקדמים בגאומטריה היפרבולית ותורת הארגודיות ברחבי העולם, המצוטט בעבודה שמעבר לחבורות הפוקסיאניות שפטרסון חקר בהן לראשונה, והוכחת דאן-רדזיוויל של השערת פטרסון-הית'-בראון ב-2021 אישרה, כמעט חצי מאה לאחר מכן, שהאינסטינקט של פטרסון לגבי היכן מונחת האמת של בעיית קומר היה נכון לאורך כל הדרך.