BRST परिमाणीकरण: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(6 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Formulation to quantize gauge field theories in physics}}
{{Short description|Formulation to quantize gauge field theories in physics}}


[[सैद्धांतिक भौतिकी]] में, बीआरएसटी औपचारिकता, या बीआरएसटी परिमाणीकरण (जहां ''बीआरएसटी''  [[चार्ल्स बेची|कार्लो बेचेची,]] {{ill|एलेन रूएट|de}}, [[रेमंड स्टोरा]] और [[इगोर ट्यूटिन]] के अंतिम नामों को संदर्भित करता है) एक [[गेज समरूपता|माप समरूपता]] के साथ एक क्षेत्र सिद्धांत को परिमाणित करने के लिए एक अपेक्षाकृत कठिन गणितीय दृष्टिकोण को दर्शाता है। पहले के परिमाण क्षेत्र सिद्धांत (QFT) रूपरेखा में [[परिमाणीकरण (भौतिकी)|परिमाणीकरण]] के नियम प्रमाणों से अधिक "निर्दिष्ट" या "अनुमानिकी" के समान थे, विशेष रूप से [[गैर-अबेलियन समूह|गैर-अबेलियन]] क्यूएफटी में, जहां सतही विचित्र गुणों वाले "घोस्ट क्षेत्र" का उपयोग [[पुनर्सामान्यीकरण]] और [[विसंगति रद्दीकरण|विसंगति निरस्तीकरण]] से संबंधित प्राविधिक कारणों से लगभग अपरिहार्य है।  
[[सैद्धांतिक भौतिकी]] में, बीआरएसटी औपचारिकता, या बीआरएसटी परिमाणीकरण (जहां ''बीआरएसटी''  [[चार्ल्स बेची|कार्लो बेचेची,]] {{ill|एलेन रूएट|de}}, [[रेमंड स्टोरा]] और [[इगोर ट्यूटिन]] के अंतिम नामों को संदर्भित करता है) एक [[गेज समरूपता|माप समरूपता]] के साथ एक क्षेत्र सिद्धांत को परिमाणित करने के लिए एक अपेक्षाकृत कठिन गणितीय दृष्टिकोण को दर्शाता है। पहले के परिमाण क्षेत्र सिद्धांत (QFT) प्राधार में [[परिमाणीकरण (भौतिकी)|परिमाणीकरण]] के नियम प्रमाणों से अधिक "निर्दिष्ट" या "अनुमानिकी" के समान थे, विशेष रूप से [[गैर-अबेलियन समूह|गैर-अबेलियन]] क्यूएफटी में, जहां सतही विचित्र गुणों वाले "घोस्ट क्षेत्र" का उपयोग [[पुनर्सामान्यीकरण]] और [[विसंगति रद्दीकरण|विसंगति निरस्तीकरण]] से संबंधित प्राविधिक कारणों से लगभग अपरिहार्य है।  


1970 के दशक के मध्य में प्रारंभ की गई बीआरएसटी वैश्विक [[सुपरसिमेट्री]] को क्यूएफटी गणना करते समय इन फदीव-पोपोव घोस्टो की प्रारम्भिक और भौतिक स्पर्शोन्मुख अवस्थाओं से उनके बहिष्करण को युक्तिसंगत  बनाने के लिए समझा गया था। महत्वपूर्ण रूप से, पथ समाकल की यह समरूपता पाश क्रम में संरक्षित है और इस प्रकार प्रतिवादों के प्रारम्भ को रोकता है जो [[गेज सिद्धांत|माप सिद्धांतों]] की पुनर्सामान्यता को नष्ट कर सकता है। कुछ वर्षों पश्चात अन्य लेखकों द्वारा किए गए कार्य ने बीआरएसटी प्रचालक को एक माप सिद्धांत को परिमाणित करते समय पथ समाकल के लिए एक कठिन विकल्प के अस्तित्व से संबंधित किया है।
1970 के दशक के मध्य में प्रारंभ की गई बीआरएसटी वैश्विक [[सुपरसिमेट्री]] को क्यूएफटी गणना करते समय इन फदीव-पोपोव घोस्टो की प्रारम्भिक और भौतिक स्पर्शोन्मुख अवस्थाओं से उनके बहिष्करण को युक्तिसंगत  बनाने के लिए समझा गया था। महत्वपूर्ण रूप से, पथ समाकल की यह समरूपता पाश क्रम में संरक्षित है और इस प्रकार प्रतिवादों के प्रारम्भ को रोकता है जो [[गेज सिद्धांत|माप सिद्धांतों]] की पुनर्सामान्यता को नष्ट कर सकता है। कुछ वर्षों पश्चात अन्य लेखकों द्वारा किए गए कार्य ने बीआरएसटी प्रचालक को एक माप सिद्धांत को परिमाणित करते समय पथ समाकल के लिए एक कठिन विकल्प के अस्तित्व से संबंधित किया है।


केवल 1980 के दशक के उत्तरार्ध में, जब निम्न-आयामी बहुविध (सांस्थितिक [[क्वांटम क्षेत्र सिद्धांत|परिमाण क्षेत्र सिद्धांत]]) की सांस्थितिकी में समस्याओं के लिए अनुप्रयोगो के लिए [[फाइबर बंडल|तन्तु पूलिका]] भाषा में क्यूएफटी का सुधार किया गया था, क्या यह स्पष्ट हो गया था कि बीआरएसटी परिवर्तन मूल रूप से व्यवहार में ज्यामितीय है। इस प्रकाश में, विसंगति-निरस्तीकरण करने वाले घोस्टो तक पहुंचने के लिए बीआरएसटी परिमाणीकरण एक वैकल्पिक तरीके से अधिक हो जाता है। [[भूत क्षेत्र|घोस्ट क्षेत्रों]] का प्रतिनिधित्व करने पर यह एक भिन्न परिप्रेक्ष्य है, फदीव-पोपोव पद्धति क्यों कार्य करती है और यह कैसे [[हैमिल्टनियन यांत्रिकी|हैमिल्टनी यांत्रिकी]] के उपयोग से संबंधित है जो एक विक्षुब्ध रूपरेखा का निर्माण करता है। [[गेज इनवेरियन|माप अप्रसरण]] और बीआरएसटी अप्रसरण के मध्य का संबंध एक हैमिल्टनी प्रणाली के चयन को बाध्य करता है, जिसकी अवस्था "कणों" से बने होते हैं, जो [[विहित परिमाणीकरण]] औपचारिकता से परिचित नियमों के अनुसार होते हैं। यह गुह्य स्थिरता की स्थिति यह समझाने के काफी निकट आती है कि भौतिकी में परिमाण और [[फरमिओन्स|फर्मिऑन]] कैसे प्रारंभ होते हैं।
केवल 1980 के दशक के उत्तरार्ध में, जब निम्न-आयामी बहुविध (सांस्थितिक [[क्वांटम क्षेत्र सिद्धांत|परिमाण क्षेत्र सिद्धांत]]) की सांस्थितिकी में समस्याओं के अनुप्रयोगो के लिए [[फाइबर बंडल|तन्तु पूलिका]] भाषा में क्यूएफटी का सुधार किया गया था, क्या यह स्पष्ट हो गया था कि बीआरएसटी परिवर्तन मूल रूप से व्यवहार में ज्यामितीय है। इस प्रकाश में, बीआरएसटी परिमाणीकरण विसंगति-निरस्त करने वाले घोस्टो तक पहुंचने के एक वैकल्पिक तरीके से अधिक हो जाता है। [[भूत क्षेत्र|घोस्ट क्षेत्रों]] का प्रतिनिधित्व करने पर यह एक भिन्न परिप्रेक्ष्य है, फदीव-पोपोव पद्धति क्यों कार्य करती है और यह कैसे [[हैमिल्टनियन यांत्रिकी|हैमिल्टनी यांत्रिकी]] के उपयोग से संबंधित है जो एक विक्षुब्ध प्राधार का निर्माण करता है। [[गेज इनवेरियन|माप अप्रसरण]] और बीआरएसटी अप्रसरण के मध्य का संबंध एक हैमिल्टनी प्रणाली के चयन को बाध्य करता है, जिसकी अवस्था "कणों" से बनी होती हैं, जो [[विहित परिमाणीकरण]] औपचारिकता से परिचित नियमों के अनुसार होता हैं। यह गुह्य स्थिरता की स्थिति यह समझाने के काफी निकट आती है कि भौतिकी में परिमाण और [[फरमिओन्स|फर्मिऑन]] कैसे प्रारंभ होते हैं।


कुछ स्थितियों में, विशेष रूप से [[सामान्य सापेक्षता|गुरुत्वाकर्षण]] और [[अतिगुरुत्वाकर्षण]], बीआरएसटी को एक अधिक सामान्य औपचारिकता, बटालिन-विलकविस्की औपचारिकता द्वारा स्थानांतरित किया जाना चाहिए।
कुछ स्थितियों में, विशेष रूप से [[सामान्य सापेक्षता|गुरुत्वाकर्षण]] और [[अतिगुरुत्वाकर्षण]], बीआरएसटी को एक अधिक सामान्य औपचारिकता, बटालिन-विलकविस्की औपचारिकता द्वारा स्थानांतरित किया जाना चाहिए।
Line 12: Line 12:
बीआरएसटी परिमाणीकरण एक गैर-अबेलियन माप सिद्धांत में सुसंगत, [[विसंगति (भौतिकी)|विसंगति]] - मुक्त प्रक्षोभ वाली गणना करने के लिए एक विभेदक ज्यामितीय दृष्टिकोण है। बीआरएसटी "रूपांतरण" का विश्लेषणात्मक रूप और पुनर्सामान्यीकरण और विसंगति निरस्तीकरण के लिए इसकी प्रासंगिकता का वर्णन कार्लो बेचेची, [[एलेन रूट]] और रेमंड स्टोरा द्वारा 1976 में माप सिद्धांतों के पुनर्सामान्यीकरण में समाप्त होने वाले पत्रों की एक श्रृंखला में किया गया था। समतुल्य परिवर्तन और इसके कई गुण स्वतंत्र रूप से इगोर ट्यूटिन द्वारा खोजे गए थे। यांग-मिल्स सिद्धांत के कठिन विहित परिमाणीकरण के लिए इसका महत्व और तात्क्षणिक क्षेत्र विन्यास के [[फॉक स्पेस|फॉक समष्टि]] के लिए इसके सही अनुप्रयोग को ताइचिरो कुगो और इज़ुमी ओजिमा द्वारा स्पष्ट किया गया था। बाद में कई लेखकों, विशेष रूप से थॉमस शूकर और [[एडवर्ड विटन]] ने बीआरएसटी प्रचालक और संबंधित क्षेत्रों के ज्यामितीय महत्व को स्पष्ट किया है और सांस्थितिक परिमाण क्षेत्र सिद्धांत और [[ स्ट्रिंग सिद्धांत |स्ट्रिंग सिद्धांत]] के महत्व पर बल दिया है।
बीआरएसटी परिमाणीकरण एक गैर-अबेलियन माप सिद्धांत में सुसंगत, [[विसंगति (भौतिकी)|विसंगति]] - मुक्त प्रक्षोभ वाली गणना करने के लिए एक विभेदक ज्यामितीय दृष्टिकोण है। बीआरएसटी "रूपांतरण" का विश्लेषणात्मक रूप और पुनर्सामान्यीकरण और विसंगति निरस्तीकरण के लिए इसकी प्रासंगिकता का वर्णन कार्लो बेचेची, [[एलेन रूट]] और रेमंड स्टोरा द्वारा 1976 में माप सिद्धांतों के पुनर्सामान्यीकरण में समाप्त होने वाले पत्रों की एक श्रृंखला में किया गया था। समतुल्य परिवर्तन और इसके कई गुण स्वतंत्र रूप से इगोर ट्यूटिन द्वारा खोजे गए थे। यांग-मिल्स सिद्धांत के कठिन विहित परिमाणीकरण के लिए इसका महत्व और तात्क्षणिक क्षेत्र विन्यास के [[फॉक स्पेस|फॉक समष्टि]] के लिए इसके सही अनुप्रयोग को ताइचिरो कुगो और इज़ुमी ओजिमा द्वारा स्पष्ट किया गया था। बाद में कई लेखकों, विशेष रूप से थॉमस शूकर और [[एडवर्ड विटन]] ने बीआरएसटी प्रचालक और संबंधित क्षेत्रों के ज्यामितीय महत्व को स्पष्ट किया है और सांस्थितिक परिमाण क्षेत्र सिद्धांत और [[ स्ट्रिंग सिद्धांत |स्ट्रिंग सिद्धांत]] के महत्व पर बल दिया है।


बीआरएसटी दृष्टिकोण में, माप पूलिका के अंतर ज्यामिति का उपयोग करके माप सिद्धांत के [[क्रिया सिद्धांत]] के लिए प्रक्षोभ-अनुकूल [[गेज फिक्सिंग|माप स्थिरीकरण]] प्रक्रिया का चयन किया जाता है, जिस पर क्षेत्र सिद्धांत रहता है। एक तो इस तरह से [[ परस्पर क्रिया चित्र |अन्तःक्रिया चित्र]] में [[हैमिल्टनियन प्रणाली|हैमिल्टनी प्रणाली]] प्राप्त करने के लिए सिद्धांत को मापता है कि माप स्थिरीकरण प्रक्रिया द्वारा प्रस्तुत किए गए "अभौतिक" क्षेत्र सिद्धांत के उपगामी अवस्थाओं में प्रकट हुए बिना [[गेज विसंगति|माप विसंगतियों]] को हल करते हैं। परिणाम [[ एस मैट्रिक्स |एस मैट्रिक्स]] के [[डायसन श्रृंखला]] प्रक्षोभ विस्तार में उपयोग के लिए [[फेनमैन नियम|फेनमैन नियमों]] का एक समुच्चय है जो प्रत्याभुति देता है कि यह प्रत्येक एक-पाश क्रम पर [[एकात्मक मैट्रिक्स|एकात्मक]] और असामान्य है - संक्षेप में, प्रकीर्णी के परिणामों के विषय में भौतिक पूर्वाकलन करने के लिए एक सुसंगत सन्निकटन प्रविधि प्रयोग है।
बीआरएसटी दृष्टिकोण में, माप पूलिका के अंतरीय ज्यामिति का उपयोग करके माप सिद्धांत के [[क्रिया सिद्धांत]] के लिए प्रक्षोभ-अनुकूल [[गेज फिक्सिंग|माप स्थिरीकरण]] प्रक्रिया का चयन किया जाता है, जिस पर क्षेत्र सिद्धांत निवास करता है। एक तो इस तरह से [[ परस्पर क्रिया चित्र |अन्तःक्रिया चित्र]] में [[हैमिल्टनियन प्रणाली|हैमिल्टनी प्रणाली]] प्राप्त करने के लिए सिद्धांत को मापता है कि माप स्थिरीकरण प्रक्रिया द्वारा प्रस्तुत किए गए "अभौतिक" क्षेत्र सिद्धांत के उपगामी अवस्थाओं में प्रकट हुए बिना [[गेज विसंगति|माप विसंगतियों]] को हल करते हैं। परिणाम [[ एस मैट्रिक्स |एस आव्यूह]] के [[डायसन श्रृंखला]] प्रक्षोभ विस्तार में उपयोग के लिए [[फेनमैन नियम|फेनमैन नियमों]] का एक समुच्चय है जो प्रत्याभुति देता है कि यह प्रत्येक एक-पाश क्रम पर [[एकात्मक मैट्रिक्स|एकात्मक]] और असामान्य है - संक्षेप में, प्रकीर्णन के परिणामों के विषय में भौतिक पूर्वाकलन करने के लिए एक सुसंगत सन्निकटन प्रविधि है।


=== शास्त्रीय बीआरएसटी ===
=== शास्त्रीय बीआरएसटी ===
Line 19: Line 19:


=== क्यूएफटी में माप परिवर्तन ===
=== क्यूएफटी में माप परिवर्तन ===
व्यावहारिक दृष्टिकोण से, एक परिमाण क्षेत्र सिद्धांत में एक क्रिया सिद्धांत और [[ गड़बड़ी सिद्धांत (क्वांटम यांत्रिकी) |प्रक्षोभ सिद्धांत]] की गणना करने के लिए प्रक्रियाओं का एक समुच्चय होता है। अन्य प्रकार की स्वस्थचित्तता जाँचें हैं जो परिमाण क्षेत्र सिद्धांत पर यह निर्धारित करने के लिए की जा सकती हैं कि यह [[क्वार्क कारावास|क्वार्क परिरोधन]] और [[स्पर्शोन्मुख स्वतंत्रता]] जैसी गुणात्मक घटनाओं के लिए उपयुक्त है। हालाँकि, परिमाण क्षेत्र सिद्धांत की अधिकांश भविष्यवाणिय सफलताएँ, [[क्वांटम इलेक्ट्रोडायनामिक्स|परिमाण विद्युत् गतिकी]] से लेकर आज तक, [[बिखरने|प्रकीर्णी]] वाले प्रयोगों के परिणामों के विरुद्ध एस-आव्यूह गणनाओं का मिलान करके निर्धारित की गई हैं।
व्यावहारिक दृष्टिकोण से, परिमाण क्षेत्र सिद्धांत में एक क्रिया सिद्धांत और [[ गड़बड़ी सिद्धांत (क्वांटम यांत्रिकी) |प्रक्षोभ सिद्धांत]] की गणना करने के लिए प्रक्रियाओं का एक समुच्चय होता है। अन्य प्रकार की स्वस्थचित्तता जाँचें हैं जो परिमाण क्षेत्र सिद्धांत पर यह निर्धारित करने के लिए की जा सकती हैं कि यह [[क्वार्क कारावास|क्वार्क परिरोधन]] और [[स्पर्शोन्मुख स्वतंत्रता]] जैसी गुणात्मक घटनाओं के लिए उपयुक्त है। हालाँकि, परिमाण क्षेत्र सिद्धांत की अधिकांश पूर्वकथन सफलताएँ, [[क्वांटम इलेक्ट्रोडायनामिक्स|परिमाण विद्युत् गतिकी]] से लेकर आज तक, [[बिखरने|प्रकीर्णन]] वाले प्रयोगों के परिणामों के विरुद्ध एस-आव्यूह गणनाओं का मिलान करके निर्धारित की गई हैं।


क्यूएफटी के प्रारम्भिक दिनों में, किसी को यह कहना होगा कि परिमाणीकरण और पुनर्सामान्यीकरण निर्दिष्ट प्रतिरूप का उतना ही भाग थे जितना लग्रांजी घनत्व, विशेषतः जब वे प्रभावशाली परन्तु गणितीय रूप से अनुचित परिभाषित पथ समाकल सूत्रीकरण पर निर्भर थे। यह शीघ्रता से स्पष्ट हो गया कि क्यूईडी अपने सापेक्ष सुवाह्यता में लगभग मायिक था और यह कि जिन तरीकों से इसे विस्तारित करने की कल्पना की जा सकती है उनमें से अधिकांश तर्कसंगत गणना नहीं करेंगे। हालांकि, क्षेत्र सिद्धांतों का एक वर्ग आशाजनक बना रहा: माप सिद्धांत, जिसमें सिद्धांत में वस्तुएं भौतिक रूप से अप्रभेद्य क्षेत्र विन्यास के समतुल्य वर्गों का प्रतिनिधित्व करती हैं, जिनमें से कोई भी दो माप परिवर्तन से संबंधित हैं। यह एक अधिक जटिल [[झूठ समूह|लाइ-समूह]] के चरण के स्थानीय परिवर्तन के क्यूईडी विचार को सामान्यीकृत करता है।
क्यूएफटी के प्रारम्भिक दिनों में, किसी को यह कहना होगा कि परिमाणीकरण और पुनर्सामान्यीकरण निर्दिष्ट प्रतिरूप का उतना ही भाग था जितना लग्रांजी घनत्व, विशेषतः जब वे प्रभावशाली परन्तु गणितीय रूप से अनुचित परिभाषित पथ समाकल सूत्रीकरण पर निर्भर थे। यह शीघ्रता से स्पष्ट हो गया कि क्यूईडी अपने सापेक्ष सुवाह्यता में लगभग मायिक था और यह कि जिन तरीकों से इसे विस्तारित करने की कल्पना की जा सकती है उनमें से अधिकांश तर्कसंगत गणना नहीं करेंगे। हालांकि, क्षेत्र सिद्धांतों का एक वर्ग आशाजनक बना रहा: माप सिद्धांत, जिसमें सिद्धांत में वस्तुएं भौतिक रूप से अप्रभेद्य क्षेत्र विन्यास के समतुल्य वर्गों का प्रतिनिधित्व करती हैं, जिनमें से कोई भी दो माप परिवर्तन से संबंधित हैं। यह एक अधिक जटिल [[झूठ समूह|लाई-समूह]] के चरण के स्थानीय परिवर्तन के क्यूईडी विचार को सामान्यीकृत करता है।


