एक चिकनी गेंद जो केवल एक बिंदु पर गोल है

एक गेंद हर दिशा में एक जैसी मुड़ती है। रग्बी गेंद का किनारा ऐसा नहीं करता: वह अपने घेरे के चारों ओर तीखा मुड़ता है और अपनी लंबाई के साथ केवल हल्का। किसी पृष्ठ के हर बिंदु पर ज्यामितिविद सबसे तीव्र और सबसे हल्का मोड़ दर्ज करते हैं, जिनकी दिशाएँ हमेशा एक-दूसरे से समकोण पर होती हैं; ये दो मुख्य वक्रताएँ (principal curvatures) हैं। जिस बिंदु पर वे बराबर हों, जहाँ पृष्ठ सभी दिशाओं में एक जैसा मुड़ता है, उसे नाभिबिंदु (umbilic) कहते हैं। एक आदर्श गेंद पर हर बिंदु नाभिबिंदु है।

एक नाभिबिंदु के चारों ओर घुमावों की गिनती

नाभिबिंदुओं से दूर, सबसे तीव्र और सबसे हल्के मोड़ की दिशाएँ पृष्ठ पर रेखाओं के दो परिवार खींचती हैं, जो हर जगह एक-दूसरे को समकोण पर काटते हैं। किसी पृथक नाभिबिंदु के चारों ओर एक छोटे लूप पर एक बार चलिए और इनमें से किसी एक रेखा का अनुसरण कीजिए: वह घूमती है। वह जितने घुमाव लगाती है, वह संख्या नाभिबिंदु का सूचकांक (index) है। चूँकि रेखा पर कोई तीर नहीं होता, वह आधे घुमाव के बाद ही अपने ऊपर लौट सकती है, इसलिए सूचकांक 3/2 जैसा कोई अर्ध-पूर्णांक भी हो सकता है।

दो अनुमान, जैसे शोधपत्र उन्हें प्रस्तुत करता है:

• लोवनर का अनुमान (Loewner’s conjecture): किसी पृथक नाभिबिंदु का सूचकांक अधिक से अधिक 1 होता है।
• काराथेओडोरी का अनुमान (Carathéodory’s conjecture): सामान्य त्रि-आयामी समष्टि (space) में एक बंद उत्तल नियमित पृष्ठ (बिना किसी किनारे वाला एक चिकना पृष्ठ जो हर जगह बाहर की ओर उभरा हो, जैसे अंडा) पर कम से कम दो नाभिबिंदु होते हैं।

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

अगस्त में घोषणा, साइन से नया निर्माण

पहले प्रतिउदाहरण इस शोधपत्र से नहीं आए। इसकी प्रस्तावना के अनुसार, एल. अल्पोगे (L. Alpöge) ने 19 अगस्त 2026 की X पर एक पोस्ट में चिकने पृष्ठों के लिए दोनों अनुमानों के प्रतिउदाहरणों की घोषणा की, जो “AI की सहायता से विकसित” किए गए थे। अल्पोगे का स्थानीय निर्माण हर धनात्मक पूर्ण संख्या k के लिए पहले ही 1 + k/2 का सूचकांक प्राप्त कर लेता है, और अल्पोगे एक ऐसे बंद, पूर्णतः उत्तल पृष्ठ की सूचना देते हैं जिस पर ठीक एक नाभिबिंदु है, जिसका सूचकांक 2 है।

कुमामोटो यूनिवर्सिटी के नाओया आंदो (Naoya Ando) और इंस्टीट्यूट ऑफ़ साइंस टोक्यो के मासाआकी उमेहारा (Masaaki Umehara) ने “अल्पोगे के निर्माण के एक रूपांतर के माध्यम से एक सरल निर्माण” देने का बीड़ा उठाया। अल्पोगे का आरंभिक फलन तीन कोसाइनों को −1/4, 3/10 और −1/32 गुणांकों के साथ जोड़ता है, ऐसे फलनों के भीतर जिनमें 10¹⁰ और 100 जैसे स्थिरांक आते हैं। उनका “बीज” है:

F(x, y) = a(x) − a(y) + sin x sin y, जहाँ a(t) = sin⁴t + 3 sin²t

दो चरों वाले किसी फलन की कल्पना उभारों और गड्ढों वाले एक भू-दृश्य के रूप में कीजिए। बीज में बस एक गुण होना चाहिए: यह भू-दृश्य कहीं भी सभी दिशाओं में एक जैसा न मुड़े। तकनीकी शब्दों में, इसका अनुरेख-रहित हेसियन (trace-free Hessian), यानी द्वितीय अवकलजों की वह तालिका जिससे उसका “हर दिशा में एक जैसा” भाग हटा दिया गया हो, कभी शून्य नहीं होता। इस बीज के लिए यह जाँच तीन पंक्तियों में हो जाती है। यह गुण एक सम्मिश्र संख्या में समाया है — साधारण संख्याओं का एक जोड़ा, एक “वास्तविक” और एक “काल्पनिक” भाग, जो तभी शून्य होता है जब दोनों शून्य हों: 12 − 16(sin⁴x + sin⁴y) + 2i cos x cos y। इसका काल्पनिक भाग केवल वहीं शून्य होता है जहाँ कोई कोसाइन शून्य हो; वहाँ कोई साइन ±1 के बराबर होता है, इसलिए इसका वास्तविक भाग अधिक से अधिक −4 होता है। इसलिए यह संख्या कभी शून्य नहीं होती।

लेखक बताते हैं कि उन्होंने उपयुक्त फलनों की खोज में और पाठ को संशोधित करने में ChatGPT की मदद ली, और हर तर्क की जाँच स्वयं की।

एक अंतहीन पैटर्न को एक बिंदु में समेटना

बीज पूरे समतल पर अनंत तक दोहराता रहता है। लेखक उसे पूरा का पूरा एक नन्ही-सी चकती में ठूँस देते हैं: H_k(z) = exp(−|z|^(−k/4)) F(z^(−k/2)), जहाँ z समतल का एक बिंदु है जिसे एक अकेली सम्मिश्र संख्या के रूप में लिखा गया है, और k एक धनात्मक पूर्ण संख्या है जिसे लेखक अपनी इच्छा से चुन सकते हैं। यह प्रतिस्थापन समतल के दूर-दराज़ हिस्सों को केंद्र की ओर भेज देता है, इसलिए साइन का पैटर्न उसके चारों ओर लगातार सघन होते वलयों में जमा हो जाता है। चरघातांकी गुणनखंड सब कुछ कुचल देता है: केंद्र पर फलन और उसके सभी अवकलज शून्य होते हैं। गणितज्ञ ऐसे फलन को सपाट (flat) कहते हैं।

उस केंद्र के चारों ओर इस भू-दृश्य की सबसे तीव्र मोड़ की दिशाएँ 1 + k/2 बार घूमती हैं: k = 1 के लिए 3/2, k = 2 के लिए 2, k = 3 के लिए 5/2, बिना किसी ऊपरी सीमा के (प्रमेय 1.3)। फ़ुजियामा (Fujiyama) के साथ मिलकर इन्हीं दो लेखकों ने पहले मनचाहे बड़े सूचकांक प्राप्त किए थे, ऐसे उदाहरणों से जो नाभिबिंदु पर केवल C¹, यानी एक बार अवकलनीय, थे; ये नए उदाहरण चिकने हैं।

