तकनीकी सारांश: बीजगणितीय हाइपरसरफेस से यूक्लिडियन दूरी फलनों का मोर्स सिद्धांत (Morse Theory)

1. समस्या विवरण

यह शोध पत्र एक चिकने मैनिफोल्ड $X$ से एक बंद विनिर्मित (definable) उपसमुच्चय $Y \subseteq \mathbb{R}^n$ के लिए यूक्लिडियन दूरी फलन के निर्माण हेतु एक व्यवस्थित मोर्स सिद्धांत ढांचे (framework) को संबोधित करता है। विशेष रूप से, लेखक इस फलन का विश्लेषण करते हैं:
$$\text{dist}_Y|_X : X \to \mathbb{R}, \quad \text{जहाँ } \text{dist}_Y(z) := \min_{y \in Y} \|y - z\|.$$

यद्यपि दूरी फलन विभेदनीय ज्यामिति (differential geometry) और कम्प्यूटेशनल बीजगणितीय ज्यामिति (जैसे कि यूक्लिडियन डिस्टेंस डिग्री और बॉटलनेक्स की अवधारणाओं को परिभाषित करने में) के केंद्र में हैं, वे आम तौर पर गैर-विभेदात्मक (non-differentiable) और गैर-उत्तल (non-convex) होते हैं। शास्त्रीय मोर्स सिद्धांत, जो सुगमता (smoothness) और गैर-अपभ्रंश क्रांतिक बिंदुओं (non-degenerate critical points) पर निर्भर करता है, उन्हें सीधे लागू नहीं किया जा सकता है। मुख्य समस्या यह है कि इन लिप्सचिट्ज़ (Lipschitz) फलनों के लिए "क्रांतिक बिंदुओं" (critical points) और "सूचकांकों" (indices) की एक सुदृढ़ धारणा कैसे परिभाषित की जाए, जो टोपोलॉजिकल विश्लेषण (सबलेवल सेट्स के माध्यम से परिवर्तन के माध्यम से) की अनुमति दे सके और ऐसे क्रांतिक बिंदुओं की संख्या पर सीमाएँ प्रदान कर सके, विशेष रूप से जब $X$ और $Y$ जेनेरिक बीजगणितीय हाइपरसरफेस हों।

2. कार्यप्रणाली (Methodology)

लेखक शास्त्रीय सुचारू विश्लेषण (smooth analysis) के बजाय लिप्सचिट्ज़ ज्यामिति और सतत चयन (continuous selections) के सिद्धांत पर आधारित एक ढांचे का विकास करते हैं।

2.1. सबडिफरेंशियल के माध्यम से क्रांतिक बिंदु

क्लार्क के स्थानीय लिप्सचिट्ज़ फलनों के सिद्धांत का अनुसरण करते हुए, लेखक एक क्रांतिक बिंदु $x \in X$ को एक ऐसे बिंदु के रूप में परिभाषित करते हैं जहाँ क्लार्क सबडिफरेंशियल $\partial_x (\text{dist}_Y|_X)$ शून्य वेक्टर को समाहित करता है।

• सबडिफरेंशियल को विभेदनशीलता के बिंदुओं पर ग्रेडिएंट्स के सीमाओं (limits) के उत्तल आवरण (convex hull) के रूप में निर्मित किया जाता है।
• दूरी फलन के लिए, $x$ पर सबडिफरेंशियल को $x$ से $Y$ के निकटतम बिंदुओं की ओर इंगित करने वाले सामान्यीकृत (normalized) वेक्टर्स के उत्तल आवरण के रूप में स्पष्ट रूप से वर्णित किया गया है।
• एक बिंदु क्रांतिक होता है यदि शून्य वेक्टर स्पर्श तल (tangent space) $T_x X$ पर इस उत्तल आवरण का प्रक्षेप (projection) है।

2.2. सतत चयन और गैर-अपभ्रंशता (Nondegeneracy)

मोर्स-सैद्धांतिक परिणामों को लागू करने के लिए, लेखक अपने ध्यान को उन मामलों तक सीमित करते हैं जहाँ $\text{dist}_Y|_X$ कई $C^2$ फलनों के सतत चयन के रूप में व्यवहार करता है।

• सतत चयन (Continuous Selection): एक फलन $f$, $(f_0, \dots, f_m)$ का सतत चयन है यदि प्रत्येक $x$ पर $f(x) = f_i(x)$ किसी $i$ के लिए हो।
• गैर-अपभ्रंश क्रांतिक बिंदु (Nondegenerate Critical Points): एक क्रांतिक बिंदु $x$ गैर-अपभ्रंश है यदि:
  1. सक्रिय फलनों (जहाँ $f(x)=f_i(x)$) के अंतर (differentials) एक रैखिक स्वतंत्रता की स्थिति को संतुष्ट करते हैं।
  2. इन फलनों के एक विशिष्ट उत्तल संयोजन (convex combination), जिसे $\lambda_f$ कहा जाता है, का उनके कर्नेल के प्रतिच्छेदन पर एक गैर-अपभ्रंश द्वितीय अंतर (second differential) होता है।
