🔢 mathematics

Existence and maximal corank of simple $Z_p$ -invariant germs

यह शोध पत्र अभाज्य क्रम के समूहों के लिए इक्विवेरिएंटली स्थिर विलक्षणताओं (equivariantly stable singularities) के कोरैंक (corank) पर ऊपरी सीमा में सुधार करता है और यह प्रदर्शित करता है कि सरल $\mathbb{Z}_p$ -इनवेरिएंट जर्म्स का अधिकतम कोरैंक अभाज्य $p$ के बढ़ने के साथ अनिश्चित रूप से बढ़ता है।

मूल लेखक: Ivan Proskurnin

प्रकाशित 2026-04-30

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

CC BY 4.0

मूल लेखक: Ivan Proskurnin

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

कल्पना कीजिए कि आप एक वास्तुकार (architect) हैं जो एक विशेष, कठोर सामग्री से सबसे सरल संभव संरचनाएँ बनाने की कोशिश कर रहे हैं। गणित की दुनिया में, इन "संरचनाओं" को सिंगुलैरिटीज़ (singularities) कहा जाता है—ऐसे बिंदु जहाँ एक चिकनी सतह अचानक मुड़ती है, घूमती है या टूट जाती है।

यह शोधपत्र इस बारे में है कि सख्त नियमों के तहत बनाई गई ये "सरल" संरचनाएँ कितनी जटिल हो सकती हैं, इसकी सीमाओं को खोजने के लिए है। विशेष रूप से, लेखक, इवान प्रोस्कुरनिन (Ivan Proskurnin), उन आकृतियों को देख रहे हैं जिन्हें एक विशिष्ट संख्या के चरणों द्वारा घुमाने पर समान दिखना चाहिए (जैसे कि घड़ी की सुई जो वापस शुरू होने के लिए $p$ बार घूमती है, जहाँ $p$ एक अभाज्य संख्या (prime number) है)।

यहाँ रोजमर्रा के उपमाओं (analogies) का उपयोग करके इस शोधपत्र की खोजों का विवरण दिया गया है:

1. पिछला नियमकोश (द "बुरी खबर")

इस शोधपत्र से पहले, गणितज्ञों के पास एक नियमकोश (प्रमेय 1.1) था जो यह सीमित करने की कोशिश करता था कि ये सरल आकृतियाँ कितनी "अव्यवस्थित" हो सकती हैं। नियम कहता था:

"यदि आप इन रोटेशन नियमों का सम्मान करने वाली एक सरल आकृति चाहते हैं, तो 'अव्यवस्थित' आयामों (जिसे कोरैंक (corank) कहा जाता है) की संख्या बहुत बड़ी नहीं हो सकती। इसे रोटेशन चरणों की संख्या ( $p$ ) से जुड़े एक विशिष्ट सूत्र द्वारा सीमित किया गया है।"

लेखक को लगा कि यह नियम बहुत निराशावादी था। इसने संकेत दिया कि चाहे आपके पास रोटेशन के कितने भी चरण हों, एक "सरल" आकृति की जटिलता पर एक सख्त सीमा होगी। लेखक को संदेह था कि यह सीमा वास्तव में अस्तित्व में नहीं होनी चाहिए।

2. नई खोज: छत गायब है

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

A. छत वास्तविक है, लेकिन केवल कुछ नियमों के लिए (प्रमेय 1.2)
लेखक ने नियमकोश को परिष्कृत किया। उन्होंने दिखाया कि "अव्यवस्थित" होने की सीमा केवल तभी लागू होती है जब रोटेशन के नियम "वास्तविक" (एक विशिष्ट गणितीय गुण) हों। यदि नियम "काल्पनिक" (तकनीकी अर्थ में) हैं, तो पुराना नियम उसी तरह लागू नहीं होता है।

उपमा: कल्पना कीजिए कि आप ब्लॉकों से एक मीनार बना रहे हैं। पुराने नियम ने कहा, "आप कभी भी 10 ब्लॉक से अधिक ऊँचा नहीं रख सकते।" नया नियम कहता है, "वास्तव में, आप केवल 10 ब्लॉक ऊँचा ही रख सकते यदि आप लाल ब्लॉकों का उपयोग कर रहे हैं। यदि आप नीले ब्लॉकों का उपयोग करते हैं, तो नियम अलग है।"

