बीरेशनल ज्यामिति: Difference between revisions

Revision as of 16:22, 16 October 2023

वृत्त द्विभाजित रूप से वास्तविक रेखा के समतुल्य है। उन दोनों के बीच एक द्विपक्षीय नक्शा त्रिविम प्रक्षेपण है, यहां चित्रित किया गया है।

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

बीरेशनल मानचित्र

परिमेय मानचित्र

एक विविध से एक परिमेय मानचित्रण (जिसे अलघुकरणीय समझा जाता है) $X$ दूसरी विविध के लिए $Y$ , जिसे एक वियोजक तीर X ⇢Y के रूप में लिखा गया है, उसको एक अरिक्त- विवृत उपसमुच्चय $U\subset X$ से $Y$ के आकारिकी के रूप में परिभाषित किया गया है। बीजगणितीय ज्यामिति में प्रयुक्त जरिस्की सांस्थिति विज्ञान की परिभाषा के अनुसार, एक अरिक्त- विवृत उपसमुच्चय $U$ $X$ में हमेशा सघन होता है , वास्तव में एक निम्न-आयामी उपसमुच्चय का पूरक होता है। वास्तव में, एक परिमेय मानचित्र को परिमेय फलनो का उपयोग करके निर्देशांक में लिखा जा सकता है।

बीरेशनल मानचित्र

X से Y तक का एक बीरेशनल मानचित्र एक परिमेय मानचित्र f : X ⇢ Y ऐसा है जैसे कि एक परिमेय मानचित्र Y ⇢ X f का व्युत्क्रम है। एक बीरेशनल मानचित्र एक समरूपता को X के एक गैर-रिक्त विवृत उपसमुच्चय से Y के एक गैर-रिक्त विवृत उपसमुच्चय के लिए प्रेरित करता है। इस मामले में, X और वाई को 'बीरेशनल' या 'बीरेशनल समकक्ष' कहा जाता है। बीजगणितीय शब्दों में, एक क्षेत्र k पर दो विविधताए द्विभाजित हैं और यदि उनके बीजगणितीय प्रकार के फलन क्षेत्र k के विस्तार क्षेत्रों के रूप में समरूपी हैं।

एक विशेष स्तिथि 'बीरेशनल आकारिता' है f : X → Y, जिसका अर्थ एक आकारिकी है जो बीरेशनल है। अर्थात्, f हर जगह परिभाषित है, लेकिन इसका व्युत्क्रम नहीं हो सकता है। आमतौर पर, ऐसा इसलिए होता है क्योंकि एक बीरेशनल आकारिता X की कुछ उप-विविधताओ को वाई में इंगित करता है।

बीरेशनल तुल्यता और परिमेयता

एक विविधता X को 'परिमेय विविधता' कहा जाता है यदि यह किसी आयाम के सजातीयउपसमष्‍टि (या समतुल्य,प्रक्षेपण स्थान ) के लिए बीरेशनल है। परिमेयता एक बहुत ही प्राकृतिक संपत्ति है, इसका मतलब है कि X ऋण कुछ निम्न-आयामी उपसमुच्चय को सजातीयउपसमष्‍टि ऋण कुछ निम्न-आयामी उपसमुच्चय से पहचाना जा सकता है।

समतल शंकु की बीरेशनल तुल्यता

उदाहरण के लिए, परिबंध तल में समीकरण $x^{2}+y^{2}-1=0$ वाला वृत्त $X$ एक परिमेय वक्र है, क्योंकि

f(t)=\left({\frac {2t}{1+t^{2}}},{\frac {1-t^{2}}{1+t^{2}}}\right),

द्वारा दिया गया एक परिमेय मानचित्र f : $\mathbb {A} ^{1}$ ⇢ X है, जिसका परिमेय व्युत्क्रम g: X ⇢ $\mathbb {A} ^{1}$

g(x,y)={\frac {1-y}{x}}

द्वारा दिया गया है।

एक परिमेय संख्या के साथ मानचित्र f को लागू करने से पाइथैगोरसी त्रिक का एक व्यवस्थित निर्माण मिलता है।

परिमेय मानचित्र $f$ उस स्थान पर परिभाषित नहीं है जहाँ $1+t^{2}=0$ है। तो, जटिल सजातीय पंक्ति $\mathbb {A} _{\mathbb {C} }^{1}$ , $f$ विवृत उपसमुच्चय $U=\mathbb {A} _{\mathbb {C} }^{1}-\{i,-i\}$ , $f:U\to X$ पर एक आकारिकी है। इसी तरह, परिमेय मानचित्र g : X ⇢ $\mathbb {A} ^{1}$ बिंदु (0,−1) में $X$ पर परिभाषित नहीं है।

स्मूथ चतुष्कोणों और Pⁿ की बीरेशनल तुल्यता

अधिक आम तौर पर, त्रिविम प्रक्षेप द्वारा किसी भी आयाम n का एक स्मूथ चतुर्भुज (डिग्री 2) ऊनविम पृष्ठ X परिमेय है। (X के लिए एक क्षेत्र k ऊपर एक चतुर्भुज, X को एक k-परिमेय बिंदु माना जाना चाहिए, यदि k बीजगणितीय रूप से बंद है तो यह स्वचालित है।) त्रिविम प्रक्षेपण को परिभाषित करने के लिए, p को X में एक बिंदु होने दें। फिर X से p और q के माध्यम से रेखा में X में एक बिंदु q भेजकर p के माध्यम से X प्रक्षेपी समष्‍टि $\mathbb {P} ^{n}$ तक एक बीरेशनल मानचित्र दिया जाता है। यह एक बीरेशनल तुल्यता है, लेकिन विविधताओ की समरूपता नहीं है, क्योंकि यह परिभाषित करने में विफल रहता है q = p (और व्युत्क्रम नक्शा उन पंक्तियों पर परिभाषित करने में विफल रहता है जो p के माध्यम से X में समाहित हैं)।

चतुष्कोणीय सतह की बीरेशनल तुल्यता

सेग्रे अंत: स्थापन एक अंत: स्थापन $\mathbb {P} ^{1}\times \mathbb {P} ^{1}\to \mathbb {P} ^{3}$ देता है जो

([x,y],[z,w])\mapsto [xz,xw,yz,yw]

द्वारा दिया गया है। छवि चतुर्भुज सतह $x_{0}x_{3}=x_{1}x_{2}$ $\mathbb {P} ^{3}$ में है। यह एक और प्रमाण देता है कि यह चतुर्भुज सतह परिमेय है, क्योंकि $\mathbb {P} ^{1}\times \mathbb {P} ^{1}$ स्पष्ट रूप से परिमेय है, तथा $\mathbb {A} ^{2}$ के लिए एक खुला उपसमुच्चय समरूपी है।

न्यूनतम प्रारूप और विलक्षणताओं का संकल्प

प्रत्येक बीजगणितीय विविधता एक प्रक्षेपीय विविधता (चाउ की लेम्मा) के लिए द्विपक्षीय है। इसलिए, बीरेशनल वर्गीकरण के प्रयोजनों के लिए, यह केवल प्रक्षेपी विविधताओ के साथ काम करने के लिए पर्याप्त है, और यह आमतौर पर सबसे सुविधाजनक विन्यास है।

विलक्षणताओं के समाधान पर हिरोनाका की 1964 की प्रमेय बहुत गहरी है, विशेषता 0 (जैसे जटिल संख्या) के एक क्षेत्र में, प्रत्येक विविधता एक स्मूथ प्रक्षेप्य विविधता के लिए बीरेशनल है। यह देखते हुए, यह बीरेशनल तुल्यता तक समतल प्रक्षेप्य विविधताओ को वर्गीकृत करने के लिए पर्याप्त है।

आयाम 1 में, यदि दो चिकने प्रक्षेपी वक्र बीरेशनल हैं, तो वे समरूपी हैं। लेकिन यह विस्फोट निर्माण से कम से कम 2 आयाम में विफल रहता है। विस्फोट करके, कम से कम 2 आयाम की प्रत्येक समतल प्रक्षेपी विविधता अनंत रूप से कई बड़ी विविधताओ के लिए द्विभाजित है, उदाहरण के लिए बड़ी बेट्टी संख्याओं के साथ।

यह न्यूनतम प्रारूप के विचार की ओर जाता है, क्या प्रत्येक बीरेशनल तुल्यता वर्ग में एक अद्वितीय सरलतम विविधता है ? आधुनिक परिभाषा यह है कि यदि विहित रेखा बंडल K_X में X में प्रत्येक वक्र पर गैर-नकारात्मक डिग्री है तो एक प्रक्षेपी विविध X 'न्यूनतम' है दूसरे शब्दों में, K_X एनईएफ पंक्ति बंडल है। यह जांचना आसान है कि विस्फोटित विविधताए कभी भी न्यूनतम नहीं होती हैं।