क्यूईडी अपने आप में एक माप सिद्धांत है, जैसा कि सामान्य सापेक्षता है, हालांकि बाद वाले ने अब तक परिमाणीकरण के लिए प्रतिरोधी सिद्ध कर दिया है, जो कि पुनर्संरचना से संबंधित कारणों के लिए है। गैर-एबेलियन माप समूह के साथ माप सिद्धांतों का एक अन्य वर्ग, जो यांग-मिल्स सिद्धांत के साथ प्रारंभ हुआ, 1960 के दशक के अंत और 1970 के दशक की प्रारंभ में परिमाणीकरण के लिए उत्तरदायी हो गया, बड़े पैमाने पर लुडविग डी. फदीदेव, [[विक्टर पोपोव]], [[ब्रायस डेविट]] और जेरार्डस टी हूफ्ट के कार्य के कारण हैं। हालांकि, बीआरएसटी पद्धति की प्रारम्भ तक उनके साथ कार्य करना बहुत कठिन रहा। बीआरएसटी पद्धति ने अखंड यांग-मिल्स सिद्धांतों और उन दोनों से सटीक परिणाम निकालने के लिए आवश्यक गणना प्रविधि और पुनर्सामान्यता प्रमाण प्रदान किए जिनमें [[हिग्स तंत्र|हिग्स क्रियाविधि]] सहज समरूपता को खंडन की ओर ले जाता है। इन दो प्रकार के यांग-मिल्स प्रणाली के प्रतिनिधि-[[क्वांटम क्रोमोडायनामिक्स|परिमाण क्रोमोडायनामिक्स]] और विद्युत सिद्धांत-[[कण भौतिकी]] के [[मानक मॉडल|मानक प्रतिरूप]] में दिखाई देते हैं।
क्यूईडी अपने आप में एक माप सिद्धांत है, जैसा कि सामान्य सापेक्षता है, हालांकि बाद वाले ने अब तक परिमाणीकरण के लिए प्रतिरोधी सिद्ध कर दिया है, जो कि पुनर्संरचना से संबंधित कारणों के लिए है। गैर-एबेलियन माप समूह के साथ माप सिद्धांतों का एक अन्य वर्ग, जो यांग-मिल्स सिद्धांत के साथ प्रारंभ हुआ, 1960 के दशक के अंत और 1970 के दशक की प्रारंभ में परिमाणीकरण के लिए उत्तरदायी हो गया, बड़े पैमाने पर लुडविग डी. फदीदेव, [[विक्टर पोपोव]], [[ब्रायस डेविट]] और जेरार्डस टी हूफ्ट के कार्य के कारण हैं। हालांकि, बीआरएसटी पद्धति की प्रारम्भ तक उनके साथ कार्य करना बहुत कठिन रहा। बीआरएसटी पद्धति ने अखंड यांग-मिल्स सिद्धांतों और उन दोनों से सटीक परिणाम निकालने के लिए आवश्यक गणना प्रविधि और पुनर्सामान्यता प्रमाण प्रदान किए जिनमें [[हिग्स तंत्र|हिग्स क्रियाविधि]] सहज समरूपता को खंडन की ओर ले जाता है। इन दो प्रकारों के यांग-मिल्स प्रणाली के प्रतिनिधि-[[क्वांटम क्रोमोडायनामिक्स|परिमाण क्रोमोडायनामिक]] और विद्युत सिद्धांत-[[कण भौतिकी]] के [[मानक मॉडल|मानक प्रतिरूप]] में दिखाई देते हैं।


अर्ध-हेयूरिस्टिक गणना योजनाओं का उपयोग करके सटीक पूर्वाकलन प्राप्त करने की तुलना में कठिन अर्थों में गैर-एबेलियन परिमाण क्षेत्र सिद्धांत के अस्तित्व को सिद्ध करना अधिक कठिन सिद्ध हुआ है। ऐसा इसलिए है क्योंकि परिमाण क्षेत्र सिद्धांत का विश्लेषण करने के लिए दो गणितीय रूप से अंतःबंधन किए गए दृष्टिकोणों की आवश्यकता होती है: क्रिया कार्यात्मक पर आधारित लग्रांजी प्रणाली, समष्टि काल में प्रत्येक बिंदु पर अलग-अलग मानों वाले क्षेत्र से बना होता है और स्थानीय प्रचालक जो उन पर कार्य करते हैं और डिरैक चित्र में हैमिल्टनी प्रणाली, उन अवस्थाओं से बना है जो एक निश्चित समय में संपूर्ण प्रणाली की विशेषता बताते हैं और [[फील्ड ऑपरेटरों|क्षेत्र प्रचालक]] जो उन पर कार्य करते हैं। माप सिद्धांत में यह इतना कठिन क्यों है कि सिद्धांत की वस्तुएं वास्तव में समष्टि काल पर स्थानीय क्षेत्र नहीं हैं; वे प्रमुख माप पूलिका पर [[सही-अपरिवर्तनीय]] स्थानीय क्षेत्र हैं, और माप पूलिका के एक भाग के माध्यम से विभिन्न स्थानीय खंड और वैश्विक खंड निष्क्रिय परिवर्तनों से संबंधित हैं, विभिन्न डिरैक चित्रों का उत्पादन करते हैं।
अर्ध-हेयूरिस्टिक गणना योजनाओं का उपयोग करके सटीक पूर्वाकलन प्राप्त करने की तुलना में कठिन अर्थों में गैर-एबेलियन परिमाण क्षेत्र सिद्धांत के अस्तित्व को सिद्ध करना अधिक कठिन सिद्ध हुआ है। ऐसा इसलिए है क्योंकि परिमाण क्षेत्र सिद्धांत का विश्लेषण करने के लिए दो गणितीय रूप से अंतःबंधन किए गए दृष्टिकोणों की आवश्यकता होती है: क्रिया कार्यात्मक पर आधारित लग्रांजी प्रणाली, समष्टि काल में प्रत्येक बिंदु पर अलग-अलग मानों वाले क्षेत्र से बने होते है और स्थानीय प्रचालक जो उन पर कार्य करते हैं और डिरैक चित्र में हैमिल्टनी प्रणाली, उन अवस्थाओं से निर्मित है जो एक निश्चित समय में संपूर्ण प्रणाली की विशेषता बताते हैं और [[फील्ड ऑपरेटरों|क्षेत्र प्रचालक]] जो उन पर कार्य करते हैं। माप सिद्धांत में यह इतना कठिन क्यों है कि सिद्धांत की वस्तुएं वास्तव में समष्टि काल पर स्थानीय क्षेत्र नहीं हैं; वे प्रमुख माप पूलिका पर [[सही-अपरिवर्तनीय]] स्थानीय क्षेत्र हैं, और माप पूलिका के एक भाग के माध्यम से विभिन्न स्थानीय खंड और वैश्विक खंड निष्क्रिय परिवर्तनों से संबंधित हैं, विभिन्न डिरैक चित्रों का उत्पादन करते हैं।


क्या अधिक है, क्षेत्रों के एक समूह के संदर्भ में संपूर्ण प्रणाली के विवरण में स्वतंत्रता की कई अनावश्यक डिग्री सम्मिलित हैं; सिद्धांत के विशिष्ट विन्यास क्षेत्र विन्यास के तुल्यता वर्ग हैं, ताकि दो विवरण जो माप परिवर्तन द्वारा एक दूसरे से संबंधित हैं, वास्तव में एक ही भौतिक विन्यास हैं। परिमाणित माप सिद्धांत का समाधान समष्टि काल में प्रत्येक बिंदु पर मानो के साथ क्षेत्र के सीधे स्थान में उपस्थित नहीं है, परन्तु एक भागफल स्थान  (या सह समरूपता) में है, जिसके तत्व क्षेत्र विन्यास समतुल्य वर्ग हैं। बीआरएसटी औपचारिकता में प्रच्छादन सभी संभावित सक्रिय माप परिवर्तनों से जुड़े विविधताओं को मापदण्ड करने के लिए एक प्रणाली है और [[Lagrangian प्रणाली|लग्रांजी प्रणाली]] को हैमिल्टनी प्रणाली में रूपांतरण के पर्यन्त उनकी भौतिक अप्रासंगिकता के लिए सही ढंग से लेखांकन करता है।
क्या अधिक है, क्षेत्रों के एक समूह के संदर्भ में संपूर्ण प्रणाली के विवरण में स्वतंत्रता की कई अनावश्यक डिग्रियां सम्मिलित हैं; सिद्धांत के विशिष्ट विन्यास क्षेत्र विन्यास के तुल्यता वर्ग हैं, ताकि दो विवरण जो माप परिवर्तन द्वारा एक दूसरे से संबंधित हैं, वास्तव में एक ही भौतिक विन्यास हैं। परिमाणित माप सिद्धांत का समाधान समष्टि काल में प्रत्येक बिंदु पर मानो के साथ क्षेत्र के सीधे स्थान में उपस्थित नहीं है, परन्तु एक भागफल स्थान  (या सह समरूपता) में है, जिसके तत्व क्षेत्र विन्यास समतुल्य वर्ग हैं। बीआरएसटी औपचारिकता में प्रच्छादन सभी संभावित सक्रिय माप परिवर्तनों से जुड़े विविधताओं को मापदण्ड करने के लिए एक प्रणाली है और [[Lagrangian प्रणाली|लग्रांजी प्रणाली]] को हैमिल्टनी प्रणाली में रूपांतरण के पर्यन्त उनकी भौतिक अप्रासंगिकता के लिए सटीक तरीके से लेखांकन करता है।


=== माप स्थिरीकरण और प्रक्षोभ सिद्धांत ===
=== माप स्थिरीकरण और प्रक्षोभ सिद्धांत ===
व्यावहारिक परिमाण क्षेत्र सिद्धांत के निर्माण के लिए माप अप्रसरण का सिद्धांत आवश्यक है। परन्तु सामान्यतः पहले माप को ठीक किए बिना माप सिद्धांत में एक प्रक्षोभ गणना करने के लिए संभव नहीं है - क्रिया सिद्धांत के लग्रांजी घनत्व के शब्दों को जोड़ते हुए जो स्वतंत्रता के इन अभौतिक डिग्री को दबाने के लिए माप समरूपता को तोड़ते हैं। माप स्थिरीकरण का विचार विद्युत् चुंबकत्व के लोरेंस माप दृष्टिकोण पर वापस जाता है, जो प्रकट [[लोरेंट्ज़ इनवेरिएंस|लोरेंस अप्रसरण]] को बनाए रखते हुए चार-क्षमता में स्वतंत्रता की अधिकांश अतिरिक्त डिग्री को दबा देता है। [[लॉरेंज गेज|लॉरेंज माप]] [[ शास्त्रीय इलेक्ट्रोडायनामिक्स | शास्त्रीय विद्युत् गतिकी]] के लिए मैक्सवेल के क्षेत्र-शक्ति दृष्टिकोण के सापेक्ष एक स्थूल सरलीकरण है और यह दर्शाता है कि लग्रांजी परिवर्तन के माध्यम से हैमिल्टनी यांत्रिकी के पास जाने से पूर्व लग्रांजी चरण में एक सिद्धांत में वस्तुओं के [[समूह प्रतिनिधित्व|प्रतिनिधित्व]] में स्वतंत्रता की अतिरिक्त डिग्री से व्यवहार करना क्यों उपयोगी है।
व्यावहारिक परिमाण क्षेत्र सिद्धांत के निर्माण के लिए माप अप्रसरण का सिद्धांत आवश्यक है। परन्तु सामान्यतः पहले माप को ठीक किए बिना माप सिद्धान्तों में एक प्रक्षोभ गणना करने के लिए संभव नहीं है - क्रिया सिद्धान्तों के लग्रांजी घनत्व के शब्दों को जोड़ते हुए जो स्वतंत्रता के इन अभौतिक डिग्रियों को दबाने के लिए माप समरूपता को तोड़ते हैं। माप स्थिरीकरण का विचार विद्युत् चुंबकत्व के लोरेंस माप दृष्टिकोण पर वापस जाता है, जो प्रकट [[लोरेंट्ज़ इनवेरिएंस|लोरेंस अप्रसरण]] को बनाए रखते हुए चार-क्षमता में स्वतंत्रता की अधिकांश अतिरिक्त डिग्रियों को दबा देता है। [[लॉरेंज गेज|लॉरेंज माप]] [[ शास्त्रीय इलेक्ट्रोडायनामिक्स | शास्त्रीय विद्युत् गतिकी]] के लिए मैक्सवेल के क्षेत्र-शक्ति दृष्टिकोण के सापेक्ष एक स्थूल सरलीकरण है और यह दर्शाता है कि लग्रांजी परिवर्तन के माध्यम से हैमिल्टनी यांत्रिकी के पास जाने से पूर्व लग्रांजी चरण में एक सिद्धांत में वस्तुओं के [[समूह प्रतिनिधित्व|प्रतिनिधित्व]] में स्वतंत्रता की अतिरिक्त डिग्रियों से व्यवहार करना क्यों उपयोगी है।


हैमिल्टनी घनत्व माप पूलिका पर एक इकाई घटनाक्रम क्षैतिज सदिश क्षेत्र के संबंध में लग्रांजी घनत्व के लाइ संजात से संबंधित है। परिमाण यांत्रिक संदर्भ में इसे पारंपरिक रूप से एक कारक <math>i \hbar</math> द्वारा पुनर्विक्रय किया जाता है। स्पेसलाइक अनुप्रस्थ काट पर भागों द्वारा इसे एकीकृत करने से विहित परिमाणीकरण से परिचित समाकलित का रूप ठीक हो जाता है। क्योंकि हैमिल्टनी की परिभाषा में आधार समष्टि पर एक इकाई समय सदिश क्षेत्र, पूलिका समष्टि के लिए एक [[क्षैतिज लिफ्ट|क्षैतिज उत्थापन]] और आधार बहुविध पर प्रत्येक बिंदु पर इकाई समय सदिश क्षेत्र के लिए "सामान्य" ([[मिन्कोव्स्की मीट्रिक|मिन्कोव्स्की मात्रिक]] में) एक समष्टि जैसी सतह सम्मिलित है। कई गुना, यह [[कनेक्शन (प्रमुख बंडल)|संयोजन]] और संदर्भ के लोरेंस प्रधार की विकल्प दोनों पर निर्भर है और विश्व स्तर पर परिभाषित होने से बहुत दूर है। परन्तु यह परिमाण क्षेत्र सिद्धांत के प्रक्षोभ प्राधार में एक आवश्यक घटक है, जिसमें डायसन श्रृंखला के माध्यम से मात्रात्मक हैमिल्टनी प्रवेश करता है।
हैमिल्टनी घनत्व माप पूलिका पर एक इकाई घटनाक्रम क्षैतिज सदिश क्षेत्र के संबंध में लग्रांजी घनत्व के लाई संजात से संबंधित है। परिमाण यांत्रिक संदर्भ में इसे पारंपरिक रूप से एक कारक <math>i \hbar</math> द्वारा पुनर्विक्रय किया जाता है। स्पेसलाईक अनुप्रस्थ काट पर भागों द्वारा इसे एकीकृत करने से विहित परिमाणीकरण से परिचित समाकलित का रूप ठीक हो जाता है। क्योंकि हैमिल्टनी की परिभाषा में आधार समष्टि पर एक इकाई समय सदिश क्षेत्र, पूलिका समष्टि के लिए एक [[क्षैतिज लिफ्ट|क्षैतिज उत्थापन]] और आधार बहुविध पर प्रत्येक बिंदु पर इकाई समय सदिश क्षेत्र के लिए "सामान्य" ([[मिन्कोव्स्की मीट्रिक|मिन्कोव्स्की मात्रिक]] में) एक समष्टि जैसी सतह सम्मिलित है। कई गुना, यह [[कनेक्शन (प्रमुख बंडल)|संयोजन]] और संदर्भ के लोरेंस प्रधार की विकल्प दोनों पर निर्भर है और विश्व स्तर पर परिभाषित होने से बहुत दूर है। परन्तु यह परिमाण क्षेत्र सिद्धांत के प्रक्षोभ प्राधार में एक आवश्यक घटक है, जिसमें डायसन श्रृंखला के माध्यम से मात्रात्मक हैमिल्टनी प्रवेश करता है।


प्रक्षोभ उद्देश्यों के लिए, हम अपने सिद्धांत के सभी क्षेत्रों के विन्यास को पी के संपूर्ण त्रि-आयामी क्षैतिज समष्टि जैसे अनुप्रस्थ काट पर एक वस्तु (एक [[ फॉक राज्य |फॉक समष्टि]]) में एकत्र करते हैं और फिर अंतःक्रियात्मक चित्र का उपयोग करके समय के साथ इस समष्टि के विकास का वर्णन करते हैं। फॉक समष्टि को अप्रतिबंधित या गैर-अंतःक्रिया <math>\mathcal{H}_0</math> वाले भाग के हैमिल्टनी प्रणाली का <math>\mathcal{H}</math> बहु-कण आइजेनस्टेट द्वारा फैलाया जाता है इसलिए किसी भी फॉक समष्टि का तात्कालिक विवरण एक जटिल-आयाम-भारित योग है जो आइजेनस्टेट <math>\mathcal{H}_0</math>का है। अंतःक्रिया चित्र में, हम अलग-अलग समय पर फॉक समष्टि से संबंधित हैं, जिसमें कहा गया है कि अपरंपरागत हैमिल्टन के प्रत्येक आइजनस्टेट को अपनी [[ऊर्जा]] के समानुपाती चरण आवर्तन की निरंतर दर (अपरिवर्तित हैमिल्टनी के संबंधित [[eigenvalue|आइजनवैल्यू]]) का अनुभव होता है।
प्रक्षोभ उद्देश्यों के लिए, हम अपने सिद्धांत के सभी क्षेत्रों के विन्यास को ''P'' के संपूर्ण त्रि-आयामी क्षैतिज समष्टि जैसे अनुप्रस्थ काट पर एक वस्तु (एक [[ फॉक राज्य |फॉक समष्टि]]) में एकत्र करते हैं और फिर अंतःक्रियात्मक चित्र का उपयोग करके समय के साथ इस समष्टि के विकास का वर्णन करते हैं। फॉक समष्टि को अप्रतिबंधित या गैर-अंतःक्रिया <math>\mathcal{H}_0</math> वाले भाग के हैमिल्टनी प्रणाली का <math>\mathcal{H}</math> बहु-कण आइजेनस्टेट द्वारा फैलाया जाता है इसलिए किसी भी फॉक समष्टि का तात्कालिक विवरण एक जटिल-आयाम-भारित योग है जो आइजेनस्टेट <math>\mathcal{H}_0</math>का है। अंतःक्रिया चित्र में, हम अलग-अलग समय पर फॉक समष्टि से संबंधित हैं, जिसमें कहा गया है कि अपरंपरागत हैमिल्टन के प्रत्येक आइजनस्टेट को अपनी [[ऊर्जा]] के समानुपाती चरण आवर्तन की निरंतर दर (अपरिवर्तित हैमिल्टनी के संबंधित [[eigenvalue|आइजनवैल्यू]]) का अनुभव होता है।


इसलिए, शून्य-क्रम सन्निकटन में, फॉक समष्टि की विशेषता वाले भार का समुच्चय समय के साथ परिवर्तित नहीं होता है, परन्तु संबंधित क्षेत्र विन्यास करता है। उच्च सन्निकटन में, भार भी परिवर्तित होते हैं; उच्च-ऊर्जा भौतिकी में [[कोलाइडर]] प्रयोग इन भारों में परिवर्तन की दर के मापन के समान होते हैं (या बल्कि प्रकीर्णी की घटना की प्रारंभिक और अंतिम स्थितियों में अनिश्चितता का प्रतिनिधित्व करने वाले वितरणों पर उनके समाकल)। डायसन श्रृंखला के मध्य <math>\mathcal{H}_0</math> और वास्तविक हैमिल्टनी <math>\mathcal{H}</math>  विसंगति के प्रभाव को दर्शाता है, युग्मन निरंतर ''g'' में एक शक्ति श्रृंखला के रूप में; यह परिमाण क्षेत्र सिद्धांत से मात्रात्मक पूर्वाकलन करने का प्रमुख उपकरण है।
इसलिए, शून्य-क्रम सन्निकटन में, फॉक समष्टि की विशेषता वाले भार का समुच्चय समय के साथ परिवर्तित नहीं होता है, परन्तु संबंधित क्षेत्र विन्यास करता है। उच्च सन्निकटन में, भार भी परिवर्तित होते हैं; उच्च-ऊर्जा भौतिकी में [[कोलाइडर|कोलाईडर]] प्रयोग इन भारों में परिवर्तन की दर के मापन के समान होते हैं (या बल्कि प्रकीर्णन की घटना की प्रारंभिक और अंतिम स्थितियों में अनिश्चितता का प्रतिनिधित्व करने वाले वितरणों पर उनके समाकल)। डायसन श्रृंखला के मध्य <math>\mathcal{H}_0</math> और वास्तविक हैमिल्टनी <math>\mathcal{H}</math>  विसंगति के प्रभाव को दर्शाता है, युग्मन निरंतर ''g'' में एक शक्ति श्रृंखला के रूप में; यह परिमाण क्षेत्र सिद्धांत से मात्रात्मक पूर्वाकलन करने का प्रमुख उपकरण है।


