विरूपण (गणित): Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Branch of mathematics}} गणित में, विरूपण सिद्धांत किसी समस्या के समाधान ''प...")
 
No edit summary
 
(18 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Branch of mathematics}}
{{Short description|Branch of mathematics}}
गणित में, विरूपण सिद्धांत किसी समस्या के समाधान ''पी'' को थोड़ा अलग समाधान ''पी'' में बदलने से जुड़ी छोटी-छोटी स्थितियों का अध्ययन है।<sub>ε</sub>, जहां ε एक छोटी संख्या है, या छोटी मात्राओं का एक वेक्टर है। अपरिमित स्थितियां [[बाधा (गणित)]] के साथ एक समस्या को हल करने के लिए विभेदक कैलकुलस के दृष्टिकोण को लागू करने का परिणाम हैं। नाम गैर-कठोर संरचनाओं का एक सादृश्य है जो बाहरी ताकतों को समायोजित करने के लिए थोड़ा [[विरूपण ([[ अभियांत्रिकी ]])]] करता है।
गणित में, '''विरूपण''' सिद्धांत किसी समस्या के समाधान P को थोड़ा भिन्न समाधान ''P''<sub>ε</sub> में परिवर्तन से जुड़ी छोटी-छोटी स्थितियों का अध्ययन है, जहां ε छोटी संख्या है, या छोटी मात्राओं का सदिश है। अपरिमित स्थितियां [[बाधा (गणित)]] के साथ समस्या को निवारण करने के लिए विभेदक गणना के दृष्टिकोण को प्रस्तावित करने का परिणाम अतिसूक्ष्म स्थितियाँ हैं। नाम अन्य-कठोर संरचनाओं का ऐसा सादृश्य है जो बाहरी शक्तियों को समायोजित करने के लिए [[विरूपण ([[ अभियांत्रिकी |अभियांत्रिकी]])]] करता है।


कुछ विशिष्ट घटनाएँ हैं: ε मात्राओं को नगण्य वर्ग मानकर प्रथम-क्रम समीकरणों की व्युत्पत्ति; अलग-अलग समाधानों की संभावना, जिसमें अलग-अलग समाधान संभव नहीं हो सकता है, या कुछ भी नया नहीं लाता है; और सवाल यह है कि क्या असीम बाधाएं वास्तव में 'एकीकृत' होती हैं, ताकि उनका समाधान छोटे बदलाव प्रदान कर सके। किसी न किसी रूप में इन विचारों का गणित के साथ-साथ भौतिकी और इंजीनियरिंग में भी सदियों पुराना इतिहास है। उदाहरण के लिए, [[संख्याओं की ज्यामिति]] में परिणामों के एक वर्ग को अलगाव प्रमेय कहा जाता है, जिसे किसी दिए गए समाधान के चारों ओर एक खुली कक्षा (एक [[समूह क्रिया (गणित)]]) की टोपोलॉजिकल व्याख्या के साथ मान्यता दी गई थी। गड़बड़ी सिद्धांत सामान्यतः [[ऑपरेटर (गणित)]] की विकृतियों पर भी गौर करता है।
कुछ विशिष्ट घटनाएँ हैं: ε मात्राओं को नगण्य वर्ग मानकर प्रथम-क्रम समीकरणों की व्युत्पत्ति; भिन्न-भिन्न समाधानों की संभावना, जिसमें भिन्न-भिन्न समाधान संभव नहीं हो सकता है, या कुछ भी नया नहीं लाता है; एवं सवाल यह है कि क्या असीम बाधाएं वास्तव में 'एकीकृत' होती हैं, जिससे उनका समाधान छोटे परिवर्तन प्रदान कर सके। किसी न किसी रूप में इन विचारों का गणित के साथ-साथ भौतिकी एवं इंजीनियरिंग में भी सदियों प्राचीन इतिहास है। उदाहरण के लिए, [[संख्याओं की ज्यामिति]] में परिणामों के वर्ग को भिन्नाव प्रमेय कहा जाता है, जिसे किसी दिए गए समाधान के चारों ओर विवृत कक्षा ([[समूह क्रिया (गणित)]]) की टोपोलॉजिकल व्याख्या के साथ मान्यता दी गई थी। त्रुटि सिद्धांत सामान्यतः [[ऑपरेटर (गणित)|संक्रियक (गणित)]] की विकृतियों पर भी ध्यान देता है।


==[[जटिल अनेक गुना]]ओं की विकृतियाँ==
==[[जटिल अनेक गुना]]ओं की विकृतियाँ==
गणित में सबसे प्रमुख विरूपण सिद्धांत जटिल मैनिफोल्ड्स और बीजगणितीय किस्मों का रहा है। इसे [[कुनिहिको कोदैरा]] और डोनाल्ड सी. स्पेंसर के मूलभूत कार्य द्वारा एक मजबूत आधार पर रखा गया था, जब विरूपण तकनीकों को बीजीय ज्यामिति के इतालवी स्कूल में अधिक अस्थायी अनुप्रयोग प्राप्त हुआ था। सहज रूप से, कोई अपेक्षा करता है कि पहले क्रम के विरूपण सिद्धांत को [[ज़ारिस्की स्पर्शरेखा स्थान]] को मॉड्यूलि स्थान के बराबर करना चाहिए। हालाँकि, सामान्य स्थिति में घटनाएँ सूक्ष्म हो जाती हैं।
गणित में सबसे प्रमुख विरूपण सिद्धांत जटिल बहुविध्स एवं बीजगणितीय वर्ग का रहा है। इसे [[कुनिहिको कोदैरा]] एवं डोनाल्ड सी. स्पेंसर के मूलभूत कार्य द्वारा सशक्त आधार पर रखा गया था, जब विरूपण प्रौद्योगिकी को बीजीय ज्यामिति के इतालवी विद्यालय में अधिक अस्थायी अनुप्रयोग प्राप्त हुआ था। सहज रूप से, कोई अपेक्षा करता है कि पनिवारणे क्रम के विरूपण सिद्धांत को [[ज़ारिस्की स्पर्शरेखा स्थान]] को मापांक स्थान के समान करना चाहिए। चूँकि, सामान्य स्थिति में घटनाएँ सूक्ष्म हो जाती हैं।


[[रीमैन सतह]]ों के मामले में, कोई यह समझा सकता है कि [[रीमैन क्षेत्र]] पर जटिल संरचना पृथक है (कोई मॉड्यूल नहीं)। जीनस 1 के लिए, एक [[अण्डाकार वक्र]] में जटिल संरचनाओं का एक-पैरामीटर परिवार होता है, जैसा कि अण्डाकार फ़ंक्शन सिद्धांत में दिखाया गया है। सामान्य कोडैरा-स्पेंसर सिद्धांत विरूपण सिद्धांत की कुंजी के रूप में [[शीफ़ कोहोमोलोजी]] समूह की पहचान करता है
[[रीमैन सतह|रीमैन सतहों]] के विषय में, कोई यह समझा सकता है कि [[रीमैन क्षेत्र]] पर जटिल संरचना पृथक है (कोई मॉड्यूल नहीं)। जीनस 1 के लिए, [[अण्डाकार वक्र]] में जटिल संरचनाओं का एक-पैरामीटर परिवार होता है, जैसा कि अण्डाकार फलन सिद्धांत में दिखाया गया है। सामान्य कोडैरा-स्पेंसर सिद्धांत विरूपण सिद्धांत की कुंजी के रूप में [[शीफ़ कोहोमोलोजी]] समूह की पहचान करता है,


: <math> H^1(\Theta) \, </math>
: <math> H^1(\Theta) \, </math>
जहां Θ होलोमोर्फिक [[स्पर्शरेखा बंडल]] (वर्गों के [[जर्म (गणित)]] का शीफ) है। एच में रुकावट है<sup>2</sup>एक ही पूले का; जो आयाम के सामान्य कारणों से वक्र के मामले में हमेशा शून्य होता है। जीनस 0 के मामले में एच<sup>1</sup>भी गायब हो जाता है. जीनस 1 के लिए आयाम [[हॉज नंबर]] एच है<sup>1,0</sup>जो इसलिए 1 है। यह ज्ञात है कि जीनस एक के सभी वक्रों में फॉर्म y के समीकरण होते हैं<sup>2</sup>=x<sup>3</sup> + कुल्हाड़ी + बी. ये स्पष्ट रूप से दो मापदंडों, ए और बी पर निर्भर करते हैं, जबकि ऐसे वक्रों के समरूपता वर्गों में केवल एक पैरामीटर होता है। इसलिए उन ए और बी से संबंधित एक समीकरण होना चाहिए जो आइसोमोर्फिक अण्डाकार वक्रों का वर्णन करता है। यह वह वक्र निकलता है जिसके लिए बी<sup>2</sup>a<sup>−3</sup> का मान समान है, समरूपी वक्रों का वर्णन करें। अर्थात। ए और बी को अलग करना वक्र वाई की संरचना को विकृत करने का एक तरीका है<sup>2</sup>=x<sup>3</sup> + ax + b, लेकिन a,b के सभी रूपांतर वास्तव में वक्र के समरूपता वर्ग को नहीं बदलते हैं।
जहां Θ होलोमोर्फिक [[स्पर्शरेखा बंडल]] (वर्गों के [[जर्म (गणित)]] का शीफ) है। उसी शीफ के ''H''<sup>2</sup> में बाधा है; जो आयाम के सामान्य कारणों से वक्र के विषय में सदैव शून्य होता है। जीनस 0 के विषय में H<sup>1</sup>भी गायब हो जाता है. जीनस 1 के लिए आयाम [[हॉज नंबर]] ''h''<sup>1,0</sup> है, जो इसलिए 1 है। यह ज्ञात है कि जीनस एक के सभी वक्रों में ''y''<sup>2</sup> = ''x''<sup>3</sup> + ''ax'' + ''b'' के रूप के समीकरण होते हैं। ये स्पष्ट रूप से दो मापदंडों, a एवं b पर निर्भर करते हैं, जबकि ऐसे वक्रों के समरूपता वर्गों में केवल एक पैरामीटर होता है। इसलिए उन a एवं b से संबंधित समीकरण होना चाहिए जो आइसोमोर्फिक अण्डाकार वक्रों का वर्णन करता है। यह वह वक्र है जिसके लिए ''b''<sup>2</sup>''a''<sup>−3</sup> का मान समान है, समरूपी वक्रों का वर्णन करें। अर्थात a एवं b को भिन्न करना वक्र वाई की संरचना को विकृत करने का उपाय ''y''<sup>2</sup> = ''x''<sup>3</sup> + ''ax'' + ''b है'', परन्तु a,b के सभी रूपांतर वास्तव में वक्र के समरूपता वर्ग को नहीं परिवर्तित करते हैं।


एच से संबंधित करने के लिए [[सेरे द्वैत]] का उपयोग करते हुए, जीनस जी > 1 के मामले में कोई आगे बढ़ सकता है<sup>1</sup>को
H<sup>1</sup> से संबंधित करने के लिए [[सेरे द्वैत]] का उपयोग करते हुए, जीनस g >1 के विषय में कोई आगे बढ़ सकता है,


