🔢 mathematics

Existence of two embedded minimal spheres in $S^3$ with an arbitrary metric

यह शोधपत्र यह सिद्ध करता है कि $S^3$ पर किसी भी रीमानियन मीट्रिक (Riemannian metric) में सापेक्ष मि-मैक्स निर्माणों (relative min-max constructions) की एक पुनरावृत्ति योजना का उपयोग करते हुए, कम से कम दो एम्बेडेड न्यूनतम गोले (embedded minimal spheres) विद्यमान होते हैं।

मूल लेखक: Zhichao Wang, Xin Zhou

प्रकाशित 2026-07-10

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

CC BY 4.0

मूल लेखक: Zhichao Wang, Xin Zhou

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

ब्रह्मांड के आकार की कल्पना करें, विशेष रूप से एक पूर्ण 3-आयामी गोला (एक गुब्बारे की तरह, लेकिन एक अतिरिक्त आयाम के साथ जिसे हम पूरी तरह से देख नहीं सकते)। अब, इस गुब्बारे को एक अजीब, ऊबड़-खाबड़ बनावट के साथ खींचने और दबाने की कल्पना करें। यह बनावट जिसे गणितज्ञ "रीमानियन मेट्रिक" (Riemannian metric) कहते हैं। यह एक ऐसे रबर के गुब्बारे की तरह है जिसे कुछ जगहों पर अधिक खींचा गया है और कुछ जगहों पर ढीला छोड़ा गया है।

गणितज्ञों ने दशकों तक, इन ऊबड़-खाबड़ गुब्बारों पर "न्यूनतम गोलों" (minimal spheres) की खोज की है। इन न्यूनतम गोलों के बारे में सोचें—जैसे कि एक साबुन का बुलबुला जो अपनी सबसे आरामदायक, निम्नतम-ऊर्जा अवस्था में स्थिर हो गया हो। यह उस ऊबड़-खाबड़ सतह पर बनाया गया सबसे सटीक, चिकना लूप है जो न तो सिकुड़ना चाहता है और न ही फैलना चाहता है।

बड़ी खोज
1982 में, एक प्रसिद्ध गणितज्ञ एस. टी. याउ (S. T. Yau) ने एक कठिन प्रश्न पूछा: "यदि आप किसी भी ऊबड़-खाबड़ 3-गोले (3-sphere) को लें, तो क्या आप हमेशा उसके भीतर चार अलग-अलग, पूर्ण साबुन-बुलबुले गोलों को खोज सकते हैं?"

40 वर्षों से अधिक समय तक, सर्वश्रेष्ठ जो कोई भी कर सका वह यह सिद्ध करना था कि वहां कम से कम एक ऐसा गोला मौजूद है। यह एक मानचित्र पर एक अकेले छिपे हुए खजाने को खोजने जैसा था, जबकि मानचित्र चार का वादा कर रहा था।

अब, दो शोधकर्ताओं, झिचाओ वांग (Zhichao Wang) और शिन झोउ (Xin Zhou) ने एक बड़ा कदम आगे बढ़ाया है। उन्होंने दिखाया है कि किसी भी ऊबड़-खाबड़ 3-गोले पर, चाहे उसकी बनावट कितनी भी अजीब क्यों न हो, वहां गारंटी के साथ कम से कम दो अलग-अलग, अंतर्निहित न्यूनतम गोले मौजूद हैं। उन्होंने अभी तक चारों नहीं खोजे हैं, लेकिन उन्होंने यह सिद्ध कर दिया है कि "एक पर्याप्त है" वाला विचार गलत है। दूसरा गोला वहां छिपा हुआ है।

यह इतना कठिन क्यों था?
आप सोच सकते हैं, "अगर एक है, तो दूसरा क्यों नहीं मिल जाता?" समस्या एक पेचीदा गणितीय त्रुटि है जिसे "बहुलता" (multiplicity) कहा जाता है।

कल्प la लीजिए कि आप दूसरे साबुन के बुलबुले की तलाश कर रहे हैं। आप इसके लिए एक विशेष गणितीय उपकरण (जिसे "मिन-मैक्स" निर्माण कहा जाता है) का उपयोग करते हैं। लेकिन कभी-कभी, यह उपकरण भ्रमित हो जाता है। एक नया बुलबुला खोजने के बजाय, यह बस उसी बुलबुले को फिर से खोज लेता है जिसे आपने पहले पाया था, लेकिन यह उसे दो बार गिन लेता है क्योंकि वह अपने ऊपर "स्टैक्ड" (stacked) है। यह दर्पण में देखने जैसा है जहाँ आपको लगता है कि आप एक दूसरा व्यक्ति देख रहे हैं, लेकिन वह केवल आपका प्रतिबिंब है।

