न्यूनतम मॉडल कार्यक्रम: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Effort to birationally classify algebraic varieties}}
{{Short description|Effort to birationally classify algebraic varieties}}
[[बीजगणितीय ज्यामिति]] में, '''न्यूनतम मॉडल प्रोग्राम''' बीजगणितीय प्रकारों के बिरेशनल वर्गीकरण का भाग है। इसका लक्ष्य किसी भी जटिल प्रक्षेप्य विविधता का एक बिरेशनल मॉडल बनाना है जो यथासंभव सरल हो। इस विषय की उत्पत्ति इटैलियन बीजगणितीय ज्यामिति स्कूल द्वारा अध्ययन की गई सतहों की पारंपरिक [[द्विवार्षिक ज्यामिति|बिरेशनल ज्यामिति]] में हुई है, और वर्तमान में यह बीजगणितीय ज्यामिति के अन्दर सक्रिय अनुसंधान क्षेत्र है।
[[बीजगणितीय ज्यामिति]] में, '''न्यूनतम मॉडल प्रोग्राम''' बीजगणितीय वैराइटीज के बिरेशनल वर्गीकरण का भाग है। इसका लक्ष्य किसी भी जटिल प्रक्षेप्य विविधता का एक बिरेशनल मॉडल बनाना है जो यथासंभव सरल हो। इस विषय की उत्पत्ति इटैलियन बीजगणितीय ज्यामिति स्कूल द्वारा अध्ययन की गई सतहों की पारंपरिक [[द्विवार्षिक ज्यामिति|बिरेशनल ज्यामिति]] में हुई है, और वर्तमान में यह बीजगणितीय ज्यामिति के अन्दर सक्रिय अनुसंधान क्षेत्र है।


==रूपरेखा==
==रूपरेखा==
सिद्धांत का मूल विचार प्रत्येक बिरेशनल तुल्यता वर्ग में, यथासंभव सरल प्रकार की खोज करके प्रकारों के बिरेशनल वर्गीकरण को सरल बनाना है। इस वाक्यांश का त्रुटिहीन अर्थ विषय के विकास के साथ विकसित हुआ है; मूल रूप से सतहों के लिए, इसका अर्थ चिकनी प्रकार <math>X</math> ढूंढना था जिसके लिए चिकनी सतह <math>X'</math> के साथ कोई भी बिरेशनल [[नियमित मानचित्र (बीजगणितीय ज्यामिति)]] <math>f\colon X \to X'</math> एक समरूपता है।
सिद्धांत का मूल विचार प्रत्येक बिरेशनल तुल्यता वर्ग में, यथासंभव सरल वैराइटी की खोज करके वैराइटीज के बिरेशनल वर्गीकरण को सरल बनाना है। इस वाक्यांश का त्रुटिहीन अर्थ विषय के विकास के साथ विकसित हुआ है; मूल रूप से सतहों के लिए, इसका अर्थ स्मूथ वैराइटी <math>X</math> ढूंढना था जिसके लिए स्मूथ सतह <math>X'</math> के साथ कोई भी बिरेशनल [[नियमित मानचित्र (बीजगणितीय ज्यामिति)]] <math>f\colon X \to X'</math> एक आइसोमोर्फिज्म है।


