🔢 mathematics

Optimal embedding dimension in the Nash--Tognoli theorem

यह शोध पत्र नैश द्वारा 1952 में की गई एक अनुमान (conjecture) को यह सिद्ध करके हल करता है कि $\mathbb{R}^n$ के प्रत्येक चिकनी (smooth) कॉम्पैक्ट उप-समुच्चय (submanifold) को एक सूक्ष्म आइसोटोपी (small isotopy) के माध्यम से $\mathbb{C}^n$ के एक गैर-विलक्षण (nonsingular) जटिल बीजगणितीय उपसमुच्चय के वास्तविक लोकस (real locus) द्वारा सन्निकटित (approximate) किया जा सकता है, जिसमें यह अतिरिक्त परिणाम भी शामिल है कि यदि कोडायमेंशन (codimension) कम से कम दो है, तो इन सन्निकटित समुच्चयों को एक पूर्व-निर्धारित बाइरेगुलर आइसोमॉर्फिज्म प्रकार (biregular isomorphism type) साझा करने के लिए चुना जा सकता है।

मूल लेखक: Juliusz Banecki

प्रकाशित 2026-05-25

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Juliusz Banecki

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

मुख्य चित्र: चिकनी आकृतियों को "गणितीय लेगो" में बदलना

कल्पना कीजिए कि आपके पास एक चिकनी, पूर्ण, घुमावदार वस्तु है—जैसे कि संगमरमर की एक पॉलिश की हुई मूर्ति या फर्नीचर का एक चिकना, घुमावदार टुकड़ा। गणित की दुनिया में, इसे एक स्मूथ मैनिफोल्ड (smooth manifold) कहा जाता है। यह अपनी चिकनी वक्रता (curves) द्वारा परिभाषित है और इसमें कोई नुकीले किनारे या कोने नहीं हैं।

अब, कल्पना कीजिए कि आप इस वस्तु की एक प्रति केवल बीजीय समीकरणों (algebraic equations) (इन्हें "गणितीय लेगो" के सख्त, कठोर नियमों के रूप में सोचें) का उपयोग करके बनाना चाहते हैं। ये समीकरण बीजीय सेट (algebraic sets) नामक आकृतियाँ बनाते हैं। आमतौर पर, ये आकृतियाँ थोड़ी "खुरदरी" होती हैं—इनमें नुकीले कोने, स्वयं के प्रतिच्छेदन (self-intersections), या ऐसी विसंगतियाँ (singularities) हो सकती हैं जहाँ गणित काम करना बंद कर देता है।

दशकों से, गणितज्ञों ने पूछा है: क्या हम किसी भी चिकनी, घुमावदार वस्तु को ले सकते हैं और बीजीय समीकरणों का एक ऐसा समूह ढूंढ सकते हैं जो लगभग उसके समान ही आकृति बनाता हो?

यह पेपर कहता है कि हाँ, और वह इसे सबसे कुशल तरीके से करता है।

इतिहास: "अतिरिक्त कमरा" वाली समस्या

1950 के दशक में, जॉन नैश नामक एक गणितज्ञ ने सिद्ध किया कि आप इन चिकनी आकृतियों को बीजीय आकृतियों के साथ सन्निकट (approximate) कर सकते हैं, लेकिन उन्हें थोड़ा "चीटिंग" करनी पड़ी। उन्हें उस वस्तु को एक बड़े कमरे (एक उच्च-आयामी स्थान/higher-dimensional space) में ले जाना पड़ा ताकि गणित काम कर सके। यह एक जटिल ओरिगामी क्रेन (origami crane) बनाने जैसा था; यदि कागज बहुत छोटा है, तो आप इसे नहीं बना सकते, इसलिए आपको कागज की एक बड़ी शीट का उपयोग करना पड़ता है।

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

सफलता: पहेली को उसी बॉक्स में फिट करना

जुलियुज़ बेनेकी का पेपर इस समस्या को हल करता है। वह सिद्ध करते हैं कि आपको एक बड़े कमरे की आवश्यकता नहीं है। आप एक विशिष्ट स्थान (मान लीजिए 3D स्थान) में रहने वाली एक चिकनी आकृति ले सकते हैं और एक पूर्ण बीजीय सन्निकटन (approximation) पा सकते हैं जो उसी सटीक स्थान में रहता है।

वह इसे "ऑप्टिमल एम्बेडिंग डायमेंशन" (Optimal Embedding Dimension) कहते हैं। यह उस जटिल ओरिगामी क्रेन को मूल कागज पर ही बिना किसी बड़ी शीट की आवश्यकता के पूरी तरह से मोड़ने के प्रमाण जैसा है।

गुप्त नुस्खा: "दरारों को खिसकाना"

