2025-11-25T02:07:17.797199

Topological triviality and link-constancy in deformations of inner Khovanskii non-degenerate maps

Leal, Quiceno
For real polynomial maps and mixed polynomial maps $f=(f^1,\dots,f^p)$, with $f(0)=0$, we introduce the notion of Inner Khovanskii Non-Degeneracy (IKND), which generalize a previous non-degeneracy condition for complex polynomial functions introduced by Wall (J. Reine Angew. Math. 509 (1999), 1-19.). We prove that IKND is a sufficient condition that ensures the link of the singularity of $f$ at the origin is smooth and well-defined. We then study one-parameter deformations of an IKND map $f$, given by $F(x,\varepsilon)=f(x)+θ(x,\varepsilon), F(0,\varepsilon)=0$. We prove that the deformation is link-constant under suitable conditions on $f$ and $θ$, meaning that the ambient isotopy type of the link remains unchanged along the deformation. Furthermore, by employing a strong version of this non-degeneracy, Strong Inner Khovanskii Non-Degeneracy (SIKND), we obtain results on topological triviality. In the last section, inspired by the results of Araújo dos Santos et al. (Bull. Braz. Math. Soc. (N.S.) 55 (2024), no. 3, Paper No. 34.), we explore deformations of mixed polynomial functions in two variables and provide a characterization of the link appearing in a special class of these deformations.
academic

आंतरिक खोवांस्की गैर-अपक्षयी मानचित्रों के विकृतियों में सांस्थितिक तुच्छता और लिंक-स्थिरता

मौलिक जानकारी

  • पेपर ID: 2504.18816
  • शीर्षक: आंतरिक खोवांस्की गैर-अपक्षयी मानचित्रों के विकृतियों में सांस्थितिक तुच्छता और लिंक-स्थिरता
  • लेखक: जूलियन डी. एस्पिनल लियल, एडर एल. सांचेज़ क्विसेनो
  • वर्गीकरण: math.AG (बीजगणितीय ज्यामिति), विलक्षणता सिद्धांत से संबंधित
  • प्रकाशन समय: 25 अक्टूबर 2025 (arXiv v2)
  • पेपर लिंक: https://arxiv.org/abs/2504.18816

सारांश

यह पेपर वास्तविक बहुपद मानचित्रों और मिश्रित बहुपद मानचित्रों f=(f1,,fp)f=(f^1,\dots,f^p) (जहाँ f(0)=0f(0)=0) के लिए आंतरिक खोवांस्की गैर-अपक्षयीता (Inner Khovanskii Non-Degeneracy, IKND) की अवधारणा प्रस्तुत करता है, जो वॉल द्वारा 1999 में जटिल बहुपद फलनों के लिए प्रस्तुत की गई गैर-अपक्षयीता शर्तों को सामान्यीकृत करता है। लेखक सिद्ध करते हैं कि IKND मूल बिंदु पर विलक्षणता के लिंक (link) को चिकना और सुपरिभाषित रखने के लिए एक पर्याप्त शर्त है। इसके बाद IKND मानचित्रों की एकल-पैरामीटर विकृतियों F(x,ε)=f(x)+θ(x,ε)F(x,\varepsilon)=f(x)+\theta(x,\varepsilon) का अध्ययन किया जाता है, और उपयुक्त शर्तों के तहत यह सिद्ध किया जाता है कि विकृतियों में लिंक-स्थिरता (link-constancy) होती है, अर्थात लिंक का परिवेश समस्थेयता प्रकार विकृति के साथ अपरिवर्तित रहता है। इसके अतिरिक्त, गैर-अपक्षयीता के एक मजबूत संस्करण (SIKND) को अपनाकर, सांस्थितिक तुच्छता (topological triviality) के संबंध में परिणाम प्राप्त किए जाते हैं। अंत में, अराउजो डॉस सैंटोस और अन्य के कार्य से प्रेरित होकर, द्विचर मिश्रित बहुपद फलनों की विकृतियों की खोज की जाती है, और विशेष विकृति वर्गों में लिंक का लक्षण वर्णन दिया जाता है।

अनुसंधान पृष्ठभूमि और प्रेरणा

मूल समस्या

जटिल (या वास्तविक) विश्लेषणात्मक विलक्षणता सिद्धांत में एक महत्वपूर्ण प्रश्न यह है: दी गई विकृति F(x,ε):Kn×KKpF(x,\varepsilon): K^n \times K \to K^p (जहाँ K=CK=\mathbb{C} या R\mathbb{R}) के लिए, क्या मानचित्र परिवार Fε(x):=F(x,ε)F_\varepsilon(x):=F(x,\varepsilon) पर्याप्त रूप से छोटे ε\varepsilon मानों के लिए स्थानीय समतुल्यता (समविलक्षण या तुच्छता) को संरक्षित करता है?

अनुसंधान का महत्व

  1. शास्त्रीय परिणामों का सामान्यीकरण: लेह और रामानुजम के मौलिक परिणाम दर्शाते हैं कि जब n3n\neq 3 हो, तो स्थिर मिलनोर संख्या वाली जटिल विश्लेषणात्मक फलन विकृतियाँ V-तुच्छ होती हैं। तिमोरियन ने आगे सांस्थितिक तुच्छता सिद्ध की। वॉल ने 1999 में जटिल विश्लेषणात्मक फलनों की विकृतियों का अध्ययन किया, आंतरिक गैर-अपक्षयीता (INND) मान्यता के तहत सांस्थितिक तुच्छता सिद्ध की, यहाँ तक कि कठिन n=3n=3 स्थिति में भी।
  2. मिश्रित बहुपदों का प्राकृतिक विस्तार: मिश्रित बहुपद फलन (जटिल चर और उनके संयुग्मों के जटिल-मूल्यवान बहुपद) वास्तविक बहुपद मानचित्रों R2nR2\mathbb{R}^{2n}\to\mathbb{R}^2 के समतुल्य हैं, जटिल फलनों को विशेष मामले के रूप में शामिल करते हैं। न्यूटन बहुफलक के माध्यम से मिश्रित बहुपदों का अध्ययन करना उल्लेखनीय लाभ प्रदान करता है, जो अलग-थलग वास्तविक विलक्षणता परिवारों का निर्माण कर सकता है।
  3. जटिल और वास्तविक सिद्धांतों के बीच की खाई को पाटना: विकृति समविलक्षणता पर मौजूदा अनुसंधान मुख्य रूप से जटिल सेटिंग पर केंद्रित है। यह पेपर एकीकृत गैर-अपक्षयीता ढांचे के माध्यम से जटिल और वास्तविक विलक्षणता सिद्धांत के बीच एक पुल बनाता है।

