Degree of irrationality of a product of two elliptic curves

गणित के विशाल परिदृश्य में, बीजगणितीय ज्यामिति (algebraic geometry) नामक एक शाखा है जो समीकरणों द्वारा परिभाषित आकृतियों का अध्ययन करती है। ये आकृतियाँ सरल रेखाएँ या वृत्त हो सकती हैं, लेकिन वे जटिल, बहु-आयामी सतहें भी हो सकती हैं जो अमूर्त स्थानों में अस्तित्व रखती हैं। गणितज्ञ इन आकृतियों के बारे में एक मौलिक प्रश्न पूछते हैं कि वे कितनी "जटिल" हैं। एक आकृति को सरल, या तर्कसंगत (rational) माना जाता है यदि इसे बिना फटे या मुड़े एक सपाट तल (plane) में सुचारू रूप से परिवर्तित किया जा सकता है। हालाँकि, कई आकृतियाँ इस सरलीकरण का विरोध करती हैं। यह मापने के लिए कि कोई आकृति कितनी सरल होने से दूर है, गणितज्ञ 'इरेशनलिटी की डिग्री' (degree of irrationality) नामक एक संख्या का उपयोग करते हैं। इस संख्या को जटिलता के स्कोर के रूप में समझें: कम स्कोर का अर्थ है कि आकृति एक सपाट तल के करीब है, जबकि उच्च स्कोर का अर्थ है कि वह अधिक घुमावदार और चपटी करने में कठिन है। लंबे समय तक, विशिष्ट, जटिल आकृतियों के लिए इस स्कोर की गणना करना एक कठिन चुनौती बना रहा, और दो एलिप्टिक कर्व्स (elliptic curves) के उत्पाद के रूप में ज्ञात एक विशेष प्रकार की आकृति के लिए उत्तर एक रहस्य बना रहा।

एक एलिप्टिक कर्व एक विशिष्ट प्रकार की चिकनी, लूप जैसी आकृति है जो संख्या सिद्धांत (number theory) और क्रिप्टोग्राफी में बार-बार दिखाई देती है। जब आप इन दो कर्व्स को लेते हैं और उन्हें मिलाते हैं, तो आप एक नई, चार-आयामी वस्तु बनाते हैं। वर्षों तक, विशेषज्ञों ने इस संयुक्त वस्तु की जटिलता के बारे में विचार किया। कुछ को संदेह था कि यदि दोनों कर्व्स एक-दूसरे से पर्याप्त भिन्न हैं, तो परिणामी आकृति अत्यंत जटिल होगी, शायद इसकी कठिनाई का वर्णन करने के लिए चार का स्कोर आवश्यक होगा। यह विचार इस अंतर्ज्ञान पर आधारित था कि दो अलग-अलग, जटिल चीजों को मिलाने से कुछ और भी कठिन समझ में आने वाली चीज़ बननी चाहिए। यह प्रश्न हवा में लटका हुआ था: क्या इन कर्व्स की ऐसी कोई जोड़ी हो सकती थी जो इतनी भिन्न हो कि उनका संयोजन इस उच्च स्तर की जटिलता तक पहुँच जाए?

यंगनाम ली नामक एक गणितज्ञ ने अब इस प्रश्न को एक निश्चित उत्तर के साथ सुलझा लिया है। अपने हालिया शोध पत्र में, ली सिद्ध करते हैं कि आप चाहे कोई भी दो एलिप्टिक कर्व्स चुनें, भले ही वे एक-दूसरे से पूरी तरह से अलग क्यों न हों, उनका संयोजन हमेशा ठीक तीन का जटिलता स्कोर रखता है। यह निष्कर्ष उस अपेक्षा को उलट देता है कि स्कोर चार हो सकता था। यह परिणाम कोई अनुमान या सिमुलेशन नहीं है; यह एक कठोर गणितीय प्रमाण है जो जटिल संख्या प्रणाली में इन कर्व्स के प्रत्येक संभावित जोड़े के लिए सत्य है। यह कार्य सुझाव देता है कि इन आकृतियों के ब्रह्मांड में एक छिपा हुआ एकरूपता है: दो एलिप्टिक कर्व्स को मिलाने की जटिलता स्थिर और पूर्वानुमेय है, जो तीन के स्तर को कभी पार नहीं करती है।