यह धारणा बीजगणितीय सतहों (आयाम 2 की विविधताओ) के लिए पूरी तरह से काम करती है। आधुनिक शब्दों में, 1890-1910 से बीजगणितीय ज्यामिति के इतालवी स्कूल का एक केंद्रीय परिणाम, सतहों के वर्गीकरण का हिस्सा है, यह है कि प्रत्येक सतह X किसी वक्र C के लिए या न्यूनतम सतह Y के उत्पाद $\mathbb {P} ^{1}\times C$ के लिए बीरेशनल है।^[1] दो स्थितिया परस्पर अनन्य हैं, और यदि मौजूद है तो Y अद्वितीय है। जब Y मौजूद होता है, तो इसे X का न्यूनतम प्रारूप कहा जाता है।

बीरेशनल अपरिवर्तनशीलताए

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

प्लुरिजेनेरा

बीरेशनल निश्चर का एक उपयोगी समुच्चय प्लुरिजेनेरा है। आयाम n की एक समतल विविध X के विहित बंडल का अर्थ यह है कि n-रूपों का रेखा बंडल K_X = Ωⁿ, जो कि X के स्पर्शरेखा बंडल की nवीं बाहरी शक्ति है। एक पूर्णांक d के लिए, K_X की dवी प्रदिश शक्ति फिर से एक पंक्ति बंडल है। d ≥ 0 के लिए, वैश्विक वर्गों H⁰(X, K_X^d) के सदिश समष्टि में उल्लेखनीय संपत्ति है जो एक बीरेशनल मानचित्र f : X ⇢ Y समतल प्रक्षेप्य विविधताओ के बीच एक समरूपता H⁰(X, K_X^d) ≅ H⁰(Y, K_Y^d) को प्रेरित करता है।^[2]

यदि d ≥ 0 के लिए, डीटीएच 'प्लुरिजेनस' P_d को सदिश समष्टि H⁰(X, K_X^d) के आयाम के रूप में परिभाषित करें, तो प्लूरिजेनेरा समतल प्रक्षेपी विविधताओ के लिए बीरेशनल आक्रमणकारी हैं। विशेष रूप से, यदि कोई प्लूरिजेनस P_d साथ d > 0 शून्य नहीं है, तो X परिमेय नहीं है।

कोडैरा आयाम

कोडैरा आयाम एक मौलिक बीरेशनल अपरिवर्तनीय है, जो प्लुरिजेनेरा P_d के विकास को मापता है, क्योंकि d अनंत तक जाता है। कोडैरा आयाम आयाम n की सभी विविधताओ को कोडैरा आयाम −∞, 0, 1, ..., या n , n + 2 प्रकारों में विभाजित करता है। यह विभिन्न प्रकार की जटिलता का एक उपाय है, जिसमें प्रक्षेपी समष्‍टि कोडैरा आयाम -∞ है। सबसे जटिल विविधताए वे हैं जिनके कोडैरा आयाम उनके आयाम n के बराबर हैं, जिन्हें सामान्य प्रकार की विविधताए कहा जाता है।

⊗^{kΩ^{¹ का योग और कुछ हॉज नंबर}}

आम तौर पर अधिक, r ≥ 0 के साथ स्पर्शरेखा बंडल Ω¹ की r-वें प्रदिश शक्ति के किसी भी प्राकृतिक योग

E(\Omega ^{1})=\bigotimes ^{k}\Omega ^{1}

के लिए, वैश्विक वर्गों का सदिश समष्टि H⁰(X, E(Ω¹)) समतल प्रक्षेप्य विविधताओ के लिए एक बीरेशनल अपरिवर्तनीय है। विशेष रूप से, हॉज नंबर

h^{p,0}=H^{0}(X,\Omega ^{p})

X के बीरेशनल अपरिवर्तनीय हैं। (अधिकांश अन्य हॉज नंबर h^p,q बीरेशनल अपरिवर्तनीय नहीं हैं, जैसा कि विस्फोट करके दिखाया गया है।)

समतल प्रक्षेपी विविधताओ का मूल समूह

मूल समूह π₁(X) समतल जटिल प्रक्षेपी विविधताओ के लिए एक बीरेशनल अपरिवर्तनीय है।

अब्रामोविच, कारू, मात्सुकी, और व्लोडार्कज़ीक (2002) द्वारा सिद्ध किया गया कमजोर गुणन प्रमेय कहता है कि दो समतल जटिल प्रक्षेपी विविधताओ के बीच किसी भी बीरेशनल मानचित्र को सूक्ष्म रूप से कई आवर्धित या समतल उप-विविधताओ के अवधमन में विघटित किया जा सकता है। यह जानना महत्वपूर्ण है, लेकिन यह निर्धारित करना अभी भी बहुत कठिन हो सकता है कि क्या दो समतल प्रक्षेपीय विविधताए बीरेशनल हैं।

उच्च आयामों में न्यूनतम प्रारूप

यदि विहित बंडल K_X नेफ है तो प्रक्षेपी विविध X को 'न्यूनतम' कहा जाता है। X आयाम 2 के लिए, इस परिभाषा में समतल विविधताओ पर विचार करना पर्याप्त है। आयामों में कम से कम 3, न्यूनतम विविधताओ को कुछ हल्के विशिष्टताएं रखने की अनुमति दी जानी चाहिए, जिसके लिए K_X अभी भी अच्छा व्यवहार करता है, इन्हें अंतिम विलक्षणताएँ कहा जाता है।

कहा जा रहा है कि, न्यूनतम प्रारूप अनुमान का अर्थ यह होगा कि हर विविध X या तो परिमेय वक्र से आच्छादित है या एक न्यूनतम विविधता Y के लिए बीरेशनल है। जब यह मौजूद होता है, तो Y को X का 'न्यूनतम प्रारूप' कहा जाता है।

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

यह अनुमान मोरी द्वारा आयाम 3 में सिद्ध किया गया था।^[3] उच्च आयामों में काफी प्रगति हुई है, हालांकि सामान्य समस्या बनी हुई है। विशेष रूप से, बिरकर, कैसिनी, हैकोन , और मैककर्नन (2010)^[4] ने साबित किया कि विशेषता शून्य के क्षेत्र में सामान्य प्रकार की प्रत्येक विविध का एक न्यूनतम प्रारूप होता है।

अशासित विविधताए

एक विविध को अशासित कहा जाता है यदि यह परिमेय घटता से आच्छादित है। एक अशासित विविध में न्यूनतम प्रारूप नहीं होता है, लेकिन एक अच्छा प्रतिस्थापी होता है, बिरकर, कैसिनी, हैकॉन और मैककर्नन ने दिखाया कि विशेषता शून्य के क्षेत्र में प्रत्येक अशासित विविधता एक फानो फाइबर समष्टि के लिए बीरेशनल है।^{[lower-alpha 1]} यह फ़ानो फाइबर समष्टि और (सबसे दिलचस्प विशेष स्थिति के रूप में) फ़ानो विविध के बीरेशनल वर्गीकरण की समस्या की ओर जाता है। परिभाषा के अनुसार, एक प्रक्षेपी विविध X 'फैनो' है यदि एंटीकैनोनिकल बंडल $K_{X}^{*}$ पर्याप्त है। फ़ानो विविधताओ को बीजगणितीय विविधताओ के रूप में माना जा सकता है जो प्रक्षेपी समष्‍टि के समान हैं।

आयाम 2 में, बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक फ़ानो विविध (जिसे डेल पेज़ो सतह के रूप में जाना जाता है) परिमेय है। 1970 के दशक में एक प्रमुख खोज यह थी कि आयाम 3 से शुरू होकर, कई फानो विविधताए हैं जो परिमेय नहीं हैं। विशेष रूप से, समतल घन 3-गुना क्लेमेंस-ग्रिफिथ्स (1972) द्वारा परिमेय नहीं है, और समतल क्वार्टिक 3-गुना इस्कोस्किख-मैनिन (1971) द्वारा परिमेय नहीं है। बहरहाल, यह निर्धारित करने की समस्या कि वास्तव में कौन सी फ़ानो विविधताए परिमेय हैं, हल होने से बहुत दूर हैं। उदाहरण के लिए, यह ज्ञात नहीं है कि $\mathbb {P} ^{n+1}$ में n ≥ 4 के साथ कोई समतल घनी अतिसतह है या नहीं जो परिमेय नहीं है।

बीरेशनल स्‍वचालन समूह

बीजगणितीय विविधताए व्यापक रूप से भिन्न होती हैं क्योकि उनके पास कुछ बीरेशनल स्‍वचालन हैं। सामान्य प्रकार की हर विविध अत्यंत कठोर है, इस अर्थ में कि इसका बीरेशनल स्‍वचालन समूह परिमित है। दूसरे चरम पर, क्षेत्र k पर प्रक्षेपी समष्‍टि $\mathbb {P} ^{n}$ का बीरेशनल स्‍वचालन समूह, जिसे क्रेमोना समूह Cr_n(k) के रूप में जाना जाता है, n ≥ 2 के लिए बड़ा (एक मायने में, अनंत-आयामी) है। n = 2 के लिए, सम्मिश्र क्रेमोना समूह $Cr_{2}(\mathbb {C} )$ "द्विघात रूपांतरण"

