गणनात्मक ज्यामिति

See also: Intersection theory

गणित में, गणनात्मक ज्यामिति बीजगणितीय ज्यामिति की शाखा है, जो मुख्य रूप से प्रतिच्छेदन सिद्धांत के माध्यम से, ज्यामितीय प्रश्नों के समाधानों की संख्या की गिनती से संबंधित है।

इतिहास

अपोलोनियस की समस्या

अपोलोनियस की समस्या गणनात्मक ज्यामिति के शुरुआती उदाहरणों में से एक है। यह समस्या उन वृत्तों की संख्या और निर्माण के बारे में पूछती है जो दिए गए तीन वृत्तों, बिंदुओं या रेखाओं की स्पर्शरेखा हैं। सामान्य तौर पर, दिए गए तीन वृत्तों की समस्या के आठ समाधान होते हैं, जिन्हें 2 के रूप में देखा जा सकता है³, प्रत्येक स्पर्शरेखा स्थिति वृत्तों के स्थान पर एक द्विघात स्थिति लगाती है। हालाँकि, दिए गए वृत्तों की विशेष व्यवस्था के लिए, समाधानों की संख्या 0 (कोई समाधान नहीं) से लेकर छह तक कोई भी पूर्णांक हो सकती है; ऐसी कोई व्यवस्था नहीं है जिसके लिए अपोलोनियस की समस्या के सात समाधान हों।

मुख्य उपकरण

प्राथमिक से लेकर अधिक उन्नत तक कई उपकरण शामिल हैं:

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

गणनात्मक ज्यामिति प्रतिच्छेदन सिद्धांत से बहुत निकटता से जुड़ी हुई है।

शुबर्ट कैलकुलस

उन्नीसवीं शताब्दी के अंत में, हरमन शूबर्ट के हाथों, गणनात्मक ज्यामिति में शानदार विकास देखा गया। उन्होंने इसे शूबर्ट कैलकुलस के उद्देश्य से पेश किया, जो व्यापक क्षेत्रों में मौलिक ज्यामितीय और संस्थानिक मूल्य साबित हुआ है। गणनात्मक ज्यामिति की विशिष्ट आवश्यकताओं पर तब तक ध्यान नहीं दिया गया जब तक कि 1960 और 1970 के दशक में उन पर कुछ और ध्यान नहीं दिया गया (उदाहरण के लिए स्टीवन क्लेमन द्वारा बताया गया)प्रतिच्छेदन संख्या संख्याओं को कठोरता से परिभाषित किया गया था (आंद्रे वेइल द्वारा उनके मूलभूत कार्यक्रम 1942-6 के हिस्से के रूप में, और फिर बाद में), लेकिन इससे गणनात्मक प्रश्नों का उचित क्षेत्र समाप्त नहीं हुआ।

ठगना कारक और हिल्बर्ट की पंद्रहवीं समस्या

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

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

(aX + bY + cZ)²=0

'डबल लाइन' कहा जाता है। इसका कारण यह है कि एक दोहरी रेखा समतल में प्रत्येक रेखा को प्रतिच्छेद करती है, क्योंकि प्रक्षेप्य तल में रेखाएं बहुलता दो के साथ प्रतिच्छेद करती हैं क्योंकि यह दोगुनी है, और इस प्रकार एक गैर-अपक्षयी शंकु के रूप में समान प्रतिच्छेदन स्थिति (बहुलता दो का प्रतिच्छेदन) को संतुष्ट करती है जो कि स्पर्शरेखा है रेखा।

सामान्य बेज़आउट प्रमेय कहता है कि 5-स्थान में 5 सामान्य चतुर्भुज 32 = 2 में प्रतिच्छेद करेंगे⁵अंक. लेकिन यहां प्रासंगिक चतुर्भुज सामान्य स्थिति में नहीं हैं। सही उत्तर (ज्यामिति के दृष्टिकोण से) छोड़ने के लिए, 32 में से 31 को घटाया जाना चाहिए और वेरोनीज़ को जिम्मेदार ठहराया जाना चाहिए, अर्थात् 1। 'पतित' मामलों के लिए चौराहों को जिम्मेदार ठहराने की यह प्रक्रिया 'विक्षनरी' का एक विशिष्ट ज्यामितीय परिचय है :हेराफेरी का पहलू'।

