2025-11-23T11:40:15.683494

Transverse slices, Ruas' conjecture, and Zariski's multiplicity conjecture for quasihomogeneous surfaces

da Silva, Júnior
In this work, we consider a finitely determined, quasihomogeneous, corank 1 map germ $f$ from $(\mathbb{C}^2,0)$ to $(\mathbb{C}^3,0)$. We introduce the concept of the $μ_{\mathbf{m},\mathbf{k}}$-minimal transverse slice of $f$}. Since such a slice is a plane curve, it admits a topological normal form, which we describe explicitly. Assuming the $μ_{\mathbf{m},\mathbf{k}}$-minimal transverse slice hypothesis, we provide a proof for the equivalence between topological triviality and Whitney equisingularity in Ruas' conjecture within this setting. We also provide a counterexample which shows that Whitney equingularity does not imply bi-Lipschitz equisingularity, given an answer to a question by Ruas. Moreover, we show that every topologically trivial $1$-parameter unfolding of $f=(f_1,f_2,f_3)$ (not necessarily with $μ_{\mathbf{m},\mathbf{k}}$-minimal transverse slice) is of non-negative degree; that is, any additional term $α$ in the deformation of $f_i$ has weighted degree not smaller than that of $f_i$. As a consequence, we provide a proof of Zariski's multiplicity conjecture for 1-parameter families of such germs.
academic

अनुप्रस्थ स्लाइसेस, रुआस का अनुमान, और अर्धसमरूप सतहों के लिए ज़रिस्की की बहुलता अनुमान

मूल जानकारी

  • पेपर ID: 2509.01634
  • शीर्षक: अनुप्रस्थ स्लाइसेस, रुआस का अनुमान, और अर्धसमरूप सतहों के लिए ज़रिस्की की बहुलता अनुमान
  • लेखक: Silva, O. N. और Silva Jr, M. M.
  • वर्गीकरण: math.AG (बीजगणितीय ज्यामिति), math.CV (जटिल विश्लेषण)
  • प्रकाशन समय: 13 अक्टूबर 2025 (v2 संस्करण)
  • पेपर लिंक: https://arxiv.org/abs/2509.01634

सारांश

यह पेपर परिमित निर्धारित अर्धसमरूप corank 1 मानचित्र कीटाणु f:(C2,0)→(C3,0)f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0) का अध्ययन करता है। लेखक ff के μm,k\mu_{m,k}-न्यूनतम अनुप्रस्थ स्लाइसेस की अवधारणा प्रस्तुत करते हैं, जो कि समतल वक्र हैं और इसलिए सांस्थितिक मानक रूप रखते हैं। μm,k\mu_{m,k}-न्यूनतम अनुप्रस्थ स्लाइसेस की धारणा के तहत, लेखक रुआस अनुमान में सांस्थितिक तुच्छता और व्हिटनी समतुल्यता के बीच समतुल्यता को सिद्ध करते हैं। साथ ही, यह प्रदर्शित करते हैं कि व्हिटनी समतुल्यता द्विलिप्सचिट्ज़ समतुल्यता को निहित नहीं करती है। इसके अतिरिक्त, f=(f1,f2,f3)f=(f_1,f_2,f_3) के प्रत्येक सांस्थितिक तुच्छ 1-पैरामीटर विस्तार में गैर-नकारात्मक डिग्री होती है, जिसके परिणामस्वरूप इस तरह के कीटाणुओं के 1-पैरामीटर परिवारों के लिए ज़रिस्की बहुलता अनुमान का प्रमाण मिलता है।

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

मूल समस्या

यह पेपर विलक्षणता सिद्धांत में दो मौलिक अनुमानों को हल करने का प्रयास करता है:

  1. रुआस अनुमान (1994): परिमित निर्धारित मानचित्र कीटाणुओं की समतुल्यता अवधारणाओं के बीच समतुल्य संबंधों के बारे में
  2. ज़रिस्की बहुलता अनुमान (1971): सांस्थितिक तुच्छ परिवारों की समबहुलता के बारे में

समस्या की महत्ता

