View source for BRST परिमाणीकरण

{{Short description|Formulation to quantize gauge field theories in physics}}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[[कार्यात्मक परिमाणीकरण]] की विधि का उपयोग करते हुए, इस लग्रांजी से जुड़े प्रक्षोभ विस्तार को सामान्यतः ''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>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>\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> 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> \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> d: K^{i,\bullet} \to K^{i+1,\bullet} </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> है;

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

:<math>\operatorname{Tot}(K)^n =\bigoplus\nolimits_{i-j=n} K^{i,j}</math>
एक अवकलन  ''D'' = ''d'' + δ के साथ Tot(K) के [[कोहोलॉजी समूह|सह समरूपता समूहों]] की गणना दोहरे परिसर <math>(K^{\bullet,\bullet}, d, \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> (\Omega^\bullet{\operatorname{vert}}(M_0), d_{\operatorname{vert}}) </math>
तन्तु पूलिका <math> M_0 \to \widetilde M </math> के लिए,

वर्णक्रमीय अनुक्रम का दूसरा पद क्षैतिज अंतर <math>d</math> पर <math>E_1^{\bullet,\bullet}</math>के सह समरूपता की गणना करता है:

:<math> E_2^{i,j} \cong H^i(E_1^{\bullet,j},d) = C^{\infty}(M_0)^g = C^{\infty}(\widetilde M)</math>, यदि <math>i = j= 0</math> और शून्य अन्यथा।

वर्णक्रमीय क्रम दूसरे अवधि में संचय जाता है, इसलिए <math> E_{\infty}^{i,j} = E_2^{i,j} </math>, जो डिग्री शून्य में केंद्रित है।

इसलिए,

:<math> H^p (\operatorname{Tot}(K), D ) = C^{\infty}(M_0)^g = C^{\infty}(\widetilde M)</math>, यदि ''p'' = 0 और 0 अन्यथा।

== बीआरएसटी प्रचालक और उपगामी फॉक समष्टि ==
बीआरएसटी प्रचालक के विषय में दो महत्वपूर्ण टिप्पणियां देय हैं। सर्वप्रथम, माप समूह ''G'' के साथ कार्य करने के बजाय केवल माप बीजगणित <math>\mathfrak{g}</math> पर क्षेत्रों (चरण स्थान पर कार्य करता है) की क्रिया का उपयोग कर सकते हैं ।

दूसरा, किसी स्थानीय माप परिवर्तन 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>
जो स्वयं एक सटीक रूप है।

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

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

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

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

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

=== कुगो-ओजीमा एकात्मकता प्रश्नों का उत्तर ===
टी कुगो और आई ओजिमा को सामान्यतः प्रमुख क्यूसीडी रंग परिरोध मापदंड की खोज का श्रेय दिया जाता है। लग्रांजी प्राधार में बीआरएसटी औपचारिकता का एक सही संस्करण प्राप्त करने में उनकी भूमिका की व्यापक रूप से सराहना की जाती है। जो पूर्णतया से ज्यामितीय कोण से आगे बढ़ने से पूर्व, बीआरएसटी परिवर्तन के संस्करण का निरीक्षण करना ज्ञानवर्धक है, नए प्रस्तुत किए गए क्षेत्रों के [[हर्मिटियन ऑपरेटर|हर्मिटी]] गुणों पर बल देता है। माप स्थायी लग्रांजी घनत्व नीचे है; कोष्ठक में दो शब्द माप और घोस्ट क्षेत्रों के मध्य युग्मन बनाते हैं और अंतिम शब्द सहायक क्षेत्र ''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>
बीआरएसटी प्रक्रिया की औपचारिक आवश्यकताओं से परे एक ज्यामितीय अर्थ रखने में हमारे माप-स्थायी सिद्धांत के नए क्षेत्रों में फदीव-पोपोव घोस्ट क्षेत्र ''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}
\delta \psi_i &= \delta\lambda D_i c \\
\delta A_\mu &= \delta\lambda D_\mu c \\
\delta c &= - \delta\lambda \tfrac{g}{2} [c, c] \\
\delta \bar{c} &= i \delta\lambda B \\
\delta B &= 0
\end{align}</math>
यहां हमने द्रव्य क्षेत्रक ψ के विवरण को छोड़ दिया है और उस पर प्रतिपाल्य प्रचालको के रूप को अनिर्दिष्ट छोड़ दिया है; ये तब तक महत्वहीन हैं जब तक द्रव्य क्षेत्रों पर माप बीजगणित का प्रतिनिधित्व उनके युग्मन के साथ δ''A''<sub>μ</sub>के अनुरूप है। हमारे द्वारा जोड़े गए अन्य क्षेत्रों के गुण ज्यामितीय के बजाय मौलिक रूप से विश्लेषणात्मक हैं। घोस्ट विरोधी <math>\bar{c}</math> माप स्थिरीकरण पद के लिए लैग्रेंज गुणक के अतिरिक्त और कुछ नहीं है और अदिश क्षेत्र ''B'' के गुण पूर्णतया से संबंध  <math>\delta \bar{c} = i \delta\lambda B</math> से निर्धारित होते हैं (नए क्षेत्र कूगो-ओजिमा समागमों में सभी हर्मिटी हैं, परन्तु मापदण्ड δλ एक  विरोधी-हर्मिटी विरोधी-न्यूनीकरण ''c''- संख्या है, इसके परिणामस्वरूप चरणों के संबंध में कुछ अनावश्यक अनिश्चितता होती है और प्रचालकों के माध्यम से अतिसूक्ष्म मापदंडों को पारित करना; इसे नीचे ज्यामितीय विवेचन में परिपाटी में परिवर्तनों के साथ हल किया जाएगा)।

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

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

