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

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

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

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

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

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

समतल शंकु की द्विवार्षिक तुल्यता
उदाहरण के लिए, घेरा $$X$$ समीकरण के साथ $$x^2 + y^2 - 1 = 0$$ affine तल में एक परिमेय वक्र है, क्योंकि एक परिमेय मानचित्र है f : $\mathbb{A}^1$ ⇢ X द्वारा दिए गए
 * $$f(t) = \left( \frac{2t}{1+t^2}, \frac{1 - t^2}{1 + t^2}\right),$$

जिसका परिमेय व्युत्क्रम g: X ⇢ है $$\mathbb{A}^1$$ द्वारा दिए गए
 * $$g(x,y) = \frac{1-y}{x}.$$

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

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

चिकने चतुष्कोणों की द्विवार्षिक तुल्यता और पीएन
अधिक आम तौर पर, स्टीरियोग्राफिक प्रोजेक्शन द्वारा किसी भी आयाम एन का एक समतल चतुर्भुज (बीजीय ज्यामिति) (डिग्री 2) हाइपरसफेस X परिमेय है। (X के लिए एक क्षेत्र k पर एक द्विघात, X को एक परिमेय बिंदु होना चाहिए #बीजगणितीय विविधताओ पर परिमेय या K-परिमेय बिंदु|k-परिमेय बिंदु; यह स्वचालित है यदि k बीजगणितीय रूप से बंद है।) स्टीरियोग्राफिक प्रक्षेपण को परिभाषित करने के लिए, पी को X में एक बिंदु होने दें। फिर X से प्रक्षेपी समष्‍टि के लिए एक द्विवार्षिक मैप $$\mathbb{P}^n$$ p से होकर जाने वाली रेखाओं की संख्या X में बिंदु q को p और q से होकर जाने वाली रेखा पर भेजकर दी जाती है। यह एक द्विवार्षिक तुल्यता है, लेकिन विविधताओ का समरूपता नहीं है, क्योंकि यह कहां परिभाषित करने में विफल रहता है 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_0x_3=x_1x_2$$ में $$\mathbb{P}^3$$. यह एक और प्रमाण देता है कि यह चतुष्कोणीय सतह परिमेय है, क्योंकि $$\mathbb{P}^1\times\mathbb{P}^1$$ स्पष्ट रूप से परिमेय है, एक खुले उपसमुच्चय के लिए आइसोमोर्फिक है $$\mathbb{A}^2$$.

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

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

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

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

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

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

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

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

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

का योग और कुछ हॉज नंबर
आम तौर पर अधिक, r ≥ 0 के साथ स्पर्शरेखा बंडल Ω1 की r-वें प्रदिश शक्ति के किसी भी प्राकृतिक योग
 * $$E(\Omega^1) = \bigotimes^k \Omega^1$$

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


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

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

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

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

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

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

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

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

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

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

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


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

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


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

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

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

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

यह भी देखें

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