ये समस्याएं विलक्षणता सिद्धांत में मौलिक महत्व की हैं:

  • सैद्धांतिक महत्व: विभिन्न समतुल्यता अवधारणाओं (सांस्थितिक तुच्छता, व्हिटनी समतुल्यता, द्विलिप्सचिट्ज़ समतुल्यता) को जोड़ता है
  • ज्यामितीय महत्व: अनुप्रस्थ स्लाइसेस तकनीक के माध्यम से C3\mathbb{C}^3 में सतहों की समतुल्यता अध्ययन को सरल बनाता है
  • ऐतिहासिक महत्व: ज़रिस्की बहुलता अनुमान 1971 से एक खुली समस्या रही है

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

  • रुआस अनुमान का मूल रूप सामान्य स्थिति में गलत साबित हुआ है
  • ज्ञात प्रतिउदाहरण दर्शाते हैं कि समतुल्यता संबंध स्थापित करने के लिए अधिक सूक्ष्म शर्तों की आवश्यकता है
  • विशेष ज्यामितीय शर्तों के तहत समतुल्यता संबंधों की गहन समझ की कमी है

मूल योगदान

  1. μm,k\mu_{m,k}-न्यूनतम समतल वक्र अवधारणा का परिचय: न्यूनतम मिलनोर संख्या वाले समतल वक्रों का पूर्ण लक्षण वर्णन और स्पष्ट मानक रूप प्रदान करता है
  2. रुआस अनुमान के आंशिक समाधान का प्रमाण: μm,k\mu_{m,k}-न्यूनतम अनुप्रस्थ स्लाइसेस की धारणा के तहत, सांस्थितिक तुच्छता और व्हिटनी समतुल्यता की समतुल्यता को सिद्ध करता है
  3. नए प्रतिउदाहरण प्रदान करता है: अनंत प्रतिउदाहरण का निर्माण करता है जो दर्शाता है कि व्हिटनी समतुल्यता द्विलिप्सचिट्ज़ समतुल्यता को निहित नहीं करती है
  4. गैर-नकारात्मक डिग्री समस्या का समाधान: सिद्ध करता है कि अर्धसमरूप corank 1 मानचित्र कीटाणु के प्रत्येक सांस्थितिक तुच्छ विस्तार में गैर-नकारात्मक डिग्री होती है
  5. ज़रिस्की बहुलता अनुमान का प्रमाण: अर्धसमरूप corank 1 मानचित्र कीटाणुओं के 1-पैरामीटर परिवारों के लिए समबहुलता स्थापित करता है

विधि विस्तार

कार्य परिभाषा

मानचित्र कीटाणु f:(C2,0)→(C3,0)f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0) की समतुल्यता समस्या का अध्ययन, जहां:

  • इनपुट: परिमित निर्धारित अर्धसमरूप corank 1 मानचित्र कीटाणु और उनके 1-पैरामीटर विस्तार
  • आउटपुट: समतुल्यता अवधारणाओं के बीच संबंध और संबंधित ज्यामितीय अपरिवर्तनीय
  • बाधाएं: मानचित्र कीटाणु को परिमित निर्धारितता, अर्धसमरूपता और corank 1 शर्त को संतुष्ट करना चाहिए

मूल विधि आर्किटेक्चर

1. μm,k\mu_{m,k}-न्यूनतम वक्र सिद्धांत

परिभाषा: मान लीजिए Λm,k\Lambda_{m,k} सभी समतल वक्रों का समुच्चय है जिनमें rr शाखाएं हैं, जहां ii-वीं शाखा में बहुलता mim_i और kik_i विशेषता घातांक हैं। वक्र (X,0)∈Λm,k(X,0) \in \Lambda_{m,k} μm,k\mu_{m,k}-न्यूनतम है यदि और केवल यदि: μ(X,0)=min⁡(Y,0)∈Λm,kμ(Y,0)\mu(X,0) = \min_{(Y,0) \in \Lambda_{m,k}} \mu(Y,0)

मानक रूप: अपरिवर्तनीय μm,k\mu_{m,k}-न्यूनतम वक्र के लिए, जब m≥4m \geq 4 एक संयुक्त संख्या है, मानक रूप है: ϕ(u)=(um,um+d1+um+d1+d2+⋯+um+d1+⋯+dk−2+um+d1+⋯+dk−2+1)\phi(u) = (u^m, u^{m+d_1} + u^{m+d_1+d_2} + \cdots + u^{m+d_1+\cdots+d_{k-2}} + u^{m+d_1+\cdots+d_{k-2}+1})