{{expand section|date=अक्टूबर 2009}}
:<small>''(उपगामी फॉक समष्टि के कुगो-ओजिमा विवेचन के संदर्भ में, बीआरएसटी सह समरूपता की भाषा में पूर्ण करने की आवश्यकता है।)''</small>


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

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

संरचना समूह की वैश्विक सटीक क्रिया का अस्तित्व ''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 से सम्बंधित है।

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

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

बहुविध पर [[झूठ व्युत्पन्न|लाई अवकलज]] एक विश्व स्तर पर अच्छी तरह से परिभाषित कार्य प्रणाली है, जोकि आंशिक अवकलज नहीं है। ''P'' की असतहीय बहुविध संरचना के लिए क्लेरो प्रमेय का सटीक सामान्यीकरण सदिश क्षेत्रों के लाई कोष्ठ और बाह्य अवकलज के शून्यता द्वारा दिया गया है और हम संगणना के लिए एक आवश्यक उपकरण प्राप्त करते हैं: [[सामान्यीकृत स्टोक्स प्रमेय]], जो हमें भागों द्वारा एकीकृत करने और सतह की सीमा को छोड़ने की अनुमति देता है, जब तक कि एक मुक्त सीमा होती है, उस दिशा में समाकलित तीव्रता से गिरता है। (यह एक तुच्छ धारणा नहीं है, परन्तु पुनर्सामान्यीकरण प्रविधि से निपटा जा सकता है जैसे कि [[आयामी नियमितीकरण]] जब तक कि सतह की सीमा को माप अचर बनाया जा सकता है)।
<!--
[अभी के लिए छिपा हुआ, कृपया लेख पर चर्चा करते समय वार्ता पृष्ठ का उपयोग करें; जब आप तैयार उत्पाद के साथ एकीकृत करने और सबमिट करने के लिए तैयार हों, तब सामने लाएं। धन्यवाद]
== परिमाणीकरण रिडक्स: एक बार और, चरणबद्धता के साथ ==
(इस बार मैं के कारकों को अवशोषित करूँगा <math>-i g t^a</math> गेज फ़ील्ड और उसके दोस्तों की परिभाषाओं में वास्तविक-मूल्यवान गुणांक के बजाय वास्तविक लाई बीजगणित तत्वों और उनके दोहरे प्राप्त करने के लिए। यह ग्रासमैन पैरामीटर की आवश्यकता को समाप्त करता है - वास्तव में गेज बंडल पर ऊर्ध्वाधर आदर्श का एक तत्व - संयुग्मित रूप में प्रकट होने के लिए या बाहरी बीजगणित में विषम ग्रेड के ऑपरेटर के अलावा किसी अन्य चीज़ के साथ विरोधी यात्रा करने के लिए।)

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

