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

From Vigyanwiki
No edit summary
No edit summary
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|Alain Rouet|de}}, [[रेमंड स्टोरा]] और [[इगोर ट्यूटिन]]) परिमाणीकरण (भौतिकी) के लिए एक अपेक्षाकृत परिशुद्ध गणितीय दृष्टिकोण को एक [[गेज समरूपता|माप समरूपता]] के साथ एक [[ मात्रा |मात्रा]] क्षेत्र सिद्धांत दर्शाता है। पहले के परिमाण क्षेत्र सिद्धांत (QFT) रूपरेखा में [[परिमाणीकरण (भौतिकी)]]भौतिकी) के नियम प्रमाणों से अधिक नुस्खों या अनुमानों के समान थे, विशेष रूप से [[गैर-अबेलियन समूह]] क्यूएफटी में, जहां सतही विचित्र गुणों वाले घोस्ट क्षेत्र का उपयोग तकनीकी कारणों से लगभग अपरिहार्य है। [[पुनर्सामान्यीकरण]] और [[विसंगति रद्दीकरण]] से संबंधित।
[[सैद्धांतिक भौतिकी]] में, बीआरएसटी औपचारिकता, या बीआरएसटी परिमाणीकरण (जहां ''बीआरएसटी'' [[चार्ल्स बेची]] के अंतिम नामों को संदर्भित करता है, {{ill|Alain Rouet|de}}, [[रेमंड स्टोरा]] और [[इगोर ट्यूटिन]]) परिमाणीकरण (भौतिकी) के लिए एक अपेक्षाकृत परिशुद्ध गणितीय दृष्टिकोण को एक [[गेज समरूपता|माप समरूपता]] के साथ एक [[ मात्रा |मात्रा]] क्षेत्र सिद्धांत दर्शाता है। पहले के परिमाण क्षेत्र सिद्धांत (क्यूएफटी) रूपरेखा में [[परिमाणीकरण (भौतिकी)]]भौतिकी) के नियम प्रमाणों से अधिक नुस्खों या अनुमानों के समान थे, विशेष रूप से [[गैर-अबेलियन समूह]] क्यूएफटी में, जहां सतही विचित्र गुणों वाले घोस्ट क्षेत्र का उपयोग प्राविधिक कारणों से लगभग अपरिहार्य है। [[पुनर्सामान्यीकरण]] और [[विसंगति रद्दीकरण|विसंगति निरस्तीकरण]] से संबंधित।


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


== ब्रेस्ट के लिए गणितीय दृष्टिकोण ==
== ब्रेस्ट के लिए गणितीय दृष्टिकोण ==
बेस्ट कंस्ट्रक्शन तब लागू होता है जब किसी के पास [[कॉम्पैक्ट (टोपोलॉजी)]], [[ जुड़ा हुआ (टोपोलॉजी) ]] लाइ ग्रुप की [[हैमिल्टनियन क्रिया]] होती है <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>G</math>-कक्षाएं चालू हैं <math>M_0</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>\widetilde M = M_0/G </math> का <math>G</math>-कक्षाएं चालू हैं <math>M_0</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>, वह है,
Line 66: Line 67:


:<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 80: Line 81:


:<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 92: Line 93:
:<math> H^p (\operatorname{Tot}(K), D ) = C^{\infty}(M_0)^g = C^{\infty}(\widetilde M)</math>, अगर पी = 0 और 0 अन्यथा।
:<math> H^p (\operatorname{Tot}(K), D ) = C^{\infty}(M_0)^g = C^{\infty}(\widetilde M)</math>, अगर पी = 0 और 0 अन्यथा।


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


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


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


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


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


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


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


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


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


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


:<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>, और भूत सी स्वयं) जो माप समूह का एक गैर-तुच्छ प्रतिनिधित्व करते हैं। δλ के संबंध में BRST परिवर्तन इसलिए है:
बीआरएसटी प्रक्रिया की औपचारिक आवश्यकताओं से परे एक ज्यामितीय अर्थ रखने में हमारे माप-फिक्स्ड सिद्धांत के नए क्षेत्रों में फदीव-पोपोव भूत क्षेत्र सी अद्वितीय है। यह मौरर-कार्टन फॉर्म ऑन का एक संस्करण है <math>V\mathfrak{E}</math>, जो प्रत्येक सही-अपरिवर्तनीय ऊर्ध्वाधर सदिश क्षेत्र से संबंधित है <math>\delta\lambda \in V\mathfrak{E}</math> इसके प्रतिनिधित्व के लिए (एक चरण तक) एक के रूप में <math>\mathfrak{g}</math>-मूल्यवान क्षेत्र। इस क्षेत्र को वस्तुओं पर अतिसूक्ष्म माप परिवर्तनों के सूत्रों में प्रवेश करना चाहिए (जैसे कि फ़र्मियन ψ, माप बोसोन ए<sub>μ</sub>, और भूत सी स्वयं) जो माप समूह का एक गैर-तुच्छ प्रतिनिधित्व करते हैं। δλ के संबंध में बीआरएसटी परिवर्तन इसलिए है:


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


हम पहले से ही जानते हैं, बीआरएसटी संचालक के संबंध से बाहरी डेरिवेटिव और फैडीव-पोपोव भूत से मौरर-कार्टन फॉर्म तक, कि भूत सी (एक चरण तक) से मेल खाता है <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>.
हम पहले से ही जानते हैं, बीआरएसटी प्रचालक के संबंध से बाहरी डेरिवेटिव और फैडीव-पोपोव भूत से मौरर-कार्टन फॉर्म तक, कि भूत सी (एक चरण तक) से मेल खाता है <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>.


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


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


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


{{expand section|date=October 2009}}
{{expand section|date=October 2009}}
:<small>''(Needs to be completed in the language of BRST cohomology, with reference to the Kugo–Ojima treatment of asymptotic Fock space.)''</small>
:<small>''(Needs to be completed in the language of बीआरएसटी cohomology, with reference to the Kugo–Ojima treatment of asymptotic Fock space.)''</small>




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


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


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


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


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

Revision as of 08:29, 26 April 2023

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

माप फिक्सिंग और प्रक्षोभ सिद्धांत

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

क्षैतिज अंतर गुणांक पर परिभाषित किया गया है

की क्रिया से और पर ग्रुप एक्शन # राइट ग्रुप एक्शन-इनवेरिएंट डिफरेंशियल डिफरेंशियल प्रचालक डिफरेंशियल के ग्रुप एक्शन के बाहरी डेरिवेटिव के रूप में लाई ग्रुप पर , जिसका झूठ बीजगणित है .

बता दें कि Tot(K) एक ऐसा कॉम्प्लेक्स है

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

वर्णक्रमीय अनुक्रम का पहला पद ऊर्ध्वाधर अंतर के कोहोलॉजी की गणना करता है :

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

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

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

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

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

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

इसलिए,

, अगर पी = 0 और 0 अन्यथा।

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(Needs to be completed in the language of बीआरएसटी cohomology, with reference to the Kugo–Ojima treatment of asymptotic Fock space.)


माप पूलिका और लंबवत आदर्श

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

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

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

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

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

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

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

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