मौजूदा विधियों की सीमाएँ

  • वॉल की INND शर्त केवल जटिल बहुपद फलनों पर लागू होती है
  • अराउजो डॉस सैंटोस और अन्य ने आंतरिक गैर-अपक्षयीता को द्विचर मिश्रित बहुपदों तक विस्तारित किया, लेकिन अधिक सामान्य ढांचे की कमी है
  • वास्तविक बहुपद मानचित्रों और उच्च-आयामी मिश्रित मानचित्रों के समविलक्षणता सिद्धांत अधूरे हैं
  • मौजूदा गैर-अपक्षयीता शर्तें (जैसे KND) बहुत कठोर हो सकती हैं, कुछ महत्वपूर्ण उदाहरणों के लिए अनुपयुक्त हैं

मूल योगदान

  1. (S)IKND अवधारणा का परिचय: वास्तविक बहुपद मानचित्रों और मिश्रित बहुपद मानचित्रों के लिए आंतरिक खोवांस्की गैर-अपक्षयीता (IKND) और इसके मजबूत संस्करण (SIKND) को परिभाषित किया जाता है, जो C-फेस आरेखों (C-face diagrams) के समुच्चय पर आधारित है, वॉल के INND और शास्त्रीय KND को सामान्यीकृत करता है।
  2. लिंक की चिकनाई: यह सिद्ध किया जाता है कि IKND विलक्षणता लिंक को चिकना और सुपरिभाषित रखने के लिए एक पर्याप्त शर्त है (प्रमेय 3.3)।
  3. महत्वपूर्ण बिंदु गैर-संचय: विकृति के (कमजोर) महत्वपूर्ण बिंदु गैर-संचय गुण को सुनिश्चित करने के लिए पर्याप्त शर्तें स्थापित की जाती हैं, जो बाद में लिंक-स्थिरता और सांस्थितिक तुच्छता के अध्ययन के लिए महत्वपूर्ण हैं।
  4. लिंक-स्थिरता परिणाम:
    • प्रमेय 4.7: KND मानचित्र fDf_D और IKND मानचित्र ff के लिए, उपयुक्त शर्तों के तहत विकृति लिंक-स्थिर है; यदि ff SIKND है तो सांस्थितिक रूप से तुच्छ है
    • प्रमेय 4.11: SWH/SRWH मानचित्रों की विकृतियाँ उपयुक्त शर्तों के तहत लिंक-स्थिर हैं
    • प्रमेय 4.14 और 4.17: द्विचर मिश्रित बहुपद फलनों की विकृतियों की लिंक-स्थिरता
  5. द्विचर मिश्रित फलनों का संपूर्ण लक्षण वर्णन: शास्त्रीय परिणाम को सामान्यीकृत किया जाता है—सुविधाजनक गैर-अपक्षयी जटिल बहुपद फलनों का लिंक समस्थेयता प्रकार न्यूटन सीमा पर पदों द्वारा निर्धारित होता है (अनुपुष्टि 4.15)।
  6. उदाहरणों की समृद्ध श्रेणियाँ: यह सिद्ध किया जाता है कि सुविधाजनक KND मानचित्र, अर्ध-भारित सजातीय मानचित्र (SWH), अर्ध-त्रिज्या भारित सजातीय मिश्रित मानचित्र (SRWH), त्रिचर गैर-सुविधाजनक KND फलन सभी IKND के उदाहरण हैं।

विधि विवरण

मूल अवधारणाएँ

C-फेस आरेख (C-face Diagram)

रैखिक फलनों के समुच्चय JJ को देखते हुए, जहाँ प्रत्येक \ell को (ν)>0\ell(\nu)>0 सभी νR>0n\nu\in\mathbb{R}^n_{>0} के लिए संतुष्ट करना चाहिए। न्यूनतम फलन J(ν)=minJ(ν)\ell_J(\nu)=\min_{\ell\in J}\ell(\nu) को परिभाषित करते हुए, C-फेस आरेख को इस प्रकार परिभाषित किया जाता है: D(J)={νR0nJ(ν)=1}D(J) = \{\nu\in\mathbb{R}^n_{\geq 0} \mid \ell_J(\nu)=1\}

C-फेस आरेख का आंतरिक फेस (inner face) वह फेस है जो किसी भी सच्चे निर्देशांक उप-स्थान में निहित नहीं है।

IKND परिभाषा (परिभाषा 2.1)

मानचित्र f=(f1,,fp)f=(f^1,\ldots,f^p) को आंतरिक खोवांस्की गैर-अपक्षयी (IKND) कहा जाता है, यदि C-फेस आरेख D1,,DpD_1,\ldots,D_p मौजूद हों जो निम्नलिखित को संतुष्ट करें:

(i) supp(fi)Di+R0n\text{supp}(f^i) \subseteq D_i + \mathbb{R}^n_{\geq 0}, अर्थात fif^i का समर्थन DiD_i के नीचे नहीं है

