जटिल विभेदक रूप

गणित में, एक जटिल अंतर रूप मैनिफोल्ड (आमतौर पर एक जटिल मैनिफोल्ड) पर एक अंतर रूप होता है जिसे जटिल संख्या गुणांक रखने की अनुमति होती है।

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

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

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

एकरूप
हम एक-रूप के मामले से शुरुआत करते हैं। सबसे पहले जटिल निर्देशांकों को उनके वास्तविक और काल्पनिक भागों में विघटित करें: zj = xj + iyjप्रत्येक जे के लिए। दे
 * $$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होलोमोर्फिक समन्वय परिवर्तनों के तहत स्थिर हैं। दूसरे शब्दों में, यदि कोई भिन्न विकल्प चुनता हैi होलोमोर्फिक समन्वय प्रणाली के, फिर Ω के तत्व1,0 Ω के तत्वों की तरह, तन्य रूप से रूपांतरित होते हैं0,1. इस प्रकार रिक्त स्थान Ω0.1और Ω1,0कॉम्प्लेक्स मैनिफोल्ड पर जटिल वेक्टर बंडल निर्धारित करें।

उच्च-डिग्री फॉर्म
जटिल विभेदक रूपों के वेज उत्पाद को वास्तविक रूपों की तरह ही परिभाषित किया जाता है। मान लीजिए p और q गैर-ऋणात्मक पूर्णांकों ≤ n का एक युग्म है। अंतरिक्ष Ω(p,q) के p,q-फॉर्म को Ω से p तत्वों के वेज उत्पादों के रैखिक संयोजनों को लेकर परिभाषित किया गया हैΩ से 1,0तथा q तत्व0,1. प्रतीकात्मक रूप से,
 * $$\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}}$$

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

यदि ईkकुल डिग्री k के सभी जटिल अंतर रूपों का स्थान है, फिर E का प्रत्येक तत्वk को रिक्त स्थान Ω के बीच से तत्वों के रैखिक संयोजन के रूप में एक अनोखे तरीके से व्यक्त किया जा सकता हैपी,क्यूके साथ p + q = k. अधिक संक्षेप में, वेक्टर बंडलों के अपघटन का प्रत्यक्ष योग है
 * $$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$$ स्थानीय ddbar lemma|local में और सुधार किया जा सकता है $$\partial \bar \partial$$-लेम्मा, जो दर्शाता है कि प्रत्येक $$d$$-सटीक जटिल अंतर रूप वास्तव में है $$\partial \bar \partial$$-एकदम सही। कॉम्पैक्ट काहलर पर स्थानीय का एक वैश्विक रूप प्रकट होता है $$\partial \bar \partial$$-लेम्मा होल्ड, जिसे डीडीबार लेम्मा के नाम से जाना जाता है|$$\partial \bar \partial$$-लेम्मा. यह हॉज सिद्धांत का परिणाम है, और बताता है कि एक जटिल विभेदक रूप जो विश्व स्तर पर है $$d$$-सटीक (दूसरे शब्दों में, जिसका डॉ कहलमज गर्भाशय में वर्ग शून्य है) विश्व स्तर पर है $$\partial \bar \partial$$-एकदम सही।

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


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

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

होलोमोर्फिक पी-फॉर्म का शीफ ​​(गणित) अक्सर Ω लिखा जाता हैपी, हालांकि इससे कभी-कभी भ्रम की स्थिति पैदा हो सकती है, इसलिए कई लेखक वैकल्पिक संकेतन को अपनाने की प्रवृत्ति रखते हैं।

यह भी देखें

 * डोल्बौल्ट कॉम्प्लेक्स
 * फ्रोलिचर वर्णक्रमीय अनुक्रम
 * पहले प्रकार का विभेदक