उन्होंने यह कैसे किया? यह पेपर एक चतुर तकनीक का उपयोग करता है जिसे "सिंगुलैरिटी शिफ्टिंग" (singularities shifting) कहा जाता है।

कल्पना कीजिए कि आपकी बीजीय आकृति में कुछ "दरारें" या "झुर्रियां" (गणितज्ञ इन्हें विसंगतियाँ या singularities कहते हैं) हैं।

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

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

"कॉम्प्लेक्स" मोड़

यहाँ एक और परत है। यह पेपर केवल वास्तविक दुनिया (वास्तविक संख्याएँ/Real numbers) में आकृति को नहीं देखता; यह आकृति को एक "कॉम्प्लेक्स" दुनिया (कॉम्प्लेक्स संख्याएँ/Complex numbers) में भी देखता है, जो वास्तविकता का एक सुपर-चार्ज्ड संस्करण है जिसमें छिपे हुए आयाम भी शामिल हैं।

बेनेकी सिद्ध करते हैं कि न केवल वास्तविक आकृति चिकनी है, बल्कि उसका "कॉम्प्लेक्स जुड़वां" भी पूरी तरह से चिकना है। यह एक बहुत ही मजबूत स्थिति है। यह कहने जैसा है कि न केवल आपकी भौतिक मूर्ति उत्तम है, बल्कि यदि आप इसे छिपे हुए आयामों को प्रकट करने वाले एक जादुई लेंस के माध्यम से देखें, तो भी यह उत्तम ही दिखेगी।

"प्रति" (Copy) के बारे में क्या मायने रखता है

यह पेपर आकृति की पहचान के बारे में भी कुछ दिलचस्प दिखाता है।

यदि आपके पास एक चिकनी आकृति है जो एक विशिष्ट बीजीय आकृति (जैसे डोनट का आकार) के समान टोपोलॉजिकल रूप से है, तो आप इसे एक ऐसी बीजीय आकृति के साथ सन्निकट कर सकते हैं जो बिल्कुल उसी प्रकार का डोनट है।
आपको केवल एक "ढेला" (blob) नहीं मिलता जो डोनट जैसा दिखता है; आपको समीकरणों से बना एक गणितीय रूप से समान "डोनट" मिलता है।

एक चेतावनी (The "One Dimension" Rule)

लेखक एक छोटी सी सीमा का उल्लेख करते हैं। यह जादू तब पूरी तरह से काम करता है जब चिकनी आकृति उस स्थान की तुलना में पर्याप्त "मोटी" हो जिसमें वह रहती है। विशेष रूप से, यदि स्थान स्वयं की आकृति की तुलना में कम से कम दो आयाम अधिक रखता है (उदाहरण के लिए, 4D स्थान में एक 2D सतह), तो यह चमत्कार पूरी तरह से काम करता है।

यदि आकृति स्थान से केवल एक आयाम छोटी है (जैसे 3D स्थान में 2D सतह), तो पेपर यह सिद्ध नहीं करता है कि यह काम करता है, हालांकि लेखक को संदेह है कि यह काम कर सकता है।

सारांश

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

तकनीकी सारांश: नैश-टोग्नोली प्रमेय में इष्टतम एम्बेडिंग आयाम (Optimal Embedding Dimension)

समस्या विवरण
यह शोध पत्र $\mathbb{R}^n$ के स्मूथ कॉम्पैक्ट सबमैनिफोल्ड्स (smooth compact submanifolds) को एक छोटी आइसोटोपी (isotopy) तक रियल अल्जेब्रिक सेट्स द्वारा अनुमानित (approximate) करने की शास्त्रीय समस्या को संबोधित करता है। जबकि नैश-टोग्नोली प्रमेय ने यह स्थापित किया था कि किसी भी स्मूथ कॉम्पैक्ट कनेक्टेड मैनिफोल्ड $M \subset \mathbb{R}^n$ (जहाँ $n > 2 \dim M$ ) को $\mathbb{R}$ पर परिभाषित एक नॉनसिंगुलर कनेक्टेड घटक (connected component) वाले रियल अल्जेब्रिक सेट द्वारा अनुमानित किया जा सकता है, इसने यह प्रश्न खुला छोड़ दिया कि क्या अतिरिक्त कनेक्टेड घटकों को पेश किए बिना या एम्बिएंट आयाम (ambient dimension) को बढ़ाए बिना $n$ को संरक्षित किया जा सकता है।