इस निष्कर्ष तक पहुँचने के लिए, ली को पहले एक विशिष्ट उदाहरण का निर्माण करना पड़ा ताकि यह दिखाया जा सके कि तीन का स्कोर वास्तव में संभव है। उन्होंने दो अलग-अलग कर्व्स के साथ काम किया जिन्हें मौलिक रूप से भिन्न माना जाता था, जिसका अर्थ है कि उन्हें मानक गणितीय संचालन के माध्यम से एक-दूसरे में परिवर्तित नहीं किया जा सकता है। इन दोनों कर्व्स के बीच की अंतःक्रिया का सावधानीपूर्वक विश्लेषण करके, उन्होंने उनके संयुक्त आकार को एक सपाट तल पर मैप करने की एक विधि प्रदर्शित की। यह मैपिंग पूर्ण नहीं थी; इसमें कुछ मोड़ और ओवरलैपिंग शामिल थी, लेकिन यह दिखाने के लिए पर्याप्त कुशल थी कि आकृति को तीन की डिग्री के साथ चपटा किया जा सकता है। यह उदाहरण महत्वपूर्ण था क्योंकि इसने सिद्ध किया कि स्कोर तीन से अधिक नहीं हो सकता था। इसने एक ठोस प्रदर्शन के रूप में कार्य किया कि जटिलता प्रबंधनीय थी।

प्रमाण का दूसरा भाग शायद और भी महत्वपूर्ण था: यह दिखाना कि स्कोर कभी भी तीन से कम नहीं हो सकता। ली को यह संभावना खारिज करनी थी कि आकृति को एक या दो के स्कोर के साथ चपटा किया जा सकता है। एक का स्कोर यह होगा कि आकृति अनिवार्य रूप से एक सपाट तल है, जो इस प्रकार की वस्तु के लिए असंभव है। दो का स्कोर एक विशिष्ट प्रकार की समरूपता (symmetry) को दर्शाता है जो आकृति को चपटा होने के लिए आधा मोड़ने की अनुमति देती है। ली ने दिखाया कि इस प्रकार की समरूपता दो एलिप्टिक कर्व्स के उत्पाद के लिए मौजूद नहीं हो सकती। उन्होंने तर्क दिया कि यदि ऐसा मोड़ संभव होता, तो यह मूल कर्व्स को इस तरह समान बना देता जो उनकी मौलिक प्रकृति के विरुद्ध होता। यह सिद्ध करके कि दो का स्कोर असंभव है, उन्होंने किसी भी कम जटिलता के द्वार बंद कर दिए।

तीन के निचले स्तर (lower bound) को स्थापित करने और अपने उदाहरण द्वारा ऊपरी स्तर (upper bound) को प्रदर्शित करने के बाद, उत्तर अपनी जगह पर लॉक हो गया। किन्हीं भी दो एलिप्टिक कर्व्स के उत्पाद के लिए इरेशनलिटी की डिग्री ठीक तीन है। यह परिणाम अन्य शोधकर्ताओं द्वारा उठाए गए एक विशिष्ट प्रश्न को हल करता है, यह पुष्टि करता है कि इन आकृतियों की जटिलता इस बात पर निर्भर नहीं करती है कि कर्व्स एक-दूसरे से कितने भिन्न हैं। प्रमाण कर्व्स के एक परिवार के शामिल एक चतुर निर्माण पर निर्भर करता जिसे किसी भी संभावित एलिप्टिक कर्व का प्रतिनिधित्व करने के लिए समायोजित किया जा सकता है। यह दिखाकर कि यह विधि एक विशिष्ट मामले के लिए काम करती है और फिर निरंतर भिन्नता के माध्यम से यह सिद्ध करके कि यह सभी मामलों के लिए काम करती है, ली ने एक पूर्ण चित्र प्रदान किया।

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