न्यूनतम मॉडल कार्यक्रम

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

रूपरेखा

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

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

• $\kappa (X)=-\infty .$ हम एक विविधता $X'$ को $X$ से बिरेशनल और एक मोर्फिज्म $f\colon X'\to Y$ को एक प्रक्षेपी वैराइटी $Y$ से इस प्रकार खोजना चाहते हैं कि $\dim Y<\dim X'$ एक सामान्य फाइबर $F$ के एंटीकैनोनिकल वर्ग $-K_{F}$ के साथ पर्याप्त लाइन बंडल हो। इस प्रकार के मोर्फिज्म को फैनो फ़िब्रेशन कहा जाता है।
• $\kappa (X)\geqslant 0.$ हम कैनोनिकल वर्ग $K_{X^{\prime }}$ के साथ संख्यात्मक रूप से प्रभावी, $X$ के बिरेशनल $X'$ को खोजना चाहते हैं। इस स्थितियां में, $X'$ $X$ के लिए एक न्यूनतम मॉडल है।

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

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

Main article: Enriques–Kodaira classification

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

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

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

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

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

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

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

यह भी देखें

• बहुतायत अनुमान
• न्यूनतम तर्कसंगत सतह

संदर्भ

• Birkar, Caucher; Cascini, Paolo; Hacon, Christopher; McKernan, James (2010), "Existence of minimal models for varieties of log general type", Journal of the American Mathematical Society, 23 (2): 405–468, arXiv:math/0610203, Bibcode:2010JAMS...23..405B, doi:10.1090/S0894-0347-09-00649-3, MR 2601039
• Clemens, Herbert; Kollár, János; Mori, Shigefumi (1988), "Higher-dimensional complex geometry", Astérisque (166): 144 pp. (1989), ISSN 0303-1179, MR 1004926
• Fujino, Osamu (2009), "New developments in the theory of minimal models", Sugaku, Mathematical Society of Japan, 61 (2): 162–186, ISSN 0039-470X, MR 2560253
• Kollár, János (1987), "The structure of algebraic threefolds: an introduction to Mori's program", Bulletin of the American Mathematical Society, New Series, 17 (2): 211–273, doi:10.1090/S0273-0979-1987-15548-0, ISSN 0002-9904, MR 0903730
• Kollár, János (1989), "Minimal models of algebraic threefolds: Mori's program", Astérisque (177): 303–326, ISSN 0303-1179, MR 1040578
• Kollár, János (1996), Rational curves on algebraic varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 32, Berlin: Springer-Verlag, doi:10.1007/978-3-662-03276-3, ISBN 978-3-642-08219-1, MR 1440180
• Kollár, János; Mori, Shigefumi (1998), Birational geometry of algebraic varieties, Cambridge Tracts in Mathematics, vol. 134, Cambridge University Press, doi:10.1017/CBO9780511662560, ISBN 978-0-521-63277-5, MR 1658959
• Matsuki, Kenji (2002), Introduction to the Mori program, Universitext, Berlin, New York: Springer-Verlag, doi:10.1007/978-1-4757-5602-9, ISBN 978-0-387-98465-0, MR 1875410
• Mori, Shigefumi (1988), "Flip theorem and the existence of minimal models for 3-folds", Journal of the American Mathematical Society, American Mathematical Society, 1 (1): 117–253, doi:10.2307/1990969, ISSN 0894-0347, JSTOR 1990969, MR 0924704
• Kawamata, Yujiro (2001) [1994], "Mori theory of extremal rays", Encyclopedia of Mathematics, EMS Press