[x,y,z] ↦ [1/x, 1/y, 1/z]

द्वारा मैक्स नोथेर और गुइडो कास्टेलनुवो द्वारा $PGL(3,\mathbb {C} )$ के स्‍वचालन समूह $\mathbb {P} ^{2},$ के साथ उत्पन्न होता है। इसके विपरीत, n ≥ 3 में क्रेमोना समूह बहुत अधिक रहस्य है, जनित्र की कोई स्पष्ट स्थिति ज्ञात नहीं है।

इस्कोविसिख-मैनिन (1971) ने दिखाया कि एक सुचारू क्वार्टिक 3-गुना का बीरेशनल स्‍वचालन समूह इसके स्‍वचालन समूह के बराबर है, जो परिमित है। इस अर्थ में, क्वार्टिक 3-गुना परिमेय होने से बहुत दूर हैं, क्योंकि एक परिमेय विविधता का बीरेशनल स्‍वचालन समूह बहुत बड़ा है। तब से कई अन्य फानो फाइबर स्थानों में "बीरेशनल दृढ़ता" की इस घटना की खोज की गई है।^{[citation needed]}

अनुप्रयोग

बीरेशनल ज्यामिति ने ज्यामिति के अन्य क्षेत्रों में, विशेष रूप से बीजगणितीय ज्यामिति में पारंपरिक समस्याओं में अनुप्रयोगों को पाया है।

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

बीरेशनल ज्यामिति ने हाल ही में काहलर-आइंस्टीन मापन के लिए सामान्य अस्तित्व परिणामों के माध्यम से फैनो विविध की के-स्थिरता के अध्ययन में , बीरेशनल प्रारूप पर गणना करके के-स्थिरता का परीक्षण करने के लिए फ़ानो विविध के सुस्पष्ट निश्चर के विकास में, और फ़ानो विविध के मोडुली समष्टि के निर्माण में महत्वपूर्ण अनुप्रयोगों को पाया है।^[6] बीरेशनल ज्यामिति में महत्वपूर्ण परिणाम जैसे बिरकर के फ़ानो विविध की सीमा के प्रमाण का उपयोग मोडुली समष्टि के लिए अस्तित्व के परिणामों को साबित करने के लिए किया गया है।

यह भी देखें

बाहुल्य अनुमानित कथन

उद्धरण

↑ Kollár & Mori 1998, Theorem 1.29..
↑ Hartshorne 1977, Exercise II.8.8..
↑ Mori 1988.
↑ Birkar et al. 2010.
↑ Kollár 2013.
↑ Xu 2021.

↑ Birkar et al. (2010, Corollary 1.3.3), implies that every uniruled variety in characteristic zero is birational to a Fano fiber space, using the easier result that a uniruled variety X is covered by a family of curves on which K_X has negative degree. A reference for the latter fact is Debarre (2001, Corollary 4.11) and Example 4.7(1).

संदर्भ

Abramovich, Dan; Karu, Kalle; Matsuki, Kenji; Włodarczyk, Jarosław (2002), "Torification and factorization of birational maps", Journal of the American Mathematical Society, 15 (3): 531–572, arXiv:math/9904135, doi:10.1090/S0894-0347-02-00396-X, MR 1896232, S2CID 18211120
Birkar, Caucher; Cascini, Paolo; Hacon, Christopher D.; 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.AG/0610203, Bibcode:2010JAMS...23..405B, doi:10.1090/S0894-0347-09-00649-3, MR 2601039, S2CID 3342362
Clemens, C. Herbert; Griffiths, Phillip A. (1972), "The intermediate Jacobian of the cubic threefold", Annals of Mathematics, Second Series, 95 (2): 281–356, CiteSeerX 10.1.1.401.4550, doi:10.2307/1970801, ISSN 0003-486X, JSTOR 1970801, MR 0302652
Debarre, Olivier (2001). Higher-Dimensional Algebraic Geometry. Springer-Verlag. ISBN 978-0-387-95227-7. MR 1841091.
Griffiths, Phillip; Harris, Joseph (1978). Principles of Algebraic Geometry. John Wiley & Sons. ISBN 978-0-471-32792-9. MR 0507725.
Hartshorne, Robin (1977). Algebraic Geometry. Springer-Verlag. ISBN 978-0-387-90244-9. MR 0463157.
Kollár, János (2013). "Moduli of varieties of general type". Handbook of moduli. Vol. 2. pp. 131–157. arXiv:1008.0621. ISBN 9781571462589. Zbl 1322.14006.
Iskovskih, V. A.; Manin, Ju. I. (1971), "Three-dimensional quartics and counterexamples to the Lüroth problem", Matematicheskii Sbornik, Novaya Seriya, 86 (1): 140–166, Bibcode:1971SbMat..15..141I, doi:10.1070/SM1971v015n01ABEH001536, MR 0291172
Kollár, János; Mori, Shigefumi (1998), Birational Geometry of Algebraic Varieties, Cambridge University Press, doi:10.1017/CBO9780511662560, ISBN 978-0-521-63277-5, MR 1658959
Mori, Shigefumi (1988), "Flip theorem and the existence of minimal models for 3-folds", Journal of the American Mathematical Society, 1 (1): 117–253, doi:10.2307/1990969, ISSN 0894-0347, JSTOR 1990969, MR 0924704
Xu, Chenyang (2021). "K-stability of Fano varieties: An algebro-geometric approach". Ems Surveys in Mathematical Sciences. 8: 265–354. doi:10.4171/EMSS/51. S2CID 204829174.

[FOOTNOTEKollárMori1998Theorem_1.29.-1] Kollár & Mori 1998, Theorem 1.29..

[FOOTNOTEHartshorne1977Exercise_II.8.8.-2] Hartshorne 1977, Exercise II.8.8..

[FOOTNOTEMori1988-3] Mori 1988.

[FOOTNOTEBirkarCasciniHaconMcKernan2010-4] Birkar et al. 2010.

[FOOTNOTEKollár2013-6] Kollár 2013.

[FOOTNOTEXu2021-7] Xu 2021.

[5] Birkar et al. (2010, Corollary 1.3.3), implies that every uniruled variety in characteristic zero is birational to a Fano fiber space, using the easier result that a uniruled variety X is covered by a family of curves on which K_X has negative degree. A reference for the latter fact is Debarre (2001, Corollary 4.11) and Example 4.7(1).

[1]

[2]

[3]

[4]

[lower-alpha 1]

[5]

[6]

@@ Line 1: / Line 1: @@
-{{Short description|Field of algebraic geometry}}
+[[Image:Stereoprojzero.svg|thumb|right|वृत्त द्विभाजित रूप से [[वास्तविक रेखा]] के समतुल्य है। उन दोनों के बीच एक द्विपक्षीय नक्शा [[त्रिविम प्रक्षेपण]] है, यहां चित्रित किया गया है।]][[गणित]] में, बीरेशनल ज्यामिति [[बीजगणितीय ज्यामिति]] का एक क्षेत्र है जिसका लक्ष्य यह निर्धारित करना है कि दो [[बीजगणितीय किस्में|बीजगणितीय प्रकार]] निम्न-आयामी उपसमुच्चय के बाहर [[ समरूप |समरूप]] हैं। यह मानचित्रणों का अध्ययन करने के बराबर है जो बहुपदों के बजाय [[तर्कसंगत कार्य|परिमेय फलनो]] द्वारा दिया जाता है, तथा मानचित्र परिभाषित करने में विफल हो सकता है जहां परिमेय फलनो में स्तंभ होते हैं।
-[[Image:Stereoprojzero.svg|thumb|right|वृत्त द्विभाजित रूप से [[वास्तविक रेखा]] के समतुल्य है। उन दोनों के बीच एक द्विपक्षीय नक्शा [[त्रिविम प्रक्षेपण]] है, यहां चित्रित किया गया है।]][[गणित]] में, द्विवार्षिक ज्यामिति [[बीजगणितीय ज्यामिति]] का एक क्षेत्र है जिसका लक्ष्य यह निर्धारित करना है कि दो [[बीजगणितीय किस्में|बीजगणितीय प्रकार]] निम्न-आयामी उपसमुच्चय के बाहर [[ समरूप |समरूप]] हैं। यह मानचित्रणों का अध्ययन करने के बराबर है जो बहुपदों के बजाय [[तर्कसंगत कार्य|परिमेय फलनो]] द्वारा दिया जाता है, तथा मानचित्र परिभाषित करने में विफल हो सकता है जहां परिमेय फलनो में स्तंभ होते हैं।
-== द्विवार्षिक मानचित्र ==
+== बीरेशनल मानचित्र ==
 === परिमेय मानचित्र ===
 एक विविध से एक [[तर्कसंगत मानचित्रण|परिमेय मानचित्रण]] (जिसे [[अलघुकरणीय]] समझा जाता है) <math>X</math> दूसरी विविध के लिए <math>Y</math>, जिसे एक वियोजक तीर {{nowrap|''X'' {{font|size=145%|⇢}}''Y''}} के रूप में लिखा गया है, उसको एक अरिक्त- विवृत उपसमुच्चय <math>U \subset X</math> से <math>Y</math> के [[आकारिकी]] के रूप में परिभाषित किया गया है। बीजगणितीय ज्यामिति में प्रयुक्त [[जरिस्की टोपोलॉजी|जरिस्की सांस्थिति विज्ञान]] की परिभाषा के अनुसार, एक अरिक्त- विवृत उपसमुच्चय <math>U</math> <math>X</math> में हमेशा सघन होता है , वास्तव में एक निम्न-आयामी उपसमुच्चय का पूरक होता है। वास्तव में, एक परिमेय मानचित्र को परिमेय फलनो का उपयोग करके निर्देशांक में लिखा जा सकता है।
