Addendum/Corrigendum to "On solubility of skew left braces and solutions of the Yang-Baxter equation"

यहाँ "On solubility of skew left braces and solutions of the Yang-Baxter equation" नामक शोध पत्र का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र लेखकों के पिछले कार्य (Adv. Math. 455, 2024) में पहचानी गई एक महत्वपूर्ण कमी को संबोधित करता है, विशेष रूप से Theorem C के संबंध में। मूल शोध पत्र में, लेखकों ने दावा किया था कि एक 'skew brace' विलेय (soluble) है यदि और केवल यदि इसका संबद्ध यांग-बैक्सटर समीकरण (Yang-Baxter Equation - YBE) का समाधान विलेय है।

हालाँकि, लेखकों द्वारा की गई एक समीक्षा (जो बाहरी फीडबैक से प्रेरित थी) से पता चला कि Theorem C के प्रमाण में एक "अपूरणीय त्रुटि" (irreparable mistake) थी। यह त्रुटि solutions के homomorphisms की परिभाषा में हुई चूक के कारण उत्पन्न हुई थी। मूल परिभाषा पर्याप्त नहीं थी ताकि यह सुनिश्चित किया जा सके कि समाधान के संरचनात्मक गुण (विशेष रूप से विलेयता) संबद्ध संरचनात्मक skew brace ($G_X$) के गुणों के साथ सही ढंग से मेल खाते हैं। फलस्वरूप, समाधान की विलेयता और skew brace की विलेयता के बीच की समानता को मूल परिभाषाओं के तहत कठोरता से स्थापित नहीं किया जा सका था।

इस परिशोधन (addendum) का प्राथमिक लक्ष्य i-homomorphisms की एक परिष्कृत श्रेणी पेश करके और solubility की अवधारणा को पुनर्व्याख्यायित करके Theorem C के प्रमाण को सुधारना है।

2. कार्यप्रणाली और नई परिभाषाएँ (Methodology and New Definitions)

विसंगति को हल करने के लिए, लेखक i-homomorphisms (ideal-homomorphisms) नामक मैपिंग की एक नई श्रेणी पेश करते हैं और इन मैपिंग के आधार पर indecomposability और solubility को पुनर्व्याख्यायित करते हैं।

A. i-Homomorphisms और i-Kernels

• परिभाषा: समाधानों का एक homomorphism $f: (X, r) \to (Y, s)$ एक i-homomorphism है यदि एक विशिष्ट तुल्यता वर्ग (equivalence class) $X_0 \subseteq X$ (जिसे i-kernel कहा जाता है) मौजूद है, जिससे $\ker f$ के प्रत्येक तुल्यता वर्ग $Z$ के लिए, समाधान निम्नलिखित संतुष्ट करता है:
  $$r(X_0, Z) = Z \times X_0 \quad \text{और} \quad r(Z, X_0) = X_0 \times Z$$
• महत्व: मानक homomorphisms के विपरीत, i-homomorphisms kernel और शेष समाधान स्थान के बीच एक विशिष्ट अंतःक्रिया को लागू करते हैं। यह संरचना यह सुनिश्चित करती है कि kernel संबद्ध संरचनात्मक skew brace में 'ideals' को प्रेरित करे।

B. i-Simplicity और Indecomposability

• i-Simple Solution: एक गैर-एकल (non-singleton) समाधान i-simple है यदि किसी भी i-homomorphism का एकमात्र i-kernel संपूर्ण सेट $X$ है।
• मुख्य लक्षण (Proposition 3.3): लेखक सिद्ध करते हैं कि एक समाधान indecomposable है यदि और केवल यदि वह i-simple है। यह पिछले बोध को सुधारता है जहाँ "simple" (मानक homomorphism के अर्थ में) "indecomposable" के साथ पूरी तरह से संरेखित नहीं था।

C. Structure Skew Braces के साथ संबंध

• Theorem 3.9: लेखक स्थापित करते हैं कि संरचनात्मक skew brace $G_X$ में i-kernel द्वारा जनित आदर्श (ideal) $\langle X_0 \rangle$, एक strong left ideal बनाता है। इसके अतिरिक्त, i-kernel और प्रेरित मानचित्र के kernel द्वारा जनित आदर्श, $I_{X_0} = \langle X_0 \rangle \cdot \ker \bar{f}$, $G_X$ का एक पूर्ण ideal है।
• यह एक कठोर सेतु स्थापित करता है: समाधानों के i-homomorphisms सीधे संरचनात्मक skew brace में 'ideal quotients' के अनुरूप होते हैं।

D. Soluble Solutions की पुनर्व्याख्या

• Definition 4.1: एक समाधान $(X, r)$ को soluble के रूप में परिभाषित किया गया है यदि i-epimorphisms $f_k: X \to B_k$ की एक श्रृंखला $X_k$ के i-kernels के साथ मौजूद है, जहाँ पिछले kernels के प्रतिबिंब (images) लक्षित skew braces में अबelian ideals बनाते हैं।
• यह परिभाषा soluble solutions को indecomposable (i-simple) solutions के "विपरीत" के रूप में स्थापित करती है, जो soluble skew braces की परिभाषा को प्रतिबिंबित करती है।