किसी भी गणना करने के लिए डायसन श्रृंखला का उपयोग करने के लिए, किसी को माप-अचर लग्रांजी घनत्व से अधिक की आवश्यकता होती है; सिद्धांत के फेनमैन नियमों में प्रवेश करने वाले परिमाणीकरण और माप स्थिरीकरण निर्दिष्ट की भी आवश्यकता होती है। किसी विशेष क्यूएफटी के हैमिल्टनी पर अनुप्रयुक्त होने पर डायसन श्रृंखला विभिन्न प्रकार के अनंत समाकल उत्पन्न करती है। यह आंशिक रूप से इसलिए है क्योंकि आज तक के सभी प्रयोग करने योग्य परिमाण क्षेत्र सिद्धांतों को [[प्रभावी क्षेत्र सिद्धांत|प्रभावी क्षेत्र सिद्धांतों]] के रूप में माना जाना चाहिए, जो केवल ऊर्जा पैमानों की एक निश्चित सीमा पर अंतःक्रिया का वर्णन करते हैं जिनकी हम प्रायोगिक रूप से जांच कर सकते हैं और इसलिए [[पराबैंगनी विचलन|पराबैंगनी अपसरण]] के प्रति संवेदनशील हैं। ये तब तक सहनीय हैं जब तक इन्हें पुनर्सामान्यीकरण की मानक प्रविधि के माध्यम से नियंत्रित किया जा सकता है; वे इतने सहनीय नहीं होते हैं जब वे अनंत पुनर्सामान्यीकरण की एक अनंत श्रृंखला में परिणत होते हैं, या इससे भी निकृष्टतर, एक स्पष्ट रूप से अभौतिक पूर्वकथन जैसे कि एक निरस्त माप विसंगति। पुनर्सामान्यीकरण और माप अप्रसरण के  मध्य एक गहन संबंध है, जो माप को ठीक करके सरल फेनमैन नियम प्राप्त करने के प्रयासों के पर्यन्त सरलता से लुप्त जाता है।
किसी भी गणना के लिए डायसन श्रृंखला का उपयोग करने के लिए, किसी को माप-अचर लग्रांजी घनत्व से अधिक की आवश्यकता होती है; सिद्धांत के फेनमैन नियमों में प्रवेश करने वाले परिमाणीकरण और माप स्थिरीकरण निर्दिष्ट की भी आवश्यकता होती है। किसी विशेष क्यूएफटी के हैमिल्टनी पर अनुप्रयुक्त होने पर डायसन श्रृंखला विभिन्न प्रकार के अनंत समाकल उत्पन्न करती है। यह आंशिक रूप से इसलिए है क्योंकि आज तक के सभी प्रयोग करने योग्य परिमाण क्षेत्र सिद्धांतों को [[प्रभावी क्षेत्र सिद्धांत|प्रभावी क्षेत्र सिद्धांतों]] के रूप में माना जाना चाहिए, जो केवल ऊर्जा पैमानों की एक निश्चित सीमा पर अंतःक्रिया का वर्णन करते हैं जिनकी हम प्रायोगिक रूप से जांच कर सकते हैं और इसलिए [[पराबैंगनी विचलन|पराबैंगनी अपसरण]] के प्रति संवेदनशील हैं। ये तब तक सहनीय हैं जब तक इन्हें पुनर्सामान्यीकरण की मानक प्रविधि के माध्यम से नियंत्रित किया जा सकता है; वे इतने सहनीय नहीं होते हैं जब वे अनंत पुनर्सामान्यीकरण की एक अनंत श्रृंखला में परिणत होते हैं, या इससे भी निकृष्टतर, एक स्पष्ट रूप से अभौतिक पूर्वकथन जैसे कि एक निरस्त माप विसंगति। पुनर्सामान्यीकरण और माप अप्रसरण के  मध्य एक गहन संबंध है, जो माप को ठीक करके सरल फेनमैन नियम प्राप्त करने के प्रयासों के पर्यन्त सरलता से लुप्त जाता है।


=== माप स्थिरीकरण के लिए प्री-बीआरएसटी दृष्टिकोण ===
=== माप स्थिरीकरण के लिए प्री-बीआरएसटी दृष्टिकोण ===
सातत्य विद्युत् गतिकी के पारंपरिक माप स्थिरीकरण निर्दिष्ट लोरेंज माप <math>\partial^\mu A_\mu = 0</math> जैसे व्यवरोधक समीकरण का उपयोग करके प्रत्येक माप-रूपांतरण-संबंधित समकक्ष वर्ग से एक अद्वितीय प्रतिनिधि का चयन करते हैं। इस तरह के निर्दिष्ट को परिमाण क्यूईडी जैसे एबेलियन माप सिद्धांत पर अनुप्रयुक्त किया जा सकता है, हालांकि यह समझाने में कुछ कठिनाई होती है कि शास्त्रीय सिद्धांत की [[वार्ड पहचान|प्रतिपाल्य पहचान]] परिमाण सिद्धांत पर क्यों चलती है - दूसरे शब्दों में, आंतरिक अनुदैर्ध्य वाले [[फेनमैन आरेख]] रूप से ध्रुवीकृत आभासी फोटोन वाले फेनमैन आरेख एस-आव्यूह गणनाओं में योगदान क्यों नहीं करते हैं। यह दृष्टिकोण गैर-एबेलियन माप समूहों जैसे यांग-मिल्स विद्युत सिद्धांत के SU(2)xU(1) और परिमाण क्रोमोडायनामिक के SU(3) के लिए भी सामान्य नहीं है। यह ग्रिबोव अस्पष्टता से ग्रस्त है और एक माप स्थिरीकरण व्यवरोध को परिभाषित करने में कठिनाई से है जोकि कुछ अर्थों में लांबिक है जोकि क्षेत्र विन्यास में शारीरिक रूप से महत्वपूर्ण परिवर्तनों के लिए है।
सातत्य विद्युत् गतिकी के पारंपरिक माप स्थिरीकरण निर्दिष्ट लोरेंज माप <math>\partial^\mu A_\mu = 0</math> जैसे व्यवरोधक समीकरण का उपयोग करके प्रत्येक माप-रूपांतरण-संबंधित समकक्ष वर्ग से एक अद्वितीय प्रतिनिधि का चयन करते हैं। इस तरह के निर्दिष्ट को परिमाण क्यूईडी जैसे एबेलियन माप सिद्धांत पर अनुप्रयुक्त किया जा सकता है, हालांकि यह समझाने में कुछ कठिनाई होती है कि शास्त्रीय सिद्धांत की [[वार्ड पहचान|प्रतिपाल्य पहचान]] परिमाण सिद्धांत पर क्यों चलती है - दूसरे शब्दों में, आंतरिक अनुदैर्ध्य वाले [[फेनमैन आरेख]] रूप से ध्रुवीकृत आभासी फोटोन वाले फेनमैन आरेख एस-आव्यूह गणनाओं में योगदान क्यों नहीं करते हैं। यह दृष्टिकोण गैर-एबेलियन माप समूहों जैसे यांग-मिल्स विद्युत सिद्धांत के SU(2)xU(1) और परिमाण क्रोमोडायनामिक के SU(3) के लिए भी सामान्य नहीं है। यह ग्रिबोव अस्पष्टता से ग्रस्त है और एक माप स्थिरीकरण व्यवरोध को परिभाषित करने में कठिनाई से है जोकि कुछ अर्थों में लांबिक है जोकि क्षेत्र विन्यास में शारीरिक रूप से महत्वपूर्ण परिवर्तनों के लिए है।


अधिक परिष्कृत दृष्टिकोण स्वतंत्रता की माप परिवर्तन डिग्री के लिए [[क्रोनकर डेल्टा|डेल्टा फलन]] व्यवरोध को अनुप्रयुक्त करने का प्रयास नहीं करते हैं। विन्यास स्थान में एक विशेष व्यवरोध सतह पर माप को ठीक करने के बजाय, एक अतिरिक्त गैर-माप-अचर शब्द के साथ लग्रांजी घनत्व में जोड़ा गया माप स्वतंत्रता को तोड़ सकता है। माप स्थिरीकरण की सफलताओं को पुन: उत्पन्न करने के लिए, इस शब्द को माप की विकल्प के लिए न्यूनतम चयन गया है जो वांछित व्यवरोध के अनुरूप है और व्यवरोध सतह से माप के विचलन पर द्विघाती रूप से निर्भर करता है। [[स्थिर चरण सन्निकटन]] द्वारा, जिस पर [[फेनमैन पथ अभिन्न|फेनमैन पथ समाकल]] आधारित है, व्यवरोध गणनाओं में प्रमुख योगदान व्यवरोध सतह के प्रतिवैस में क्षेत्र विन्यास से आएगा।
अधिक परिष्कृत दृष्टिकोण स्वतंत्रता की माप परिवर्तन डिग्री के लिए [[क्रोनकर डेल्टा|डेल्टा फलन]] व्यवरोध को अनुप्रयुक्त करने का प्रयास नहीं करते हैं। विन्यास स्थान में एक विशेष व्यवरोध सतह पर माप को ठीक करने के बजाय, एक अतिरिक्त गैर-माप-अचर शब्द के साथ लग्रांजी घनत्व में जोड़ा गया माप स्वतंत्रता को तोड़ सकता है। माप स्थिरीकरण की सफलताओं को पुन: उत्पन्न करने के लिए, इस शब्द को माप की विकल्प के लिए न्यूनतम चयन किया गया है जो वांछित व्यवरोध के अनुरूप है और व्यवरोध सतह से माप के विचलन पर द्विघाती रूप से निर्भर करता है। [[स्थिर चरण सन्निकटन]] द्वारा, जिस पर [[फेनमैन पथ अभिन्न|फेनमैन पथ समाकल]] आधारित है, व्यवरोध गणनाओं में सिद्धांत योगदान व्यवरोध सतह के प्रतिवैस में क्षेत्र विन्यास से आएगा।


[[कार्यात्मक परिमाणीकरण]] की विधि का उपयोग करते हुए, इस लग्रांजी से जुड़े प्रक्षोभ विस्तार को सामान्यतः ''R''<sub>ξ</sub> माप के रूप में जाना जाता है। यह एक एबेलियन U(1) माप की स्थिति में फेनमैन नियमों के उसी समुच्चय को कम कर देता है जोकि विहित परिमाणीकरण की विधि में प्राप्त होता है। परन्तु एक महत्वपूर्ण अंतर है: विघटित माप स्वतंत्रता [[कार्यात्मक अभिन्न|कार्यात्मक समाकल]] में समग्र सामान्यीकरण में एक अतिरिक्त कारक के रूप में दिखाई देती है। इस कारक को केवल प्रक्षोभ विस्तार (और अवहेलना) से बाहर निकाला जा सकता है जब स्वतंत्रता की माप डिग्री के साथ प्रक्षोभ के लग्रांजी में योगदान विशेष भौतिक क्षेत्र विन्यास से स्वतंत्र होता है। यह वह स्थिति है जो गैर-एबेलियन माप समूहों के लिए धारण करने में विफल रहती है। यदि कोई समस्या को अवहेलना करता है और सरल कार्यात्मक परिमाणीकरण से प्राप्त फेनमैन नियमों का उपयोग करने का प्रयास करता है, तो वह पाता है कि किसी की गणना में अपरिवर्तनीय विसंगतियाँ हैं।
[[कार्यात्मक परिमाणीकरण]] की विधि का उपयोग करते हुए, इस लग्रांजी से जुड़े प्रक्षोभ विस्तार को सामान्यतः ''R''<sub>ξ</sub> माप के रूप में जाना जाता है। यह एक एबेलियन U(1) माप की स्थिति में फेनमैन नियमों के उसी समुच्चय को कम कर देता है जोकि विहित परिमाणीकरण की विधि में प्राप्त होता है। परन्तु एक महत्वपूर्ण अंतर है: विघटित माप स्वतंत्रता [[कार्यात्मक अभिन्न|कार्यात्मक समाकल]] में समग्र सामान्यीकरण में एक अतिरिक्त कारक के रूप में दिखाई देती है। इस कारक को केवल प्रक्षोभ विस्तार (और अवहेलना) से बाह्य निकाला जा सकता है जब स्वतंत्रता की माप डिग्रियों के साथ प्रक्षोभ के लग्रांजी में योगदान विशेष भौतिक क्षेत्र विन्यास से स्वतंत्र होता है। यह वह स्थिति है जो गैर-एबेलियन माप समूहों के लिए धारण करने में विफल रहती है। यदि कोई समस्याओं की अवहेलना करता है और सरल कार्यात्मक परिमाणीकरण से प्राप्त फेनमैन नियमों का उपयोग करने का प्रयास करता है, तो वह पाता है कि किसी की गणना में अपरिवर्तनीय विसंगतियाँ हैं।


क्यूसीडी में प्रक्षोभ गणनाओं की समस्या को फदीदेव-पोपोव घोस्ट के रूप में जाना जाने वाले अतिरिक्त क्षेत्रों को प्रारंभ करके हल किया गया था, जिसका माप क्षेत्र लैग्रेंगियन अंतलंब में योगदान भौतिक और गैर-एबेलियन क्षेत्र माप के अभौतिक प्रक्षोभ के युग्मन द्वारा प्रारंभ की गई विसंगति को अंतलंब करता है। कार्यात्मक परिमाणीकरण परिप्रेक्ष्य से, क्षेत्र विन्यास (माप रूपांतरण) के अभौतिक प्रक्षोभ सभी (अनंत) प्रक्षोभ के स्थान का एक उप-स्थान बनाते हैं; गैर-एबेलियन स्थितियों में, बड़े स्थान में इस उप-स्थान का अंतःस्थापन उस विन्यास पर निर्भर करता है जिसके चारों ओर प्रक्षोभ होती है। लग्रांजी में घोस्ट शब्द इस अंतःस्थापन  के जैकबियन के [[कार्यात्मक निर्धारक]] का प्रतिनिधित्व करता है और शेष भौतिक प्रक्षोभ अक्षों पर कार्यात्मक माप को सही करने के लिए घोस्ट क्षेत्र के गुणों को निर्धारक पर वांछित प्रतिपादक द्वारा निर्धारित किया जाता है।   
क्यूसीडी में प्रक्षोभ गणनाओं की समस्या को फदीदेव-पोपोव घोस्ट के रूप में परिचित अतिरिक्त क्षेत्रों को प्रारंभ करके हल किया गया था, जिसका माप क्षेत्र लैग्रेंगियन अंतलंब में योगदान भौतिक और गैर-एबेलियन क्षेत्र माप के अभौतिक प्रक्षोभ के युग्मन द्वारा प्रारंभ की गई विसंगति को अंतलंब करता है। कार्यात्मक परिमाणीकरण परिप्रेक्ष्य से, क्षेत्र विन्यास (माप रूपांतरण) के अभौतिक प्रक्षोभ सभी (अनंत) प्रक्षोभ के स्थान का एक उप-स्थान बनाते हैं; गैर-एबेलियन स्थितियों में, बड़े स्थान में इस उप-स्थान का अंतःस्थापन उस विन्यास पर निर्भर करता है जिसके चारों ओर प्रक्षोभ होती है। लग्रांजी में घोस्ट शब्द इस अंतःस्थापन  के जैकबियन के [[कार्यात्मक निर्धारक]] का प्रतिनिधित्व करता है और शेष भौतिक प्रक्षोभ अक्षों पर कार्यात्मक माप को सही करने के लिए घोस्ट क्षेत्र के गुणों को निर्धारक पर वांछित प्रतिपादक द्वारा निर्धारित किया जाता है।   