जहां d0=m>d1>⋯>dk−2>dk−1=1d_0 = m > d_1 > \cdots > d_{k-2} > d_{k-1} = 1 mm का नेस्टेड विभाजक अनुक्रम है।

2. अनुप्रस्थ स्लाइसेस तकनीक

अनुप्रस्थ स्लाइसेस परिभाषा: मानचित्र कीटाणु f:(C2,0)→(C3,0)f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0) के लिए, अनुप्रस्थ स्लाइसेस γ\gamma को ff की छवि और मूल बिंदु से गुजरने वाले सामान्य समतल H⊂C3H \subset \mathbb{C}^3 के प्रतिच्छेदन के रूप में परिभाषित किया जाता है।

सामान्यता शर्तें: समतल HH को निम्नलिखित को संतुष्ट करना चाहिए:

  • H∩df0(C2)={(0,0,0)}H \cap df_0(\mathbb{C}^2) = \{(0,0,0)\}
  • H∩f(D(f))={(0,0,0)}H \cap f(D(f)) = \{(0,0,0)\}
  • H∩C0(f(D(f)))={(0,0,0)}H \cap C_0(f(D(f))) = \{(0,0,0)\}

3. व्हिटनी समतुल्यता लक्षण वर्णन

नया अपरिवर्तनीय W(f):=D(f)∪f−1(γ)W(f) := D(f) \cup f^{-1}(\gamma) प्रस्तुत करते हैं, और सिद्ध करते हैं:

प्रमेय: मान लीजिए F=(ft,t)F = (f_t, t) ff का विस्तार है, तब F व्हिटनी समतुल्य है⇔μ(W(ft),0) स्थिर हैF\text{ व्हिटनी समतुल्य है} \Leftrightarrow \mu(W(f_t), 0)\text{ स्थिर है}

तकनीकी नवाचार बिंदु

  1. ज्यामितीय अनुकूलन दृष्टिकोण: मिलनोर संख्या को न्यूनतम करके μm,k\mu_{m,k}-न्यूनतमता अवधारणा प्रस्तुत करता है, वक्र सांस्थिति का सूक्ष्म वर्गीकरण प्रदान करता है
  2. रचनात्मक विधि: न केवल अस्तित्व परिणाम देता है, बल्कि स्पष्ट पैरामीटरकरण और विरूपण निर्माण भी प्रदान करता है
  3. एकीकृत ढांचा: रुआस अनुमान और ज़रिस्की बहुलता अनुमान को एकीकृत सैद्धांतिक ढांचे में शामिल करता है

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

सैद्धांतिक सत्यापन

शुद्ध गणित पेपर होने के नाते, यह पेपर संख्यात्मक प्रयोगों के बजाय कठोर गणितीय प्रमाणों के माध्यम से परिणामों को सत्यापित करता है:

1. प्रतिउदाहरण निर्माण

  • नया प्रतिउदाहरण परिवार: ft(x,y)=(x+ty14,y16+xy15,y18+xy17+x17y)f_t(x,y) = (x+ty^{14}, y^{16}+xy^{15}, y^{18}+xy^{17}+x^{17}y) जैसे अनंत परिवार का निर्माण करता है
  • गणना सत्यापन: Singular सॉफ्टवेयर का उपयोग करके विशिष्ट उदाहरणों की मिलनोर संख्या और बहुलता गणना को सत्यापित करता है

2. मानक रूप सत्यापन

विशिष्ट गणना के माध्यम से μ36,k\mu_{36,k}-न्यूनतम वक्रों के मानक रूप और मिलनोर संख्या को सत्यापित करता है:

वक्र प्रकारमानक रूपमिलनोर संख्या
μ36,2\mu_{36,2}-न्यूनतमϕ(u)=(u36,u37)\phi(u) = (u^{36}, u^{37})1260
μ36,3\mu_{36,3}-न्यूनतमϕ(u)=(u36,u38+u39)\phi(u) = (u^{36}, u^{38} + u^{39})1296
μ36,4\mu_{36,4}-न्यूनतमϕ(u)=(u36,u40+u42+u43)\phi(u) = (u^{36}, u^{40} + u^{42} + u^{43})1372

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

मुख्य प्रमेय

