मोनोड्रोमी: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 4: Line 4:


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


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


एक नियमित (और विशेष रूप से फुचियन) रैखिक प्रणाली के लिए सामान्यतः मोनोड्रोमी समूह के जनरेटर के रूप में ऑपरेटरों एम को चुनता है<sub>j</sub>लूप के अनुरूप जिनमें से प्रत्येक सिस्टम के ध्रुवों में से केवल एक ध्रुव को वामावर्त घुमाता है। यदि सूचकांक j को इस तरह से चुना जाता है कि वे 1 से बढ़कर p + 1 हो जाते हैं जब कोई आधार बिंदु को दक्षिणावर्त घुमाता है, तो जनरेटर के बीच एकमात्र संबंध समानता है <math>M_1\cdots M_{p+1}=\operatorname{id}</math>. Deligne-Simpson समस्या निम्नलिखित प्राप्ति समस्या है: GL(n, 'C') में संयुग्मन वर्गों के किन टुपल्स के लिए मेट्रिसेस M के इरेड्यूसिबल टुपल्स मौजूद हैं<sub>j</sub>उपरोक्त संबंध को संतुष्ट करने वाले इन वर्गों से? इस समस्या को पियरे डेलिग्ने द्वारा तैयार किया गया है और [[ चार्ल्स सिम्पसन ]] इसके समाधान की दिशा में परिणाम प्राप्त करने वाले पहले व्यक्ति थे। [[व्लादिमीर कोस्तोव]] द्वारा फ्यूचियन सिस्टम के अवशेषों के बारे में समस्या का एक योगात्मक संस्करण तैयार और खोजा गया है। समस्या को GL(n, 'C') के अलावा मैट्रिक्स समूहों के लिए अन्य लेखकों द्वारा भी माना गया है।<ref>{{Citation|author=V. P. Kostov|title=The Deligne–Simpson problem — a survey|journal=J. Algebra|volume=281|year=2004|issue=1|pages=83–108|mr=2091962|doi=10.1016/j.jalgebra.2004.07.013|arxiv=math/0206298|s2cid=119634752}} and the references therein.</ref>
एक नियमित (और विशेष रूप से फुचियन) रैखिक प्रणाली के लिए सामान्यतः मोनोड्रोमी समूह के जनरेटर के रूप में ऑपरेटरों एम को चुनता है<sub>j</sub>लूप के अनुरूप जिनमें से प्रत्येक सिस्टम के ध्रुवों में से केवल एक ध्रुव को वामावर्त घुमाता है। यदि सूचकांक j को इस तरह से चुना जाता है कि वे 1 से बढ़कर p + 1 हो जाते हैं जब कोई आधार बिंदु को दक्षिणावर्त घुमाता है, तो जनरेटर के बीच एकमात्र संबंध समानता है <math>M_1\cdots M_{p+1}=\operatorname{id}</math>. Deligne-Simpson समस्या निम्नलिखित प्राप्ति समस्या है: GL(n, 'C') में संयुग्मन वर्गों के किन टुपल्स के लिए मेट्रिसेस M के इरेड्यूसिबल टुपल्स मौजूद हैं<sub>j</sub>उपरोक्त संबंध को संतुष्ट करने वाले इन वर्गों से? इस समस्या को पियरे डेलिग्ने द्वारा तैयार किया गया है और [[ चार्ल्स सिम्पसन ]] इसके समाधान की दिशा में परिणाम प्राप्त करने वाले पहले व्यक्ति थे। [[व्लादिमीर कोस्तोव]] द्वारा फ्यूचियन सिस्टम के अवशेषों के बारे में समस्या का एक योगात्मक संस्करण तैयार और खोजा गया है। समस्या को GL(n, 'C') के अतिरिक्त मैट्रिक्स समूहों के लिए अन्य लेखकों द्वारा भी माना गया है।<ref>{{Citation|author=V. P. Kostov|title=The Deligne–Simpson problem — a survey|journal=J. Algebra|volume=281|year=2004|issue=1|pages=83–108|mr=2091962|doi=10.1016/j.jalgebra.2004.07.013|arxiv=math/0206298|s2cid=119634752}} and the references therein.</ref>




