शाखित आवरण: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 2: Line 2:


== टोपोलॉजी में ==
== टोपोलॉजी में ==
टोपोलॉजी में, एक मानचित्र एक शाखित आवरण होता है, यदि यह शाखा समुच्चय के रूप में जाने जाने वाले घने समूह को छोड़कर हर जगह एक आवरण मानचित्र है। उदाहरणों में रोज़ (टोपोलॉजी) से एक वृत्त तक का मानचित्र सम्मिलित है, जहां मानचित्र प्रत्येक वृत्त पर [[होमियोमोर्फिज्म]] है।
टोपोलॉजी में, एक मानचित्र एक शाखित आवरण होता है, यदि यह शाखा समुच्चय के रूप में जाने जाने वाले घने समूह को छोड़कर हर जगह एक आवरण मानचित्र है। उदाहरणों में रोज़ (टोपोलॉजी) से एक वृत्त तक का मानचित्र सम्मिलित है, जहां मानचित्र प्रत्येक वृत्त पर [[होमियोमोर्फिज्म]] है।


== [[बीजगणितीय ज्यामिति]] में ==
== [[बीजगणितीय ज्यामिति]] में ==


बीजगणितीय ज्यामिति में, शाखित आवरण शब्द का उपयोग एक [[बीजगणितीय किस्म]] <math>V</math> दूसरे को <math>W</math> तक रूपवाद <math>f</math> को [[आकारिता]] का वर्णन करने के लिए किया जाता है '''<math>f</math> एक [[बीजगणितीय किस्म]] से <math>V</math> दूसरे को <math>W</math>, एक बीजगणितीय किस्मों के समान होने के दो आयाम और विशिष्ट फाइबर <math>f</math> आयाम 0 का होना।'''दो आयाम समान होते हैं और <math>f</math> का विशिष्ट फाइबर आयाम 0 का होता है।
बीजगणितीय ज्यामिति में, शाखित आवरण शब्द का उपयोग एक [[बीजगणितीय किस्म]] <math>V</math> दूसरे को <math>W</math> तक रूपवाद <math>f</math> को [[आकारिता]] का वर्णन करने के लिए किया जाता है दो आयाम समान होते हैं और <math>f</math> का विशिष्ट फाइबर आयाम 0 का होता है।


उस स्थिति में, <math>W</math> का एक खुला समूह <math>W'</math> होगा ([[जरिस्की टोपोलॉजी]] के लिए) जो <math>W</math> में सघन है , जैसे कि <math>f</math> से <math>W'</math> का प्रतिबंध (से <math>V' = f^{-1}(W')</math> को <math>W'</math>, अर्थात) [[रमीकरण (गणित)]] है।{{clarify|reason=It is unclear whether 0 belongs to ''W&prime;'' in the case of the projection over the ''x'' axis of the hyperbola ''xy'' = 1|date=June 2017}} संदर्भ के आधार पर, हम इसे [[मजबूत टोपोलॉजी|शसक्त टोपोलॉजी]] के लिए [[स्थानीय होमोमोर्फिज्म]] के रूप में ले सकते हैं, [[जटिल संख्या]]ओं पर, या सामान्य रूप से एक ईटेल रूपवाद के रूप में (कुछ थोड़े शसक्त अनुमानों के तहत, [[फ्लैट मॉड्यूल|समतल मॉड्यूल]] और [[वियोज्य विस्तार]] पर)। सामान्यतः , इस तरह के आकारिकी सामयिक अर्थों में एक आवरण स्थान जैसा दिखता है। उदाहरण के लिए, यदि <math>V</math> और <math>W</math> दोनों कॉम्पैक्ट [[रीमैन सतह|रीमैन सतहें]] हैं, हमें केवल उसी की आवश्यकता है <math>f</math> होलोमॉर्फिक है और स्थिर नहीं है, और फिर <math>W</math> बिंदु <math>P</math> का एक परिमित समूह है , जिसके बाहर हम एक ईमानदार आवरण पाते हैं
उस स्थिति में, <math>W</math> का एक खुला समूह <math>W'</math> होगा ([[जरिस्की टोपोलॉजी]] के लिए) जो <math>W</math> में सघन है , जैसे कि <math>f</math> से <math>W'</math> का प्रतिबंध (से <math>V' = f^{-1}(W')</math> को <math>W'</math>, अर्थात) [[रमीकरण (गणित)]] है। संदर्भ के आधार पर, हम इसे [[मजबूत टोपोलॉजी|शसक्त टोपोलॉजी]] के लिए [[स्थानीय होमोमोर्फिज्म]] के रूप में ले सकते हैं, [[जटिल संख्या]]ओं पर, या सामान्य रूप से एक ईटेल रूपवाद के रूप में (कुछ थोड़े शसक्त अनुमानों के तहत, [[फ्लैट मॉड्यूल|समतल मॉड्यूल]] और [[वियोज्य विस्तार]] पर)। सामान्यतः , इस तरह के आकारिकी सामयिक अर्थों में एक आवरण स्थान जैसा दिखता है। उदाहरण के लिए, यदि <math>V</math> और <math>W</math> दोनों कॉम्पैक्ट [[रीमैन सतह|रीमैन सतहें]] हैं, हमें केवल उसी की आवश्यकता है <math>f</math> होलोमॉर्फिक है और स्थिर नहीं है, और फिर <math>W</math> बिंदु <math>P</math> का एक परिमित समूह है , जिसके बाहर हम एक ईमानदार आवरण पाते हैं