== बीआरएसटी के लिए गणितीय दृष्टिकोण ==
== बीआरएसटी के लिए गणितीय दृष्टिकोण ==
बीआरएसटी रचना तब अनुप्रयुक्त होता है जब किसी के पास [[कॉम्पैक्ट (टोपोलॉजी)|सुसंहत]], [[ जुड़ा हुआ (टोपोलॉजी) |संबंधित]] लाइ समूह <math>G</math> एक [[चरण स्थान]] पर <math>M</math> की [[हैमिल्टनियन क्रिया|हैमिल्टनी क्रिया]] होती है<ref>{{harvnb|Figueroa-O'Farrill|Kimura|1991|pp=209&ndash;229}}</ref><ref>{{harvnb|Kostant|Sternberg|1987|pp=49&ndash;113}}</ref> मान लीजिये <math>\mathfrak{g}</math> का [[झूठ बीजगणित|लाइ बीजगणित]]  <math>G</math> हो(लाइ समूह-लाइ बीजगणित पत्राचार के माध्यम से) और <math>0 \in \mathfrak{g}^*</math> ([[दोहरी वेक्टर अंतरिक्ष|दोहरी सदिश समष्टि]] <math>\mathfrak{g})</math> क्षण मानचित्र <math>\Phi: M\to \mathfrak{g}^*</math>का एक नियमित मान है। माना <math>M_0=\Phi^{-1}(0) </math> है। मान लीजिए <math>G</math>-क्रिया <math>M_0</math> पर स्वतंत्र और उचित है और स्थान <math>\widetilde M = M_0/G </math> पर विचार करें। <math>M_0</math> का <math>G</math>-कक्षाएं चालू हैं जिसे [[ सहानुभूतिपूर्ण कमी |सहानुभूतिपूर्ण कमी]] भागफल <math>\widetilde M = M//G</math> के रूप में भी जाना जाता है
बीआरएसटी रचना तब अनुप्रयुक्त होता है जब किसी के पास [[कॉम्पैक्ट (टोपोलॉजी)|सुसंहत]], [[ जुड़ा हुआ (टोपोलॉजी) |संबंधित]] लाई समूह <math>G</math> एक [[चरण स्थान]] पर <math>M</math> की [[हैमिल्टनियन क्रिया|हैमिल्टनी क्रिया]] होती है<ref>{{harvnb|Figueroa-O'Farrill|Kimura|1991|pp=209&ndash;229}}</ref><ref>{{harvnb|Kostant|Sternberg|1987|pp=49&ndash;113}}</ref> मान लीजिये <math>\mathfrak{g}</math> का [[झूठ बीजगणित|लाई बीजगणित]]  <math>G</math> हो(लाई समूह-लाई बीजगणित पत्राचार के माध्यम से) और <math>0 \in \mathfrak{g}^*</math> ([[दोहरी वेक्टर अंतरिक्ष|दोहरी सदिश समष्टि]] <math>\mathfrak{g})</math> क्षण मानचित्र <math>\Phi: M\to \mathfrak{g}^*</math> का एक नियमित मान है। माना <math>M_0=\Phi^{-1}(0) </math> है। मान लीजिए <math>G</math>-क्रिया <math>M_0</math> पर स्वतंत्र और सटीक है और <math>M_0</math> पर <math>G</math>- कक्षाएँ की <math>\widetilde M = M_0/G </math> [[दोहरी वेक्टर अंतरिक्ष|समष्टि]] पर विचार करें। जिसे [[ सहानुभूतिपूर्ण कमी |अंतर्गुंणनरक्षी न्यूनीकरण]] भागफल <math>\widetilde M = M//G</math> के रूप में भी जाना जाता है।


सबसे पहले, परिभाषित <math>M_0</math> अभ्यन्तर <math>M</math> कार्यों के [[नियमित अनुक्रम]] का उपयोग करना, कोज़ुल परिसर का निर्माण करें
सबसे पहले, परिभाषित <math>M_0</math> अभ्यन्तर <math>M</math> कार्यों के [[नियमित अनुक्रम]] का उपयोग करना, कोज़ुल परिसर का निर्माण करें


:<math>\Lambda^\bullet {\mathfrak g} \otimes C^{\infty}(M)</math>
:<math>\Lambda^\bullet {\mathfrak g} \otimes C^{\infty}(M)</math>
अवकलन <math>\delta</math>,  इस परिसर पर एक विषम <math>C^\infty(M)</math> [[वर्गीकृत बीजगणित|श्रेणीबद्ध]] की रैखिक व्युत्पत्ति <math>C^\infty(M)</math>-बीजगणित <math>\Lambda^\bullet {\mathfrak g} \otimes C^{\infty}(M) </math> है। इस विषम व्युत्पत्ति को लाइ बीजगणित समरूपता<math> {\mathfrak g}\to C^{\infty}(M) </math> हैमिल्टनी क्रिया का विस्तार करके परिभाषित किया गया है। परिणामी कोज़ुल परिसर का कोज़ुल परिसर <math>S({\mathfrak g})</math>-मापांक <math>C^\infty(M)</math> है, जहाँ <math>S(\mathfrak{g})</math> का सममित बीजगणित <math>\mathfrak{g}</math> है और मापांक संरचना एक वलय <math>S({\mathfrak g}) \to C^{\infty}(M) </math> हैमिल्टनी क्रिया से प्रेरित <math>\mathfrak{g} \to C^{\infty}(M)</math> समरूपता से आती है।
अवकलन <math>\delta</math>,  इस परिसर पर एक विषम <math>C^\infty(M)</math> [[वर्गीकृत बीजगणित|श्रेणीबद्ध]] की रैखिक व्युत्पत्ति <math>C^\infty(M)</math>-बीजगणित <math>\Lambda^\bullet {\mathfrak g} \otimes C^{\infty}(M) </math> है। इस विषम व्युत्पत्ति को लाई बीजगणित समरूपता<math> {\mathfrak g}\to C^{\infty}(M) </math> हैमिल्टनी क्रिया का विस्तार करके परिभाषित किया गया है। परिणामी कोज़ुल परिसर का कोज़ुल परिसर <math>S({\mathfrak g})</math>-मापांक <math>C^\infty(M)</math> है, जहाँ <math>S(\mathfrak{g})</math> का सममित बीजगणित <math>\mathfrak{g}</math> है और मापांक संरचना एक वलय <math>S({\mathfrak g}) \to C^{\infty}(M) </math> हैमिल्टनी क्रिया से प्रेरित <math>\mathfrak{g} \to C^{\infty}(M)</math> समरूपता से आती है।


यह कोज़ुल परिसर का एक संकल्प <math> S({\mathfrak g})</math>-मापांक <math> C^{\infty}(M_0) </math> है, अर्थात
यह कोज़ुल परिसर का एक संकल्प <math> S({\mathfrak g})</math>-मापांक <math> C^{\infty}(M_0) </math> है, अर्थात


:<math> H^{j}(\Lambda^\bullet {\mathfrak g} \otimes C^{\infty}(M),\delta) = \begin{cases} C^{\infty}(M_0) & j = 0 \\ 0 & j \neq 0 \end{cases}</math>
:<math> H^{j}(\Lambda^\bullet {\mathfrak g} \otimes C^{\infty}(M),\delta) = \begin{cases} C^{\infty}(M_0) & j = 0 \\ 0 & j \neq 0 \end{cases}</math>
फिर, कोज़ुल परिसर के लिए शेवेलली-एलेनबर्ग परिसर <math> \Lambda^\bullet {\mathfrak g} \otimes C^{\infty}(M) </math>  पर विचार करें। लाइ बीजगणित <math>\mathfrak{g}</math> पर एक [[ dg-module |dg-मापांक]] के रूप में माना जाता है:
फिर, कोज़ुल परिसर के लिए शेवेलली-एलेनबर्ग परिसर <math> \Lambda^\bullet {\mathfrak g} \otimes C^{\infty}(M) </math>  पर विचार करें। लाई बीजगणित <math>\mathfrak{g}</math> पर एक [[ dg-module |dg-मापांक]] के रूप में माना जाता है:


:<math> K^{\bullet,\bullet} = C^\bullet \left (\mathfrak g,\Lambda^\bullet {\mathfrak g} \otimes C^{\infty}(M) \right ) =  \Lambda^\bullet {\mathfrak g}^* \otimes \Lambda^\bullet {\mathfrak g} \otimes C^{\infty}(M). </math>
:<math> K^{\bullet,\bullet} = C^\bullet \left (\mathfrak g,\Lambda^\bullet {\mathfrak g} \otimes C^{\infty}(M) \right ) =  \Lambda^\bullet {\mathfrak g}^* \otimes \Lambda^\bullet {\mathfrak g} \otimes C^{\infty}(M). </math>
क्षैतिज अवकलन <math> d: K^{i,\bullet} \to K^{i+1,\bullet} </math> गुणांकों पर परिभाषित है
क्षैतिज अवकलन <math> d: K^{i,\bullet} \to K^{i+1,\bullet} </math> गुणांकों पर परिभाषित है।


:<math> \Lambda^\bullet {\mathfrak g} \otimes C^{\infty}(M) </math>
:<math> \Lambda^\bullet {\mathfrak g} \otimes C^{\infty}(M) </math>
<math>\mathfrak{g}</math> की क्रिया से और  <math> \Lambda^\bullet {\mathfrak g}^*</math> लाइ समूह <math>G</math> पर दाएं-अपरिवर्तनीय अंतर रूपों के बाह्य व्युत्पन्न के रूप में, जिसका लाइ बीजगणित <math>\mathfrak{g}</math> है
<math>\mathfrak{g}</math> की क्रिया से और  <math> \Lambda^\bullet {\mathfrak g}^*</math> लाई समूह <math>G</math> पर दाएं-अपरिवर्तनीय अंतर रूपों के बाह्य व्युत्पन्न के रूप में, जिसका लाई बीजगणित <math>\mathfrak{g}</math> है;


मान लीजिए कि Tot(K) एक ऐसा परिसर है
मान लीजिए कि Tot(K) एक ऐसा परिसर है
Line 75: Line 75:
वर्णक्रमीय अनुक्रम का पहला शब्द ऊर्ध्वाधर अंतर के सह समरूपता <math>\delta</math> की गणना करता है:
वर्णक्रमीय अनुक्रम का पहला शब्द ऊर्ध्वाधर अंतर के सह समरूपता <math>\delta</math> की गणना करता है:


:<math> E_1^{i,j} = H^j (K^{i,\bullet},\delta) = \Lambda^i {\mathfrak g}^* \otimes C^{\infty}(M_0)</math>, यदि j = 0 और शून्य अन्यथा
:<math> E_1^{i,j} = H^j (K^{i,\bullet},\delta) = \Lambda^i {\mathfrak g}^* \otimes C^{\infty}(M_0)</math>, यदि j = 0 और शून्य अन्यथा।


वर्णक्रमीय अनुक्रम की पहली अवधि को लंबवत अंतर रूपों के परिसर के रूप में व्याख्या किया जा सकता है
वर्णक्रमीय अनुक्रम की पहली अवधि को लंबवत अंतर रूपों के परिसर के रूप में व्याख्या किया जा सकता है।


:<math> (\Omega^\bullet{\operatorname{vert}}(M_0), d_{\operatorname{vert}}) </math>
:<math> (\Omega^\bullet{\operatorname{vert}}(M_0), d_{\operatorname{vert}}) </math>
तन्तु पूलिका <math> M_0 \to \widetilde M </math> के लिए
तन्तु पूलिका <math> M_0 \to \widetilde M </math> के लिए,


वर्णक्रमीय अनुक्रम का दूसरा पद क्षैतिज अंतर <math>d</math> पर <math>E_1^{\bullet,\bullet}</math>के सह समरूपता की गणना करता है:
वर्णक्रमीय अनुक्रम का दूसरा पद क्षैतिज अंतर <math>d</math> पर <math>E_1^{\bullet,\bullet}</math>के सह समरूपता की गणना करता है:
Line 95: Line 95:
बीआरएसटी प्रचालक के विषय में दो महत्वपूर्ण टिप्पणियां देय हैं। सर्वप्रथम, माप समूह ''G'' के साथ कार्य करने के बजाय केवल माप बीजगणित <math>\mathfrak{g}</math> पर क्षेत्रों (चरण स्थान पर कार्य करता है) की क्रिया का उपयोग कर सकते हैं ।
बीआरएसटी प्रचालक के विषय में दो महत्वपूर्ण टिप्पणियां देय हैं। सर्वप्रथम, माप समूह ''G'' के साथ कार्य करने के बजाय केवल माप बीजगणित <math>\mathfrak{g}</math> पर क्षेत्रों (चरण स्थान पर कार्य करता है) की क्रिया का उपयोग कर सकते हैं ।


दूसरा, किसी स्थानीय माप परिवर्तन dλ के संबंध में किसी भी बीआरएसटी [[सटीक रूप]] ''s<sub>B</sub>X'' की भिन्नता है
दूसरा, किसी स्थानीय माप परिवर्तन dλ के संबंध में किसी भी बीआरएसटी [[सटीक रूप]] ''s<sub>B</sub>X'' की भिन्नता है।


:<math>\left [i_{\delta\lambda}, s_B \right ] s_B X = i_{\delta\lambda} (s_B s_B X) + s_B \left  (i_{\delta\lambda} (s_B X) \right ) = s_B \left (i_{\delta\lambda} (s_B X) \right ),</math>
:<math>\left [i_{\delta\lambda}, s_B \right ] s_B X = i_{\delta\lambda} (s_B s_B X) + s_B \left  (i_{\delta\lambda} (s_B X) \right ) = s_B \left (i_{\delta\lambda} (s_B X) \right ),</math>
Line 102: Line 102:
अधिक महत्वपूर्ण रूप से हैमिल्टनी प्रक्षोभ औपचारिकता के लिए (जो तन्तु पूलिका पर नहीं बल्कि एक स्थानीय खंड पर किया जाता है), एक बीआरएसटी सटीक शब्द को एक माप अचर लग्रांजी घनत्व में जोड़कर संबंध ''s<sub>B</sub>X'' = 0 को संरक्षित करता है। जैसा कि हम देखेंगे, अर्थात, <math>[Q_B, \mathcal{H}] = 0</math> के लिए अवस्था स्थान पर एक संबंधित प्रचालक ''Q<sub>B</sub>'' है। फॉक अवस्थाओं पर बीआरएसटी प्रचालक हैमिल्टन प्रणाली का एक [[चार्ज संरक्षण|प्रभार]] है। इसका तात्पर्य यह है कि डायसन श्रृंखला की गणना में [[समय विकास ऑपरेटर|समय विकास प्रचालक]] एक क्षेत्र विन्यास <math>Q_B |\Psi_i\rangle = 0</math> बाद के विन्यास में <math>Q_B |\Psi_f\rangle \neq 0</math> (या विपरीत) का पालन नहीं करेगा।
अधिक महत्वपूर्ण रूप से हैमिल्टनी प्रक्षोभ औपचारिकता के लिए (जो तन्तु पूलिका पर नहीं बल्कि एक स्थानीय खंड पर किया जाता है), एक बीआरएसटी सटीक शब्द को एक माप अचर लग्रांजी घनत्व में जोड़कर संबंध ''s<sub>B</sub>X'' = 0 को संरक्षित करता है। जैसा कि हम देखेंगे, अर्थात, <math>[Q_B, \mathcal{H}] = 0</math> के लिए अवस्था स्थान पर एक संबंधित प्रचालक ''Q<sub>B</sub>'' है। फॉक अवस्थाओं पर बीआरएसटी प्रचालक हैमिल्टन प्रणाली का एक [[चार्ज संरक्षण|प्रभार]] है। इसका तात्पर्य यह है कि डायसन श्रृंखला की गणना में [[समय विकास ऑपरेटर|समय विकास प्रचालक]] एक क्षेत्र विन्यास <math>Q_B |\Psi_i\rangle = 0</math> बाद के विन्यास में <math>Q_B |\Psi_f\rangle \neq 0</math> (या विपरीत) का पालन नहीं करेगा।


बीआरएसटी प्रचालक की शून्यता को देखने का एक अन्य तरीका यह कहना है कि इसकी [[छवि (गणित)|छवि]] (बीआरएसटी सटीक रूपों का स्थान) पूर्णतया से इसके [[कर्नेल (सेट सिद्धांत)|कर्नेल]] (बीआरएसटी [[ बंद अंतर रूप |संवृत रूपों]] का स्थान) के भीतर है। (वास्तविक लग्रांजी, स्थानीय माप परिवर्तनों के अंतर्गत अपरिवर्तनीय माना जाता है, बीआरएसटी प्रचालक के कर्नेल में है, परन्तु इसकी छवि में नहीं है।) पूर्ववर्ती तर्क कहता है कि हम प्रारंभिक और अंतिम स्थितियों के अपने ब्रह्मांड को स्पर्शोन्मुख अवस्थाओं तक सीमित कर सकते हैं - सामयिकता अनन्तता पर क्षेत्र विन्यास, जहाँ अंतःक्रिया लग्रांजी को बंद कर दिया जाता है - जो ''Q<sub>B</sub>'' के कर्नेल में स्थित होता है और अभी भी एकात्मक  प्रकीर्णी आव्यूह प्राप्त करता  हैं। (बीआरएसटी संवृत और सटीक अवस्थाओं को बीआरएसटी संवृतऔर सटीक क्षेत्रों के समान परिभाषित किया गया है; संवृत अवस्थाओं को ''Q<sub>B</sub>'' द्वारा नष्ट कर दिया जाता है, जबकि सटीक अवस्थाएँ वे हैं जो ''Q<sub>B</sub>'' को कुछ स्वैच्छिक क्षेत्र विन्यास पर अनुप्रयुक्त करके प्राप्त किए जा सकते हैं)।
बीआरएसटी प्रचालक की शून्यता को देखने का एक अन्य तरीका यह कहना है कि इसकी [[छवि (गणित)|छवि]] (बीआरएसटी सटीक रूपों का स्थान) पूर्णतया से इसके [[कर्नेल (सेट सिद्धांत)|कर्नेल]] (बीआरएसटी [[ बंद अंतर रूप |संवृत रूपों]] का स्थान) के भीतर है। (वास्तविक लग्रांजी, स्थानीय माप परिवर्तनों के अंतर्गत अपरिवर्तनीय माना जाता है, बीआरएसटी प्रचालक के कर्नेल में है, परन्तु इसकी छवि में नहीं है।) पूर्ववर्ती तर्क कहता है कि हम प्रारंभिक और अंतिम स्थितियों के अपने ब्रह्मांड को स्पर्शोन्मुख अवस्थाओं तक सीमित कर सकते हैं - सामयिकता अनन्तता पर क्षेत्र विन्यास, जहाँ अंतःक्रिया लग्रांजी को बंद कर दिया जाता है - जो ''Q<sub>B</sub>'' के कर्नेल में स्थित होता है और अभी भी एकात्मक  प्रकीर्णन आव्यूह प्राप्त करता  हैं। (बीआरएसटी संवृत और सटीक अवस्थाओं को बीआरएसटी संवृतऔर सटीक क्षेत्रों के समान परिभाषित किया गया है; संवृत अवस्थाओं को ''Q<sub>B</sub>'' द्वारा नष्ट कर दिया जाता है, जबकि सटीक अवस्थाएँ वे हैं जो ''Q<sub>B</sub>'' को कुछ स्वैच्छिक क्षेत्र विन्यास पर अनुप्रयुक्त करके प्राप्त किए जा सकते हैं)।


हम उन अवस्थाओं को भी दबा सकते हैं जो हमारे सिद्धांत की स्पर्शोन्मुख अवस्थाओं को परिभाषित करते समय ''Q<sub>B</sub>'' की छवि के भीतर हैं- परन्तु तर्क थोड़ा सूक्ष्म है। चूँकि हमने मान लिया है कि हमारे सिद्धांत का वास्तविक लग्रांजी माप अपरिवर्तनीय है, हमारे हैमिल्टनी प्रणाली की वास्तविक अवस्थाएँ स्थानीय माप परिवर्तन के अंतर्गत तुल्यता वर्ग हैं; दूसरे शब्दों में, हैमिल्टनी चित्र में दो प्रारंभिक या अंतिम अवस्थाएँ जो केवल एक बीआरएसटी सटीक स्थिति से भिन्न होती हैं, भौतिक रूप से समतुल्य होती हैं। हालांकि, बीआरएसटी सटीक माप अवखंडन निर्दिष्ट का उपयोग इस तथ्य की प्रत्याभुति नहीं देता है कि अंतःक्रिया हैमिल्टन संवृत क्षेत्र विन्यास के किसी विशेष उप-स्थान को संरक्षित करेगा जिसे हम सटीक विन्यास के स्थान पर लांबिक कह सकते हैं। (यह एक महत्वपूर्ण बिंदु है, जिसे प्रायः क्यूएफटी पाठ्यपुस्तकों में अनुचित तरीके से संभाला जाता है। क्रिया सिद्धांत में निर्मित क्षेत्र विन्यास पर कोई प्राथमिक आंतरिक उत्पाद नहीं है; हम अपने हैमिल्टनी प्रक्षोभ प्रणाली के भाग के रूप में इस तरह के एक आंतरिक उत्पाद का निर्माण करते हैं)।
हम उन अवस्थाओं को भी दबा सकते हैं जो हमारे सिद्धांत की स्पर्शोन्मुख अवस्थाओं को परिभाषित करते समय ''Q<sub>B</sub>'' की छवि के भीतर हैं- परन्तु तर्क थोड़ा सूक्ष्म है। चूँकि हमने मान लिया है कि हमारे सिद्धांत का वास्तविक लग्रांजी माप अपरिवर्तनीय है, हमारे हैमिल्टनी प्रणाली की वास्तविक अवस्थाएँ स्थानीय माप परिवर्तन के अंतर्गत तुल्यता वर्ग हैं; दूसरे शब्दों में, हैमिल्टनी चित्र में दो प्रारंभिक या अंतिम अवस्थाएँ जो केवल एक बीआरएसटी सटीक स्थिति से भिन्न होती हैं, भौतिक रूप से समतुल्य होती हैं। हालांकि, बीआरएसटी सटीक माप अवखंडन निर्दिष्ट का उपयोग इस तथ्य की प्रत्याभुति नहीं देता है कि अंतःक्रिया हैमिल्टन संवृत क्षेत्र विन्यास के किसी विशेष उप-स्थान को संरक्षित करेगा जिसे हम सटीक विन्यास के स्थान पर लांबिक कह सकते हैं। (यह एक महत्वपूर्ण बिंदु है, जिसे प्रायः क्यूएफटी पाठ्यपुस्तकों में अनुचित तरीके से संभाला जाता है। क्रिया सिद्धांत में निर्मित क्षेत्र विन्यास पर कोई प्राथमिक आंतरिक उत्पाद नहीं है; हम अपने हैमिल्टनी प्रक्षोभ प्रणाली के भाग के रूप में इस तरह के एक आंतरिक उत्पाद का निर्माण करते हैं)।


इसलिए हम एक विशेष समय में बीआरएसटी संवृत विन्यास के सदिश समष्टि पर ध्यान केंद्रित करते हैं, इसे हैमिल्टनी प्रक्षोभ के लिए उपयुक्त मध्यवर्ती राज्यों के फॉक समष्टि में परिवर्तित करने के इरादे से। इसके लिए, हम इसे प्रत्येक क्षेत्र के ऊर्जा-संवेग eigenconfigurations (कणों) के लिए सीढ़ी प्रचालकों के साथ संपन्न करेंगे, जो उपयुक्त (एंटी-) कम्यूटेशन नियमों के साथ-साथ एक निश्चित [[निश्चित द्विरेखीय रूप]]|सकारात्मक अर्ध-निश्चित आंतरिक उत्पाद के साथ पूरा होगा। हमें आवश्यकता है कि आंतरिक उत्पाद [[गणितीय विलक्षणता]] विशेष रूप से उन दिशाओं के साथ हो जो बीआरएसटी के सटीक आइजनस्टेट्स के अनुरूप हों। यह सुनिश्चित करता है कि कोई स्वतंत्र रूप से चयन कर सकता है, स्पर्शोन्मुख क्षेत्र विन्यास के दो तुल्यता वर्गों के भीतर से (अखंड) मुक्त-क्षेत्र हैमिल्टन के विशेष प्रारंभिक और अंतिम eigenstates के अनुरूप, बीआरएसटी बंद फॉक राज्यों की कोई भी जोड़ी जो हमें विकल्प है।
इसलिए हम एक विशेष समय में बीआरएसटी संवृत विन्यास के सदिश, इसे हैमिल्टनी प्रक्षोभ के लिए उपयुक्त मध्यवर्ती अवस्थाओं के फॉक समष्टि में परिवर्तित करने के उद्देश्य से समष्टि पर ध्यान केंद्रित करते हैं। इसके लिए, हम इसे सटीक (विरोधी-) रूपांतरण नियमों के साथ-साथ एक सकारात्मक अर्ध-निश्चित आंतरिक उत्पाद के साथ प्रत्येक क्षेत्र के ऊर्जा-संवेग ईजिन विन्यास (कणों) के लिए सोपानी प्रचालकों के साथ संपन्न करेंगे। हमें आवश्यकता है कि आंतरिक उत्पाद विशेष रूप से दिशाओं के साथ असामान्य हो जोकि असंतुलित हैमिल्टनी के बीआरएसटी सटीक आइजेनस्टेट के अनुरूप हो। यह सुनिश्चित करता है कि कोई स्वतंत्र रूप से चयन कर सकता है, स्पर्शोन्मुख क्षेत्र विन्यास के दो तुल्यता वर्गों के भीतर से (अखंड) मुक्त-क्षेत्र हैमिल्टनी के विशेष प्रारंभिक और अंतिम आइजेनस्टेट के अनुरूप, बीआरएसटी संवृत फॉक अवस्थाओं का कोई भी युग्म जो हमें पसंद है।


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


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


संक्षेप में, बीआरएसटी माप स्थिरीकरण प्रक्रिया के भाग के रूप में प्रस्तुत किया गया कोई क्षेत्र माप-फिक्स्ड सिद्धांत के एसिम्प्टोटिक राज्यों में दिखाई नहीं देगा। हालांकि, इसका मतलब यह नहीं है कि हम इन गैर-भौतिक क्षेत्रों के बिना प्रक्षोभ गणना के मध्यवर्ती राज्यों में कर सकते हैं! ऐसा इसलिए है क्योंकि अंतःक्रियात्मक चित्र में अनुत्पादक गणनाएँ की जाती हैं। वे अप्रत्यक्ष रूप से गैर-बातचीत हैमिल्टन के प्रारंभिक और अंतिम राज्यों को सम्मिलित करते हैं <math>\mathcal{H}_0</math>, धीरे-धीरे [[बातचीत हैमिल्टनियन|बातचीत हैमिल्टनी]] (माप कपलिंग) को चालू करके [[एडियाबेटिक प्रमेय]] के अनुसार पूर्ण हैमिल्टन की अवस्थाओं में परिवर्तित हो गया। फेनमैन आरेखों के संदर्भ में डायसन श्रृंखला के विस्तार में ऐसे शिखर सम्मिलित होंगे जो भौतिक कणों (जो मुक्त हैमिल्टनी के स्पर्शोन्मुख राज्यों में प्रकट हो सकते हैं) से अभौतिक कणों (क्षेत्रों के राज्य जो कर्नेल (समुच्चय सिद्धांत) के बाहर रहते हैं) में सम्मिलित होंगे।<sub>B</sub>या एस की [[छवि]] के अंदर<sub>B</sub>) और शीर्ष जो अभौतिक कणों को एक दूसरे से जोड़ते हैं।
संक्षेप में, बीआरएसटी माप स्थिरीकरण प्रक्रिया के भाग के रूप में प्रस्तुत किया गया कोई क्षेत्र माप-स्थायी सिद्धांत के उपगामी अवस्थाओं में दिखाई नहीं देगा। हालांकि, इसका अर्थ यह नहीं है कि हम इन गैर-भौतिक क्षेत्रों के बिना प्रक्षोभ गणना के मध्यवर्ती अवस्थाओं में कर सकते हैं! ऐसा इसलिए है क्योंकि अंतःक्रियात्मक चित्र में अनुत्पादक गणनाएँ की जाती हैं। वे अप्रत्यक्ष रूप से गैर-अंतःक्रिया <math>\mathcal{H}_0</math> हैमिल्टनी के प्रारंभिक और अंतिम अवस्थाओं को सम्मिलित करते हैं, अंतःक्रिया हैमिल्टनी (माप युग्मन) को "चालू" करके स्थिरोष्म प्रमेय के अनुसार धीरे-धीरे पूर्ण हैमिल्टनी की अवस्थाओं में परिवर्तित हो गया। फेनमैन आरेखों के संदर्भ में डायसन श्रृंखला के विस्तार में ऐसे ऊर्ध्वाधर सम्मिलित होंगे जो युगल "भौतिक" कण (जो मुक्त हैमिल्टनी के स्पर्शोन्मुख अवस्थाओं में प्रकट हो सकते हैं) से "अभौतिक" कणों (क्षेत्र की स्थितियाँ जो ''s<sub>B</sub>'' या कर्नेल के बाह्य या ''s<sub>B</sub>'' की छवि के भीतर रहती हैं) में सम्मिलित होंगे और उस युग्म को "अभौतिक" कणों को एक दूसरे से जोड़ता है।


=== कुगो-ओजीमा एकात्मकता प्रश्नों का उत्तर ===
=== कुगो-ओजीमा एकात्मकता प्रश्नों का उत्तर ===
टी. कुगो और आई. ओजिमा को सामान्यतः प्रमुख क्यूसीडी रंग परिरोध कसौटी की खोज का श्रेय दिया जाता है। Lagrangian ढांचे में बीआरएसटी औपचारिकता का एक सही संस्करण प्राप्त करने में उनकी भूमिका की कम व्यापक रूप से सराहना की जाती है। बीआरएसटी परिवर्तन के उनके संस्करण का निरीक्षण करना ज्ञानवर्धक है, जो पूर्णतया से ज्यामितीय कोण से आगे बढ़ने से पहले नए प्रस्तुत किए गए क्षेत्रों के [[हर्मिटियन ऑपरेटर|हर्मिटियन प्रचालक]] गुणों पर जोर देता है। माप तय Lagrangian घनत्व नीचे है; कोष्ठक में दो शब्द माप और भूत क्षेत्रों के मध्य युग्मन बनाते हैं, और अंतिम शब्द सहायक क्षेत्र बी पर कार्यात्मक माप के लिए गॉसियन भार बन जाता है।
टी कुगो और आई ओजिमा को सामान्यतः प्रमुख क्यूसीडी रंग परिरोध मापदंड की खोज का श्रेय दिया जाता है। लग्रांजी प्राधार में बीआरएसटी औपचारिकता का एक सही संस्करण प्राप्त करने में उनकी भूमिका की व्यापक रूप से सराहना की जाती है। जो पूर्णतया से ज्यामितीय कोण से आगे बढ़ने से पूर्व, बीआरएसटी परिवर्तन के संस्करण का निरीक्षण करना ज्ञानवर्धक है, नए प्रस्तुत किए गए क्षेत्रों के [[हर्मिटियन ऑपरेटर|हर्मिटी]] गुणों पर बल देता है। माप स्थायी लग्रांजी घनत्व नीचे है; कोष्ठक में दो शब्द माप और घोस्ट क्षेत्रों के मध्य युग्मन बनाते हैं और अंतिम शब्द सहायक क्षेत्र ''B'' पर कार्यात्मक माप के लिए गॉसियन भार बन जाता है।


:<math>\mathcal{L} = \mathcal{L}_\textrm{matter}(\psi,\,A_\mu^a) - \tfrac{1}{4} F^a_{\mu\nu} F^{a,\,\mu\nu} - (i (\partial^\mu \bar{c}^a) D_\mu^{ab} c^b + (\partial^\mu B^a) A_\mu^a) + \tfrac{1}{2} \alpha_0 B^a B^a</math>
:<math>\mathcal{L} = \mathcal{L}_\textrm{matter}(\psi,\,A_\mu^a) - \tfrac{1}{4} F^a_{\mu\nu} F^{a,\,\mu\nu} - (i (\partial^\mu \bar{c}^a) D_\mu^{ab} c^b + (\partial^\mu B^a) A_\mu^a) + \tfrac{1}{2} \alpha_0 B^a B^a</math>
बीआरएसटी प्रक्रिया की औपचारिक आवश्यकताओं से परे एक ज्यामितीय अर्थ रखने में हमारे माप-फिक्स्ड सिद्धांत के नए क्षेत्रों में फदीव-पोपोव भूत क्षेत्र सी अद्वितीय है। यह मौरर-कार्टन फॉर्म ऑन का एक संस्करण है <math>V\mathfrak{E}</math>, जो प्रत्येक सही-अपरिवर्तनीय ऊर्ध्वाधर सदिश क्षेत्र से संबंधित है <math>\delta\lambda \in V\mathfrak{E}</math> इसके प्रतिनिधित्व के लिए (एक चरण तक) एक के रूप में <math>\mathfrak{g}</math>-मूल्यवान क्षेत्र। इस क्षेत्र को वस्तुओं पर अतिसूक्ष्म माप परिवर्तनों के सूत्रों में प्रवेश करना चाहिए (जैसे कि फ़र्मियन ψ, माप बोसोन ए<sub>μ</sub>, और भूत सी स्वयं) जो माप समूह का एक गैर-तुच्छ प्रतिनिधित्व करते हैं। δλ के संबंध में बीआरएसटी परिवर्तन इसलिए है:
बीआरएसटी प्रक्रिया की औपचारिक आवश्यकताओं से परे एक ज्यामितीय अर्थ रखने में हमारे माप-स्थायी सिद्धांत के नए क्षेत्रों में फदीव-पोपोव घोस्ट क्षेत्र ''c'' असामान्य है। यह मौरर-कार्टन विधि <math>V\mathfrak{E}</math> का एक संस्करण है, जो प्रत्येक सटीक-अपरिवर्तनीय ऊर्ध्वाधर सदिश क्षेत्र <math>\delta\lambda \in V\mathfrak{E}</math> के प्रतिनिधित्व के लिए (एक चरण तक) एक के रूप में <math>\mathfrak{g}</math>-मूल्यवान क्षेत्र से संबंधित है। इस क्षेत्र को वस्तुओं (जैसे कि फर्मिऑन ψ, माप बोसॉन ''A''<sub>μ</sub>, और घोस्ट ''c'' स्वयं) पर अतिसूक्ष्म माप परिवर्तनों के सूत्रों में प्रवेश करना चाहिए जो माप समूह का असतहीय प्रतिनिधित्व करते हैं। δλ के संबंध में बीआरएसटी परिवर्तन इसलिए है:


:<math>\begin{align}
:<math>\begin{align}
Line 127: Line 127:
\delta B &= 0
\delta B &= 0
\end{align}</math>
\end{align}</math>
यहां हमने मैटर क्षेत्रक ψ के विवरण को छोड़ दिया है और उस पर वार्ड प्रचालक के रूप को अनिर्दिष्ट छोड़ दिया है; ये तब तक महत्वहीन हैं जब तक पदार्थ क्षेत्रों पर माप बीजगणित का प्रतिनिधित्व उनके युग्मन के साथ δA के अनुरूप होता है<sub>μ</sub>. हमारे द्वारा जोड़े गए अन्य क्षेत्रों के गुण ज्यामितीय के बजाय मौलिक रूप से विश्लेषणात्मक हैं। कनेक्शन के प्रति हमने जो पूर्वाग्रह प्रस्तुत किया है <math>\partial^\mu A_\mu = 0</math> माप पर निर्भर है और इसका कोई विशेष ज्यामितीय महत्व नहीं है। भूत विरोधी <math>\bar{c}</math> माप स्थिरीकरण टर्म के लिए लैग्रेंज मल्टीप्लायर के अलावा और कुछ नहीं है, और स्केलर क्षेत्र बी के गुण पूर्णतया से रिश्ते से तय होते हैं <math>\delta \bar{c} = i \delta\lambda B</math>. (नए क्षेत्र कूगो-ओजिमा सम्मेलनों में सभी हर्मिटियन हैं, परन्तु पैरामीटर δλ एक एंटी-हर्मिटियन एंटी-कम्यूटिंग सी-नंबर|सी-नंबर है। इसके परिणामस्वरूप चरणों के संबंध में कुछ अनावश्यक अजीबता होती है और प्रचालकों के माध्यम से इन्फिनिटिमल पैरामीटर पास होते हैं; इसे नीचे ज्यामितीय उपचार में परिपाटी में बदलाव के साथ हल किया जाएगा।)
यहां हमने द्रव्य क्षेत्रक ψ के विवरण को छोड़ दिया है और उस पर प्रतिपाल्य प्रचालको के रूप को अनिर्दिष्ट छोड़ दिया है; ये तब तक महत्वहीन हैं जब तक द्रव्य क्षेत्रों पर माप बीजगणित का प्रतिनिधित्व उनके युग्मन के साथ δ''A''<sub>μ</sub>के अनुरूप है। हमारे द्वारा जोड़े गए अन्य क्षेत्रों के गुण ज्यामितीय के बजाय मौलिक रूप से विश्लेषणात्मक हैं। घोस्ट विरोधी <math>\bar{c}</math> माप स्थिरीकरण पद के लिए लैग्रेंज गुणक के अतिरिक्त और कुछ नहीं है और अदिश क्षेत्र ''B'' के गुण पूर्णतया से संबंध  <math>\delta \bar{c} = i \delta\lambda B</math> से निर्धारित होते हैं (नए क्षेत्र कूगो-ओजिमा समागमों में सभी हर्मिटी हैं, परन्तु मापदण्ड δλ एक विरोधी-हर्मिटी विरोधी-न्यूनीकरण ''c''- संख्या है, इसके परिणामस्वरूप चरणों के संबंध में कुछ अनावश्यक अनिश्चितता होती है और प्रचालकों के माध्यम से अतिसूक्ष्म मापदंडों को पारित करना; इसे नीचे ज्यामितीय विवेचन में परिपाटी में परिवर्तनों के साथ हल किया जाएगा)


हम पहले से ही जानते हैं, बीआरएसटी प्रचालक के संबंध से बाहरी अवकलज और फैडीव-पोपोव भूत से मौरर-कार्टन फॉर्म तक, कि भूत सी (एक चरण तक) से मेल खाता है <math>\mathfrak{g}</math>-वैल्यूड 1-फॉर्म ऑन <math>V\mathfrak{E}</math>. जैसे शब्द के एकीकरण के लिए <math>-i (\partial^\mu \bar{c}) D_\mu c</math> सार्थक होने के लिए, भूत-विरोधी <math>\bar{c}</math> इन दो लाइे बीजगणितों का प्रतिनिधित्व होना चाहिए - ऊर्ध्वाधर आदर्श <math>V\mathfrak{E}</math> और माप बीजगणित <math>\mathfrak{g}</math>- भूत द्वारा उठाए गए लोगों के लिए। ज्यामितीय शब्दों में, <math>\bar{c}</math> से तन्तुवाइज डुअल होना चाहिए <math>\mathfrak{g}</math> और एक शीर्ष फॉर्म होने से एक रैंक कम <math>V\mathfrak{E}</math>. इसी तरह, [[सहायक क्षेत्र]] बी में का समान प्रतिनिधित्व होना चाहिए <math>\mathfrak{g}</math> (एक चरण तक) के रूप में <math>\bar{c}</math>, साथ ही का प्रतिनिधित्व <math>V\mathfrak{E}</math> ए पर इसके तुच्छ प्रतिनिधित्व के लिए दोहरी<sub>μ</sub>-मैं। ई।, बी एक तन्तुवाइज है <math>\mathfrak{g}</math>-ड्युअल टॉप फॉर्म ऑन <math>V\mathfrak{E}</math>.
हम पूर्व से ही जानते हैं कि बीआरएसटी प्रचालक के संबंध से बाह्य अवकलज और फैडीव-पोपोव घोस्ट से मौरर-कार्टन विधि तक, घोस्ट ''c'' (एक चरण तक) <math>V\mathfrak{E}</math> पर <math>\mathfrak{g}</math>-मूल्यवान 1-रूप के अनुरूप है जैसे शब्द के एकीकरण के लिए <math>-i (\partial^\mu \bar{c}) D_\mu c</math> सार्थक होने के लिए, घोस्ट-विरोधी <math>\bar{c}</math> इन दो लाई बीजगणितों - ऊर्ध्वाधर आदर्श <math>V\mathfrak{E}</math> और माप बीजगणित <math>\mathfrak{g}</math>-घोस्ट द्वारा ले जाए जाने वालों से दोहरे प्रतिनिधित्व होना चाहिए। ज्यामितीय शब्दों में, <math>\bar{c}</math> से फाइबरवाइज द्विक <math>\mathfrak{g}</math> और एक शीर्ष रूप से <math>V\mathfrak{E}</math> एक श्रेणी कम होना चाहिए। इसी तरह, [[सहायक क्षेत्र]] ''B'' में <math>\mathfrak{g}</math> (एक चरण तक) के रूप में <math>\bar{c}</math> का समान प्रतिनिधित्व होना चाहिए।


आइए हम सिद्धांत के एक-कण अवस्थाओं पर संक्षिप्त रूप से ध्यान केंद्रित करें, रूद्धोष्म रूप से विघटित सीमा g → 0 में। माप-फिक्स्ड हैमिल्टनी के फॉक समष्टि में दो प्रकार के क्वांटा हैं जिनकी हम पूर्णतया से कोर के बाहर होने की उम्मीद करते हैं। बीआरएसटी प्रचालक: फद्दीव-पोपोव भूत-विरोधी <math>\bar{c}</math> और आगे ध्रुवीकृत माप बोसोन। ऐसा इसलिए है क्योंकि युक्त क्षेत्रों का कोई संयोजन नहीं है <math>\bar{c}</math> स द्वारा नष्ट कर दिया जाता है<sub>B</sub>और हमने Lagrangian में एक माप ब्रेकिंग टर्म जोड़ा है जो डायवर्जेंस के समान है
आइए हम सिद्धांत के एक-कण अवस्थाओं पर संक्षिप्त रूप से, रूद्धोष्म रूप से विघटित सीमा g → 0 में ध्यान केंद्रित करें। माप-स्थायी हैमिल्टनी के फॉक समष्टि में दो प्रकार के क्वांटा हैं, जो हम बीआरएसटी प्रचालको के कर्नेल के बाह्य पूर्णतया से लाई की आशा करते हैं। फद्दीव-पोपोव घोस्ट-विरोधी <math>\bar{c}</math> और अग्र ध्रुवीकृत माप बोसॉन है। ऐसा इसलिए है क्योंकि युक्त क्षेत्रों का कोई संयोजन नहीं है, <math>\bar{c}</math> को ''s<sub>B</sub>'' से विलोपित कर दिया गया है और हमने लग्रांजी में एक माप खंडन पद जोड़ा है जो अपसरण के समान है।


:<math>s_B \left (\bar{c} \left (i \partial^\mu A_\mu - \tfrac{1}{2} \alpha_0 s_B \bar{c} \right ) \right ).</math>
:<math>s_B \left (\bar{c} \left (i \partial^\mu A_\mu - \tfrac{1}{2} \alpha_0 s_B \bar{c} \right ) \right )</math>
इसी तरह, दो प्रकार के क्वांटा हैं जो पूर्णतया से बीआरएसटी प्रचालक की छवि में निहित होंगे: वे फद्दीव-पोपोव घोस्ट सी और स्केलर क्षेत्र बी, जो पिछड़े ध्रुवीकृत बनने के लिए कार्यात्मक समाकल में वर्ग को पूरा करके खाया जाता है। माप बोसोन। ये चार प्रकार के अभौतिक क्वांटा हैं जो एक अनुत्पादक गणना की स्पर्शोन्मुख अवस्थाओं में प्रकट नहीं होंगे - यदि हम अपने परिमाणीकरण नियमों को सही पाते हैं।
इसी तरह, दो प्रकार के क्वांटा हैं जो पूर्णतया बीआरएसटी प्रचालक की छवि में निहित होंगे: वे फद्दीव-पोपोव घोस्ट ''c'' और अदिश क्षेत्र ''B'', जो पश्च ध्रुवीकृत माप बोसॉन बनने के लिए कार्यात्मक समाकल में वर्ग को पूर्ण करके प्राप्त किया जाता है। ये चार प्रकार के अभौतिक क्वांटा हैं जो एक प्रक्षोभ गणना की स्पर्शोन्मुख अवस्थाओं में प्रकट नहीं होंगे - यदि हम अपने परिमाणीकरण नियमों को सही पाते हैं।


एंटी-घोस्ट को पोंकारे इनवेरिएंस की खातिर [[लोरेंत्ज़ अदिश|लोरेंस अदिश]] के रूप में लिया जाता है <math>-i (\partial^\mu \bar{c}) D_\mu c</math>. हालाँकि, इसका (एंटी-) कम्यूटेशन कानून c-i के सापेक्ष है। ई।, इसका परिमाणीकरण प्रिस्क्रिप्शन, जो स्पिन-सांख्यिकी प्रमेय को एक स्पिन-0 कण को ​​फर्मी-डिराक आँकड़े देकर अनदेखा करता है - इस आवश्यकता के अनुसार दिया जाएगा कि हमारे स्पर्शोन्मुख राज्यों के फॉक स्थान पर आंतरिक उत्पाद गणितीय विलक्षणता के साथ-साथ दिशाएँ हों। गैर-बीआरएसटी-बंद और बीआरएसटी-सटीक क्षेत्रों के कुछ संयोजन के ऊपर उठाने और घटाने वाले प्रचालकों के लिए। यह अंतिम कथन केवल बीआरएसटी समरूपता या बीआरएसटी परिवर्तन के विपरीत बीआरएसटी परिमाणीकरण की कुंजी है।
विरोधी-घोस्ट को पोंकारे अप्रसरण <math>-i (\partial^\mu \bar{c}) D_\mu c</math> के लिये [[लोरेंत्ज़ अदिश|लोरेंस अदिश]] के रूप में लिया जाता है, हालाँकि, इसका (विरोधी-) रूपान्तरण नियम ''c'' के सापेक्ष है। इसका परिमाणीकरण निर्दिष्ट, जो प्रचक्रण-सांख्यिकी प्रमेय को एक प्रचक्रण-0 कण को ​​फर्मी-डिरैक आँकड़े प्रदान कर अवहेलना करता है - इस आवश्यकता के अनुसार दिया जाएगा कि हमारे स्पर्शोन्मुख अवस्थाओं के फॉक समष्टि पर आंतरिक उत्पाद दिशाओं के अनुरूप असामान्य हो। यह अंतिम कथन बीआरएसटी परिमाणीकरण की कुंजी है, जो केवल बीआरएसटी समरूपता या बीआरएसटी परिवर्तन के विपरीत है।


{{expand section|date=October 2009}}
{{expand section|date=अक्टूबर 2009}}
:<small>''(Needs to be completed in the language of बीआरएसटी cohomology, with reference to the Kugo–Ojima treatment of asymptotic Fock space.)''</small>
:<small>''(उपगामी फॉक समष्टि के कुगो-ओजिमा विवेचन के संदर्भ में, बीआरएसटी सह समरूपता की भाषा में पूर्ण करने की आवश्यकता है।)''</small>




== माप पूलिका और लंबवत आदर्श ==
== माप पूलिका और ऊर्ध्वाधर आदर्श ==
बीआरएसटी विधि न्याय करने के लिए, हमें बीजगणित-मूल्यवान क्षेत्रों से मिन्कोव्स्की समष्टि चित्र पर परिमाण क्षेत्र सिद्धांत ग्रंथों (और उपरोक्त प्रदर्शनी) के तन्तु पूलिकाों की भाषा में स्विच करना होगा, जिसमें दो अलग-अलग तरीके हैं एक माप परिवर्तन को देखने के लिए: स्थानीय खंड के परिवर्तन के रूप में (सामान्य सापेक्षता में एक [[सक्रिय और निष्क्रिय परिवर्तन]] के रूप में भी जाना जाता है) या मुख्य पूलिका के ऊर्ध्वाधर अंतर के साथ क्षेत्र विन्यास के [[पुलबैक (अंतर ज्यामिति)]] के रूप में। यह बाद का माप परिवर्तन है जो बीआरएसटी पद्धति में प्रवेश करता है। एक निष्क्रिय परिवर्तन के विपरीत, यह विश्व स्तर पर एक प्रमुख पूलिका पर किसी भी संरचना समूह के साथ मनमाने ढंग से बहुविधअधिक परिभाषित है। (हालांकि, पारंपरिक क्यूएफटी के लिए संक्षिप्तता और प्रासंगिकता के लिए, यह आलेख 4-आयामी [[ मिन्कोवस्की अंतरिक्ष | मिन्कोवस्की समष्टि]] पर कॉम्पैक्ट तन्तु के साथ प्रिंसिपल माप पूलिका के मामले में टिकेगा।)
बीआरएसटी विधि सत्यता के लिए, हमें मिन्कोवस्की समष्टि चित्र पर बीजगणित-मूल्यवान क्षेत्रों से परिवर्तित करना होगा, जोकि परिमाण क्षेत्र सिद्धांत ग्रंथों (और ऊपर की व्याख्या) की विशिष्ट चित्र तन्तु पूलिकाओं की भाषा में है, जिसमें दो काफी हैं एक माप परिवर्तन को देखने विभिन्न तरीके है: स्थानीय खंड के परिवर्तन के रूप में (सामान्य सापेक्षता में एक [[सक्रिय और निष्क्रिय परिवर्तन]] के रूप में भी जाना जाता है) या मुख्य पूलिका के ऊर्ध्वाधर भिन्नता के साथ क्षेत्र विन्यास के [[पुलबैक (अंतर ज्यामिति)|बाधा]] के रूप में है। यह बाद का माप परिवर्तन है जो बीआरएसटी पद्धति में प्रवेश करता है। एक निष्क्रिय परिवर्तन के विपरीत, यह विश्व स्तर पर एक सिद्धांत पूलिका पर किसी भी संरचना समूह के साथ यादृच्छिक रूप से कई गुना अधिक परिभाषित है। (हालांकि, पारंपरिक क्यूएफटी, संक्षिप्तता और प्रासंगिकता के लिए, यह आलेख 4-आयामी [[ मिन्कोवस्की अंतरिक्ष |मिन्कोवस्की समष्टि]] पर सुसंहत तन्तु के साथ प्रमुख माप पूलिका के स्थिति में स्थापित होगा)


4-बहुविधM पर एक प्रमुख माप पूलिका P स्थानीय रूप से U × F के लिए आइसोमॉर्फिक है, जहां U ⊂ 'R'<sup>4</sup> और तन्तु F ​​एक लाइ समूह G के लिए आइसोमोर्फिक है, क्षेत्र सिद्धांत का [[गेज समूह|माप समूह]] (यह बहुविधसंरचनाओं का एक समरूपता है, समूह संरचनाओं का नहीं; G में 1 के अनुरूप P में कोई विशेष सतह नहीं है , इसलिए यह कहना अधिक उचित है कि तन्तु F ​​एक G-[[torsor]] है)। इस प्रकार, (भौतिक) प्रिंसिपल माप पूलिका (गणितीय) प्रिंसिपल जी-पूलिका से संबंधित है परन्तु इसकी संरचना अधिक है। तन्तु पूलिका के रूप में इसकी सबसे बुनियादी संपत्ति आधार स्थान π : P → M का प्रक्षेपण है, जो P पर लंबवत दिशाओं को परिभाषित करता है (जो तन्तु π के भीतर हैं<sup>−1</sup>(p) M में प्रत्येक बिंदु p पर)। माप पूलिका के रूप में इसमें P पर G की [[समूह क्रिया (गणित)]] होती है जो तन्तु संरचना का सम्मान करती है, और एक प्रमुख पूलिका के रूप में P पर G की समूह क्रिया (गणित) भी होती है जो तन्तु संरचना का भी सम्मान करती है और साथ चलती है वाम क्रिया।
4-बहुविध M पर एक प्रमुख माप पूलिका P स्थानीय रूप से U × F के लिए समरूपीय है, जहां U ⊂ R<sup>4</sup> और तन्तु F ​​एक लाई समूह G के लिए समरूपीय है, क्षेत्र प्रमुख का [[गेज समूह|माप समूह]] (यह बहुविध संरचनाओं की एक समरूपता है, समूह संरचनाओं का नहीं; G में 1 के अनुरूप P में कोई विशेष सतह नहीं है , इसलिए यह कहना अधिक सटीक है कि तन्तु F ​​एक G-[[torsor|टोरसर]] है)। इस प्रकार, (भौतिक) प्रमुख माप पूलिका (गणितीय) सिद्धांत G-पूलिका से संबंधित है परन्तु इसकी संरचना अधिक है। तन्तु पूलिका के रूप में इसकी सबसे मूलभूत विशेषता आधार समष्टि के लिए प्रक्षेपण π : P → M है, जो P पर ऊर्ध्वाधर दिशाओं को परिभाषित करता है (जो तन्तु π<sup>−1</sup>(''p'') के भीतर M में प्रत्येक बिंदु p पर स्थित हैं)। माप पूलिका के रूप में इसमें P पर G की [[समूह क्रिया (गणित)|वाम क्रिया]] होती है जो तन्तु संरचना का अभिवादन करती है और एक प्रमुख पूलिका के रूप में P पर G की सटीक क्रिया होती है जो तन्तु संरचना का भी अभिवादन करती है और वाम क्रिया के साथ चलती है।


P पर [[संरचना समूह]] G की बाईं क्रिया एक व्यक्तिगत तन्तु पर समन्वय प्रणाली के मात्र परिवर्तन से मेल खाती है। (वैश्विक) सही कार्रवाई आर<sub>g</sub>: P → P G में एक निश्चित g के लिए प्रत्येक तन्तु के एक वास्तविक ऑटोमोर्फिज़्म से मेल खाता है और इसलिए P के मानचित्र से स्वयं के लिए। पी के लिए एक प्रमुख जी-पूलिका के रूप में अर्हता प्राप्त करने के लिए, जी में प्रत्येक जी की वैश्विक सही कार्रवाई जी-आई पर एक चिकनी निर्भरता के साथ पी की बहुविधसंरचना के संबंध में एक [[ automorphism ]] होना चाहिए। ई।, एक डिफियोमोर्फिज्म पी × × जी पी।
P पर [[संरचना समूह]] G की वाम क्रिया एक व्यष्टिगत तन्तु पर समन्वय प्रणाली के मात्र परिवर्तन के अनुरूप है। (वैश्विक) सटीक क्रिया ''R<sub>g</sub>'': P → P G में एक निश्चित g के लिए प्रत्येक तन्तु के एक वास्तविक स्वसमाकृतिकता और इसलिए P के मानचित्र के अनुरूप है। ''P'' के लिए एक सिद्धांत ''G''-पूलिका के रूप में अर्हता प्राप्त करने के लिए, ''G'' में प्रत्येक ''g'' की वैश्विक सटीक क्रिया ''g'' -अर्थात एक सपाट निर्भरता के साथ ''P'' की बहुविध संरचना के संबंध में एक [[ automorphism |स्वसमाकृतिकता]] ''P'' × ''G'' ''P'' होनी चाहिए।


संरचना समूह की वैश्विक सही कार्रवाई का अस्तित्व पी पर सही अपरिवर्तनीय ज्यामितीय वस्तुओं का एक विशेष वर्ग चुनता है- जो आर के साथ वापस खींचे जाने पर नहीं बदलते हैं।<sub>g</sub>जी में जी के सभी मूल्यों के लिए। प्रिंसिपल पूलिका पर सबसे महत्वपूर्ण सही अपरिवर्तनीय वस्तुएं सही अपरिवर्तनीय [[वेक्टर फ़ील्ड|सदिश क्षेत्र]] हैं, जो एक [[आदर्श (सेट सिद्धांत)|आदर्श (समुच्चय सिद्धांत)]] बनाती हैं। <math>\mathfrak{E}</math> पी पर इनफिनिटिमल डिफियोमोर्फिज्म के लाई बीजगणित का। पी पर वे सदिश क्षेत्र जो सही अपरिवर्तनीय और लंबवत रूप से एक आदर्श रूप हैं <math>V\mathfrak{E}</math> का  <math>\mathfrak{E}</math>, जिसका ले बीजगणित के समान पूरे पूलिका P से संबंध है <math>\mathfrak{g}</math> माप समूह जी के व्यक्तिगत जी-टोरसर तन्तु एफ के लिए।
संरचना समूह की वैश्विक सटीक क्रिया का अस्तित्व ''P'' पर सटीक अपरिवर्तनीय ज्यामितीय वस्तुओं का एक विशेष वर्ग चयन करता  है- जो ''G'' में ''g'' के सभी मानो के लिए ''R<sub>g</sub>'' के साथ वापस खींचे जाने पर परिवर्तित नहीं होते हैं। सबसे महत्वपूर्ण सटीक अपरिवर्तनीय वस्तुएं एक सिद्धांत पूलिका पर सटीक अपरिवर्तनीय [[वेक्टर फ़ील्ड|सदिश क्षेत्र]] हैं, जो एक [[आदर्श (सेट सिद्धांत)|आदर्श <math>\mathfrak{E}</math>]] बनाते हैं। ''P'' पर वे सदिश क्षेत्र जो सटीक अपरिवर्तनीय और लंबवत रूप से एक आदर्श <math>V\mathfrak{E}</math> से <math>\mathfrak{E}</math> बनाते हैं जिसका लाई बीजगणित <math>\mathfrak{g}</math> के समान माप समूह ''G'' के वैयक्तिक ''G''-टोरसर तन्तु ''F'' के लिए सम्पूर्ण पूलिका P से सम्बंधित है।


रुचि के क्षेत्र सिद्धांत को प्रमुख माप पूलिका पी पर परिभाषित क्षेत्रों के एक समुच्चय (विभिन्न सदिश रिक्त स्थान में चिकनी मानचित्र) के संदर्भ में परिभाषित किया गया है। विभिन्न क्षेत्रों में माप समूह जी के विभिन्न प्रतिनिधित्व होते हैं, और शायद बहुविधके अन्य [[समरूपता समूह]] जैसे पोंकारे समूह। कोई इन क्षेत्रों और उनके अवकलज में स्थानीय बहुपदों के स्थान Pl को परिभाषित कर सकता है। यह माना जाता है कि किसी के सिद्धांत का मौलिक Lagrangian घनत्व उप-स्थान Pl में स्थित है<sub>0</sub> बहुपदों की संख्या जो किसी भी अखंड गैर-माप समरूपता समूहों के अंतर्गत वास्तविक-मूल्यवान और अपरिवर्तनीय हैं। यह न केवल बाईं कार्रवाई (निष्क्रिय समन्वय परिवर्तन) और माप समूह की वैश्विक सही कार्रवाई के अंतर्गत अपरिवर्तनीय माना जाता है, बल्कि स्थानीय माप परिवर्तनों के अंतर्गत भी होता है - दाएं-अपरिवर्तनीय ऊर्ध्वाधर सदिश के मनमाने विकल्प के साथ जुड़े इनफिनिटिमल डिफियोमोर्फिज्म के साथ पुलबैक। मैदान <math>\epsilon \in V\mathfrak{E}</math>.
अभिरूचि के क्षेत्र सिद्धांत को प्रमुख माप पूलिका ''P'' पर परिभाषित क्षेत्रों (विभिन्न सदिश रिक्त स्थान में सपाट मानचित्र) के एक समुच्चय के संदर्भ में परिभाषित किया गया है। अलग-अलग क्षेत्रों में माप समूह ''G'' के विभिन्न प्रतिनिधित्व होते हैं और संभवतः अन्य समरूपता के पोंकारे समूह जैसे बहुविध समूह है। कोई इन क्षेत्रों और उनके अवकलज में स्थानीय बहुपदों के स्थान Pl को परिभाषित कर सकते है। यह माना जाता है कि किसी के सिद्धांत का मौलिक लग्रांजी घनत्व बहुपदों के उपस्थान Pl<sub>0</sub> में स्थित है, जो किसी भी अखंड गैर-माप समरूपता समूहों के अंतर्गत वास्तविक-मूल्यवान और अपरिवर्तनीय हैं। यह न केवल वाम क्रिया (निष्क्रिय समन्वय परिवर्तन) और माप समूह की वैश्विक सटीक क्रिया के अंतर्गत अपरिवर्तनीय माना जाता है, बल्कि स्थानीय माप परिवर्तनों के अंतर्गत भी होता है - दाएं-अपरिवर्तनीय ऊर्ध्वाधर सदिश क्षेत्र <math>\epsilon \in V\mathfrak{E}</math> के यादृच्छिक विकल्प के साथ जुड़े अत्यल्प डिफियोमोर्फिज्म के साथ बाधा है।


बहुविध पी पर सदिश क्षेत्र्स के एक विशेष उप-स्थान के साथ स्थानीय माप परिवर्तनों की पहचान करना हमें अनंत-आयामी इनफिनिटिमल्स से निपटने के लिए एक बेहतर रूपरेखा से लैस करता है: अंतर ज्यामिति और बाहरी कैलकुलस। एक असीम स्वसमाकृतिकता के साथ बाधा के अंतर्गत एक स्केलर क्षेत्र में परिवर्तन लाइ अवकलज में कब्जा कर लिया गया है, और सदिश क्षेत्र के पैमाने में केवल रैखिक शब्द को बनाए रखने की धारणा को [[आंतरिक व्युत्पन्न]] और बाहरी व्युत्पन्न में अलग करके कार्यान्वित किया जाता है। (इस संदर्भ में, रूपों और बाहरी कलन विशेष रूप से स्वतंत्रता की डिग्री को संदर्भित करते हैं जो माप पूलिका पर सदिश क्षेत्रों के लिए दोहरी हैं, बेस बहुविध या (रोमन) मैट्रिक्स सूचकांक पर (ग्रीक) टेन्सर इंडेक्स में व्यक्त की गई स्वतंत्रता की डिग्री के लिए नहीं। माप बीजगणित।)
बहुविध ''P'' पर सदिश क्षेत्र के एक विशेष उप-स्थान के साथ स्थानीय माप परिवर्तनों की पहचान करना हमें अनंत-आयामी अत्यल्प से निपटने के लिए एक उन्नत प्राधार: अंतरीय ज्यामिति और बाह्य गणना से सज्जित करता है। एक अत्यल्प स्वसमाकृतिकता के साथ बाधा के अंतर्गत एक अदिष्ट क्षेत्र में परिवर्तन लाई अवकलज में अधिकृत कर लिया गया है और सदिश क्षेत्र के पैमाने में केवल रैखिक शब्द को बनाए रखने की धारणा को [[आंतरिक व्युत्पन्न|आंतरिक अवकलज]] और बाह्य अवकलज में पृथक करके कार्यान्वित (इस संदर्भ में, रूपों और बाह्य कलन विशेष रूप से स्वतंत्रता की डिग्री को संदर्भित करते हैं जो माप पूलिका पर सदिश क्षेत्रों के लिए दोहरी हैं, आधार बहुविध या (रोमन) आव्यूह सूचकांक पर (यूनानी) प्रदिश सूचकांक में व्यक्त की गई स्वतंत्रता की डिग्री के लिए नहीं माप बीजगणित पर सूचकांक) किया जाता है।


बहुविध पर [[झूठ व्युत्पन्न|लाइ व्युत्पन्न]] एक विश्व स्तर पर अच्छी तरह से परिभाषित ऑपरेशन है, जो कि आंशिक अवकलज नहीं है। पी की गैर-तुच्छ बहुविधसंरचना के लिए क्लेराउट के प्रमेय का उचित सामान्यीकरण सदिश क्षेत्रों के लाइ ब्रैकेट और बाहरी व्युत्पन्न के शून्यता द्वारा दिया गया है। और हम संगणना के लिए एक आवश्यक उपकरण प्राप्त करते हैं: [[सामान्यीकृत स्टोक्स प्रमेय]], जो हमें भागों द्वारा एकीकृत करने और सतह की अवधि को छोड़ने की अनुमति देता है, जब तक कि एक खुली सीमा होती है, उस दिशा में इंटीग्रैंड तेजी से गिरता है। (यह एक तुच्छ धारणा नहीं है, परन्तु रेनॉर्मलाइज़ेशन तकनीकों से निपटा जा सकता है जैसे कि [[आयामी नियमितीकरण]] जब तक कि सतह की अवधि को माप अचर बनाया जा सकता है।)
बहुविध पर [[झूठ व्युत्पन्न|लाई अवकलज]] एक विश्व स्तर पर अच्छी तरह से परिभाषित कार्य प्रणाली है, जोकि आंशिक अवकलज नहीं है। ''P'' की असतहीय बहुविध संरचना के लिए क्लेरो प्रमेय का सटीक सामान्यीकरण सदिश क्षेत्रों के लाई कोष्ठ और बाह्य अवकलज के शून्यता द्वारा दिया गया है और हम संगणना के लिए एक आवश्यक उपकरण प्राप्त करते हैं: [[सामान्यीकृत स्टोक्स प्रमेय]], जो हमें भागों द्वारा एकीकृत करने और सतह की सीमा को छोड़ने की अनुमति देता है, जब तक कि एक मुक्त सीमा होती है, उस दिशा में समाकलित तीव्रता से गिरता है। (यह एक तुच्छ धारणा नहीं है, परन्तु पुनर्सामान्यीकरण प्रविधि से निपटा जा सकता है जैसे कि [[आयामी नियमितीकरण]] जब तक कि सतह की सीमा को माप अचर बनाया जा सकता है)
<!--
<!--
[अभी के लिए छिपा हुआ, कृपया लेख पर चर्चा करते समय वार्ता पृष्ठ का उपयोग करें; जब आप तैयार उत्पाद के साथ एकीकृत करने और सबमिट करने के लिए तैयार हों, तब सामने लाएं। धन्यवाद]
[अभी के लिए छिपा हुआ, कृपया लेख पर चर्चा करते समय वार्ता पृष्ठ का उपयोग करें; जब आप तैयार उत्पाद के साथ एकीकृत करने और सबमिट करने के लिए तैयार हों, तब सामने लाएं। धन्यवाद]
Line 244: Line 244:
==बाहरी संबंध==
==बाहरी संबंध==
*[https://arxiv.org/search/?query=brst+cohomology&searchtype=all&source=header  Brst cohomology on arxiv.org]
*[https://arxiv.org/search/?query=brst+cohomology&searchtype=all&source=header  Brst cohomology on arxiv.org]
[[Category: गेज सिद्धांत]] [[Category: क्वांटम क्रोमोडायनामिक्स]] [[Category: कोहोलॉजी सिद्धांत]]
 






[[Category: Machine Translated Page]]
 
[[Category:Created On 18/04/2023]]-->
-->
 
[[Category:All articles to be expanded]]
[[Category:Articles to be expanded from अक्टूबर 2009]]
[[Category:Articles using small message boxes]]
[[Category:Articles with invalid date parameter in template]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]

Latest revision as of 09:08, 3 May 2023

सैद्धांतिक भौतिकी में, बीआरएसटी औपचारिकता, या बीआरएसटी परिमाणीकरण (जहां बीआरएसटी कार्लो बेचेची, एलेन रूएट [de], रेमंड स्टोरा और इगोर ट्यूटिन के अंतिम नामों को संदर्भित करता है) एक माप समरूपता के साथ एक क्षेत्र सिद्धांत को परिमाणित करने के लिए एक अपेक्षाकृत कठिन गणितीय दृष्टिकोण को दर्शाता है। पहले के परिमाण क्षेत्र सिद्धांत (QFT) प्राधार में परिमाणीकरण के नियम प्रमाणों से अधिक "निर्दिष्ट" या "अनुमानिकी" के समान थे, विशेष रूप से गैर-अबेलियन क्यूएफटी में, जहां सतही विचित्र गुणों वाले "घोस्ट क्षेत्र" का उपयोग पुनर्सामान्यीकरण और विसंगति निरस्तीकरण से संबंधित प्राविधिक कारणों से लगभग अपरिहार्य है।

1970 के दशक के मध्य में प्रारंभ की गई बीआरएसटी वैश्विक सुपरसिमेट्री को क्यूएफटी गणना करते समय इन फदीव-पोपोव घोस्टो की प्रारम्भिक और भौतिक स्पर्शोन्मुख अवस्थाओं से उनके बहिष्करण को युक्तिसंगत बनाने के लिए समझा गया था। महत्वपूर्ण रूप से, पथ समाकल की यह समरूपता पाश क्रम में संरक्षित है और इस प्रकार प्रतिवादों के प्रारम्भ को रोकता है जो माप सिद्धांतों की पुनर्सामान्यता को नष्ट कर सकता है। कुछ वर्षों पश्चात अन्य लेखकों द्वारा किए गए कार्य ने बीआरएसटी प्रचालक को एक माप सिद्धांत को परिमाणित करते समय पथ समाकल के लिए एक कठिन विकल्प के अस्तित्व से संबंधित किया है।

केवल 1980 के दशक के उत्तरार्ध में, जब निम्न-आयामी बहुविध (सांस्थितिक परिमाण क्षेत्र सिद्धांत) की सांस्थितिकी में समस्याओं के अनुप्रयोगो के लिए तन्तु पूलिका भाषा में क्यूएफटी का सुधार किया गया था, क्या यह स्पष्ट हो गया था कि बीआरएसटी परिवर्तन मूल रूप से व्यवहार में ज्यामितीय है। इस प्रकाश में, बीआरएसटी परिमाणीकरण विसंगति-निरस्त करने वाले घोस्टो तक पहुंचने के एक वैकल्पिक तरीके से अधिक हो जाता है। घोस्ट क्षेत्रों का प्रतिनिधित्व करने पर यह एक भिन्न परिप्रेक्ष्य है, फदीव-पोपोव पद्धति क्यों कार्य करती है और यह कैसे हैमिल्टनी यांत्रिकी के उपयोग से संबंधित है जो एक विक्षुब्ध प्राधार का निर्माण करता है। माप अप्रसरण और बीआरएसटी अप्रसरण के मध्य का संबंध एक हैमिल्टनी प्रणाली के चयन को बाध्य करता है, जिसकी अवस्था "कणों" से बनी होती हैं, जो विहित परिमाणीकरण औपचारिकता से परिचित नियमों के अनुसार होता हैं। यह गुह्य स्थिरता की स्थिति यह समझाने के काफी निकट आती है कि भौतिकी में परिमाण और फर्मिऑन कैसे प्रारंभ होते हैं।

कुछ स्थितियों में, विशेष रूप से गुरुत्वाकर्षण और अतिगुरुत्वाकर्षण, बीआरएसटी को एक अधिक सामान्य औपचारिकता, बटालिन-विलकविस्की औपचारिकता द्वारा स्थानांतरित किया जाना चाहिए।

प्राविधिक सारांश

बीआरएसटी परिमाणीकरण एक गैर-अबेलियन माप सिद्धांत में सुसंगत, विसंगति - मुक्त प्रक्षोभ वाली गणना करने के लिए एक विभेदक ज्यामितीय दृष्टिकोण है। बीआरएसटी "रूपांतरण" का विश्लेषणात्मक रूप और पुनर्सामान्यीकरण और विसंगति निरस्तीकरण के लिए इसकी प्रासंगिकता का वर्णन कार्लो बेचेची, एलेन रूट और रेमंड स्टोरा द्वारा 1976 में माप सिद्धांतों के पुनर्सामान्यीकरण में समाप्त होने वाले पत्रों की एक श्रृंखला में किया गया था। समतुल्य परिवर्तन और इसके कई गुण स्वतंत्र रूप से इगोर ट्यूटिन द्वारा खोजे गए थे। यांग-मिल्स सिद्धांत के कठिन विहित परिमाणीकरण के लिए इसका महत्व और तात्क्षणिक क्षेत्र विन्यास के फॉक समष्टि के लिए इसके सही अनुप्रयोग को ताइचिरो कुगो और इज़ुमी ओजिमा द्वारा स्पष्ट किया गया था। बाद में कई लेखकों, विशेष रूप से थॉमस शूकर और एडवर्ड विटन ने बीआरएसटी प्रचालक और संबंधित क्षेत्रों के ज्यामितीय महत्व को स्पष्ट किया है और सांस्थितिक परिमाण क्षेत्र सिद्धांत और स्ट्रिंग सिद्धांत के महत्व पर बल दिया है।

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

शास्त्रीय बीआरएसटी

यह एक सुपरसिंपलेक्टिक बहुविध से संबंधित है जहां शुद्ध प्रचालकों को समाकल घोस्ट संख्याओं द्वारा वर्गीकृत किया जाता है और हमारे पास एक बीआरएसटी सह-समरूपता है।

क्यूएफटी में माप परिवर्तन

व्यावहारिक दृष्टिकोण से, परिमाण क्षेत्र सिद्धांत में एक क्रिया सिद्धांत और प्रक्षोभ सिद्धांत की गणना करने के लिए प्रक्रियाओं का एक समुच्चय होता है। अन्य प्रकार की स्वस्थचित्तता जाँचें हैं जो परिमाण क्षेत्र सिद्धांत पर यह निर्धारित करने के लिए की जा सकती हैं कि यह क्वार्क परिरोधन और स्पर्शोन्मुख स्वतंत्रता जैसी गुणात्मक घटनाओं के लिए उपयुक्त है। हालाँकि, परिमाण क्षेत्र सिद्धांत की अधिकांश पूर्वकथन सफलताएँ, परिमाण विद्युत् गतिकी से लेकर आज तक, प्रकीर्णन वाले प्रयोगों के परिणामों के विरुद्ध एस-आव्यूह गणनाओं का मिलान करके निर्धारित की गई हैं।

क्यूएफटी के प्रारम्भिक दिनों में, किसी को यह कहना होगा कि परिमाणीकरण और पुनर्सामान्यीकरण निर्दिष्ट प्रतिरूप का उतना ही भाग था जितना लग्रांजी घनत्व, विशेषतः जब वे प्रभावशाली परन्तु गणितीय रूप से अनुचित परिभाषित पथ समाकल सूत्रीकरण पर निर्भर थे। यह शीघ्रता से स्पष्ट हो गया कि क्यूईडी अपने सापेक्ष सुवाह्यता में लगभग मायिक था और यह कि जिन तरीकों से इसे विस्तारित करने की कल्पना की जा सकती है उनमें से अधिकांश तर्कसंगत गणना नहीं करेंगे। हालांकि, क्षेत्र सिद्धांतों का एक वर्ग आशाजनक बना रहा: माप सिद्धांत, जिसमें सिद्धांत में वस्तुएं भौतिक रूप से अप्रभेद्य क्षेत्र विन्यास के समतुल्य वर्गों का प्रतिनिधित्व करती हैं, जिनमें से कोई भी दो माप परिवर्तन से संबंधित हैं। यह एक अधिक जटिल लाई-समूह के चरण के स्थानीय परिवर्तन के क्यूईडी विचार को सामान्यीकृत करता है।

क्यूईडी अपने आप में एक माप सिद्धांत है, जैसा कि सामान्य सापेक्षता है, हालांकि बाद वाले ने अब तक परिमाणीकरण के लिए प्रतिरोधी सिद्ध कर दिया है, जो कि पुनर्संरचना से संबंधित कारणों के लिए है। गैर-एबेलियन माप समूह के साथ माप सिद्धांतों का एक अन्य वर्ग, जो यांग-मिल्स सिद्धांत के साथ प्रारंभ हुआ, 1960 के दशक के अंत और 1970 के दशक की प्रारंभ में परिमाणीकरण के लिए उत्तरदायी हो गया, बड़े पैमाने पर लुडविग डी. फदीदेव, विक्टर पोपोव, ब्रायस डेविट और जेरार्डस टी हूफ्ट के कार्य के कारण हैं। हालांकि, बीआरएसटी पद्धति की प्रारम्भ तक उनके साथ कार्य करना बहुत कठिन रहा। बीआरएसटी पद्धति ने अखंड यांग-मिल्स सिद्धांतों और उन दोनों से सटीक परिणाम निकालने के लिए आवश्यक गणना प्रविधि और पुनर्सामान्यता प्रमाण प्रदान किए जिनमें हिग्स क्रियाविधि सहज समरूपता को खंडन की ओर ले जाता है। इन दो प्रकारों के यांग-मिल्स प्रणाली के प्रतिनिधि-परिमाण क्रोमोडायनामिक और विद्युत सिद्धांत-कण भौतिकी के मानक प्रतिरूप में दिखाई देते हैं।

अर्ध-हेयूरिस्टिक गणना योजनाओं का उपयोग करके सटीक पूर्वाकलन प्राप्त करने की तुलना में कठिन अर्थों में गैर-एबेलियन परिमाण क्षेत्र सिद्धांत के अस्तित्व को सिद्ध करना अधिक कठिन सिद्ध हुआ है। ऐसा इसलिए है क्योंकि परिमाण क्षेत्र सिद्धांत का विश्लेषण करने के लिए दो गणितीय रूप से अंतःबंधन किए गए दृष्टिकोणों की आवश्यकता होती है: क्रिया कार्यात्मक पर आधारित लग्रांजी प्रणाली, समष्टि काल में प्रत्येक बिंदु पर अलग-अलग मानों वाले क्षेत्र से बने होते है और स्थानीय प्रचालक जो उन पर कार्य करते हैं और डिरैक चित्र में हैमिल्टनी प्रणाली, उन अवस्थाओं से निर्मित है जो एक निश्चित समय में संपूर्ण प्रणाली की विशेषता बताते हैं और क्षेत्र प्रचालक जो उन पर कार्य करते हैं। माप सिद्धांत में यह इतना कठिन क्यों है कि सिद्धांत की वस्तुएं वास्तव में समष्टि काल पर स्थानीय क्षेत्र नहीं हैं; वे प्रमुख माप पूलिका पर सही-अपरिवर्तनीय स्थानीय क्षेत्र हैं, और माप पूलिका के एक भाग के माध्यम से विभिन्न स्थानीय खंड और वैश्विक खंड निष्क्रिय परिवर्तनों से संबंधित हैं, विभिन्न डिरैक चित्रों का उत्पादन करते हैं।

क्या अधिक है, क्षेत्रों के एक समूह के संदर्भ में संपूर्ण प्रणाली के विवरण में स्वतंत्रता की कई अनावश्यक डिग्रियां सम्मिलित हैं; सिद्धांत के विशिष्ट विन्यास क्षेत्र विन्यास के तुल्यता वर्ग हैं, ताकि दो विवरण जो माप परिवर्तन द्वारा एक दूसरे से संबंधित हैं, वास्तव में एक ही भौतिक विन्यास हैं। परिमाणित माप सिद्धांत का समाधान समष्टि काल में प्रत्येक बिंदु पर मानो के साथ क्षेत्र के सीधे स्थान में उपस्थित नहीं है, परन्तु एक भागफल स्थान (या सह समरूपता) में है, जिसके तत्व क्षेत्र विन्यास समतुल्य वर्ग हैं। बीआरएसटी औपचारिकता में प्रच्छादन सभी संभावित सक्रिय माप परिवर्तनों से जुड़े विविधताओं को मापदण्ड करने के लिए एक प्रणाली है और लग्रांजी प्रणाली को हैमिल्टनी प्रणाली में रूपांतरण के पर्यन्त उनकी भौतिक अप्रासंगिकता के लिए सटीक तरीके से लेखांकन करता है।

माप स्थिरीकरण और प्रक्षोभ सिद्धांत

व्यावहारिक परिमाण क्षेत्र सिद्धांत के निर्माण के लिए माप अप्रसरण का सिद्धांत आवश्यक है। परन्तु सामान्यतः पहले माप को ठीक किए बिना माप सिद्धान्तों में एक प्रक्षोभ गणना करने के लिए संभव नहीं है - क्रिया सिद्धान्तों के लग्रांजी घनत्व के शब्दों को जोड़ते हुए जो स्वतंत्रता के इन अभौतिक डिग्रियों को दबाने के लिए माप समरूपता को तोड़ते हैं। माप स्थिरीकरण का विचार विद्युत् चुंबकत्व के लोरेंस माप दृष्टिकोण पर वापस जाता है, जो प्रकट लोरेंस अप्रसरण को बनाए रखते हुए चार-क्षमता में स्वतंत्रता की अधिकांश अतिरिक्त डिग्रियों को दबा देता है। लॉरेंज माप शास्त्रीय विद्युत् गतिकी के लिए मैक्सवेल के क्षेत्र-शक्ति दृष्टिकोण के सापेक्ष एक स्थूल सरलीकरण है और यह दर्शाता है कि लग्रांजी परिवर्तन के माध्यम से हैमिल्टनी यांत्रिकी के पास जाने से पूर्व लग्रांजी चरण में एक सिद्धांत में वस्तुओं के प्रतिनिधित्व में स्वतंत्रता की अतिरिक्त डिग्रियों से व्यवहार करना क्यों उपयोगी है।

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

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

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

किसी भी गणना के लिए डायसन श्रृंखला का उपयोग करने के लिए, किसी को माप-अचर लग्रांजी घनत्व से अधिक की आवश्यकता होती है; सिद्धांत के फेनमैन नियमों में प्रवेश करने वाले परिमाणीकरण और माप स्थिरीकरण निर्दिष्ट की भी आवश्यकता होती है। किसी विशेष क्यूएफटी के हैमिल्टनी पर अनुप्रयुक्त होने पर डायसन श्रृंखला विभिन्न प्रकार के अनंत समाकल उत्पन्न करती है। यह आंशिक रूप से इसलिए है क्योंकि आज तक के सभी प्रयोग करने योग्य परिमाण क्षेत्र सिद्धांतों को प्रभावी क्षेत्र सिद्धांतों के रूप में माना जाना चाहिए, जो केवल ऊर्जा पैमानों की एक निश्चित सीमा पर अंतःक्रिया का वर्णन करते हैं जिनकी हम प्रायोगिक रूप से जांच कर सकते हैं और इसलिए पराबैंगनी अपसरण के प्रति संवेदनशील हैं। ये तब तक सहनीय हैं जब तक इन्हें पुनर्सामान्यीकरण की मानक प्रविधि के माध्यम से नियंत्रित किया जा सकता है; वे इतने सहनीय नहीं होते हैं जब वे अनंत पुनर्सामान्यीकरण की एक अनंत श्रृंखला में परिणत होते हैं, या इससे भी निकृष्टतर, एक स्पष्ट रूप से अभौतिक पूर्वकथन जैसे कि एक निरस्त माप विसंगति। पुनर्सामान्यीकरण और माप अप्रसरण के मध्य एक गहन संबंध है, जो माप को ठीक करके सरल फेनमैन नियम प्राप्त करने के प्रयासों के पर्यन्त सरलता से लुप्त जाता है।

माप स्थिरीकरण के लिए प्री-बीआरएसटी दृष्टिकोण

सातत्य विद्युत् गतिकी के पारंपरिक माप स्थिरीकरण निर्दिष्ट लोरेंज माप जैसे व्यवरोधक समीकरण का उपयोग करके प्रत्येक माप-रूपांतरण-संबंधित समकक्ष वर्ग से एक अद्वितीय प्रतिनिधि का चयन करते हैं। इस तरह के निर्दिष्ट को परिमाण क्यूईडी जैसे एबेलियन माप सिद्धांत पर अनुप्रयुक्त किया जा सकता है, हालांकि यह समझाने में कुछ कठिनाई होती है कि शास्त्रीय सिद्धांत की प्रतिपाल्य पहचान परिमाण सिद्धांत पर क्यों चलती है - दूसरे शब्दों में, आंतरिक अनुदैर्ध्य वाले फेनमैन आरेख रूप से ध्रुवीकृत आभासी फोटोन वाले फेनमैन आरेख एस-आव्यूह गणनाओं में योगदान क्यों नहीं करते हैं। यह दृष्टिकोण गैर-एबेलियन माप समूहों जैसे यांग-मिल्स विद्युत सिद्धांत के SU(2)xU(1) और परिमाण क्रोमोडायनामिक के SU(3) के लिए भी सामान्य नहीं है। यह ग्रिबोव अस्पष्टता से ग्रस्त है और एक माप स्थिरीकरण व्यवरोध को परिभाषित करने में कठिनाई से है जोकि कुछ अर्थों में लांबिक है जोकि क्षेत्र विन्यास में शारीरिक रूप से महत्वपूर्ण परिवर्तनों के लिए है।

अधिक परिष्कृत दृष्टिकोण स्वतंत्रता की माप परिवर्तन डिग्री के लिए डेल्टा फलन व्यवरोध को अनुप्रयुक्त करने का प्रयास नहीं करते हैं। विन्यास स्थान में एक विशेष व्यवरोध सतह पर माप को ठीक करने के बजाय, एक अतिरिक्त गैर-माप-अचर शब्द के साथ लग्रांजी घनत्व में जोड़ा गया माप स्वतंत्रता को तोड़ सकता है। माप स्थिरीकरण की सफलताओं को पुन: उत्पन्न करने के लिए, इस शब्द को माप की विकल्प के लिए न्यूनतम चयन किया गया है जो वांछित व्यवरोध के अनुरूप है और व्यवरोध सतह से माप के विचलन पर द्विघाती रूप से निर्भर करता है। स्थिर चरण सन्निकटन द्वारा, जिस पर फेनमैन पथ समाकल आधारित है, व्यवरोध गणनाओं में सिद्धांत योगदान व्यवरोध सतह के प्रतिवैस में क्षेत्र विन्यास से आएगा।

कार्यात्मक परिमाणीकरण की विधि का उपयोग करते हुए, इस लग्रांजी से जुड़े प्रक्षोभ विस्तार को सामान्यतः Rξ माप के रूप में जाना जाता है। यह एक एबेलियन U(1) माप की स्थिति में फेनमैन नियमों के उसी समुच्चय को कम कर देता है जोकि विहित परिमाणीकरण की विधि में प्राप्त होता है। परन्तु एक महत्वपूर्ण अंतर है: विघटित माप स्वतंत्रता कार्यात्मक समाकल में समग्र सामान्यीकरण में एक अतिरिक्त कारक के रूप में दिखाई देती है। इस कारक को केवल प्रक्षोभ विस्तार (और अवहेलना) से बाह्य निकाला जा सकता है जब स्वतंत्रता की माप डिग्रियों के साथ प्रक्षोभ के लग्रांजी में योगदान विशेष भौतिक क्षेत्र विन्यास से स्वतंत्र होता है। यह वह स्थिति है जो गैर-एबेलियन माप समूहों के लिए धारण करने में विफल रहती है। यदि कोई समस्याओं की अवहेलना करता है और सरल कार्यात्मक परिमाणीकरण से प्राप्त फेनमैन नियमों का उपयोग करने का प्रयास करता है, तो वह पाता है कि किसी की गणना में अपरिवर्तनीय विसंगतियाँ हैं।

क्यूसीडी में प्रक्षोभ गणनाओं की समस्या को फदीदेव-पोपोव घोस्ट के रूप में परिचित अतिरिक्त क्षेत्रों को प्रारंभ करके हल किया गया था, जिसका माप क्षेत्र लैग्रेंगियन अंतलंब में योगदान भौतिक और गैर-एबेलियन क्षेत्र माप के अभौतिक प्रक्षोभ के युग्मन द्वारा प्रारंभ की गई विसंगति को अंतलंब करता है। कार्यात्मक परिमाणीकरण परिप्रेक्ष्य से, क्षेत्र विन्यास (माप रूपांतरण) के अभौतिक प्रक्षोभ सभी (अनंत) प्रक्षोभ के स्थान का एक उप-स्थान बनाते हैं; गैर-एबेलियन स्थितियों में, बड़े स्थान में इस उप-स्थान का अंतःस्थापन उस विन्यास पर निर्भर करता है जिसके चारों ओर प्रक्षोभ होती है। लग्रांजी में घोस्ट शब्द इस अंतःस्थापन के जैकबियन के कार्यात्मक निर्धारक का प्रतिनिधित्व करता है और शेष भौतिक प्रक्षोभ अक्षों पर कार्यात्मक माप को सही करने के लिए घोस्ट क्षेत्र के गुणों को निर्धारक पर वांछित प्रतिपादक द्वारा निर्धारित किया जाता है।

बीआरएसटी के लिए गणितीय दृष्टिकोण

बीआरएसटी रचना तब अनुप्रयुक्त होता है जब किसी के पास सुसंहत, संबंधित लाई समूह एक चरण स्थान पर की हैमिल्टनी क्रिया होती है[1][2] मान लीजिये का लाई बीजगणित हो(लाई समूह-लाई बीजगणित पत्राचार के माध्यम से) और (दोहरी सदिश समष्टि क्षण मानचित्र का एक नियमित मान है। माना है। मान लीजिए -क्रिया पर स्वतंत्र और सटीक है और पर - कक्षाएँ की समष्टि पर विचार करें। जिसे अंतर्गुंणनरक्षी न्यूनीकरण भागफल के रूप में भी जाना जाता है।

सबसे पहले, परिभाषित अभ्यन्तर कार्यों के नियमित अनुक्रम का उपयोग करना, कोज़ुल परिसर का निर्माण करें

अवकलन , इस परिसर पर एक विषम श्रेणीबद्ध की रैखिक व्युत्पत्ति -बीजगणित है। इस विषम व्युत्पत्ति को लाई बीजगणित समरूपता हैमिल्टनी क्रिया का विस्तार करके परिभाषित किया गया है। परिणामी कोज़ुल परिसर का कोज़ुल परिसर -मापांक है, जहाँ का सममित बीजगणित है और मापांक संरचना एक वलय हैमिल्टनी क्रिया से प्रेरित समरूपता से आती है।

यह कोज़ुल परिसर का एक संकल्प -मापांक है, अर्थात

फिर, कोज़ुल परिसर के लिए शेवेलली-एलेनबर्ग परिसर पर विचार करें। लाई बीजगणित पर एक dg-मापांक के रूप में माना जाता है:

क्षैतिज अवकलन गुणांकों पर परिभाषित है।

की क्रिया से और लाई समूह पर दाएं-अपरिवर्तनीय अंतर रूपों के बाह्य व्युत्पन्न के रूप में, जिसका लाई बीजगणित है;

मान लीजिए कि Tot(K) एक ऐसा परिसर है

एक अवकलन D = d + δ के साथ Tot(K) के सह समरूपता समूहों की गणना दोहरे परिसर से जुड़े वर्णक्रमीय अनुक्रम का उपयोग करके की जाती है।

वर्णक्रमीय अनुक्रम का पहला शब्द ऊर्ध्वाधर अंतर के सह समरूपता की गणना करता है:

, यदि j = 0 और शून्य अन्यथा।

वर्णक्रमीय अनुक्रम की पहली अवधि को लंबवत अंतर रूपों के परिसर के रूप में व्याख्या किया जा सकता है।

तन्तु पूलिका के लिए,

वर्णक्रमीय अनुक्रम का दूसरा पद क्षैतिज अंतर पर के सह समरूपता की गणना करता है:

, यदि और शून्य अन्यथा।

वर्णक्रमीय क्रम दूसरे अवधि में संचय जाता है, इसलिए , जो डिग्री शून्य में केंद्रित है।

इसलिए,

, यदि p = 0 और 0 अन्यथा।

बीआरएसटी प्रचालक और उपगामी फॉक समष्टि

बीआरएसटी प्रचालक के विषय में दो महत्वपूर्ण टिप्पणियां देय हैं। सर्वप्रथम, माप समूह G के साथ कार्य करने के बजाय केवल माप बीजगणित पर क्षेत्रों (चरण स्थान पर कार्य करता है) की क्रिया का उपयोग कर सकते हैं ।

दूसरा, किसी स्थानीय माप परिवर्तन dλ के संबंध में किसी भी बीआरएसटी सटीक रूप sBX की भिन्नता है।

जो स्वयं एक सटीक रूप है।

अधिक महत्वपूर्ण रूप से हैमिल्टनी प्रक्षोभ औपचारिकता के लिए (जो तन्तु पूलिका पर नहीं बल्कि एक स्थानीय खंड पर किया जाता है), एक बीआरएसटी सटीक शब्द को एक माप अचर लग्रांजी घनत्व में जोड़कर संबंध sBX = 0 को संरक्षित करता है। जैसा कि हम देखेंगे, अर्थात, के लिए अवस्था स्थान पर एक संबंधित प्रचालक QB है। फॉक अवस्थाओं पर बीआरएसटी प्रचालक हैमिल्टन प्रणाली का एक प्रभार है। इसका तात्पर्य यह है कि डायसन श्रृंखला की गणना में समय विकास प्रचालक एक क्षेत्र विन्यास बाद के विन्यास में (या विपरीत) का पालन नहीं करेगा।

बीआरएसटी प्रचालक की शून्यता को देखने का एक अन्य तरीका यह कहना है कि इसकी छवि (बीआरएसटी सटीक रूपों का स्थान) पूर्णतया से इसके कर्नेल (बीआरएसटी संवृत रूपों का स्थान) के भीतर है। (वास्तविक लग्रांजी, स्थानीय माप परिवर्तनों के अंतर्गत अपरिवर्तनीय माना जाता है, बीआरएसटी प्रचालक के कर्नेल में है, परन्तु इसकी छवि में नहीं है।) पूर्ववर्ती तर्क कहता है कि हम प्रारंभिक और अंतिम स्थितियों के अपने ब्रह्मांड को स्पर्शोन्मुख अवस्थाओं तक सीमित कर सकते हैं - सामयिकता अनन्तता पर क्षेत्र विन्यास, जहाँ अंतःक्रिया लग्रांजी को बंद कर दिया जाता है - जो QB के कर्नेल में स्थित होता है और अभी भी एकात्मक प्रकीर्णन आव्यूह प्राप्त करता हैं। (बीआरएसटी संवृत और सटीक अवस्थाओं को बीआरएसटी संवृतऔर सटीक क्षेत्रों के समान परिभाषित किया गया है; संवृत अवस्थाओं को QB द्वारा नष्ट कर दिया जाता है, जबकि सटीक अवस्थाएँ वे हैं जो QB को कुछ स्वैच्छिक क्षेत्र विन्यास पर अनुप्रयुक्त करके प्राप्त किए जा सकते हैं)।

हम उन अवस्थाओं को भी दबा सकते हैं जो हमारे सिद्धांत की स्पर्शोन्मुख अवस्थाओं को परिभाषित करते समय QB की छवि के भीतर हैं- परन्तु तर्क थोड़ा सूक्ष्म है। चूँकि हमने मान लिया है कि हमारे सिद्धांत का वास्तविक लग्रांजी माप अपरिवर्तनीय है, हमारे हैमिल्टनी प्रणाली की वास्तविक अवस्थाएँ स्थानीय माप परिवर्तन के अंतर्गत तुल्यता वर्ग हैं; दूसरे शब्दों में, हैमिल्टनी चित्र में दो प्रारंभिक या अंतिम अवस्थाएँ जो केवल एक बीआरएसटी सटीक स्थिति से भिन्न होती हैं, भौतिक रूप से समतुल्य होती हैं। हालांकि, बीआरएसटी सटीक माप अवखंडन निर्दिष्ट का उपयोग इस तथ्य की प्रत्याभुति नहीं देता है कि अंतःक्रिया हैमिल्टन संवृत क्षेत्र विन्यास के किसी विशेष उप-स्थान को संरक्षित करेगा जिसे हम सटीक विन्यास के स्थान पर लांबिक कह सकते हैं। (यह एक महत्वपूर्ण बिंदु है, जिसे प्रायः क्यूएफटी पाठ्यपुस्तकों में अनुचित तरीके से संभाला जाता है। क्रिया सिद्धांत में निर्मित क्षेत्र विन्यास पर कोई प्राथमिक आंतरिक उत्पाद नहीं है; हम अपने हैमिल्टनी प्रक्षोभ प्रणाली के भाग के रूप में इस तरह के एक आंतरिक उत्पाद का निर्माण करते हैं)।

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

वांछित परिमाणीकरण निर्दिष्ट 'बीआरएसटी सह समरूपता' के लिए फॉक समष्टि समरूपीय भी प्रदान करेंगे, जिसमें मध्यवर्ती अवस्थाओं के प्रत्येक बीआरएसटी संवृत समानता वर्ग (केवल एक सटीक अवस्था से भिन्न) को एक अवस्था द्वारा दर्शाया जाता है जिसमें बीआरएसटी सटीक क्षेत्र का कोई क्वांटा नहीं होता है। यह वह फॉक समष्टि है जिसे हम सिद्धांत के स्पर्शोन्मुख अवस्थाओं के लिए चाहते हैं; भले ही हम सामान्यतः विशेष अंतिम क्षेत्र विन्यास को चयन करने में सफल नहीं होंगे, जिसके लिए माप-स्थिर लग्रांजी सक्रिय उस प्रारंभिक विन्यास को विकसित करेगा, बीआरएसटी के साथ आंतरिक उत्पाद की विलक्षणता स्वतंत्रता की सटीक डिग्री सुनिश्चित करती है कि हम भौतिक प्रकीर्णन आव्यूह के लिए सही प्रविष्टियाँ प्राप्त करेंगे।

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

संक्षेप में, बीआरएसटी माप स्थिरीकरण प्रक्रिया के भाग के रूप में प्रस्तुत किया गया कोई क्षेत्र माप-स्थायी सिद्धांत के उपगामी अवस्थाओं में दिखाई नहीं देगा। हालांकि, इसका अर्थ यह नहीं है कि हम इन गैर-भौतिक क्षेत्रों के बिना प्रक्षोभ गणना के मध्यवर्ती अवस्थाओं में कर सकते हैं! ऐसा इसलिए है क्योंकि अंतःक्रियात्मक चित्र में अनुत्पादक गणनाएँ की जाती हैं। वे अप्रत्यक्ष रूप से गैर-अंतःक्रिया हैमिल्टनी के प्रारंभिक और अंतिम अवस्थाओं को सम्मिलित करते हैं, अंतःक्रिया हैमिल्टनी (माप युग्मन) को "चालू" करके स्थिरोष्म प्रमेय के अनुसार धीरे-धीरे पूर्ण हैमिल्टनी की अवस्थाओं में परिवर्तित हो गया। फेनमैन आरेखों के संदर्भ में डायसन श्रृंखला के विस्तार में ऐसे ऊर्ध्वाधर सम्मिलित होंगे जो युगल "भौतिक" कण (जो मुक्त हैमिल्टनी के स्पर्शोन्मुख अवस्थाओं में प्रकट हो सकते हैं) से "अभौतिक" कणों (क्षेत्र की स्थितियाँ जो sB या कर्नेल के बाह्य या sB की छवि के भीतर रहती हैं) में सम्मिलित होंगे और उस युग्म को "अभौतिक" कणों को एक दूसरे से जोड़ता है।

कुगो-ओजीमा एकात्मकता प्रश्नों का उत्तर

टी कुगो और आई ओजिमा को सामान्यतः प्रमुख क्यूसीडी रंग परिरोध मापदंड की खोज का श्रेय दिया जाता है। लग्रांजी प्राधार में बीआरएसटी औपचारिकता का एक सही संस्करण प्राप्त करने में उनकी भूमिका की व्यापक रूप से सराहना की जाती है। जो पूर्णतया से ज्यामितीय कोण से आगे बढ़ने से पूर्व, बीआरएसटी परिवर्तन के संस्करण का निरीक्षण करना ज्ञानवर्धक है, नए प्रस्तुत किए गए क्षेत्रों के हर्मिटी गुणों पर बल देता है। माप स्थायी लग्रांजी घनत्व नीचे है; कोष्ठक में दो शब्द माप और घोस्ट क्षेत्रों के मध्य युग्मन बनाते हैं और अंतिम शब्द सहायक क्षेत्र B पर कार्यात्मक माप के लिए गॉसियन भार बन जाता है।

बीआरएसटी प्रक्रिया की औपचारिक आवश्यकताओं से परे एक ज्यामितीय अर्थ रखने में हमारे माप-स्थायी सिद्धांत के नए क्षेत्रों में फदीव-पोपोव घोस्ट क्षेत्र c असामान्य है। यह मौरर-कार्टन विधि का एक संस्करण है, जो प्रत्येक सटीक-अपरिवर्तनीय ऊर्ध्वाधर सदिश क्षेत्र के प्रतिनिधित्व के लिए (एक चरण तक) एक के रूप में -मूल्यवान क्षेत्र से संबंधित है। इस क्षेत्र को वस्तुओं (जैसे कि फर्मिऑन ψ, माप बोसॉन Aμ, और घोस्ट c स्वयं) पर अतिसूक्ष्म माप परिवर्तनों के सूत्रों में प्रवेश करना चाहिए जो माप समूह का असतहीय प्रतिनिधित्व करते हैं। δλ के संबंध में बीआरएसटी परिवर्तन इसलिए है:

यहां हमने द्रव्य क्षेत्रक ψ के विवरण को छोड़ दिया है और उस पर प्रतिपाल्य प्रचालको के रूप को अनिर्दिष्ट छोड़ दिया है; ये तब तक महत्वहीन हैं जब तक द्रव्य क्षेत्रों पर माप बीजगणित का प्रतिनिधित्व उनके युग्मन के साथ δAμके अनुरूप है। हमारे द्वारा जोड़े गए अन्य क्षेत्रों के गुण ज्यामितीय के बजाय मौलिक रूप से विश्लेषणात्मक हैं। घोस्ट विरोधी माप स्थिरीकरण पद के लिए लैग्रेंज गुणक के अतिरिक्त और कुछ नहीं है और अदिश क्षेत्र B के गुण पूर्णतया से संबंध से निर्धारित होते हैं (नए क्षेत्र कूगो-ओजिमा समागमों में सभी हर्मिटी हैं, परन्तु मापदण्ड δλ एक विरोधी-हर्मिटी विरोधी-न्यूनीकरण c- संख्या है, इसके परिणामस्वरूप चरणों के संबंध में कुछ अनावश्यक अनिश्चितता होती है और प्रचालकों के माध्यम से अतिसूक्ष्म मापदंडों को पारित करना; इसे नीचे ज्यामितीय विवेचन में परिपाटी में परिवर्तनों के साथ हल किया जाएगा)।

हम पूर्व से ही जानते हैं कि बीआरएसटी प्रचालक के संबंध से बाह्य अवकलज और फैडीव-पोपोव घोस्ट से मौरर-कार्टन विधि तक, घोस्ट c (एक चरण तक) पर -मूल्यवान 1-रूप के अनुरूप है जैसे शब्द के एकीकरण के लिए सार्थक होने के लिए, घोस्ट-विरोधी इन दो लाई बीजगणितों - ऊर्ध्वाधर आदर्श और माप बीजगणित -घोस्ट द्वारा ले जाए जाने वालों से दोहरे प्रतिनिधित्व होना चाहिए। ज्यामितीय शब्दों में, से फाइबरवाइज द्विक और एक शीर्ष रूप से एक श्रेणी कम होना चाहिए। इसी तरह, सहायक क्षेत्र B में (एक चरण तक) के रूप में का समान प्रतिनिधित्व होना चाहिए।

आइए हम सिद्धांत के एक-कण अवस्थाओं पर संक्षिप्त रूप से, रूद्धोष्म रूप से विघटित सीमा g → 0 में ध्यान केंद्रित करें। माप-स्थायी हैमिल्टनी के फॉक समष्टि में दो प्रकार के क्वांटा हैं, जो हम बीआरएसटी प्रचालको के कर्नेल के बाह्य पूर्णतया से लाई की आशा करते हैं। फद्दीव-पोपोव घोस्ट-विरोधी और अग्र ध्रुवीकृत माप बोसॉन है। ऐसा इसलिए है क्योंकि युक्त क्षेत्रों का कोई संयोजन नहीं है, को sB से विलोपित कर दिया गया है और हमने लग्रांजी में एक माप खंडन पद जोड़ा है जो अपसरण के समान है।

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

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

(उपगामी फॉक समष्टि के कुगो-ओजिमा विवेचन के संदर्भ में, बीआरएसटी सह समरूपता की भाषा में पूर्ण करने की आवश्यकता है।)


माप पूलिका और ऊर्ध्वाधर आदर्श

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

4-बहुविध M पर एक प्रमुख माप पूलिका P स्थानीय रूप से U × F के लिए समरूपीय है, जहां U ⊂ R4 और तन्तु F ​​एक लाई समूह G के लिए समरूपीय है, क्षेत्र प्रमुख का माप समूह (यह बहुविध संरचनाओं की एक समरूपता है, समूह संरचनाओं का नहीं; G में 1 के अनुरूप P में कोई विशेष सतह नहीं है , इसलिए यह कहना अधिक सटीक है कि तन्तु F ​​एक G-टोरसर है)। इस प्रकार, (भौतिक) प्रमुख माप पूलिका (गणितीय) सिद्धांत G-पूलिका से संबंधित है परन्तु इसकी संरचना अधिक है। तन्तु पूलिका के रूप में इसकी सबसे मूलभूत विशेषता आधार समष्टि के लिए प्रक्षेपण π : P → M है, जो P पर ऊर्ध्वाधर दिशाओं को परिभाषित करता है (जो तन्तु π−1(p) के भीतर M में प्रत्येक बिंदु p पर स्थित हैं)। माप पूलिका के रूप में इसमें P पर G की वाम क्रिया होती है जो तन्तु संरचना का अभिवादन करती है और एक प्रमुख पूलिका के रूप में P पर G की सटीक क्रिया होती है जो तन्तु संरचना का भी अभिवादन करती है और वाम क्रिया के साथ चलती है।

P पर संरचना समूह G की वाम क्रिया एक व्यष्टिगत तन्तु पर समन्वय प्रणाली के मात्र परिवर्तन के अनुरूप है। (वैश्विक) सटीक क्रिया Rg: P → P G में एक निश्चित g के लिए प्रत्येक तन्तु के एक वास्तविक स्वसमाकृतिकता और इसलिए P के मानचित्र के अनुरूप है। P के लिए एक सिद्धांत G-पूलिका के रूप में अर्हता प्राप्त करने के लिए, G में प्रत्येक g की वैश्विक सटीक क्रिया g -अर्थात एक सपाट निर्भरता के साथ P की बहुविध संरचना के संबंध में एक स्वसमाकृतिकता P × GP होनी चाहिए।

संरचना समूह की वैश्विक सटीक क्रिया का अस्तित्व P पर सटीक अपरिवर्तनीय ज्यामितीय वस्तुओं का एक विशेष वर्ग चयन करता है- जो G में g के सभी मानो के लिए Rg के साथ वापस खींचे जाने पर परिवर्तित नहीं होते हैं। सबसे महत्वपूर्ण सटीक अपरिवर्तनीय वस्तुएं एक सिद्धांत पूलिका पर सटीक अपरिवर्तनीय सदिश क्षेत्र हैं, जो एक आदर्श बनाते हैं। P पर वे सदिश क्षेत्र जो सटीक अपरिवर्तनीय और लंबवत रूप से एक आदर्श से बनाते हैं जिसका लाई बीजगणित के समान माप समूह G के वैयक्तिक G-टोरसर तन्तु F के लिए सम्पूर्ण पूलिका P से सम्बंधित है।

अभिरूचि के क्षेत्र सिद्धांत को प्रमुख माप पूलिका P पर परिभाषित क्षेत्रों (विभिन्न सदिश रिक्त स्थान में सपाट मानचित्र) के एक समुच्चय के संदर्भ में परिभाषित किया गया है। अलग-अलग क्षेत्रों में माप समूह G के विभिन्न प्रतिनिधित्व होते हैं और संभवतः अन्य समरूपता के पोंकारे समूह जैसे बहुविध समूह है। कोई इन क्षेत्रों और उनके अवकलज में स्थानीय बहुपदों के स्थान Pl को परिभाषित कर सकते है। यह माना जाता है कि किसी के सिद्धांत का मौलिक लग्रांजी घनत्व बहुपदों के उपस्थान Pl0 में स्थित है, जो किसी भी अखंड गैर-माप समरूपता समूहों के अंतर्गत वास्तविक-मूल्यवान और अपरिवर्तनीय हैं। यह न केवल वाम क्रिया (निष्क्रिय समन्वय परिवर्तन) और माप समूह की वैश्विक सटीक क्रिया के अंतर्गत अपरिवर्तनीय माना जाता है, बल्कि स्थानीय माप परिवर्तनों के अंतर्गत भी होता है - दाएं-अपरिवर्तनीय ऊर्ध्वाधर सदिश क्षेत्र के यादृच्छिक विकल्प के साथ जुड़े अत्यल्प डिफियोमोर्फिज्म के साथ बाधा है।

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

बहुविध पर लाई अवकलज एक विश्व स्तर पर अच्छी तरह से परिभाषित कार्य प्रणाली है, जोकि आंशिक अवकलज नहीं है। P की असतहीय बहुविध संरचना के लिए क्लेरो प्रमेय का सटीक सामान्यीकरण सदिश क्षेत्रों के लाई कोष्ठ और बाह्य अवकलज के शून्यता द्वारा दिया गया है और हम संगणना के लिए एक आवश्यक उपकरण प्राप्त करते हैं: सामान्यीकृत स्टोक्स प्रमेय, जो हमें भागों द्वारा एकीकृत करने और सतह की सीमा को छोड़ने की अनुमति देता है, जब तक कि एक मुक्त सीमा होती है, उस दिशा में समाकलित तीव्रता से गिरता है। (यह एक तुच्छ धारणा नहीं है, परन्तु पुनर्सामान्यीकरण प्रविधि से निपटा जा सकता है जैसे कि आयामी नियमितीकरण जब तक कि सतह की सीमा को माप अचर बनाया जा सकता है)।

  1. Figueroa-O'Farrill & Kimura 1991, pp. 209–229
  2. Kostant & Sternberg 1987, pp. 49–113