=== क्वांटम संस्करण ===
राज्यों का स्थान हिल्बर्ट स्थान नहीं है (नीचे देखें)। यह [[ सदिश स्थल ]] दोनों ग्रेडेड वेक्टर स्पेस|Z है<sub>2</sub>-ग्रेडेड और ग्रेडेड वेक्टर स्पेस|आर-ग्रेडेड। आप चाहें तो इसे Z के रूप में सोच सकते हैं<sub>2</sub>× [[ग्रेडेड वेक्टर स्पेस]] पूर्व ग्रेडिंग समता है, जो या तो सम या विषम हो सकती है। बाद की ग्रेडिंग भूत संख्या है। ध्यान दें कि यह R है और Z नहीं क्योंकि शास्त्रीय मामले के विपरीत, हमारे पास गैर-पूर्ण भूत संख्याएँ हो सकती हैं। इस स्थान पर कार्य करने वाले ऑपरेटर भी Z हैं<sub>2</sub> × आर-वर्गीकृत बीजगणित स्पष्ट तरीके से। विशेष रूप से, ''Q'' विषम है और इसकी भूत संख्या 1 है।

चलो '' एच<sub>n</sub>भूत संख्या n वाले सभी राज्यों के उप-स्थान बनें। फिर, Q, H तक सीमित है<sub>n</sub>मानचित्र एच<sub>n</sub>एच के लिए<sub>''n''+1</sub>. चूंकि क्यू<sup>2</sup> = 0, हमारे पास कोहोलॉजी का वर्णन करने वाला एक [[कोचेन कॉम्प्लेक्स]] है।

भौतिक अवस्थाओं की पहचान ऑपरेटर क्यू के कोहोलॉजी के तत्वों के रूप में की जाती है, अर्थात केर (क्यू) में वैक्टर के रूप में<sub>''n''+1</sub>)/आईएम (क्यू<sub>n</sub>). बीआरएसटी सिद्धांत वास्तव में लाई बीजगणित कोहोलॉजी में [[मानक संकल्प]] से जुड़ा हुआ है।

याद कीजिए कि राज्यों की जगह 'Z' है<sub>2</sub>-श्रेणीबद्ध। यदि A एक शुद्ध ग्रेडेड ऑपरेटर है, तो BRST रूपांतरण A को [Q, A) से मैप करता है, जहां [ , ) [[supercommutator]] है। BRST-invariant ऑपरेटर्स ऐसे ऑपरेटर होते हैं जिनके लिए [Q, A) = 0. चूंकि ऑपरेटर्स को घोस्ट नंबरों द्वारा भी ग्रेड किया जाता है, इसलिए यह BRST रूपांतरण [Q, [Q, A)] = 0 के बाद से ऑपरेटरों के लिए एक कोहोलॉजी भी बनाता है।

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

BRST ऑपरेटर एक सुपरसिमेट्री है। यह शून्य-आयामी सम भाग और Q द्वारा फैलाए गए एक-आयामी विषम भाग के साथ [[लव सुपरएलजेब्रा]] उत्पन्न करता है। [Q, Q) = {Q, Q} = 0 जहां [ , ) लाई सुपरएलजेब्रा (यानी Q) है<sup>2</sup> = 0). इसका मतलब है क्यू एक प्रतिपक्षी के रूप में कार्य करता है।