: <math> H^0(\Omega^{[2]}) </math>
: <math> H^0(\Omega^{[2]}) </math>
जहां Ω होलोमोर्फिक [[कोटैंजेंट बंडल]] और अंकन Ω है<sup>[2]</sup> का अर्थ है टेंसर वर्ग (दूसरी [[बाहरी शक्ति]] नहीं)दूसरे शब्दों में, रीमैन सतह पर विकृतियों को होलोमोर्फिक [[द्विघात अंतर]]ों द्वारा नियंत्रित किया जाता है, जिसे फिर से शास्त्रीय रूप से जाना जाता है। मॉड्यूलि स्पेस का आयाम, जिसे इस मामले में टीचमुलर स्पेस कहा जाता है, रीमैन-रोच प्रमेय द्वारा 3 जी - 3 के रूप में गणना की जाती है।
जहां Ω होलोमोर्फिक [[कोटैंजेंट बंडल]] एवं अंकन Ω है<sup>[2]</sup> का अर्थ टेंसर वर्ग (दूसरी [[बाहरी शक्ति]] नहीं)है। दूसरे शब्दों में, रीमैन सतह पर विकृतियों को होलोमोर्फिक [[द्विघात अंतर|द्विघात भिन्नताओं]] द्वारा नियंत्रित किया जाता है, जिसे फिर से शास्त्रीय रूप से जाना जाता है। मापांक स्पेस का आयाम, जिसे इस विषय में टीचमुलर स्पेस कहा जाता है, रीमैन-रोच प्रमेय द्वारा 3g-3 के रूप में गणना की जाती है।


ये उदाहरण किसी भी आयाम के जटिल मैनिफोल्ड्स के होलोमोर्फिक परिवारों पर लागू होने वाले सिद्धांत की शुरुआत हैं। आगे के विकास में शामिल हैं: [[विभेदक ज्यामिति]] की अन्य संरचनाओं के लिए स्पेंसर द्वारा तकनीकों का विस्तार; [[ग्रोथेंडिक]] के अमूर्त बीजगणितीय ज्यामिति में कोडैरा-स्पेंसर सिद्धांत को आत्मसात करना, जिसके परिणामस्वरूप पहले के काम की ठोस व्याख्या हुई; और अन्य संरचनाओं का विरूपण सिद्धांत, जैसे कि बीजगणित।
ये उदाहरण किसी भी आयाम के जटिल बहुविध्स के होलोमोर्फिक परिवारों पर प्रस्तावित होने वाले सिद्धांत का प्रारम्भ हैं। आगामी विकास में सम्मिलित  [[विभेदक ज्यामिति]] की अन्य संरचनाओं के लिए स्पेंसर द्वारा प्रौद्योगिकी का विस्तार; [[ग्रोथेंडिक]] के अमूर्त बीजगणितीय ज्यामिति में कोडैरा-स्पेंसर सिद्धांत को आत्मसात करना हैं, जिसके परिणामस्वरूप पनिवारणे के कार्य की ठोस व्याख्या हुई; एवं अन्य संरचनाओं का विरूपण सिद्धांत, जैसे कि बीजगणित है।


==विरूपण और समतल मानचित्र==
==विरूपण एवं समतल मानचित्र==
विरूपण का सबसे सामान्य रूप एक समतल मानचित्र है <math>f:X \to S</math> जटिल-विश्लेषणात्मक स्थानों की, [[योजना (गणित)]], या किसी स्थान पर कार्यों के रोगाणु। ग्रोथेंडिक<ref name=":0">{{Cite book|last=Palamodov|title=अनेक जटिल चर IV|chapter=Deformations of Complex Spaces|series=Encyclopaedia of Mathematical Sciences|year=1990|volume=10|isbn=978-3-642-64766-6|pages=105–194|doi=10.1007/978-3-642-61263-3_3}}</ref> विकृतियों के लिए इस दूरगामी सामान्यीकरण को खोजने वाले पहले व्यक्ति थे और उस संदर्भ में सिद्धांत विकसित किया। सामान्य विचार यह है कि एक सार्वभौमिक परिवार का अस्तित्व होना चाहिए <math>\mathfrak{X} \to B</math> जैसे कि किसी भी विकृति को एक अद्वितीय पुलबैक वर्ग<ब्लॉककोट> के रूप में पाया जा सकता है<math>\begin{matrix}
विरूपण का सबसे सामान्य रूप समतल मानचित्र <math>f:X \to S</math>, जटिल-विश्लेषणात्मक स्थानों की, [[योजना (गणित)]], या किसी स्थान पर कार्यों के रोगाणु है। ग्रोथेंडिक<ref name=":0">{{Cite book|last=Palamodov|title=अनेक जटिल चर IV|chapter=Deformations of Complex Spaces|series=Encyclopaedia of Mathematical Sciences|year=1990|volume=10|isbn=978-3-642-64766-6|pages=105–194|doi=10.1007/978-3-642-61263-3_3}}</ref> विकृतियों के लिए इस दूरगामी सामान्यीकरण को खोजने वाले प्रथम व्यक्ति थे एवं उस संदर्भ में सिद्धांत विकसित किया। सामान्य विचार यह है कि सार्वभौमिक परिवार <math>\mathfrak{X} \to B</math> का अस्तित्व होना चाहिए, जैसे कि किसी भी विकृति को अद्वितीय पुलबैक वर्ग के रूप में पाया जा सकता है,<math>\begin{matrix}
X & \to & \mathfrak{X} \\
X & \to & \mathfrak{X} \\
\downarrow & & \downarrow \\
\downarrow & & \downarrow \\
S & \to & B
S & \to & B
\end{matrix}</math></blockquote>कई मामलों में, यह सार्वभौमिक परिवार या तो [[हिल्बर्ट योजना]] या कोट योजना है, या उनमें से किसी एक का भागफल है। उदाहरण के लिए, वक्रों के मॉड्यूली के निर्माण में, इसका निर्माण हिल्बर्ट योजना में चिकने वक्रों के भागफल के रूप में किया गया है। यदि पुलबैक वर्ग अद्वितीय नहीं है, तो परिवार केवल बहुमुखी है।
\end{matrix}</math>कई विषयों में, यह सार्वभौमिक परिवार या तो [[हिल्बर्ट योजना]] या कोट योजना है, या उनमें से किसी का भागफल है। उदाहरण के लिए, वक्रों के मापांक के निर्माण में, इसका निर्माण हिल्बर्ट योजना में चौरस वक्रों के भागफल के रूप में किया गया है। यदि पुलबैक वर्ग अद्वितीय नहीं है, तो परिवार केवल बहुमुखी है।


==विश्लेषणात्मक बीजगणित के रोगाणुओं की विकृतियाँ==
==विश्लेषणात्मक बीजगणित के रोगाणुओं की विकृतियाँ==
विरूपण सिद्धांत के उपयोगी और आसानी से गणना योग्य क्षेत्रों में से एक जटिल स्थानों के रोगाणुओं के विरूपण सिद्धांत से आता है, जैसे कि [[स्टीन मैनिफोल्ड]], कॉम्प्लेक्स मैनिफोल्ड, या कॉम्प्लेक्स विश्लेषणात्मक विविधता।<ref name=":0" />ध्यान दें कि इस सिद्धांत को होलोमोर्फिक फ़ंक्शंस, स्पर्शरेखा रिक्त स्थान आदि के रोगाणुओं के ढेर पर विचार करके जटिल मैनिफोल्ड्स और जटिल विश्लेषणात्मक स्थानों में वैश्वीकृत किया जा सकता है। ऐसे बीजगणित <ब्लॉककोट> के रूप में होते हैं<math>A \cong \frac{\mathbb{C}\{z_1,\ldots, z_n\}}{I}</math> </ब्लॉकक्वॉट>कहां <math>\mathbb{C}\{z_1,\ldots,z_n \}</math> अभिसारी शक्ति-श्रृंखला का वलय है और <math>I</math> एक आदर्श है. उदाहरण के लिए, कई लेखक एक विलक्षणता के कार्यों के रोगाणुओं का अध्ययन करते हैं, जैसे कि बीजगणित<ब्लॉककोट><math>A \cong \frac{\mathbb{C}\{z_1,\ldots,z_n\}}{(y^2 - x^n)}</math></blockquote>एक समतल-वक्र विलक्षणता का प्रतिनिधित्व करता है। विश्लेषणात्मक बीजगणित का एक रोगाणु ऐसे बीजगणित की विपरीत श्रेणी में एक वस्तु है। फिर, विश्लेषणात्मक बीजगणित के एक रोगाणु का विरूपण <math>X_0</math> विश्लेषणात्मक बीजगणित के रोगाणुओं के एक समतल मानचित्र द्वारा दिया गया है <math>f:X \to S</math> कहाँ <math>S</math> एक विशिष्ट बिंदु है <math>0</math> ऐसे कि <math>X_0</math> पुलबैक वर्ग<ब्लॉककोट> में फिट बैठता है<math>\begin{matrix}
विरूपण सिद्धांत के उपयोगी एवं सरलता से गणना योग्य क्षेत्रों में से जटिल स्थानों के रोगाणुओं के विरूपण सिद्धांत, जैसे कि [[स्टीन मैनिफोल्ड|स्टीन बहुविध]], मिश्रित बहुविध, या मिश्रित विश्लेषणात्मक विविधता से आता है।<ref name=":0" />ध्यान दें कि इस सिद्धांत को होलोमोर्फिक फलन, स्पर्शरेखा रिक्त स्थान आदि के रोगाणुओं के संचय पर विचार करके जटिल बहुविध्स एवं जटिल विश्लेषणात्मक स्थानों में वैश्वीकृत किया जा सकता है। ऐसे बीजगणित इस रूप में होते हैं<math>A \cong \frac{\mathbb{C}\{z_1,\ldots, z_n\}}{I}</math>, जहाँ <math>\mathbb{C}\{z_1,\ldots,z_n \}</math> अभिसम्पूर्ण शक्ति-श्रृंखला का वलय है एवं <math>I</math> आदर्श है, उदाहरण के लिए, कई लेखक विलक्षणता के कार्यों के रोगाणुओं का अध्ययन करते हैं, जैसे कि बीजगणित <math>A \cong \frac{\mathbb{C}\{z_1,\ldots,z_n\}}{(y^2 - x^n)}</math> समतल-वक्र विलक्षणता का प्रतिनिधित्व करता है। विश्लेषणात्मक बीजगणित का रोगाणु ऐसे बीजगणित की विपरीत श्रेणी में वस्तु है। फिर, विश्लेषणात्मक बीजगणित के ऐसे रोगाणु का विरूपण <math>X_0</math> विश्लेषणात्मक बीजगणित <math>f:X \to S</math> के रोगाणुओं के समतल मानचित्र द्वारा दिया गया है, जहाँ <math>S</math> विशिष्ट बिंदु <math>0</math> है ऐसे कि <math>X_0</math> पुलबैक वर्ग में उचित होता है,<math>\begin{matrix}
X_0 & \to & X \\
X_0 & \to & X \\
\downarrow & & \downarrow \\
\downarrow & & \downarrow \\
* & \xrightarrow[0]{} & S
* & \xrightarrow[0]{} & S
\end{matrix}</math></blockquote>इन विकृतियों में क्रमविनिमेय वर्गों द्वारा दिया गया एक तुल्यता संबंध होता है<blockquote><math>\begin{matrix}
\end{matrix}</math>इन विकृतियों में क्रमविनिमेय वर्गों द्वारा दिया गया तुल्यता संबंध होता है,<blockquote><math>\begin{matrix}
X'& \to & X \\
X'& \to & X \\
\downarrow & & \downarrow \\
\downarrow & & \downarrow \\
S' & \to & S
S' & \to & S
\end{matrix}</math></blockquote>जहां क्षैतिज तीर समरूपताएं हैं। उदाहरण के लिए, विश्लेषणात्मक बीजगणित के क्रमविनिमेय आरेख के विपरीत आरेख द्वारा दी गई समतल वक्र विलक्षणता का विरूपण है<ब्लॉककोट><math>\begin{matrix}
\end{matrix}</math></blockquote>जहां क्षैतिज तीर समरूपताएं हैं। उदाहरण के लिए, विश्लेषणात्मक बीजगणित के क्रमविनिमेय आरेख के विपरीत आरेख द्वारा दी गई समतल वक्र विलक्षणता का विरूपण <math>\begin{matrix}
\frac{\mathbb {C} \{x,y\}}{(y^{2}-x^{n})} & \leftarrow & \frac{\mathbb {C} \{x,y, s\}}{(y^{2}-x^{n} + s)} \\
\frac{\mathbb {C} \{x,y\}}{(y^{2}-x^{n})} & \leftarrow & \frac{\mathbb {C} \{x,y, s\}}{(y^{2}-x^{n} + s)} \\
\uparrow & & \uparrow \\
\uparrow & & \uparrow \\
\mathbb{C} & \leftarrow & \mathbb{C}\{s\}
\mathbb{C} & \leftarrow & \mathbb{C}\{s\}
\end{matrix}</math></ब्लॉकउद्धरण>वास्तव में, मिल्नोर ने ऐसी विकृतियों का अध्ययन किया, जहां एक विलक्षणता एक स्थिरांक द्वारा विकृत हो जाती है, इसलिए एक गैर-शून्य पर फाइबर <math>s</math> मिल्नोर फाइबर कहा जाता है।
\end{matrix}</math>है, वास्तव में, मिल्नोर ने ऐसी विकृतियों का अध्ययन किया, जहां विलक्षणता स्थिरांक द्वारा विकृत हो जाती है, इसलिए अन्य-शून्य पर फाइबर <math>s</math> मिल्नोर फाइबर कहा जाता है।


