कार्य-कारण की स्थितियाँ

लोरेंट्ज़ियन मैनिफोल्ड सपेसटाइम के अध्ययन में कार्य-कारण स्थितियों का एक पदानुक्रम उपस्थित है जो ऐसे मैनिफोल्ड्स की वैश्विक संरचना के बारे में गणितीय प्रमेयों को सिद्ध करने में महत्वपूर्ण हैं। ये स्थितियाँ 1970 के दशक के अंत में एकत्र की गईं।

स्पेसटाइम पर कार्य-कारण की स्थिति जितनी अशक्त होगी, स्पेसटाइम उतना ही अधिक अभौतिक होगा। उदाहरण के लिए, संवर्त समय-सदृश वक्रों वाला स्पेसटाइम, गंभीर व्याख्यात्मक कठिनाइयाँ प्रस्तुत करता है। ग्रैंड फादर विरोधाभास देखें.

यह विश्वास करना उचित है कि कोई भी भौतिक स्पेसटाइम सबसे शसक्त कार्य-कारण स्थिति को संतुष्ट करेगा: वैश्विक अतिशयोक्ति ऐसे स्पेसटाइम के लिए सामान्य सापेक्षता में समीकरणों को कॉची सतह पर प्रारंभिक मूल्य समस्या के रूप में प्रस्तुत किया जा सकता है।

पदानुक्रम
कार्य-कारण स्थितियों का एक पदानुक्रम है, जिनमें से प्रत्येक पिछले की तुलना में सख्ती से शसक्त है। इसे कभी-कभी कारण सीढ़ी भी कहा जाता है। सबसे अशक्त से सबसे शसक्त तक स्थितियाँ हैं:


 * पूर्णतया दुष्ट नहीं
 * कालानुक्रमिक
 * कारण
 * भेद करना
 * प्रबल कारणात्मक
 * स्थिर कारण
 * कारणतः निरंतर
 * कारणतः सरल
 * विश्व स्तर पर अतिशयोक्तिपूर्ण

लोरेंत्ज़ियन मैनिफोल्ड $$(M,g)$$ के लिए इन कार्य-कारण स्थितियों की परिभाषाएँ दी गई हैं। जहां दो या दो से अधिक दिए गए हैं वे समतुल्य हैं।

संकेतन:
(परिभाषाओं के लिए कारण संरचना $$\,I^+(x)$$, $$\,I^-(x)$$ और $$\,J^+(x)$$, $$\,J^-(x)$$ कारण संबंध देखें
 * $$p \ll q$$ कालानुक्रमिक संबंध को दर्शाता है.
 * $$p \prec q$$ कारण संबंध को दर्शाता है.

गैर-पूरी तरह से अनैतिक

 * कुछ बिंदुओं के लिए $$p \in M$$ अपने पास $$p \not\ll p$$ तब $$p = q$$

अतीत-भेद

 * दो बिंदु $$p, q \in M$$ जो समान कालानुक्रमिक अतीत साझा करते हैं वे समान बिंदु हैं:
 * $$I^-(p) = I^-(q) \implies p = q $$


 * $$p \in M$$ के किसी भी निकट $$U$$ के लिए एक निकट $$V \subset U, p \in V$$ उपस्थित है, जिससे कि $$p$$ से कोई भी अतीत-निर्देशित गैर-स्पेसलाइक वक्र $$V$$ को एक से अधिक बार नहीं काटता है।

भविष्य-भेद

 * दो बिंदु $$p, q \in M$$ जो समान कालानुक्रमिक भविष्य साझा करते हैं वे समान बिंदु हैं:
 * $$I^+(p) = I^+(q) \implies p = q $$


 * $$p \in M$$ के किसी भी निकट $$U$$ के लिए एक निकट $$V \subset U, p \in V$$ उपस्थित है, जिससे कि $$p$$ से कोई भी भविष्य-निर्देशित गैर-स्पेसलाइक वक्र $$V$$ को एक से अधिक बार नहीं काटता है।

प्रबल कारण

 * $$p \in M$$ के किसी भी निकट $$U$$ के लिए एक निकट $$V \subset U, p \in V$$ उपस्थित है जैसे कि कोई समय-समान वक्र उपस्थित नहीं है जो $$V$$ से एक से अधिक बार गुजरता है।
 * $$p \in M$$ के किसी भी निकट $$U$$ के लिए एक निकट $$V \subset U, p \in V$$ उपस्थित है जैसे कि $$V$$, $$M$$में कारणात्मक रूप से उत्तल है (और इस प्रकार $$U$$ में)।
 * अलेक्जेंडर टोपोलॉजी मैनिफोल्ड टोपोलॉजी से सहमत है।

स्थिर कारण
यदि मीट्रिक को एक छोटा अस्पष्ट सिद्धांत दिया जाता है, तो ऊपर परिभाषित किसी भी अशक्त कार्य-कारण की स्थिति को संतुष्ट करने वाला मैनिफोल्ड ऐसा करने में विफल हो सकता है। एक स्पेसटाइम स्थिर रूप से कारणात्मक होता है यदि इसे मीट्रिक के इच्छित रूप से छोटे अस्पष्ट द्वारा संवर्त कारण वक्र को सम्मिलित करने के लिए नहीं बनाया जा सकता है। स्टीफन हॉकिंग ने दिखाया यह इसके समान है:

$$M$$ पर एक वैश्विक समय फलन उपस्थित है। यह $$M$$ पर एक अदिश क्षेत्र $$t$$ है जिसका ग्रेडिएंट $$\nabla^a t$$ हर जगह समय जैसा और भविष्य-निर्देशित है। यह वैश्विक समय फलन हमें स्पेसटाइम के प्रत्येक बिंदु के लिए भविष्य और अतीत के बीच अंतर करने का एक स्थिर विधि देता है (और इसलिए हमारे पास कोई कारणात्मक उल्लंघन नहीं है)।

विश्व स्तर पर अतिशयोक्तिपूर्ण
रॉबर्ट गेरोच ने दिखाया कि एक स्पेसटाइम विश्व स्तर पर अतिशयोक्तिपूर्ण है यदि और केवल तभी जब $$M$$के लिए एक कॉची सतह उपस्थित हो। इसका अर्थ यह है कि: $$, कुछ कॉची सतह $$S $$ के लिए स्थलाकृतिक रूप से $$\mathbb{R} \times\!\, S$$ के समतुल्य है (यहां $$\mathbb{R}$$ वास्तविक रेखा को दर्शाता है)।
 * $$\,M$$ दृढ़ता से कारणात्मक है और प्रत्येक सेट $$J^+(x) \cap J^-(y)$$ (बिंदु $$x,y \in M$$ के लिए) सघन है।
 * $$M

यह भी देखें

 * सपेस टाइम
 * लोरेंट्ज़ियन मैनिफोल्ड
 * कारण संरचना
 * विश्व स्तर पर अतिपरवलयिक विविधता
 * संवर्त समय जैसा वक्र