विशेष रूप से, यह शोध पत्र 1952 में नैश द्वारा प्रस्तावित एक अनुमान (conjecture) को लक्षित करता है: क्या प्रत्येक स्मूथ कॉम्पैक्ट सबमैनिफोल्ड $M \subset \mathbb{R}^n$ को $\mathbb{R}$ पर परिभाषित $\mathbb{C}^n$ के एक नॉनसिंगुलर कॉम्प्लेक्स अल्जेब्रिक सबसेट के रियल लोकस (real locus) द्वारा अनुमानित किया जा सकता है? पूर्ववर्ती कार्य (अकबुलुट और किंग, 1992) ने नॉनसिंगुलर अल्जेब्रिक सेट्स द्वारा अनुमानित करने में सफलता प्राप्त की थी, लेकिन उन्हें नॉनसिंगुलर सुनिश्चित करने के लिए एम्बिएंट आयाम को बढ़ाने ( $\mathbb{R}^n$ से $\mathbb{R}^{n+1}$ में जाने) की आवश्यकता थी। इस शोध पत्र का लक्ष्य एम्बिएंट आयाम को बढ़ाए बिना इस अनुमान समस्या को हल करना है और यह सुनिश्चित करना है कि अनुमानित सेट का संपूर्ण कॉम्प्लेक्सिफिकेशन (complexification) स्मूथ हो।

कार्यप्रणाली (Methodology)
मुख्य परिणाम (प्रमेय 1.4) की सिद्धि "सिंगुलैरिटीज शिफ्टिंग" (singularities shifting) तकनीक पर आधारित है, जिसे मूल रूप से अकबुलुट और किंग द्वारा विकसित किया गया था, और इस कार्य में इसे परिष्कृत एवं विस्तारित किया गया है। कार्यप्रणाली निम्नलिखित तार्किक चरणों के माध्यम से आगे बढ़ती है:

पॉलीनोमियल एप्रोक्सिमेशन (Polynomial Approximation): एक नॉनसिंगुलर कॉम्पैक्ट रियल अल्जेब्रिक सेट $W$ के स्मूथ एम्बेडिंग $i: W \to \mathbb{R}^n$ से शुरू करते हुए, लेखक पहले $i$ को एक पॉलीनोमियल मैप $j$ द्वारा अनुमानित करता है ताकि कॉम्प्लेक्सिफिकेशन $j_C: W_C \to \mathbb{C}^n$ एक फाइनाइट मैप (finite map) हो (लेम्मा 3.1)।
सिंगुलैरिटीज शिफ्टिंग (लेम्मा 3.2): मुख्य तकनीकी नवाचार ज़ारिस्की क्लोजर (Zariski closure) के इमेज के सिंगुलर लोकस (singular locus) को मैनिपुलेट करने में निहित है। एक विशिष्ट पॉलीनोमियल परटर्बेशन (मर्गेलियन प्रमेय और स्टोन-वीयरस्ट्रास एप्रोक्सिमेशन का उपयोग करके) का निर्माण करके, लेखक कॉम्प्लेक्सिफाइड सेट के सिंगुलैरिटीज को रियल लोकस से दूर खिसका देता है। यह निम्नलिखित द्वारा प्राप्त किया जाता है:
- यह सुनिश्चित करना कि प्रोजेक्शन $\pi_{1,2}$ (पहले दो कोऑर्डिनेट्स को हटाना) कॉम्प्लेक्सिफिकेशन पर फाइनाइट है।
- एक ऐसा पॉलीनोमियल फंक्शन बनाना जो सिंगुलर लोकस के प्रोजेक्शन को नॉनसिंगुलर रियल लोकस के प्रोजेक्शन से अलग करता है।
- $x_1$ और $x_2$ वेरिएबल्स की भूमिकाओं को बारी-बारी से बदलकर सिंगुलैरिटीज को पहले $x_1$ दिशा में, फिर $x_2$ दिशा में, और अंततः अनंत (infinity) की ओर खिसकाना।
सिंगुलैरिटीज को हटाना (लेम्मा 3.3 और प्रमेय 1.4): एक बार जब प्रोजेक्शन में सिंगुलैरिटीज को रियल लोकस से अलग कर दिया जाता है, तो लेखक एक रेशनल मैप (विशेष रूप से एक मैप जिसमें डिनोमिनेटर में पॉलीनोमियल्स के वर्गों का योग शामिल है) का उपयोग करके सिंगुलैरिटीज को अनंत की ओर "धकेलने" (push) के लिए करता है। यह रियल लोकस वाले क्वाज़ी-एफाइन वैराइटी (quasi-affine variety) को एक वैश्विक रूप से नॉनसिंगुलर कॉम्प्लेक्स अल्जेब्रिक सेट में बदल देता है।

प्रमुख योगदान और परिणाम

