יפים זלמנוב: האיש שריסן קבוצות אינסופיות
במשך רוב המאה ה-20, בעיית ברנסייד המצומצמת עמדה בראש רשימת השאלות הפתוחות הגדולות בתורת החבורות, כשהיא עומדת בפני מוחותיהם המבריקים ביותר של מתמטיקאים במשך כמעט מאה שנה. בשנת 1991, בעת שעבד בנובוסיבירסק, מתמטיקאי סובייטי שהוכשר באלגברה העמומה של מבני ז'ורדן הצליח לפצח אותה – לא באמצעות התקפה ישירה, אלא על ידי גיוס כלים מתמטיים מפינה שנראתה לא קשורה בתחום. שלוש שנים לאחר מכן הוא קיבל את מדליית פילדס, הכבוד הגבוה ביותר במתמטיקה, על הישג זה.
מחברובסק למעצמה המתמטית של נובוסיבירסק
יפים איסקוביץ' זלמנוב (Efim Isaakovich Zelmanov) נולד ב-7 בספטמבר 1955 בחברובסק, שבמזרח הרחוק הסובייטי. הוא למד באוניברסיטת נובוסיבירסק, שהייתה אז אחד המרכזים החזקים ביותר באלגברה בברית המועצות, שם קיבל את התואר השני ב-1977 ונשאר להצטרף לסגל. הוא השלים את הדוקטורט שלו שם בשנת 1980 בהנחיית א.י. שירשוב (A.I. Shirshov) ול.א. בוקוט (L.A. Bokut), כשהוא עוסק באלגברה לא אסוציאטיבית – תחום טכני המתמקד במערכות אלגבריות, כגון אלגברות ז'ורדן, שאינן מצייתות לכלל הרגיל לפיו ניתן לסדר מחדש את סדר הכפל באופן חופשי. מאוחר יותר הוא הוסיף תואר דוקטור למדעים מאוניברסיטת לנינגרד בשנת 1985, הסמכה סובייטית מתקדמת מעבר לדוקטורט. הקריירה המוקדמת שלו התנהלה כולה בתוך המערכת האקדמית הסובייטית: חוקר זוטר במכון למתמטיקה של האקדמיה למדעים של ברית המועצות בנובוסיבירסק החל משנת 1980, הועלה לדרגת חוקר בכיר ב-1985 וחוקר מוביל ב-1986, לפני שעזב את המכון ב-1987.
הרחבת אלגברת ז'ורדן לממדים אינסופיים
המוניטין של זלמנוב נבנה תחילה על אלגברות ז'ורדן, מבנה אלגברי שהוצג במקור כדי למסד היבטים של מכניקת הקוונטים. תוצאות קלאסיות בתחום הוכחו רק עבור מקרים סופיים-ממדיים; זלמנוב הרחיב משפטים מבניים מרכזיים לממדים אינסופיים, הכללה טכנית מרשימה שביססה אותו כסמכות מובילה בנושא. בשנת 1987 הוא יישם שיטות קשורות על בעיה פתוחה נפרדת בתורת אלגברות לי, והוכיח שמה שנקרא זהות אנגל גורר נילפוטנטיות גם באלגברות אינסוף-ממדיות – תוצאה נוספת שחמקה מהוכחה ישירה באמצעות הטכניקות הסטנדרטיות של התחום.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →פתרון בעיית ברנסייד המצומצמת
ההישג שהגדיר את הקריירה שלו הגיע בשנת 1991. בעיית ברנסייד המצומצמת שאלה האם, עבור חבורות הנוצרות על ידי מספר קבוע של איברים שבהם לכל איבר יש סדר המחלק מספר קבוע כלשהו, קיים גודל חבורה סופי מקסימלי קבוע – כלומר, האם חבורות כאלה יכולות רק לגדול עד נקודה מסוימת לפני שנכנסת לתוקף מגבלה אחרת, ללא קשר לאופן שבו הן בנויות. השאלה העסיקה את תיאורטיקני החבורות במשך כמעט כל המאה ה-20. זלמנוב פתר אותה לא באמצעות כלים המקוריים לתורת החבורות אלא על ידי ייבוא תורת המבנים שבנה עבור אלגברות ז'ורדן, בשילוב עם טכניקות חדשניות הכוללות את מה שמתמטיקאים מכנים "אלגברות כריך" וחזקות מחולקות – מנגנונים שאפשרו לו לתרגם שאלה עקשנית מתורת החבורות לצורה שהאלגברה המתמחה שלו יכלה לענות עליה. המסלול הבין-תחומי לפתרון היה מרשים עבור עמיתיו כמו הפתרון עצמו: הוא למעשה בנה את הכלים הדרושים לפתרון הבעיה שנים קודם לכן, בזמן שעבד על מה שנראה כשאלה לא קשורה בענף אחר של האלגברה.
מדליית פילדס וקריירה כמהגר
זלמנוב עזב את ברית המועצות בעת שהתפרקה ובנה מחדש את הקריירה שלו בסדרה של אוניברסיטאות אמריקאיות: אוניברסיטת ויסקונסין–מדיסון ב-1990, אוניברסיטת שיקגו ב-1994, אוניברסיטת ייל בין 1995 ל-2002, ואוניברסיטת קליפורניה בסן דייגו משנת 2002 ואילך, שם הוא מחזיק בקתדרה על שם ריטה ל. אטקינסון. בשנת 1994, בקונגרס הבינלאומי של המתמטיקאים בציריך, הוא קיבל את מדליית פילדס על עבודתו בתורת החבורות ובתורת אלגברות ז'ורדן ולי. הוא כבר זכה במדליית קולז' דה פראנס ב-1992, ומאוחר יותר קיבל את פרס אנדרה אייזנשטאדט ב-1996. בשנת 2001 הוא נבחר לאקדמיה הלאומית למדעים של ארה"ב כחבר הצעיר ביותר במחלקת המתמטיקה שלה באותה עת. הוא כיהן במועצות המערכת של כתבי עת מובילים, כולל ה-Annals of Mathematics וה-Journal of Algebra.
מדוע יפים מכונה גאון
הטיעון לגאונות של זלמנוב נשען על דפוס ספציפי ויוצא דופן: הוא פתר את אחת הבעיות העתיקות ביותר בתורת החבורות באמצעות מנגנונים אינטלקטואליים שבנה עבור תחום אחר לגמרי, שנים לפני שהפנה אותם לבעיית ברנסייד. זו אינה גאונות של חישוב גולמי או של עבודה מאומצת בשיטה ידועה מהר יותר מכל אחד אחר; זו היכולת הנדירה יותר להכיר בכך שתובנה מבנית שפותחה עבור אלגברות ז'ורדן אינסוף-ממדיות – תחום שרוב תיאורטיקני החבורות לעולם לא היו מתייעצים איתו – הכילה בדיוק את הכלי הדרוש לפיצוח שאלה בת מאה שנה בדיסציפלינה שלא הייתה קשורה לכאורה. הציטוט של ועדת מדליית פילדס על עבודה המשתרעת על תורת החבורות ואלגברות ז'ורדן ולי משקף בדיוק את ההפריה ההדדית הזו, ולא עומק בתחום צר יחיד. הסיבוך הכנה הוא שבעיית ברנסייד המצומצמת הייתה מאמץ קולקטיבי של מאה שנה ולא חידה שזלמנוב ניגש אליה ללא כל תשתית קודמת: הוא עבד בתוך בעיה שהמונחים, התוצאות החלקיות והקשיים הידועים שלה כבר מופו בפירוט על ידי דורות של תיאורטיקני חבורות קודמים, והפתרון שלו נבנה ישירות על עבודה מבנית שהוא ואחרים עשו על אלגברות ז'ורדן ולי בשנות ה-80. גאונותו, לפי קריאה זו, הייתה פחות הברקה רגעית ויותר הרוחב יוצא הדופן לראות שמנגנונים ממחקריו הקודמים והנפרדים חלו על בעיה ששאר התחום עדיין תקף חזיתית.
מורשת
הפתרון של זלמנוב סגר שאלה שעיצבה את המחקר בתורת החבורות במשך מאה שנה, והטכניקות האלגבריות שפיתח כדי לעשות זאת נותרו כלים פעילים בתחום. כיום פרופסור באוניברסיטת קליפורניה בסן דייגו, הוא ממשיך לעבוד על הגבול שבין תורת החבורות לאלגברה לא אסוציאטיבית, והקריירה שלו – ממגרש אימונים מתמטי סובייטי בנובוסיבירסק ועד לכבוד הגבוה ביותר במתמטיקה העולמית – עומדת כאחד מסיפורי ההצלחה הבולטים של מהגרים במדע הסובייטי המאוחר.