:<math>V' \to W'</math>.
:<math>V' \to W'</math>.


=== शाखा स्थान ===
=== शाखा स्थान ===
असाधारण बिंदुओं का समूह <math>W</math> को रेमीफिकेशन लोकस कहा जाता है (यानी यह सबसे बड़े संभावित ओपन समूह का पूरक है <math>W'</math>). सामान्य [[मोनोड्रोमी]] में [[मौलिक समूह]] के अनुसार होता है  <math>W'</math> आवरण की चादरों पर कार्य करना (सामान्य आधार क्षेत्र के मामले में भी इस स्थलीय चित्र को सटीक बनाया जा सकता है)।
<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|''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 शाखित आवरण है। इसे प्रक्षेपी रेखा के संगत प्रक्षेपी दीर्घवृत्तीय वक्र के एक डिग्री 2 शाखित आवरण का निर्माण करने के लिए समरूप बनाया जा सकता है।


=== समतल बीजगणितीय वक्र ===
=== समतल बीजगणितीय वक्र ===


पिछले उदाहरण को निम्नलिखित तरीके से किसी भी बीजगणितीय समतल वक्र के लिए सामान्यीकृत किया जा सकता है।
पिछले उदाहरण को निम्नलिखित विधि से किसी भी बीजगणितीय समतल वक्र के लिए सामान्यीकृत किया जा सकता है।
होने देना {{math|''C''}} समीकरण द्वारा परिभाषित समतल वक्र हो {{math|1=''f''(''x'',''y'') = 0}}, कहाँ {{math|''f''}} दो अनिर्धारकों में एक [[वियोज्य बहुपद]] और [[अलघुकरणीय बहुपद]] बहुपद है। अगर {{math|''n''}} की डिग्री है {{math|''f''}} में {{math|''y''}}, तो फाइबर के होते हैं {{math|''n''}} के मानों की परिमित संख्या को छोड़कर विशिष्ट बिंदु {{math|''x''}}. इस प्रकार, यह प्रक्षेपण डिग्री का एक शाखित आवरण है {{math|''n''}}.


के असाधारण मूल्य {{math|''x''}} के गुणांक की जड़ें हैं <math>y^n</math> में {{math|''f''}}, और के विवेचक की जड़ें {{math|''f''}} इसके संबंध में {{math|''y''}}.
मान लीजिए {{math|''C''}} एक समतल वक्र है जो समीकरण {{math|1=''f''(''x'',''y'') = 0}}, जहाँ {{math|''f''}} दो अनिर्धारकों में एक [[वियोज्य बहुपद]] और [[अलघुकरणीय बहुपद]] बहुपद है। अगर {{math|''n''}} {{math|''y''}} में {{math|''f''}}, की डिग्री है, तो {{math|''x''}} के मानों की परिमित संख्या को छोड़कर फाइबर में {{math|''n''}} विशिष्ट बिंदु होते है इस प्रकार, यह प्रक्षेपण डिग्री {{math|''n''}} का एक शाखित आवरण है .


एक जड़ के ऊपर {{math|''r''}} विवेचक का, कम से कम एक शाखायुक्त बिंदु होता है, जो या तो एक [[महत्वपूर्ण बिंदु (गणित)]] या बीजगणितीय किस्म का एक विलक्षण बिंदु होता है। अगर {{math|''r''}} के गुणांक का एक मूल भी है <math>y^n</math> में {{math|''f''}}, तो यह शाखित बिंदु [[अनंत पर बिंदु]] है।
{{math|''x''}} के असाधारण मान {{math|''f''}} में <math>y^n</math> के गुणांक की जड़ें हैं, और {{math|''y''}} के संबंध में {{math|''f''}} के भेदभाव की जड़ें हैं।


एक जड़ के ऊपर {{math|''s''}} के गुणांक का <math>y^n</math> में {{math|''f''}}, वक्र {{math|''C''}} की एक अनंत शाखा है, और फाइबर at {{math|''s''}} से कम है {{math|''n''}} अंक। हालाँकि, यदि कोई प्रक्षेपण को [[अनुमानित पूर्णता]] तक बढ़ाता है {{math|''C''}} और यह {{math|''x''}}-अक्ष, और यदि {{math|''s''}} विवेचक की जड़ नहीं है, प्रक्षेपण पड़ोस के ऊपर एक आवरण बन जाता है {{math|''s''}}.
विवेचक के मूल {{math|''r''}} पर, कम से कम एक शाखायुक्त बिंदु होता है, जो या तो एक [[महत्वपूर्ण बिंदु (गणित)]] या एकवचन बिंदु होता है। यदि {{math|''r''}} , {{math|''f''}} में <math>y^n</math> के गुणांक का एक मूल भी है, तो यह शाखित बिंदु [[अनंत पर बिंदु]] है।


तथ्य यह है कि यह प्रक्षेपण डिग्री का एक शाखित आवरण है {{math|''n''}} बीजगणितीय विविधता के कार्य क्षेत्र पर विचार करके भी देखा जा सकता है। वास्तव में, यह प्रक्षेपण डिग्री के क्षेत्र विस्तार से मेल खाता है {{math|''n''}}
{{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>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>
द्वारा दिए गए शाखास्थल लोकस के साथ एक शाखित आवरण है
एक शाखायुक्त आवरण है जिसके द्वारा दिया गया शाखास्थल है
:<math>X = \text{Spec}\left({\mathbb{C}[x]}/{(x(x-1)(x-2))} \right)</math>
:<math>X = \text{Spec}\left({\mathbb{C}[x]}/{(x(x-1)(x-2))} \right)</math>
ऐसा इसलिए है क्योंकि किसी भी बिंदु पर <math>X</math> में <math>\mathbb{A}^1</math> फाइबर योजना है
ऐसा इसलिए है क्योंकि किसी भी बिंदु पर <math>X</math> में <math>\mathbb{A}^1</math> फाइबर योजना है
Line 66: Line 68:
साथ ही, यदि हम अंतर्निहित क्रमविनिमेय वलयों के भिन्न क्षेत्रों को लेते हैं, तो हमें क्षेत्र समाकारिता प्राप्त होती है
साथ ही, यदि हम अंतर्निहित क्रमविनिमेय वलयों के भिन्न क्षेत्रों को लेते हैं, तो हमें क्षेत्र समाकारिता प्राप्त होती है
:<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>\mathbb C</math> रूप के बहुपद द्वारा
जो डिग्री दो का बीजगणितीय विस्तार है; इसलिए हमें एफ़िन लाइन के लिए एक दीर्घवृत्तीय वक्र का एक डिग्री 2 शाखित आवरण मिला। यह <math>\mathbb{P}^1</math> के लिए एक प्रक्षेपी दीर्घवृत्तीय वक्र के आकारिकी के निर्माण के लिए समरूप बनाया जा सकता है।
:<math>y^2 - \prod(x-a_i)</math> कहाँ <math>a_i \neq a_j</math> के लिए <math>i\neq j</math>
 
=== अतिदीर्घवृत्तीय वक्र ===
एक हाइपरेलिप्टिक वक्र उपरोक्त डिग्री का सामान्यीकरण प्रदान करता है <math>2</math> एफ़िन रेखा का आवरण , परिभाषित एफ़िन योजना पर विचार करके <math>\mathbb C</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>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 85: Line 88:
वहाँ है एक <math>\mathbb{C}(x)</math>-मॉड्यूल समरूपता लक्ष्य के साथ
वहाँ है एक <math>\mathbb{C}(x)</math>-मॉड्यूल समरूपता लक्ष्य के साथ
:<math>\mathbb{C}(x)\oplus\mathbb{C}(x)\cdot y \oplus \cdots \oplus \mathbb{C}(x)\cdot y^{\text{deg}(f(y))} </math>
:<math>\mathbb{C}(x)\oplus\mathbb{C}(x)\cdot y \oplus \cdots \oplus \mathbb{C}(x)\cdot y^{\text{deg}(f(y))} </math>
इसलिए आवरण डिग्री का है <math>\text{deg}(f)</math>.
इसलिए <math>\text{deg}(f)</math> आवरण डिग्री का है .


===अतिअण्डाकार वक्र ===
===अतिदीर्घवृत्तीय वक्र ===
[[सुपरएलिप्टिक वक्र]] हाइपरेलिप्टिक कर्व्स का एक सामान्यीकरण है और उदाहरणों के पिछले परिवार का एक विशेषज्ञता है क्योंकि वे एफ़िन योजनाओं द्वारा दिए गए हैं <math>X/\mathbb{C}</math> रूप के बहुपदों से
सुपरएलिप्टिक वक्र हाइपरेलिप्टिक वक्र का एक सामान्यीकरण है और उदाहरणों के पिछले परिवार का एक विशेषज्ञता है क्योंकि वे एफाइन योजनाओं <math>X/\mathbb{C}</math> रूप के पॉलीनॉमियल्स से दिए गए हैं।
:<math>y^k - f(x)</math> कहाँ <math>k>2</math> और <math>f(x)</math> कोई दोहराया जड़ नहीं है।
:<math>y^k - f(x)</math> जहाँ <math>k>2</math> और <math>f(x)</math> कोई दोहराया मूल नहीं है।


=== प्रोजेक्टिव स्पेस के रेमीफाइड कवरिंग ===
=== प्रक्षेपी स्थान के संशोधित आवरण ===
उदाहरणों का एक और उपयोगी वर्ग प्रोजेक्टिव स्पेस के रेमीफाइड कवरिंग से आता है। एक सजातीय बहुपद दिया गया है <math>f \in \mathbb{C}[x_0,\ldots,x_n]</math> हम एक शाखायुक्त आवरण का निर्माण कर सकते हैं <math>\mathbb{P}^n</math> शाखास्थल के साथ
उदाहरणों का एक और उपयोगी वर्ग प्रक्षेपी स्थान के संशोधित आवरण से आता है। एक सजातीय बहुपद <math>f \in \mathbb{C}[x_0,\ldots,x_n]</math> दिया गया है हम <math>\mathbb{P}^n</math> के शाखायुक्त आवरण का निर्माण कर सकते हैं, जिसमें शाखास्थल स्थित है
:<math>\text{Proj}\left( \frac{\mathbb{C}[x_0,\ldots,x_n]}{f(x)} \right)</math>
:<math>\text{Proj}\left( \frac{\mathbb{C}[x_0,\ldots,x_n]}{f(x)} \right)</math>
प्रक्षेपी योजनाओं के आकारिकी पर विचार करके
प्रक्षेपी योजनाओं के आकारिकी पर विचार करके
:<math>\text{Proj}\left( \frac{\mathbb{C}[x_0,\ldots,x_n][y]}{y^{\text{deg}(f)} - f(x)} \right) \to \mathbb{P}^n</math>
:<math>\text{Proj}\left( \frac{\mathbb{C}[x_0,\ldots,x_n][y]}{y^{\text{deg}(f)} - f(x)} \right) \to \mathbb{P}^n</math>
फिर, यह डिग्री का एक आवरण होगा <math>\text{deg}(f)</math>.
फिर से यह <math>\text{deg}(f)</math> डिग्री का एक आवरण होगा।


== अनुप्रयोग ==
== अनुप्रयोग ==
शाखित आवरण <math>C \to X</math> परिवर्तनों के समरूपता समूह के साथ आते हैं <math>G</math>. चूंकि समरूपता समूह में रेमीफिकेशन लोकस के बिंदुओं पर स्टेबलाइज़र होते हैं, शाखाओं वाले आवरणों का उपयोग ऑर्बिफॉल्ड्स, या स्टैक (गणित) के उदाहरणों के निर्माण के लिए किया जा सकता है। डेलिग्ने-ममफोर्ड स्टैक्स।
शाखित आवरण <math>C \to X</math> परिवर्तनों के एक समरूपता समूह <math>G</math> के साथ आते हैं। चूंकि समरूपता समूह में परिणाम लोकस के बिंदुओं पर स्थिरिकारी होते हैं, इसलिए शाखित आवरण का उपयोग ऑर्बिफॉल्ड्स या डेलिग्ने-ममफोर्ड स्टैक के उदाहरणों के निर्माण के लिए किया जा सकता है।


== यह भी देखें ==
== यह भी देखें ==
Line 110: Line 113:
* {{Citation | last1=Hartshorne | first1=Robin | author1-link=Robin Hartshorne | title=[[Algebraic Geometry (book)|Algebraic Geometry]] | publisher=[[Springer Science+Business Media|Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90244-9 | oclc=13348052 | mr=0463157 | year=1977}}
* {{Citation | last1=Hartshorne | first1=Robin | author1-link=Robin Hartshorne | title=[[Algebraic Geometry (book)|Algebraic Geometry]] | publisher=[[Springer Science+Business Media|Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90244-9 | oclc=13348052 | mr=0463157 | year=1977}}
* {{Citation | last=Osserman | first=Brian | title=Branched Covers of the Riemann Sphere | url=https://www.math.ucdavis.edu/~osserman/rfg/290W/branched-covers.pdf}}
* {{Citation | last=Osserman | first=Brian | title=Branched Covers of the Riemann Sphere | url=https://www.math.ucdavis.edu/~osserman/rfg/290W/branched-covers.pdf}}
[[Category: जटिल कई गुना]] [[Category: बीजगणितीय किस्में]]


[[Category: Machine Translated Page]]
[[Category:Created On 18/04/2023]]
[[Category:Created On 18/04/2023]]
[[Category:Machine Translated Page]]
[[Category:Templates Vigyan Ready]]
[[Category:जटिल कई गुना]]
[[Category:बीजगणितीय किस्में]]

Latest revision as of 21:35, 3 May 2023

गणित में, शाखित आच्छादन एक ऐसा मानचित्र होता है जो एक छोटे समूह को छोड़कर लगभग एक आच्छादित मानचित्र होता है।

टोपोलॉजी में

टोपोलॉजी में, एक मानचित्र एक शाखित आवरण होता है, यदि यह शाखा समुच्चय के रूप में जाने जाने वाले घने समूह को छोड़कर हर जगह एक आवरण मानचित्र है। उदाहरणों में रोज़ (टोपोलॉजी) से एक वृत्त तक का मानचित्र सम्मिलित है, जहां मानचित्र प्रत्येक वृत्त पर होमियोमोर्फिज्म है।

बीजगणितीय ज्यामिति में

बीजगणितीय ज्यामिति में, शाखित आवरण शब्द का उपयोग एक बीजगणितीय किस्म दूसरे को तक रूपवाद को आकारिता का वर्णन करने के लिए किया जाता है दो आयाम समान होते हैं और का विशिष्ट फाइबर आयाम 0 का होता है।

उस स्थिति में, का एक खुला समूह होगा (जरिस्की टोपोलॉजी के लिए) जो में सघन है , जैसे कि से का प्रतिबंध (से को , अर्थात) रमीकरण (गणित) है। संदर्भ के आधार पर, हम इसे शसक्त टोपोलॉजी के लिए स्थानीय होमोमोर्फिज्म के रूप में ले सकते हैं, जटिल संख्याओं पर, या सामान्य रूप से एक ईटेल रूपवाद के रूप में (कुछ थोड़े शसक्त अनुमानों के तहत, समतल मॉड्यूल और वियोज्य विस्तार पर)। सामान्यतः , इस तरह के आकारिकी सामयिक अर्थों में एक आवरण स्थान जैसा दिखता है। उदाहरण के लिए, यदि और दोनों कॉम्पैक्ट रीमैन सतहें हैं, हमें केवल उसी की आवश्यकता है होलोमॉर्फिक है और स्थिर नहीं है, और फिर बिंदु का एक परिमित समूह है , जिसके बाहर हम एक ईमानदार आवरण पाते हैं

.

शाखा स्थान

पर असाधारण बिंदुओं के समूह को परिणाम लोकस कहा जाता है (अर्थात यह सबसे बड़ा संभव ओपन समूह का पूरक है)। सामान्य मोनोड्रोमी में के मौलिक समूह के अनुसार आवरण की शीट्स पर अभिनय होता है (सामान्य आधार क्षेत्र के स्थिति में भी इस स्थलीय चित्र को स्पष्ट बनाया जा सकता है)।

कुमर विस्तार

शाखित आवरण आसानी से कुमार विस्तार के रूप में निर्मित होते हैं, अर्थात बीजगणितीय विविधता के कार्य क्षेत्र के बीजगणितीय विस्तार के रूप में हाइपरेलिप्टिक वक्र प्रोटोटाइपिक उदाहरण हैं।

असंबद्ध आवरण

एक अविभाजित आवरण तब एक खाली शाखा स्थान की घटना है।

उदाहरण

दीर्घवृत्तीय वक्र

वक्रों के आकारिकी शाखायुक्त आवरणों के कई उदाहरण प्रदान करते हैं। उदाहरण के लिए, चलो 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)