मोनोड्रोमी

File:Imaginary log analytic continuation.png

सम्मिश्र लघुगणक का काल्पनिक भाग। 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) जिसकी छवि को टोपोलॉजिकल मोनोड्रोमी ग्रुप कहा जाता है।

उदाहरण

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

${\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 के भीतर सभी विश्लेषणात्मक निरंतरताओं को गोल गोल लूपों को सारांशित करता है। व्युत्क्रम समस्या, समीकरण (नियमित विलक्षणता के साथ) का निर्माण करने के लिए, एक प्रतिनिधित्व दिया जाता है, जिसे रीमैन-हिल्बर्ट समस्या कहा जाता है।

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

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

कवरिंग मानचित्र की स्थिति में, हम इसे कंपन के एक विशेष स्थितियों के रूप में देखते है, और होमोटॉपी उत्थापित की गयी विशेशता का उपयोग आधार समष्‍टि X पर पथों का "अनुसरण" करने के लिए करते है (हम इसे सरलता के लिए पथ से जुड़े होते है) जैसा कि कवर c में उत्थापित किये जाते है। यदि हम एक्स में एक्स पर आधारित एक लूप का पालन करते है, जिसे हम एक्स के ऊपर c पर प्रारंभ करने के लिए उत्थापित रहते है, तो एक्स के ऊपर कुछ c* पर समाप्त हो जाते है , यह संभव है कि c ≠ c*, और इसे कोड करने के लिए मौलिक समूह π₁(X, x) को c के सेट पर क्रमपरिवर्तन समूह के रूप में माना जाता है, इस संदर्भ में एक 'मोनोड्रोमी समूह' के रूप में जाना जाता है।

विभेदक ज्यामिति में, समानांतर परिवहन द्वारा एक समान भूमिका निभाई जाती है। एक समतल मैनिफोल्ड एम पर एक प्रमुख बंडल बी में, एक कनेक्शन एम से ऊपर के क्षैतिज गति की अनुमति देता है। एम पर आधारित लूपों पर लागू होने पर प्रभाव एम पर फाइबर के अनुवाद के एक ' होलोनॉमी ' समूह को परिभाषित करता है, यदि B का संरचना समूह G है, तो यह G का एक उपसमूह है जो गुणनफल M × G से B विचलन को मापता है।

मोनोड्रोमी ग्रुपॉयड और फोलिएशन

File:Monodromy action.svg

आधार में एक पथ में इसे उठाने वाले कुल स्थान में पथ होते है। इन रास्तों के साथ धकेलने से मौलिक ग्रुपॉयड से मोनोड्रोमी क्रिया होती है।

मौलिक समूह के अनुरूप एक आधार बिंदु की विकल्प से मुक्त करना और एक मोनोड्रोमी ग्रुपॉयड को परिभाषित करना संभव होता है। यहां हम कंपन के आधारसमष्‍टि X में मार्ग के लिफ्टों (होमोटॉपी क्लास) पर विचार करते है $p:{\tilde {X}}\to X$ परिणाम में आधारसमष्‍टि X के ऊपर एक समूह की संरचना होती है। लाभ यह है कि हम X की संबद्धता की स्थिति को कम कर सकते है।

इसके अतिरिक्त निर्माण को पर्णसमूह के लिए सामान्यीकृत भी किया जा सक