The trace-free Einstein tensor is not variational for the metric as field variable

यहाँ von Blanckenburg, Giulini, और Schwartz के शोध पत्र "The trace-free Einstein tensor is not variational for the metric as field variable" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण (Problem Statement)

यह शोध पत्र गुरुत्व सिद्धांतों (gravitational theories) के निरूपण में एक मौलिक प्रश्न को संबोधित करता है: क्या ट्रेस-फ्री आइंस्टीन टेंसर (trace-free Einstein tensor) को एक स्थानीय एक्शन सिद्धांत (local action principle) से व्युत्पन्न किया जा सकता है?

• संदर्भ: ट्रेस-फ्री आइंस्टीन समीकरण सामान्य सापेक्षता (GR) का एक संशोधन हैं, जो इस प्रकार दिए गए हैं:
  $$R_{\mu\nu} - \frac{1}{n} R g_{\mu\nu} = \kappa \left( T_{\mu\nu} - \frac{1}{n} T g_{\mu\nu} \right)$$
  जहाँ $n \geq 3$ स्पेसटाइम आयाम (spacetime dimension) है। ये समीकरण महत्वपूर्ण हैं क्योंकि ऊर्जा-संवेग संरक्षण ($\nabla_\mu T^{\mu\nu} = 0$) की धारणा के तहत, वे मानक आइंस्टीन समीकरणों को दर्शाते हैं, जहाँ कॉस्मोलॉजिकल स्थिरांक $\Lambda$ एक निश्चित पैरामीटर के बजाय एक एकीकरण स्थिरांक (integration constant) के रूप में प्रकट होता है।
• द्वंद्व (The Conflict): यह एक सुस्थापित परिणाम है कि ट्रेस-फ्री आइंस्टीन टेंसर ($G^{\text{tf}}_{\mu\nu}$) को मेट्रिक के सापेक्ष एक डिफ़ियोमोर्फिज्म-इनवेरिएंट (diffeomorphism-invariant) एक्शन को वैरिएट (vary) करके प्राप्त नहीं किया जा सकता है। ऐसा इसलिए है क्योंकि डिफियोमोर्फिज्म इनवेरिएंस के लिए आवश्यक है कि वेरिएशनल डेरिवेटिव का कोवेरिएंट डाइवर्जेंस शून्य हो (नोएदर आइडेंटिटी द्वारा), जबकि $n \geq 3$ के लिए ट्रेस-फ्री आइंस्टीन टेंसर स्वाभाविक रूप से डाइवर्जेंस-फ्री नहीं होता है।
• खुला प्रश्न: क्या यह नॉन-वेरिएबिलिटी (non-variationality) तब भी बनी रहती है यदि डिफ़ियोमोर्फिज्म इनवेरिएंस की धारणा को छोड़ दिया जाए? दूसरे शब्दों में, क्या कोई भी स्थानीय एक्शन फंक्शनल (इनवेरिएंट या नहीं) मौजूद है जो मेट्रिक (या इनवर्स मेट्रिक) के सापेक्ष वैरिएशन करने पर ट्रेस-फ्री आइंस्टीन टेंसर प्रदान करता है?

2. कार्यप्रणाली (Methodology)

लेखक इनवर्स कैलकुलस ऑफ वेरिएशंस (Inverse Calculus of Variations) का उपयोग करते हैं, विशेष रूप से (कैनोनिकल) वेरिएशनल कंप्लीशन की विधि और वेनबर्ग-टोंटी लैग्रेंजियन (Vainberg–Tondi Lagrangian) का उपयोग करते हैं।

• वेनबर्ग-टोंटी लैग्रेंजियन: एक दिए गए टेंसर-डेंसिटी-वैल्यूड एक्सप्रेशन $E_A[y^B]$ (जहाँ $y^B$ फील्ड वेरिएबल्स हैं) के लिए, एक संभावित लैग्रेंजियन घनत्व $\mathcal{L}$ का निर्माण एक विशिष्ट लाइन इंटीग्रल द्वारा किया जा सकता है:
  $$\mathcal{L}[y^A] := y^B \int_a^1 E_B[u y^A] \, du$$
  जहाँ $a$ एक सीमा है ताकि $\lim_{u \to a} u E_B[u y^A] = 0$ हो।