• द्वैत सूचकांक (Dual Indices): शास्त्रीय मोर्स सिद्धांत में एक एकल सूचकांक के विपरीत, इस ढांचे में गैर-अपभ्रंश क्रांतिक बिंदुओं के पास दो सूचकांक होते हैं:
  • पिसवाइस लीनियर सूचकांक ($k$): इसे $k = \#I(x) - 1$ के रूप में परिभाषित किया गया है, जहाँ $I(x)$ सक्रिय फलनों के सूचकांकों का सेट है। यह सक्रिय निकटतम बिंदुओं (geometric bottlenecks) की संख्या से संबंधित है।
  • क्वाड्रेटिक सूचकांक ($\iota$): प्रासंगिक उप-स्थान पर $\lambda_f$ के हेसियन (Hessian) के ऋणात्मक आइजन मानों (eigenvalues) की संख्या।

2.3. मल्टीजेट ट्रांसवर्सलिटी के माध्यम से जेनेरिकता

यह सुनिश्चित करने के लिए कि ये परिभाषाएँ बीजगणितीय हाइपरसरफेस के विशिष्ट मामले में लागू होती हैं, लेखक एक पैरामीट्रिक मल्टीजेट ट्रांसवर्सलिटी प्रमेय का उपयोग करते हैं। वे सिद्ध करते हैं कि $X$ और $Y$ को परिभाषित करने वाले जेनेरिक बहुपदों (polynomials) के लिए:

• दूरी फलन क्रांतिक बिंदुओं के पास एक सतत चयन है।
• सभी क्रांतिक बिंदु गैर-अपभ्रंश हैं।
• किसी भी $x$ के लिए निकटतम बिंदुओं की संख्या $n+1$ द्वारा सीमित है।

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

3.1. बॉटलनेक्स और निकटतम बिंदु समस्याओं का एकीकरण

यह ढांचा कम्प्यूटेशनल बीजगणितीय ज्यामिति की दो प्रमुख समस्याओं को एकीकृत करता है:

1. बॉटलनेक्स (Bottlenecks): जब $X = \mathbb{R}^n$ हो, तो क्रांतिक बिंदु ज्यामितीय बॉटलनेक्स (बिंदु जो $Y$ के कई बिंदुओं से समान दूरी पर हैं) के अनुरूप होते हैं। पिसवाइस लीनियर सूचकांक $k$, बॉटलनेक के क्रम (order) को दर्शाता है।
2. यूक्लिडियन डिस्टेंस डिग्री (EDD): जब $Y$ एक एकल बिंदु हो, तो क्रांतिक बिंदु मानक EDD समस्या के अनुरूप होते हैं।
   लेखक दिखाते हैं कि दोनों ही $\text{dist}_Y|_X$ के क्रांतिक बिंदुओं के उदाहरण हैं, जो अपने सूचकांकों द्वारा अलग किए जाते हैं।

3.2. टोपोलॉजिकल परिवर्तन और मोर्स असमानताएँ