-=== द्विवार्षिक मानचित्र ===
+=== बीरेशनल मानचित्र ===
-''X'' से ''Y'' तक का एक द्विवार्षिक मानचित्र एक परिमेय मानचित्र {{nowrap|''f'' : ''X'' ⇢ ''Y''}} ऐसा है  जैसे कि एक परिमेय मानचित्र {{nowrap|''Y'' ⇢ ''X''}} f का व्युत्क्रम है। एक द्विवार्षिक मानचित्र एक समरूपता को X के एक गैर-रिक्त खुले उपसमुच्चय से वाई के एक गैर-रिक्त खुले उपसमुच्चय के लिए प्रेरित करता है। इस मामले में, X और वाई को 'द्विवार्षिक' या 'द्विवार्षिक समकक्ष' कहा जाता है। बीजगणितीय शब्दों में, एक क्षेत्र k पर दो विविधताए द्विभाजित हैं और यदि उनके बीजगणितीय प्रकार के [[फलन क्षेत्र]] k के विस्तार क्षेत्रों के रूप में समरूपी हैं।
+''X'' से ''Y'' तक का एक बीरेशनल मानचित्र एक परिमेय मानचित्र {{nowrap|''f'' : ''X'' ⇢ ''Y''}} ऐसा है  जैसे कि एक परिमेय मानचित्र {{nowrap|''Y'' ⇢ ''X''}} f का व्युत्क्रम है। एक बीरेशनल मानचित्र एक समरूपता को X के एक गैर-रिक्त  विवृत उपसमुच्चय से Y के एक गैर-रिक्त  विवृत उपसमुच्चय के लिए प्रेरित करता है। इस मामले में, X और वाई को 'बीरेशनल' या 'बीरेशनल समकक्ष' कहा जाता है। बीजगणितीय शब्दों में, एक क्षेत्र k पर दो विविधताए द्विभाजित हैं और यदि उनके बीजगणितीय प्रकार के [[फलन क्षेत्र]] k के विस्तार क्षेत्रों के रूप में समरूपी हैं।
-एक विशेष स्तिथि 'द्विवार्षिक आकारिता' है {{nowrap|''f'' : ''X'' → ''Y''}}, जिसका अर्थ एक आकारिकी है जो द्विवार्षिक है। अर्थात्, f हर जगह परिभाषित है, लेकिन इसका व्युत्क्रम नहीं हो सकता है। आमतौर पर, ऐसा इसलिए होता है क्योंकि एक द्विवार्षिक आकारिता X की कुछ उप-विविधताओ को वाई में इंगित करता है।
+एक विशेष स्तिथि 'बीरेशनल आकारिता' है {{nowrap|''f'' : ''X'' → ''Y''}}, जिसका अर्थ एक आकारिकी है जो बीरेशनल है। अर्थात्, f हर जगह परिभाषित है, लेकिन इसका व्युत्क्रम नहीं हो सकता है। आमतौर पर, ऐसा इसलिए होता है क्योंकि एक बीरेशनल आकारिता X की कुछ उप-विविधताओ को वाई में इंगित करता है।
-=== द्विवार्षिक तुल्यता और परिमेयता ===
+=== बीरेशनल तुल्यता और परिमेयता ===
-एक विविधता X को 'परिमेय विविधता' कहा जाता है यदि यह किसी आयाम के सजातीयउपसमष्‍टि (या समतुल्य,[[ प्रक्षेपण स्थान ]]) के लिए द्विवार्षिक है। परिमेयता एक बहुत ही प्राकृतिक संपत्ति है, इसका मतलब है कि X ऋण कुछ निम्न-आयामी उपसमुच्चय को सजातीयउपसमष्‍टि ऋण कुछ निम्न-आयामी उपसमुच्चय से पहचाना जा सकता है।
+एक विविधता X को 'परिमेय विविधता' कहा जाता है यदि यह किसी आयाम के सजातीयउपसमष्‍टि (या समतुल्य,[[ प्रक्षेपण स्थान ]]) के लिए बीरेशनल है। परिमेयता एक बहुत ही प्राकृतिक संपत्ति है, इसका मतलब है कि X ऋण कुछ निम्न-आयामी उपसमुच्चय को सजातीयउपसमष्‍टि ऋण कुछ निम्न-आयामी उपसमुच्चय से पहचाना जा सकता है।
-==== समतल शंकु की द्विवार्षिक तुल्यता ====
+==== समतल शंकु की बीरेशनल तुल्यता ====
 उदाहरण के लिए, परिबंध तल में समीकरण <math>x^2 + y^2 - 1 = 0</math> वाला वृत्त <math>X</math> एक परिमेय वक्र है,  क्योंकि
 :<math>f(t) = \left( \frac{2t}{1+t^2}, \frac{1 - t^2}{1 + t^2}\right),</math>
@@ Line 22: / Line 21: @@
 एक [[परिमेय संख्या]] के साथ मानचित्र f को लागू करने से [[पायथागॉरियन ट्रिपल|पाइथैगोरसी त्रिक]] का एक व्यवस्थित निर्माण मिलता है।
-परिमेय मानचित्र <math>f</math> उस स्थान पर परिभाषित नहीं है जहाँ <math>1 + t^2 = 0</math> है। तो, जटिल सजातीय पंक्ति <math>\mathbb{A}^1_{\Complex}</math>, <math>f</math>  खुले उपसमुच्चय <math>U = \mathbb{A}^1_{\Complex}-\{i, -i\}</math>, <math>f: U \to X</math> पर एक आकारिकी है। इसी तरह, परिमेय मानचित्र {{nowrap|''g'' : ''X'' ⇢ <math>\mathbb{A}^1</math>}} बिंदु (0,−1) में <math>X</math> पर परिभाषित नहीं है।
+परिमेय मानचित्र <math>f</math> उस स्थान पर परिभाषित नहीं है जहाँ <math>1 + t^2 = 0</math> है। तो, जटिल सजातीय पंक्ति <math>\mathbb{A}^1_{\Complex}</math>, <math>f</math>   विवृत उपसमुच्चय <math>U = \mathbb{A}^1_{\Complex}-\{i, -i\}</math>, <math>f: U \to X</math> पर एक आकारिकी है। इसी तरह, परिमेय मानचित्र {{nowrap|''g'' : ''X'' ⇢ <math>\mathbb{A}^1</math>}} बिंदु (0,−1) में <math>X</math> पर परिभाषित नहीं है।
-==== स्मूथ चतुष्कोणों और P<sup>n</sup>  की द्विवार्षिक तुल्यता ====
+==== स्मूथ चतुष्कोणों और P<sup>n</sup>  की बीरेशनल तुल्यता ====
-अधिक आम तौर पर, [[त्रिविम प्रक्षेप]] द्वारा किसी भी आयाम n का एक स्मूथ चतुर्भुज (डिग्री 2) ऊनविम पृष्ठ X परिमेय है। (X के लिए एक क्षेत्र k ऊपर एक [[चतुर्भुज]], X को एक [[k-परिमेय बिंदु]] माना जाना चाहिए, यदि k बीजगणितीय रूप से बंद है तो यह स्वचालित है।) त्रिविम प्रक्षेपण को परिभाषित करने के लिए, p को X में एक बिंदु होने दें। फिर X से p और q के माध्यम से रेखा में X में एक बिंदु q भेजकर p के माध्यम से X प्रक्षेपी समष्‍टि <math>\mathbb{P}^n</math> तक एक द्विवार्षिक मानचित्र दिया जाता है। यह एक द्विवार्षिक तुल्यता है, लेकिन विविधताओ की समरूपता नहीं है, क्योंकि यह परिभाषित करने में विफल रहता है {{nowrap|1=''q'' = ''p''}} (और व्युत्क्रम नक्शा उन पंक्तियों पर परिभाषित करने में विफल रहता है जो p के माध्यम से X में समाहित हैं)।
+अधिक आम तौर पर, [[त्रिविम प्रक्षेप]] द्वारा किसी भी आयाम n का एक स्मूथ चतुर्भुज (डिग्री 2) ऊनविम पृष्ठ X परिमेय है। (X के लिए एक क्षेत्र k ऊपर एक [[चतुर्भुज]], X को एक [[k-परिमेय बिंदु]] माना जाना चाहिए, यदि k बीजगणितीय रूप से बंद है तो यह स्वचालित है।) त्रिविम प्रक्षेपण को परिभाषित करने के लिए, p को X में एक बिंदु होने दें। फिर X से p और q के माध्यम से रेखा में X में एक बिंदु q भेजकर p के माध्यम से X प्रक्षेपी समष्‍टि <math>\mathbb{P}^n</math> तक एक बीरेशनल मानचित्र दिया जाता है। यह एक बीरेशनल तुल्यता है, लेकिन विविधताओ की समरूपता नहीं है, क्योंकि यह परिभाषित करने में विफल रहता है {{nowrap|1=''q'' = ''p''}} (और व्युत्क्रम नक्शा उन पंक्तियों पर परिभाषित करने में विफल रहता है जो p के माध्यम से X में समाहित हैं)।
-===== चतुष्कोणीय सतह की द्विवार्षिक तुल्यता =====
+===== चतुष्कोणीय सतह की बीरेशनल तुल्यता =====
 [[सेग्रे एम्बेडिंग|सेग्रे अंत: स्थापन]] एक अंत: स्थापन <math>\mathbb{P}^1\times\mathbb{P}^1 \to \mathbb{P}^3</math> देता है जो
 :<math>([x,y],[z,w]) \mapsto [xz,xw,yz,yw]</math>