=== विकृतियों की सह-समसामयिक व्याख्या ===
=== विकृतियों की सह-समसामयिक व्याख्या ===
यह स्पष्ट होना चाहिए कि विश्लेषणात्मक कार्यों के एक ही रोगाणु में कई विकृतियाँ हो सकती हैं। इस वजह से, इस सारी जानकारी को व्यवस्थित करने के लिए कुछ बही-खाता उपकरणों की आवश्यकता होती है। इन संगठनात्मक उपकरणों का निर्माण टेंगेंट कोहोमोलॉजी का उपयोग करके किया गया है।<ref name=":0" />यह कोसज़ुल-टेट रिज़ॉल्यूशन का उपयोग करके और गैर-नियमित बीजगणित के लिए अतिरिक्त जनरेटर जोड़कर इसे संभावित रूप से संशोधित करके बनाया गया है। <math>A</math>. विश्लेषणात्मक बीजगणित के मामले में इन संकल्पों को गणितज्ञ [[गैलिना ट्यूरिना]] के लिए तजुरिना संकल्प कहा जाता है, जिन्होंने सबसे पहले ऐसी वस्तुओं का अध्ययन किया था। यह एक ग्रेडेड-कम्यूटेटिव डिफरेंशियल ग्रेडेड बीजगणित है <math>(R_\bullet, s)</math> ऐसा है कि <math>R_0 \to A</math> विश्लेषणात्मक बीजगणित का एक विशेषण मानचित्र है, और यह मानचित्र एक सटीक अनुक्रम में फिट बैठता है<ब्लॉककोट><math>\cdots \xrightarrow{s} R_{-2} \xrightarrow{s} R_{-1} \xrightarrow{s} R_0 \xrightarrow{p} A \to 0</math></blockquote>फिर, व्युत्पत्तियों के विभेदक श्रेणीबद्ध मॉड्यूल को लेकर <math>(\text{Der}(R_\bullet), d)</math>, इसकी सह-समरूपता विश्लेषणात्मक बीजगणित के रोगाणु की स्पर्शरेखा सह-समरूपता बनाती है <math>A</math>. इन सहसंयोजी समूहों को दर्शाया गया है <math>T^k(A)</math>. <math>T^1(A)</math> h> की सभी विकृतियों के बारे में जानकारी शामिल है <math>A</math> और सटीक अनुक्रम<ब्लॉककोट> का उपयोग करके आसानी से गणना की जा सकती है<math>0 \to T^0(A) \to \text{Der}(R_0) \xrightarrow{d} \text{Hom}_{R_0}(I,A) \to T^1(A) \to 0</math></blockquote>अगर <math>A</math> बीजगणित<ब्लॉककोट> के लिए समरूपी है<math>\frac{\mathbb{C}\{z_1,\ldots,z_n\}}{(f_1,\ldots, f_m)}</math></blockquote>तो इसकी विकृतियाँ<blockquote> के बराबर होती हैं<math>T^1(A) \cong \frac{A^m}{df \cdot A^n}</math></blockquote>थे <math>df</math> का जैकोबियन मैट्रिक्स है <math>f = (f_1,\ldots, f_m): \mathbb{C}^n \to \mathbb{C}^m</math>. उदाहरण के लिए, हाइपरसतह की विकृतियाँ दी गई हैं <math>f</math> विकृतियाँ <ब्लॉककोट> हैं<math>T^1(A) \cong \frac{A^n}{\left( \frac{\partial f}{\partial z_1}, \ldots, \frac{\partial f}{\partial z_n} \right)}</math></blockquote>एकवचनता के लिए <math>y^2 - x^3</math> यह मॉड्यूल<ब्लॉककोट> है<math>\frac{A^2}{(y, x^2)}</math></blockquote>इसलिए केवल स्थिरांक या रैखिक कारकों को जोड़कर विकृतियां दी जाती हैं, इसलिए एक सामान्य विकृति <math>f(x,y) = y^2 - x^3</math> है <math>F(x,y,a_1,a_2) = y^2 - x^3 + a_1 + a_2x </math> जहां <math>a_i</math> विरूपण पैरामीटर हैं.
यह स्पष्ट होना चाहिए कि विश्लेषणात्मक कार्यों के रोगाणु में कई विकृतियाँ हो सकती हैं। इस कारण से, इस सम्पूर्ण ज्ञान को व्यवस्थित करने के लिए कुछ बही-खाता उपकरणों की आवश्यकता होती है। इन संगठनात्मक उपकरणों का निर्माण टेंगेंट कोहोमोलॉजी का उपयोग करके किया गया है।<ref name=":0" />यह कोसज़ुल-टेट रिज़ॉल्यूशन का उपयोग करके एवं अन्य-नियमित बीजगणित <math>A</math> के लिए अतिरिक्त जनरेटर जोड़कर इसे संभावित रूप से संशोधित करके बनाया गया है। विश्लेषणात्मक बीजगणित के विषय में इन संकल्पों को गणितज्ञ [[गैलिना ट्यूरिना]] के लिए तजुरिना संकल्प कहा जाता है, जिन्होंने सबसे पनिवारणे ऐसी वस्तुओं का अध्ययन किया था। यह ग्रेडेड-कम्यूटेटिव डिफरेंशियल ग्रेडेड बीजगणित <math>(R_\bullet, s)</math> है, ऐसा कि <math>R_0 \to A</math> विश्लेषणात्मक बीजगणित का विशेषण मानचित्र है, एवं यह मानचित्र सटीक अनुक्रम <math>\cdots \xrightarrow{s} R_{-2} \xrightarrow{s} R_{-1} \xrightarrow{s} R_0 \xrightarrow{p} A \to 0</math> में उचित है, फिर, व्युत्पत्तियों के विभेदक श्रेणीबद्ध मॉड्यूल को लेकर <math>(\text{Der}(R_\bullet), d)</math>, इसकी सह-समरूपता विश्लेषणात्मक बीजगणित <math>A</math> के रोगाणु की स्पर्शरेखा सह-समरूपता बनाती है। इन सहसंयोजी समूहों को <math>T^k(A)</math> दर्शाया गया है। <math>T^1(A)</math> में <math>A</math> की सभी विकृतियों के विषय में ज्ञान सम्मिलित है एवं सटीक अनुक्रम <math>0 \to T^0(A) \to \text{Der}(R_0) \xrightarrow{d} \text{Hom}_{R_0}(I,A) \to T^1(A) \to 0</math> का उपयोग करके सरलता से गणना की जा सकती है, यदि <math>A</math> बीजगणित के लिए समरूपी <math>\frac{\mathbb{C}\{z_1,\ldots,z_n\}}{(f_1,\ldots, f_m)}</math>है तो इसकी विकृतियाँ<blockquote> <math>T^1(A) \cong \frac{A^m}{df \cdot A^n}</math> के समान होती हैं।</blockquote>जहाँ <math>df</math>, <math>f = (f_1,\ldots, f_m): \mathbb{C}^n \to \mathbb{C}^m</math>का जैकोबियन मैट्रिक्स है। उदाहरण के लिए, हाइपरसतह की विकृतियाँ <math>f</math> द्वारा दी गई हैं जो विकृतियाँ <math>T^1(A) \cong \frac{A^n}{\left( \frac{\partial f}{\partial z_1}, \ldots, \frac{\partial f}{\partial z_n} \right)}</math> एकवचनता के लिए <math>y^2 - x^3</math>, यह मॉड्यूल <math>\frac{A^2}{(y, x^2)}</math> है, इसलिए केवल स्थिरांक या रैखिक कारकों को जोड़कर विकृतियां दी जाती हैं, इसलिए <math>f(x,y) = y^2 - x^3</math> की सामान्य विकृति  <math>F(x,y,a_1,a_2) = y^2 - x^3 + a_1 + a_2x </math> है, जहां <math>a_i</math> विरूपण पैरामीटर हैं।


