शाखित आवरण: Difference between revisions
No edit summary |
No edit summary |
||
Line 13: | Line 13: | ||
=== शाखा स्थान === | === शाखा स्थान === | ||
<math>W</math> पर असाधारण बिंदुओं के समूह को परिणाम लोकस कहा जाता है (अर्थात यह सबसे बड़ा संभव ओपन समूह <math>W'</math> का पूरक है)। सामान्य मोनोड्रोमी में <math>W'</math> के मौलिक समूह के अनुसार आवरण की शीट्स पर अभिनय होता है (सामान्य आधार क्षेत्र के स्थिति में भी इस स्थलीय चित्र को स्पष्ट बनाया जा सकता है)। | |||
=== | === कुमर विस्तार === | ||
शाखित आवरण आसानी से [[कुमार विस्तार]] के रूप में निर्मित होते हैं, अर्थात बीजगणितीय विविधता के कार्य क्षेत्र के [[बीजगणितीय विस्तार]] के रूप में [[हाइपरेलिप्टिक वक्र]] प्रोटोटाइपिक उदाहरण हैं। | |||
=== असंबद्ध आवरण === | === असंबद्ध आवरण === | ||
Line 23: | Line 23: | ||
== उदाहरण == | == उदाहरण == | ||
=== | === दीर्घवृत्तीय वक्र === | ||
वक्रों के आकारिकी शाखायुक्त आवरणों के कई उदाहरण प्रदान करते हैं। उदाहरण के लिए, चलो {{math|''C''}} समीकरण का [[अण्डाकार वक्र]] | वक्रों के आकारिकी शाखायुक्त आवरणों के कई उदाहरण प्रदान करते हैं। उदाहरण के लिए, चलो {{math|''C''}} समीकरण का [[अण्डाकार वक्र|दीर्घवृत्तीय वक्र]] होने दें | ||
:<math>y^2 - x(x-1)(x-2)=0.</math> | :<math>y^2 - x(x-1)(x-2)=0.</math> | ||
का प्रक्षेपण {{math|''C''}} उस पर {{math|''x''}}- | का प्रक्षेपण {{math|''C''}} उस पर {{math|''x''}}-अक्ष एक शाखायुक्त आवरण है जिसके द्वारा दिए गए शाखास्थल हैं | ||
:<math>x(x-1)(x-2)=0.</math> | :<math>x(x-1)(x-2)=0.</math> | ||
ऐसा इसलिए है क्योंकि इन तीन | ऐसा इसलिए है क्योंकि इन तीन मानो के लिए {{math|''x''}} फाइबर दोहरा बिंदु है <math>y^2=0,</math> जबकि {{math|''x''}} के किसी भी अन्य मान के लिए , फाइबर में दो अलग-अलग बिंदु (बीजगणितीय रूप से बंद क्षेत्र में) होते हैं । | ||
यह प्रक्षेपण एक बीजगणितीय विविधता के कार्य क्षेत्र के दो डिग्री के बीजगणितीय विस्तार को प्रेरित करता है: | यह प्रक्षेपण एक बीजगणितीय विविधता के कार्य क्षेत्र के दो डिग्री के बीजगणितीय विस्तार को प्रेरित करता है: | ||
इसके | |||
इसके अतिरिक्त , यदि हम अंतर्निहित क्रमविनिमेय छल्लों के अंश क्षेत्रों को लेते हैं, तो हमें आकारिकी मिलती है | |||
:<math>\mathbb{C}(x) \to \mathbb{C}(x)[y]/(y^2 - x(x-1)(x-2))</math> | :<math>\mathbb{C}(x) \to \mathbb{C}(x)[y]/(y^2 - x(x-1)(x-2))</math> | ||
इसलिए यह प्रक्षेपण एक डिग्री 2 शाखित आवरण है। इसे प्रक्षेपी रेखा के संगत प्रक्षेपी | इसलिए यह प्रक्षेपण एक डिग्री 2 शाखित आवरण है। इसे प्रक्षेपी रेखा के संगत प्रक्षेपी दीर्घवृत्तीय वक्र के एक डिग्री 2 शाखित आवरण का निर्माण करने के लिए समरूप बनाया जा सकता है। | ||
=== समतल बीजगणितीय वक्र === | === समतल बीजगणितीय वक्र === | ||
पिछले उदाहरण को निम्नलिखित | पिछले उदाहरण को निम्नलिखित विधि से किसी भी बीजगणितीय समतल वक्र के लिए सामान्यीकृत किया जा सकता है। | ||
मान लीजिए {{math|''C''}} एक समतल वक्र है जो समीकरण {{math|1=''f''(''x'',''y'') = 0}}, जहाँ {{math|''f''}} दो अनिर्धारकों में एक [[वियोज्य बहुपद]] और [[अलघुकरणीय बहुपद]] बहुपद है। अगर {{math|''n''}} {{math|''y''}} में {{math|''f''}}, की डिग्री है, तो {{math|''x''}} के मानों की परिमित संख्या को छोड़कर फाइबर में {{math|''n''}} विशिष्ट बिंदु होते है इस प्रकार, यह प्रक्षेपण डिग्री {{math|''n''}} का एक शाखित आवरण है . | |||
{{math|''x''}} के असाधारण मान {{math|''f''}} में <math>y^n</math> के गुणांक की जड़ें हैं, और {{math|''y''}} के संबंध में {{math|''f''}} के भेदभाव की जड़ें हैं। | |||
विवेचक के मूल {{math|''r''}} पर, कम से कम एक शाखायुक्त बिंदु होता है, जो या तो एक [[महत्वपूर्ण बिंदु (गणित)]] या एकवचन बिंदु होता है। यदि {{math|''r''}} , {{math|''f''}} में <math>y^n</math> के गुणांक का एक मूल भी है, तो यह शाखित बिंदु [[अनंत पर बिंदु]] है। | |||
{{math|''f''}} में <math>y^n</math> के गुणांक के मूल {{math|''s''}} पर, वक्र {{math|''C''}} की एक अनंत शाखा है, और {{math|''s''}} पर फाइबर में {{math|''n''}} बिंदुओं से कम है। किंतु , यदि कोई प्रक्षेपण को {{math|''C''}} और {{math|''x''}} -अक्ष की प्रक्षेप्य पूर्णता तक बढ़ाता है, और यदि {{math|''s''}} विवेचक की जड़ नहीं है, तो प्रक्षेपण {{math|''s''}} के निकट पर एक आवरण बन जाता है। | |||
तथ्य यह है कि यह प्रक्षेपण डिग्री | तथ्य यह है कि यह प्रक्षेपण डिग्री {{math|''n''}} का एक शाखित आवरण है, जिसे कार्य क्षेत्रों पर विचार करके भी देखा जा सकता है। वास्तव में, यह प्रक्षेपण डिग्री {{math|''n''}} के क्षेत्र विस्तार से मेल खाता है | ||
:<math>\mathbb C(x) \to \mathbb C(x)[y]/f(x,y).</math> | :<math>\mathbb C(x) \to \mathbb C(x)[y]/f(x,y).</math> | ||
=== भिन्न प्रभाव === | === भिन्न प्रभाव === | ||
हम अलग-अलग रेमीफिकेशन डिग्री के साथ | हम अलग-अलग रेमीफिकेशन डिग्री के साथ रेखा के शाखित आवरणों का सामान्यीकरण भी कर सकते हैं। प्रपत्र के बहुपद पर विचार करें | ||
:<math>f(x,y) = g(x)</math> | :<math>f(x,y) = g(x)</math> | ||
जैसा कि हम अलग-अलग बिंदु | जैसा कि हम अलग-अलग बिंदु <math>x=\alpha</math> चुनते हैं, <math>f(\alpha,y) - g(\alpha)</math> के विलुप्त होने वाले स्थान द्वारा दिए गए फाइबर अलग-अलग होते हैं। किसी भी बिंदु पर जहां <math>f(\alpha,y) - g(\alpha)</math> के गुणनखंड में एक रैखिक शब्द की बहुलता एक से बढ़ जाती है, वहां एक शाखाकरण होता है। | ||
== योजना सैद्धांतिक उदाहरण == | == योजना सैद्धांतिक उदाहरण == | ||
=== | === दीर्घवृत्तीय वक्र === | ||
वक्रों के आकारिकी योजनाओं के शाखायुक्त आवरणों के कई उदाहरण प्रदान करते हैं। उदाहरण के लिए, एक सजातीय | वक्रों के आकारिकी योजनाओं के शाखायुक्त आवरणों के कई उदाहरण प्रदान करते हैं। उदाहरण के लिए, एक सजातीय दीर्घवृत्तीय वक्र से एक रेखा तक आकारिकी | ||
:<math>\text{Spec}\left( {\mathbb{C}[x,y]}/{(y^2 - x(x-1)(x-2)} \right) \to \text{Spec}(\mathbb{C}[x])</math> | :<math>\text{Spec}\left( {\mathbb{C}[x,y]}/{(y^2 - x(x-1)(x-2)} \right) \to \text{Spec}(\mathbb{C}[x])</math> | ||
द्वारा दिए गए शाखास्थल लोकस के साथ एक शाखित आवरण है | द्वारा दिए गए शाखास्थल लोकस के साथ एक शाखित आवरण है | ||
Line 67: | Line 69: | ||
:<math>\mathbb{C}(x) \to {\mathbb{C}(x)[y]}/{(y^2 - x(x-1)(x-2))},</math> | :<math>\mathbb{C}(x) \to {\mathbb{C}(x)[y]}/{(y^2 - x(x-1)(x-2))},</math> | ||
जो डिग्री दो का बीजगणितीय विस्तार है; | जो डिग्री दो का बीजगणितीय विस्तार है; | ||
इसलिए हमें एफ़िन | इसलिए हमें एफ़िन रेखा के लिए एक अंडाकार वक्र का एक डिग्री 2 शाखित आवरण मिला। इसे प्रक्षेपी दीर्घवृत्तीय वक्र के आकारिकी के निर्माण के लिए समरूप बनाया जा सकता है <math>\mathbb{P}^1</math>. | ||
=== अतिअण्डाकार वक्र === | === अतिअण्डाकार वक्र === | ||
एक हाइपरेलिप्टिक वक्र उपरोक्त डिग्री का सामान्यीकरण प्रदान करता है <math>2</math> एफ़िन | एक हाइपरेलिप्टिक वक्र उपरोक्त डिग्री का सामान्यीकरण प्रदान करता है <math>2</math> एफ़िन रेखा का कवर, परिभाषित एफ़िन योजना पर विचार करके <math>\mathbb C</math> रूप के बहुपद द्वारा | ||
:<math>y^2 - \prod(x-a_i)</math> | :<math>y^2 - \prod(x-a_i)</math> जहाँ <math>a_i \neq a_j</math> के लिए <math>i\neq j</math> | ||
=== एफाइन | === एफाइन रेखा की उच्च डिग्री कवरिंग === | ||
हम आकृतिवाद लेकर पिछले उदाहरण का सामान्यीकरण कर सकते हैं | हम आकृतिवाद लेकर पिछले उदाहरण का सामान्यीकरण कर सकते हैं | ||
:<math>\text{Spec}\left( \frac{\mathbb{C}[x,y]}{(f(y) - g(x))} \right) \to \text{Spec}(\mathbb{C}[x])</math> | :<math>\text{Spec}\left( \frac{\mathbb{C}[x,y]}{(f(y) - g(x))} \right) \to \text{Spec}(\mathbb{C}[x])</math> | ||
जहाँ <math>g(x)</math> कोई दोहराया जड़ नहीं है। फिर शाखाकरण ठिकाना द्वारा दिया जाता है | |||
:<math>X = \text{Spec}\left( \frac{\mathbb{C}[x]}{(f(x))} \right)</math> | :<math>X = \text{Spec}\left( \frac{\mathbb{C}[x]}{(f(x))} \right)</math> | ||
जहां फाइबर द्वारा दिया जाता है | जहां फाइबर द्वारा दिया जाता है | ||
Line 89: | Line 91: | ||
===अतिअण्डाकार वक्र === | ===अतिअण्डाकार वक्र === | ||
[[सुपरएलिप्टिक वक्र]] हाइपरेलिप्टिक कर्व्स का एक सामान्यीकरण है और उदाहरणों के पिछले परिवार का एक विशेषज्ञता है क्योंकि वे एफ़िन योजनाओं द्वारा दिए गए हैं <math>X/\mathbb{C}</math> रूप के बहुपदों से | [[सुपरएलिप्टिक वक्र]] हाइपरेलिप्टिक कर्व्स का एक सामान्यीकरण है और उदाहरणों के पिछले परिवार का एक विशेषज्ञता है क्योंकि वे एफ़िन योजनाओं द्वारा दिए गए हैं <math>X/\mathbb{C}</math> रूप के बहुपदों से | ||
:<math>y^k - f(x)</math> | :<math>y^k - f(x)</math> जहाँ <math>k>2</math> और <math>f(x)</math> कोई दोहराया जड़ नहीं है। | ||
=== प्रोजेक्टिव स्पेस के रेमीफाइड कवरिंग === | === प्रोजेक्टिव स्पेस के रेमीफाइड कवरिंग === |
Revision as of 12:27, 25 April 2023
गणित में, शाखित आच्छादन एक ऐसा मानचित्र होता है जो एक छोटे समूह को छोड़कर लगभग एक आच्छादित मानचित्र होता है।
टोपोलॉजी में
टोपोलॉजी में, एक मानचित्र एक शाखित आवरण होता है, यदि यह शाखा समुच्चय के रूप में जाने जाने वाले घने समूह को छोड़कर हर जगह एक आवरण मानचित्र है। उदाहरणों में रोज़ (टोपोलॉजी) से एक वृत्त तक का मानचित्र सम्मिलित है, जहां मानचित्र प्रत्येक वृत्त पर होमियोमोर्फिज्म है।
बीजगणितीय ज्यामिति में
बीजगणितीय ज्यामिति में, शाखित आवरण शब्द का उपयोग एक बीजगणितीय किस्म दूसरे को तक रूपवाद को आकारिता का वर्णन करने के लिए किया जाता है एक बीजगणितीय किस्म से दूसरे को , एक बीजगणितीय किस्मों के समान होने के दो आयाम और विशिष्ट फाइबर आयाम 0 का होना।दो आयाम समान होते हैं और का विशिष्ट फाइबर आयाम 0 का होता है।
उस स्थिति में, का एक खुला समूह होगा (जरिस्की टोपोलॉजी के लिए) जो में सघन है , जैसे कि से का प्रतिबंध (से को , अर्थात) रमीकरण (गणित) है।[clarification needed] संदर्भ के आधार पर, हम इसे शसक्त टोपोलॉजी के लिए स्थानीय होमोमोर्फिज्म के रूप में ले सकते हैं, जटिल संख्याओं पर, या सामान्य रूप से एक ईटेल रूपवाद के रूप में (कुछ थोड़े शसक्त अनुमानों के तहत, समतल मॉड्यूल और वियोज्य विस्तार पर)। सामान्यतः , इस तरह के आकारिकी सामयिक अर्थों में एक आवरण स्थान जैसा दिखता है। उदाहरण के लिए, यदि और दोनों कॉम्पैक्ट रीमैन सतहें हैं, हमें केवल उसी की आवश्यकता है होलोमॉर्फिक है और स्थिर नहीं है, और फिर बिंदु का एक परिमित समूह है , जिसके बाहर हम एक ईमानदार आवरण पाते हैं
- .
शाखा स्थान
पर असाधारण बिंदुओं के समूह को परिणाम लोकस कहा जाता है (अर्थात यह सबसे बड़ा संभव ओपन समूह का पूरक है)। सामान्य मोनोड्रोमी में के मौलिक समूह के अनुसार आवरण की शीट्स पर अभिनय होता है (सामान्य आधार क्षेत्र के स्थिति में भी इस स्थलीय चित्र को स्पष्ट बनाया जा सकता है)।
कुमर विस्तार
शाखित आवरण आसानी से कुमार विस्तार के रूप में निर्मित होते हैं, अर्थात बीजगणितीय विविधता के कार्य क्षेत्र के बीजगणितीय विस्तार के रूप में हाइपरेलिप्टिक वक्र प्रोटोटाइपिक उदाहरण हैं।
असंबद्ध आवरण
एक अविभाजित आवरण तब एक खाली शाखा स्थान की घटना है।
उदाहरण
दीर्घवृत्तीय वक्र
वक्रों के आकारिकी शाखायुक्त आवरणों के कई उदाहरण प्रदान करते हैं। उदाहरण के लिए, चलो C समीकरण का दीर्घवृत्तीय वक्र होने दें
का प्रक्षेपण C उस पर x-अक्ष एक शाखायुक्त आवरण है जिसके द्वारा दिए गए शाखास्थल हैं
ऐसा इसलिए है क्योंकि इन तीन मानो के लिए x फाइबर दोहरा बिंदु है जबकि x के किसी भी अन्य मान के लिए , फाइबर में दो अलग-अलग बिंदु (बीजगणितीय रूप से बंद क्षेत्र में) होते हैं ।
यह प्रक्षेपण एक बीजगणितीय विविधता के कार्य क्षेत्र के दो डिग्री के बीजगणितीय विस्तार को प्रेरित करता है:
इसके अतिरिक्त , यदि हम अंतर्निहित क्रमविनिमेय छल्लों के अंश क्षेत्रों को लेते हैं, तो हमें आकारिकी मिलती है
इसलिए यह प्रक्षेपण एक डिग्री 2 शाखित आवरण है। इसे प्रक्षेपी रेखा के संगत प्रक्षेपी दीर्घवृत्तीय वक्र के एक डिग्री 2 शाखित आवरण का निर्माण करने के लिए समरूप बनाया जा सकता है।
समतल बीजगणितीय वक्र
पिछले उदाहरण को निम्नलिखित विधि से किसी भी बीजगणितीय समतल वक्र के लिए सामान्यीकृत किया जा सकता है।
मान लीजिए C एक समतल वक्र है जो समीकरण f(x,y) = 0, जहाँ f दो अनिर्धारकों में एक वियोज्य बहुपद और अलघुकरणीय बहुपद बहुपद है। अगर n y में f, की डिग्री है, तो x के मानों की परिमित संख्या को छोड़कर फाइबर में n विशिष्ट बिंदु होते है इस प्रकार, यह प्रक्षेपण डिग्री n का एक शाखित आवरण है .
x के असाधारण मान f में के गुणांक की जड़ें हैं, और y के संबंध में f के भेदभाव की जड़ें हैं।
विवेचक के मूल r पर, कम से कम एक शाखायुक्त बिंदु होता है, जो या तो एक महत्वपूर्ण बिंदु (गणित) या एकवचन बिंदु होता है। यदि r , f में के गुणांक का एक मूल भी है, तो यह शाखित बिंदु अनंत पर बिंदु है।
f में के गुणांक के मूल s पर, वक्र C की एक अनंत शाखा है, और s पर फाइबर में n बिंदुओं से कम है। किंतु , यदि कोई प्रक्षेपण को C और x -अक्ष की प्रक्षेप्य पूर्णता तक बढ़ाता है, और यदि s विवेचक की जड़ नहीं है, तो प्रक्षेपण s के निकट पर एक आवरण बन जाता है।
तथ्य यह है कि यह प्रक्षेपण डिग्री n का एक शाखित आवरण है, जिसे कार्य क्षेत्रों पर विचार करके भी देखा जा सकता है। वास्तव में, यह प्रक्षेपण डिग्री n के क्षेत्र विस्तार से मेल खाता है
भिन्न प्रभाव
हम अलग-अलग रेमीफिकेशन डिग्री के साथ रेखा के शाखित आवरणों का सामान्यीकरण भी कर सकते हैं। प्रपत्र के बहुपद पर विचार करें
जैसा कि हम अलग-अलग बिंदु चुनते हैं, के विलुप्त होने वाले स्थान द्वारा दिए गए फाइबर अलग-अलग होते हैं। किसी भी बिंदु पर जहां के गुणनखंड में एक रैखिक शब्द की बहुलता एक से बढ़ जाती है, वहां एक शाखाकरण होता है।
योजना सैद्धांतिक उदाहरण
दीर्घवृत्तीय वक्र
वक्रों के आकारिकी योजनाओं के शाखायुक्त आवरणों के कई उदाहरण प्रदान करते हैं। उदाहरण के लिए, एक सजातीय दीर्घवृत्तीय वक्र से एक रेखा तक आकारिकी
द्वारा दिए गए शाखास्थल लोकस के साथ एक शाखित आवरण है
ऐसा इसलिए है क्योंकि किसी भी बिंदु पर में फाइबर योजना है
साथ ही, यदि हम अंतर्निहित क्रमविनिमेय वलयों के भिन्न क्षेत्रों को लेते हैं, तो हमें क्षेत्र समाकारिता प्राप्त होती है
जो डिग्री दो का बीजगणितीय विस्तार है; इसलिए हमें एफ़िन रेखा के लिए एक अंडाकार वक्र का एक डिग्री 2 शाखित आवरण मिला। इसे प्रक्षेपी दीर्घवृत्तीय वक्र के आकारिकी के निर्माण के लिए समरूप बनाया जा सकता है .
अतिअण्डाकार वक्र
एक हाइपरेलिप्टिक वक्र उपरोक्त डिग्री का सामान्यीकरण प्रदान करता है एफ़िन रेखा का कवर, परिभाषित एफ़िन योजना पर विचार करके रूप के बहुपद द्वारा
- जहाँ के लिए
एफाइन रेखा की उच्च डिग्री कवरिंग
हम आकृतिवाद लेकर पिछले उदाहरण का सामान्यीकरण कर सकते हैं
जहाँ कोई दोहराया जड़ नहीं है। फिर शाखाकरण ठिकाना द्वारा दिया जाता है
जहां फाइबर द्वारा दिया जाता है
फिर, हमें अंश क्षेत्रों का एक प्रेरित आकार मिलता है
वहाँ है एक -मॉड्यूल समरूपता लक्ष्य के साथ
इसलिए आवरण डिग्री का है .
अतिअण्डाकार वक्र
सुपरएलिप्टिक वक्र हाइपरेलिप्टिक कर्व्स का एक सामान्यीकरण है और उदाहरणों के पिछले परिवार का एक विशेषज्ञता है क्योंकि वे एफ़िन योजनाओं द्वारा दिए गए हैं रूप के बहुपदों से
- जहाँ और कोई दोहराया जड़ नहीं है।
प्रोजेक्टिव स्पेस के रेमीफाइड कवरिंग
उदाहरणों का एक और उपयोगी वर्ग प्रोजेक्टिव स्पेस के रेमीफाइड कवरिंग से आता है। एक सजातीय बहुपद दिया गया है हम एक शाखायुक्त आवरण का निर्माण कर सकते हैं शाखास्थल के साथ
प्रक्षेपी योजनाओं के आकारिकी पर विचार करके
फिर, यह डिग्री का एक आवरण होगा .
अनुप्रयोग
शाखित आवरण परिवर्तनों के समरूपता समूह के साथ आते हैं . चूंकि समरूपता समूह में रेमीफिकेशन लोकस के बिंदुओं पर स्टेबलाइज़र होते हैं, शाखाओं वाले आवरणों का उपयोग ऑर्बिफॉल्ड्स, या स्टैक (गणित) के उदाहरणों के निर्माण के लिए किया जा सकता है। डेलिग्ने-ममफोर्ड स्टैक्स।
यह भी देखें
- एटेल मोर्फिज्म
- ऑर्बिफोल्ड
- ढेर (गणित)
संदर्भ
- Dimca, Alexandru (1992), Singularities and Topology of Hypersurfaces, Berlin, New York: Springer-Verlag, ISBN 978-0-387-97709-6
- Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157, OCLC 13348052
- Osserman, Brian, Branched Covers of the Riemann Sphere (PDF)