@@ Line 33: / Line 32: @@
 == न्यूनतम प्रारूप और विलक्षणताओं का संकल्प ==
-प्रत्येक बीजगणितीय विविधता एक [[प्रक्षेपीय विविधता (चाउ की लेम्मा)]] के लिए द्विपक्षीय है। इसलिए, द्विवार्षिक वर्गीकरण के प्रयोजनों के लिए, यह केवल प्रक्षेपी विविधताओ के साथ काम करने के लिए पर्याप्त है, और यह आमतौर पर सबसे सुविधाजनक विन्यास है।
+प्रत्येक बीजगणितीय विविधता एक [[प्रक्षेपीय विविधता (चाउ की लेम्मा)]] के लिए द्विपक्षीय है। इसलिए, बीरेशनल वर्गीकरण के प्रयोजनों के लिए, यह केवल प्रक्षेपी विविधताओ के साथ काम करने के लिए पर्याप्त है, और यह आमतौर पर सबसे सुविधाजनक विन्यास है।
-[[विलक्षणताओं के समाधान पर]] [[हीसुके हिरोनका|हिरोनाका]] की 1964 की प्रमेय बहुत गहरी है, विशेषता 0 (जैसे जटिल संख्या) के एक क्षेत्र में, प्रत्येक विविधता एक [[स्मूथ]] प्रक्षेप्य विविधता के लिए द्विवार्षिक है। यह देखते हुए, यह द्विवार्षिक तुल्यता तक समतल प्रक्षेप्य विविधताओ को वर्गीकृत करने के लिए पर्याप्त है।
+[[विलक्षणताओं के समाधान पर]] [[हीसुके हिरोनका|हिरोनाका]] की 1964 की प्रमेय बहुत गहरी है, विशेषता 0 (जैसे जटिल संख्या) के एक क्षेत्र में, प्रत्येक विविधता एक [[स्मूथ]] प्रक्षेप्य विविधता के लिए बीरेशनल है। यह देखते हुए, यह बीरेशनल तुल्यता तक समतल प्रक्षेप्य विविधताओ को वर्गीकृत करने के लिए पर्याप्त है।
-आयाम 1 में, यदि दो चिकने प्रक्षेपी वक्र द्विवार्षिक हैं, तो वे समरूपी हैं। लेकिन यह [[विस्फोट]] निर्माण से कम से कम 2 आयाम में विफल रहता है। विस्फोट करके, कम से कम 2 आयाम की प्रत्येक समतल प्रक्षेपी विविधता अनंत रूप से कई बड़ी विविधताओ के लिए द्विभाजित है, उदाहरण के लिए बड़ी [[बेट्टी संख्याओं]] के साथ।
+आयाम 1 में, यदि दो चिकने प्रक्षेपी वक्र बीरेशनल हैं, तो वे समरूपी हैं। लेकिन यह [[विस्फोट]] निर्माण से कम से कम 2 आयाम में विफल रहता है। विस्फोट करके, कम से कम 2 आयाम की प्रत्येक समतल प्रक्षेपी विविधता अनंत रूप से कई बड़ी विविधताओ के लिए द्विभाजित है, उदाहरण के लिए बड़ी [[बेट्टी संख्याओं]] के साथ।
-यह [[न्यूनतम मॉडल कार्यक्रम|न्यूनतम प्रारूप]] के विचार की ओर जाता है, क्या प्रत्येक द्विवार्षिक तुल्यता वर्ग में एक अद्वितीय सरलतम विविधता है ? आधुनिक परिभाषा यह है कि यदि [[विहित रेखा बंडल]] K<sub>X</sub> में X में प्रत्येक वक्र पर गैर-नकारात्मक डिग्री है तो एक प्रक्षेपी विविध X 'न्यूनतम' है दूसरे शब्दों में, K<sub>X</sub>[[ एनईएफ लाइन बंडल | एनईएफ पंक्ति बंडल]] है। यह जांचना आसान है कि [[विस्फोट|विस्फोटित]] विविधताए कभी भी न्यूनतम नहीं होती हैं।
+यह [[न्यूनतम मॉडल कार्यक्रम|न्यूनतम प्रारूप]] के विचार की ओर जाता है, क्या प्रत्येक बीरेशनल तुल्यता वर्ग में एक अद्वितीय सरलतम विविधता है ? आधुनिक परिभाषा यह है कि यदि [[विहित रेखा बंडल]] K<sub>X</sub> में X में प्रत्येक वक्र पर गैर-नकारात्मक डिग्री है तो एक प्रक्षेपी विविध X 'न्यूनतम' है दूसरे शब्दों में, K<sub>X</sub>[[ एनईएफ लाइन बंडल | एनईएफ पंक्ति बंडल]] है। यह जांचना आसान है कि [[विस्फोट|विस्फोटित]] विविधताए कभी भी न्यूनतम नहीं होती हैं।
-यह धारणा बीजगणितीय सतहों (आयाम 2 की विविधताओ) के लिए पूरी तरह से काम करती है। आधुनिक शब्दों में, 1890-1910 से बीजगणितीय ज्यामिति के इतालवी स्कूल का एक केंद्रीय परिणाम, सतहों के वर्गीकरण का हिस्सा है, यह है कि प्रत्येक सतह X किसी वक्र C के लिए या न्यूनतम सतह Y के उत्पाद <math>\mathbb{P}^1\times C</math>  के लिए द्विवार्षिक है।{{sfn|Kollár|Mori|1998|loc=Theorem 1.29.}} दो स्थितिया परस्पर अनन्य हैं, और यदि मौजूद है तो Y अद्वितीय है। जब Y मौजूद होता है, तो इसे X का [[न्यूनतम प्रारूप]] कहा जाता है।
+यह धारणा बीजगणितीय सतहों (आयाम 2 की विविधताओ) के लिए पूरी तरह से काम करती है। आधुनिक शब्दों में, 1890-1910 से बीजगणितीय ज्यामिति के इतालवी स्कूल का एक केंद्रीय परिणाम, सतहों के वर्गीकरण का हिस्सा है, यह है कि प्रत्येक सतह X किसी वक्र C के लिए या न्यूनतम सतह Y के उत्पाद <math>\mathbb{P}^1\times C</math>  के लिए बीरेशनल है।{{sfn|Kollár|Mori|1998|loc=Theorem 1.29.}} दो स्थितिया परस्पर अनन्य हैं, और यदि मौजूद है तो Y अद्वितीय है। जब Y मौजूद होता है, तो इसे X का [[न्यूनतम प्रारूप]] कहा जाता है।
-== द्विवार्षिक अपरिवर्तनशीलताए ==
+== बीरेशनल अपरिवर्तनशीलताए ==
 {{Main|द्विवार्षिक अपरिवर्तनशीलताए}}
-सबसे पहले, यह स्पष्ट नहीं है कि कैसे दिखाया जाए कि कोई बीजगणितीय विविधताए हैं जो परिमेय नहीं हैं। इसे साबित करने के लिए, बीजगणितीय विविधताओ के कुछ द्विवार्षिक अपरिवर्तनशीलताओं की जरूरत है। एक द्विवार्षिक अपरिवर्तनशीलता किसी भी प्रकार की संख्या, रिंग, आदि है जो समान है, या समरूपी है, तथा सभी विविधताओ के लिए जो कि द्विवार्षिक समकक्ष हैं।
+सबसे पहले, यह स्पष्ट नहीं है कि कैसे दिखाया जाए कि कोई बीजगणितीय विविधताए हैं जो परिमेय नहीं हैं। इसे साबित करने के लिए, बीजगणितीय विविधताओ के कुछ बीरेशनल अपरिवर्तनशीलताओं की जरूरत है। एक बीरेशनल अपरिवर्तनशीलता किसी भी प्रकार की संख्या, रिंग, आदि है जो समान है, या समरूपी है, तथा सभी विविधताओ के लिए जो कि बीरेशनल समकक्ष हैं।
 === प्लुरिजेनेरा ===