दूसरे गोले को खोजने के पिछले प्रयास इस बात पर निर्भर थे कि गुब्बारे की बनावट बहुत विशिष्ट और अच्छी (धनात्मक रीची कर्वेचर/positive Ricci curvature) हो। लेकिन वास्तविक दुनिया (और गणित की समस्या) में कोई भी बनावट संभव है, यहाँ तक कि बेहद अस्त-व्यस्त और अजीब भी। लेखकों को यह सिद्ध करना पड़ा कि सबसे अव्यवस्थित परिदृश्यों में भी, यह "दोहरी गिनती" वाली त्रुटि नहीं होती है, और वास्तव में एक दूसरा, अलग गोला मौजूद होता है।

उन्होंने इसे कैसे हल किया: "नेक" (Neck) ट्रिक
इसे सिद्ध करने के लिए, लेखकों ने "विरोधाभास" (contradiction) से जुड़ी एक चतुर रणनीति का उपयोग किया। उन्होंने कहा, "मान लीजिए कि पूरे गुब्बारे पर केवल एक न्यूनतम गोला है। हम इस विचार को तोड़ने की कोशिश करेंगे।"

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

उन्होंने क्या नहीं किया
यह जानना महत्वपूर्ण है कि यह शोध पत्र क्या नहीं कहता है। उन्होंने यह सिद्ध नहीं किया कि चार गोले हैं (याउ का मूल अनुमान)। उन्होंने केवल यह सिद्ध किया कि कम से कम दो गोले हैं। उन्होंने यह भी मानकर नहीं चला कि गुब्बारा पूरी तरह से गोल है या उसकी बनावट बहुत अच्छी है; उनका प्रमाण किसी भी (पूरी तरह से यादृच्छिक और अस्त-व्यस्त) बनावट के लिए काम करता है।

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

तकनीकी सारांश: किसी भी अनिश्चित मीट्रिक (Arbitrary Metric) के साथ $S^3$ में दो एम्बेडेड मिनिमल स्फेयर्स (Embedded Minimal Spheres) की उपस्थिति

समस्या विवरण
यह शोध पत्र एस. टी. याउ (S. T. Yau) द्वारा 1982 में उठाई गई एक दीर्घकालिक समस्या (संदर्भ [44] में समस्या 89) को संबोधित करता है, जो यह पूछती है कि क्या किसी भी रीमानियन मैनिफोल्ड (Riemannian manifold), जो 3-स्फीयर ( $S^3$ ) के डिफ़ोमॉर्फिक (diffeomorphic) है, में कम से कम चार अलग-अलग एम्बेडेड मिनिमल स्फेयर्स होने का प्रमाण दिया जा सकता है। जबकि साइमन और स्मिथ [36] ने 40 वर्ष पहले मि-मैक्स थ्योरी (min-max theory) का उपयोग करके कम से कम एक ऐसे गोले की उपस्थिति स्थापित की थी, अनिश्चित रीमानियन मीट्रिक के लिए दूसरे विशिष्ट एम्बेडेड मिनिमल स्फीयर की उपस्थिति अभी तक सिद्ध नहीं हुई थी। कई स्फेयर्स (जैसे व्हाइट [43], हैस्लोफर-केटोवर [17]) को स्थापित करने वाले पिछले परिणाम प्रतिबंधात्मक धारणाओं, जैसे कि धनात्मक रीची कर्वेचर (positive Ricci curvature) या "बंपी" (bumpy) मीट्रिक्स पर निर्भर थे। इस शोध पत्र का लक्ष्य इन कर्वेचर धारणाओं को हटाना और $S^3$ पर किसी भी रीमानियन मीट्रिक के लिए कम से कम दो अलग-अलग एम्बेडेड मिनिमल स्फेयर्स की उपस्थिति को सिद्ध करना है।

कार्यप्रणाली (Methodology)
लेखक विरोधाभास द्वारा प्रमाण (proof by contradiction) और रिलेटिव मि-मैक्स कंस्ट्रक्शन (relative min-max constructions) के एक पुनरावृत्ति क्रम (iterative scheme) का उपयोग करते हैं। मुख्य कार्यप्रणाली में निम्नलिखित चरण शामिल हैं:

विशिष्टता की धारणा (Assumption of Uniqueness): प्रमाण यह मान लेता है कि $(S^3, g)$ में ठीक एक एम्बेडेड मिनिमल स्फीयर है, जिसे $\Sigma_0$ कहा गया है। पूर्व कार्य [40] के आधार पर, यदि $\Sigma_0$ अद्वितीय है, तो यह दुर्बल रूप से स्थिर (weakly stable) होगा और इसमें एक "विस्तारित पड़ोस" (expanding neighborhood) होगा (जो निरंतर माध्य वक्रता सतहों (constant mean curvature surfaces) द्वारा फोलिएटेड होगा, जिनके माध्य वक्रता वेक्टर $\Sigma_0$ से दूर की ओर इशारा करते हैं)।
बहु-पैरामीटर स्वैपआउट्स का निर्माण (Construction of Multi-Parameter Sweepouts): लेखक एक $k$ -आयामी सिम्प्लेक्स $\Delta_k$ द्वारा पैरामीटराइज्ड, पीसवाइज़-स्मूथ एम्बेडेड स्फेयर्स का एक निरंतर परिवार, $\Phi_\Lambda: \Delta_k \to \mathcal{E}$ का निर्माण करते हैं।
- फोलिएशन (Foliation): वे $\Sigma_0$ पर केंद्रित एक मीन कॉन्वेक्स फोलिएशन $\Upsilon$ का उपयोग करते हैं।
- नेक इंसर्शन (Neck Insertion): एक पैरामीटर वेक्टर $x = (x_1, \dots, x_k) \in \Delta_k$ के लिए, मानचित्र $\Phi_\Lambda$ फोलिएशन $\Upsilon$ के स्लाइस का यूनियन लेकर और उन्हें "नेक्स" (necks) से जोड़कर एक गोला बनाता है।
- त्रिज्या नियंत्रण (Radius Control): इनके नेक्स की त्रिज्याएँ, जिन्हें $\xi_i$ कहा जाता है, आस-पास के पैरामीटर्स $x_i$ और $x_{i+1}$ के बीच की दूरी और एक बड़े पैरामीटर $\Lambda$ के आधार पर पुनरावर्ती रूप से (recursively) परिभाषित की जाती हैं। विशेष रूप से, $\xi_i = e^{-\Lambda(x_{i+1}-x_i)}(1-\xi_{i-1})$ । यह निर्माण सुनिश्चित करता है कि यदि दो पैरामीटर्स पास हैं, तो जोड़ने वाला नेक (neck) बड़े रेडियस वाला लेकिन कम ऊंचाई वाला होगा, जिसके परिणामस्वरूप समान रूप से छोटा क्षेत्रफल योगदान (area contribution) प्राप्त होगा।
क्षेत्रफल अनुमान और स्मूथिंग (Area Estimates and Smoothing):
- लेखक निर्मित परिवार के लिए सटीक क्षेत्रफल सीमाएँ (area bounds) प्राप्त करते हैं। महत्वपूर्ण रूप से, वे दिखाते हैं कि पर्याप्त बड़े $k$ और उपयुक्त $\Lambda$ के लिए, सिम्प्लेक्स के आंतरिक भाग में $\Phi_\Lambda(x)$ का क्षेत्रफल $k H^2(\Sigma_0)$ से कम है, जबकि सीमा (boundary) पर, क्षेत्रफल $(k-1)H^2(\Sigma_0)$ से कम है।
- वे पीसवाइज़-स्मूथनेस की समस्या को हल करने के लिए परिवार को स्मूथ (smooth) करते हैं ताकि स्मूथ एम्बेडेड स्फेयर्स के स्पेस में एक मैप प्राप्त हो सके, जो सख्त क्षेत्रफल ऊपरी सीमाओं (strict area upper bounds) को बनाए रखता है।
पुनरावृत्त सापेक्ष मि-मैक्स (Iterative Relative Min-Max):
- रिलेटिव साइमन-स्मिथ मि-मैक्स थ्योरी (Theorem 2.2) का उपयोग करते हुए, लेखक उप-सिम्प्लेक्स (sub-simplices) पर स्वैपआउट्स से जुड़े मि-मैक्स मान $L_k$ को परिभाषित करते हैं।
- वे लस्टर्निक-श्निकर्ट (Lusternik–Schnirelmann) प्रकार के तर्क का उपयोग करते हैं। विशिष्टता की धारणा के तहत, वे आगमनात्मक रूप से (inductively) सिद्ध करते हैं कि $k$ -वें स्वैपआउट के लिए मि-मैक्स मान $k H^2(\Sigma_0)$ के बराबर होना चाहिए।
- टोपोलॉजिकल बाधा (Topological Obstruction): एक प्रमुख घटक लेम्मा 6.1 (Lemma 6.1) है, जो एक टोपोलॉजिकल लेम्मा है जो यह सुनिश्चित करता है कि यदि मि-मैक्स मान सीमा मानों से कम था (जो एक नए मिनिमल स्फीयर की उपस्थिति को इंगित करेगा), तो डोमेन को इस तरह से रिट्रैक्ट (retract) किया जा सकता है जो स्वैपआउट के होमोलॉजिकल गुणों के विपरीत होगा।
विरोधाभास (Contradiction):
- निर्माण यह सुनिश्चित करता है कि बड़े $k$ के लिए, स्वैपआउट का क्षेत्रफल $k H^2(\Sigma_0)$ से कम है।
- हालांकि, विशिष्टता की धारणा के तहत आगमनात्मक तर्क मि-मैक्स मान को ठीक $k H^2(\Sigma_0)$ होने के लिए मजबूर करता है।
- यह विरोधाभास दर्शाता है कि विशिष्टता की धारणा गलत है।

