The $C^0$-inextendibility of Kerr spacetimes

ملخص تقني: عدم قابلية التمدد من الرتبة $C^0$ لزمكانات كير (Kerr)

بيان المشكلة
يصف حل "كير" حقل الجاذبية الفراغي لثقب أسود دوار. وبينما يمتد المتريك (metric) تحليلياً عبر آفاق الحدث المنتظمة، فإن الانحناء يتباعد عند الحلقة المفردة المعرفة بـ $\Sigma = r^2 + a^2 \cos^2 \theta = 0$. ويتمثل سؤال مركزي في النسبية العامة فيما إذا كان بالإمكان تمديد الزمكان وراء هذه المفردة كمنوع لورنتزي مستمر ($C^0$)، حتى لو لم يكن المتريك قابلاً للتفاضل. وقد أثبتت النتائج السابقة عدم قابلية التمدد لحالات محددة أو تحت افتراضات تتعلق بقوة انتظام أعلى (مثل $C^2$ أو $C^{1,1}$)، إلا أن عدم قابلية التمدد من الرتبة $C^0$ لتجليات "كير" الكاملة — بما في ذلك الحالات دون القصوى، والقصوى، وفوق القصوى، وكذلك أغلفة الزمكان المتصلة لها — ظلت بحاجة إلى إثبات دون فرض افتراضات سببية عالمية.

المنهجية
يستخدم البحث عائقاً هندسياً يعتمد على أطوال الهوموتوبي السببية بالقرب من الحلقة المفردة. وتعتمد الاستراتيجية الجوهرية على ثلاثة مكونات رئيسية:

1. العائق السببي المحلي: يقوم المؤلف بإنشاء هوموتوبي سببي محدد بالقرب من الحلقة حيث يمكن تشويه منحنى زمن-مثل (timelike) مرجعي (مع تثبيت النهايات) ليشمل منحنى سببي مغلق غير ثابت. يعتمد هذا البناء على وجود تركيبين خطيين مستقلين من حقول "كيلينغ" (Killing fields) المستقرة ($T$) والمحورية ($\Phi$)، يكون أحدهما مستقبلياً وزمن-مثلياً عند نقطة عرضية واحدة، بينما يكون سالب الآخر مستقبلياً وزمن-مثلياً عند نقطة أخرى. ومن خلال عبور قطع مدارية لهذه الحقول، يقوم المؤلف بإلغاء الإزاحة العرضية، مما يؤدي إلى إنشاء حلقة مغلقة.
2. الأطوال غير المحدودة: إن تكرار هذه الحلقة المغلقة ضمن نفس فئة الهوموتوبي السببي ذات النهايات الثابتة يؤدي إلى منحنيات ذات زمن ذاتي (proper time) كبير جداً. ويثبت المؤلف أنه لأي إعادة قياس تآلفي (conformal rescaling) مستمر $\Omega^2 g$، فإن طول هذه المنحنيات يتباعد كلما اقترب المنحنى من الحلقة ($\Sigma \to 0$).
3. حجة التمدد العالمي: يستند البحث إلى نظرية حدودية (Minguzzi and Suhr) تنص على أنه إذا وجد تمديد $C^0$ ملائم، فلا بد من وجود جيوديسي مستقبلي غير منتهٍ، ذي سرعة وحدة، وذات زمن ذاتي منتهٍ ينتهي عند الحد. ويوضح المؤلف أن كل جيوديسي في تجليات "كير" يجب أن يقترب من الحلقة ($\Sigma \to 0$). ومن خلال الجمع بين العائق المحلي (طول الهوموتوبي اللانهائي) مع السلوك العالمي للجيوديسيات، يستنتج المؤلف تناقضاً: المنحنى الذي ينتهي عند حد مستمر يجب أن يمتلك أطوال هوموتوبي سببية محدودة في مخطط إحداثي، في حين أن بناء الحلقة يفرض هذه الأطوال لتكون لانهائية.

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