भू-दृश्य को पृष्ठ में बदलने के लिए लेखक एक आधार फलन (support function) का उपयोग करते हैं: हर दिशा के लिए यह किसी केंद्र से उस सपाट तल तक की दूरी देता है जो उस ओर पृष्ठ को छूता है, जैसे किसी कंकड़ से सटाया गया पैमाना। एक स्थिर आधार फलन एक गोले का वर्णन करता है। उस स्थिरांक में भू-दृश्य का एक छोटा गुणज जोड़ने से ऐसा पृष्ठ मिलता है जिसके नाभिबिंदु और सूचकांक भू-दृश्य से मेल खाते हैं। यह एक शास्त्रीय संगति है; शोधपत्र केवल वही भाग सिद्ध करता है जो उसे बंद पृष्ठ के लिए चाहिए, और बाक़ी के लिए संदर्भ देता है। परिणाम: चिकने पृष्ठ के छोटे टुकड़े, जिन पर हर k के लिए 1 + k/2 सूचकांक वाले नाभिबिंदु हैं, इसलिए सूचकांक की कोई छत नहीं है। यही बात लॉरेंत्ज़–मिन्कोव्स्की समष्टि (Lorentz–Minkowski space) में पृष्ठों के एक वर्ग पर भी लागू होती है, जहाँ दूरी के पाइथागोरस सूत्र में तीन निर्देशांक-अंतरों में से एक का वर्ग जोड़ने के बजाय घटाया जाता है।

एकमात्र नाभिबिंदु उत्तरी ध्रुव पर है

बंद पृष्ठ के लिए बीज के अंतहीन समतल को एक गोले के चारों ओर लपेटा जाता है, मानो किसी मानचित्र-प्रक्षेप को उलटा चलाया गया हो: वह उत्तरी ध्रुव को छोड़कर हर बिंदु को ढक लेता है, जहाँ उसके सभी दूर-दराज़ हिस्से आ मिलते हैं। बीज को एक अन्य तरीक़े से मंद किया जाता है, ताकि वह उस समतल के केंद्र से दूरी की किसी भी घात से तेज़ी से क्षीण हो, और उसका एक छोटा गुणज ε उस गोले के आधार फलन में जोड़ा जाता है। पर्याप्त छोटे ε के लिए परिणाम एक बंद, लगभग गोल, पूर्णतः उत्तल (strictly convex) पृष्ठ होता है: वह हर जगह बाहर की ओर उभरा होता है। एक को छोड़कर हर बिंदु पर बीज का गुण नाभिबिंदु की संभावना को ख़ारिज कर देता है। अपवाद उत्तरी ध्रुव है, N = (0, 0, 1): वहाँ आधार फलन हर अवकलज में गोले के आधार फलन से मेल खाता है, इसलिए N एक नाभिबिंदु है, और एकमात्र (प्रमेय 2.2)। चूँकि सूचकांकों का योग 2 होना ही चाहिए, इसका सूचकांक 2 है। एक नाभिबिंदु: काराथेओडोरी का अनुमान विफल होता है। सूचकांक 2, यानी 1 से अधिक: लोवनर का अनुमान भी।

चिकना, पर विश्लेषिक नहीं

शोधपत्र का हर पृष्ठ अनंत बार अवकलनीय, यानी “चिकना”, है। लेखक स्पष्ट करते हैं कि सामान्य समष्टि में उनके पृष्ठ वास्तविक विश्लेषिक (real analytic) नहीं हैं, जो चिकनेपन का एक अधिक कठोर प्रकार है जिसमें हर बिंदु के पास आकृति ठीक-ठीक घातों के एक अनंत योग से दी जाती है। शोधपत्र इस बारे में कुछ नहीं कहता कि क्या विश्लेषिक पृष्ठों पर एक अकेला नाभिबिंदु हो सकता है। वह स्वयं को सूचकांक-2 वाले नाभिबिंदु और काराथेओडोरी के अनुमान के प्रतिउदाहरण के लिए स्वतःपूर्ण (self-contained) बताता है। और उसमें पृष्ठ का कोई चित्र नहीं है: उसे आकार देने वाले दो स्थिरांकों, δ और ε, से केवल “पर्याप्त रूप से छोटे” होने की अपेक्षा है, और कोई मान नहीं दिया गया।