समतुल्य अवकल रूप

अवकल ज्यामिति में, एक बहुपद M पर एक समतुल्य अवकल रूप, जिस पर एक ली समूह G द्वारा कार्य किया जाता है, एक बहुपद  प्रतिचित्र  है
 * $$\alpha: \mathfrak{g} \to \Omega^*(M)$$

ली बीजगणित से $$\mathfrak{g} = \operatorname{Lie}(G)$$ M पर अवकल रूपों के स्थान पर जो समतुल्य हैं; अर्थात:
 * $$\alpha(\operatorname{Ad}(g)X) = g\alpha(X).$$

दूसरे शब्दों में, एक समतुल्य अवकल रूप एक अपरिवर्तनीय तत्व है।
 * $$\mathbb{C}[\mathfrak{g}] \otimes \Omega^*(M) = \operatorname{Sym}(\mathfrak{g}^*) \otimes \Omega^*(M).$$

समतुल्य अवकल रूप के लिए $$\alpha$$, समतुल्य बाहरी व्युत्पन्न $$d_\mathfrak{g} \alpha$$ का $$\alpha$$ द्वारा परिभाषित किया गया है
 * $$(d_\mathfrak{g} \alpha)(X) = d(\alpha(X)) - i_{X^\#}(\alpha(X))$$

जहां d सामान्य बाह्य व्युत्पन्न है और $$i_{X^\#}$$ X द्वारा उत्पन्न मौलिक सदिश फ़ील्ड द्वारा आंतरिक उत्पाद है। इसे देखना आसान है $$d_\mathfrak{g} \circ d_\mathfrak{g} = 0$$ ((इस तथ्य का उपयोग करें कि ली व्युत्पन्न $$\alpha(X)$$ के साथ में $$X^\#$$ शून्य है) और फिर एक डालता है।
 * $$H^*_G(X) = \ker d_\mathfrak{g}/\operatorname{im} d_\mathfrak{g} ,$$

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

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

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