लेखक दूरी फलनों के लिए एक डेफॉर्मेशन लेम्मा (Deformation Lemma) स्थापित करते हैं: यदि एक अंतराल में कोई क्रांतिक मान (critical value) नहीं है, तो सबलेवल सेट्स डेफॉर्मेशन रिट्रैक्ट (deformation retract) होते हैं।
गैर-अपभ्रंश क्रांतिक बिंदुओं के लिए, क्रांतिक मान को पार करते समय होमोलॉजी (homology) में परिवर्तन को दो सूचकांकों $(k, \iota)$ द्वारा नियंत्रित किया जाता है। विशेष रूप से, सापेक्ष होमोलॉजी $H_*(X_{c+\epsilon}, X_{c-\epsilon})$, गोले $S^{k+\iota}$ की न्यूनीकरण होमोलॉजी (reduced homology) के समरूप (isomorphic) है।
यह सुदृढ़ मोर्स असमानताओं (Strong Morse Inequalities) की ओर ले जाता है जो $X$ और $X \cap Y$ के बेट्टी संख्याओं (Betti numbers) और क्रांतिक बिंदुओं के बीच संबंध स्थापित करती हैं:
$$\sum_{i=0}^\lambda (-1)^{i+\lambda} b_i(X) \leq \sum_{i=0}^\lambda (-1)^{i+\lambda} \left( b_i(X \cap Y) + \sum_{k+\iota=i} \#C_{k,\iota}(X, Y) \right)$$
जहाँ $C_{k,\iota}(X, Y)$, $(k, \iota)$ सूचकांकों वाले गैर-अपभ्रंश क्रांतिक बिंदुओं के सेट को दर्शाता है।

3.3. द्वैत सूत्र (Duality Formula)

$X$ और $Y$ के यूलर अभिलक्षणों (Euler characteristics) के लिए एक महत्वपूर्ण द्वैत सूत्र (मानते हुए कि कॉम्पैक्टनेस और गैर-अपभ्रंशता है):
$$\chi(Y) + \sum_{k,\iota \geq 0} (-1)^{k+\iota} \#C_{k,\iota}(X, Y) = \chi(X) + \sum_{k,\iota \geq 0} (-1)^{k+\iota} \#C_{k,\iota}(Y, X)$$
यह शास्त्रीय संबंध का सामान्यीकरण करता है जो यूलर अभिलक्षण और क्रांतिक बिंदुओं के एकांतर योग (alternating sum) के बीच होता है।

3.4. क्रांतिक बिंदुओं पर सीमाएँ

लेखक जेनेरिक बीजगणितीय हाइपरसरफेस $X = Z(p)$ और $Y = Z(q)$ के लिए क्रांतिक बिंदुओं की संख्या के लिए स्पष्ट सीमाएँ प्रदान करते हैं।

• परिमितता (Finiteness): $d_1, d_2 \geq 3$ के लिए, क्रांतिक बिंदुओं की संख्या परिमित है।
• डिग्री सीमाएँ: $k$-क्रांतिक बिंदुओं (वे जिनमें $k+1$ निकटतम बिंदु हैं) की संख्या जो $Y$ में नहीं हैं, निम्नलिखित द्वारा सीमित है:
  $$\#C_{k,\ast}(\text{dist}_Y|_X) \leq c(k, n) \cdot d_1^n \cdot d_2^{n(k+1)}$$
  जहाँ $c(k, n)$ केवल $n$ और $k$ पर निर्भर एक स्थिरांक है।
• यह परिणाम बॉटलनेक डिग्री (जहाँ $k=1$) और यूक्लिडियन डिस्टेंस डिग्री के पिछले बंधों का सामान्यीकरण करता है।

4. महत्व और दावे

शोध पत्र का दावा है कि यह लिप्सचिट्ज़ ज्यामिति की भाषा का उपयोग करके दूरी ज्यामिति में क्रांतिक बिंदुओं की विभिन्न धारणाओं को पुनः प्राप्त करने और एकीकृत करने के लिए एक सामान्य व्यवस्थित ढांचा प्रदान करता है।

• सैद्धांतिक एकीकरण: यह शास्त्रीय विभेदक ज्यामिति (स्मूथ मोर्स थ्योरी) और कम्प्यूटेशनल बीजगणितीय ज्यामिति (EDD, बॉटलनेक्स) के बीच के अंतर को पाटता है, निरंतर चयन (continuous selections) के रूप में दूरी फलनों को मानकर।
• टोपोलॉजिकल व्याख्या: यह पिसवाइस लीनियर सूचकांक के माध्यम से ज्यामितीय घटनाओं (जैसे बॉटलनेक्स) की एक टोपोलॉजिकल व्याख्या प्रदान करता है, यह दिखाते हुए कि टोपोलॉजी परिवर्तन निकटतम बिंदुओं की संख्या ($k$) और वक्रता गुणों ($\iota$) दोनों पर निर्भर करते हैं।
• तकनीकी टूलसेट: शोध पत्र एक "तकनीकी टूलसेट" (विशेष रूप से बहुलकों के लिए मल्टीजेट पैरामीट्रिक ट्रांसवर्सलिटी प्रमेय) प्रदान करता है जो जेनेरिक बीजगणितीय हाइपरसरफेस के लिए इस सिद्धांत की प्रयोज्यता की गारंटी देता है। यह पोलर क्लासेस जैसी जटिल बीजगणितीय ज्यामिति तकनीकों पर निर्भर किए बिना डिग्री सीमाएं प्राप्त करने की अनुमति देता है, हालांकि लेखक नोट करते हैं कि उनकी तकनीकें जटिल (complex) सेटिंग में भी विस्तारित होती हैं।
• विनम्रता: लेखक स्पष्ट रूप से कहते हैं कि जबकि वे चिकने बीजगणितीय हाइपरसरफेस पर ध्यान केंद्रित करते हैं, उन्हें उम्मीद है कि परिणाम पूर्ण प्रतिच्छेदन (complete intersections) तक विस्तारित होंगे, जिसे वे भविष्य के कार्य के लिए छोड़ देते हैं। वे यह भी उल्लेख करते हैं कि सेट $Y$ के सापेक्ष "रियल यूक्लिडियन डिस्टेंस डिग्री" की परिभाषा पेश की गई है, लेकिन इसके जटिल समकक्ष के अध्ययन को भविष्य के अन्वेषण के लिए छोड़ दिया गया है।

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