== सामयिक और ज्यामितीय पहलू ==
== सामयिक और ज्यामितीय पहलू ==
एक कवरिंग मानचित्र के मामले में, हम इसे एक [[कंपन]] के एक विशेष मामले के रूप में देखते हैं, और होमोटोपी उठाने की संपत्ति का उपयोग बेस स्पेस एक्स पर पथों का पालन करने के लिए करते हैं (हम इसे सादगी के लिए पथ से जुड़े मानते हैं) क्योंकि वे ऊपर उठाए जाते हैं कवर सी। यदि हम एक्स में एक्स पर आधारित एक लूप का पालन करते हैं, जिसे हम एक्स के ऊपर सी पर शुरू करने के लिए उठाते हैं, तो हम एक्स के ऊपर कुछ सी * पर समाप्त हो जाएंगे; यह बहुत संभव है कि सी ≠ सी *, और इसे कोड करने के लिए मौलिक समूह की कार्रवाई पर विचार करें {{pi}}<sub>1</sub>(एक्स, एक्स) इस संदर्भ में एक 'मोनोड्रोमी समूह' के रूप में, सभी सी के सेट पर क्रमचय समूह के रूप में।
एक कवरिंग मानचित्र के मामले में, हम इसे एक [[कंपन]] के एक विशेष मामले के रूप में देखते हैं, और होमोटोपी उठाने की संपत्ति का उपयोग आधारसमष्‍टि एक्स पर पथों का पालन करने के लिए करते हैं (हम इसे सादगी के लिए पथ से जुड़े मानते हैं) क्योंकि वे ऊपर उठाए जाते हैं कवर सी। यदि हम एक्स में एक्स पर आधारित एक लूप का पालन करते हैं, जिसे हम एक्स के ऊपर सी पर शुरू करने के लिए उठाते हैं, तो हम एक्स के ऊपर कुछ सी * पर समाप्त हो जाएंगे; यह बहुत संभव है कि सी ≠ सी *, और इसे कोड करने के लिए मौलिक समूह की कार्रवाई पर विचार करें {{pi}}<sub>1</sub>(एक्स, एक्स) इस संदर्भ में एक 'मोनोड्रोमी समूह' के रूप में, सभी सी के सेट पर क्रमचय समूह के रूप में।


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


=== मोनोड्रोमी ग्रुपॉयड और फोलिएशन ===
=== मोनोड्रोमी ग्रुपॉयड और फोलिएशन ===
[[File:Monodromy action.svg|thumb|upright=0.3|आधार में एक पथ में इसे उठाने वाले कुल स्थान में पथ होते हैं। इन रास्तों के साथ धकेलने से मौलिक ग्रुपॉयड से मोनोड्रोमी क्रिया होती है।]]मौलिक समूह के अनुरूप एक आधार बिंदु की पसंद से छुटकारा पाना और एक मोनोड्रोमी ग्रुपॉयड को परिभाषित करना संभव है। यहां हम एक कंपन के बेस स्पेस एक्स में रास्तों के लिफ्टों (होमोटॉपी क्लास) पर विचार करते हैं  <math>p:\tilde X\to X</math>. परिणाम में बेस स्पेस X के ऊपर एक [[groupoid]] की संरचना है। इसका फायदा यह है कि हम X की कनेक्टिविटी की स्थिति को छोड़ सकते हैं।
[[File:Monodromy action.svg|thumb|upright=0.3|आधार में एक पथ में इसे उठाने वाले कुल स्थान में पथ होते हैं। इन रास्तों के साथ धकेलने से मौलिक ग्रुपॉयड से मोनोड्रोमी क्रिया होती है।]]मौलिक समूह के अनुरूप एक आधार बिंदु की विकल्प से मुक्त करना और एक मोनोड्रोमी ग्रुपॉयड को परिभाषित करना संभव होता है। यहां हम कंपन के आधारसमष्‍टि X में मार्ग के लिफ्टों (होमोटॉपी क्लास) पर विचार करते हैं  <math>p:\tilde X\to X</math> परिणाम में आधारसमष्‍टि X के ऊपर एक [[groupoid|समूह]] की संरचना होती है। लाभ यह है कि हम X की संबद्धता की स्थिति को कम कर सकते हैं।


