בשנת 1963, המתמטיקאי רוי קר מצא פתרון למשוואות של איינשטיין שתיאר במדויק את המרחב-זמן מחוץ למה שאנו מכנים כיום חור שחור מסתובב. (המונח לא ייטבע עוד כמה שנים.) בכמעט ששת העשורים שחלפו מאז הישגו, חוקרים ניסו להראות שהחורים השחורים האלה של קר הם יציבים. מה זה אומר, הסביר ז'רמי שפטל, מתמטיקאי מאוניברסיטת סורבון, "הוא שאם אני מתחיל עם משהו שנראה כמו חור שחור של קר ונותן לו בליטה קטנה" - על ידי זריקת גלי כבידה לעברו, למשל - "למה אתה מצפה, רחוק אל העתיד. , הוא שהכל יסתדר, וזה שוב ייראה בדיוק כמו פתרון של קר".
המצב ההפוך - חוסר יציבות מתמטית - "היה מהווה חידה עמוקה לפיסיקאים תיאורטיים והיה מצביע על הצורך לשנות, ברמה בסיסית כלשהי, את תורת הכבידה של איינשטיין", אמר. תיבול דאמור, פיזיקאי במכון למחקרים מדעיים מתקדמים בצרפת.
בתוך 912 עמודים מאמר פורסם באינטרנט ב-30 במאי, שפטל, אלנה ג'ורג'י מאוניברסיטת קולומביה ו סרג'יו קליינרמן מאוניברסיטת פרינסטון הוכיחו שחורים שחורים של קר מסתובבים לאט הם אכן יציבים. העבודה היא תוצר של מאמץ רב שנתי. ההוכחה כולה - המורכבת מהיצירה החדשה, א נייר בן 800 עמודים מאת קליינרמן ושפטל מ-2021, בתוספת שלושה מאמרי רקע שהקימו כלים מתמטיים שונים - מסתכמים בערך ב-2,100 עמודים בסך הכל.
התוצאה החדשה "אכן מהווה אבן דרך בהתפתחות המתמטית של תורת היחסות הכללית", אמר דמטריוס כריסטודולו, מתמטיקאי במכון הפדרלי השוויצרי לטכנולוגיה בציריך.
שינג-טונג יאו, פרופסור אמריטוס באוניברסיטת הרווארד שעבר לאחרונה לאוניברסיטת Tsinghua, זכה לשבחים דומה, וכינה את ההוכחה "פריצת הדרך הגדולה הראשונה" בתחום זה של תורת היחסות הכללית מאז תחילת שנות ה-1990. "זו בעיה קשה מאוד", אמר. עם זאת, הוא הדגיש כי המאמר החדש טרם עבר ביקורת עמיתים. אבל הוא כינה את המאמר לשנת 2021, שאושר לפרסום, "שלם ומרגש".
אחת הסיבות ששאלת היציבות נשארה פתוחה כל כך הרבה זמן היא שרוב הפתרונות המפורשים למשוואות של איינשטיין, כמו זו שמצא קר, הם נייחים, אמר גיורגי. "הנוסחאות האלה חלות על חורים שחורים שפשוט יושבים שם ולא משתנים לעולם; אלה לא החורים השחורים שאנו רואים בטבע." כדי להעריך את היציבות, החוקרים צריכים להעמיד חורים שחורים להפרעות קלות ואז לראות מה קורה לפתרונות שמתארים את האובייקטים האלה כשהזמן מתקדם.
לדוגמה, דמיינו גלי קול פוגעים בכוס יין. כמעט תמיד, הגלים מרעידים מעט את הכוס, ואז המערכת מתיישבת. אבל אם מישהו שר מספיק חזק ובגובה שמתאים בדיוק לתדר התהודה של הזכוכית, הזכוכית עלולה להתנפץ. גיורגי, קליינרמן ושפטל תהו האם תופעה דומה מסוג תהודה יכולה להתרחש כאשר חור שחור נפגע מגלי כבידה.
הם שקלו כמה תוצאות אפשריות. גל כבידה עשוי, למשל, לחצות את אופק האירועים של חור שחור של קר ולהיכנס לפנים. ניתן לשנות מעט את המסה והסיבוב של החור השחור, אך העצם עדיין יהיה חור שחור המאופיין במשוואות של קר. לחלופין, גלי הכבידה יכולים להתערבל סביב החור השחור לפני שהם מתפוגגים באותו אופן שבו רוב גלי הקול מתפוגגים לאחר מפגש עם כוס יין.
או שהם יכולים לשלב כדי ליצור הרס או, כפי שניסח זאת גיורגי, "אלוהים יודע מה." גלי הכבידה עשויים להתכנס מחוץ לאופק האירועים של חור שחור ולרכז את האנרגיה שלהם עד כדי כך שתיווצר ייחוד נפרד. המרחב-זמן מחוץ לחור השחור יתעוות אז בצורה כה חמורה עד שפתרון קר לא ינצח עוד. זה יהיה סימן דרמטי לחוסר יציבות.
שלושת המתמטיקאים הסתמכו על אסטרטגיה - המכונה הוכחה על ידי סתירה - שהופעלה בעבר בעבודה קשורה. הטיעון הולך בערך כך: ראשית, החוקרים מניחים את ההיפך ממה שהם מנסים להוכיח, כלומר שהפתרון לא קיים לנצח - שיש, במקום זאת, זמן מקסימלי שאחריו הפתרון של קר מתקלקל. לאחר מכן הם משתמשים באיזה "תחבולות מתמטית", אמר ג'ורג'י - ניתוח של משוואות דיפרנציאליות חלקיות, שנמצאות בלב תורת היחסות הכללית - כדי להרחיב את הפתרון מעבר לזמן המקסימלי לכאורה. במילים אחרות, הם מראים שלא משנה איזה ערך נבחר עבור הזמן המקסימלי, תמיד ניתן להאריך אותו. ההנחה הראשונית שלהם סותרת אפוא, מה שמרמז שההשערה עצמה חייבת להיות נכונה.
קליינרמן הדגיש כי הוא ועמיתיו בנו על עבודתם של אחרים. "היו ארבעה ניסיונות רציניים", אמר, "ובמקרה אנחנו בני המזל". הוא רואה בעיתון האחרון הישג קולקטיבי, והוא רוצה שהתרומה החדשה תיחשב כ"ניצחון לכל התחום".
עד כה, יציבות הוכחה רק עבור חורים שחורים המסתובבים באיטיות - כאשר היחס בין התנע הזוויתי של החור השחור למסה שלו הוא הרבה פחות מ-1. טרם הוכח שגם חורים שחורים המסתובבים במהירות הם יציבים. בנוסף, החוקרים לא קבעו במדויק כמה קטן צריך להיות היחס בין התנע הזוויתי למסה כדי להבטיח יציבות.
בהתחשב בכך שרק שלב אחד בהוכחה הארוכה שלהם נשען על ההנחה של מומנטום זוויתי נמוך, קליינרמן אמר שהוא "לא יהיה מופתע כלל אם, עד סוף העשור, תהיה לנו פתרון מלא של השערת קר [יציבות] ."
ג'ורג'י לא כל כך מרגש. "זה נכון שההנחה חלה רק על מקרה אחד, אבל זה מקרה חשוב מאוד". לעבור את ההגבלה הזו ידרוש לא מעט עבודה, אמרה; היא לא בטוחה מי ייקח על עצמו או מתי הם עשויים להצליח.
מעבר לבעיה זו מתנשאת לבעיה הרבה יותר גדולה שנקראת השערת המצב הסופי, שגורסת בעצם שאם נחכה מספיק זמן, היקום יתפתח למספר סופי של חורים שחורים של קר שמתרחקים זה מזה. השערת המצב הסופית תלויה ביציבות של קר ובתתי השערות אחרות שהן מאתגרות ביותר בפני עצמן. "אין לנו שום מושג איך להוכיח את זה", הודה גיורג'י. לחלקם, האמירה הזו עשויה להישמע פסימית. עם זאת, הוא גם ממחיש אמת מהותית על החורים השחורים של קר: הם מיועדים לצוות על תשומת לבם של מתמטיקאים במשך שנים, אם לא עשרות שנים.