3. मुख्य परिणाम और प्रमेय (Key Results and Theorems)

Theorem 4.2 (मुख्य सुधार)

कथन: यदि एक समाधान $(X, r)$ soluble है (नई i-homomorphism परिभाषा के तहत), तो इसका संबद्ध संरचनात्मक skew brace $G_X$ soluble है।

• महत्व: यह मूल Theorem C के "only if" दिशा की मरम्मत करता है, जो पहले त्रुटिपूर्ण थी। प्रमाण i-epimorphisms की श्रृंखला को $G_X$ में ideals की श्रृंखला तक उठाने (lifting) पर निर्भर करता है।

Corollary 4.3 (पुनर्स्थापित समानता)

कथन: एक skew brace $B$ के लिए, निम्नलिखित समकक्ष हैं:

1. $B$ एक soluble skew brace है।
2. संबद्ध समाधान $(B, r_B)$ एक soluble solution है।
3. संरचनात्मक skew brace $G_B$ soluble है।
4. permutation skew brace $G(B, r_B)$ soluble है।

• महत्व: यह मूल शोध पत्र के मुख्य परिणाम को पूरी तरह से बहाल करता है, यह पुष्टि करता है कि बीजगणितीय संरचना और समाधान की विलेयता (solubility) समान है, बशर्ते नई परिभाषाओं का उपयोग किया जाए।

Theorem 4.4 (विपरीत के लिए पर्याप्त शर्त)

कथन: मान लीजिए $(X, r)$ एक समाधान है जिसका संरचनात्मक skew brace $G_X$ soluble है। यदि एक तत्व $x \in X$ मौजूद है ऐसा कि $\lambda_x = \rho_x = \text{id}_X$ (अर्थात, $x$ संरचनात्मक मानचित्रों के लिए एक fixed point है), तो $(X, r)$ एक soluble solution है।

• महत्व: यह Theorem 4.2 के विपरीत (converse) के लिए एक पर्याप्त शर्त प्रदान करता है। यह मूल Theorem D का सामान्यीकरण करता है।

Counter-Example (उदाहरण 4.7)

लेखक प्रदर्शित करते हैं कि Theorem 4.2 का विपरीत (converse) सामान्य रूप से सत्य नहीं है। वे 3 तत्वों पर एक Lyubashenko solution प्रस्तुत करते हैं जिसका संरचनात्मक skew brace soluble है (यह right nilpotent है) लेकिन वह एक simple (और इस प्रकार non-soluble) solution है। यह रेखांकित करता है कि Theorem 4.4 में दी गई स्थिति $\lambda_x = \rho_x = \text{id}_X$ आवश्यक है।

4. महत्व और प्रभाव (Significance and Impact)

1. साहित्य का सुधार: यह शोध पत्र Yang-Baxter solutions के वर्गीकरण में एक मौलिक त्रुटि को सफलतापूर्वक सुधारता है, जिससे skew braces और उनके समाधानों के बीच का संबंध गणितीय रूप से सुदृढ़ होता है।
2. परिष्कृत वर्गीकरण उपकरण: i-homomorphisms पेश करके, लेखक indecomposable solutions के विश्लेषण के लिए एक अधिक मजबूत उपकरण प्रदान करते हैं। Indecomposability और i-simplicity के बीच की समानता न्यूनतम समाधानों के वर्गीकरण के लिए एक स्पष्ट मार्ग प्रदान करती है।
3. संरचनात्मक अंतर्दृष्टि: यह कार्य समाधानों की "twist" प्रकृति और skew braces की ideal संरचना के बीच के संबंध को स्पष्ट करता है। यह दिखाता है कि जबकि simple solutions हमेशा simple skew braces के अनुरूप नहीं होते हैं, नया i-simple अवधारणा सटीक रूप से मेल खाती है।
4. Multipermutation Solutions: परिणाम soluble solutions को multipermutation solutions से जोड़ते हैं। जबकि सभी multipermutation solutions के soluble structure skew braces होते हैं, यह शोध पत्र स्पष्ट करता है कि वे तब तक soluble solutions नहीं होते जब तक कि विशिष्ट शर्तें (जैसे fixed point की उपस्थिति) पूरी न हों।

निष्कर्ष (Conclusion)

यह परिशोधन (addendum) एक महत्वपूर्ण सुधार है जो skew left braces और Yang-Baxter समीकरण को जोड़ने वाले सैद्धांतिक ढांचे को मजबूत करता है। i-homomorphisms के दृष्टिकोण से solubility को पुनर्व्याख्यायित करके, लेखक सफलतापूर्वक सिद्ध करते हैं कि एक समाधान की विलेयता उसके संबद्ध संरचनात्मक skew brace की विलेयता के समकक्ष है, बशर्ते समाधान कुछ विशिष्ट संरचनात्मक शर्तों को पूरा करता हो। यह पिछले कार्य की अस्पष्टता को दूर करता है और non-degenerate solutions के लिए एक अधिक सटीक वर्गीकरण स्थापित करता है।