तकनीकी सारांश: $\mathbb{CP}^1$ पर बीजगणितीय $n$-मानित मोनॉइड्स (Monoids), विविक्तकर (Discriminants) और प्रक्षेपण द्वैतता (Projective Duality)

समस्या विवरण

यह शोध पत्र $\mathbb{CP}^1$ पर बीजगणितीय $n$-मानित मोनॉइड्स और समूहों के सिद्धांत तथा विविक्तकर (discriminants) और प्रक्षेपण द्वैतता (projective duality) के सिद्धांतों के बीच संरचनात्मक संबंध को संबोधित करता है। जबकि पिछले कार्यों (जैसे, [BGR26], [GRS26]) ने $n$-मानित समूह योग नियमों और विविक्तकर के बीच संबंध स्थापित किए थे, यह कार्य विशेष रूप से दीर्घवृत्तीय फलनों (elliptic functions) के सिद्धांत से बचते हुए, बीजगणितीय ज्यामितीय विधियों का उपयोग करके इन संबंधों को व्यवस्थित रूप से विकसित करने का लक्ष्य रखता है। लेखक घन वक्रों (cubic curves) से प्राप्त $n$-मानित कोसेट संरचनाओं को वर्गीकृत करने, प्रक्षेपण द्वैतता के तहत इन संरचनाओं के व्यवहार का वर्णन करने और योग नियमों को परिभाषित करने में विविक्तकर की भूमिका को स्पष्ट करने का प्रयास करते हैं।

कार्यप्रणाली

लेखक बीजगणितीय ज्यामिति, सममित फलनों (symmetric functions) के सिद्धांत और क्षेत्र विस्तार (field extension) के सिद्धांत के संयोजन का उपयोग करते हैं। मुख्य पद्धतिगत घटक शामिल हैं:

1. कोसेट निर्माण (Coset Constructions): प्राथमिक निर्माण में एक 1-मानित बीजगणितीय मोनॉइड या समूह $M$ (अक्सर एक घन वक्र के बिंदुओं से प्राप्त) और उसके ऑटोमॉर्फिज्म समूह $\text{Aut}(M)$ का एक परिमित उपसमूह $H$ लेना शामिल है। परिणामी $n$-मानित संरचना को ऑर्बिट स्पेस $M/H$ पर परिभाषित किया जाता है।
2. बीजगणितीय गणना: गुणन नियमों को परिभाषित करने वाले स्पष्ट बहुपदों को कंप्यूटर बीजगणित प्रणालियों (जैसे, Wolfram Mathematica) और विएटा के सूत्रों (Vieta's formulas) का उपयोग करके व्युत्पन्न किया जाता है। यह दीर्घवृत्तीय फलन सिद्धांत पर निर्भर किए बिना उच्च-डिग्री के सममित बहुपदों को संभालने की अनुमति देता है।
3. प्रक्षेपण द्वैतता (Projective Duality): यह पत्र योग नियमों द्वारा परिभाषित वक्रों को उनके द्वैत (duals) में मैप करने के लिए हाइपरसरफेस के प्रक्षेपण द्वैतता सिद्धांत (संदर्भ [GKZ94]) का उपयोग करता है। इसमें बहुपदों के विविक्तकर का विश्लेषण और परिणामी द्वैत किस्मों (dual varieties) की ज्यामिति का विश्लेषण शामिल है।
4. क्षेत्र विस्तार सिद्धांत (Field Extension Theory): योग बहुपदों के विविक्तकर की व्याख्या विशिष्ट क्षेत्र विस्तारों के विविक्तकर के रूप में की जाती है, जो मोनॉइड्स की बीजगणितीय संरचना को शास्त्रीय संख्या-सिद्धांत संबंधी इनवेरिएंट्स से जोड़ती है।

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

1. $\mathbb{CP}^1$ पर कोसेट $n$-मानित संरचनाओं का वर्गीकरण

यह शोध पत्र $n = 2, 3, 4, 6$ के लिए दीर्घवृत्तीय वक्रों और विलक्षण घनों (singular cubics) से प्राप्त $n$-मानित योग नियमों के स्पष्ट बहुपद विवरण प्रदान करता है।

• अ-विलक्षण घन (Nonsingular Cubics):
  • $n=2$: दिखाया गया है कि सार्वभौमिक 2-मानित समूह नियम $G_{\mathbb{CP}^1}(B_a)$, एक दीर्घवृत्तीय वक्र $E$ और इनवोल्यूशन $\sigma: (\zeta, \eta) \mapsto (\zeta, -\eta)$ से प्राप्त कोसेट समूह $E\langle \sigma \rangle$ है। इसका आइसोमॉर्फिज्म क्लास $E$ के $j$-इनवेरिएंट द्वारा निर्धारित होता है।
  • $n=3, 4, 6$: यह पत्र इक्वियानहारमोनिक ($j=0$) और हार्मोनिक ($j=1728$) दीर्घवृत्तीय वक्रों के अनुरूप $G_{3,c}(\mathbb{CP}^1)$, $G_{4,b}(\mathbb{CP}^1)$, और $G_{6,c}(\mathbb{CP}^1)$ के लिए क्रमविनिमेय (commutative), नियमित (regular), और इनवोल्यूटिव (involutive) $n$-मानित कोसेट समूहों का निर्माण करता है। गुणन नियम स्पष्ट सममित बहुपदों $p_{n,c}$ और $p_{4,b}$ द्वारा दिए गए हैं।
• विलक्षण घन (Singular Cubics):
  • नोडल मामला (Nodal Case): नोडल घन से जुड़ा कोसेट समूह एक कोसेट मोनॉइड $M_{\text{node}}(\mathbb{CP}^1)$ में विलगित (degenerate) हो जाता है।
  • कस्पिडल मामला (Cuspidal Case): विलक्षण मापदंडों की सीमा में, $n=2, 3, 4, 6$ के लिए समूह $G_{n}(\mathbb{CP}^1)$, कोसेट मोनॉइड्स $M_n(\mathbb{CP}^1)$ में विलगित हो जाते हैं। विशेष रूप से, बिंदु $\infty$ एक अवशोषक तत्व (absorbing element) बन जाता है ($\infty * x = [\infty, \dots, \infty]$), और संरचना अब एक समूह नहीं रह जाती है।

2. प्रक्षेपण द्वैतता और शिफ्ट ऑपरेशन्स

एक केंद्रीय परिणाम $n$-मानित मोनॉइड्स के परिवार $\{M_n(\mathbb{CP}^1)\}_{n \in \mathbb{N}}$ के भीतर एक "शिफ्ट ऑपरेशन" की पहचान करना है।

• द्वैत मैपिंग (Duality Mapping): वक्र $X_n = \{p_n(z; x, y) = 0\} \subset \mathbb{CP}^2$, जो $n$-मानित योग नियम को एनकोड करता है, को प्रक्षेपण द्वैतता के माध्यम से एक वक्र $X_n^\vee$ में मैप किया जाता है।
• शिफ्ट तंत्र (Shift Mechanism): प्रक्षेपण द्वैतता $X_n \mapsto X_n^\vee$ के बाद मोबियस रूपांतरण $(u, v, w) \mapsto (1/u, 1/v, 1/w)$ का संयोजन एक शिफ्ट ऑपरेशन $M_n(\mathbb{CP}^1) \mapsto M_{n-1}(\mathbb{CP}^1)$ को परिभाषित करता है।
• फर्मेट वक्र (Fermat Curves): प्रमेय 8 स्थापित करता है कि फर्मेट वक्र $x^n + y^n = z^n$ का प्रक्षेपण द्वैत वह वक्र है जो $p_{n-1}(z^n; x^n, y^n) = 0$ द्वारा परिभाषित है। यह द्वैत हाइपरसरफेस के लिए एक बहुपदीय समीकरण के रूप में एक ठोस कार्यान्वयन प्रदान करता है।

3. विविक्तकर (Discriminants) और इटरेटिंग तत्व (Iterating Elements)

• विविक्तकर गुण: यह प्रदर्शित किया गया है कि योग बहुपद $P(z; x, y)$ का विविक्तकर संरचनात्मक जानकारी रखता है। $n=2$ के लिए, विविक्तकर चरों को अलग करता है, एक ऐसा गुण जो $n \ge 3$ के लिए विफल हो जाता है।
• इटरेटिंग तत्व: एक तत्व $w$ "इटरेटिंग" (या $n=2$ के लिए "डबलिंग") है यदि मल्टीसेट $w * m$ में गुणज $\ge 2$ वाले बिंदु शामिल हों। यह पत्र निर्मित समूहों के लिए इन तत्वों को वर्गीकृत करता है:
  • $n=2$ के लिए, डबलिंग बिंदु क्लेन फोर-ग्रुप $\mathbb{Z}/2 \times \mathbb{Z}/2$ के आइसोमोर्फिक हैं।
  • $n=3$ के लिए, इटरेटिंग तत्व $\mathbb{Z}/3$ का डायगोनल निर्माण बनाते हैं।
  • $n=4$ के लिए, वे $\text{diag}_2((\mathbb{Z}/4)/\sigma)$ के आइसोमोर्फिक संरचना बनाते हैं।
  • $n=6$ के लिए, इटरेटिंग तत्व एक उपसमूह (subgroup) नहीं बनाते हैं।

4. क्षेत्र विस्तार के साथ संबंध

प्रपोजिशन 15 स्थापित करता है कि बहुपद $p_n(z; x, y)$ क्षेत्र $\mathbb{Q}(x, y)$ पर तत्व $\theta = (\sqrt[n]{x} + \sqrt[n]{y})^n$ का न्यूनतम बहुपद (minimal polynomial) है। फलस्वरूप, $z$ के सापेक्ष $p_n$ का विविक्तकर, क्षेत्र विस्तार $\mathbb{Q}(x, y) \subset \mathbb{Q}(\theta)$ के विविक्तकर के साथ मेल खाता है।

महत्व और दावे

लेखक क्षेत्र में निम्नलिखित विशिष्ट योगदानों का दावा करते हैं:

1. बहुपद बनाम श्रेणी (Series): वीयरस्ट्रैस मॉडल में सामान्य घन वक्रों पर योग नियमों के विपरीत (जैसा कि [BB11] में उल्लेख किया गया है), जो औपचारिक श्रेणियों (formal series) द्वारा दिए जाते हैं, कोसेट निर्माणों के माध्यम से प्राप्त $n$-मानित नियमों को स्पष्ट रूप से बहुपदों द्वारा दिया गया है।
2. बीजगणितीय-ज्यामितीय दृष्टिकोण: यह कार्य शुद्ध बीजगणितीय-ज्यामितीय विधियों और कंप्यूटर बीजगणित का उपयोग करके $\mathbb{CP}^1$ पर 2-मानित समूहों के वर्गीकरण (जो [BGR26] में दीर्घवृत्तीय फलनों का उपयोग करके प्राप्त किया गया था) के लिए एक नया प्रमाण प्रदान करता है।
3. द्वैतता और मोनॉइड्स का एकीकरण: यह कार्य विविक्तकर और प्रक्षेपण द्वैतता (संदर्भ [GKZ94]) के बीच संबंध को स्पष्ट करता है, यह दिखाते हुए कि कैसे द्वैतता $n$-मानित मोनॉइड्स के इंडेक्स में एक शिफ्ट प्रेरित करती है।
4. स्पष्ट कार्यान्वयन: यह फर्मेट हाइपरसरफेस के द्वैत के लिए स्पष्ट बहुपद समीकरण प्रदान करता है, जो इन द्वैतों को अपरिमेय समीकरणों के बजाय बहुपदीय समीकरणों के माध्यम से प्रस्तुत करने की समस्या को हल करता है।

शोध पत्र इस बात पर ध्यान देते हुए समाप्त होता है कि जबकि $n=3$ के लिए $n$-बीजगणितीय $n$-मानित समूहों का पूर्ण वर्गीकरण ज्ञात है ([BK25]), $n > 3$ के लिए कोई पूर्ण वर्गीकरण मौजूद नहीं है, और यहाँ प्रस्तुत परिणाम विविक्तकर और द्वैतता के लेंस से इन संरचनाओं को समझने के लिए एक आधारभूत कदम के रूप में कार्य करते हैं।