जटिल अंतर रूप

गणित में, एक सम्मिश्र अवकल रूप बहुरूपता (सामान्यतः एक सम्मिश्र बहुरूपता) पर एक अवकल रूप होता है जिसे सम्मिश्र गुणांक रखने की अनुमति होती है।

सम्मिश्र रूपों में अवकल ज्यामिति में व्यापक अनुप्रयोग होते हैं। सम्मिश्र बहुरूपता पर, वे मौलिक हैं और बहुत से बीजगणितीय ज्यामिति, काहलर ज्यामिति और हॉज सिद्धांत के आधार के रूप में काम करते हैं। गैर-सम्मिश्र बहुरूपता पर, वे लगभग सम्मिश्र संरचनाओं, स्पिनरों के सिद्धांत और सीआर संरचनाओं के अध्ययन में भी भूमिका निभाते हैं।

विशिष्ट रूप से, सम्मिश्र रूपों को कुछ वांछनीय अपघटन के कारण माना जाता है जो रूपों को स्वीकार करते हैं। एक सम्मिश्र बहुरूपता पर, उदाहरण के लिए, किसी भी सम्मिश्र k-विधि को तथाकथित (p, q)-रूपों के योग में विशिष्ट रूप से विघटित किया जा सकता है: अशिष्टता से, पूर्णसममितिक निर्देशांक के p अंतरों के वेजेज उनके सम्मिश्र संयुग्मों के q अवकलों के साथ होते हैं। (p, q)-रूपों का समुच्चय अध्ययन का आदिम उद्देश्य बन जाता है, और k-रूपों की तुलना में बहुरूपता सूक्ष्मतर ज्यामितीय संरचना निर्धारित करता है। यहां तक ​​कि उत्तम संरचनाएं भी उपस्तिथ हैं, उदाहरण के लिए, उन प्रकरणों में जहां हॉज सिद्धांत उपयोजित होता है।

एक सम्मिश्र बहुरूपता पर अवकल रूप
मान लीजिए कि M सम्मिश्र आयाम n का एक सम्मिश्र बहुआयामी है। फिर एक स्थानीय समन्वय प्रणाली है जिसमें n सम्मिश्र-मूल्यवान फलनों z1, ..., zn सम्मलित हैं, जैसे कि एक पैच से दूसरे में संक्रमण का समन्वय इन चरों के पूर्णसममितिक फलन हैं। सम्मिश्र रूपों का स्थान एक समृद्ध संरचना रखता है, जो मौलिक रूप से इस तथ्य पर निर्भर करता है कि ये संक्रमण फलन केवल सुचारू होने के बदले पूर्णसममितिक हैं।

एक रूप
हम एक-रूपों के प्रकरण से प्रारंभ करते हैं। पहले सम्मिश्र निर्देशांक को उनके वास्तविक और काल्पनिक भागों में विघटित करें: zj = xj + iyj प्रत्येक j के लिए। अनुमान
 * $$dz^j=dx^j+idy^j,\quad d\bar{z}^j=dx^j-idy^j,$$

कोई देखता है कि सम्मिश्र गुणांक वाले किसी भी अवकल रूप को योग के रूप में विशिष्ट रूप से लिखा जा सकता है
 * $$\sum_{j=1}^n\left(f_jdz^j+g_jd\bar{z}^j\right).$$

अनुमान Ω1,0 सम्मिश्र अवकल रूपों का स्थान हो जिसमें केवल $$dz$$s और Ω0,1 केवल $$d\bar{z}$$ वाले रूपों का स्थान हो। कोई दिखा सकता है, कॉची-रीमैन समीकरणों द्वारा, समष्टि Ω1.0 और Ω0,1 पूर्णसममितिक समन्वय परिवर्तन के अंतर्गत स्थिर हैं। दूसरे शब्दों में, यदि कोई पूर्णसममितिक समन्वय प्रणाली का एक अलग विकल्प बनाता है, तो Ω1,0 के तत्व तन्य रूप से बदलते हैं, जैसा कि Ω0,1 के तत्व करते हैं। इस प्रकार समष्टि Ω0.1 और Ω1,0 सम्मिश्र बहुरूपता पर सदिश बंडल का निर्धारण करते हैं।

उच्च-डिग्री के रूप
सम्मिश्र अवकल रूपों के वेज उत्पाद को वास्तविक रूपों के समान ही परिभाषित किया गया है। p और q को गैर-नकारात्मक पूर्णांक ≤ n की एक युग्म होने दें। समष्टि Ωp,q का  (p, q)-रूपों को Ω1,0 से p तत्वों और Ω0,1 से q तत्वों के वेज उत्पादों के रैखिक संयोजनों को लेकर परिभाषित किया गया हैं। प्रतीकात्मक रूप से,
 * $$\Omega^{p,q}=\underbrace{\Omega^{1,0}\wedge\dotsb\wedge\Omega^{1,0}}_{p \text{ times}}\wedge\underbrace{\Omega^{0,1}\wedge\dotsb\wedge\Omega^{0,1}}_{q \text{ times}}$$

जहां Ω1,0 के p कारक और Ω0,1 के q कारक है। जैसे 1-रूपों के दो समष्टि के साथ, ये निर्देशांक के पूर्णसममितिक परिवर्तनों के अंतर्गत स्थिर होते हैं, और इसलिए सदिश बंडलों को निर्धारित करते हैं।