प्रमेय 1.1 (रुआस अनुमान का आंशिक समाधान)

मान लीजिए f:(C2,0)→(C3,0)f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0) एक परिमित निर्धारित अर्धसमरूप corank 1 मानचित्र कीटाणु है। यदि F=(ft,t)F = (f_t,t) एक सांस्थितिक तुच्छ 1-पैरामीटर विस्तार है और ff का अनुप्रस्थ स्लाइसेस γ\gamma μm,k\mu_{m,k}-न्यूनतम है, तब FF व्हिटनी समतुल्य है।

प्रमेय 1.2 (व्हिटनी समतुल्यता लक्षण वर्णन)

मान लीजिए F=(ft,t)F = (f_t,t) ff का विस्तार है, W(ft):=D(ft)∪ft−1(γt)W(f_t) := D(f_t) \cup f_t^{-1}(\gamma_t) को परिभाषित करते हैं, तब: F व्हिटनी समतुल्य है⇔μ(W(ft),0) स्थिर हैF\text{ व्हिटनी समतुल्य है} \Leftrightarrow \mu(W(f_t),0)\text{ स्थिर है}

प्रमेय 5.2 (ज़रिस्की बहुलता अनुमान)

मान लीजिए f:(C2,0)→(C3,0)f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0) एक परिमित निर्धारित अर्धसमरूप corank 1 मानचित्र कीटाणु है। यदि F=(ft,t)F = (f_t,t) एक सांस्थितिक तुच्छ 1-पैरामीटर विस्तार है, तब FF समबहुलता है।

प्रतिउदाहरण परिणाम

प्रस्ताव 4.18 (व्हिटनी द्विलिप्सचिट्ज़ को निहित नहीं करता)

齐次मानचित्र f(x,y)=(x14,y8,(x−y)(x−2y)(x−3y))f(x,y) = (x^{14}, y^8, (x-y)(x-2y)(x-3y)) के लिए, इसका 1-पैरामीटर विस्तार ft(x,y)=f(x,y)+(0,0,ty12)f_t(x,y) = f(x,y) + (0,0,ty^{12}) व्हिटनी समतुल्य है लेकिन द्विलिप्सचिट्ज़ तुच्छ नहीं है।

नया प्रतिउदाहरण परिवार

अनंत प्रतिउदाहरणों का निर्माण करता है जो दर्शाता है कि सांस्थितिक तुच्छता व्हिटनी समतुल्यता को निहित नहीं करती है:

मानचित्र कीटाणु परिवारμ(γ,0)\mu(\gamma,0)μ(γt,0)\mu(\gamma_t,0)
ft(x,y)=(x+ty14,y16+xy15,y18+xy17+x17y)f_t(x,y) = (x+ty^{14}, y^{16}+xy^{15}, y^{18}+xy^{17}+x^{17}y)270268
ft(x,y)=(x+ty14,y16+xy13,y22+xy19+x7y)f_t(x,y) = (x+ty^{14}, y^{16}+xy^{13}, y^{22}+xy^{19}+x^7y)328326

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

ऐतिहासिक विकास

  1. ज़रिस्की (1971): बहुलता अनुमान प्रस्तुत करता है
  2. रुआस (1994): मानचित्र कीटाणुओं की समतुल्यता अनुमान प्रस्तुत करता है
  3. Callejas-Bedregal, Houston, Ruas (2006): (μ)⇔(Top)(\mu) \Leftrightarrow (Top) को सिद्ध करता है
  4. Ruas, Silva (2016): मूल रुआस अनुमान के प्रतिउदाहरण देता है

संबंधित तकनीकें

  • अनुप्रस्थ स्लाइसेस विधि (Marar-Nuño-Ballesteros): सतहों की समतुल्यता अध्ययन को सरल बनाता है
  • Varchenko सिद्धांत: अर्धसमरूप विलक्षणताओं का विरूपण सिद्धांत
  • Damon परिणाम: गैर-नकारात्मक डिग्री विरूपण की सांस्थितिक तुच्छता

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

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

  1. μm,k\mu_{m,k}-न्यूनतम अनुप्रस्थ स्लाइसेस शर्त के तहत, रुआस अनुमान में सांस्थितिक तुच्छता और व्हिटनी समतुल्यता समतुल्य हैं
  2. व्हिटनी समतुल्यता और द्विलिप्सचिट्ज़ समतुल्यता सामान्य स्थिति में समतुल्य नहीं हैं
  3. अर्धसमरूप corank 1 मानचित्र कीटाणु ज़रिस्की बहुलता अनुमान को संतुष्ट करते हैं