==कार्यात्मक वर्णन==
==कार्यात्मक वर्णन==
विरूपण सिद्धांत को औपचारिक बनाने की एक अन्य विधि श्रेणी पर फ़ंक्शनलर्स का उपयोग करना है <math>\text{Art}_k</math> एक क्षेत्र पर स्थानीय आर्टिन बीजगणित की। एक पूर्व-विरूपण फ़नकार को फ़नकार के रूप में परिभाषित किया गया है
विरूपण सिद्धांत को औपचारिक बनाने की अन्य विधि श्रेणी <math>\text{Art}_k</math> पर स्थानीय आर्टिन बीजगणित की फ़नकार पर उपयोग करना है।पूर्व-विरूपण फ़नकार को फ़नकार के रूप में परिभाषित किया गया है <math>F: \text{Art}_k \to \text{Sets}</math> ऐसा है कि <math>F(k)</math> बिंदु है। विचार यह है कि हम बिंदु के चारों ओर कुछ मापांक स्पेस की असीम संरचना का अध्ययन करना चाहते हैं जहां उस बिंदु के ऊपर रुचि का स्थान है। सामान्यतः ऐसा होता है कि वास्तविक स्थान खोजने के अतिरिक्त मापांक समस्या के लिए फ़ैक्टर का वर्णन करना सरल होता है। उदाहरण के लिए, यदि हम डिग्री <math>d</math> में <math>\mathbb{P}^n</math>के हाइपरसर्फेस के मापांक-स्पेस पर विचार करना चाहते हैं, तो हम फ़नकार पर विचार कर सकते हैं,
::::::::::::::::::::<math>F: \text{Art}_k \to \text{Sets}</math>
ऐसा है कि <math>F(k)</math> एक बिंदु है. विचार यह है कि हम एक बिंदु के चारों ओर कुछ मॉड्यूलि स्पेस की असीम संरचना का अध्ययन करना चाहते हैं जहां उस बिंदु के ऊपर रुचि का स्थान है। आम तौर पर ऐसा होता है कि वास्तविक स्थान खोजने के बजाय मॉड्यूली समस्या के लिए फ़ैक्टर का वर्णन करना आसान होता है। उदाहरण के लिए, यदि हम डिग्री के हाइपरसर्फेस के मॉड्यूलि-स्पेस पर विचार करना चाहते हैं <math>d</math> में <math>\mathbb{P}^n</math>, तो हम फ़नकार पर विचार कर सकते हैं
:<math>F: \text{Sch} \to \text{Sets}</math>
:<math>F: \text{Sch} \to \text{Sets}</math>
कहाँ
जहाँ
:<math>
:<math>
F(S) = \left\{
F(S) = \left\{
Line 59: Line 57:
: \text{ each fiber is a degree } d \text{ hypersurface in }\mathbb{P}^n\right\}
: \text{ each fiber is a degree } d \text{ hypersurface in }\mathbb{P}^n\right\}
</math>
</math>
हालाँकि सामान्य तौर पर, सेट के बजाय [[समूहबद्ध]] के फ़ैक्टर्स के साथ काम करना अधिक सुविधाजनक/आवश्यक है। यह वक्रों के मापांक के लिए सत्य है।
चूँकि सामान्यतः, समुच्चय के अतिरिक्त [[समूहबद्ध]] के फ़ैक्टर्स के साथ कार्य करना अधिक सुविधाजनक है। यह वक्रों के मापांक के लिए सत्य है।


===इनफिनिटिमल्स के बारे में तकनीकी टिप्पणियाँ===
===अतिसूक्ष्म के विषय में तकनीकी टिप्पणियाँ===
कैलकुलस में गैर-कठोर तर्कों के लिए गणितज्ञों द्वारा लंबे समय से इनफिनिटिमल्स का उपयोग किया जाता रहा है। विचार यह है कि यदि हम बहुपदों पर विचार करें <math>F(x,\varepsilon)</math> एक अतिसूक्ष्म के साथ <math>\varepsilon</math>, तभी केवल प्रथम क्रम की शर्तें वास्तव में मायने रखती हैं; अर्थात् हम विचार कर सकते हैं
गणना में अन्य-कठोर तर्कों के लिए गणितज्ञों द्वारा लंबे समय से अतिसूक्ष्म का उपयोग किया जाता रहा है। विचार यह है कि यदि हम बहुपदों <math>F(x,\varepsilon)</math> पर अतिसूक्ष्म <math>\varepsilon</math> के साथ विचार करें, तभी केवल प्रथम क्रम का अनुबंध वास्तव में आवश्यक हैं; अर्थात् विचार कर सकते हैं कि
:<math> F(x,\varepsilon) \equiv f(x) + \varepsilon g(x) + O(\varepsilon^2)</math>
:<math> F(x,\varepsilon) \equiv f(x) + \varepsilon g(x) + O(\varepsilon^2)</math> है,
इसका एक सरल अनुप्रयोग यह है कि हम इनफिनिटिमल्स का उपयोग करके [[एकपद]]के व्युत्पन्न पा सकते हैं:
इसका सरल अनुप्रयोग यह है कि हम अतिसूक्ष्म का उपयोग करके [[एकपद|एकपदी]] के व्युत्पन्न पा सकते हैं:
:<math> (x+\varepsilon)^3 = x^3 + 3x^2\varepsilon + O(\varepsilon^2)</math>
:<math> (x+\varepsilon)^3 = x^3 + 3x^2\varepsilon + O(\varepsilon^2)</math>,
  <math>\varepsilon</math> इस शब्द में एकपदी का व्युत्पन्न शामिल है, जो कैलकुलस में इसके उपयोग को प्रदर्शित करता है। हम इस समीकरण की व्याख्या एकपदी के टेलर विस्तार के पहले दो पदों के रूप में भी कर सकते हैं। स्थानीय आर्टिन बीजगणित में निलपोटेंट तत्वों का उपयोग करके इनफिनिटिमल्स को कठोर बनाया जा सकता है। रिंग में <math>k[y]/(y^2)</math> हम देखते हैं कि इनफिनिटिमल्स के साथ तर्क काम कर सकते हैं। यह अंकन को प्रेरित करता है <math>k[\varepsilon] = k[y]/(y^2)</math>, जिसे दोहरी संख्याओं का वलय कहा जाता है।
  <math>\varepsilon</math> इस शब्द में एकपदी का व्युत्पन्न सम्मिलित है, जो गणना में इसके उपयोग को प्रदर्शित करता है। हम इस समीकरण की व्याख्या एकपदी के टेलर विस्तार के पनिवारणे दो पदों के रूप में भी कर सकते हैं। स्थानीय आर्टिन बीजगणित में निलपोटेंट तत्वों का उपयोग करके अतिसूक्ष्म को कठोर बनाया जा सकता है। रिंग में <math>k[y]/(y^2)</math> हम देखते हैं कि अतिसूक्ष्म के साथ तर्क कार्य कर सकते हैं। यह अंकन <math>k[\varepsilon] = k[y]/(y^2)</math> को प्रेरित करता है, जिसे दोहरी संख्याओं का वलय कहा जाता है।


इसके अलावा, यदि हम टेलर सन्निकटन के उच्च-क्रम वाले शब्दों पर विचार करना चाहते हैं तो हम आर्टिन बीजगणित पर विचार कर सकते हैं <math>k[y]/(y^k)</math>. हमारे एकपदी के लिए, मान लीजिए कि हम दूसरे क्रम का विस्तार लिखना चाहते हैं
इसके अतिरिक्त, यदि हम टेलर सन्निकटन के उच्च-क्रम वाले शब्दों पर विचार करना चाहते हैं तो हम आर्टिन बीजगणित <math>k[y]/(y^k)</math> पर विचार कर सकते हैं, एकपदी के लिए, मान लीजिए कि दूसरे क्रम का विस्तार लिखना चाहते हैं जो
:<math>(x+\varepsilon)^3 = x^3 + 3x^2\varepsilon + 3x\varepsilon^2 + \varepsilon^3</math>
:<math>(x+\varepsilon)^3 = x^3 + 3x^2\varepsilon + 3x\varepsilon^2 + \varepsilon^3</math> है,
याद रखें कि टेलर विस्तार (शून्य पर) को इस प्रकार लिखा जा सकता है
याद रखें कि टेलर विस्तार (शून्य पर) को इस प्रकार लिखा जा सकता है
:<math>f(x) = f(0) + \frac{f^{(1)}(x)}{1!} + \frac{f^{(2)}(x)}{2!} + \frac{f^{(3)}(x)}{3!} + \cdots </math>
:<math>f(x) = f(0) + \frac{f^{(1)}(x)}{1!} + \frac{f^{(2)}(x)}{2!} + \frac{f^{(3)}(x)}{3!} + \cdots </math>
इसलिए पिछले दो समीकरण दर्शाते हैं कि दूसरा व्युत्पन्न <math>x^3</math> है <math>6x</math>.
इसलिए पूर्व दो समीकरण दर्शाते हैं कि <math>6x</math>, <math>x^3</math> का दूसरा व्युत्पन्न है।


सामान्य तौर पर, चूंकि हम किसी भी संख्या में चर में टेलर विस्तार के मनमाने क्रम पर विचार करना चाहते हैं, हम एक क्षेत्र में सभी स्थानीय आर्टिन बीजगणित की श्रेणी पर विचार करेंगे।
सामान्यतः, चूंकि हम किसी भी संख्या में चर में टेलर विस्तार के क्रम पर विचार करना चाहते हैं, क्षेत्र में सभी स्थानीय आर्टिन बीजगणित की श्रेणी पर विचार करेंगे।