यदि Ek कुल डिग्री k के सभी सम्मिश्र अवकल रूपों का समष्टि है, तब Ek के प्रत्येक अवयव को p + q = k वाले समष्टि Ωp,q के तत्वों के रैखिक संयोजन के रूप में एक अद्वितीय प्रकार से व्यक्त किया जा सकता है। अधिक संक्षेप में, प्रत्यक्ष योग अपघटन होते है
 * $$E^k=\Omega^{k,0}\oplus\Omega^{k-1,1}\oplus\dotsb\oplus\Omega^{1,k-1}\oplus\Omega^{0,k}=\bigoplus_{p+q=k}\Omega^{p,q}.$$

क्योंकि यह प्रत्यक्ष योग अपघटन पूर्णसममितिक समन्वय परिवर्तन के अंतर्गत स्थिर है, यह एक सदिश बंडल अपघटन भी निर्धारित करते है।

विशेष रूप से, प्रत्येक k और प्रत्येक p और q के लिए p + q = k के साथ, सदिश बंडलों का एक विहित प्रक्षेपण है
 * $$\pi^{p,q}:E^k\rightarrow\Omega^{p,q}.$$

डोलबेल्ट प्रचालक
सामान्य बाहरी व्युत्पन्न अनुभागों के मानचित्रण को परिभाषित करता है $$ d: \Omega^{r} \to \Omega^{r+1}$$ के माध्यम से
 * $$ d(\Omega^{p,q}) \subseteq \bigoplus_{r + s = p + q + 1} \Omega^{r,s}$$

बाहरी व्युत्पन्न अपने आप में बहुरूपता अधिक दृढ़ सम्मिश्र संरचना को प्रतिबिंबित नहीं करती है।

d और पूर्व उपखंड में परिभाषित अनुमानों का उपयोग करके, डोलबेल्ट प्रचालक को परिभाषित करना संभव है:
 * $$\partial=\pi^{p+1,q}\circ d:\Omega^{p,q}\rightarrow\Omega^{p+1,q},\quad \bar{\partial}=\pi^{p,q+1}\circ d:\Omega^{p,q}\rightarrow\Omega^{p,q+1}$$

स्थानीय निर्देशांक में इन प्रचालक का वर्णन करने के लिए, अनुमान
 * $$\alpha=\sum_{|I|=p,|J|=q}\ f_{IJ}\,dz^I\wedge d\bar{z}^J\in\Omega^{p,q}$$

जहाँ I और J बहु सूचकांक है। तब
 * $$\partial\alpha=\sum_{|I|,|J|}\sum_\ell \frac{\partial f_{IJ}}{\partial z^\ell}\,dz^\ell\wedge dz^I\wedge d\bar{z}^J$$
 * $$\bar{\partial}\alpha=\sum_{|I|,|J|}\sum_\ell \frac{\partial f_{IJ}}{\partial \bar{z}^\ell}d\bar{z}^\ell\wedge dz^I\wedge d\bar{z}^J.$$

आयोजित करने के लिए निम्नलिखित गुण देखे जाते हैं:
 * $$d=\partial+\bar{\partial}$$
 * $$\partial^2=\bar{\partial}^2=\partial\bar{\partial}+\bar{\partial}\partial=0.$$

ये प्रचालक और उनके गुण डोलबेल्ट सह समरूपता और हॉज सिद्धांत के कई गुणो के लिए आधार बनाते हैं।

एक सम्मिश्र बहुरूपता के स्टार-आकार वाले प्रक्षेत्र पर, डोलबेल्ट प्रचालक के पास द्वैध समस्थेयता प्रचालक होते हैं, जो $$d$$ के लिए समस्थेयता प्रचालक के विभाजन से उत्पन्न होते हैं। यह एक सम्मिश्र बहुरूपता पर प्वांकारे लेम्मा की विषय सूची है।

$$\bar \partial$$ और $$\partial$$ के लिए पोंकारे लेम्मा को स्थानीय में और संशोधित बनाया जा सकता है $$\partial \bar \partial$$-लेम्मा, जो दर्शाता है कि प्रत्येक $$d$$-सम्मिश्र अवकल रूप वास्तव में $$\partial \bar \partial$$-सटीक है। संक्षिप्त काहलर पर स्थानीय $$\partial \bar \partial$$-लेम्मा का एक वैश्विक रूप बहुरूपता है, जिसे $$\partial \bar \partial$$-लेम्मा के रूप में जाना जाता है। यह हॉज सिद्धांत का एक परिणाम है, और बताता है कि एक सम्मिश्र अवकल रूप जो विश्व स्तर पर $$d$$-सटीक है (दूसरे शब्दों में, जिसका वर्ग राम कोहोलॉजी में शून्य है) विश्व स्तर पर $$\partial \bar \partial$$-सटीक है।

पूर्णसममितिक रूप
प्रत्येक p के लिए, एक 'पूर्णसममितिक p-रूप' बंडल Ωp,0 का एक पूर्णसममितिक खंड है। स्थानीय निर्देशांक में, एक पूर्णसममितिक को p-रूप में लिखा जा सकता है


 * $$\alpha=\sum_{|I|=p}f_I\,dz^I$$

जहां $$ f_I $$ पूर्णसममितिक फलन हैं। समान रूप से, और सम्मिश्र संयुग्म की स्वतंत्रता के कारण, (p, 0) -रूप α पूर्णसममितिक है अगर और केवल अगर
 * $$\bar{\partial}\alpha=0.$$

पूर्णसममितिक p-रूपों के शीफ को प्रायः Ωp लिखा जाता है, हालांकि यह कभी-कभी संभ्रम पैदा कर सकता है इसलिए कई लेखक वैकल्पिक संकेतन को स्वीकार करते हैं।

यह भी देखें

 * डोलबियॉल्ट सम्मिश्र
 * फ्रोलिकर वर्णक्रमीय अनुक्रम
 * प्रथम प्रकार का अवकल