इसके अलावा निर्माण को पर्णसमूह के लिए सामान्यीकृत भी किया जा सकता है: विचार करें <math>(M,\mathcal{F})</math> (संभवतः एकवचन) एम का पत्ते। फिर प्रत्येक पथ के लिए एक पत्ते में <math>\mathcal{F}</math> हम समापन बिंदुओं के माध्यम से स्थानीय अनुप्रस्थ वर्गों पर इसके प्रेरित भिन्नता पर विचार कर सकते हैं। एक साधारण रूप से जुड़े हुए चार्ट के भीतर, यह भिन्नता अद्वितीय और विशेष रूप से अलग-अलग अनुप्रस्थ वर्गों के बीच विहित हो जाती है यदि हम अंत बिंदुओं के चारों ओर भिन्नता के जर्म (गणित) पर जाते हैं। इस तरह यह एक साधारण रूप से जुड़े चार्ट के भीतर पथ (निश्चित समापन बिंदुओं के बीच) से भी स्वतंत्र हो जाता है और इसलिए समरूपता के तहत अपरिवर्तनीय है।
इसके अतिरिक्त निर्माण को पर्णसमूह के लिए सामान्यीकृत भी किया जा सकता है: विचार करें <math>(M,\mathcal{F})</math> A (संभवतः एकमात्र) एम का वर्क होता है। फिर प्रत्येक पथ के लिए एक वर्क में <math>\mathcal{F}</math> समापन बिंदुओं के माध्यम से स्थानीय अनुप्रस्थ वर्गों पर इसके प्रेरित भिन्नता पर विचार कर सकते हैं। एक साधारण रूप से जुड़े हुए चार्ट के भीतर यह अंतररूपवाद अद्वितीय और विशेष रूप से अलग-अलग अनुप्रस्थ वर्गों के बीच विहित हो जाता है यदि हम अंत बिंदुओं के चारों ओर भिन्नता के रोगाणु पर जाते हैं। इस तरह यह एक साधारण रूप से जुड़े चार्ट के भीतर पथ (निश्चित समापन बिंदुओं के बीच) से भी स्वतंत्र हो जाता है और इसलिए समरूपता के तहत अपरिवर्तनीय होता है।


== गाल्वा सिद्धांत के माध्यम से परिभाषा ==
== गाल्वा सिद्धांत के माध्यम से परिभाषा ==

Revision as of 01:19, 7 May 2023

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

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

परिभाषा

होने देना X बेस पॉइंट के साथ कनेक्टेड और स्थानीय रूप से कनेक्टेड आधारित टोपोलॉजिकल स्पेस हो x, और जाने फाइबर के साथ एक कवरिंग मैप बनें (गणित) . एक पाश के लिए γ: [0, 1] → X पर आधारित x, एक बिंदु पर शुरू होने वाले कवरिंग मैप के तहत एक होमोटॉपी उठाने की संपत्ति को निरूपित करें , द्वारा . अंत में, हम द्वारा निरूपित करते हैं समापन बिंदु , जो सामान्यतः से अलग होता है . ऐसे प्रमेय हैं जो बताते हैं कि यह निर्माण मौलिक समूह की एक अच्छी तरह से परिभाषित समूह क्रिया (गणित) देता है π1(X, x) पर F, और वह स्टेबलाइज़र (समूह सिद्धांत)। बिल्कुल सही है , अर्थात् एक तत्व [γ] में एक बिंदु तय करता है F अगर और केवल अगर यह एक लूप की छवि द्वारा दर्शाया गया है पर आधारित . इस क्रिया को मोनोड्रोमी क्रिया और संबंधित समूह समरूपता कहा जाता है π1(Xx) → Aut(H*(Fx)) ऑटोमोर्फिज़्म समूह में F बीजगणितीय मोनोड्रोमी है। इस समरूपता की छवि मोनोड्रोमी समूह है। एक और नक्शा है π1(Xx) → Diff(Fx)/Is(Fx) जिसकी छवि को टोपोलॉजिकल मोनोड्रोमी ग्रुप कहा जाता है।

उदाहरण

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

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

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

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

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

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

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