-द्विवार्षिक निश्चर का एक उपयोगी समुच्चय [[प्लुरिजेनेरा]] है। आयाम n की एक समतल विविध X के [[विहित बंडल]] का अर्थ यह है कि n-रूपों का [[रेखा बंडल]] {{nowrap|1=''K<sub>X</sub>'' = Ω<sup>''n''</sup>}}, जो कि X के [[स्पर्शरेखा बंडल]] की nवीं [[बाहरी शक्ति]] है। एक पूर्णांक d के लिए, K<sub>X</sub> की dवी प्रदिश शक्ति फिर से एक पंक्ति बंडल है। {{nowrap|''d'' ≥ 0}} के लिए, वैश्विक वर्गों {{nowrap|''H''<sup>0</sup>(''X'', ''K''<sub>''X''</sub><sup>''d''</sup>)}} के सदिश समष्टि में उल्लेखनीय संपत्ति है जो एक द्विवार्षिक मानचित्र  {{nowrap|''f'' : ''X'' ⇢ ''Y''}} समतल प्रक्षेप्य विविधताओ के बीच एक समरूपता {{nowrap|''H''<sup>0</sup>(''X'', ''K''<sub>''X''</sub><sup>''d''</sup>) ≅ ''H''<sup>0</sup>(''Y'', ''K''<sub>''Y''</sub><sup>''d''</sup>)}} को प्रेरित करता है।{{sfn|Hartshorne|1977| loc= Exercise II.8.8.}}
+बीरेशनल निश्चर का एक उपयोगी समुच्चय [[प्लुरिजेनेरा]] है। आयाम n की एक समतल विविध X के [[विहित बंडल]] का अर्थ यह है कि n-रूपों का [[रेखा बंडल]] {{nowrap|1=''K<sub>X</sub>'' = Ω<sup>''n''</sup>}}, जो कि X के [[स्पर्शरेखा बंडल]] की nवीं [[बाहरी शक्ति]] है। एक पूर्णांक d के लिए, K<sub>X</sub> की dवी प्रदिश शक्ति फिर से एक पंक्ति बंडल है। {{nowrap|''d'' ≥ 0}} के लिए, वैश्विक वर्गों {{nowrap|''H''<sup>0</sup>(''X'', ''K''<sub>''X''</sub><sup>''d''</sup>)}} के सदिश समष्टि में उल्लेखनीय संपत्ति है जो एक बीरेशनल मानचित्र  {{nowrap|''f'' : ''X'' ⇢ ''Y''}} समतल प्रक्षेप्य विविधताओ के बीच एक समरूपता {{nowrap|''H''<sup>0</sup>(''X'', ''K''<sub>''X''</sub><sup>''d''</sup>) ≅ ''H''<sup>0</sup>(''Y'', ''K''<sub>''Y''</sub><sup>''d''</sup>)}} को प्रेरित करता है।{{sfn|Hartshorne|1977| loc= Exercise II.8.8.}}
-यदि {{nowrap|''d'' ≥ 0}} के लिए, डीटीएच 'प्लुरिजेनस' P<sub>''d''</sub>  को सदिश समष्टि {{nowrap|''H''<sup>0</sup>(''X'', ''K''<sub>''X''</sub><sup>''d''</sup>)}} के आयाम के रूप में परिभाषित करें, तो प्लूरिजेनेरा समतल प्रक्षेपी विविधताओ के लिए द्विवार्षिक आक्रमणकारी हैं। विशेष रूप से, यदि कोई प्लूरिजेनस  P<sub>''d''</sub>  साथ {{nowrap|''d'' > 0}} शून्य नहीं है, तो X परिमेय नहीं है।
+यदि {{nowrap|''d'' ≥ 0}} के लिए, डीटीएच 'प्लुरिजेनस' P<sub>''d''</sub>  को सदिश समष्टि {{nowrap|''H''<sup>0</sup>(''X'', ''K''<sub>''X''</sub><sup>''d''</sup>)}} के आयाम के रूप में परिभाषित करें, तो प्लूरिजेनेरा समतल प्रक्षेपी विविधताओ के लिए बीरेशनल आक्रमणकारी हैं। विशेष रूप से, यदि कोई प्लूरिजेनस  P<sub>''d''</sub>  साथ {{nowrap|''d'' > 0}} शून्य नहीं है, तो X परिमेय नहीं है।
 === कोडैरा आयाम ===
 {{Main|कोडैरा आयाम}}
-[[कोडैरा ग्राउंड सिय्योन|कोडैरा आयाम]] एक मौलिक द्विवार्षिक अपरिवर्तनीय है, जो प्लुरिजेनेरा P<sub>''d''</sub> के विकास को मापता है, क्योंकि d अनंत तक जाता है। कोडैरा आयाम आयाम n की सभी विविधताओ को कोडैरा आयाम −∞, 0, 1, ..., या n , {{nowrap|''n'' + 2}} प्रकारों में विभाजित करता है। यह विभिन्न प्रकार की जटिलता का एक उपाय है, जिसमें प्रक्षेपी समष्‍टि कोडैरा आयाम -∞ है। सबसे जटिल विविधताए वे हैं जिनके कोडैरा आयाम उनके आयाम n के बराबर हैं, जिन्हें [[कोडैरा आयाम|सामान्य प्रकार]] की विविधताए कहा जाता है।
+[[कोडैरा ग्राउंड सिय्योन|कोडैरा आयाम]] एक मौलिक बीरेशनल अपरिवर्तनीय है, जो प्लुरिजेनेरा P<sub>''d''</sub> के विकास को मापता है, क्योंकि d अनंत तक जाता है। कोडैरा आयाम आयाम n की सभी विविधताओ को कोडैरा आयाम −∞, 0, 1, ..., या n , {{nowrap|''n'' + 2}} प्रकारों में विभाजित करता है। यह विभिन्न प्रकार की जटिलता का एक उपाय है, जिसमें प्रक्षेपी समष्‍टि कोडैरा आयाम -∞ है। सबसे जटिल विविधताए वे हैं जिनके कोडैरा आयाम उनके आयाम n के बराबर हैं, जिन्हें [[कोडैरा आयाम|सामान्य प्रकार]] की विविधताए कहा जाता है।
 === ⊗<sup>kΩ<sup><sup>1</sup>  का योग और कुछ हॉज नंबर ===
 आम तौर पर अधिक,  {{nowrap|''r'' ≥ 0}} के साथ स्पर्शरेखा बंडल Ω<sup>1</sup> की r-वें प्रदिश शक्ति के किसी भी प्राकृतिक योग
 :<math>E(\Omega^1) = \bigotimes^k \Omega^1</math>
-के लिए, वैश्विक वर्गों का सदिश समष्टि {{nowrap|''H''<sup>0</sup>(''X'', ''E''(Ω<sup>1</sup>))}} समतल प्रक्षेप्य विविधताओ के लिए एक द्विवार्षिक अपरिवर्तनीय है। विशेष रूप से, [[हॉज सिद्धांत|हॉज नंबर]]
+के लिए, वैश्विक वर्गों का सदिश समष्टि {{nowrap|''H''<sup>0</sup>(''X'', ''E''(Ω<sup>1</sup>))}} समतल प्रक्षेप्य विविधताओ के लिए एक बीरेशनल अपरिवर्तनीय है। विशेष रूप से, [[हॉज सिद्धांत|हॉज नंबर]]
 :<math>h^{p,0} = H^0(X,\Omega^p)</math>
-X के द्विवार्षिक अपरिवर्तनीय हैं। (अधिकांश अन्य हॉज नंबर h<sup>p,q</sup> द्विवार्षिक अपरिवर्तनीय नहीं हैं, जैसा कि विस्फोट करके दिखाया गया है।)
+X के बीरेशनल अपरिवर्तनीय हैं। (अधिकांश अन्य हॉज नंबर h<sup>p,q</sup> बीरेशनल अपरिवर्तनीय नहीं हैं, जैसा कि विस्फोट करके दिखाया गया है।)
 === समतल प्रक्षेपी विविधताओ का मूल समूह ===
