मोनोड्रोमी

जटिल लघुगणक का काल्पनिक भाग। C \ {0} पर जटिल लघुगणक को परिभाषित करने का प्रयास अलग-अलग रास्तों पर अलग-अलग उत्तर देता है। यह एक अनंत चक्रीय मोनोड्रोमी समूह की ओर जाता है और एक घुमावदार (रीमैन सतह का एक उदाहरण) द्वारा C \ {0} का आवरण होता है।

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

परिभाषा

होने देना X बेस पॉइंट के साथ कनेक्टेड और स्थानीय रूप से कनेक्टेड आधारित टोपोलॉजिकल स्पेस हो x, और जाने $p:{\tilde {X}}\to X$ फाइबर के साथ एक कवरिंग मैप बनें (गणित) $F=p^{-1}(x)$. एक पाश के लिए γ: [0, 1] → X पर आधारित x, एक बिंदु पर शुरू होने वाले कवरिंग मैप के तहत एक होमोटॉपी उठाने की संपत्ति को निरूपित करें ${\tilde {x}}\in F$, द्वारा ${\tilde {\gamma }}$. अंत में, हम द्वारा निरूपित करते हैं ${\tilde {x}}\cdot {\tilde {\gamma }}$ समापन बिंदु ${\tilde {\gamma }}(1)$, जो सामान्यतः से अलग होता है ${\tilde {x}}$. ऐसे प्रमेय हैं जो बताते हैं कि यह निर्माण मौलिक समूह की एक अच्छी तरह से परिभाषित समूह क्रिया (गणित) देता है π₁(X, x) पर F, और वह स्टेबलाइज़र (समूह सिद्धांत)। ${\tilde {x}}$ बिल्कुल सही है $p_{*}\left(\pi _{1}\left({\tilde {X}},{\tilde {x}}\right)\right)$, अर्थात् एक तत्व [γ] में एक बिंदु तय करता है F अगर और केवल अगर यह एक लूप की छवि द्वारा दर्शाया गया है ${\tilde {X}}$ पर आधारित ${\tilde {x}}$. इस क्रिया को मोनोड्रोमी क्रिया और संबंधित समूह समरूपता कहा जाता है π₁(X, x) → Aut(H_*(F_x)) ऑटोमोर्फिज़्म समूह में F बीजगणितीय मोनोड्रोमी है। इस समरूपता की छवि मोनोड्रोमी समूह है। एक और नक्शा है π₁(X, x) → Diff(F_x)/Is(F_x) जिसकी छवि को टोपोलॉजिकल मोनोड्रोमी ग्रुप कहा जाता है।

उदाहरण

इन विचारों को सबसे पहले जटिल विश्लेषण में स्पष्ट किया गया था। विश्लेषणात्मक निरंतरता की प्रक्रिया में, एक कार्य जो एक विश्लेषणात्मक कार्य है F(z) कुछ खुले उपसमुच्चय में {{mvar|E}पंपरिवर्ती जटिल विमान की } ℂ \ {0} में वापस जारी रखा जा सकता है E, किन्तु विभिन्न मूल्यों के साथ। उदाहरण के लिए, ले लो

${\begin{aligned}F(z)&=\log(z)\\E&=\{z\in \mathbb {C} \mid \operatorname {Re} (z)>0\}\end{aligned}}$

फिर विश्लेषणात्मक निरंतरता सर्कल के चारों ओर एंटी-क्लॉकवाइज

$|z|=1$

वापसी में परिणाम होगा, करने के लिए नहीं F(z) किन्तु

$F(z)+2\pi i$

इस मामले में मोनोड्रोमी समूह अनंत चक्रीय है और आवरण स्थान पंपरिवर्ती जटिल विमान का सार्वभौमिक आवरण है। इस आवरण को हेलिकॉइड के रूप में देखा जा सकता है (जैसा कि हेलिकॉइड लेख में परिभाषित किया गया है) प्रतिबंधित है ρ > 0. कवरिंग मैप एक वर्टिकल प्रोजेक्शन है, एक तरह से पंपरिवर्ती प्लेन पाने के लिए स्पष्ट तरीके से सर्पिल को ढहाना।

जटिल डोमेन में विभेदक समीकरण

एक महत्वपूर्ण अनुप्रयोग अंतर समीकरणों के लिए है, जहां एक एकल समाधान विश्लेषणात्मक निरंतरता द्वारा आगे रैखिक रूप से स्वतंत्र समाधान दे सकता है। कॉम्प्लेक्स प्लेन में एक खुले, कनेक्टेड सेट S में परिभाषित रेखीय अंतर समीकरणों में एक मोनोड्रोमी समूह होता है, जो (अधिक सटीक रूप से) S के मौलिक समूह का एक रैखिक प्रतिनिधित्व है, जो S के भीतर सभी विश्लेषणात्मक निरंतरताओं को गोल छोरों का सारांश देता है। व्युत्क्रम समस्या, समीकरण (नियमित विलक्षणता के साथ) के निर्माण के लिए, एक प्रतिनिधित्व दिया जाता है, जिसे रीमैन-हिल्बर्ट समस्या कहा जाता है।

एक नियमित (और विशेष रूप से फुचियन) रैखिक प्रणाली के लिए सामान्यतः मोनोड्रोमी समूह के जनरेटर के रूप में ऑपरेटरों एम को चुनता है_jलूप के अनुरूप जिनमें से प्रत्येक सिस्टम के ध्रुवों में से केवल एक ध्रुव को वामावर्त घुमाता है। यदि सूचकांक j को इस तरह से चुना जाता है कि वे 1 से बढ़कर p + 1 हो जाते हैं जब कोई आधार बिंदु को दक्षिणावर्त घुमाता है, तो जनरेटर के बीच एकमात्र संबंध समानता है $M_{1}\cdots M_{p+1}=\operatorname {id}$. Deligne-Simpson समस्या निम्नलिखित प्राप्ति समस्या है: GL(n, 'C') में संयुग्मन वर्गों के किन टुपल्स के लिए मेट्रिसेस M के इरेड्यूसिबल टुपल्स मौजूद हैं_jउपरोक्त संबंध को संतुष्ट करने वाले इन वर्गों से? इस समस्या को पियरे डेलिग्ने द्वारा तैयार किया गया है और चार्ल्स सिम्पसन इसके समाधान की दिशा में परिणाम प्राप्त करने वाले पहले व्यक्ति थे। व्लादिमीर कोस्तोव द्वारा फ्यूचियन सिस्टम के अवशेषों के बारे में समस्या का एक योगात्मक संस्करण तैयार और खोजा गया है। समस्या को GL(n, 'C') के अतिरिक्त मैट्रिक्स समूहों के लिए अन्य लेखकों द्वारा भी माना गया है।

सामयिक और ज्यामितीय दृष्टिकोण

कवरिंग मानचित्र की स्थिति में, हम इसे कंपन के एक विशेष स्थितियों के रूप में देखते हैं, और होमोटॉपी उत्थापित की गयी विशेशता का उपयोग आधार समष्‍टि X पर पथों का "अनुसरण" करने के लिए करते हैं (हम इसे सहजता के लिए मार्ग से जुड़े मानते हैं) जैसा कि वे कवर सी में उत्थ