क्योंकि Q हर्मिटियन है और इसका वर्ग शून्य है, लेकिन Q स्वयं शून्य नहीं है, इसका मतलब है कि कोहोलॉजिकल रिडक्शन से पहले सभी राज्यों के वेक्टर स्पेस में एक [[सकारात्मक निश्चितता]] है! इसका मतलब है कि यह [[ हिल्बर्ट अंतरिक्ष ]] नहीं है।

अधिक सामान्य प्रवाह के लिए जिसे प्रथम श्रेणी की बाधाओं द्वारा वर्णित नहीं किया जा सकता है, बटालिन-विलकोविस्की औपचारिकता देखें।

=== उदाहरण ===
क्वांटम [[ कनेक्शन प्रपत्र ]] ए के साथ गेज सिद्धांतों (प्रिंसिपल जी-बंडल के वर्गों द्वारा वर्णित सामान्य प्रकार) के विशेष मामले के लिए, एक बीआरएसटी चार्ज (कभी-कभी बीआरएस चार्ज भी) एक [[ऑपरेटर (गणित)]] होता है जिसे आमतौर पर 'क्यू' कहा जाता है। ''।

होने दें <math>\mathfrak{g}</math>-मूल्यवान गेज फिक्सिंग की स्थिति हो <math>G=\xi\partial^\mu A_\mu</math> जहां ξ एक सकारात्मक संख्या है जो गेज का निर्धारण करती है। कई अन्य संभावित गेज फिक्सिंग हैं, लेकिन उन्हें यहां कवर नहीं किया जाएगा। मैदान हैं <math>\mathfrak{g}</math>-वैल्यूड कनेक्शन फॉर्म ए, <math>\mathfrak{g}</math>फर्मियोनिक सांख्यिकी, बी और सी और ए के साथ -वैल्यूड स्केलर फील्ड <math>\mathfrak{g}</math>बोसोनिक आँकड़ों के साथ -वैल्यूड स्केलर फील्ड B. c गेज ट्रांसफ़ॉर्मेशन से संबंधित है जबकि b और B गेज फिक्सिंग से संबंधित है। वास्तव में ग्रिबोव अस्पष्टताओं के कारण गेज फिक्सिंग से जुड़ी कुछ सूक्ष्मताएं हैं लेकिन उन्हें यहां कवर नहीं किया जाएगा।

:<math>QA=Dc</math>
जहाँ D [[सहपरिवर्ती व्युत्पन्न]] है।

:<math>Qc= \tfrac{i}{2}[c,c]_L</math>
कहाँ [ , ]<sub>''L''</sub> झूठ ब्रैकेट है।

:<math>QB=0</math>
:<math>Qb=B</math>
Q एक प्रतिपक्षी है।

BRST Lagrangian घनत्व

:<math>\mathcal{L}=-\frac{1}{4g^2} \operatorname{Tr}[F^{\mu\nu}F_{\mu\nu}]+{1\over 2g^2} \operatorname{Tr}[BB]-{1\over g^2} \operatorname{Tr}[BG]-{\xi\over g^2} \operatorname{Tr}[\partial^\mu b D_\mu c]</math>
जबकि Lagrangian घनत्व BRST अपरिवर्तनीय नहीं है, यह पूरे स्पेसटाइम, क्रिया पर इसका अभिन्न अंग है।

ऑपरेटर क्यू के रूप में परिभाषित किया गया है

