$C^0$-inextendibility of a class of warped-product black hole spacetimes

तकनीकी सारांश: एक वर्ग के वार्प्ड-प्रोडक्ट ब्लैक होल स्पेसटाइम की $C^0$-अविस्तारणीयता (Inextendibility)

समस्या विवरण
यह शोध पत्र निम्न नियमितता ($C^0$) पर एक विस्तृत वर्ग के ब्लैक होल स्पेसटाइम के लिए स्पेसटाइम अविस्तारणीयता के प्रश्न को संबोधित करता है। जबकि श्वारज़चाइल्ड (Schwarzschild) स्पेसटाइम के मैक्सिमल एनालिटिक एक्सटेंशन की $C^0$-अविस्तारणीयता को सिबिएर्स्की (Sbierski) [Sbi18a, Sbi18b] द्वारा स्थापित किया गया था, यह परिणाम अत्यधिक गोलाकार समरूपता (spherical symmetry) पर निर्भर करता है। केंद्रीय समस्या यह निर्धारित करना है कि क्या अविस्तारणीयता के पीछे का तंत्र—विशेष रूप से वक्रता विलक्षणताओं (curvature singularities) और बाहरी क्षेत्र के माध्यम से निरंतर विस्तार के लिए अवरोध—उन वार्प्ड-प्रोडक्ट ब्लैक होल स्पेसटाइमों के लिए भी लागू होता है जिनमें पूर्ण गोलाकार समरूपता का अभाव है और जिनमें गैर-निर्वात पदार्थ क्षेत्र (non-vacuum matter fields) शामिल हो सकते हैं। यह जांच स्ट्रॉन्ग कॉस्मिक सेंसरशिप (Strong Cosmic Censorship) अनुमान से प्रेरित है, जो यह प्रस्तावित करता है कि आइंस्टीन समीकरणों के जेनेरिक समाधान अपने विलक्षण सीमाओं से कमजोर समाधानों (weak solutions) के रूप में विस्तार स्वीकार नहीं करने चाहिए।

कार्यप्रणाली (Methodology)
लेखक श्वारज़चाइल्ड मामले के लिए सिबिएर्स्की द्वारा विकसित प्रमाण रणनीति को एक सामान्यीकृत वार्प्ड-प्रोडक्ट सेटिंग में अनुकूलित करते हैं। कार्यप्रणाली में तीन प्राथमिक घटक शामिल हैं:

1. ज्यामितीय सेटअप (Geometric Setup): शोध पत्र $(d+1)$-आयामी ($d \ge 3$) ग्लोबली हाइपरबोलिक स्पेसटाइमों पर विचार करता है जिनका एक स्थिर बाहरी क्षेत्र (static exterior region) है, जिसे इस मेट्रिक द्वारा वर्णित किया गया है:
   $$g = -e^{-2\psi(r)}\left(1 - \frac{2m(r)}{r}\right)dt^2 + \left(1 - \frac{2m(r)}{r}\right)^{-1}dr^2 + r^2h$$
   जहाँ $h$, एक को-डायमेंशन-टू फाइबर $F$ पर एक रिमैनियन मेट्रिक है। यहाँ $m(r)$ और $\psi(r)$ श्वारज़चाइल्ड के मास और रेडशिफ्ट फंक्शन का सामान्यीकरण हैं। फाइबर $F$ को बंद (compact without boundary), संलग्नी (connected), समरूप (homogeneous) और ओरिएंटेबल माना गया है।