प्रमुख योगदान (Key Contributions)

कर्वेचर धारणाओं को हटाना: यह शोध पत्र $S^3$ के लिए किसी भी अनिश्चित रीमानियन मीट्रिक के लिए कई मिनिमल स्फेयर्स की उपस्थिति को विस्तृत करता है, जो पिछले परिणामों की तुलना में एक महत्वपूर्ण सामान्यीकरण है जो धनात्मक रीची कर्वेचर या बंपी मीट्रिक्स की आवश्यकता रखते थे।
पुनरावृत्त सापेक्ष मि-मैक्स योजना: लेखक बहु-पैरामीटर परिवारों पर रिलेटिव मि-मैक्स कंस्ट्रक्शन का उपयोग करके एक नवीन पुनरावृत्त योजना विकसित करते हैं। यह दृष्टिकोण "इंटीजर मल्टीप्लिसिटी" (integer multiplicity) की बाधा को दूर करता है, जहाँ साइमन-स्मिथ थ्योरी अन्यथा एक ही मिनिमल स्फीयर को उच्च मल्टीप्लिसिटी (जैसे, $\Sigma_0$ को दो बार गिनना) के साथ उत्पन्न कर सकती है।
नेक कंस्ट्रक्शन और क्षेत्रफल नियंत्रण: नियंत्रित नेक रेडियस के साथ बहु-पैरामीटर परिवार का विशिष्ट निर्माण सख्त क्षेत्रफल ऊपरी सीमाओं को सुनिश्चित करता है जो विरोधाभास तर्क के लिए आवश्यक हैं। यह पूरे सिम्प्लेक्स तक मानचित्र को निरंतर रूप से विस्तारित करने की कठिनाई को संभालता है जबकि क्षेत्रफल सीमाओं को बनाए रखता है।

परिणाम (Results)
मुख्य परिणाम थ्योरम A (जिसे थ्योरम 6.3 के रूप में पुनर्गठित किया गया है) के रूप में दिया गया है:

किसी भी अनिश्चित रीमानियन मीट्रिक $g$ के लिए $(S^3, g)$ में कम से कम दो अलग-अलग एम्बेडेड मिनिमल स्फेयर्स मौजूद हैं।

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

महत्त्व (Significance)
यह शोध पत्र दावा करता है कि यह कार्य $S^3$ के सामान्य मीट्रिक्स के लिए एक से अधिक एम्बेडेड मिनिमल स्फीयर के निर्माण के रूप में पहला है। यह साइमन और स्मिथ [36] के प्रारंभिक परिणाम (जिसने एक गोला खोजा था) से समस्या को काफी आगे बढ़ाता है, जो अनिश्चित मीट्रिक्स के लिए इंटीग्रर मल्टीप्लिसिटी की बाधा को तोड़ता है। लेखक नोट करते हैं कि जबकि उनके पिछले कार्य [40] ने मल्टीप्लिसिटी-वन थ्योरम का उपयोग करके धनात्मक रीची कर्वेचर या बंपी मीट्रिक्स के लिए अनुमान को हल किया था, यह पेपर सामान्य मामले तक इसकी पहुंच को बढ़ाता है। विकसित की गई विधियाँ, विशेष रूप से पुनरावृत्त सापेक्ष मि-मैक्स कंस्ट्रक्शन और बिना रीची कर्वेचर धारणाओं के क्षेत्रफल सीमाओं को संभालना, ऐसे उपकरण हैं जिन्हें संभावित रूप से विशिष्ट कर्वेचर स्थितियों की आवश्यकता के बिना ज्यामितीय टोपोलॉजी की समान समस्याओं की जांच करने के लिए लागू किया जा सकता है।

इसी तरह के और पेपर