आधुनिक सूत्रीकरण में सिद्धांत का लक्ष्य इस प्रकार है। मान लीजिए हमें प्रक्षेपी किस्म दी गई है <math>X</math>, जिसे सरलता के लिए गैर-विलक्षण माना जाता है। इसके कोडैरा आयाम के आधार पर दो मामले हैं, <math>\kappa(X)</math>:<ref>Note that the Kodaira dimension of an ''n''-dimensional variety is either <math>-\infty</math> or an integer in the range 0 to ''n''.</ref>
आधुनिक सूत्रीकरण में सिद्धांत का लक्ष्य इस प्रकार है। मान लीजिए हमें प्रक्षेपी वैराइटी <math>X</math> दी गई है, जिसे सरलता के लिए गैर-एकवचन माना जाता है। इसके कोडैरा आयाम <math>\kappa(X)</math> पर आधारित दो स्थितियां हैं:<ref>Note that the Kodaira dimension of an ''n''-dimensional variety is either <math>-\infty</math> or an integer in the range 0 to ''n''.</ref>
* <math>\kappa(X)=-\infty.</math> हम विविधता खोजना चाहते हैं <math>X'</math> बिरेशनल वह <math>X</math>, और रूपवाद <math>f\colon X' \to Y</math> प्रक्षेपी किस्म के लिए <math>Y</math> ऐसा है कि <math>\dim Y < \dim X',</math> [[विहित वर्ग]] के साथ <math>-K_F</math> सामान्य फाइबर का <math>F</math> [[पर्याप्त लाइन बंडल]] होना। इस तरह के रूपवाद को [[फैनो फ़िब्रेशन]] कहा जाता है।
* <math>\kappa(X)=-\infty.</math> हम एक विविधता <math>X'</math> को <math>X</math> से बिरेशनल और एक मोर्फिज्म <math>f\colon X' \to Y</math> को एक प्रक्षेपी वैराइटी <math>Y</math> से इस प्रकार खोजना चाहते हैं कि <math>\dim Y < \dim X'</math> एक सामान्य फाइबर <math>F</math> के [[विहित वर्ग|एंटीकैनोनिकल वर्ग]] <math>-K_F</math> के साथ [[पर्याप्त लाइन बंडल]] हो। इस प्रकार के मोर्फिज्म को [[फैनो फ़िब्रेशन]] कहा जाता है।
* <math>\kappa(X) \geqslant 0.</math> हम खोजना चाहते हैं <math>X'</math> बिरेशनल वह <math>X</math>, विहित वर्ग के साथ <math>K_{X^\prime}</math> [[संख्यात्मक रूप से प्रभावी]]. इस मामले में, <math>X'</math> के लिए न्यूनतम मॉडल है <math>X</math>.
* <math>\kappa(X) \geqslant 0.</math> हम कैनोनिकल वर्ग <math>K_{X^\prime}</math> के साथ [[संख्यात्मक रूप से प्रभावी]], <math>X</math> के बिरेशनल <math>X'</math> को खोजना चाहते हैं। इस स्थितियां में, <math>X'</math> <math>X</math> के लिए एक न्यूनतम मॉडल है।


सवाल यह है कि क्या किस्में <math>X'</math> और <math>X</math> ऊपर प्रदर्शित होना गैर-विलक्षण है, यह महत्वपूर्ण बात है। यदि हम सहजता से शुरुआत करें तो यह आशा स्वाभाविक लगती है <math>X</math>, तो हम हमेशा चिकनी प्रकारों की श्रेणी के अंदर न्यूनतम मॉडल या फ़ानो फाइबर स्थान पा सकते हैं। हालाँकि, यह सच नहीं है, और इसलिए एकल प्रकारों पर भी विचार करना आवश्यक हो जाता है। जो विलक्षणताएँ प्रकट होती हैं उन्हें [[टर्मिनल विलक्षणताएँ]] कहा जाता है।
प्रश्न यह है कि क्या वैराइटी <math>X'</math> और <math>X</math> ऊपर प्रदर्शित होना गैर-विलक्षण है, यह महत्वपूर्ण बात है। यह आशा करना स्वाभाविक लगता है कि यदि हम स्मूथ <math>X</math> से प्रारंभ करते है, तो हम हमेशा स्मूथ वैराइटीज की श्रेणी के अंदर न्यूनतम मॉडल या फ़ानो फाइबर स्थान पा सकते हैं। चूँकि, यह सच नहीं है, और इसलिए एकल वैराइटीज पर भी विचार करना आवश्यक हो जाता है। जो विलक्षणताएँ प्रकट होती हैं उन्हें [[टर्मिनल विलक्षणताएँ]] कहा जाता है।


