समतुल्य अवकल रूप: Difference between revisions

From Vigyanwiki
(Created page with "विभेदक ज्यामिति में, एक ली समूह ''जी'' द्वारा मैनिफोल्ड ''एम'' लाई समूह...")
 
No edit summary
 
(4 intermediate revisions by 4 users not shown)
Line 1: Line 1:
विभेदक ज्यामिति में, एक ली समूह ''जी'' द्वारा मैनिफोल्ड ''एम'' लाई समूह क्रिया पर एक समतुल्य अंतर रूप एक [[बहुपद मानचित्र]] है
अवकल ज्यामिति में, एक बहुपद M पर एक '''समतुल्य अवकल रूप''', जिस पर एक ली समूह G द्वारा कार्य किया जाता है, एक बहुपद  प्रतिचित्र  है
:<math>\alpha: \mathfrak{g} \to \Omega^*(M)</math>
:<math>\alpha: \mathfrak{g} \to \Omega^*(M)</math>
झूठ बीजगणित से <math>\mathfrak{g} = \operatorname{Lie}(G)</math> एम पर [[विभेदक रूप]] के स्थान पर जो समतुल्य हैं; अर्थात।,
ली बीजगणित से <math>\mathfrak{g} = \operatorname{Lie}(G)</math> ''M'' पर अवकल रूपों के स्थान पर जो समतुल्य हैं; अर्थात:
:<math>\alpha(\operatorname{Ad}(g)X) = g\alpha(X).</math>
:<math>\alpha(\operatorname{Ad}(g)X) = g\alpha(X).</math>
दूसरे शब्दों में, एक समतुल्य विभेदक रूप एक अपरिवर्तनीय तत्व है<ref>Proof: with <math>V = \Omega^*(M)</math>, we have: <math>\operatorname{Mor}_G(\mathfrak{g}, V) = \operatorname{Mor}(\mathfrak{g}, V)^G = (\operatorname{Mor}(\mathfrak{g}, \mathbb{C})\otimes V)^G.</math> Note <math>\mathbb{C}[\mathfrak{g}]</math> is the ring of polynomials in linear functionals of <math>\mathfrak{g}</math>; see [[ring of polynomial functions]]. See also https://math.stackexchange.com/q/101453 for M. Emerton's comment.</ref>
दूसरे शब्दों में, एक समतुल्य अवकल रूप एक अपरिवर्तनीय तत्व है।<ref>Proof: with <math>V = \Omega^*(M)</math>, we have: <math>\operatorname{Mor}_G(\mathfrak{g}, V) = \operatorname{Mor}(\mathfrak{g}, V)^G = (\operatorname{Mor}(\mathfrak{g}, \mathbb{C})\otimes V)^G.</math> Note <math>\mathbb{C}[\mathfrak{g}]</math> is the ring of polynomials in linear functionals of <math>\mathfrak{g}</math>; see [[ring of polynomial functions]]. See also https://math.stackexchange.com/q/101453 for M. Emerton's comment.</ref>
:<math>\mathbb{C}[\mathfrak{g}] \otimes \Omega^*(M) = \operatorname{Sym}(\mathfrak{g}^*) \otimes \Omega^*(M).</math>
:<math>\mathbb{C}[\mathfrak{g}] \otimes \Omega^*(M) = \operatorname{Sym}(\mathfrak{g}^*) \otimes \Omega^*(M).</math>
एक समतुल्य विभेदक रूप के लिए <math>\alpha</math>, समतुल्य बाहरी व्युत्पन्न <math>d_\mathfrak{g} \alpha</math> का <math>\alpha</math> द्वारा परिभाषित किया गया है
समतुल्य अवकल रूप के लिए <math>\alpha</math>, समतुल्य बाहरी व्युत्पन्न <math>d_\mathfrak{g} \alpha</math> का <math>\alpha</math> द्वारा परिभाषित किया गया है
:<math>(d_\mathfrak{g} \alpha)(X) = d(\alpha(X)) - i_{X^\#}(\alpha(X))</math>
:<math>(d_\mathfrak{g} \alpha)(X) = d(\alpha(X)) - i_{X^\#}(\alpha(X))</math>
जहां d सामान्य बाह्य व्युत्पन्न है और <math>i_{X^\#}</math> एक्स द्वारा उत्पन्न [[मौलिक वेक्टर क्षेत्र]] द्वारा [[आंतरिक उत्पाद]] है।
जहां d सामान्य बाह्य व्युत्पन्न है और <math>i_{X^\#}</math> X द्वारा उत्पन्न मौलिक सदिश फ़ील्ड द्वारा आंतरिक उत्पाद है। इसे देखना आसान है <math>d_\mathfrak{g} \circ d_\mathfrak{g} = 0</math> ((इस तथ्य का उपयोग करें कि ली व्युत्पन्न  <math>\alpha(X)</math> के साथ में <math>X^\#</math> शून्य है) और फिर एक डालता है।
यह देखना आसान है <math>d_\mathfrak{g} \circ d_\mathfrak{g} = 0</math> (इस तथ्य का लाई व्युत्पन्न का उपयोग करें <math>\alpha(X)</math> साथ में <math>X^\#</math> शून्य है) और फिर एक डालता है
:<math>H^*_G(X) = \ker d_\mathfrak{g}/\operatorname{im} d_\mathfrak{g} ,</math>
:<math>H^*_G(X) = \ker d_\mathfrak{g}/\operatorname{im} d_\mathfrak{g} ,</math>
जिसे एम की समतुल्य सहसंगति कहा जाता है (जो [[बोरेल निर्माण]] के संदर्भ में परिभाषित सामान्य समतुल्य सहसंगति से मेल खाता है।) यह परिभाषा एच. कार्टन के कारण है। इस धारणा का [[समतुल्य सूचकांक सिद्धांत]] पर अनुप्रयोग है।
जिसे ''M'' की समतुल्य सहसंगति कहा जाता है (जो बोरेल निर्माण के संदर्भ में परिभाषित सामान्य समतुल्य सहसंगति से मेल खाता है।) यह परिभाषा एच. कार्टन के कारण है। यह धारणा समवर्ती सूचकांक सिद्धांत पर लागू होती है।


<math>d_\mathfrak{g}</math>-बंद या <math>d_\mathfrak{g}</math>-सटीक रूपों को समान रूप से बंद या समान रूप से सटीक कहा जाता है।
<math>d_\mathfrak{g}</math>-संवृत या <math>d_\mathfrak{g}</math>-सटीक रूपों को समान रूप से संवृत या समान रूप से शुद्ध कहा जाता है।


एक समवर्ती रूप से बंद रूप के अभिन्न अंग का मूल्यांकन उसके प्रतिबंध से निश्चित बिंदु तक समवर्ती सह-समरूपता के लिए स्थानीयकरण सूत्र के माध्यम से किया जा सकता है।
स्थानीयकरण सूत्र के माध्यम से एक समान रूप से संवृत फॉर्म के अभिन्न अंग का समाकलन उसके प्रतिबंध से निश्चित बिंदु तक किया जा सकता है।


== संदर्भ ==
== संदर्भ ==
Line 20: Line 19:
* {{Citation | last1=Berline | first1=Nicole | last2=Getzler | first2=E. | last3=Vergne | first3=Michèle | title=Heat Kernels and Dirac Operators | publisher=Springer |isbn=978-3-540-20062-8 |url={{GBurl|_e2FjvLbO94C|pg=PP1}} | year=2004}}
* {{Citation | last1=Berline | first1=Nicole | last2=Getzler | first2=E. | last3=Vergne | first3=Michèle | title=Heat Kernels and Dirac Operators | publisher=Springer |isbn=978-3-540-20062-8 |url={{GBurl|_e2FjvLbO94C|pg=PP1}} | year=2004}}


[[Category: विभेदक ज्यामिति]]




{{differential-geometry-stub}}
{{differential-geometry-stub}}


 
[[Category:All stub articles]]
 
[[Category: Machine Translated Page]]
[[Category:Created On 03/07/2023]]
[[Category:Created On 03/07/2023]]
[[Category:Differential geometry stubs]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:विभेदक ज्यामिति]]

Latest revision as of 16:38, 29 July 2023

अवकल ज्यामिति में, एक बहुपद M पर एक समतुल्य अवकल रूप, जिस पर एक ली समूह G द्वारा कार्य किया जाता है, एक बहुपद  प्रतिचित्र  है

ली बीजगणित से M पर अवकल रूपों के स्थान पर जो समतुल्य हैं; अर्थात:

दूसरे शब्दों में, एक समतुल्य अवकल रूप एक अपरिवर्तनीय तत्व है।[1]

समतुल्य अवकल रूप के लिए , समतुल्य बाहरी व्युत्पन्न का द्वारा परिभाषित किया गया है

जहां d सामान्य बाह्य व्युत्पन्न है और X द्वारा उत्पन्न मौलिक सदिश फ़ील्ड द्वारा आंतरिक उत्पाद है। इसे देखना आसान है ((इस तथ्य का उपयोग करें कि ली व्युत्पन्न के साथ में शून्य है) और फिर एक डालता है।

जिसे M की समतुल्य सहसंगति कहा जाता है (जो बोरेल निर्माण के संदर्भ में परिभाषित सामान्य समतुल्य सहसंगति से मेल खाता है।) यह परिभाषा एच. कार्टन के कारण है। यह धारणा समवर्ती सूचकांक सिद्धांत पर लागू होती है।

-संवृत या -सटीक रूपों को समान रूप से संवृत या समान रूप से शुद्ध कहा जाता है।

स्थानीयकरण सूत्र के माध्यम से एक समान रूप से संवृत फॉर्म के अभिन्न अंग का समाकलन उसके प्रतिबंध से निश्चित बिंदु तक किया जा सकता है।

संदर्भ

  1. Proof: with , we have: Note is the ring of polynomials in linear functionals of ; see ring of polynomial functions. See also https://math.stackexchange.com/q/101453 for M. Emerton's comment.
  • Berline, Nicole; Getzler, E.; Vergne, Michèle (2004), Heat Kernels and Dirac Operators, Springer, ISBN 978-3-540-20062-8