(ii) D=D1++DpD=D_1+\cdots+D_p के प्रत्येक आंतरिक फेस Δ\Delta और प्रत्येक गैर-रिक्त उप-समुच्चय I[n]I\subseteq[n] के लिए: ΔRIΣ(fΔ)V(fΔ)(K)I=\Delta \cap \mathbb{R}^I \neq \emptyset \Rightarrow \Sigma(f_\Delta) \cap V(f_\Delta) \cap (K^*)^I = \emptyset

जहाँ fΔ=(fΔ11,,fΔpp)f_\Delta=(f^1_{\Delta_1},\ldots,f^p_{\Delta_p}) फेस प्रणाली है जो Δ=Δ1++Δp\Delta=\Delta_1+\cdots+\Delta_p के अनुरूप है।

मजबूत संस्करण (SIKND): शर्त (ii) को इस प्रकार मजबूत किया जाता है: ΔRIΣ(fΔ)(K)I=\Delta \cap \mathbb{R}^I \neq \emptyset \Rightarrow \Sigma(f_\Delta) \cap (K^*)^I = \emptyset

मुख्य गुण

महत्वपूर्ण बिंदु गैर-संचय (परिभाषा 3.1): विकृति में (कमजोर) महत्वपूर्ण बिंदु गैर-संचय गुण होता है, यदि ϵ>0\epsilon>0 मौजूद हो जैसे कि सभी εK\varepsilon\in K के लिए, Σ(Fε)Bϵ(0){0}\Sigma(F_\varepsilon)\cap B_\epsilon(0) \subseteq \{0\} (या केवल Σ(Fε)V(Fε)Bϵ(0){0}\Sigma(F_\varepsilon)\cap V(F_\varepsilon)\cap B_\epsilon(0)\subseteq\{0\} की आवश्यकता हो)।

ρ\rho-समान मिलनोर त्रिज्या (परिभाषा 4.3): ϵ0>0\epsilon_0>0 मौजूद है जैसे कि सभी 0<ϵϵ00<\epsilon\leq\epsilon_0 और εK\varepsilon\in K के लिए, V(Fε)V(F_\varepsilon) को ρ1(ϵ)\rho^{-1}(\epsilon) के साथ अनुप्रस्थ है।

लिंक-स्थिरता (परिभाषा 4.1): सभी εK\varepsilon\in K के लिए, लिंक LFεL_{F_\varepsilon} LF0L_{F_0} के साथ परिवेश समस्थेय है।

मुख्य प्रमेय

प्रमेय 3.3 (महत्वपूर्ण बिंदु गैर-संचय)

यदि C-फेस आरेख D1,,DpD_1,\ldots,D_p मौजूद हों जो निम्नलिखित को संतुष्ट करें:

  • ff {Dj}\{D_j\} के संबंध में IKND है
  • प्रत्येक jj और ε\varepsilon के लिए, d(w;Fεjfj)>d(w;Dj)d(w;F^j_\varepsilon-f^j)>d(w;D_j) सभी wW(Dj)w\in W(D_j) के लिए

तो विकृति में कमजोर महत्वपूर्ण बिंदु गैर-संचय गुण है। यदि ff SIKND है, तो महत्वपूर्ण बिंदु गैर-संचय गुण है।

प्रमाण की रूपरेखा:

  1. वक्र चयन लेम्मा का उपयोग करते हुए, मान लें कि संचय महत्वपूर्ण बिंदु अनुक्रम मौजूद है
  2. भार सदिश q,q,wq,q',w का निर्माण करें, लेम्मा 3.2 का उपयोग करके आंतरिक फेस संबंध स्थापित करें
  3. भार-डिग्री विश्लेषण (Claim 3.4) के माध्यम से, फेस फलन के ढाल संबंध प्राप्त करें
  4. विरोधाभास प्राप्त करें: कुछ बिंदु Σ(fΘ)(K)IΘ\Sigma(f_\Theta)\cap(K^*)^{I_\Theta} से संबंधित है, जो IKND शर्त का उल्लंघन करता है

प्रमेय 4.7 (लिंक-स्थिरता और सांस्थितिक तुच्छता)

यदि C-फेस आरेख D1,,DpD_1,\ldots,D_p मौजूद हों जो निम्नलिखित को संतुष्ट करें:

  • fDf_D KND है
  • ff {Dj}\{D_j\} के संबंध में IKND है
  • विकृति DjD_j के ऊपर है
  • तकनीकी शर्त (iv): विशेष शर्तों को संतुष्ट करने वाले आंतरिक फेस और सूचकांक समुच्चय के लिए, न्यूनतम भार घटक मौजूद है

तो विकृति लिंक-स्थिर है। यदि ff SIKND है, तो सांस्थितिक रूप से तुच्छ है।

प्रमाण का मूल:

  1. प्रस्ताव 4.4 के माध्यम से, लिंक-स्थिरता ρE\rho_E-समान मिलनोर त्रिज्या के अस्तित्व को सिद्ध करने के समतुल्य है
  2. विरोधाभास द्वारा: मान लें कि समान त्रिज्या मौजूद नहीं है, वक्र चयन लेम्मा लागू करें
  3. दो स्थितियों का विश्लेषण करें:
    • स्थिति I: IIΘI'\cap I_\Theta\neq\emptyset, यूलर पहचान का उपयोग करके विरोधाभास प्राप्त करें
    • स्थिति II: IIΘ=I'\cap I_\Theta=\emptyset, शर्त (iv) और KND गुण का उपयोग करके विरोधाभास प्राप्त करें
  4. सांस्थितिक तुच्छता प्रस्ताव 4.6 से प्राप्त होती है

