רגאבאן נאראסימהאן

רגאבאן נאראסימהאן: האיש שסגר את בעיית לוי

בשנת 1962 הזמין הקונגרס הבינלאומי של המתמטיקאים (ICM) אנליסט הודי צעיר לנושא אחת מהרצאותיו. הוא היה בן עשרים וחמש ולא קיבל את התואר השלישי שלו עד כעבור שנה. ההזמנה לא הייתה מחווה של נימוס: שנתיים קודם לכן פתר רגאבאן נאראסימהאן (Raghavan Narasimhan) את בעיית לוי (Levi problem) עבור מרחבים מורכבים, שאלה שנותרה פתוחה במשך חצי מאה והביסה דור של מיטב האנליסטים באירופה. הוא בילה את חמשת העשורים הבאים בשיקגו, בכתיבת ספרי הלימוד שממנם למדו כל השאר את התחום.

מדראס והאב ראסין

הוא נולד ב-31 באוגוסט 1937 במדראס (Madras). הכשרתו המתמטית החלה במכללת לויולה (Loyola College) שם, שם קיבל את תואר הבוגר שלו בשנת 1957 ולמד תחת האב ראסין (Father Racine), הנזיר הישועי הצרפתי שהביא את האנליזה היבשתית למדינה שהצמיחה את ראמאנוג'אן אך חסרה תשתיות מוסדיות. נאראסימהאן המשיך לבומביי, לתוך מעגל ההשפעה של מכון טאטא (Tata Institute), וקיבל את התואר השלישי מאוניברסיטת בומביי בשנת 1963 תחת חוקר תורת המספרים ק' צ'אנדראסקהאראן (K. Chandrasekharan).

כדאי להתעכב על הכרונולוגיה. התואר השלישי הגיע בשנת 1963. המשפטים המתמטיים הגיעו בשנים 1960 ו-1961.

בעיית לוי

אנליזה מורכבת במשתנה אחד היא תחום בעל נוקשות יפהפייה: פונקציה הולומורפית על דיסק נקבעת על ידי מעט מאוד נתונים. במשתנים מרובים הנוקשות הופכת למוזרה. לאזורים מסוימים במרחב מורכב יש את התכונה שכל פונקציה הולומורפית עליהם מתרחבת באופן אוטומטי לאזור גדול יותר — האזור אינו, כביכול, ביתה הטבעי של הפונקציות שלו. אזורים שהם ביתם הטבעי נקראים תחומי הולומורפיות (domains of holomorphy), ובשנת 1910 שאל א' א' לוי (E. E. Levi) אילו אזורים הם כאלה, תוך שהעלה השערה כי תנאי גיאומטרי על השפה הנקרא פסאודו-קמירות הוא התשובה.

השאלה התבררה כקשה באופן אכזרי. קיושי אוקה (Kiyoshi Oka) יישב אותה לבסוף עבור תחומים במרחב אוקלידי מורכב בשנות ה-1940 וה-1950. הנס גראוארט (Hans Grauert) טיפל לאחר מכן במניפולדים מורכבים. מה שנותר היה המקרה הכללי והעדין ביותר: מרחבים מורכבים, שבהם מותרות נקודות סינגולריות — נקודות שבהן המרחב אינו מקומית סביבה יפה של C^n אלא משהו צבוט או מצטלב. נקודות סינגולריות שוברות את הכלים. מאמריו של נאראסימהאן, "בעיית לוי עבור מרחבים מורכבים" ב-Mathematische Annalen בשנת 1961 והמשכו, סגרו מקרה זה. התוצאה עדיין מצוטטת כמשפט גראוארט–נאראסימהאן, שזו דרכו של התחום לציין שהצעד האחרון והקשה ביותר היה שלו.

שיכון