B. "अव्यवस्थितता" अनंत हो सकती है (प्रमेय 1.3)
यह सबसे बड़ी मुख्य खबर है। लेखक सिद्ध करते हैं कि आप जिस भी संख्या $N$ के बारे में सोच सकते हैं (10, 1,000, 1,000,000), उसके लिए एक अभाज्य संख्या $p$ (एक विशिष्ट रोटेशन नियम) मौजूद है जहाँ आप एक "सरल" आकृति बना सकते हैं जो $N$ से भी अधिक अव्यवस्थित है।

उपमा: सोचिए कि "कोरैंक" एक स्वेटर पर ढीले धागों की संख्या है। पुरानी धारणा यह थी कि एक "सरल" स्वेटर में केवल कुछ ही ढीले धागे हो सकते हैं। प्रोस्कुरनिन सिद्ध करते हैं कि यदि आप सही पैटर्न (सही अभाज्य संख्या $p$ ) चुनते हैं, तो आप 100 ढीले धागे, या 1,000, या एक मिलियन ढीले धागों वाला एक "सरल" स्वेटर बना सकते हैं। जैसे-जैसे रोटेशन के चरण ( $p$ ) बढ़ते हैं, जटिलता की क्षमता बिना किसी सीमा के बढ़ती जाती है।

3. उन्होंने इसे कैसे सिद्ध किया? (जादुई रेसिपी)

यह सिद्ध करने के लिए कि आप अनंत रूप से जटिल "सरल" आकृतियाँ प्राप्त कर सकते हैं, लेखक ने केवल अनुमान नहीं लगाया; उन्होंने एक विशिष्ट रेसिपी बनाई।

सामग्री (Ingredients): उन्होंने एक बड़ी अभाज्य संख्या $p$ चुनी।
निर्माण (Construction): उन्होंने संख्या $p-1$ को कई छोटे कारकों (factors) में विभाजित किया (जैसे एक बड़े पिज्जा को कई स्लाइस में तोड़ना)।
आकृति (Shape): उन्होंने इन कारकों का उपयोग एक विशिष्ट गणितीय सूत्र (एक बहुपद/polynomial) बनाने के लिए किया जो एक लूप की तरह कार्य करता है।
परिणाम (Result): यह सूत्र एक ऐसी आकृति बनाता है जो "स्थिर" (stable) है (यह आसानी से टूटती नहीं है) और "सरल" (simple) है (इसमें अनावश्यक जटिलताएं नहीं हैं), फिर भी इसमें बहुत अधिक आयाम (उच्च कोरैंक) हैं।

उन्होंने यह गारंटी देने के लिए कि बड़े $p$ के लिए, आप हमेशा पर्याप्त "स्लाइस" ढूंढ सकते हैं जिससे एक विशाल, जटिल संरचना बनाई जा सके, एर्डोस (Erdős) के एक प्रसिद्ध गणितीय प्रमेय (कि अभाज्य संख्याएँ कैसे छोटे कारकों से बनी होती हैं) का उपयोग किया।

सारांश

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

यहाँ इवान प्रोस्कुरनिन के शोध पत्र "Existence and Maximal Corank of Simple $\mathbb{Z}_p$ -Invariant Germs" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र एक चक्रीय समूह (cyclic group) $\mathbb{Z}_p$ के प्रभाव के तहत इक्विवेरिएंटली सिंपल सिंगुलैरिटीज़ (equivariantly simple singularities) के वर्गीकरण को संबोधित करता है, जो जटिल स्थान $(\mathbb{C}^n, 0)$ पर कार्य करता है।