===प्रेरणा===
===प्रेरणा===
पूर्व-विरूपण फ़ंक्टर की परिभाषा को प्रेरित करने के लिए, एक क्षेत्र पर प्रक्षेप्य हाइपरसतह पर विचार करें
पूर्व-विरूपण फ़ंक्टर की परिभाषा को प्रेरित करने के लिए, क्षेत्र पर प्रक्षेप्य हाइपरसतह पर विचार करें
:<math>
:<math>
\begin{matrix}
\begin{matrix}
Line 85: Line 83:
\end{matrix}
\end{matrix}
</math>
</math>
यदि हम इस स्थान के एक अत्यंत छोटे विरूपण पर विचार करना चाहते हैं, तो हम एक कार्टेशियन वर्ग लिख सकते हैं
यदि इस स्थान के अत्यंत छोटे विरूपण पर विचार करना चाहते हैं, तो कार्टेशियन वर्ग लिख सकते हैं
:<math>
:<math>
\begin{matrix}
\begin{matrix}
Line 93: Line 91:
\end{matrix}
\end{matrix}
</math>
</math>
कहाँ <math>a_0 + a_1 + a_2 + a_3 = 4</math>. फिर, दाहिने हाथ के कोने पर मौजूद स्थान एक अतिसूक्ष्म विरूपण का एक उदाहरण है: निलपोटेंट तत्वों की अतिरिक्त योजना सैद्धांतिक संरचना <math>\operatorname{Spec}(k[\varepsilon])</math> (जो स्थलाकृतिक रूप से एक बिंदु है) हमें इस अतिसूक्ष्म डेटा को व्यवस्थित करने की अनुमति देता है। चूँकि हम सभी संभावित विस्तारों पर विचार करना चाहते हैं, इसलिए हम अपने पूर्वविरूपण फ़ैक्टर को वस्तुओं पर इस प्रकार परिभाषित करने देंगे
जहाँ <math>a_0 + a_1 + a_2 + a_3 = 4</math> है। फिर, दाहिने हाथ के कोने पर स्थित स्थान अतिसूक्ष्म विरूपण का उदाहरण है: निलपोटेंट तत्वों की अतिरिक्त योजना सैद्धांतिक संरचना <math>\operatorname{Spec}(k[\varepsilon])</math> (जो स्थलाकृतिक रूप से बिंदु है) इस अतिसूक्ष्म डेटा को व्यवस्थित करने की अनुमति देता है। चूँकि हम सभी संभावित विस्तारों पर विचार करना चाहते हैं, इसलिए पूर्वविरूपण फ़ैक्टर को वस्तुओं पर इस प्रकार परिभाषित करने देंगे
:<math>
:<math>
F(A) = \left\{
F(A) = \left\{
Line 102: Line 100:
\end{matrix}
\end{matrix}
\right\}
\right\}
</math>
</math>,
कहाँ <math>A</math> एक स्थानीय कलाकार है <math>k</math>-बीजगणित.
जहाँ <math>A</math> स्थानीय कलाकार <math>k</math>-बीजगणितहै <math>k</math>-बीजगणित है।