• प्रमाण का तर्क:
  1. यदि कोई एक्सप्रेशन $E_A$ स्थानीय रूप से वेरिएशनल है (अर्थात, यह किसी स्थानीय लैग्रेंजियन का यूलर-लैग्रेंज डेरिवेटिव है), और वेनबर्ग-टोंटी लैग्रेंजियन मौजूद है, तो वेनबर्ग-टोंटी लैग्रेंजियन मूल लैग्रेंजियन के समतुल्य होता है।
  2. प्रति-तर्क (Contrapositive Argument): यदि वेनबर्ग-टोंटी लैग्रेंजियन मौजूद है लेकिन इसका वेरिएशन मूल एक्सप्रेशन $E_A$ से भिन्न परिणाम देता है (विशेष रूप से, यदि यह शून्य देता है), तो $E_A$ स्थानीय रूप से वेरिएशनल नहीं हो सकता।
• फील्ड वेरिएबल: लेखक विशेष रूप से इनवर्स मेट्रिक $g^{\mu\nu}$ (या कंट्रावेरिएंट केस में मेट्रिक $g_{\mu\nu}$) के सापेक्ष वेरिएशन का विश्लेषण करते हैं, और डेंसिटाइज्ड ट्रेस-फ्री आइंस्टीन टेंसर को लक्षित एक्सप्रेशन के रूप में लेते हैं।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. नॉन-वेरिएबिलिटी का सामान्यीकरण (Generalization of Non-Variationality)

प्राथमिक योगदान यह प्रमाण है कि ट्रेस-फ्री आइंस्टीन टेंसर की नॉन-वेरिएबिलिटी तब भी बनी रहती जब डिफ़ियोमोर्फिज्म इनवेरिएंस की धारणा को हटा दिया जाए। यह परिणाम किसी भी स्थानीय एक्शन फंक्शनल के लिए सुदृढ़ है।

B. मुख्य प्रमेय (Theorem 1)

कथन: स्पेसटाइम आयाम $n \geq 3$ के लिए, डेंसिटाइज्ड ट्रेस-फ्री आइंस्टीन टेंसर:
$$\tilde{G}^{\text{tf}}_{\mu\nu} := \sqrt{|g|} \left( R_{\mu\nu} - \frac{1}{n} R g_{\mu\nu} \right)$$
को इनवर्स मेट्रिक $g^{\mu\nu}$ के सापेक्ष किसी भी स्थानीय एक्शन फंक्शनल को वैरिएट करके प्राप्त नहीं किया जा सकता है।

C. प्रमाण तंत्र (Scaling Analysis)

प्रमाण $g^{\mu\nu} \to u g^{\mu\nu}$ रूपांतरण के तहत टेंसर के स्केलिंग व्यवहार के विश्लेषण पर निर्भर करता है:

1. स्केलिंग गुण:
   • क्रिस्टोफेल सिम्बल्स (Christoffel symbols) और रिशी टेंसर $R_{\mu\nu}$ इस स्केलिंग के तहत इनवेरिएंट रहते हैं।
   • रिशी स्केलर $R = g^{\mu\nu}R_{\mu\nu}$, $u$ के रूप में स्केल करता है।
   • वॉल्यूम डेंसिटी $\sqrt{|g|}$, $|u|^{-n/2}$ के रूप में स्केल करती है।
2. परिणामी स्केलिंग: डेंसिटाइज्ड टेंसर इस प्रकार स्केल करता है:
   $$\tilde{G}^{\text{tf}}_{\mu\nu}[u g^{\rho\sigma}] = |u|^{-n/2} \tilde{G}^{\text{tf}}_{\mu\nu}[g^{\rho\sigma}]$$
3. वेनबर्ग-टोंटी गणना:
   • इंटीग्रल लिमिट $a$ को $\infty$ निर्धारित किया गया है (क्योंकि $n \geq 3$ के लिए, कारक $u|u|^{-n/2}$ केवल $u \to \infty$ होने पर ही शून्य होता है)।
   • लैग्रेंजियन की गणना की जाती है:
     $$\mathcal{L} = g^{\rho\sigma} \int_{\infty}^1 \tilde{G}^{\text{tf}}_{\rho\sigma}[u g^{\mu\nu}] \, du$$
   • ट्रेस-फ्री प्रॉपर्टी के कारण ($g^{\mu\nu} \tilde{G}^{\text{tf}}_{\mu\nu} = 0$), कॉन्ट्रैक्शन $g^{\rho\sigma} \tilde{G}^{\text{tf}}_{\rho\sigma}$ शून्य है।
   • फलस्वरूप, वेनबर्ग-टोंटी लैग्रेंजियन पूर्णतः शून्य हो जाता है ($\mathcal{L} = 0$)।
