The distance between homotopy classes of Sobolev maps on spheres

तकनीकी सारांश: स्फेयर्स (Spheres) पर सोबोलेव मानचित्रों के होमोटोपी क्लासेस के बीच की दूरी

समस्या विवरण
यह शोध पत्र क्रिटिकल सोबोलेव स्पेस $W^{1,n}(S^n; S^n)$ के भीतर यूनिट स्फीयर $S^n$ ($n \ge 2$) के स्व-मानचित्रों (self-maps) के विभिन्न होमोटोपी क्लासेस के बीच मात्रात्मक संबंध को संबोधित करता है। विशेष रूप से, लेखक ब्रौअर डिग्री (Brouwer degrees) $d_1$ और $d_2$ द्वारा अभिलक्षित मानचित्रों के दो क्लासेस, $E^{(n)}_{d_1}$ और $E^{(n)}_{d_2}$ के बीच "निर्देशित दूरी" (directed distance) की जांच करते हैं। दूरी को डिग्री $d_1$ के मानचित्र $f$ के सुप्रीमम (supremum) के रूप में परिभाषित किया गया, जो डिग्री $d_2$ के मानचित्र $g$ के इन्फिमम (infimum) के ऊपर है, जहाँ अंतर उनके कमजोर स्पर्शरेखीय डेरिवेटिव्स (weak tangential derivatives) के $L^n$-नॉर्म में होता है:
$$\text{Dist}_n(E^{(n)}_{d_1}, E^{(n)}_{d_2}) = \sup_{f \in E^{(n)}_{d_1}} \inf_{g \in E^{(n)}_{d_2}} \left( \int_{S^n} |D_\tau f - D_\tau g|^n \, d\sigma \right)^{1/n}.$$
इस कार्य से पूर्व, विशिष्ट डिग्री पर निर्भर स्थिरांकों के साथ ऊपरी और निचली सीमाएं ज्ञात थीं (विशेष रूप से ब्रेज़िस, मिरोनस्कू और शाफ़िर द्वारा), लेकिन सामान्य मामले के लिए सटीक शार्प कॉन्स्टेंट (sharp constant) और मनमाने डिग्री युग्मों के लिए इस दूरी की समरूपता (symmetry) खुली समस्या बनी हुई थी। विशेष रूप से, सामान्य मामले में $\ge$ वाली असमानता ब्रेज़िस की सूची में एक खुला प्रश्न (Problem 5.9) था।

कार्यप्रणाली (Methodology)
मुख्य परिणाम की सिद्धि को ऊर्जा अंतर के लिए शार्प अपर और लोअर बाउंड स्थापित करने में विभाजित किया गया है।

1. अपर बाउंड (सेक्शन 3):
   लेखक सिद्ध करते हैं कि दूरी $\kappa_n |d_1 - d_2|$ द्वारा ऊपरी रूप से सीमित है, जहाँ $\kappa_n = n^{n/2} |S^n|$ है। रणनीति एक "बबल इंसर्शन" (bubble insertion) तकनीक का उपयोग करती है। डिग्री $d_1$ के एक स्मूथ मैप $f$ के लिए, लेखक एक छोटे बॉल पर $f$ को स्थानीय रूप से संशोधित करके डिग्री $d_2$ का एक मैप $g$ निर्मित करते हैं। यह संशोधन $f$ के स्थानीय व्यवहार को एक "डिग्री बबल" (एक ऐसा मैप जिसका सापेक्ष डिग्री $d_2 - d_1$ और न्यूनतम ऊर्जा हो) से बदल देता है। क्रिटिकल स्पेस में एक इकाई ब्रौअर डिग्री बनाने के लिए आवश्यक न्यूनतम ऊर्जा को $\kappa_n$ के रूप में पहचाना गया है। $n$-एनर्जी की कॉन्फॉर्मल इनवेरिएंस (conformal invariance) और लोकल फ्लैटनिंग लेम्मा का उपयोग करके, वे प्रदर्शित करते हैं कि डिग्री बदलने की लागत ठीक डिग्री के अंतर के समानुपाती है।

