🔢 mathematics

A Counterexample to Wehlau's Conjecture on Noether Numbers

यह शोधपत्र $D_8$ के द्विदलीय समूह (dihedral group) से संबंधित विशेषता 2 में एक विशिष्ट प्रतिउदाहरण का निर्माण करके वेल्हाउ के उस अनुमान को गलत सिद्ध करता है जिसके अनुसार एक $G$ -उप-मॉड्यूल (submodule) की नोदर संख्या (Noether number) उसके परिवेशी मॉड्यूल (ambient module) की तुलना में सीमित होती है, जहाँ एक 5-आयामी उप-मॉड्यूल की नोदर संख्या उसके 6-आयामी जनक मॉड्यूल की तुलना में अधिक है।

मूल लेखक: Muhammad Fazeel Anwar

प्रकाशित 2026-07-22

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

CC BY 4.0

मूल लेखक: Muhammad Fazeel Anwar

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

एक विशाल, अदृश्य पुस्तकालय की कल्पना करें जहाँ हर किताब सममिति (symmetry) के लिए एक गणितीय नुस्खा है। यह पुस्तकालय गणित की एक शाखा से संबंधित है जिसे प्रतिनिधित्व सिद्धांत (representation theory) कहा जाता है, जो इस बात का अध्ययन करता है कि सममिति के समूह (जैसे किसी आकार को घुमाना या रंगों को बदलना) संख्याओं के स्थानों के साथ कैसे परस्पर क्रिया करते हैं। इस पुस्तकालय में, "नोएदर संख्या" (Noether number) एक विशेष स्कोरकार्ड है। यह उस उच्चतम जटिलता स्तर को बताता है जिसकी आवश्यकता एक विशिष्ट सममिति समूह के लिए सबसे महत्वपूर्ण "अपरिवर्तनीय" (invariant) नुस्खे लिखने के लिए होती है। एक अपरिवर्तनीय एक ऐसा नियम है जो बिल्कुल वैसा ही रहता है चाहे आप सिस्टम को कितना भी घुमाएँ या मोड़ें। इसे एक ऐसे गुप्त कोड की तरह समझें जो तूफान में भी सुरक्षित रहता है: यदि आप एक घन (cube) को घुमाते हैं, तो यह तथ्य कि इसमें अभी भी छह फलक (faces) हैं, एक अपरिवर्तनीय है। गणितज्ञों ने लंबे समय तक यह सोचा है कि क्या किसी सिस्टम को बड़ा बनाना (नुस्खे में अधिक सामग्रियाँ जोड़ना) हमेशा गुप्त कोड को आसान बनाता है या कम से कम उसे सुलझाना कठिन नहीं करता। दशकों तक, वेहलौ (Wehlau) नामक एक सम्मानित गणितज्ञ ने अनुमान लगाया था कि उत्तर "हाँ" है: यदि आपके पास एक छोटा सिस्टम है और एक बड़ा सिस्टम है जिसमें वह समाहित है, तो बड़े वाले सिस्टम को छोटे वाले की तुलना में अधिक जटिल कोड की आवश्यकता कभी नहीं होनी चाहिए। यह एक सुरक्षित दांव जैसा लगा: एक ऐसा नियम जो लगभग हर उस मामले में सही साबित होता है जिसे उन्होंने जांचा था।

लेकिन गणित की दुनिया में, "लगभग हमेशा" का अर्थ "हमेशा" नहीं होता है। मुहम्मद फ़ज़ील अनवर के नेतृत्व वाली एक टीम ने इस नियम के लिए एक बहुत ही विशिष्ट, बहुत ही जिद्दी अपवाद खोज निकाला है। उन्होंने केवल अनुमान नहीं लगाया; उन्होंने एक ठोस, काम करने वाला मॉडल बनाया जो साबित करता है कि नियम टूट गया है। उन्होंने डाइहेड्रल समूह D8 (एक वर्ग की सममिति) पर ध्यान केंद्रित किया जो एक ऐसी दुनिया में काम करता है जहाँ एकमात्र संख्याएँ 0 और 1 हैं (एक "विशेषता 2" वाला ब्रह्मांड)। उन्होंने दो सिस्टम बनाए: 5 आयामों वाला एक छोटा सिस्टम और 6 आयामों वाला एक बड़ा सिस्टम। वेहलौ के अनुमान के अनुसार, बड़े सिस्टम का नोएदर नंबर (जटिलता स्कोर) 5 या उससे कम होना चाहिए। इसके बजाय, लेखकों ने सिद्ध किया कि बड़े सिस्टम का स्कोर 5 है, जबकि इसके भीतर मौजूद छोटे सिस्टम का स्कोर 6 है। छोटा बॉक्स वास्तव में उस बड़े बॉक्स की तुलना में अधिक कठिन है जिसमें वह समाहित है।