===चिकना पूर्व-विरूपण फ़ंक्शनल===
===चौरस पूर्व-विरूपण फलनल===
किसी भी प्रक्षेपण के लिए पूर्व-विरूपण फ़ैक्टर को चिकना कहा जाता है <math>A' \to A</math> जैसे कि कर्नेल में किसी भी तत्व का वर्ग शून्य है, एक अनुमान है
किसी भी प्रक्षेपण <math>A' \to A</math> के लिए पूर्व-विरूपण फ़ैक्टर को चौरस कहा जाता है, जैसे कि कर्नेल में किसी भी तत्व का वर्ग शून्य है, यह अनुमान  
:<math>F(A') \to F(A)</math>
:<math>F(A') \to F(A)</math> है,
यह निम्नलिखित प्रश्न से प्रेरित है: एक विकृति दी गई है
यह निम्नलिखित प्रश्न से प्रेरित है: विकृति दी गई है,
:<math>
:<math>
\begin{matrix}
\begin{matrix}
Line 116: Line 114:
\end{matrix}
\end{matrix}
</math>
</math>
क्या इस कार्तीय आरेख का कार्तीय आरेखों तक कोई विस्तार मौजूद है
क्या इस कार्तीय आरेख का कार्तीय आरेखों तक कोई विस्तार स्थित है,
:<math>
:<math>
\begin{matrix}
\begin{matrix}
Line 124: Line 122:
\end{matrix}
\end{matrix}
</math>
</math>
स्मूथ नाम योजनाओं के स्मूथ रूपवाद को उठाने की कसौटी से आया है।
चौरस नाम योजनाओं के चौरस रूपवाद की उत्पत्ति से आया है।


===स्पर्शरेखा स्थान===
===स्पर्शरेखा स्थान===
याद रखें कि किसी योजना का स्पर्शरेखा स्थान <math>X</math> के रूप में वर्णित किया जा सकता है <math>\operatorname{Hom}</math>-तय करना
याद रखें कि किसी योजना का स्पर्शरेखा स्थान <math>X</math> को  <math>\operatorname{Hom}</math>-समुच्चय के रूप में वर्णित किया जा सकता है,
:<math>TX := \operatorname{Hom}_{\text{Sch}/k}(\operatorname{Spec}(k[\varepsilon]),X)</math>
:<math>TX := \operatorname{Hom}_{\text{Sch}/k}(\operatorname{Spec}(k[\varepsilon]),X)</math>,
जहां स्रोत एक मनमानी रिंग पर दोहरी संख्या#दोहरी संख्याओं की रिंग है। चूँकि हम कुछ मॉड्यूलि स्पेस के एक बिंदु के स्पर्शरेखा स्थान पर विचार कर रहे हैं, हम अपने (पूर्व)-विरूपण फ़ैनक्टर के स्पर्शरेखा स्थान को इस प्रकार परिभाषित कर सकते हैं
जहां स्रोत दोहरी संख्याओं की रिंग है। चूँकि हम कुछ मापांक स्पेस के बिंदु के स्पर्शरेखा स्थान पर विचार कर रहे हैं, हम (पूर्व) विरूपण फ़ैनक्टर के स्पर्शरेखा स्थान को इस प्रकार परिभाषित कर सकते हैं,
:<math>T_F := F(k[\varepsilon])</math>
:<math>T_F := F(k[\varepsilon])</math> है।




Line 136: Line 134:


===वक्रों के मापांक का आयाम===
===वक्रों के मापांक का आयाम===
बीजगणितीय वक्रों के मापांक के पहले गुणों में से एक <math>\mathcal{M}_g</math> प्रारंभिक विरूपण सिद्धांत का उपयोग करके अनुमान लगाया जा सकता है। इसके आयाम की गणना <ब्लॉककोट> के रूप में की जा सकती है<math>\dim(\mathcal{M}_g) = \dim H^1(C,T_C)</math></ब्लॉकक्वॉट>जीनस के एक मनमाने चिकने वक्र के लिए <math>g</math> क्योंकि विरूपण स्थान मॉड्यूलि स्थान का स्पर्शरेखा स्थान है। सेरे द्वैत का उपयोग करते हुए स्पर्शरेखा स्थान <ब्लॉककोट> के लिए समरूपी है<math>\begin{align}
बीजगणितीय वक्रों के मापांक के पनिवारणे गुणों में से <math>\mathcal{M}_g</math> प्रारंभिक विरूपण सिद्धांत का उपयोग करके अनुमान लगाया जा सकता है। इसके आयाम की गणना <math>\dim(\mathcal{M}_g) = \dim H^1(C,T_C)</math> के रूप में की जा सकती है, जीनस <math>g</math> के चौरस वक्र के लिए, क्योंकि विरूपण स्थान मापांक स्थान का स्पर्शरेखा स्थान है। सेरे द्वैत का उपयोग करते हुए स्पर्शरेखा स्थान <math>\begin{align}
H^1(C,T_C) &\cong H^0(C,T_C^* \otimes \omega_C)^\vee \\
H^1(C,T_C) &\cong H^0(C,T_C^* \otimes \omega_C)^\vee \\
&\cong H^0(C,\omega_C^{\otimes 2})^\vee
&\cong H^0(C,\omega_C^{\otimes 2})^\vee
\end{align}</math></blockquote>इसलिए रीमैन-रोच प्रमेय <blockquote> देता है<math>\begin{align}
\end{align}</math> के लिए समरूपी है, इसलिए रीमैन-रोच प्रमेय <blockquote> <math>\begin{align}
h^0(C,\omega_C^{\otimes 2}) - h^1(C,\omega_C^{\otimes 2}) &= 2(2g - 2) - g + 1 \\
h^0(C,\omega_C^{\otimes 2}) - h^1(C,\omega_C^{\otimes 2}) &= 2(2g - 2) - g + 1 \\
  &= 3g - 3
  &= 3g - 3
\end{align}</math></blockquote>जीनस के वक्रों के लिए <math>g \geq 2</math>  <math>h^1(C,\omega_C^{\otimes 2}) = 0</math> क्योंकि<ब्लॉककोट><math>h^1(C,\omega_C^{\otimes 2}) = h^0(C, (\omega_C^{\otimes 2})^{\vee}\otimes \omega_C)
\end{align}</math> देता है।</blockquote>जीनस के वक्रों के लिए <math>g \geq 2</math>  <math>h^1(C,\omega_C^{\otimes 2}) = 0</math> क्योंकि <math>h^1(C,\omega_C^{\otimes 2}) = h^0(C, (\omega_C^{\otimes 2})^{\vee}\otimes \omega_C)
</math></ब्लॉककोट>डिग्री <ब्लॉककोट> है<math>\begin{align}
</math> है, एवं डिग्री<math>\begin{align}
\text{deg}((\omega_C^{\otimes 2})^\vee \otimes \omega_C) &= 4 - 4g + 2g - 2  \\
\text{deg}((\omega_C^{\otimes 2})^\vee \otimes \omega_C) &= 4 - 4g + 2g - 2  \\
&= 2 - 2g
&= 2 - 2g
\end{align}</math></ब्लॉककोट>और <math>h^0(L) = 0</math> नकारात्मक डिग्री के लाइन बंडलों के लिए। इसलिए मॉड्यूलि स्पेस का आयाम है <math>3g - 3</math>.
\end{align}</math>है एवं  ऋणात्मक डिग्री के पंक्ति बंडलों के लिए <math>h^0(L) = 0</math> है। इसलिए मापांक स्पेस का आयाम <math>3g - 3</math> है।


=== मोड़ना और तोड़ना ===
=== मोड़ एवं तोड़ ===
बीजीय विविधता पर [[तर्कसंगत वक्र]]ों के अस्तित्व का अध्ययन करने के लिए विरूपण सिद्धांत को [[ महत्वपूर्ण सांस्कृतिक संपदा मोरी ]] द्वारा [[द्विवार्षिक ज्यामिति]] में प्रसिद्ध रूप से लागू किया गया था।<ref>{{cite book| first=Olivier|last = Debarre | author-link = Olivier Debarre|  title = Higher-Dimensional Algebraic Geometry|year = 2001 | publisher= Springer| chapter = 3. Bend-and-Break Lemmas | series = Universitext}}</ref> फ़ानो किस्म के सकारात्मक आयाम के लिए मोरी ने दिखाया कि प्रत्येक बिंदु से होकर गुजरने वाला एक तर्कसंगत वक्र है। प्रमाण की विधि को बाद में मोरी के मोड़ और तोड़ के नाम से जाना जाने लगा। मोटा विचार यह है कि किसी चुने हुए बिंदु के माध्यम से कुछ वक्र ''सी'' से शुरू किया जाए और इसे तब तक विकृत किया जाए जब तक कि यह कई अपरिवर्तनीय घटकों में टूट न जाए। घटकों में से किसी एक द्वारा ''सी'' को प्रतिस्थापित करने से वक्र के जीनस या ''सी'' की [[बीजगणितीय विविधता की डिग्री]] में कमी का प्रभाव पड़ता है। इसलिए प्रक्रिया के कई दोहराव के बाद, अंततः हम जीनस 0 का एक वक्र प्राप्त करेंगे, यानी एक तर्कसंगत वक्र। ''सी'' की विकृतियों के अस्तित्व और गुणों के लिए विरूपण सिद्धांत से तर्क और [[सकारात्मक विशेषता]] में कमी की आवश्यकता होती है।
बीजीय विविधता पर [[तर्कसंगत वक्र|तर्कसंगत वक्रों]] के अस्तित्व का अध्ययन करने के लिए विरूपण सिद्धांत को [[ महत्वपूर्ण सांस्कृतिक संपदा मोरी |महत्वपूर्ण सांस्कृतिक संपदा मोरी]] द्वारा [[द्विवार्षिक ज्यामिति]] में प्रसिद्ध रूप से प्रस्तावित किया गया था।<ref>{{cite book| first=Olivier|last = Debarre | author-link = Olivier Debarre|  title = Higher-Dimensional Algebraic Geometry|year = 2001 | publisher= Springer| chapter = 3. Bend-and-Break Lemmas | series = Universitext}}</ref> फ़ानो किस्म के धनात्कमक आयाम के लिए मोरी ने दिखाया कि प्रत्येक बिंदु से निकलने वाला तर्कसंगत वक्र है। प्रमाण की विधि को पश्चात में मोरी के मोड़ एवं तोड़ के नाम से जाना जाने लगा। विचार यह है कि चयन किये गए बिंदु के माध्यम से कुछ वक्र ''C'' से प्रारम्भकिया जाए एवं इसे तब तक विकृत किया जाए जब तक कि यह कई अपरिवर्तनीय घटकों में खंडित हो जाए। घटकों में से किसी द्वारा ''C'' को प्रतिस्थापित करने से वक्र के जीनस या ''C'' की [[बीजगणितीय विविधता की डिग्री]] में कमी का प्रभाव पड़ता है। इसलिए प्रक्रिया के कई दोहराव के पश्चात, अंततः हम जीनस 0 का वक्र प्राप्त करेंगे, अर्थात् तर्कसंगत वक्र ''C'' की विकृतियों के अस्तित्व एवं गुणों के लिए विरूपण सिद्धांत से तर्क एवं [[सकारात्मक विशेषता|धनात्कमक विशेषता]] में कमी की आवश्यकता होती है।


===अंकगणितीय विकृतियाँ===
===अंकगणितीय विकृतियाँ===
विरूपण सिद्धांत का एक प्रमुख अनुप्रयोग अंकगणित में है। इसका उपयोग निम्नलिखित प्रश्न का उत्तर देने के लिए किया जा सकता है: यदि हमारे पास विविधता है <math>X/\mathbb{F}_p</math>, संभावित एक्सटेंशन क्या हैं <math>\mathfrak{X}/\mathbb{Z}_p</math>? यदि हमारी विविधता वक्र है, तो लुप्त हो रही है <math>H^2</math> तात्पर्य यह है कि प्रत्येक विकृति विभिन्नता उत्पन्न करती है <math>\mathbb{Z}_p</math>; अर्थात्, यदि हमारे पास एक चिकना वक्र है
विरूपण सिद्धांत का प्रमुख अनुप्रयोग अंकगणित में है। इसका उपयोग निम्नलिखित प्रश्न का उत्तर देने के लिए किया जा सकता है: यदि हमारे पास विविधता <math>X/\mathbb{F}_p</math> है, संभावित एक्सटेंशन क्या हैं <math>\mathfrak{X}/\mathbb{Z}_p</math>? यदि हमारी विविधता वक्र है, तो लुप्त हो रही है <math>H^2</math> तात्पर्य यह है कि प्रत्येक विकृति विभिन्नता उत्पन्न करती है <math>\mathbb{Z}_p</math>; अर्थात्, यदि हमारे पास चौरस वक्र है
:<math>
:<math>
\begin{matrix}
\begin{matrix}
Line 160: Line 158:
\end{matrix}
\end{matrix}
</math>
</math>
और एक विकृति
एवं विकृति
:<math>
:<math>
\begin{matrix}
\begin{matrix}
Line 167: Line 165:
\operatorname{Spec}(\mathbb{F}_p) & \to & \operatorname{Spec}(\mathbb{Z}/(p^2))
\operatorname{Spec}(\mathbb{F}_p) & \to & \operatorname{Spec}(\mathbb{Z}/(p^2))
\end{matrix}
\end{matrix}
</math>
</math>,
तब हम इसे हमेशा प्रपत्र के आरेख तक विस्तारित कर सकते हैं
तब हम इसे सदैव प्रपत्र के आरेख तक विस्तारित कर सकते हैं
:<math>
:<math>
\begin{matrix}
\begin{matrix}
Line 176: Line 174:
\end{matrix}
\end{matrix}
</math>
</math>
इसका तात्पर्य यह है कि हम एक [[औपचारिक योजना]] का निर्माण कर सकते हैं <math>\mathfrak{X} = \operatorname{Spet}(\mathfrak{X}_\bullet)</math> ऊपर एक वक्र देना <math>\mathbb{Z}_p</math>.
इसका तात्पर्य यह है कि हम [[औपचारिक योजना]] <math>\mathfrak{X} = \operatorname{Spet}(\mathfrak{X}_\bullet)</math> का निर्माण <math>\mathbb{Z}_p</math> के ऊपर वक्र देकर कर सकते हैं।


=== एबेलियन योजनाओं की विकृतियाँ ===
=== एबेलियन योजनाओं की विकृतियाँ ===


मोटे तौर पर सेरे-टेट प्रमेय का दावा है कि [[एबेलियन किस्म]] की विकृतियाँ पी-विभाज्य समूह की विकृतियों द्वारा नियंत्रित होती हैं|पी-विभाज्य समूह <math>A[p^\infty]</math> इसके पी-पावर मरोड़ बिंदु से मिलकर।
सेरे-टेट प्रमेय का दावा है कि [[एबेलियन किस्म]] A की विकृतियाँ p-विभाज्य समूह <math>A[p^\infty]</math> की विकृतियों नियंत्रित होती हैं जिसमें इसके p-पावर टोरसन बिंदु सम्मिलित हैं।


=== गैलोज़ विकृति ===
=== गैलोज़ विकृति ===
{{further|Deformation ring}}
{{further|
विरूपण सिद्धांत का एक अन्य अनुप्रयोग गैलोज़ विरूपण के साथ है। यह हमें प्रश्न का उत्तर देने की अनुमति देता है: यदि हमारे पास गैलोज़ प्रतिनिधित्व है
 
:<math>G \to \operatorname{GL}_n(\mathbb{F}_p)</math>
 
विरूपण वलय}}
विरूपण सिद्धांत का अन्य अनुप्रयोग गैलोज़ विरूपण के साथ है। यह हमें प्रश्न का उत्तर देने की अनुमति देता है: यदि गैलोज़ प्रतिनिधित्व है
:<math>G \to \operatorname{GL}_n(\mathbb{F}_p)</math> है,
हम इसे प्रतिनिधित्व तक कैसे बढ़ा सकते हैं
हम इसे प्रतिनिधित्व तक कैसे बढ़ा सकते हैं
:<math>G \to \operatorname{GL}_n(\mathbb{Z}_p) \text{?}</math>
:<math>G \to \operatorname{GL}_n(\mathbb{Z}_p) \text{?}</math>
Line 191: Line 192:


==[[स्ट्रिंग सिद्धांत]] से संबंध==
==[[स्ट्रिंग सिद्धांत]] से संबंध==
बीजगणित (और [[होशचाइल्ड कोहोमोलॉजी]]) के संदर्भ में उत्पन्न होने वाले तथाकथित [[डेलिग्ने अनुमान]] ने स्ट्रिंग सिद्धांत के संबंध में विरूपण सिद्धांत में बहुत रुचि पैदा की (मोटे तौर पर, इस विचार को औपचारिक रूप देने के लिए कि एक स्ट्रिंग सिद्धांत को एक बिंदु के विरूपण के रूप में माना जा सकता है- कण सिद्धांत){{Citation needed|date=July 2021}}. प्रारंभिक घोषणाओं में कुछ रुकावटों के बाद अब इसे सिद्ध मान लिया गया है। [[मैक्सिम कोनत्सेविच]] उन लोगों में से हैं जिन्होंने इसका आम तौर पर स्वीकृत प्रमाण पेश किया है{{Citation needed|date=July 2021}}.
बीजगणित (एवं [[होशचाइल्ड कोहोमोलॉजी]]) के संदर्भ में उत्पन्न होने वाले तथाकथित [[डेलिग्ने अनुमान]] ने स्ट्रिंग सिद्धांत के संबंध में विरूपण सिद्धांत में अधिक रुचि उत्पन की (इस विचार को औपचारिक रूप देने के लिए कि स्ट्रिंग सिद्धांत को किसी बिंदु के विरूपण के रूप में माना जा सकता है- कण सिद्धांत). प्रारंभिक घोषणाओं में कुछ बाधाओं के पश्चात अब इसे सिद्ध मान लिया गया है। [[मैक्सिम कोनत्सेविच]] उन लोगों में से हैं जिन्होंने इसका सामान्यतः स्वीकृत प्रमाण प्रस्तुत किया है।


==यह भी देखें==
==यह भी देखें==
Line 197: Line 198:
* [[दोहरी संख्या]]
* [[दोहरी संख्या]]
* श्लेसिंगर का प्रमेय
* श्लेसिंगर का प्रमेय
* [[Exalcomm]]
* [[Exalcomm|एक्सएलकॉम]]
* [[कोटैंजेंट कॉम्प्लेक्स]]
* [[कोटैंजेंट कॉम्प्लेक्स|कोटैंजेंट मिश्रित]]
* ग्रोमोव-विटन अपरिवर्तनीय
* ग्रोमोव-विटन अपरिवर्तनीय
* बीजगणितीय वक्रों का मापांक
* बीजगणितीय वक्रों का मापांक
Line 209: Line 210:
==स्रोत==
==स्रोत==
*{{springer|id=d/d030700|title=deformation}}
*{{springer|id=d/d030700|title=deformation}}
*मरे गेर्स्टनहाबर|गेर्स्टनहाबर, मरे और जिम स्टैशेफ|स्टैशफ, जेम्स, संस्करण। (1992)। गणितीय भौतिकी के अनुप्रयोगों के साथ विरूपण सिद्धांत और क्वांटम समूह, [[अमेरिकन गणितीय सोसायटी]] (Google ईबुक) {{ISBN|0821851411}}
*मरे गेर्स्टनहाबर|गेर्स्टनहाबर, मरे एवं जिम स्टैशेफ|स्टैशफ, जेम्स, संस्करण। (1992)। गणितीय भौतिकी के अनुप्रयोगों के साथ विरूपण सिद्धांत एवं क्वांटम समूह, [[अमेरिकन गणितीय सोसायटी]] (Google ईबुक) {{ISBN|0821851411}}


===शैक्षिक===
===शैक्षिक===
*पलामोडोव, वी.पी., III. [https://link-springer-com.colorado.idm.oclc.org/chapter/10.1007/978-3-642-61263-3_3 जटिल स्थानों की विकृतियाँ]। जटिल चर IV (बहुत ही व्यावहारिक परिचय)
*पलामोडोव, वी.पी., III. [https://link-springer-com.colorado.idm.oclc.org/chapter/10.1007/978-3-642-61263-3_3 जटिल स्थानों की विकृतियाँ]। जटिल चर IV (अधिक ही व्यावहारिक परिचय)
*[https://web.archive.org/web/20191118215705/https://www.maths.ed.ac.uk/~ssierra/artin_notes_deformationthy.pdf विरूपण सिद्धांत पर पाठ्यक्रम नोट्स (आर्टिन)]
*[https://web.archive.org/web/20191118215705/https://www.maths.ed.ac.uk/~ssierra/artin_notes_deformationthy.pdf विरूपण सिद्धांत पर पाठ्यक्रम नोट्स (आर्टिन)]
*[https://math.stackexchange.com/a/1124227/251222 योजनाओं के विरूपण सिद्धांत का अध्ययन]
*[https://math.stackexchange.com/a/1124227/251222 योजनाओं के विरूपण सिद्धांत का अध्ययन]
Line 218: Line 219:
*{{Citation | first=Robin | last=Hartshorne | title=Deformation Theory}}
*{{Citation | first=Robin | last=Hartshorne | title=Deformation Theory}}
*[https://math.berkeley.edu/~robin/math274root.pdf विरूपण सिद्धांत पर हार्टशॉर्न पाठ्यक्रम से नोट्स]
*[https://math.berkeley.edu/~robin/math274root.pdf विरूपण सिद्धांत पर हार्टशॉर्न पाठ्यक्रम से नोट्स]
*[http://www.msri.org/summer_schools/419 एमएसआरआई - बीजगणितीय ज्यामिति में विरूपण सिद्धांत और मोडुली]
*[http://www.msri.org/summer_schools/419 एमएसआरआई - बीजगणितीय ज्यामिति में विरूपण सिद्धांत एवं मोडुली]


===सर्वेक्षण आलेख===
===सर्वेक्षण आलेख===
Line 226: Line 227:
==बाहरी संबंध==
==बाहरी संबंध==
*{{cite web|url= http://www.math.ucdavis.edu/~osserman/classes/256A/notes/deform.pdf |title=A glimpse of deformation theory }}, lecture notes by Brian Osserman
*{{cite web|url= http://www.math.ucdavis.edu/~osserman/classes/256A/notes/deform.pdf |title=A glimpse of deformation theory }}, lecture notes by Brian Osserman
[[Category: बीजगणितीय ज्यामिति]] [[Category: विभेदक बीजगणित]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 07/07/2023]]
[[Category:Created On 07/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:बीजगणितीय ज्यामिति]]
[[Category:विभेदक बीजगणित]]

Latest revision as of 15:40, 31 July 2023

गणित में, विरूपण सिद्धांत किसी समस्या के समाधान P को थोड़ा भिन्न समाधान Pε में परिवर्तन से जुड़ी छोटी-छोटी स्थितियों का अध्ययन है, जहां ε छोटी संख्या है, या छोटी मात्राओं का सदिश है। अपरिमित स्थितियां बाधा (गणित) के साथ समस्या को निवारण करने के लिए विभेदक गणना के दृष्टिकोण को प्रस्तावित करने का परिणाम अतिसूक्ष्म स्थितियाँ हैं। नाम अन्य-कठोर संरचनाओं का ऐसा सादृश्य है जो बाहरी शक्तियों को समायोजित करने के लिए [[विरूपण (अभियांत्रिकी)]] करता है।

कुछ विशिष्ट घटनाएँ हैं: ε मात्राओं को नगण्य वर्ग मानकर प्रथम-क्रम समीकरणों की व्युत्पत्ति; भिन्न-भिन्न समाधानों की संभावना, जिसमें भिन्न-भिन्न समाधान संभव नहीं हो सकता है, या कुछ भी नया नहीं लाता है; एवं सवाल यह है कि क्या असीम बाधाएं वास्तव में 'एकीकृत' होती हैं, जिससे उनका समाधान छोटे परिवर्तन प्रदान कर सके। किसी न किसी रूप में इन विचारों का गणित के साथ-साथ भौतिकी एवं इंजीनियरिंग में भी सदियों प्राचीन इतिहास है। उदाहरण के लिए, संख्याओं की ज्यामिति में परिणामों के वर्ग को भिन्नाव प्रमेय कहा जाता है, जिसे किसी दिए गए समाधान के चारों ओर विवृत कक्षा (समूह क्रिया (गणित)) की टोपोलॉजिकल व्याख्या के साथ मान्यता दी गई थी। त्रुटि सिद्धांत सामान्यतः संक्रियक (गणित) की विकृतियों पर भी ध्यान देता है।

जटिल अनेक गुनाओं की विकृतियाँ

गणित में सबसे प्रमुख विरूपण सिद्धांत जटिल बहुविध्स एवं बीजगणितीय वर्ग का रहा है। इसे कुनिहिको कोदैरा एवं डोनाल्ड सी. स्पेंसर के मूलभूत कार्य द्वारा सशक्त आधार पर रखा गया था, जब विरूपण प्रौद्योगिकी को बीजीय ज्यामिति के इतालवी विद्यालय में अधिक अस्थायी अनुप्रयोग प्राप्त हुआ था। सहज रूप से, कोई अपेक्षा करता है कि पनिवारणे क्रम के विरूपण सिद्धांत को ज़ारिस्की स्पर्शरेखा स्थान को मापांक स्थान के समान करना चाहिए। चूँकि, सामान्य स्थिति में घटनाएँ सूक्ष्म हो जाती हैं।

रीमैन सतहों के विषय में, कोई यह समझा सकता है कि रीमैन क्षेत्र पर जटिल संरचना पृथक है (कोई मॉड्यूल नहीं)। जीनस 1 के लिए, अण्डाकार वक्र में जटिल संरचनाओं का एक-पैरामीटर परिवार होता है, जैसा कि अण्डाकार फलन सिद्धांत में दिखाया गया है। सामान्य कोडैरा-स्पेंसर सिद्धांत विरूपण सिद्धांत की कुंजी के रूप में शीफ़ कोहोमोलोजी समूह की पहचान करता है,

जहां Θ होलोमोर्फिक स्पर्शरेखा बंडल (वर्गों के जर्म (गणित) का शीफ) है। उसी शीफ के H2 में बाधा है; जो आयाम के सामान्य कारणों से वक्र के विषय में सदैव शून्य होता है। जीनस 0 के विषय में H1भी गायब हो जाता है. जीनस 1 के लिए आयाम हॉज नंबर h1,0 है, जो इसलिए 1 है। यह ज्ञात है कि जीनस एक के सभी वक्रों में y2 = x3 + ax + b के रूप के समीकरण होते हैं। ये स्पष्ट रूप से दो मापदंडों, a एवं b पर निर्भर करते हैं, जबकि ऐसे वक्रों के समरूपता वर्गों में केवल एक पैरामीटर होता है। इसलिए उन a एवं b से संबंधित समीकरण होना चाहिए जो आइसोमोर्फिक अण्डाकार वक्रों का वर्णन करता है। यह वह वक्र है जिसके लिए b2a−3 का मान समान है, समरूपी वक्रों का वर्णन करें। अर्थात a एवं b को भिन्न करना वक्र वाई की संरचना को विकृत करने का उपाय y2 = x3 + ax + b है, परन्तु a,b के सभी रूपांतर वास्तव में वक्र के समरूपता वर्ग को नहीं परिवर्तित करते हैं।

H1 से संबंधित करने के लिए सेरे द्वैत का उपयोग करते हुए, जीनस g >1 के विषय में कोई आगे बढ़ सकता है,

जहां Ω होलोमोर्फिक कोटैंजेंट बंडल एवं अंकन Ω है[2] का अर्थ टेंसर वर्ग (दूसरी बाहरी शक्ति नहीं)है। दूसरे शब्दों में, रीमैन सतह पर विकृतियों को होलोमोर्फिक द्विघात भिन्नताओं द्वारा नियंत्रित किया जाता है, जिसे फिर से शास्त्रीय रूप से जाना जाता है। मापांक स्पेस का आयाम, जिसे इस विषय में टीचमुलर स्पेस कहा जाता है, रीमैन-रोच प्रमेय द्वारा 3g-3 के रूप में गणना की जाती है।

ये उदाहरण किसी भी आयाम के जटिल बहुविध्स के होलोमोर्फिक परिवारों पर प्रस्तावित होने वाले सिद्धांत का प्रारम्भ हैं। आगामी विकास में सम्मिलित विभेदक ज्यामिति की अन्य संरचनाओं के लिए स्पेंसर द्वारा प्रौद्योगिकी का विस्तार; ग्रोथेंडिक के अमूर्त बीजगणितीय ज्यामिति में कोडैरा-स्पेंसर सिद्धांत को आत्मसात करना हैं, जिसके परिणामस्वरूप पनिवारणे के कार्य की ठोस व्याख्या हुई; एवं अन्य संरचनाओं का विरूपण सिद्धांत, जैसे कि बीजगणित है।

विरूपण एवं समतल मानचित्र

विरूपण का सबसे सामान्य रूप समतल मानचित्र , जटिल-विश्लेषणात्मक स्थानों की, योजना (गणित), या किसी स्थान पर कार्यों के रोगाणु है। ग्रोथेंडिक[1] विकृतियों के लिए इस दूरगामी सामान्यीकरण को खोजने वाले प्रथम व्यक्ति थे एवं उस संदर्भ में सिद्धांत विकसित किया। सामान्य विचार यह है कि सार्वभौमिक परिवार का अस्तित्व होना चाहिए, जैसे कि किसी भी विकृति को अद्वितीय पुलबैक वर्ग के रूप में पाया जा सकता है,कई विषयों में, यह सार्वभौमिक परिवार या तो हिल्बर्ट योजना या कोट योजना है, या उनमें से किसी का भागफल है। उदाहरण के लिए, वक्रों के मापांक के निर्माण में, इसका निर्माण हिल्बर्ट योजना में चौरस वक्रों के भागफल के रूप में किया गया है। यदि पुलबैक वर्ग अद्वितीय नहीं है, तो परिवार केवल बहुमुखी है।

विश्लेषणात्मक बीजगणित के रोगाणुओं की विकृतियाँ

विरूपण सिद्धांत के उपयोगी एवं सरलता से गणना योग्य क्षेत्रों में से जटिल स्थानों के रोगाणुओं के विरूपण सिद्धांत, जैसे कि स्टीन बहुविध, मिश्रित बहुविध, या मिश्रित विश्लेषणात्मक विविधता से आता है।[1]ध्यान दें कि इस सिद्धांत को होलोमोर्फिक फलन, स्पर्शरेखा रिक्त स्थान आदि के रोगाणुओं के संचय पर विचार करके जटिल बहुविध्स एवं जटिल विश्लेषणात्मक स्थानों में वैश्वीकृत किया जा सकता है। ऐसे बीजगणित इस रूप में होते हैं, जहाँ अभिसम्पूर्ण शक्ति-श्रृंखला का वलय है एवं आदर्श है, उदाहरण के लिए, कई लेखक विलक्षणता के कार्यों के रोगाणुओं का अध्ययन करते हैं, जैसे कि बीजगणित समतल-वक्र विलक्षणता का प्रतिनिधित्व करता है। विश्लेषणात्मक बीजगणित का रोगाणु ऐसे बीजगणित की विपरीत श्रेणी में वस्तु है। फिर, विश्लेषणात्मक बीजगणित के ऐसे रोगाणु का विरूपण विश्लेषणात्मक बीजगणित के रोगाणुओं के समतल मानचित्र द्वारा दिया गया है, जहाँ विशिष्ट बिंदु है ऐसे कि पुलबैक वर्ग में उचित होता है,इन विकृतियों में क्रमविनिमेय वर्गों द्वारा दिया गया तुल्यता संबंध होता है,

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

विकृतियों की सह-समसामयिक व्याख्या

यह स्पष्ट होना चाहिए कि विश्लेषणात्मक कार्यों के रोगाणु में कई विकृतियाँ हो सकती हैं। इस कारण से, इस सम्पूर्ण ज्ञान को व्यवस्थित करने के लिए कुछ बही-खाता उपकरणों की आवश्यकता होती है। इन संगठनात्मक उपकरणों का निर्माण टेंगेंट कोहोमोलॉजी का उपयोग करके किया गया है।[1]यह कोसज़ुल-टेट रिज़ॉल्यूशन का उपयोग करके एवं अन्य-नियमित बीजगणित के लिए अतिरिक्त जनरेटर जोड़कर इसे संभावित रूप से संशोधित करके बनाया गया है। विश्लेषणात्मक बीजगणित के विषय में इन संकल्पों को गणितज्ञ गैलिना ट्यूरिना के लिए तजुरिना संकल्प कहा जाता है, जिन्होंने सबसे पनिवारणे ऐसी वस्तुओं का अध्ययन किया था। यह ग्रेडेड-कम्यूटेटिव डिफरेंशियल ग्रेडेड बीजगणित है, ऐसा कि विश्लेषणात्मक बीजगणित का विशेषण मानचित्र है, एवं यह मानचित्र सटीक अनुक्रम में उचित है, फिर, व्युत्पत्तियों के विभेदक श्रेणीबद्ध मॉड्यूल को लेकर , इसकी सह-समरूपता विश्लेषणात्मक बीजगणित के रोगाणु की स्पर्शरेखा सह-समरूपता बनाती है। इन सहसंयोजी समूहों को दर्शाया गया है। में की सभी विकृतियों के विषय में ज्ञान सम्मिलित है एवं सटीक अनुक्रम का उपयोग करके सरलता से गणना की जा सकती है, यदि बीजगणित के लिए समरूपी है तो इसकी विकृतियाँ

के समान होती हैं।

जहाँ , का जैकोबियन मैट्रिक्स है। उदाहरण के लिए, हाइपरसतह की विकृतियाँ द्वारा दी गई हैं जो विकृतियाँ एकवचनता के लिए , यह मॉड्यूल है, इसलिए केवल स्थिरांक या रैखिक कारकों को जोड़कर विकृतियां दी जाती हैं, इसलिए की सामान्य विकृति है, जहां विरूपण पैरामीटर हैं।

कार्यात्मक वर्णन

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

जहाँ

चूँकि सामान्यतः, समुच्चय के अतिरिक्त समूहबद्ध के फ़ैक्टर्स के साथ कार्य करना अधिक सुविधाजनक है। यह वक्रों के मापांक के लिए सत्य है।

अतिसूक्ष्म के विषय में तकनीकी टिप्पणियाँ

गणना में अन्य-कठोर तर्कों के लिए गणितज्ञों द्वारा लंबे समय से अतिसूक्ष्म का उपयोग किया जाता रहा है। विचार यह है कि यदि हम बहुपदों पर अतिसूक्ष्म के साथ विचार करें, तभी केवल प्रथम क्रम का अनुबंध वास्तव में आवश्यक हैं; अर्थात् विचार कर सकते हैं कि

है,

इसका सरल अनुप्रयोग यह है कि हम अतिसूक्ष्म का उपयोग करके एकपदी के व्युत्पन्न पा सकते हैं:

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

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

है,

याद रखें कि टेलर विस्तार (शून्य पर) को इस प्रकार लिखा जा सकता है

इसलिए पूर्व दो समीकरण दर्शाते हैं कि , का दूसरा व्युत्पन्न है।

सामान्यतः, चूंकि हम किसी भी संख्या में चर में टेलर विस्तार के क्रम पर विचार करना चाहते हैं, क्षेत्र में सभी स्थानीय आर्टिन बीजगणित की श्रेणी पर विचार करेंगे।

प्रेरणा

पूर्व-विरूपण फ़ंक्टर की परिभाषा को प्रेरित करने के लिए, क्षेत्र पर प्रक्षेप्य हाइपरसतह पर विचार करें

यदि इस स्थान के अत्यंत छोटे विरूपण पर विचार करना चाहते हैं, तो कार्टेशियन वर्ग लिख सकते हैं

जहाँ है। फिर, दाहिने हाथ के कोने पर स्थित स्थान अतिसूक्ष्म विरूपण का उदाहरण है: निलपोटेंट तत्वों की अतिरिक्त योजना सैद्धांतिक संरचना (जो स्थलाकृतिक रूप से बिंदु है) इस अतिसूक्ष्म डेटा को व्यवस्थित करने की अनुमति देता है। चूँकि हम सभी संभावित विस्तारों पर विचार करना चाहते हैं, इसलिए पूर्वविरूपण फ़ैक्टर को वस्तुओं पर इस प्रकार परिभाषित करने देंगे

,

जहाँ स्थानीय कलाकार -बीजगणितहै -बीजगणित है।

चौरस पूर्व-विरूपण फलनल

किसी भी प्रक्षेपण के लिए पूर्व-विरूपण फ़ैक्टर को चौरस कहा जाता है, जैसे कि कर्नेल में किसी भी तत्व का वर्ग शून्य है, यह अनुमान

है,

यह निम्नलिखित प्रश्न से प्रेरित है: विकृति दी गई है,

क्या इस कार्तीय आरेख का कार्तीय आरेखों तक कोई विस्तार स्थित है,

चौरस नाम योजनाओं के चौरस रूपवाद की उत्पत्ति से आया है।

स्पर्शरेखा स्थान

याद रखें कि किसी योजना का स्पर्शरेखा स्थान को -समुच्चय के रूप में वर्णित किया जा सकता है,

,

जहां स्रोत दोहरी संख्याओं की रिंग है। चूँकि हम कुछ मापांक स्पेस के बिंदु के स्पर्शरेखा स्थान पर विचार कर रहे हैं, हम (पूर्व) विरूपण फ़ैनक्टर के स्पर्शरेखा स्थान को इस प्रकार परिभाषित कर सकते हैं,

है।


विरूपण सिद्धांत के अनुप्रयोग

वक्रों के मापांक का आयाम

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

देता है।

जीनस के वक्रों के लिए क्योंकि है, एवं डिग्रीहै एवं ऋणात्मक डिग्री के पंक्ति बंडलों के लिए है। इसलिए मापांक स्पेस का आयाम है।

मोड़ एवं तोड़

बीजीय विविधता पर तर्कसंगत वक्रों के अस्तित्व का अध्ययन करने के लिए विरूपण सिद्धांत को महत्वपूर्ण सांस्कृतिक संपदा मोरी द्वारा द्विवार्षिक ज्यामिति में प्रसिद्ध रूप से प्रस्तावित किया गया था।[2] फ़ानो किस्म के धनात्कमक आयाम के लिए मोरी ने दिखाया कि प्रत्येक बिंदु से निकलने वाला तर्कसंगत वक्र है। प्रमाण की विधि को पश्चात में मोरी के मोड़ एवं तोड़ के नाम से जाना जाने लगा। विचार यह है कि चयन किये गए बिंदु के माध्यम से कुछ वक्र C से प्रारम्भकिया जाए एवं इसे तब तक विकृत किया जाए जब तक कि यह कई अपरिवर्तनीय घटकों में खंडित न हो जाए। घटकों में से किसी द्वारा C को प्रतिस्थापित करने से वक्र के जीनस या C की बीजगणितीय विविधता की डिग्री में कमी का प्रभाव पड़ता है। इसलिए प्रक्रिया के कई दोहराव के पश्चात, अंततः हम जीनस 0 का वक्र प्राप्त करेंगे, अर्थात् तर्कसंगत वक्र C की विकृतियों के अस्तित्व एवं गुणों के लिए विरूपण सिद्धांत से तर्क एवं धनात्कमक विशेषता में कमी की आवश्यकता होती है।

अंकगणितीय विकृतियाँ

विरूपण सिद्धांत का प्रमुख अनुप्रयोग अंकगणित में है। इसका उपयोग निम्नलिखित प्रश्न का उत्तर देने के लिए किया जा सकता है: यदि हमारे पास विविधता है, संभावित एक्सटेंशन क्या हैं ? यदि हमारी विविधता वक्र है, तो लुप्त हो रही है तात्पर्य यह है कि प्रत्येक विकृति विभिन्नता उत्पन्न करती है ; अर्थात्, यदि हमारे पास चौरस वक्र है

एवं विकृति

,

तब हम इसे सदैव प्रपत्र के आरेख तक विस्तारित कर सकते हैं

इसका तात्पर्य यह है कि हम औपचारिक योजना का निर्माण के ऊपर वक्र देकर कर सकते हैं।

एबेलियन योजनाओं की विकृतियाँ

सेरे-टेट प्रमेय का दावा है कि एबेलियन किस्म A की विकृतियाँ p-विभाज्य समूह की विकृतियों नियंत्रित होती हैं जिसमें इसके p-पावर टोरसन बिंदु सम्मिलित हैं।

गैलोज़ विकृति

विरूपण सिद्धांत का अन्य अनुप्रयोग गैलोज़ विरूपण के साथ है। यह हमें प्रश्न का उत्तर देने की अनुमति देता है: यदि गैलोज़ प्रतिनिधित्व है

है,

हम इसे प्रतिनिधित्व तक कैसे बढ़ा सकते हैं


स्ट्रिंग सिद्धांत से संबंध

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

यह भी देखें

टिप्पणियाँ

  1. 1.0 1.1 1.2 Palamodov (1990). "Deformations of Complex Spaces". अनेक जटिल चर IV. Encyclopaedia of Mathematical Sciences. Vol. 10. pp. 105–194. doi:10.1007/978-3-642-61263-3_3. ISBN 978-3-642-64766-6.
  2. Debarre, Olivier (2001). "3. Bend-and-Break Lemmas". Higher-Dimensional Algebraic Geometry. Universitext. Springer.


स्रोत

शैक्षिक

सर्वेक्षण आलेख

बाहरी संबंध