==सतहों के न्यूनतम मॉडल==
==सतहों के न्यूनतम मॉडल==
{{main|Enriques–Kodaira classification}}
{{main|Enriques–Kodaira classification}}
प्रत्येक अपरिवर्तनीय जटिल बीजगणितीय वक्र अद्वितीय चिकनी प्रक्षेप्य वक्र के लिए बिरेशनल है, इसलिए वक्रों के लिए सिद्धांत तुच्छ है। सतहों के मामले की जांच सबसे पहले 1900 के आसपास इटैलियन स्कूल के जियोमीटर द्वारा की गई थी; [[गुइडो कैस्टेलनुवोवो]] का कैस्टेलनुओवो संकुचन प्रमेय अनिवार्य रूप से किसी भी सतह के न्यूनतम मॉडल के निर्माण की प्रक्रिया का वर्णन करता है। प्रमेय बताता है कि कोई भी गैर-तुच्छ बिरेशनल रूपवाद <math>f\colon X\to Y</math> −1-वक्र को चिकने बिंदु पर अनुबंधित करना होगा, और इसके विपरीत ऐसे किसी भी वक्र को आसानी से अनुबंधित किया जा सकता है। यहां −1-वक्र स्व-प्रतिच्छेदन के साथ सहज तर्कसंगत वक्र C है <math>C\cdot C = -1.</math> ऐसा कोई भी वक्र अवश्य होना चाहिए <math>K\cdot C = -1</math> जो दर्शाता है कि यदि विहित वर्ग नेफ है तो सतह पर कोई −1-वक्र नहीं है।
प्रत्येक अपरिवर्तनीय जटिल बीजगणितीय वक्र अद्वितीय स्मूथ प्रक्षेप्य वक्र के लिए बिरेशनल है, इसलिए वक्रों के लिए सिद्धांत तुच्छ है। सतहों के स्थितियां की जांच सबसे पहले 1900 के आसपास इटैलियन स्कूल के जियोमीटर द्वारा की गई थी; [[गुइडो कैस्टेलनुवोवो]] का कैस्टेलनुओवो संकुचन प्रमेय अनिवार्य रूप से किसी भी सतह के न्यूनतम मॉडल के निर्माण की प्रक्रिया का वर्णन करता है। प्रमेय बताता है कि कोई भी गैर-तुच्छ बिरेशनल मोर्फिज्म <math>f\colon X\to Y</math> −1-वक्र को चिकने बिंदु पर अनुबंधित करना होगा, और इसके विपरीत ऐसे किसी भी वक्र को आसानी से अनुबंधित किया जा सकता है। यहां −1-वक्र स्व-प्रतिच्छेदन के साथ सहज तर्कसंगत वक्र C है <math>C\cdot C = -1.</math> ऐसा कोई भी वक्र अवश्य होना चाहिए <math>K\cdot C = -1</math> जो दर्शाता है कि यदि कैनोनिकल वर्ग नेफ है तो सतह पर कोई −1-वक्र नहीं है।


कैस्टेलनोवो के प्रमेय का तात्पर्य है कि चिकनी सतह के लिए न्यूनतम मॉडल का निर्माण करने के लिए, हम बस सतह पर सभी −1-वक्रों को आकारवाद में संकुचन करते हैं, और परिणामी विविधता Y या तो K नेफ के साथ (अद्वितीय) न्यूनतम मॉडल है, या शासित सतह है ( जो 2-आयामी फ़ानो फ़ाइबर स्पेस के समान है, और या तो प्रक्षेप्य तल है या वक्र के ऊपर शासित सतह है)। दूसरे मामले में, एक्स के लिए शासित बिरेशनल सतह अद्वितीय नहीं है, हालांकि प्रक्षेप्य रेखा और वक्र के उत्पाद के लिए अद्वितीय आइसोमोर्फिक है। कुछ हद तक सूक्ष्म बात यह है कि भले ही सतह में अनंत रूप से कई -1-वक्र हो सकते हैं, किसी को बिना -1-वक्र वाली सतह प्राप्त करने के लिए उनमें से केवल सीमित रूप से कई को अनुबंधित करने की आवश्यकता होती है।
कैस्टेलनोवो के प्रमेय का तात्पर्य है कि स्मूथ सतह के लिए न्यूनतम मॉडल का निर्माण करने के लिए, हम बस सतह पर सभी −1-वक्रों को आकारवाद में संकुचन करते हैं, और परिणामी विविधता Y या तो K नेफ के साथ (अद्वितीय) न्यूनतम मॉडल है, या शासित सतह है ( जो 2-आयामी फ़ानो फ़ाइबर स्पेस के समान है, और या तो प्रक्षेप्य तल है या वक्र के ऊपर शासित सतह है)। दूसरे स्थितियां में, एक्स के लिए शासित बिरेशनल सतह अद्वितीय नहीं है, हालांकि प्रक्षेप्य रेखा और वक्र के उत्पाद के लिए अद्वितीय आइसोमोर्फिक है। कुछ हद तक सूक्ष्म बात यह है कि भले ही सतह में अनंत रूप से कई -1-वक्र हो सकते हैं, किसी को बिना -1-वक्र वाली सतह प्राप्त करने के लिए उनमें से केवल सीमित रूप से कई को अनुबंधित करने की आवश्यकता होती है।