यह खोज वेहलौ के अनुमान के लिए एक निर्णायक "नहीं" है। लेखकों ने केवल कंप्यूटर पर इसका सिमुलेशन नहीं किया; उन्होंने एक कठोर, चरण-दर-चरण गणितीय प्रमाण प्रदान किया कि यह अनुमान इस विशिष्ट सेटिंग में विफल रहता है। उन्होंने दिखाया कि इन सममिति कोडों की जटिलता केवल आपके पास मौजूद सामग्रियों के बारे में नहीं है, बल्कि इस बारे में है कि वे सामग्रियाँ आपस में कैसे जुड़ी हुई हैं। वास्तव में, उन्होंने सिद्ध किया कि यदि आप अपने सिस्टम के एक "विभाजित" (split) संस्करण (जहाँ हिस्से ढीले जुड़े हुए हैं) बनाम एक "गैर-विभाजित" (non-split) संस्करण (जहाँ वे कसकर, उलझे हुए बंधे हैं) को लेते हैं, तो जटिलता पूरी तरह से बदल जाती है, भले ही बुनियादी निर्माण खंड समान हों। इसका अर्थ यह है कि केवल एक सिस्टम के हिस्सों को जानना यह अनुमान लगाने के लिए पर्याप्त नहीं है कि उनके रहस्यों को सुलझाना कितना कठिन है; उन हिस्सों को आपस में बुनने का तरीका उतना ही महत्वपूर्ण है जितने कि वे खुद हिस्से। उनका कार्य केवल एक नियम को नहीं तोड़ता; यह प्रकट करता है कि सममिति का परिदृश्य पहले की तुलना में कहीं अधिक घुमावदार और आश्चर्यजनक है।

तकनीकी सारांश: वेहलाउ के नोथर संख्याओं संबंधी अनुमान (Conjecture) का एक प्रति-उदाहरण

समस्या विवरण
यह शोध पत्र मॉड्यूलर इनवेरिएंट थ्योरी (modular invariant theory) के संदर्भ में वेहलाउ द्वारा प्रस्तावित एक अनुमान (conjecture) को संबोधित करता है, जो नोथर संख्याओं की एकदिष्टता (monotonicity) से संबंधित है। मान लीजिए कि $G$ एक परिमित समूह है जो एक परिमित-आयामी सदिश समष्टि (vector space) $V$ पर एक क्षेत्र $k$ के ऊपर कार्य करता है। नोथर संख्या, जिसे $\beta(V)$ द्वारा दर्शाया जाता है, $k[V]^G$ के रिंग में एक सजातीय अघटित तत्व (homogeneous indecomposable element) की अधिकतम घात (degree) के रूप में परिभाषित की जाती है। वेहलाउ ने अनुमान लगाया था कि किसी भी $G$ -उप-समष्टि (submodule) $U \subseteq V$ के लिए, असमिका $\beta(U) \leq \beta(V)$ सत्य होगी। हालांकि इस अनुमान को विशिष्ट मामलों (जैसे, अभाज्य क्रम के चक्रीय समूहों, विशिष्ट अभिलक्षणों में कुछ द्विक-दशात्मक (dihedral) समूहों) के लिए सिद्ध किया जा चुका है, लेकिन सामान्य मॉड्यूलर मामले में इसकी वैधता एक खुला प्रश्न बनी हुई थी।

कार्यप्रणाली (Methodology)
लेखक क्षेत्र $k = \mathbb{F}_2$ पर द्विक-दशात्मक समूह $D_8$ का उपयोग करके एक विशिष्ट प्रति-उदाहरण (counterexample) का निर्माण करते हैं। कार्यप्रणाली इस प्रकार है:

प्रतिनिधित्व निर्माण (Representation Construction):
- एक 6-आयामी प्रतिनिधित्व $V$ को इसके द्वैत समष्टि (dual space) $X = V^*$ के माध्यम से परिभाषित किया गया है जिसका आधार $\{z_0, \dots, z_5\}$ है। $r$ और $s$ के जनरेटरों (generators) की $D_8$ की क्रिया को इस आधार पर स्पष्ट रूप से परिभाषित किया गया है।
- एक 5-आयामी उप-समष्टि $U \subset V$ का निर्माण $Q = X / kz_0$ (जहाँ $kz_0$ $G$ के अंतर्गत स्थिर रेखा है) के विचार से किया गया है और इसके द्वैत $U = Q^*$ को लिया गया है। यह एक इंजेक्टिव (injective) $G$ -होमोमोर्फिज्म $U \hookrightarrow V$ प्रदान करता है।
- निर्माण $\mathbb{F}_2$ पर परिभाषित है, लेकिन स्केलर विस्तार (extension of scalars) के माध्यम से यह किसी भी अभिलक्षण 2 वाले क्षेत्र के लिए वैध रहता है।
संगणनात्मक इनवेरिएंट थ्योरी (Computational Invariant Theory):
- लेखक [10] में वर्णित एल्गोरिदम और कंप्यूटर बीजगणितीय प्रणाली Magma [1] का उपयोग करके इनवेरिएंट रिंग्स $k[V]^G$ और $k[U]^G$ की गणना करते हैं।
- $V$ के लिए: इनवेरिएंट रिंग $R = \mathbb{F}_2[z_0, \dots, z_5]^G$ का विश्लेषण किया गया है। लेखक 11 सजातीय इनवेरिएंट्स $\{f_1, \dots, f_{11}\}$ की एक सेट की पहचान करते हैं और सिद्ध करते हैं कि वे एक न्यूनतम जनरेटिंग सेट (minimal generating set) बनाते हैं। यह सिमंड्स (Symonds) के बाउंड और एक सजातीय पैरामीटर प्रणाली का उपयोग करके घात 12 तक पूर्ण इनवेरिएंट स्पेस के आयाम (dimension) से मिलान करके सत्यापित किया गया है।
- $U$ के लिए: इनवेरिएंट रिंग $S = \mathbb{F}_2[x_0, \dots, x_4]^G$ का भी इसी प्रकार विश्लेषण किया गया है। लेखक 9 सजातीय इनवेरिएंट्स $\{f_1, \dots, f_9\}$ की एक सेट की पहचान करते हैं और समान आयाम गणना और गॉसियन एलिमिनेशन तकनीकों का उपयोग करके सिद्ध करते हैं कि वे एक न्यूनतम जनरेटिंग सेट बनाते हैं।

