जटिल अंतर रूप

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

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

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

एक सम्मिश्र बहुरूपता पर अवकल रूप

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

एक रूप

हम एक-रूपों के प्रकरण से प्रारंभ करते हैं। पहले सम्मिश्र निर्देशांक को उनके वास्तविक और काल्पनिक भागों में विघटित करें: z^j = x^j + iy^j प्रत्येक j के लिए। अनुमान

$dz^{j}=dx^{j}+idy^{j},\quad d{\bar {z}}^{j}=dx^{j}-idy^{j},$

कोई देखता है कि सम्मिश्र गुणांक वाले किसी भी अवकल रूप को योग के रूप में विशिष्ट रूप से लिखा जा सकता है

$\sum _{j=1}^{n}\left(f_{j}dz^{j}+g_{j}d{\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-रूपों के दो समष्टि के साथ, ये निर्देशांक के पूर्णसममितिक परिवर्तनों के अंतर्गत स्थिर होते हैं, और इसलिए सदिश बंडलों को निर्धारित करते हैं।

यदि E^k कुल डिग्री k के सभी सम्मिश्र अवकल रूपों का समष्टि है, तब E^k के प्रत्येक अवयव को 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}$

स्थानीय निर्देशांक में इन प्रचालक का वर्णन करने के लिए, अनुमान

$\mathrm{\alpha <!--\; \alpha \; -->}=\underset{|I|=p,|J|=q}{\sum <!--\; \sum \; -->}{f}_I$