प्रमेय 1.3 (मुख्य परिणाम): यह शोध पत्र सिद्ध करता है कि प्रत्येक स्मूथ कॉम्पैक्ट सबमैनिफोल्ड $M \subset \mathbb{R}^n$ को $\mathbb{R}$ पर परिभाषित $\mathbb{C}^n$ के एक नॉनसिंगुलर कॉम्प्लेक्स अल्जेब्रिक सबसेट के रियल लोकस द्वारा अनुमानित किया जा सकता है। यह इष्टतम एम्बेडिंग आयाम के संबंध में नैश अनुमान को हल करता है, यह पुष्टि करता है कि एम्बिएंट आयाम को बढ़ाने की आवश्यकता नहीं है।
प्रमेय 1.4 (अधिक सुदृढ़ परिणाम): यह शोध पत्र नॉनसिंगुलर कॉम्पैक्ट रियल अल्जेब्रिक सेट्स $W \subset \mathbb{R}^m$ $W \subset R^{m}$ के $\mathbb{R}^n$ $R^{n}$ में एम्बेडिंग्स (जहाँ $n \ge \dim W + 2$ $n \geq dim W + 2$ ) के लिए एक अधिक सुदृढ़ अनुमान प्रमेय स्थापित करता है। यह दर्शाता है कि एम्बेडिंग को एक रेगुलर मैप $j$ $j$ द्वारा अनुमानित किया जा सकता है जहाँ:
1. $j(W)$ $\mathbb{R}^n$ में एक नॉनसिंगुलर अल्जेब्रिक सबसेट है।
2. $j$ , $W$ और $j(W)$ के बीच एक बाइरेगुलर आइसोमॉर्फिज्म (biregular isomorphism) है।
3. $\mathbb{C}^n$ में $j(W)$ का ज़ारिस्की क्लोजर एक नॉनसिंगुलर कॉम्प्लेक्स अल्जेब्रिक सेट है।
कोरोलरी 1.6 और 1.7 (आइसोमॉर्फिज्म प्रकार): कम से कम को-डाइमेंशन 2 वाले मैनिफोल्ड्स के लिए, यह शोध पत्र प्रदर्शित करता है कि अनुमानित अल्जेब्रिक सेट्स को एक पूर्व-निर्धारित बाइरेगुलर आइसोमॉर्फिज्म प्रकार के रूप में चुना जा सकता है। विशेष रूप से, यदि $M$ एक रेशनल नॉनसिंगुलर रियल अल्जेब्रिक सेट के डैइफोमॉर्फिक (diffeomorphic) है, तो इसे रेशनल नॉनसिंगुलर रियल अल्जेब्रिक सेट्स द्वारा अनुमानित किया जा सकता है। यह पूर्णतः लक्षण वर्णन करता है कि को-डाइमेंशन $\ge 2$ में रेशनल एप्रोक्सिमेशन कब संभव है।

महत्ता और दावे
यह शोध पत्र एक लंबे समय से खुले प्रश्न को हल करने का दावा करता है जो 1992 में अकबुलुट और किंग के कार्य के बाद से प्रगति नहीं देख पाया था। एम्बिएंट आयाम को बढ़ाने ( $\mathbb{R}^n$ से $\mathbb{R}^{n+1}$ ) की आवश्यकता को हटाकर, यह परिणाम नैश-टोग्नोली प्रमेय के लिए एक "इष्टतम" (optimal) एम्बेडिंग आयाम प्रदान करता है।

लेखक स्पष्ट रूप से उल्लेख करता है कि वर्तमान दृष्टिकोण को-डाइमेंशन 1 (अर्थात, $n = \dim W + 1$ ) के मामले को कवर नहीं करता है, हालांकि यह अनुमान लगाया गया है कि परिणाम उस मामले में भी लागू होंगे। यह शोध पत्र इस बात पर जोर देता है कि यह परिणाम तब गलत होगा यदि यह आवश्यक हो कि $\mathbb{CP}^n$ में ज़ारिस्की क्लोजर नॉनसिंगुलर हो, जो यहाँ प्राप्त की गई एफाइन नॉनसिंगुलैरिटी (affine nonsingularity) की विशिष्ट प्रकृति को रेखांकित करता है।

इसका महत्व इस क्षमता में निहित है कि स्मूथ मैनिफोल्ड्स को ऐसे अल्जेब्रिक सेट्स द्वारा अनुमानित किया जा सकता है जो न केवल रियल लोकस में स्मूथ हैं, बल्कि जिनका एक वैश्विक रूप से स्मूथ कॉम्प्लेक्सिफिकेशन भी है, जिससे वे अतिरिक्त घटकों या आयामी मुद्रास्फीति (dimensional inflation) के बिना मूल मैनिफोल्ड की टोपोलॉजिकल और अल्जेब्रिक संरचना को संरक्षित करते हैं।