זו שאלה נהדרת! מה שאתה שואל הוא אחד הקישורים החסרים בין כוח המשיכה הקלאסי לכמויות.
בפני עצמם, משוואות איינשטיין, $ G _ {\ mu \ nu} = 8 \ pi G T _ {\ mu \ nu} $, הן משוואות שדה מקומיות ואינן מכילות שום מידע טופולוגי. ברמת עקרון הפעולה,
$$ S _ {\ mathrm {eh}} = \ int_ \ mathcal {M} d ^ 4 x \, \ sqrt {-g} \, \ mathbf { R} $$
המונח שאנו כוללים בדרך כלל הוא Ricci scalar $ \ mathbf {R} = \ mathrm {Tr} [R _ {\ mu \ nu}] $, שתלוי רק בראשון וב נגזרות שניות של המדד והוא, שוב, כמות מקומית. כך שגם הפעולה לא מספרת לנו על טופולוגיה, אלא אם כן אתה נמצא בשני מימדים, כאשר המאפיין אוילר ניתן על ידי האינטגרל של סולם הריצ'י:
$$ \ int d ^ 2 x \, \ mathcal {R} = \ chi $$
(מודולו כמה גורמים מספריים). אז כוח המשיכה ב -2 מימדים הוא לגמרי טופולוגי. זאת בניגוד למקרה הדו-ממדי שבו נראה שפעולת איינשטיין-הילברט אינה מכילה מידע טופולוגי.
זה אמור לכסות את שאלתך הראשונה.
עם זאת, הכל לא אבוד. אפשר להוסיף דרגות חופש טופולוגיות לכוח המשיכה 4D על ידי הוספת מונחים המתאימים למשתנים טופולוגיים שונים (צ'רן-סימונס, ניה-יאן ופונטריאגין). למשל, התרומה של צ'רן-סימונס לפעולה נראית כך:
$$ S_ {cs} = \ int d ^ 4 x \ frac {1} {2} \ left (\ epsilon_ {ab} {} ^ {ij} R_ {cdij} \ right) R_ {abcd} $$
הנה מאמר נחמד מאוד מאת Jackiw ו- Pi לפרטי הבנייה הזו.
יש עוד הרבה מה לומר על טופולוגיה ויחסיות כללית. שאלתך רק מגרדת את פני השטח. אבל יש מכרה זהב מתחת! אני אתן למישהו אחר להתמודד עם השאלה השנייה שלך. תשובה קצרה היא "כן".