संदर्भ (Context): पूर्ववर्ती कार्य (संदर्भ [1] के रूप में उद्धृत) ने ऐसे सिंगुलैरिटीज़ के लिए कोरैंक (corank) (जिसे $n - \text{rk}(\tau)$ के रूप में परिभाषित किया गया है, जहाँ $\text{rk}(\tau)$ एक $\tau$ -इनवेरिएंट क्वाड्रेटिक फॉर्म का अधिकतम रैंक है) पर एक ऊपरी सीमा स्थापित की थी। पिछले अनुमान ने सुझाव दिया था कि एक निश्चित प्रिम (prime) $p$ के लिए, कोरैंक $p$ के लघुगणकीय फलनों (logarithmic functions) द्वारा सीमित होता है (विशेष रूप से $\log_2(p+1)$ या $\log_2(2p-1)$ )।
द्वंद्व (The Conflict): सभी सिंपल सिंगुलैरिटीज़ के "टेम" (tame) वर्गीकरण के लिए आम तौर पर विशिष्ट समूह मापदंडों से स्वतंत्र एक स्थिर कोरैंक ऊपरी सीमा की आवश्यकता होती है। लेखक यह जांचते हैं कि क्या ऐसी सीमा मौजूद है या क्या $p$ के बढ़ने के साथ कोरैंक अनिश्चित रूप से बढ़ सकता है।
मुख्य प्रश्न: क्या $p \to \infty$ होने पर एक सिंपल $\mathbb{Z}_p$ -इनवेरिएंट जर्म (germ) का कोरैंक मनमाना रूप से बड़ा हो सकता है? इसके अतिरिक्त, ऐसी सिंगुलैरिटीज़ के अस्तित्व के लिए समूह क्रिया (विशेष रूप से प्रतिनिधित्व का डिटरमिनेंट) पर सटीक प्रतिबंध क्या हैं?

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

लेखक सिंगुलैरिटी थ्योरी (singularity theory), प्रतिनिधित्व सिद्धांत (representation theory), और संख्या सिद्धांत (number theory) की तकनीकों का उपयोग करते हैं।