==उच्च-आयामी न्यूनतम मॉडल==
==उच्च-आयामी न्यूनतम मॉडल==
2 से बड़े आयामों में, सिद्धांत कहीं अधिक शामिल हो जाता है। विशेष रूप से, वहाँ चिकनी योजना मौजूद हैं <math>X</math> जो किसी भी सहज किस्म के लिए बिरेशनल नहीं हैं <math>X'</math> [[नेफ लाइन बंडल]] के साथ। 1970 और 1980 के दशक की शुरुआत में प्रमुख वैचारिक प्रगति यह थी कि न्यूनतम मॉडलों का निर्माण अभी भी संभव है, बशर्ते कि व्यक्ति घटित होने वाली विलक्षणताओं के प्रकारों के बारे में सावधान रहे। (उदाहरण के लिए, हम यह तय करना चाहते हैं कि क्या <math>K_{X'}</math> नेफ़ है, इसलिए प्रतिच्छेदन संख्याएँ <math>K_{X'} \cdot C</math> परिभाषित किया जाना चाहिए. इसलिए, कम से कम, हमारी प्रकारों में तो होना ही चाहिए <math>nK_{X'}</math> किसी धनात्मक पूर्णांक के लिए [[कार्टियर विभाजक]] होना <math>n</math>.)
2 से बड़े आयामों में, सिद्धांत कहीं अधिक शामिल हो जाता है। विशेष रूप से, वहाँ स्मूथ योजना मौजूद हैं <math>X</math> जो किसी भी स्मूथ वैराइटी के लिए बिरेशनल नहीं हैं <math>X'</math> [[नेफ लाइन बंडल]] के साथ। 1970 और 1980 के दशक की शुरुआत में प्रमुख वैचारिक प्रगति यह थी कि न्यूनतम मॉडलों का निर्माण अभी भी संभव है, बशर्ते कि व्यक्ति घटित होने वाली विलक्षणताओं के वैराइटीज के बारे में सावधान रहे। (उदाहरण के लिए, हम यह तय करना चाहते हैं कि क्या <math>K_{X'}</math> नेफ़ है, इसलिए प्रतिच्छेदन संख्याएँ <math>K_{X'} \cdot C</math> परिभाषित किया जाना चाहिए. इसलिए, कम से कम, हमारी वैराइटीज में तो होना ही चाहिए <math>nK_{X'}</math> किसी धनात्मक पूर्णांक के लिए [[कार्टियर विभाजक]] होना <math>n</math>.)