2. तकनीकी उपकरण और लेम्मा (Technical Tools and Lemmas):

   • मिन्कोवस्कियन चार्ट्स (Minkowskian Charts): प्रमाण भविष्य के सीमा बिंदु (future boundary point) के पास स्थानीय चार्ट्स के अस्तित्व का उपयोग करता है जहाँ मेट्रिक मिन्कोवस्की के करीब है और सीमा एक लिप्सचिट्ज ग्राफ (Lipschitz graph) है (प्रपोजिशन 1)।
   • फ्यूचर वन-कनेक्टेडनेस (Future One-Connectedness): एक महत्वपूर्ण चरण यह सिद्ध करना है कि विलक्षणता ($r \to 0$) के पर्याप्त निकट का आंतरिक क्षेत्र "फ्यूचर वन-कनेक्टेड" है (प्रपोजिशन 4)। यह गुण, जो फाइबर के पॉजिटिव इंजेक्टिविटी रेडियस पर निर्भर करता है, वक्रों के बीच टाइमलाइक होमोटोपियों (timelike homotopies) के निर्माण की अनुमति देता है।
   • समरूपता अनुकूलन (Symmetry Adaptation): श्वारज़चाइल्ड स्फीयर $S^2$ की गोलाकार समरूपता पर निर्भर रहने के बजाय, प्रमाण फाइबर $F$ की समरूपता (homogeneity) का लाभ उठाता है। लेम्मा 4 यह स्थापित करता है कि एक समरूप मैनिफोल्ड के लिए, आस-पास के बिंदुओं को पहचान (identity) के समान निकटतम आइसोमेट्रीज़ के माध्यम से एक दूसरे में मैप किया जा सकता है। यह उस स्पष्ट समन्वय नियंत्रण (coordinate control) को प्रतिस्थापित करता है जो गोलाकार समरूप मामले में उपलब्ध था।
   • टाइमलाइक जियोडेसिक द्विशाखता (Timelike Geodesic Dichotomy): यह शोध पत्र सिद्ध करता है कि इन स्पेसटाइमों के लिए, कोई भी फ्यूचर-डायरेक्टेड, फ्यूचर-इनएक्सटेंडिबल टाइमलाइक जियोडेसिक या तो फ्यूचर कंप्लीट है या केंद्रीय विलक्षणता ($r \to 0$) की ओर बढ़ता है। यह एक संरक्षित मात्रा (conserved quantity) को स्थापित करके जो फाइबर मेट्रिक से जुड़ी है (लेम्मा 11) और बाहरी तथा आंतरिक दोनों क्षेत्रों में जियोडेसिक समीकरणों का विश्लेषण करके प्राप्त किया गया है (प्रपोजिशन 5 और 6)।

3. विरोधाभास द्वारा प्रमाण (Proof by Contradiction): मुख्य तर्क एक $C^0$-एक्सटेंशन के अस्तित्व की कल्पना करता है। इसका अर्थ है कि एक फ्यूचर-डायरेक्टेड, फ्यूचर-इनएक्सटेंडिबल टाइमलाइक जियोडेसिक का अस्तित्व है जो विस्तार की सीमा (boundary of the extension) पर समाप्त होता है। प्रमाण यह प्रदर्शित करता है कि ऐसा जियोडेसिक मौजूद नहीं हो सकता:

   • यदि यह बाहरी क्षेत्र में रहता है, तो इसे फ्यूचर कंप्लीट होना चाहिए (थ्योरम 3), जो एक सीमा के अस्तित्व के विरुद्ध है (थ्योरम 1)।
   • यदि यह आंतरिक क्षेत्र में प्रवेश करता है और $r=0$ की ओर बढ़ता है, तो विलक्षणता की ज्यामिति (विशेष रूप से क्रेचमैन स्कैलर का विचलन और कॉची सतहों का व्यवहार) कॉची हाइपरसरफेस पर दूरियों की परिबद्धता (boundedness) के संबंध में एक विरोधाभास उत्पन्न करती है (थ्योरम 2)।

प्रमुख योगदान और परिणाम