2. लोअर बाउंड (सेक्शन 4–6):
   विपरीत असमानता को सिद्ध करने के लिए अधिक परिष्कृत दृष्टिकोण की आवश्यकता होती है जिसमें "ऑसिलेटरी पिनिंग" (oscillatory pinning) और "एटमिक बबलिंग" (atomic bubbling) शामिल है।

   • ऑसिलेटरी पिनिंग (सेक्शन 5): लेखक एक निश्चित डिग्री $d_1$ के मानचित्रों का एक अनुक्रम $F_j$ निर्मित करते हैं जो "अनुमान लगाने में कठिन" (hard to approximate) हैं। यह एक स्मूथ बैकग्राउंड मैप $f_0$ को लघु रोटेशन $Q_\theta$ के एक परिमित परिवार के माध्यम से तेजी से अल्टरनेट करके प्राप्त किया जाता है, जिनके ऑर्बिट्स एफ़ाइनली एम्बिएंट स्पेस $\mathbb{R}^{n+1}$ को स्पैन करते हैं। यदि डिग्री $d_2$ का एक अनुक्रम $g_j$ मानचित्रों $F_j$ को सीमित ऊर्जा के साथ अनुमानित करने का प्रयास करता है, तो तीव्र दोलन (rapid oscillations) $F_j - g_j$ को $L^n$ में स्ट्रॉन्गली ज़ीरो की ओर अभिसरित होने के लिए मजबूर करते हैं।
   • रेडियल नॉर्मलाइजेशन और बबलिंग (सेक्शन 6): ऊर्जा का विश्लेषण करने के लिए, लेखक $F_j - g_j$ से व्युत्पन्न एक नॉर्मलाइज्ड अनुक्रम $u_j$ को परिभाषित करते हैं। जबकि $u_j$, $L^n$ में $f_0$ (डिग्री $d_1$) की ओर अभिसरित होता है, प्रत्येक $u_j$ अपने $g_j$ की डिग्री $d_2$ को बनाए रखता है।
   • एटमिक एनर्जी कंपैरिजन: लेखक डिटेले और वान शाफ्टिंगन के एक विशेष बबलिंग प्रमेय का उपयोग करते हैं। यह प्रमेय बताता है कि यदि डिग्री $d_2$ के मानचित्रों का एक अनुक्रम डिग्री $d_1$ के एक स्मूथ मैप की ओर अभिसरित होता है, तो लिमिटिंग एनर्जी मेजर में कम से कम $\kappa_n |d_1 - d_2|$ ऊर्जा ले जाने वाले "एटम्स" (सिंगुलैरिटीज) होने चाहिए। टोपोलॉजिकल डिफेक्ट के विरुद्ध $|D(F_j - g_j)|^n$ के लिमिटिंग एनर्जी के एटमिक भाग की तुलना करके, वे स्थापित करते हैं कि ऊर्जा की लागत सैद्धांतिक न्यूनतम से कम नहीं हो सकती है।

प्रमुख योगदान और परिणाम
केंद्रीय परिणाम थ्योरम 1.1 है, जो निर्देशित दूरी के लिए एक स्पष्ट सूत्र प्रदान करता है:
$$\sup_{f \in E^{(n)}_{d_1}} \inf_{g \in E^{(n)}_{d_2}} \int_{S^n} |D_\tau f - D_\tau g|^n \, d\sigma = \kappa_n |d_1 - d_2|.$$
मुख्य निहितार्थ शामिल हैं:

• समरूपता (Symmetry): परिणाम यह दर्शाता कि सभी $n \ge 3$ के लिए निर्देशित दूरी सममित है, अर्थात, $\text{Dist}_n(E^{(n)}_{d_1}, E^{(n)}_{d_2}) = \text{Dist}_n(E^{(n)}_{d_2}, E^{(n)}_{d_1})$। यह ब्रेज़िस, मिरोनस्कू और शाफ़िर (2016) के ओपन प्रॉब्लम 1 को $s=1, p=n$ के मामले के लिए हल करता है।
• शार्प कॉन्स्टेंट: पेपर सामान्य मामले में लोअर बाउंड के लिए सटीक स्थिरांक $\kappa_n$ की पहचान करता है, जो उसी स्रोत के ओपन प्रॉब्लम 2 को हल करता है।
• हेटरोटोपिक एनर्जी से जुड़ाव: यह कार्य "निर्देशित दूरी" फंक्शनल्स और डिटेले एवं वान शाफ्टिंगन द्वारा हाल ही में अध्ययन की गई "हेटरोटोपिक एनर्जी" के बीच एक औपचारिक संबंध स्थापित करता है, यह दिखाते हुए कि ऊर्जा मेजर्स के लिमिट में टोपोलॉजिकल डिफेक्ट ठीक से होमोटोपी क्लासेस के बीच की दूरी के अनुरूप है।

महत्व
यह शोध पत्र क्रिटिकल सोबोलेव स्पेस में होमोटोपी क्लासेस की ज्यामिति के संबंध में एक लंबे समय से चले आ रहे खुले प्रश्न को हल करने का दावा करता है। एक स्पष्ट, सभी-डिग्री सूत्र प्रदान करके, यह पिछले परिणामों का विस्तार करता है जो विशिष्ट आयामों ($n=1, 2$) या विशिष्ट डिग्री कॉन्फ़िगरेशन (जैसे, विपरीत चिह्न) तक सीमित थे। कार्यप्रणाली एक नवीन "ऑसिलेटिक पिनिंग" तंत्र पेश करती है जो मानचित्रों के अंतर में कॉम्पैक्टनेस को मजबूर करती है, जिससे सभी आयामों में टोपोलॉजिकल लागतों की एक समान तुलना संभव होती है। लेखक नोट करते हैं कि $n=2$ के लिए, यह परिणाम विशेष रूप से ब्रेज़िस की सूची में समस्या 5.9 का उत्तर देता है। यह कार्य नए अनुप्रयोगों या प्रयोगात्मक प्रस्तावों का सुझाव नहीं देता है बल्कि इन फंक्शन स्पेस के मेट्रिक स्ट्रक्चर के कठोर गणितीय लक्षण वर्णन पर केंद्रित है।