המשפט הנקרא השני שלו הגיע ראשון, בשנת 1960, במאמר ב-American Journal of Mathematics שנשא את הכותרת "שיכון של מרחבים מורכבים שלמים הולומורפית". יריעות שטיין (Stein manifolds) הן האובייקטים האנליטיים-מורכבים הנושאים מספיק פונקציות הולומורפיות כדי להפריד את הנקודות של עצמן — המקבילה האנליטית של יריעות אלגבריות אפיניות, והמסגרת הטבעית עבור התחום כולו. כשהן מוגדרות באופן מופשט, קשה לדמיין אותן. נאראסימהאן הוכיח כי כל יריעת שטיין בממד מורכב n מאפשרת שיכון הולומורפי פרופר ואינג'קטיבי לתוך C^{2n+1}.

THE FREE TEST
How high is yours?

Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.

Take the IQ test →

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

שיקגו

הוא היה חוקר אורח במכון למחקר מתקדם בפרינסטון (Institute for Advanced Study) בשנת 1966 והצטרף לסגל המתמטיקה של אוניברסיטת שיקגו בשנת 1969, שם נשאר במשך יותר מארבעה עשורים וסיים כפרופסור אמריטוס. תחומי העניין שלו התרחבו ולא צומצמו: לצד משתנים מורכבים מרובים הוא עבד בתורת המספרים האנליטית, ובשנות ה-1990 שיתף פעולה עם צ'ארלס פפרמן (Charles Fefferman) מפרינסטון, זוכה מדליית פילדס, במאמרים בנקודת המפגש של אנליזה וגיאומטריה אלגברית ממשית — זיווג של שניים מהאנליסטים המרשימים ביותר מבחינה טכנית בעולם. אוניברסיטת ז'נבה העניקה לו תואר דוקטור לשם כבוד בשנת 1986.

הספרים

נאראסימהאן כתב שישה ספרים, והשפעתם עשויה בסופו של דבר לעלות על זו של המשפטים. Analysis on Real and Complex Manifolds (1968), הכרך מהרצאות שיקגו Several Complex Variables (1971) ו-Complex Analysis in One Variable (2001) הם דחוסים, מדויקים וידועים כבלתי סלחניים — ספרים המניחים שהקורא רוצה את המסלול הנכון הקצר ביותר ולא עידוד. דורות של תלמידי מחקר למדו מהם משתנים מורכבים מרובים. עמיתים זכרו אדם שהיה רציני במידה שווה לגבי מוזיקה קלאסית ויין, וכפי שזכר אחד מהם, "הייתה לו תובנה מדהימה באמת באנליזה."

הוא נפטר ב-3 באוקטובר 2015, בגיל שבעים ושמונה, לאחר מחלה קצרה.

מדוע רגאבאן נחשב לגאון

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

משפט השיכון הוא הברור יותר. הוא עונה על שאלה מהצורה "עד כמה אובייקטים אלה יכולים להיות פראיים?" ב"כלל לא פראיים" — כל יריעת שטיין בממד n יושבת כראוי בתוך C^{2n+1}. תוצאות בצורה זו הן נדירות ומועילות באופן פרופורציונלי, משום שהן מאפשרות לכל השאר להפסיק לדאוג לגבי קטגוריה שלמה של פתולוגיה אפשרית.

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

הטיעון הנגדי הוא טיעון של קנה מידה ולא של איכות. נאראסימהאן לא ייסד תחום ולא שינה את כיוון המושג; הוא פתר שתי בעיות קשות בתוך תחום שאחרים הגדירו, ואז בילה חמישים שנה פוריות אך פחות מרהיבות בעבודה בתוכו. הוא לא זכה במדליית פילדס, לא בפרס וולף ולא בפרס אבל; הוקרתו המרכזית הייתה תואר כבוד מז'נבה. לצד המתמטיקאים ששינו את נושא התחום, הרקורד שלו הוא של אנליסט עוצמתי באופן יוצא דופן עם שתי תוצאות מרהיבות מוקדם ומישור ארוך ומכובד לאחר מכן — גאון במובן הצר והמקומי, שראה בגיל עשרים ושלוש מה שאף אחד אחר לא יכול היה לראות, ולא מוח ששירטט מחדש את המפה.

מורשת

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