• थ्योरम 2 (केंद्रीय विलक्षणता के माध्यम से कोई $C^0$-विस्तार नहीं): उन स्पेसटाइमों के लिए जहाँ फाइबर क्लोज्ड, कनेक्टेड, होमोजेनियस और ओरिएंटेबल है, और जहाँ $r \to 0$ होने पर $m(r) \to m_0 > 0$ है, केंद्रीय वक्रता विलक्षणता के माध्यम से कोई $C^0$-विस्तार संभव नहीं है। प्रमाण "स्पैगेटीफिकेशन" प्रभाव (कॉची सतहों पर दूरियों का विचलन) और फाइबर की समरूपता का उपयोग करके एक पृथक करने वाली बाधा (separating barrier) का निर्माण करने पर निर्भर करता है।
• थ्योरम 3 (टाइमलाइक जियोडेसिक द्विशाखता): $m(r)$ और $\psi(r)$ पर उपयुक्त शर्तों (डेरिवेटिव बाउंड्स सहित) के तहत, बाहरी क्षेत्र में कोई भी फ्यूचर-डायरेक्टेड, फ्यूचर-इनएक्सटेंडिबल टाइमलाइक जियोडेसिक या तो फ्यूचर कंप्लीट है या ब्लैक होल हॉरिजोन को काटता है। यदि यह आंतरिक भाग में प्रवेश करता है, तो यह $r \to 0$ होने पर ही फ्यूचर इनकंप्लीट होगा। यह बिना गोलाकार समरूपता वाले वार्प्ड-प्रोडक्ट्स के लिए ओ'नील (O'Neill) के परिणाम का सामान्यीकरण है।
• थ्योरम 4 (मुख्य $C^0$-अविस्तारणीयता परिणाम): थ्योरम 1 द्वारा प्रदान किए गए टाइमलाइक जियोडेसिक पूर्णता (timelike geodesic completeness) के अवरोध को थ्योरम 2 और 3 के साथ जोड़कर, यह शोध पत्र स्थापित करता है कि वर्णित वर्ग के वार्प्ड-प्रोडक्ट ब्लैक होल स्पेसटाइम भविष्य के लिए $C^0$-इनएक्सटेंडिबल हैं।
• एकाधिक हॉरिजन्स तक विस्तार: परिणामों को यह दिखाने के लिए दिखाया गया है कि वे तब भी मान्य हैं जब स्पेसटाइम में एक से अधिक नियमित ब्लैक होल हॉरिजोन मौजूद हों (परिशिष्ट A1)।

उदाहरण और प्रयोज्यता
शोध पत्र परिणामों के दायरे को प्रदर्शित करने के लिए विशिष्ट उदाहरण प्रदान करता है:

1. गैर-निर्वात गोलाकार सममित ब्लैक होल: एक विशिष्ट $m(r)$ वाला मॉडल जो डोमिनेंट एनर्जी कंडीशन (dominant energy condition) को संतुष्ट करता है, यह दर्शाता है कि गैर-निर्वात मॉडल इसमें शामिल हैं।
2. गैर-गोलाकार सममित ब्लैक होल: एक मॉडल जिसमें फाइबर $F = S^p \times S^q$ है, यह प्रदर्शित करता है कि परिणाम गोलाकार समरूपता से परे ज्यामितिओं पर भी लागू होते हैं, बशर्ते फाइबर होमोजेनियस हो।
3. बर्मिंघम ब्लैक होल्स (AdS): शोध पत्र नोट करता है कि जबकि थ्योरम 2 एंटी-डी सिटर स्पेस में बर्मिंघम ब्लैक होल्स (विलक्षणता के माध्यम से इनएक्सटेंडिबिलिटी सिद्ध करके) पर लागू होता है, थ्योरम 3 (और इस प्रकार पूर्ण थ्योरम 4) लागू नहीं होता क्योंकि विशिष्ट मेट्रिक कोएफिशिएंट्स बाहरी जियोडेसिक द्विशाखता के लिए आवश्यक डेरिवेटिव बाउंड्स को विफल कर देते हैं।

महत्व और दावे
शोध पत्र का दावा है कि इसने श्वारज़चाइल्ड स्पेसटाइम की $C^0$-अविस्तारणीयता के अंतर्निहित तंत्र को अलग किया है और कमजोर समरूपता धारणाओं के तहत इसकी मजबूती को प्रदर्शित किया है। फाइबर की समरूपता को गोलाकार समरूपता से बदलकर, लेखक ब्लैक होल मॉडलों के उस वर्ग को विस्तारित करते हैं जिनके लिए स्ट्रॉन्ग कॉस्मिक सेंसरशिप (इसके $C^0$ फॉर्मूलेशन में) को सत्यापित किया जा सकता है। यह कार्य यह उजागर करता है कि $C^0$-विस्तार के लिए अवरोध गोलाकार समरूपता का एक आर्टिफैक्ट नहीं है, बल्कि वक्रता विलक्षणताओं और हॉरिजोन क्रॉस-सेक्शन्स के विशिष्ट ज्यामितीय गुणों वाले अधिक सामान्य वार्प्ड-प्रोडक्ट ब्लैक होल्स की एक सामान्य विशेषता है। परिणाम निम्न नियमितता पर जनरल रिलेटिविटी में नियतिवाद (determinism) की वैधता और स्पेसटाइम विलक्षणताओं की समझ में योगदान देते हैं।