रैखिकीकरण और विकर्णीकरण (Linearization and Diagonalization): चूंकि $(\mathbb{C}^n, 0)$ पर किसी भी एनालिटिक क्रिया का एक परिमित समूह (finite group) द्वारा रैखिकीकरण किया जा सकता है, और परिमित अबेलियन समूहों के प्रतिनिधित्व विकर्णीय (diagonalizable) होते हैं, इसलिए अध्ययन को $\chi_i$ (जो $\mathbb{Z}_p$ के कैरेक्टर्स हैं) वाले रैखिक क्रियाओं के रूप में सरल बनाया गया है: $g \cdot (x_1, \dots, x_n) = (\chi_1(g)x_1, \dots, \chi_n(g)x_n)$ ।
इक्विवेरिएंट जैकोबियन बीजगणित (Equivariant Jacobian Algebra): शोध पत्र जैकोबियन बीजगणित $Q_f = \mathbb{C}\{x_1, \dots, x_n\} / J_f$ (जहाँ $J_f$ जैकोबियन आइडियल है) का उपयोग करता है। समूह $G$ का $Q_f$ पर प्रभाव पड़ता है, और $Q_f$ पर $G$ के प्रतिनिधित्व को इक्विवेरिएंट मिलर संख्या $\mu_G(f)$ के रूप में परिभाषित किया गया है।
स्थिरता मानदंड (Stability Criteria): लेखक इस चरित्रण पर निर्भर करते हैं कि एक जर्म इक्विवेरिएंटली स्थिर (equivariantly stable) है यदि और केवल यदि $Q_f$ में इनवेरिएंट तत्वों का आयाम (जिसे $\nu(f)$ द्वारा दर्शाया गया है) 1 के बराबर है।
स्प्लिटिंग लेम्मा (Splitting Lemma): विश्लेषण एक गैर-अपभ्रंश (non-degenerate) द्विघात भाग (जिसका रैंक $\text{rk}(\tau)$ है) और एक अवशेष भाग $h$ (जहाँ $j^2(h)=0$ ) में एक स्थिर जर्म $f$ को विभाजित करने के लिए स्प्लिटिंग लेम्मा का उपयोग करता है। यह समस्या को $h$ के कोरैंक के विश्लेषण में बदलने की अनुमति देता है।
संख्यात्मक निर्माण (Number Theoretic Construction): उच्च-कोरैंक उदाहरणों के अस्तित्व को सिद्ध करने के लिए, लेखक विशिष्ट बहुपदों (लूप-टाइप इन्वर्टिबल बहुपदों) का निर्माण करते हैं और यह दिखाने के लिए एर्दोस के प्रमेय (Erdős's theorem) का उपयोग करते हैं कि बड़े प्रिम्स के लिए, $p-1$ को बड़ी संख्या में पूर्णांकों में विभाजित किया जा सकता है।

3. मुख्य योगदान और प्रमेय (Key Contributions and Theorems)

A. अस्तित्व की शर्तों का परिशोधन (प्रमेय 1.2)

यह शोध पत्र उन स्थितियों में सुधार करता है जिनमें इक्विवेरिएंटली सिंपल जर्म्स अस्तित्व में हो सकते हैं।

पूर्व परिणाम: सिंपल जर्म्स अस्तित्व में हो सकते थे यदि $\det(\tau) \neq 1$ (सीमा $\log_2(p+1)$ के साथ) या यदि $\det(\tau) = 1$ (सीमा $\log_2(2p-1)$ के साथ)।
नया परिणाम: लेखक सिद्ध करते हैं कि यदि $\det(\tau) = 1$ , तो सिंपल जर्म्स तब तक अस्तित्व में नहीं हो सकते जब तक कि क्रिया एक वास्तविक समूह क्रिया (real group action) न हो (जो पूर्ण रैंक $n$ वाला एक इनवेरिएंट क्वाड्रेटिक फॉर्म स्वीकार करती है)।
निहितार्थ: यह संभावित समूह क्रियाओं की सीमा को काफी कम कर देता है। जटिल क्रियाओं के लिए जहाँ $\det(\tau)=1$ है, वहां सिंपल सिंगुलैरिटीज़ असंभव हैं।

B. अनबाउंडेड कोरैंक का प्रमाण (प्रमेय 1.3)

यह शोध पत्र का प्राथमिक योगदान है।

कथन: किसी भी पूर्णांक $N$ के लिए, एक प्रिम $p$ और एक $\mathbb{Z}_p$ -इनवेरिएंट सिंपल जर्म $f: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ मौजूद है जिसमें $j^2(f)=0$ और कोरैंक $n > N$ है।
महत्व: यह सिंपल सिंगुलैरिटीज़ के कोरैंक के लिए एक स्थिर ऊपरी सीमा की आशा को खारिज करता है। जैसे-जैसे $p \to \infty$ होता है, अधिकतम कोरैंक अनंत की ओर बढ़ता है।

C. इक्विवेरिएंट मिलर संख्याओं का वर्गीकरण (प्रमेय 3.3 और 4.1)

लेखक स्थिर जर्म्स के लिए इक्विवेरिएंट मिलर संख्या $\mu_{\mathbb{Z}_p}(f)$ के संभावित आइसोमॉर्फिज्म क्लास का वर्गीकरण करते हैं।

यह दिखाया गया है कि क्लास $\tilde{\mathbb{C}} \oplus 2W$ (जहाँ $W$ रेगुलर रिप्रेजेंटेशन का प्रतिबंध है) स्थिर जर्म्स के लिए नहीं हो सकती।
यह निष्कासन प्रमेय 1.2 के प्रमाण के लिए महत्वपूर्ण है, क्योंकि यह जैकोबियन बीजगणित के संभावित आयामों को प्रतिबंधित करता है, जिससे विशिष्ट मामलों में कोरैंक सीमित हो जाता है, लेकिन अन्य मामलों में अनबाउंडेड रहता है।

4. परिणाम और निर्माण (Results and Construction)

उच्च-कोरैंक उदाहरणों का निर्माण:
प्रमेय 1.3 को सिद्ध करने के लिए, लेखक एक विशिष्ट परिवार के बहुपदों का निर्माण करते हैं:
$f = x_1^{d_1}x_2 + x_2^{d_2}x_3 + \dots + x_{n-1}^{d_{n-1}}x_n + x_n^{d_n}x_1$

समूह क्रिया (Group Action): $\mathbb{Z}_p$ का एक जनरेटर $g$ (जहाँ $p = d_1 \dots d_n + 1$ ) विशिष्ट वेट्स (weights) के साथ निर्देशांकों पर कार्य करता है जिसमें प्रिमिटिव रूट ऑफ यूनिटी शामिल है।
गुणधर्म: यह बहुपद "लूप टाइप" का एक इन्वर्टिबल बहुपद है, जिसके बारे में ज्ञात है कि इसमें एक आइसोलेटेड क्रिटिकल पॉइंट होता है। यह सिद्ध किया गया है कि यह इक्विवेरिएंटली स्थिर है।
कोरैंक: कोरैंक चरों की संख्या $n$ द्वारा निर्धारित होता है।
संख्या सिद्धांत संबंध: लेखक एर्दोस के प्रमेय का आह्वान करते हैं, जो कहता है कि "लगभग सभी" प्रिम्स $p$ के लिए, $p-1$ के विशिष्ट प्रिम भाजकों की संख्या $\log(\log(p))$ के रूप में बढ़ती है। $p$ को ऐसा चुनने से कि $p-1$ में कई गुणनखंड हों, एक बड़ा $n$ प्राप्त करने के लिए $p-1 = d_1 \dots d_n$ का अपघटन (decomposition) किया जा सकता है।
एसिम्प्टोटिक व्यवहार (Asymptotic Behavior): प्रिम $p$ के लिए अधिकतम कोरैंक कम से कम $O(\log(\log(p)))$ है।

5. महत्व (Significance)

वर्गीकरण सीमाओं का समाधान: यह शोध पत्र निर्णायक रूप से उत्तर देता है कि सभी $\mathbb{Z}_p$ -इनवेरिएंट सिंपल सिंगुलैरिटीज़ (कोरैंक की एक समान सीमा के साथ) का एक "टेम" (tame) वर्गीकरण असंभव है। समूह के प्रिम ऑर्डर के साथ वर्गीकरण की जटिलता बढ़ती है।
स्थिरता सिद्धांत का परिशोधन: यह सिद्ध करके कि $\det(\tau)=1$ सामान्यतः (वास्तविक क्रियाओं को छोड़कर) सिंपल सिंगुलैरिटीज़ को रोकता है, यह शोध पत्र इक्विवेरिएंट सेटिंग में स्थिरता के लिए आवश्यक ज्यामितीय बाधाओं को स्पष्ट करता है।
अंतर्विषयक संबंध: यह कार्य सिंगुलैरिटी थ्योरी को एनालिटिक नंबर थ्योरी के साथ सफलतापूर्वक जोड़ता है, जो बाउंडेडनेस अनुमानों (boundedness conjectures) के ज्यामितीय काउंटर-उदाहरण बनाने के लिए प्रिम फैक्टर्स के वितरण का उपयोग करता है।
भावी कार्य के लिए आधार: अस्तित्व की शर्तों को सीमित करके (प्रमेय 1.2) और कोरैंक की वृद्धि दर स्थापित करके (प्रमेय 1.3), यह शोध पत्र एक अधिक सूक्ष्म वर्गीकरण का मार्ग प्रशस्त करता है जो प्रिम $p$ पर कोरैंक की निर्भरता को ध्यान में रखता है।

संक्षेप में, प्रोस्कुरनिन यह प्रदर्शित करते हैं कि हालांकि छोटे प्रिम्स या विशिष्ट डिटरमिनेंट स्थितियों के लिए सिंपल सिंगुलैरिटीज़ दुर्लभ हैं, लेकिन जैसे-जैसे प्रिम $p$ बढ़ता है, वे अधिक जटिल (उच्च कोरैंक) होती जाती हैं, जो इक्विवेरिएंट सिंगुलैरिटीज़ के वर्गीकरण के लिए अपेक्षाओं को मौलिक रूप से बदल देती हैं।