हिल्बर्ट की पंद्रहवीं समस्या इन हस्तक्षेपों की स्पष्ट रूप से मनमानी प्रकृति पर काबू पाना था; यह पहलू शुबर्ट कैलकुलस के मूलभूत प्रश्न से भी आगे जाता है।

क्लेमेंस अनुमान

1984 में हर्बर्ट क्लेमेंस|एच. क्लेमेंस ने क्विंटिक तीन गुना पर तर्कसंगत वक्रों की संख्या की गिनती का अध्ययन किया $X\subset P^{4}$ और निम्नलिखित अनुमान पर पहुँचे।

होने देना $X\subset P^{4}$ एक सामान्य क्विंटिक तीन गुना हो, $d$ एक धनात्मक पूर्णांक, तो डिग्री के साथ तर्कसंगत वक्रों की केवल एक सीमित संख्या होती है $d$ पर $X$.

मामले में इस अनुमान का समाधान हो गया है $d\leq 9$, लेकिन उच्चतर के लिए अभी भी खुला है $d$.

1991 में पेपर क्विंटिक थ्रीफोल्ड इन पर दर्पण समरूपता के बारे में $P^{4}$ स्ट्रिंग सैद्धांतिक दृष्टिकोण से डिग्री डी तर्कसंगत वक्रों की संख्या देता है $X$ सभी के लिए $d>0$. इससे पहले, बीजगणितीय ज्यामितिकर्ता केवल इन संख्याओं की गणना कर सकते थे $d\leq 5$.

उदाहरण

बीजगणितीय ज्यामिति में गणना के कुछ ऐतिहासिक रूप से महत्वपूर्ण उदाहरणों में शामिल हैं:

• 2 अंतरिक्ष में 4 सामान्य रेखाओं से मिलने वाली रेखाओं की संख्या
• 8 3 सामान्य वृत्तों के स्पर्शरेखा वृत्तों की संख्या (अपोलोनियस की समस्या)।
• 27 चिकनी घन सतह पर रेखाओं की संख्या (जॉर्ज सैल्मन और आर्थर केली)
• 2875 एक सामान्य पंचक पर रेखाओं की संख्या तीन गुना
• 3264 सामान्य स्थिति में स्टीनर की शंकु समस्या की संख्या (माइकल चासल्स)
• 609250 एक सामान्य क्विंटिक पर शंकुओं की संख्या तीन गुना
• 4407296 8 सामान्य चतुर्भुज सतहों पर स्पर्शरेखा वाले शंकुओं की संख्या Fulton (1984, p. 193)
• 666841088 3-स्पेस में सामान्य स्थिति में दिए गए 9 क्वाड्रिक सतहों के स्पर्शरेखा वाले क्वाड्रिक सतहों की संख्या (Schubert 1879, p.106) (Fulton 1984, p. 193)
• 5819539783680 3-स्पेस में सामान्य स्थिति में 12 दी गई चतुर्भुज सतहों के स्पर्शरेखा वाले मुड़े हुए घन वक्रों की संख्या (Schubert 1879, p.184) (S. Kleiman, S. A. Strømme & S. Xambó 1987)

संदर्भ

• Kleiman, S.; Strømme, S. A.; Xambó, S. (1987), "Sketch of a verification of Schubert's number 5819539783680 of twisted cubics", Space curves (Rocca di Papa, 1985), Lecture Notes in Math., vol. 1266, Berlin: Springer, pp. 156–180, doi:10.1007/BFb0078183, ISBN 978-3-540-18020-3, MR 0908713
• Schubert, Hermann (1979) [1879], Kleiman, Steven L. (ed.), Kalkül der abzählenden Geometrie, Reprint of the 1879 original (in Deutsch), Berlin-New York: Springer-Verlag, ISBN 3-540-09233-1, MR 0555576

बाहरी संबंध

• Bashelor, Andrew; Ksir, Amy; Traves, Will (2008). "Enumerative Algebraic Geometry of Conics". Amer. Math. Monthly. 115 (8): 701–7. doi:10.1080/00029890.2008.11920584. JSTOR 27642583.