-[[मूल समूह]] π<sub>1</sub>(X) समतल जटिल प्रक्षेपी विविधताओ के लिए एक द्विवार्षिक अपरिवर्तनीय है।
+[[मूल समूह]] π<sub>1</sub>(X) समतल जटिल प्रक्षेपी विविधताओ के लिए एक बीरेशनल अपरिवर्तनीय है।
-अब्रामोविच, कारू, मात्सुकी, और व्लोडार्कज़ीक ([[2002]]) द्वारा सिद्ध किया गया कमजोर गुणन प्रमेय कहता है कि दो समतल जटिल प्रक्षेपी विविधताओ के बीच किसी भी द्विवार्षिक मानचित्र को सूक्ष्म रूप से कई आवर्धित या समतल उप-विविधताओ के अवधमन में विघटित किया जा सकता है। यह जानना महत्वपूर्ण है, लेकिन यह निर्धारित करना अभी भी बहुत कठिन हो सकता है कि क्या दो समतल प्रक्षेपीय विविधताए द्विवार्षिक हैं।
+अब्रामोविच, कारू, मात्सुकी, और व्लोडार्कज़ीक ([[2002]]) द्वारा सिद्ध किया गया कमजोर गुणन प्रमेय कहता है कि दो समतल जटिल प्रक्षेपी विविधताओ के बीच किसी भी बीरेशनल मानचित्र को सूक्ष्म रूप से कई आवर्धित या समतल उप-विविधताओ के अवधमन में विघटित किया जा सकता है। यह जानना महत्वपूर्ण है, लेकिन यह निर्धारित करना अभी भी बहुत कठिन हो सकता है कि क्या दो समतल प्रक्षेपीय विविधताए बीरेशनल हैं।
 == उच्च आयामों में न्यूनतम प्रारूप ==
@@ Line 74: / Line 73: @@
 यदि [[विहित बंडल]] K<sub>X</sub> [[नेफ]] है तो प्रक्षेपी विविध X को 'न्यूनतम' कहा जाता है। X आयाम 2 के लिए, इस परिभाषा में समतल विविधताओ पर विचार करना पर्याप्त है। आयामों में कम से कम 3, न्यूनतम विविधताओ को कुछ हल्के विशिष्टताएं रखने की अनुमति दी जानी चाहिए, जिसके लिए K<sub>X</sub> अभी भी अच्छा व्यवहार करता है, इन्हें [[अंतिम विलक्षणताएँ]] कहा जाता है।
-कहा जा रहा है कि, [[न्यूनतम प्रारूप अनुमान]] का अर्थ यह होगा कि हर विविध X या तो [[परिमेय वक्र]] से आच्छादित है या एक न्यूनतम विविधता Y के लिए द्विवार्षिक है। जब यह मौजूद होता है, तो Y को X का 'न्यूनतम प्रारूप' कहा जाता है।
+कहा जा रहा है कि, [[न्यूनतम प्रारूप अनुमान]] का अर्थ यह होगा कि हर विविध X या तो [[परिमेय वक्र]] से आच्छादित है या एक न्यूनतम विविधता Y के लिए बीरेशनल है। जब यह मौजूद होता है, तो Y को X का 'न्यूनतम प्रारूप' कहा जाता है।
-न्यूनतम प्रारूप कम से कम 3 आयामों में अद्वितीय नहीं हैं, लेकिन कोई भी दो न्यूनतम विविधताए जो कि द्विवार्षिक हैं, वे बहुत करीब हैं। उदाहरण के लिए, वे कम से कम 2 सह आयाम के समरूपी बाहरी उपसमुच्चय हैं, और अधिक सटीक रूप से वे [[फ्लिप (गणित)|फ्लाप्स]] के अनुक्रम से संबंधित हैं। तो न्यूनतम प्रारूप अनुमान बीजगणितीय विविधताओ के द्विवार्षिक वर्गीकरण के बारे में मजबूत जानकारी देगा।
+न्यूनतम प्रारूप कम से कम 3 आयामों में अद्वितीय नहीं हैं, लेकिन कोई भी दो न्यूनतम विविधताए जो कि बीरेशनल हैं, वे बहुत करीब हैं। उदाहरण के लिए, वे कम से कम 2 सह आयाम के समरूपी बाहरी उपसमुच्चय हैं, और अधिक सटीक रूप से वे [[फ्लिप (गणित)|फ्लाप्स]] के अनुक्रम से संबंधित हैं। तो न्यूनतम प्रारूप अनुमान बीजगणितीय विविधताओ के बीरेशनल वर्गीकरण के बारे में मजबूत जानकारी देगा।
 यह अनुमान मोरी द्वारा आयाम 3 में सिद्ध किया गया था।{{sfn|Mori|1988}} उच्च आयामों में काफी प्रगति हुई है, हालांकि सामान्य समस्या बनी हुई है। विशेष रूप से, बिरकर, कैसिनी, हैकोन , और मैककर्नन (2010){{sfn|Birkar|Cascini|Hacon|McKernan|2010}} ने साबित किया कि विशेषता शून्य के क्षेत्र में [[सामान्य प्रकार]] की प्रत्येक विविध का एक न्यूनतम प्रारूप होता है।
@@ Line 83: / Line 82: @@
 {{Main|शासित विविधताए}}
-एक विविध को अशासित कहा जाता है यदि यह परिमेय घटता से आच्छादित है। एक अशासित विविध में न्यूनतम प्रारूप नहीं होता है, लेकिन एक अच्छा प्रतिस्थापी होता है, बिरकर, कैसिनी, हैकॉन और मैककर्नन ने दिखाया कि विशेषता शून्य के क्षेत्र में प्रत्येक अशासित विविधता एक [[फानो फाइबर समष्टि]] के लिए द्विवार्षिक है।{{efn|{{harvtxt|Birkar|Cascini|Hacon|McKernan|2010|loc=Corollary 1.3.3}}, implies that every uniruled variety in characteristic zero is birational to a Fano fiber space, using the easier result that a uniruled variety ''X'' is covered by a family of curves on which ''K<sub>X</sub>'' has negative degree. A reference for the latter fact is {{harvtxt|Debarre|2001|loc=Corollary 4.11}} and Example 4.7(1).}} यह फ़ानो फाइबर समष्टि और (सबसे दिलचस्प विशेष स्थिति के रूप में) [[फ़ानो विविध]] के द्विवार्षिक वर्गीकरण की समस्या की ओर जाता है। परिभाषा के अनुसार, एक प्रक्षेपी विविध X 'फैनो' है यदि एंटीकैनोनिकल बंडल <math>K_X^*</math> [[पर्याप्त लाइन बंडल|पर्याप्त]] है। फ़ानो विविधताओ को बीजगणितीय विविधताओ के रूप में माना जा सकता है जो प्रक्षेपी समष्‍टि के समान हैं।
+एक विविध को अशासित कहा जाता है यदि यह परिमेय घटता से आच्छादित है। एक अशासित विविध में न्यूनतम प्रारूप नहीं होता है, लेकिन एक अच्छा प्रतिस्थापी होता है, बिरकर, कैसिनी, हैकॉन और मैककर्नन ने दिखाया कि विशेषता शून्य के क्षेत्र में प्रत्येक अशासित विविधता एक [[फानो फाइबर समष्टि]] के लिए बीरेशनल है।{{efn|{{harvtxt|Birkar|Cascini|Hacon|McKernan|2010|loc=Corollary 1.3.3}}, implies that every uniruled variety in characteristic zero is birational to a Fano fiber space, using the easier result that a uniruled variety ''X'' is covered by a family of curves on which ''K<sub>X</sub>'' has negative degree. A reference for the latter fact is {{harvtxt|Debarre|2001|loc=Corollary 4.11}} and Example 4.7(1).}} यह फ़ानो फाइबर समष्टि और (सबसे दिलचस्प विशेष स्थिति के रूप में) [[फ़ानो विविध]] के बीरेशनल वर्गीकरण की समस्या की ओर जाता है। परिभाषा के अनुसार, एक प्रक्षेपी विविध X 'फैनो' है यदि एंटीकैनोनिकल बंडल <math>K_X^*</math> [[पर्याप्त लाइन बंडल|पर्याप्त]] है। फ़ानो विविधताओ को बीजगणितीय विविधताओ के रूप में माना जा सकता है जो प्रक्षेपी समष्‍टि के समान हैं।
 आयाम 2 में, बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक फ़ानो विविध (जिसे [[डेल टुकड़ा सतह|डेल पेज़ो सतह]] के रूप में जाना जाता है) परिमेय है। 1970 के दशक में एक प्रमुख खोज यह थी कि आयाम 3 से शुरू होकर, कई फानो विविधताए हैं जो [[परिमेय]] नहीं हैं। विशेष रूप से, समतल घन 3-गुना [[क्लेमेंस-ग्रिफिथ्स (1972)]] द्वारा परिमेय नहीं है, और समतल क्वार्टिक 3-गुना [[इस्कोस्किख-मैनिन (1971)]] द्वारा परिमेय नहीं है। बहरहाल, यह निर्धारित करने की समस्या कि वास्तव में कौन सी फ़ानो विविधताए परिमेय हैं, हल होने से बहुत दूर हैं। उदाहरण के लिए, यह ज्ञात नहीं है कि <math>\mathbb{P}^{n+1}</math> में {{nowrap|''n'' ≥ 4}} के साथ कोई समतल घनी अतिसतह है या नहीं जो परिमेय नहीं है।
