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

إليك ملخص تقني مفصل لورقة "موتّر أينشتاين الخالي من الأثر ليس تباينياً بالنسبة للمتري كمتغير مجال" (The trace-free Einstein tensor is not variational for the metric as field variable) من تأليف فون بلانكنبرج، وجيوليني، وشوارتز.

1. بيان المشكلة

تتناول الورقة سؤالاً جوهرياً في صياغة نظريات الجاذبية: هل يمكن اشتقاق موتّر أينشتاين الخالي من الأثر (trace-free Einstein tensor) من مبدأ فعل محلي؟

• السياق: معادلات أينشتاين الخالية من الأثر هي تعديل للنسبية العامة (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$ هو بُعد الزمكان. هذه المعادلات مهمة لأنها، تحت فرض حفظ زخم الطاقة ($\nabla_\mu T^{\mu\nu} = 0$)، تستلزم معادلات أينشتاين القياسية مع ظهور الثابت الكوني $\Lambda$ كثابت تكامل بدلاً من كونه بارامتراً ثابتاً.
• التعارض: من النتائج المعروفة جيداً أن موتّر أينشتاين الخالي من الأثر ($G^{\text{tf}}_{\mu\nu}$) لا يمكن أن ينشأ من تغيير (variation) فعل متماثل تحت التماثل التفاضلي (diffeomorphism-invariant) بالنسبة للمتري. وذلك لأن التماثل التفاضلي يتطلب أن يكون المشتق التبايني ذا تباعد متغاير صفري (بموجب متطابقة نويثر)، في حين أن موتّر أينشتاين الخالي من الأثر ليس متباعداً صفرياً بشكل متطابق لـ $n \geq 3$.
• السؤال المفتوح: هل يستمر عدم القدرة على التباين (non-variationality) إذا تم التخلي عن فرضية التماثل التفاضلي؟ بعبارة أخرى، هل يوجد أي دالة فعل محلية (سواء كانت متماثلة أم لا) تنتج موتّر أينشتاين الخالي من الأثر عند تغييرها بالنسبة للمتري (أو المتري العكسي)؟

2. المنهجية

يستخدم المؤلفون الحساب العكسي للتغيرات (Inverse Calculus of Variations)، وبالتحديد استخدام طريقة الإكمال التبايني (الكانوني) (Method of (Canonical) Variational Completion) ولاغرانج فينابرج-تونتي (Vainberg–Tonti 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): إذا كان لاغرانج فينابرج-تونتي موجوداً، ولكن تغييره يعطي نتيجة مختلفة عن التعبير الأصلي $E_A$ (تحديداً، إذا أعطى صفراً)، فإن $E_A$ لا يمكن أن يكون تباينياً محلياً.
• متغير المجال: يحلل المؤلفون تحديداً التغيير بالنسبة لـ المتري العكسي $g^{\mu\nu}$ (أو المتري $g_{\mu\nu}$ في الحالة المقابلة)، مع معاملة موتّر أينشتاين الخالي من الأثر المكتنز بالكثافة كالتعبير المستهدف.

3. المساهمات والنتائج الرئيسية

أ. تعميم عدم القدرة على التباين

المساهمة الأساسية هي إثبات أن عدم القدرة على التباين لموتّر أينشتاين الخالي من الأثر تظل قائمة حتى بدون افتراض التماثل التفاضلي. النتيجة قوية لأي دالة فعل محلية (سواء كانت متماثلة أم لا).

ب. المبرهنة الرئيسية (المبرهنة 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}$.

ج. آلية الإثبات (تحليل القياس/Scaling)

يعتمد الإثبات على تحليل سلوك القياس تحت تحويل $g^{\mu\nu} \to u g^{\mu\nu}$:

1. خصائص القياس:
   • رموز كريستوفل وموتر ريتشي $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$$
   • بسبب خاصية الخلو من الأثر (trace-free property)، فإن الضرب القياسي $g^{\mu\nu} \tilde{G}^{\text{tf}}_{\mu\nu}$ يساوي صفراً.
   • بناءً على ذلك، فإن لاغرانج فينابرج-تونتي يتلاشى بشكل متطابق ($\mathcal{L} = 0$).
4. الاستنتاج: بما أن تغيير الفعل الصفري هو صفر، والتعبير الأصلي غير صفري، فإن التعبير لا يمكن أن يكون تباينياً.

د. التمديد إلى المتري كمتغير مجال

يشير المؤلفون إلى أن النتيجة تنطبق بشكل متماثل إذا كان متغير المجال هو المتري $g_{\mu\nu}$ (والتعبير هو المتري المقابل/contravariant). يتغير منطق القياس قليلاً ($g_{\mu\nu} \to u g_{\mu\nu}$)، لكن خاصية الخلو من الأثر لا تزال تجعل لاغرانج فينابرج-تونتي يتلاشى.

4. الأهمية والآثار

• توضيح الجاذبية أحادية الشكل (Unimodular Gravity): توضح الورقة وضع الجاذبية أحادية الشكل. بينما غالباً ما تُناقش الجاذبية أحادية الشكل عبر مبادئ التباين، يؤكد المؤلفون أن معادلات أينشتاين الخالية من الأثر نفسها لا تنشأ مباشرة كمعادلات أويلر-لاغرانج من تغيير المتري في هذه الصيغ. بدلاً من ذلك، ينتج التغيير معادلات أينشتاين الكاملة مع وجود مضاعف لاغرانج (يعمل كـ $\Lambda$). الصيغة الخالية من الأثر هي نتيجة للقيد، وليست مخرجات التباين المباشرة.
• التمييز بين المعادلات والفعل: يعزز العمل فكرة أن الصلاحية الفيزيائية لمعادلات أينشتاين الخالية من الأثر لا تعتمد على قابليتها للاشتقاق من فعل قياسي للمتري. إنه يسلط الضوء على ضرورة إدخال مجالات مساعدة أو تغيير متغيرات المجال (كما في الأعمال الحديثة [5–7]) لبناء مبدأ فعل لهذه المعادلات.
• الدقة النظرية: من خلال إزالة فرضية التماثل التفاضلي، يغلق المؤلفون ثغرة محتملة. لقد أثبتوا أن العائق متأصل في البنية الرياضية للموتر الخالي من الأثر والمتري، وليس مجرد نتيجة لمتطلبات التماثل.

ملخص

تثبت الورقة بشكل قاطع أن موتّر أينشتاين الخالي من الأثر ليس تباينياً بالنسبة للمتري (أو المتري العكسي) لأي فعل محلي، بغض النظر عن التماثل التفاضلي. ويتم إثبات ذلك من خلال إظهار أن لاغرانج فينابرج-توندي المرتبط به يتلاشى بسبب طبيعة الموتر الخالية من الأثر، مما يؤدي إلى تناقض إذا افترضنا أن موتّر أينشتاين هو تعبير أويلر-لاغرانج. تعزز هذه النتيجة الفهم بأن الصيغ البديلة للجاذبية القائمة على المعادلات الخالية من الأثر تتطلب نماذج تباين غير قياسية (مثل المجالات المساعدة أو المتغيرات المختلفة) بدلاً من التغيير المباشر للمتري.