:<math>Q = c^i \left(L_i-\frac 12 {{f_{i}}^j}_k b_j c^k\right)</math>
कहाँ <math>c^i,b_i</math> फद्दीव-पोपोव भूत हैं और विक्ट: एंटीघोस्ट (नकारात्मक भूत संख्या वाले क्षेत्र), क्रमशः, एल<sub>i</sub>झूठ समूह # झूठ बीजगणित झूठ समूह के झूठ समूहों से जुड़ा हुआ है, और <math>f_{ij}{}^k</math> इसकी संरचना स्थिरांक हैं।

== यह भी देखें ==
* बटालिन-विल्कोविस्की औपचारिकता
* क्वांटम क्रोमोडायनामिक्स

== संदर्भ ==



=== उद्धरण ===
{{reflist}}


=== पाठ्यपुस्तक उपचार ===
* पेस्किन और श्रोएडर का अध्याय 16 ({{ISBN|0-201-50397-2}} या {{ISBN|0-201-50934-2}}) Faddeev-Popov Lagrangian में विसंगति रद्दीकरण के कारण के लिए BRST समरूपता लागू करता है। यह क्यूएफटी गैर-विशेषज्ञों के लिए एक अच्छी शुरुआत है, हालांकि ज्यामिति के कनेक्शन छोड़े गए हैं और एसिम्प्टोटिक फॉक स्पेस का उपचार केवल एक स्केच है।
* एम. गोकेलर और टी. शूकर का अध्याय 12 ({{ISBN|0-521-37821-4}} या {{ISBN|0-521-32960-4}}) बीआरएसटी औपचारिकता और गेज बंडलों की ज्यामिति के बीच संबंधों पर चर्चा करता है। यह काफी हद तक [http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.cmp/1104116716 Schücker's 1987 पेपर] के समान है।

=== गणितीय उपचार ===
*{{cite journal|first1=J. M.|last1=Figueroa-O'Farrill|first2=T.|last2=Kimura|title=ज्यामितीय BRST परिमाणीकरण I. पूर्व-परिमाणीकरण|volume=136|issue=2|mr=1096113|journal=Commun. Math. Phys.|year=1991|pages=209&ndash;229|url=http://projecteuclid.org/euclid.cmp/1104202348|doi=10.1007/BF02100022|issn=0010-3616|publisher=[[Springer-Verlag]]|bibcode = 1991CMaPh.136..209F |s2cid=120119621}}
*{{cite journal|first1=B.|last1=Kostant|first2=S.|last2=Sternberg|title=सहानुभूतिपूर्ण कमी, बीआरएस कोहोलॉजी, और अनंत-आयामी क्लिफोर्ड बीजगणित|journal=Ann. Phys.|volume=176|year=1987|issue=1|pages=49&ndash;113|doi=10.1016/0003-4916(87)90178-3|publisher=[[Elsevier]]|bibcode = 1987AnPhy.176...49K }}

=== प्राथमिक साहित्य ===
मूल बीआरएसटी पेपर:

*{{Citation | last1=Brandt | first1=Friedemann | last2=Barnich | first2=Glenn | last3=Henneaux | first3=Marc | title=Local BRST cohomology in gauge theories | doi=10.1016/S0370-1573(00)00049-1 | mr=1792979  | year=2000 | journal=Physics Reports | issn=0370-1573 | volume=338 | issue=5 | pages=439–569|arxiv = hep-th/0002245 |bibcode = 2000PhR...338..439B | s2cid=119420167 }}
* {{cite journal | last1=Becchi | first1=C. | last2=Rouet | first2=A. | last3=Stora | first3=R. | title=एबेलियन हिग्स किबल मॉडल, एस-ऑपरेटर की इकाई| journal=Physics Letters B | publisher=Elsevier BV | volume=52 | issue=3 | year=1974 | issn=0370-2693 | doi=10.1016/0370-2693(74)90058-6 | pages=344–346}}
* {{cite journal | last1=Becchi | first1=C. | last2=Rouet | first2=A. | last3=Stora | first3=R. | title=एबेलियन हिग्स-किब्बल मॉडल का पुनर्सामान्यीकरण| journal=Communications in Mathematical Physics | publisher=Springer Science and Business Media LLC | volume=42 | issue=2 | year=1975 | issn=0010-3616 | doi=10.1007/bf01614158 | pages=127–162| s2cid=120552882 | url=http://www.numdam.org/item/RCP25_1975__22__A9_0/ }}
* {{cite journal | last1=Becchi | first1=C | last2=Rouet | first2=A | last3=Stora | first3=R | title=गेज सिद्धांतों का पुनर्सामान्यीकरण| journal=Annals of Physics | publisher=Elsevier BV | volume=98 | issue=2 | year=1976 | issn=0003-4916 | doi=10.1016/0003-4916(76)90156-1 | pages=287–321| url=http://www.numdam.org/item/RCP25_1975__22__A10_0/ }}
* आई.वी. ट्यूटिन, [https://arxiv.org/abs/0812.0580 गेज इनवेरिएंस इन फील्ड थ्योरी एंड स्टैटिस्टिकल फिजिक्स इन ऑपरेटर फॉर्मलिज्म], लेबेडेव फिजिक्स इंस्टिट्यूट प्रीप्रिंट 39 (1975), arXiv: 0812.0580।
* {{cite journal | last1=Kugo | first1=Taichiro | last2=Ojima | first2=Izumi | title=नॉन-एबेलियन गेज थ्योरीज़ और क्वार्क कन्फाइनमेंट प्रॉब्लम का स्थानीय सहसंयोजक संचालक औपचारिकता| journal=Progress of Theoretical Physics Supplement | publisher=Oxford University Press (OUP) | volume=66 | year=1979 | issn=0375-9687 | doi=10.1143/ptps.66.1 | pages=1–130|doi-access=free}}
* कूगो-ओजिमा का एक अधिक सुलभ संस्करण कागजात की एक श्रृंखला में ऑनलाइन उपलब्ध है, जो निम्न से शुरू होता है: {{cite journal | last1=Kugo | first1=T. | last2=Ojima | first2=I. | title=यांग-मिल्स फील्ड थ्योरीज़ का प्रकट रूप से सहपरिवर्ती विहित सूत्रीकरण। मैं: -- सामान्य औपचारिकता --| journal=Progress of Theoretical Physics | publisher=Oxford University Press (OUP) | volume=60 | issue=6 | date=1978-12-01 | issn=0033-068X | doi=10.1143/ptp.60.1869 | pages=1869–1889|doi-access=free}} क्वांटम मैकेनिकल (ज्यामितीय के विपरीत) भाषा में बीआरएसटी परिमाणीकरण के लिए यह शायद सबसे अच्छा संदर्भ है।
* टोपोलॉजिकल इनवेरिएंट्स और बीआरएसटी ऑपरेटर के बीच संबंध के बारे में अधिक जानकारी निम्नलिखित में मिल सकती है: साम्प्रदायिक। गणित। भौतिक। 117, 3 (1988), पीपी। 353-386

=== वैकल्पिक दृष्टिकोण ===
* बीआरएसटी सिस्टम का संक्षेप में एक ऑपरेटर सिद्धांत परिप्रेक्ष्य से विश्लेषण किया जाता है: एस.एस. होरुझी और ए.वी. वोरोनिन, [http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.cmp/1104178989 बीआरएसटी सिद्धांतों की गणितीय संरचना पर टिप्पणी], कॉम। गणित। भौतिक। 123, 4 (1989) पीपी। 677–685
* BRST पद्धति पर एक माप-सैद्धांतिक परिप्रेक्ष्य [https://arxiv.org/abs/hep-th/9607181 कार्लो बेची के 1996 के व्याख्यान नोट्स] में पाया जा सकता है।

==बाहरी संबंध==
*[https://arxiv.org/search/?query=brst+cohomology&searchtype=all&source=header  Brst cohomology on arxiv.org]
   




-->

[[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]]