पहला मुख्य परिणाम [[ महत्वपूर्ण सांस्कृतिक संपदा मोरी ]] का वक्र शंकु है, जो वक्र शंकु की संरचना का वर्णन करता है <math>X</math>. संक्षेप में, प्रमेय से पता चलता है कि शुरुआत से <math>X</math>, कोई भी प्रेरक रूप से प्रकारों का क्रम बना सकता है <math>X_i</math>, जिनमें से प्रत्येक पिछले वाले की तुलना में अधिक निकट है <math>K_{X_i}</math> नेफ. हालाँकि, इस प्रक्रिया में कठिनाइयों का सामना करना पड़ सकता है: कुछ बिंदु पर विविधता <math>X_i</math> बहुत एकल हो सकता है. इस समस्या का अनुमानित समाधान फ्लिप (बीजगणितीय ज्यामिति) है, जो प्रकार का कोडिमेंशन-2 सर्जरी ऑपरेशन है। <math>X_i</math>. यह स्पष्ट नहीं है कि आवश्यक फ़्लिप मौजूद हैं, न ही वे हमेशा समाप्त हो जाते हैं (अर्थात, कोई न्यूनतम मॉडल तक पहुँच जाता है <math>X'</math> बहुत से चरणों में।) {{harvtxt|Mori|1988}} ने दिखाया कि फ़्लिप 3-आयामी मामले में मौजूद हैं।
पहला मुख्य परिणाम [[ महत्वपूर्ण सांस्कृतिक संपदा मोरी ]] का वक्र शंकु है, जो वक्र शंकु की संरचना का वर्णन करता है <math>X</math>. संक्षेप में, प्रमेय से पता चलता है कि शुरुआत से <math>X</math>, कोई भी प्रेरक रूप से वैराइटीज का क्रम बना सकता है <math>X_i</math>, जिनमें से प्रत्येक पिछले वाले की तुलना में अधिक निकट है <math>K_{X_i}</math> नेफ. चूँकि, इस प्रक्रिया में कठिनाइयों का सामना करना पड़ सकता है: कुछ बिंदु पर विविधता <math>X_i</math> बहुत एकल हो सकता है. इस समस्या का अनुमानित समाधान फ्लिप (बीजगणितीय ज्यामिति) है, जो वैराइटी का कोडिमेंशन-2 सर्जरी ऑपरेशन है। <math>X_i</math>. यह स्पष्ट नहीं है कि आवश्यक फ़्लिप मौजूद हैं, न ही वे हमेशा समाप्त हो जाते हैं (अर्थात, कोई न्यूनतम मॉडल तक पहुँच जाता है <math>X'</math> बहुत से चरणों में।) {{harvtxt|Mori|1988}} ने दिखाया कि फ़्लिप 3-आयामी स्थितियां में मौजूद हैं।


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


उच्च आयामों में लॉग फ़्लिप की समाप्ति की समस्या सक्रिय शोध का विषय बनी हुई है।
उच्च आयामों में लॉग फ़्लिप की समाप्ति की समस्या सक्रिय शोध का विषय बनी हुई है।

Revision as of 07:04, 23 July 2023

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

रूपरेखा

सिद्धांत का मूल विचार प्रत्येक बिरेशनल तुल्यता वर्ग में, यथासंभव सरल वैराइटी की खोज करके वैराइटीज के बिरेशनल वर्गीकरण को सरल बनाना है। इस वाक्यांश का त्रुटिहीन अर्थ विषय के विकास के साथ विकसित हुआ है; मूल रूप से सतहों के लिए, इसका अर्थ स्मूथ वैराइटी ढूंढना था जिसके लिए स्मूथ सतह के साथ कोई भी बिरेशनल नियमित मानचित्र (बीजगणितीय ज्यामिति) एक आइसोमोर्फिज्म है।

आधुनिक सूत्रीकरण में सिद्धांत का लक्ष्य इस प्रकार है। मान लीजिए हमें प्रक्षेपी वैराइटी दी गई है, जिसे सरलता के लिए गैर-एकवचन माना जाता है। इसके कोडैरा आयाम पर आधारित दो स्थितियां हैं:[1]

  • हम एक विविधता को से बिरेशनल और एक मोर्फिज्म को एक प्रक्षेपी वैराइटी से इस प्रकार खोजना चाहते हैं कि एक सामान्य फाइबर के एंटीकैनोनिकल वर्ग के साथ पर्याप्त लाइन बंडल हो। इस प्रकार के मोर्फिज्म को फैनो फ़िब्रेशन कहा जाता है।
  • हम कैनोनिकल वर्ग के साथ संख्यात्मक रूप से प्रभावी, के बिरेशनल को खोजना चाहते हैं। इस स्थितियां में, के लिए एक न्यूनतम मॉडल है।

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

सतहों के न्यूनतम मॉडल

प्रत्येक अपरिवर्तनीय जटिल बीजगणितीय वक्र अद्वितीय स्मूथ प्रक्षेप्य वक्र के लिए बिरेशनल है, इसलिए वक्रों के लिए सिद्धांत तुच्छ है। सतहों के स्थितियां की जांच सबसे पहले 1900 के आसपास इटैलियन स्कूल के जियोमीटर द्वारा की गई थी; गुइडो कैस्टेलनुवोवो का कैस्टेलनुओवो संकुचन प्रमेय अनिवार्य रूप से किसी भी सतह के न्यूनतम मॉडल के निर्माण की प्रक्रिया का वर्णन करता है। प्रमेय बताता है कि कोई भी गैर-तुच्छ बिरेशनल मोर्फिज्म −1-वक्र को चिकने बिंदु पर अनुबंधित करना होगा, और इसके विपरीत ऐसे किसी भी वक्र को आसानी से अनुबंधित किया जा सकता है। यहां −1-वक्र स्व-प्रतिच्छेदन के साथ सहज तर्कसंगत वक्र C है ऐसा कोई भी वक्र अवश्य होना चाहिए जो दर्शाता है कि यदि कैनोनिकल वर्ग नेफ है तो सतह पर कोई −1-वक्र नहीं है।

कैस्टेलनोवो के प्रमेय का तात्पर्य है कि स्मूथ सतह के लिए न्यूनतम मॉडल का निर्माण करने के लिए, हम बस सतह पर सभी −1-वक्रों को आकारवाद में संकुचन करते हैं, और परिणामी विविधता Y या तो K नेफ के साथ (अद्वितीय) न्यूनतम मॉडल है, या शासित सतह है ( जो 2-आयामी फ़ानो फ़ाइबर स्पेस के समान है, और या तो प्रक्षेप्य तल है या वक्र के ऊपर शासित सतह है)। दूसरे स्थितियां में, एक्स के लिए शासित बिरेशनल सतह अद्वितीय नहीं है, हालांकि प्रक्षेप्य रेखा और वक्र के उत्पाद के लिए अद्वितीय आइसोमोर्फिक है। कुछ हद तक सूक्ष्म बात यह है कि भले ही सतह में अनंत रूप से कई -1-वक्र हो सकते हैं, किसी को बिना -1-वक्र वाली सतह प्राप्त करने के लिए उनमें से केवल सीमित रूप से कई को अनुबंधित करने की आवश्यकता होती है।

उच्च-आयामी न्यूनतम मॉडल

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

पहला मुख्य परिणाम महत्वपूर्ण सांस्कृतिक संपदा मोरी का वक्र शंकु है, जो वक्र शंकु की संरचना का वर्णन करता है . संक्षेप में, प्रमेय से पता चलता है कि शुरुआत से , कोई भी प्रेरक रूप से वैराइटीज का क्रम बना सकता है , जिनमें से प्रत्येक पिछले वाले की तुलना में अधिक निकट है नेफ. चूँकि, इस प्रक्रिया में कठिनाइयों का सामना करना पड़ सकता है: कुछ बिंदु पर विविधता बहुत एकल हो सकता है. इस समस्या का अनुमानित समाधान फ्लिप (बीजगणितीय ज्यामिति) है, जो वैराइटी का कोडिमेंशन-2 सर्जरी ऑपरेशन है। . यह स्पष्ट नहीं है कि आवश्यक फ़्लिप मौजूद हैं, न ही वे हमेशा समाप्त हो जाते हैं (अर्थात, कोई न्यूनतम मॉडल तक पहुँच जाता है बहुत से चरणों में।) Mori (1988) ने दिखाया कि फ़्लिप 3-आयामी स्थितियां में मौजूद हैं।

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

उच्च आयामों में लॉग फ़्लिप की समाप्ति की समस्या सक्रिय शोध का विषय बनी हुई है।

यह भी देखें

संदर्भ

  1. Note that the Kodaira dimension of an n-dimensional variety is either or an integer in the range 0 to n.