-== द्विवार्षिक स्‍वचालन समूह ==
+== बीरेशनल स्‍वचालन समूह ==
-बीजगणितीय विविधताए व्यापक रूप से भिन्न होती हैं क्योकि उनके पास कुछ द्विवार्षिक स्‍वचालन हैं। [[सामान्य प्रकार]] की हर विविध अत्यंत कठोर है, इस अर्थ में कि इसका द्विवार्षिक स्‍वचालन समूह परिमित है। दूसरे चरम पर, क्षेत्र k पर प्रक्षेपी समष्‍टि <math>\mathbb{P}^n</math> का द्विवार्षिक स्‍वचालन समूह, जिसे [[क्रेमोना समूह]] Cr<sub>''n''</sub>(k) के रूप में जाना जाता है,  {{nowrap|''n'' ≥ 2}}  के लिए बड़ा (एक मायने में, अनंत-आयामी) है। {{nowrap|1=''n'' = 2}} के लिए, सम्मिश्र क्रेमोना समूह <math>Cr_2(\Complex)</math>  "द्विघात रूपांतरण"
+बीजगणितीय विविधताए व्यापक रूप से भिन्न होती हैं क्योकि उनके पास कुछ बीरेशनल स्‍वचालन हैं। [[सामान्य प्रकार]] की हर विविध अत्यंत कठोर है, इस अर्थ में कि इसका बीरेशनल स्‍वचालन समूह परिमित है। दूसरे चरम पर, क्षेत्र k पर प्रक्षेपी समष्‍टि <math>\mathbb{P}^n</math> का बीरेशनल स्‍वचालन समूह, जिसे [[क्रेमोना समूह]] Cr<sub>''n''</sub>(k) के रूप में जाना जाता है,  {{nowrap|''n'' ≥ 2}}  के लिए बड़ा (एक मायने में, अनंत-आयामी) है। {{nowrap|1=''n'' = 2}} के लिए, सम्मिश्र क्रेमोना समूह <math>Cr_2(\Complex)</math>  "द्विघात रूपांतरण"
 : [x,y,z] ↦ [1/x, 1/y, 1/z]
@@ Line 94: / Line 93: @@
 द्वारा [[मैक्स नोथेर]] और [[गुइडो कास्टेलनुवो]] द्वारा <math>PGL(3,\Complex)</math> के स्‍वचालन समूह  <math>\mathbb{P}^2,</math> के साथ उत्पन्न होता है। इसके विपरीत, {{nowrap|''n'' ≥ 3}} में क्रेमोना समूह बहुत अधिक रहस्य है, जनित्र की कोई स्पष्ट स्थिति ज्ञात नहीं है।
-#[[इस्कोविसिख-मैनिन]] (1971) ने दिखाया कि एक सुचारू क्वार्टिक 3-गुना का द्विवार्षिक स्‍वचालन समूह इसके स्‍वचालन समूह के बराबर है, जो परिमित है। इस अर्थ में, क्वार्टिक 3-गुना परिमेय होने से बहुत दूर हैं, क्योंकि एक [[परिमेय विविधता]] का द्विवार्षिक स्‍वचालन समूह बहुत बड़ा है। तब से कई अन्य फानो फाइबर स्थानों में "द्विवार्षिक दृढ़ता" की इस घटना की खोज की गई है। {{citation needed|date=April 2021}}
+#[[इस्कोविसिख-मैनिन]] (1971) ने दिखाया कि एक सुचारू क्वार्टिक 3-गुना का बीरेशनल स्‍वचालन समूह इसके स्‍वचालन समूह के बराबर है, जो परिमित है। इस अर्थ में, क्वार्टिक 3-गुना परिमेय होने से बहुत दूर हैं, क्योंकि एक [[परिमेय विविधता]] का बीरेशनल स्‍वचालन समूह बहुत बड़ा है। तब से कई अन्य फानो फाइबर स्थानों में "बीरेशनल दृढ़ता" की इस घटना की खोज की गई है। {{citation needed|date=April 2021}}
 == अनुप्रयोग ==
-द्विवार्षिक ज्यामिति ने ज्यामिति के अन्य क्षेत्रों में, विशेष रूप से बीजगणितीय ज्यामिति में पारंपरिक समस्याओं में अनुप्रयोगों को पाया है।
+बीरेशनल ज्यामिति ने ज्यामिति के अन्य क्षेत्रों में, विशेष रूप से बीजगणितीय ज्यामिति में पारंपरिक समस्याओं में अनुप्रयोगों को पाया है।
 प्रसिद्ध रूप से न्यूनतम प्रारूप का उपयोग सामान्य प्रकार की विविध के मोडुली समष्टि के निर्माण करने के लिए [[जानोस कॉलर]] और [[निकोलस शेफर्ड-बैरन]] द्वारा किया गया था, जिसे अब केएसबी [[मोडुली स्पेस|मोडुली समष्टि]] के रूप में जाना जाता है।{{sfn|Kollár|2013}}
-द्विवार्षिक ज्यामिति ने हाल ही में [[काहलर-आइंस्टीन मापन]] के लिए सामान्य अस्तित्व परिणामों के माध्यम से [[फैनो किस्मों की के-स्थिरता|फैनो विविध की के-स्थिरता]] के अध्ययन में , द्विवार्षिक प्रारूप पर गणना करके के-स्थिरता का परीक्षण करने के लिए फ़ानो विविध के सुस्पष्ट निश्चर के विकास में, और फ़ानो विविध के मोडुली समष्टि के निर्माण में महत्वपूर्ण अनुप्रयोगों को पाया है।{{sfn|Xu|2021}} द्विवार्षिक ज्यामिति में महत्वपूर्ण परिणाम जैसे बिरकर के फ़ानो विविध की सीमा के प्रमाण का उपयोग मोडुली समष्टि के लिए अस्तित्व के परिणामों को साबित करने के लिए किया गया है।
+बीरेशनल ज्यामिति ने हाल ही में [[काहलर-आइंस्टीन मापन]] के लिए सामान्य अस्तित्व परिणामों के माध्यम से [[फैनो किस्मों की के-स्थिरता|फैनो विविध की के-स्थिरता]] के अध्ययन में , बीरेशनल प्रारूप पर गणना करके के-स्थिरता का परीक्षण करने के लिए फ़ानो विविध के सुस्पष्ट निश्चर के विकास में, और फ़ानो विविध के मोडुली समष्टि के निर्माण में महत्वपूर्ण अनुप्रयोगों को पाया है।{{sfn|Xu|2021}} बीरेशनल ज्यामिति में महत्वपूर्ण परिणाम जैसे बिरकर के फ़ानो विविध की सीमा के प्रमाण का उपयोग मोडुली समष्टि के लिए अस्तित्व के परिणामों को साबित करने के लिए किया गया है।
 == यह भी देखें ==

Anonymous

Search

बीरेशनल ज्यामिति: Difference between revisions

Namespaces

More

Page actions

Revision as of 16:22, 16 October 2023

Contents

बीरेशनल मानचित्र

परिमेय मानचित्र

बीरेशनल मानचित्र

बीरेशनल तुल्यता और परिमेयता

समतल शंकु की बीरेशनल तुल्यता

स्मूथ चतुष्कोणों और Pⁿ की बीरेशनल तुल्यता

चतुष्कोणीय सतह की बीरेशनल तुल्यता

न्यूनतम प्रारूप और विलक्षणताओं का संकल्प

बीरेशनल अपरिवर्तनशीलताए

प्लुरिजेनेरा

कोडैरा आयाम

⊗^{kΩ^{¹ का योग और कुछ हॉज नंबर}}

समतल प्रक्षेपी विविधताओ का मूल समूह

उच्च आयामों में न्यूनतम प्रारूप

अशासित विविधताए

बीरेशनल स्‍वचालन समूह

अनुप्रयोग

यह भी देखें

उद्धरण

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

बीरेशनल ज्यामिति: Difference between revisions

Revision as of 16:22, 16 October 2023

बीरेशनल मानचित्र

परिमेय मानचित्र

बीरेशनल मानचित्र

बीरेशनल तुल्यता और परिमेयता

समतल शंकु की बीरेशनल तुल्यता

स्मूथ चतुष्कोणों और Pn की बीरेशनल तुल्यता

चतुष्कोणीय सतह की बीरेशनल तुल्यता

न्यूनतम प्रारूप और विलक्षणताओं का संकल्प

बीरेशनल अपरिवर्तनशीलताए

प्लुरिजेनेरा

कोडैरा आयाम

⊗kΩ1 का योग और कुछ हॉज नंबर

समतल प्रक्षेपी विविधताओ का मूल समूह

उच्च आयामों में न्यूनतम प्रारूप

अशासित विविधताए

बीरेशनल स्‍वचालन समूह

अनुप्रयोग

यह भी देखें

उद्धरण

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories

स्मूथ चतुष्कोणों और Pⁿ की बीरेशनल तुल्यता

⊗^{kΩ^{¹ का योग और कुछ हॉज नंबर}}