4. निष्कर्ष: चूंकि शून्य एक्शन का वेरिएशन शून्य होता है, और मूल एक्सप्रेशन गैर-शून्य है, इसलिए यह एक्सप्रेशन वेरिएशनल नहीं हो सकता।

D. मेट्रिक को फील्ड वेरिएबल के रूप में विस्तार (Extension to Metric as Field Variable)

लेखक नोट करते हैं कि यह परिणाम सममित रूप से तब भी लागू होता है जब फील्ड वेरिएबल मेट्रिक $g_{\mu\nu}$ (और टेंसर कंट्रावेरिएंट हो) हो। स्केलिंग लॉजिक थोड़ा बदल जाता है ($g_{\mu\nu} \to u g_{\mu\nu}$), लेकिन ट्रेस-फ्री प्रॉपर्टी अभी भी वेनबर्ग-टोंटी लैग्रेंजियन को शून्य होने के लिए मजबूर करती है।

4. महत्व और निहितार्थ (Significance and Implications)

• यूनिमॉडुलर ग्रेविटी का स्पष्टीकरण: यह शोध पत्र यूनिमॉडुलर ग्रेविटी की स्थिति को स्पष्ट करता है। हालांकि यूनिमॉडुलर ग्रेविटी को अक्सर वेरिएशनल सिद्धांतों के माध्यम से चर्चा में लाया जाता है, लेखक इस बात पर जोर देते हैं कि ट्रेस-फ्री आइंस्टीन समीकरण स्वयं सीधे तौर पर मेट्रिक को वैरिएट करके प्राप्त होने वाले यूलर-लैग्रेंज समीकरण नहीं हैं। इसके बजाय, वेरिएशन पूर्ण आइंस्टीन समीकरणों को देता है जिसमें एक लैग्रेंज मल्टीप्लायर (जो $\Lambda$ के रूप में कार्य करता है) शामिल होता है। ट्रेस-फ्री रूप बाधा (constraint) का एक परिणाम है, न कि प्रत्यक्ष वेरिएशनल आउटपुट।
• समीकरणों और एक्शन के बीच अंतर: यह कार्य इस बात की पुष्टि करता है कि ट्रेस-फ्री आइंस्टीन समीकरणों की भौतिक वैधता उनके किसी मानक मेट्रिक-आधारित एक्शन से व्युत्पन्न होने की क्षमता पर निर्भर नहीं करती है। यह रेखांकित करता है कि इन समीकरणों के लिए एक एक्शन सिद्धांत बनाने के लिए हमें सहायक क्षेत्रों (auxiliary fields) को पेश करना होगा या फील्ड वेरिएबल्स को बदलना होगा (जैसा कि हाल के कार्यों में किया गया है [5–7])।
• सैद्धांतिक कठोरता: डिफियोमोर्फिज्म इनवेरिएंस की धारणा को हटाकर, लेखक एक संभावित खामी (loophole) को बंद कर देते हैं। वे सिद्ध करते हैं कि अवरोध (obstruction) ट्रेस-फ्री टेंसर और मेट्रिक फील्ड वेरिएबल की आंतरिक गणितीय संरचना में निहित है, न कि केवल सिमेट्री आवश्यकताओं का परिणाम है।

सारांश

यह शोध पत्र निर्णायक रूप से सिद्ध करता है कि ट्रेस-फ्री आइंस्टीन टेंसर किसी भी स्थानीय एक्शन के लिए मेट्रिक (या इनवर्स मेट्रिक) के सापेक्ष नॉन-वेरिएशनल (not variational) है, चाहे डिफियोमोर्फिज्म इनवेरिएंस हो या न हो। इसे यह दिखाकर प्रदर्शित किया गया है कि संबंधित वेनबर्ग-टोंटी लैग्रेंजियन, ट्रेस-फ्री प्रकृति के कारण शून्य हो जाता है, जिससे एक विरोधाभास उत्पन्न होता है यदि यह माना जाए कि ट्रेस-फ्री टेंसर एक यूलर-लैग्रेंज एक्सप्रेशन है। यह परिणाम इस समझ को पुख्ता करता है कि ट्रेस-फ्री समीकरणों पर आधारित वैकल्पिक गुरुत्व मॉडल के लिए गैर-मानक वेरिएशनल सेटअप (जैसे सहायक क्षेत्र या अलग चर) की आवश्यकता होती है, न कि प्रत्यक्ष मेट्रिक वेरिएशन की।