मुख्य परिणाम
प्राconstructed जोड़ी $(U, V)$ के लिए नोथर संख्याओं की गणना प्राथमिक परिणाम है:

निर्मित 6-आयामी मॉड्यूल $V$ के लिए, $k[V]^G$ के न्यूनतम जनरेटिंग सेट में उच्चतम घात 5 है। अतः, $\beta(k[V]^G) = 5$ ।
निर्मित 5-आयामी उप-समष्टि $U$ के लिए, $k[U]^G$ के न्यूनतम जनरेटिंग सेट में उच्चतम घात 6 है। अतः, $\beta(k[U]^G) = 6$ ।

परिणामस्वरूप, निर्मित जोड़ी $(U, V)$ के लिए असमिका $\beta(U) \leq \beta(V)$ का उल्लंघन होता है, क्योंकि $6 > 5$ है।

महत्व और परिणाम
यह शोध पत्र इस प्रति-उदाहरण के आधार पर निम्नलिखित महत्व का दावा करता है:

अनुमान का खंडन: यह परिणाम निश्चित रूप से सामान्य मॉड्यूलर मामले में वेहलाउ के एकदिष्टता (monotonicity) अनुमान को गलत सिद्ध करता है।
इन्फ्लेशन (Inflation) के माध्यम से सामान्यीकरण: $D_8$ -क्रिया को किसी भी अधिरोपण (surjection) $\pi: H \twoheadrightarrow D_8$ के माध्यम से इन्फ्लेट करके, यह प्रति-उदाहरण किसी भी परिमित समूह $H$ तक विस्तृत हो जाता है जो $D_8$ को एक कोटिएंट (quotient) के रूप में स्वीकार करता है। इसमें $D_8 \times L$ के प्रत्यक्ष उत्पाद, क्रम $\geq 8$ वाले द्विक-दशात्मक 2-समूह, और क्रम $\geq 16$ वाले सामान्यीकृत क्वाटर्नियन (generalized quaternion) समूह शामिल हैं।
संरचनात्मक संवेदनशीलता (Structural Sensitivity): यह उदाहरण प्रदर्शित करता है कि मॉड्यूलर नोथर संख्या केवल जॉर्डन-होल्डर कारकों (Jordan–Hölder factors), सेमीसिम्प्लीफिकेशन (semisimplification), या संबद्ध श्रेणीबद्ध मॉड्यूल (associated graded module) द्वारा निर्धारित नहीं होती है। विशेष रूप से, गैर-विभाजित विस्तार (non-split extension) $0 \to kz_0 \to X \to Q \to 0$ एक कम नोथर संख्या ( $\beta=5$ ) देता है तुलनात्मक रूप से विभाजित विस्तार $Q \oplus k$ ( $\beta=6$ ) के, जबकि दोनों के संरचनात्मक घटक (composition factors) समान हैं।
सामान्यीकृत नोथर संख्याएँ: शोध पत्र यह भी नोट करता है कि समान जोड़ी $(U, V)$ पहले चार सामान्यीकृत नोथर संख्याओं $\beta_k(G, W)$ के लिए भी असमानता को उलट देती है, जो दर्शाता है कि $k=1, 2, 3, 4$ के लिए $\beta_k(G, U) > \beta_k(G, V)$ है।

यह कार्य स्थापित करता है कि मॉड्यूलर प्रतिनिधित्व सिद्धांत में नोथर संख्याओं की एकदिष्टता को तब तक नहीं माना जा सकता जब तक कि उप-समष्टि का आयाम परिवेशी (ambient) मॉड्यूल से कम न हो।

इसी तरह के और पेपर