प्रमेय 4.11 (SWH/SRWH मानचित्र)

अर्ध-भारित सजातीय मानचित्रों की विकृतियों के लिए, उपयुक्त शर्तों के तहत:

  • कुछ पड़ोस में लिंक-स्थिर
  • यदि असमानता सख्त है, तो वैश्विक रूप से लिंक-स्थिर
  • यदि Σ(fw)={0}\Sigma(f_w)=\{0\} और असमानता सख्त है, तो सांस्थितिक रूप से तुच्छ

प्रमाण विधि:

  1. ध्रुवीय निर्देशांक परिवर्तन π(s,r)=(rw1s1,,rwnsn)\pi(s,r)=(r^{w_1}s_1,\ldots,r^{w_n}s_n) का उपयोग करें
  2. समस्या को ρ1(1)×R0\rho^{-1}(1)\times\mathbb{R}_{\geq 0} पर शून्य समुच्चय में रूपांतरित करें
  3. समस्थेय का निर्माण करने के लिए निहित फलन प्रमेय लागू करें
  4. दो स्थितियों को अलग करें: I=I=\emptyset और II\neq\emptyset

प्रमेय 4.17 (द्विचर मिश्रित फलन)

द्विचर मिश्रित बहुपद फलन विकृतियों के लिए, IKND और तकनीकी शर्तों के तहत, विकृति लिंक-स्थिर है; यदि SIKND है तो सांस्थितिक रूप से तुच्छ है।

मुख्य तकनीक:

  1. भार सदिश संबंध स्थापित करने के लिए Claim 2.11 का उपयोग करें
  2. IIΘI'\cap I_\Theta की दो स्थितियों का विश्लेषण करें
  3. स्थिति II में, विभाज्यता तर्क और एकपदी विश्लेषण के माध्यम से विरोधाभास प्राप्त करें

तकनीकी नवाचार

  1. C-फेस आरेख ढांचा: शास्त्रीय KND के विपरीत जो केवल न्यूटन सीमा का उपयोग करता है, IKND अधिक लचीले C-फेस आरेख चयन की अनुमति देता है, जो मानचित्रों की व्यापक श्रेणी के अनुकूल हो सकता है (नोट 2.2 के उदाहरण देखें)।
  2. आंतरिक फेस शर्त: केवल आंतरिक फेस पर गैर-अपक्षयीता की आवश्यकता होती है, सभी फेस पर नहीं, जो वॉल की INND अवधारणा का सार विस्तार है।
  3. भार सदिश निर्माण: लेम्मा 3.2 का निर्माण तकनीक, प्रक्षेपित भार सदिश πI(q)\pi_I(q) से शुरू करके, क्रमिक रूप से आंतरिक फेस भार सदिश ww को परिष्कृत करना, प्रमाण का मुख्य उपकरण है।
  4. मिश्रित और वास्तविक मानचित्रों का पत्राचार: लेम्मा 2.10 मिश्रित बहुपद के (S)IKND गुण को संबंधित वास्तविक मानचित्र के साथ स्थापित करता है, लेकिन विपरीत सत्य नहीं है (नोट 2.12)।
  5. समान त्रिज्या विधि: प्रस्ताव 4.4 लिंक-स्थिरता को ρ\rho-समान मिलनोर त्रिज्या के अस्तित्व में रूपांतरित करता है, एकीकृत प्रमाण ढांचा प्रदान करता है।

प्रायोगिक सेटअप

सिद्धांत सत्यापन उदाहरणों के माध्यम से

यह पेपर एक शुद्ध गणित सिद्धांत पेपर है, जिसमें पारंपरिक अर्थ में प्रयोग नहीं हैं, बल्कि सिद्धांत परिणामों को सत्यापित करने के लिए निर्माणात्मक उदाहरणों के माध्यम से:

उदाहरण 2.9 (SIKND लेकिन गैर-SKND)

f(x1,x2,x3)=x112+x1x24x3+(x23x32)2f(x_1,x_2,x_3) = x_1^{12} + x_1x_2^4x_3 + (x_2^3-x_3^2)^2

  • भार सदिश w=(2,2,3)w=(2,2,3) के अनुरूप फेस फलन fw=(x23x32)2f_w=(x_2^3-x_3^2)^2 बिंदु (1,1,1)(1,1,1) पर विलक्षण है, इसलिए गैर-SKND है
  • लेकिन आंशिक व्युत्पन्न प्रणाली को सत्यापित करके केवल तुच्छ समाधान हैं, यह सिद्ध किया जाता है कि Σ(f)={0}\Sigma(f)=\{0\}, इसलिए SIKND है

उदाहरण 4.13 (भारित सजातीय फलन)

f(x1,x2,x3)=x112+x1x24x3+(x23x32)2f(x_1,x_2,x_3) = x_1^{12} + x_1x_2^4x_3 + (x_2^3-x_3^2)^2 भार प्रकार (1,2,3;12)(1,2,3;12), प्रमेय 4.11 लागू करके लिंक-स्थिरता और सांस्थितिक तुच्छता प्राप्त होती है।

उदाहरण 4.16 (द्विचर मिश्रित फलन)