सीमाएं

  1. corank प्रतिबंध: परिणाम मुख्य रूप से corank 1 स्थिति पर लागू होते हैं
  2. अर्धसमरूपता धारणा: मानचित्र कीटाणु को विशेष सजातीय संरचना की आवश्यकता होती है
  3. μm,k\mu_{m,k}-न्यूनतम शर्त: यह एक अपेक्षाकृत मजबूत ज्यामितीय शर्त है

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

  1. उच्च corank तक विस्तार: corank ≥ 2 स्थिति तक विस्तार करता है
  2. सामान्य मानचित्र कीटाणु: अर्धसमरूपता धारणा को हटाता है
  3. उच्च आयाम स्थिति: (Cn,0)→(Cn+1,0)(\mathbb{C}^n,0) \to (\mathbb{C}^{n+1},0) तक सामान्यीकरण करता है

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

लाभ

  1. सैद्धांतिक नवाचार: μm,k\mu_{m,k}-न्यूनतमता अवधारणा नया ज्यामितीय दृष्टिकोण प्रदान करती है
  2. रचनात्मक परिणाम: स्पष्ट मानक रूप और पैरामीटरकरण देता है
  3. एकीकृत ढांचा: कई महत्वपूर्ण अनुमानों को एकीकृत सिद्धांत में शामिल करता है
  4. तकनीकी गहराई: बीजगणितीय ज्यामिति, विलक्षणता सिद्धांत और जटिल विश्लेषण के गहन परिणामों को संयुक्त रूप से लागू करता है

कमियां

  1. लागू सीमा: परिणाम विशिष्ट ज्यामितीय स्थितियों तक सीमित हैं
  2. गणना जटिलता: μm,k\mu_{m,k}-न्यूनतमता का निर्धारण गणना में जटिल हो सकता है
  3. सामान्यता: मुख्य परिणाम प्राप्त करने के लिए कई तकनीकी धारणाओं की आवश्यकता है

प्रभाव

  1. सैद्धांतिक योगदान: शास्त्रीय अनुमानों के लिए नए समाधान मार्ग प्रदान करता है
  2. पद्धति मूल्य: अनुप्रस्थ स्लाइसेस तकनीक का नया अनुप्रयोग
  3. प्रेरणादायक: संबंधित समस्याओं के अनुसंधान के लिए नई सोच प्रदान करता है

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

  • अर्धसमरूप मानचित्र कीटाणुओं का वर्गीकरण और विरूपण सिद्धांत
  • विशेष ज्यामितीय शर्तों के तहत समतुल्यता समस्याएं
  • विलक्षणता सिद्धांत में गणना और अनुप्रयोग समस्याएं

खुली समस्याएं

पेपर तीन महत्वपूर्ण खुली समस्याएं प्रस्तुत करता है:

समस्या 1: परिमित निर्धारित अर्धसमरूप मानचित्र कीटाणु f:(Cn,0)→(Cn+1,0)f: (\mathbb{C}^n,0) \to (\mathbb{C}^{n+1},0) के लिए, क्या सांस्थितिक तुच्छ 1-पैरामीटर विरूपण सभी गैर-नकारात्मक डिग्री रखते हैं?

समस्या 2: अर्धसमरूपता धारणा को हटाकर, क्या μm,k\mu_{m,k}-न्यूनतम अनुप्रस्थ स्लाइसेस शर्त अभी भी व्हिटनी समतुल्यता को सुनिश्चित करती है?

समस्या 3: क्या समतल वक्र परिवार LtL_t मौजूद हैं जैसे कि द्विलिप्सचिट्ज़ समतुल्यता μ(Lt,0)\mu(L_t,0) की स्थिरता के समतुल्य है?

ये समस्याएं विलक्षणता सिद्धांत में गहरी संरचनात्मक समस्याओं की ओर इशारा करती हैं, भविष्य के अनुसंधान के लिए स्पष्ट दिशा प्रदान करती हैं।