תומאש מروוکا (Tomasz Mrowka): הטופולוג שכבש את ארבעת הממדים
תומאש מروוکا בילה חלק ניכר מהקריירה שלו בהוכחת טענות על מרחב ארבע-ממדי שאף אחד אחר לא הצליח לגעת בהן — תוך שימוש במשוואות שאושאלו מפיזיקת החלקיקים כדי לפתור שאלות בטופולוגיה עיונית שהיו פתוחות במשך מאה שנה. התוצאה המצוטטת ביותר שלו, שפותחה יחד עם שותף למחקר לאורך כל חייו, הפכה השערה שמתמטיקאים התייאשו מהאפשרות להוכיח אותה לכזו שנפתרה בכמה עמודים צפופים של אנליזה.
ירושה מתמטית
מروוکا נולד ב-8 בספטמבר 1961, בנם של המתמטיקאי הפולני-אמריקאי סטניסלב מרווکا (Stanisław Mrówka), מומחה בטופולוגיה כללית שהגר לארצות הברית ולימד באוניברסיטת העיר ניו יורק. דרכו של הבן עברה ב-MIT כתלמיד לתואר ראשון, שם קיבל תואר S.B. ב-1983, ולאחר מכן באוניברסיטת קליפורניה בברקלי, שם סיים דוקטורט ב-1988 בהנחיית קליפורד טაובס (Clifford Taubes) ורוביון קירבי (Robion Kirby) עם תזה על מרחבי מודולי של יאנג-מילס. בחירת המנחה הייתה קריטית: טაובס עמד במרכזה של מהפכה שעיצבה מחדש באותה תקופה את הטופולוגיה של ממדים נמוכים, והביא את מנגנוני הפיזיקה התיאורטית — תורת כיול, המתמטיקה שפותחה כדי לתאר את הכוחות הקושרים גרעיני אטום — אל תוך מחקר הצורות המופשטות.
תורת הכיול ככלי בידיו של טופולוג
התובנה שהניעה את אותה מהפכה, המזוהה מעל לכל עם סיימון דונלדסון (Simon Donaldson), הייתה שפתרונות למשוואות השדה של פיזיקאים, כאשר הם נלמדים על יריעה ארבע-ממדית, מקודדים מידע עדין על צורת היריעה שאף טכניקה טופולוגית קלאסית לא יכלה לראות. מروוکا הפך לאחד המומחים המיומנים ביותר בהפעלת מנגנון זה. בתחילת הקריירה שלו עבר דרך סטנפורד, משרה אורחת במכון הטכנולוגי של קליפורניה (Caltech), ולאחר מכן משרת פרופסורה שם מ-1992 עד 1996, בטרם הצטרף לסגל המתמטיקה של MIT ב-1996, שם נשאר במשך כל יתרת הקריירה שלו — כשהוא מחזיק בקתדרת סימונס (Simons Professorship) מ-2007 עד 2010, בקתדרת סינגר (Singer Professorship) מ-2010 ואילך, ומשמש כראש המחלקה מ-2014 עד 2017.
השותפות עם קרונהיימר
הקשר המדעי המכונן של מروוکا היה שיתוף הפעולה בן עשרות השנים עם המתמטיקאי הבריטי-אמריקאי פיטר קרונהיימר (Peter Kronheimer), שאותו פגש כדוקטורנט עמית במעגל יאנג-מילס של שנות ה-80. יחד השניים הפיקו גוף עבודה משמעותי כל כך עד שהאגודה האמריקאית למתמטיקה כיבדה אותו פעמיים כהישג משותף במקום להעניק קרדיט לאיש מהם בנפרד. התוצאה המרכזית המוקדמת ביותר שלהם הציגה את מה שהתחום מכנה כיום מחלקות היסוד של קרונהיימר-מروוکا (Kronheimer-Mrowka basic classes), אינווריאנטים המחלצים מידע טופולוגי על יריעה ארבע-ממדית ממבנה מרחבי המודולי האינסטנטוניים שלה — ומדייקים את האינווריאנטים המקוריים של דונלדסון לצורה חדה וברת-חישוב יותר.
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, לאחר שגילוי מששוואות זייברג-ויטן (Seiberg-Witten) העניק לתורת הכיול חלופה פשוטה מבחינה טכנית לגישת יאנג-מילס הישנה יותר. קרונהיימר ומروוکا השתמשו במשוואות החדשות כדי להוכיח את השערת תום (Thom conjecture), טענה — שהייתה פתוחה מאז שנות ה-50 — לגבי הגנוס המינימלי של משטח המייצג מחלקת הומולוגיה נתונה במישור הפרויקטיבי המרוכב. ההוכחה הייתה אחת ההדגמות הראשונות והדרמטיטיות ביותר שתורת זייברג-ויטן יכולה לפתור בעיות שדור קודם של חוקרי תורת הכיול מצא כבלתי ניתנות לפתרון, והיא סייעה להניע את המעבר הגורף של התחום למשוואות החדשות.
קשרים, מונופולים והשערת P
עבודתו המאוחרת של מروוکا דחפה את אותו ארגז כלים אל תורת הקשרים. יחד עם קרונהיימר הוא השתמש בהומולוגיית פלוא-מונופול של זייברג-ויטן (Seiberg-Witten monopole Floer homology) כדי להוכיח את השערת Property P, שאלה ותיקה אודות אילו ניתוחים כירורגיים על משלים של קשר יכולים לייצר ספֵרה תלת-ממדית — תוצאה בעלת השלכה ישירה על הטופולוגיה של יריעות תלת-ממדיות באופן רחב יותר. הצמד המשיך והראה שהומולוגיית חובאנוב (Khovanov homology), אינווריאנט קשר קומבינטוריאלי ללא מקור גיאומטרי ברור, חזקה די הצורך כדי לזהות את הקשר הטריוויאלי (unknot), ובכך קשרה יחד שני ענפים של הנושא — הומולוגיית פלוא תיאורטית-כיולית והבנייה האלגברית של מיכאיל חובאנוב (Mikhail Khovanov) — שהתפתחו כמעט במקביל. המונוגרפיה שלהם על מונופולים ויריעות תלת-ממדיות, שפורסמה ב-2007, נותרה ספר עזר סטנדרטי בתחום.
הוקרה
עמדתו של הקהילה המתמטית לגבי גוף עבודה זה הייתה עקבית באופן יוצא דופן. מروוکا וקרונהיימר חלקו את פרס אוסוולד ובלן בגיאומטריה (Oswald Veblen Prize in Geometry) ב-2007, את פרס ג'וזף ל. דוב (Joseph L. Doob Prize) של ה-AMS ב-2011, ו — האות הברור ביותר שעמיתיו של מתמטיקאי יכולים לשלוח — את פרס לרוי פ. סטיל לתרומה מכוננת למחקר (Leroy P. Steele Prize) ב-2023, שהוענק במיוחד עבור המאמרים שהציגו את מחלקות היסוד של קרונהיימר-מروוکا ויישמו אותן על השערת תום. מروוکا נבחר עצמאית לאקדמיה האמריקאית לאמנויות ולמדעים ב-2007 ולתאר האקדמיה הלאומית למדעים ב-2015, והוא העביר הרצאות מליאה בקונגרס הבינלאומי של המתמטיקאים ב-1994 ושוב ב-2018 בריו דה ז'ניירו. כמו כן, הוא זכה במלגות סלואן וגוגנהיים והנחה עשרות סטודנטים לדוקטורט ולפוסט-דוקטורט ב-MIT.
מדוע תומאש מכונה גאון
הטיעון בעד מروוکا נשען על סוג ספציפי ומתועד היטב של שליטה טכנית: היכולת לקחת מששוואות מהפיזיקה התיאורטית ולדחוף אותן, באמצעות אנליזה עדינה ביותר של משוואות דיפרנציאליות חלקיות לא-ליניאריות, כדי לענות על שאלות בטופולוגיה עיונית שנותרו לא פתורות במשך עשורים. השערת תום התנגדה להתקפה ישירה מאז שנות ה-50; השערת Property P השתייכה למשפחה דומה וישנה ועקששת של בעיות ביריעות תלת-ממדיות. שתיהן לא נפלו הודות לרעיון חדש על קשרים או משטחים כשלעצמם, אלא בזכות השליטה של מروוکا וקרונהיימר באנליזת מרחבי מודולי — השכבה הטכנית הקשה ביותר של תורת הכיול, שבה רוב המתמטיקאים שהבינו את הפיזיקה עדיין לא הצליחו לגרום לאומדנים לעבוד. בחירתו לאקדמיה הלאומית למדעים ולציטוט פרס סטיל משקפים קונצנזוס אמיתי בקרב טופולוגים שמדובר היה בעבודה ייחודית. המורכבות הכנה היא שכמעט שום חלק ממנה אינו בגדר יחיד: כל תוצאה מרכזית שנדונה כאן נעשתה בשיתוף פעולה עם פיטר קרונהיימר, ופרסי ובלן, דוב וסטיל הוענקו שניהם לצמד יחד, מה שהופך את גאונותו של מروוکا, לפי הראיות, לבלתי ניתנת להפרדה משותפות במקום ממתנה יחיدאית.
מורשת
מחלקות היסוד של מروוکا וטיעוני זייברג-ויטן שלו ושל קרונהיימר הם כיום כלים סטנדרטיים המלומדים לכל סטודנט לתואר מתקדם הנכנס לתחום הטופולוגיה נמוכת-המימדים, ותקופת כהונתו בניהול מחלקת המתמטיקה של MIT הותירה חותם מוסדי לצד זה המתמטי. ההוכחות להשערת תום ו-Property P נותרו, ארבעה עשורים לאחר שטאובס ודונלדסון פתחו את התחום, בין ההדגמות הברורות ביותר של מה שתורת הכיול יכולה לעשות עבור הטופולוגיה.