f(x)=x16+xˉ2x14+x1xˉ23+x26f(x) = x_1^6 + \bar{x}_2x_1^4 + x_1\bar{x}_2^3 + x_2^6

  • C-फेस आरेख D(J1)D(J_1) रैखिक फलनों 1,1(ν)=(211,311),ν\ell_{1,1}(\nu)=\langle(\frac{2}{11},\frac{3}{11}),\nu\rangle और 1,2(ν)=(14,14),ν\ell_{1,2}(\nu)=\langle(\frac{1}{4},\frac{1}{4}),\nu\rangle द्वारा परिभाषित है
  • D(J1)D(J_1) न्यूटन सीमा Γ(f)\Gamma(f) की तुलना में अधिक विकृतियों की अनुमति देता है (जैसे θ(x,ε)=εx25\theta(x,\varepsilon)=\varepsilon x_2^5)
  • लिंक को नेस्टेड लिंक L([L1],[L2])L([L_1],[L_2]') द्वारा लक्षित किया जाता है

उदाहरण 4.19 (गैर-सुविधाजनक फलन)

f(x)=x14+(x22xˉ22)x1xˉ1+(i+1)x2xˉ2(x12+xˉ12)+x26f(x) = x_1^4 + (x_2^2-\bar{x}_2^2)x_1\bar{x}_1 + (i+1)x_2\bar{x}_2(x_1^2+\bar{x}_1^2) + x_2^6

  • विस्तृत गणना (परिशिष्ट) के माध्यम से IKND लेकिन सुविधाजनक शर्त को संतुष्ट नहीं करने को सत्यापित किया जाता है
  • V(fΔ3)(C)2V(f_{\Delta_3})\cap(\mathbb{C}^*)^2\neq\emptyset जहाँ Δ3\Delta_3 शीर्ष है
  • प्रमेय 4.17 के प्रमेय 4.14 पर लाभ को प्रदर्शित करता है

सत्यापन विधि

  1. बीजगणितीय सत्यापन: महत्वपूर्ण बिंदु समीकरण प्रणाली को हल करके, Σ(fΔ)V(fΔ)(K)I=\Sigma(f_\Delta)\cap V(f_\Delta)\cap(K^*)^I=\emptyset को सत्यापित करें
  2. भार-डिग्री विश्लेषण: विभिन्न भार सदिशों के तहत फेस फलन और भार-डिग्री की गणना करें
  3. प्रतिउदाहरण निर्माण: कुछ वास्तविक IKND मानचित्र मिश्रित IKND मानचित्रों से नहीं आते हैं (नोट 2.12)

प्रायोगिक परिणाम

मुख्य सिद्धांत परिणाम

  1. IKND वर्ग की व्यापकता (प्रस्ताव 2.4, 2.8, 2.17):
    • सुविधाजनक KND मानचित्र ⊂ IKND
    • SWH मानचित्र ⊂ IKND; यदि Σ(fw)={0}\Sigma(f_w)=\{0\} तो ⊂ SIKND
    • लेम्मा 2.15 शर्तों को संतुष्ट करने वाले त्रिचर KND फलन ⊂ IKND
  2. मौजूदा अवधारणाओं के साथ संबंध (प्रस्ताव 2.14):
    • द्विचर मिश्रित फलनों के लिए, (S)IND ⟺ (S)IKND
    • अराउजो डॉस सैंटोस और अन्य की परिभाषा को सामान्यीकृत किया
  3. विकृति गुणों की स्तरीयता:
    SIKND + शर्त (ii) 
      ⟹ महत्वपूर्ण बिंदु गैर-संचय 
      ⟹ लिंक सुपरिभाषित
    
    SIKND + शर्त (ii) + समान त्रिज्या
      ⟹ लिंक-स्थिरता
    
    SIKND + शर्त (ii) + समान त्रिज्या + (n-p≤2 या अन्य)
      ⟹ सांस्थितिक तुच्छता
    
  4. लिंक लक्षण वर्णन (अनुपुष्टि 4.15):
    • सुविधाजनक IKND द्विचर मिश्रित फलनों के लिए, लिंक समस्थेयता प्रकार पूरी तरह से fDf_D द्वारा निर्धारित होता है
    • लिंक संरचना नेस्टेड लिंक L([L1,,LN1],[LN])L([L_1,\ldots,L_{N-1}],[L_N]') है
    • उप-लिंक फलन fΔ(wi;D)f_{\Delta(w_i;D)} द्वारा निर्मित होते हैं

विशिष्ट उदाहरणों के परिणाम

उदाहरण 4.10 (त्रिचर फलन)

f(x1,x2,x3)=(x16+x1x25+x2x36)(x12+x22+x32)f(x_1,x_2,x_3) = (x_1^6+x_1x_2^5+x_2x_3^6)(x_1^2+x_2^2+x_3^2)

  • Inc(f)={2,3}\text{Inc}(f)=\{2,3\}
  • जब v29,v3>46/5v_2\geq 9, v_3>46/5 हो, तो Dv(f)D_v(f) प्रमेय 4.7 शर्तों को संतुष्ट करता है
  • Dv(f)D_v(f) के ऊपर कोई भी विकृति लिंक-स्थिर है

उदाहरण 4.16 की लिंक संरचना

  • L1={0}×{0}×S1L_1 = \{0\}\times\{0\}\times S^1
  • L2L_2 दो शाखाओं में विभाजित: {0}×S1×{0}\{0\}\times S^1\times\{0\} और मूल e32it1,e32it1e^{-\frac{3}{2}it_1},-e^{-\frac{3}{2}it_1} द्वारा दिया गया त्रिपत्र गाँठ

मुख्य खोजें

  1. अद्वितीयता का अभाव: C-फेस आरेख का चयन अद्वितीय नहीं है (नोट 2.2), लेकिन कुछ चयन विकृतियों की व्यापक श्रेणी की अनुमति देते हैं।
  2. सुविधाजनक शर्त की भूमिका: प्रमेय 4.14 को निहित फलन प्रमेय लागू करने के लिए सुविधाजनक शर्त की आवश्यकता है; प्रमेय 4.17 विभिन्न तकनीकों के माध्यम से इस सीमा से बचता है।
  3. आयाम प्रतिबंध: प्रस्ताव 4.5 को np2n-p\leq 2 (वास्तविक स्थिति) या np1n-p\leq 1 (मिश्रित स्थिति) की आवश्यकता है, जब महत्वपूर्ण बिंदु गैर-संचय स्वचालित रूप से सांस्थितिक तुच्छता का अर्थ देता है।
  4. मिश्रित और वास्तविक का अंतर: लेम्मा 2.10 और नोट 2.12 दर्शाते हैं कि मिश्रित IKND मानचित्रों का वास्तविकीकरण वास्तविक IKND है, लेकिन विपरीत सत्य नहीं है।

संबंधित कार्य

शास्त्रीय विलक्षणता सिद्धांत

  1. लेह-रामानुजम (1976): μ\mu-स्थिर विकृतियों की V-तुच्छता (n3n\neq 3)
  2. तिमोरियन (1977): μ\mu-स्थिर विकृतियों की सांस्थितिक तुच्छता (n3n\neq 3)
  3. वॉल (1999): जटिल फलनों की INND शर्त के तहत सांस्थितिक तुच्छता, n=3n=3 स्थिति सहित
  4. किंग (1980/81): महत्वपूर्ण बिंदु गैर-संचय और μ\mu-स्थिरता का संबंध

गैर-अपक्षयीता शर्तें

  1. कोचनिरेंको (1976): न्यूटन गैर-अपक्षयीता और मिलनोर संख्या
  2. खोवांस्की (1977): KND शर्त
  3. ओका (2010): मिश्रित फलनों की गैर-अपक्षयीता
  4. बिविया-औसीना (2007): मिश्रित न्यूटन संख्या और ICIS

मिश्रित बहुपद अनुसंधान

  1. ओका (2010): मिश्रित फलनों की न्यूटन बहुफलक परिभाषा
  2. अराउजो डॉस सैंटोस एट अल. (2024): द्विचर मिश्रित फलनों की आंतरिक गैर-अपक्षयीता
  3. बोड (2019, 2025): वास्तविक बीजगणितीय लिंक का निर्माण
  4. आइराल-ओका (2017, 2022): गैर-अलग-थलग विलक्षणताओं की ज्यामिति

विकृति सिद्धांत

  1. डेमन (1989): ICIS की μ\mu-स्थिर विकृतियों की सांस्थितिक अपरिवर्तनीयता
  2. गैफनी (1992): मॉड्यूल का अभिन्न बंद और व्हिटनी समविलक्षणता
  3. बेक्का (2015): समान त्रिज्या और समविलक्षणता
  4. गुयेन (2022): गैर-अपक्षयी ICIS की समान स्थिर त्रिज्या

इस पेपर की स्थिति

इस पेपर की (S)IKND अवधारणा:

  • सामान्यीकरण: वॉल की INND (जटिल फलन) → IKND (वास्तविक/मिश्रित मानचित्र)
  • सामान्यीकरण: अराउजो डॉस सैंटोस एट अल. की IND (द्विचर) → IKND (मनमाना आयाम)
  • सामान्यीकरण: KND → IKND (गैर-सुविधाजनक स्थितियों और अधिक लचीले C-फेस आरेखों की अनुमति)
  • एकीकरण: जटिल और वास्तविक विलक्षणता सिद्धांत के लिए एकीकृत ढांचा प्रदान करता है

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. (S)IKND एक प्रभावी गैर-अपक्षयीता शर्त है:
    • लिंक को चिकना और सुपरिभाषित रखना सुनिश्चित करता है
    • मानचित्रों की कई महत्वपूर्ण श्रेणियों को शामिल करता है (KND, SWH, SRWH)
    • SKND से अधिक व्यापक है (उदाहरण 2.9)
  2. विकृतियों की समविलक्षणता:
    • प्रमेय 3.3 (कमजोर) महत्वपूर्ण बिंदु गैर-संचय के लिए पर्याप्त शर्तें देता है
    • प्रमेय 4.7, 4.11, 4.17 लिंक-स्थिरता और सांस्थितिक तुच्छता स्थापित करते हैं
    • समान मिलनोर त्रिज्या लिंक-स्थिरता सिद्ध करने के लिए एक प्रभावी उपकरण है
  3. द्विचर मिश्रित फलनों का संपूर्ण सिद्धांत:
    • शास्त्रीय परिणामों को मिश्रित सेटिंग तक सामान्यीकृत करता है
    • लिंक समस्थेयता प्रकार C-फेस आरेख पर पदों द्वारा निर्धारित होता है (अनुपुष्टि 4.15)
    • प्रमेय 4.17 सुविधाजनक शर्त की सीमा से बचता है

सीमाएँ

  1. C-फेस आरेख का निर्माण:
    • दिए गए मानचित्र के लिए उपयुक्त C-फेस आरेख D1,,DpD_1,\ldots,D_p खोजना तकनीकी हो सकता है
    • प्रमेय 4.7 में शर्त (iv) की ज्यामितीय व्याख्या पर्याप्त सहज नहीं है
    • अधिकतम C-फेस आरेख Γinn(f)\Gamma_{\text{inn}}(f) के सामान्य निर्माण के लिए एल्गोरिदम नहीं दिया गया है
  2. आयाम प्रतिबंध:
    • प्रस्ताव 4.5 npn-p पर प्रतिबंध लगाता है
    • उच्च सहआयाम स्थितियों में सांस्थितिक तुच्छता को अतिरिक्त शर्तों की आवश्यकता है (जैसे समान त्रिज्या)
  3. सुविधाजनक शर्त:
    • प्रमेय 4.14 को सुविधाजनक शर्त की आवश्यकता है
    • हालाँकि प्रमेय 4.17 इस सीमा से बचता है, लेकिन प्रमाण अधिक जटिल है
    • सुविधाजनक शर्त की ज्यामितीय व्याख्या और सत्यापनीयता में सुधार की आवश्यकता है
  4. कम्प्यूटेशनल जटिलता:
    • IKND शर्त को सत्यापित करने के लिए सभी आंतरिक फेस की जाँच की आवश्यकता है
    • जटिल मानचित्रों के लिए, फेस की संख्या बहुत बड़ी हो सकती है
    • प्रभावी एल्गोरिदम कार्यान्वयन का अभाव है
  5. n=3n=3 स्थिति:
    • हालाँकि प्रमेय 4.7 आदि n=3n=3 पर लागू होते हैं, लेकिन प्रस्ताव 4.5 लागू नहीं होता
    • त्रिआयामी स्थिति में सांस्थितिक तुच्छता को अधिक सूक्ष्म विश्लेषण की आवश्यकता है

भविष्य की दिशाएँ

  1. एल्गोरिदम पहलू:
    • IKND शर्त को सत्यापित करने के लिए कंप्यूटर-सहायक उपकरण विकसित करें
    • इष्टतम C-फेस आरेख निर्माण के लिए एल्गोरिदम
    • प्रतीकात्मक गणना प्रणाली में कार्यान्वयन
  2. सिद्धांत सामान्यीकरण:
    • विश्लेषणात्मक मानचित्रों तक सामान्यीकरण
    • गैर-अलग-थलग विलक्षणता स्थितियों का अध्ययन
    • D-मॉड्यूल सिद्धांत के साथ संबंध की खोज
  3. ज्यामितीय लक्षण वर्णन:
    • शर्त (iv) की ज्यामितीय व्याख्या को गहराई से समझें
    • Γinn(f)\Gamma_{\text{inn}}(f) के सांस्थितिक गुणों का अध्ययन
    • लिंक की सांस्थितिक अपरिवर्तनीयताओं की गणना
  4. अनुप्रयोग:
    • वास्तविक बीजगणितीय ज्यामिति में अनुप्रयोग
    • गाँठ सिद्धांत के साथ संबंध (जैसे उदाहरण 4.16)
    • रोबोटिक्स और कम्प्यूटेशनल ज्यामिति में अनुप्रयोग
  5. उच्च-आयाम सामान्यीकरण:
    • p>2p>2 स्थितियों तक सामान्यीकरण
    • स्तरीकृत लिंक संरचना का अध्ययन
    • उच्च-आयाम गाँठ सिद्धांत के साथ संबंध

गहन मूल्यांकन

शक्तियाँ

  1. सिद्धांत नवाचार मजबूत है:
    • (S)IKND अवधारणा शास्त्रीय गैर-अपक्षयीता शर्तों का वास्तविक सामान्यीकरण है
    • C-फेस आरेख ढांचा न्यूटन सीमा से अधिक लचीले उपकरण प्रदान करता है
    • वास्तविक और मिश्रित मानचित्रों को एकीकृत तरीके से संभालता है, जटिल और वास्तविक सिद्धांत के बीच की खाई को पाटता है
  2. तकनीकी कठोरता:
    • प्रमाण विस्तृत और संपूर्ण हैं, लेम्मा 3.2 का भार सदिश निर्माण तकनीक सूक्ष्म है
    • कई प्रमेय विभिन्न स्तरों के परिणाम प्रदान करते हैं (महत्वपूर्ण बिंदु गैर-संचय→लिंक-स्थिरता→सांस्थितिक तुच्छता)
    • IKND और SIKND को अलग करता है, विभिन्न शर्तों की भूमिका को स्पष्ट करता है
  3. उदाहरण समृद्ध हैं:
    • सिद्धांत को सत्यापित करने के लिए कई निर्माणात्मक उदाहरण प्रदान करता है
    • उदाहरण 2.9 दर्शाता है कि SIKND SKND से सख्ती से कमजोर है
    • उदाहरण 4.19 प्रमेय 4.17 के प्रमेय 4.14 पर लाभ को दर्शाता है
    • उदाहरण 4.10 विशिष्ट C-फेस आरेख निर्माण देता है
  4. परिणाम संपूर्ण हैं:
    • द्विचर मिश्रित फलनों के लिए संपूर्ण लिंक लक्षण वर्णन देता है (अनुपुष्टि 4.15)
    • IKND और मौजूदा अवधारणाओं (IND, KND) के बीच सटीक संबंध स्थापित करता है
    • विभिन्न मान्यताओं के तहत कई प्रमेय प्रदान करता है
  5. लेखन स्पष्ट है:
    • संरचना तार्किक है, परिभाषा से अनुप्रयोग तक क्रमिक प्रगति
    • नोट्स और उदाहरण समझने में सहायता करते हैं
    • तकनीकी विवरण (जैसे Claim 3.4) अलग से प्रस्तुत किए जाते हैं

कमियाँ

  1. सीमित कम्प्यूटेबिलिटी:
    • IKND को सत्यापित करने के लिए प्रभावी एल्गोरिदम की कमी है
    • C-फेस आरेख का चयन अनुभव और तकनीक पर निर्भर करता है
    • जटिल मानचित्रों के लिए, आंतरिक फेस शर्तों को हाथ से सत्यापित करना कठिन है
  2. ज्यामितीय अंतर्ज्ञान अपर्याप्त है:
    • प्रमेय 4.7 में शर्त (iv) की ज्यामितीय व्याख्या पर्याप्त स्पष्ट नहीं है
    • C-फेस आरेख और न्यूटन बहुफलक के बीच संबंध को अधिक गहराई से खोजा जा सकता है
    • लिंक संरचना का दृश्य प्रस्तुतिकरण बेहतर हो सकता है
  3. अनुप्रयोग की सीमित श्रेणी:
    • मुख्य परिणाम बहुपद मानचित्रों पर केंद्रित हैं
    • गैर-बहुपद विश्लेषणात्मक मानचित्रों तक सामान्यीकरण पर विचार नहीं किया गया है
    • व्यावहारिक अनुप्रयोग परिदृश्यों की चर्चा कम है
  4. तकनीकी सीमाएँ:
    • कुछ प्रमेयों को अतिरिक्त तकनीकी शर्तों की आवश्यकता है (जैसे सुविधाजनक, शर्त (iv))
    • आयाम प्रतिबंध (प्रस्ताव 4.5) अनुप्रयोग की श्रेणी को सीमित करता है
    • समान त्रिज्या के अस्तित्व को सत्यापित करना कठिन हो सकता है
  5. साहित्य समीक्षा:
    • हालाँकि मुख्य संबंधित कार्यों को उद्धृत किया गया है, लेकिन कुछ क्षेत्रों (जैसे कम्प्यूटेशनल बीजगणितीय ज्यामिति) के साथ संबंध की चर्चा अपर्याप्त है
    • नवीनतम प्रतीकात्मक गणना विधियों के साथ तुलना की कमी है

प्रभाव

  1. सिद्धांत योगदान:
    • वास्तविक विलक्षणता सिद्धांत के लिए महत्वपूर्ण उपकरण प्रदान करता है
    • मिश्रित बहुपद विलक्षणता सिद्धांत के विकास को आगे बढ़ाता है
    • अन्य गैर-अपक्षयीता शर्तों के अनुसंधान को प्रेरित कर सकता है
  2. संभावित अनुप्रयोग:
    • वास्तविक बीजगणितीय ज्यामिति में लिंक वर्गीकरण
    • रोबोटिक्स में विलक्षणता से बचना
    • कम्प्यूटेशनल टोपोलॉजी में एल्गोरिदम डिजाइन
  3. पुनरुत्पादनीयता:
    • सिद्धांत परिणाम कठोर प्रमाण हैं, उच्च पुनरुत्पादनीयता
    • उदाहरण विस्तृत हैं, सत्यापन उपकरण के रूप में काम कर सकते हैं
    • लेकिन कोड कार्यान्वयन की कमी है
  4. अनुवर्ती अनुसंधान:
    • उच्च-आयाम मिश्रित मानचित्रों के अनुसंधान के लिए आधार तैयार करता है
    • एल्गोरिदम और कम्प्यूटेशनल उपकरणों के विकास को प्रेरित कर सकता है
    • अन्य गणितीय शाखाओं (टोपोलॉजी, ज्यामिति) के साथ अंतरविषय संभावना

लागू परिदृश्य

  1. सिद्धांत अनुसंधान:
    • वास्तविक/मिश्रित बहुपद मानचित्रों की विलक्षणताओं का अध्ययन
    • विशिष्ट आयामों में विलक्षणता लिंक का वर्गीकरण
    • विशिष्ट सांस्थितिक गुणों वाले मानचित्रों का निर्माण
  2. कम्प्यूटेशनल गणित:
    • प्रतीकात्मक गणना प्रणालियों में विलक्षणता विश्लेषण मॉड्यूल
    • लिंक अपरिवर्तनीयताओं की गणना
    • विकृति स्थान का पैरामीटराइजेशन
  3. अनुप्रयुक्त गणित:
    • रोबोट गति नियोजन में विलक्षणता विश्लेषण
    • अनुकूलन समस्याओं में महत्वपूर्ण बिंदु अनुसंधान
    • चरण संक्रमण सिद्धांत में सांस्थितिक चरण संक्रमण
  4. शिक्षण:
    • विलक्षणता सिद्धांत के उन्नत पाठ्यक्रम
    • बीजगणितीय ज्यामिति के विशेष विषय चर्चा
    • टोपोलॉजी में लिंक सिद्धांत

संदर्भ (चयनित)

2 R. N. Araújo dos Santos, B. Bode, and E. L. Sanchez Quiceno, Links of Singularities of Inner Non-degenerate Mixed Functions, Bull. Braz. Math. Soc. (N.S.) 55 (2024), no. 3, Paper No. 34.

18 A. G. Khovanskii, Newton polyhedra, and toroidal varieties, Funkcional. Anal. i Priložen. 11 (1977), no. 4, 56–64.

21 D. T. Lê and C. P. Ramanujam, The invariance of Milnor's number implies the invariance of the topological type, Amer. J. Math. 98 (1976), no. 1, 67–78.

29 M. Oka, Non-degenerate mixed functions, Kodai Math. J. 33 (2010), no. 1, 1–62.

33 C. T. C. Wall, Newton polytopes and non-degeneracy, J. Reine Angew. Math. 509 (1999), 1–19.


समग्र मूल्यांकन: यह विलक्षणता सिद्धांत क्षेत्र में एक उच्च-गुणवत्ता वाला शुद्ध गणित पेपर है जो वास्तविक योगदान करता है। (S)IKND अवधारणा का परिचय और विकृति सिद्धांत में इसका अनुप्रयोग वास्तविक और मिश्रित बहुपद मानचित्रों के अनुसंधान के लिए शक्तिशाली उपकरण प्रदान करता है। सिद्धांत कठोर है, परिणाम संपूर्ण हैं, हालाँकि एल्गोरिदम और अनुप्रयोग पहलुओं में आगे विकास की आवश्यकता है, लेकिन यह अनुवर्ती अनुसंधान के लिए एक मजबूत आधार तैयार करता है। विशेष रूप से उल्लेखनीय है कि यह पेपर जटिल विलक्षणता सिद्धांत के शास्त्रीय परिणामों को अधिक सामान्य वास्तविक और मिश्रित सेटिंग तक सफलतापूर्वक सामान्यीकृत करता है, जो गहरी गणितीय अंतर्दृष्टि को प्रदर्शित करता है।