• النظرية الرئيسية (عدم قابلية التمدد من الرتبة $C^0$): يثبت البحث أن كل غلاف متصل لجميع تجليات "كير" (دون القصوى، القصوى، وفوق القصوى) هو غير قابل للتمدد من الرتبة $C^0$. وينطبق هذا على أي متريك تمدد لورنتزي مستمر وغير منحل، بغض النظر عن التماثل، أو التوجه الزمني، أو الخصائص السببية العالمية.
• توصيف المفردة: يتركز العائق في الحلقة المفردة. ويوضح الإثبات أن أي جيوديسي زمن-مثلي ذي زمن ذاتي منتهٍ يجب أن يحقق $\Sigma \to 0$، $r \to 0$، و $\theta \to \pi/2$ (الاقتراب من الحلقة الاستوائية).
• المتانة تحت الاضطرابات: يستمر العائق تحت تأثير الاضطرابات المستقرة والمحورية $g + h$ بشرط أن يحقق الاضطراب حداً حاداً: $\limsup_{\Sigma \to 0} \|h\|_E / \Sigma < 1/(1+a^2)$ في معيار إحداثي محدد. ويوفر البحث أمثلة تظهر أن هذا الحد حاد؛ إذ إن تجاوز هذا الحد يسمح بإعادة قياس تآفي (conformal rescalings) تظل فيها أطوال الهوموتوبي منتهية.
• الاستقرار التآلفي والمخييطي: تسري النتيجة لأي عوامل تآلفية موجبة مستمرة ولأي متريك لورنتزي مستمر تحتوي مخاريطه المستقبلية السببية على مخاريط "كير". ويشمل هذا الاقتراب من الحلقة عبر المسارات الصفرية (null approaches).
• التحليل الهندسي للجيوديسيات النهائية:
  • يصنف البحث الجيوديسيات النهائية، مبيناً أن البيانات الأولية العامة تؤدي إلى جيوديسيات كاملة، بينما تقتصر الجيوديسيات غير الكاملة على تحت-منوع (submanifold) ذي كوديمينشن (codimension-two) (استوائي، وعزم كيلينغ محدد).
  • يشتق البحث توسعات تقاربية حادة للإحداثي الشعاعي $r(s)$ وإحداثيات المدار بالقرب من الحلقة، واجداً سلوكاً رئيساً هو $r \sim u^{2/5}$ (حيث $u$ هو الزمن الذاتي المتبقي).
  • يحلل تباعد الانحناء، موضحاً أن الثوابت القياسية مثل "سكالار كريتشمان" (Kretschmann scalar) تتباعد كـ $\Sigma^{-3}$ (أو $u^{-12/5}$)، ويوفر اختزالات دقيقة لحقول جاكوبي القطبية.
• حدود الاضطراب: يحدد المؤلف عتبات دقيقة للاضطرابات. بالنسبة للرتبة الأولى، فإن المعامل $1/(1+a^2)$ هو الأمثل. وفي الرتبة التالية، تم تحديد معامل حرج $\kappa^* = M^2/(2a^4)$، حيث يستمر العائق عندما تكون $a^2 \ge 2M^2$ ويفشل عندما تكون $a^2 < 2M^2$ تحت تأثير اضطرابات من الرتبة الأولى (rank-one).

الأهمية والادعاءات
يزعم البحث حل مسألة عدم قابلية التمديد من الرتبة $C^0$ لزمكان "كير" بالكامل، وهي مسألة طويلة الأمد في النسبية الرياضية. ومن خلال الاعتماد فقط على حدود المخروط المحلي وحجج الهوموتوبي السببي، يتجنب الإثبات الحاجة إلى التجلد الهيبربولي العالمي أو افتراضات انتظام أعلى (مثل $C^2$ أو حدود الانحناء) التي كانت مطلوبة لنتائج مماثلة سابقاً.

يؤكد المؤلف أن العائق جوهري في البنية السببية لحلقة "كير". وتقتضي النتيجة أن المفردة ليست مجرد أثر إحداثي أو مكان يفشل فيه القابلية للتفاضل، بل هي حد حقيقي لا يمكن تجاوزه حتى بواسطة متريك مستمر. كما يوفر العمل إطاراً صارماً لفهم استقرار عدم قابلية التمدد هذه تحت الاضطرابات، مما يقدم حدوداً كمية حادة تميز بين المتريكات التي تحتفظ بطبيعة "الحظر" للمفردة والمتريكات التي قد تسمح بتمديدات ذات طول منتهٍ تحت عمليات إعادة قياس تآلفية محددة.

يخلص البحث إلى أن حلقة المفردة تمثل حاجزاً أساسياً أمام التمدد، مما يعزز فرضية "الرقابة الكونية القوية" (Strong Cosmic Censorship) في سياق الثقوب السوداء الدوارة، وإن كان ذلك ضمن فئة محددة من التمديدات المستقرة، المحورية، والمستمرة. كما يوفر التحليل الهندسي للجيوديسيات النهائية والانحناء خريطة تفصيلية لسلوك الزمكان عند الاقتراب من هذا الحد.