🔢 mathematics

Orthogonal Idempotents in Symmetric Tensor Powers of Composition Algebras

यह शोध पत्र हैमिल्टन क्वाटरनियन और केली ऑक्टोनियन बीजगणितों के $n$ -वें सममित घातों (symmetric powers), साथ ही उनके कॉम्प्लेक्सिफिकेशन और विशिष्ट साहचर्य उप-बीजगणितों (associative subalgebras) के भीतर पूर्ण प्रिमिटिव ऑर्थोगोनल इडेम्पोटेंट्स के पूर्ण सेटों को स्पष्ट रूप से निर्मित करता है, जो $n$ की समता (parity) के आधार पर सटीक गणना प्रदान करता है।

मूल लेखक: Aharon Razon

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

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

CC BY 4.0

मूल लेखक: Aharon Razon

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

कल्पना कीजिए कि आप एक कुशल वास्तुकार (architect) हैं जो एक बहुत ही अजीब, जादुई प्रकार के लेगो ब्रिक्स (Lego bricks) से एक विशाल, जटिल कैथेड्रल बनाने की कोशिश कर रहे हैं। ये साधारण ईंटें नहीं हैं; ये क्वाटरनियन (Quaternions - 4-आयामी संख्याएँ) और ऑक्टोनियन (Octonions - 8-आयामी संख्याएँ) हैं। ये उन आयामों के ब्रह्मांड के निर्माण खंड (building blocks) हैं जिन्हें हम आसानी से देख या समझ नहीं सकते।

यह शोध पत्र एक ब्लूप्रिंट है जो यह बताता है कि इन जादुई ईंटों को कैसे लिया जाए, उन्हें विशाल, सममित मीनारों (Symmetric Tensor Powers) में कैसे व्यवस्थित किया जाए, और फिर यह पता लगाने के लिए कि उन्हें उनके सबसे छोटे, अविभाज्य और पूरी तरह से अद्वितीय टुकड़ों में ठीक से कैसे तोड़ा जाए।

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

1. समस्या: विशाल सममित मीनार (The Giant Symmetrical Tower)

कल्पना कीजिए कि आपके पास $n$ जादुई ईंटों का ढेर है। आप एक ऐसी मीनार बनाना चाहते हैं जहाँ ईंटों का क्रम मायने नहीं रखता (यदि आप दो ईंटों को आपस में बदल दें, तो मीनार वैसी ही दिखनी चाहिए)। यह सिमेट्रिक टेंसर पावर (Symmetric Tensor Power) है।

गणितज्ञ जानते हैं कि यह विशाल मीनार केवल एक ठोस ब्लॉक नहीं है। वास्तव में, यह छोटे, अलग-अलग कमरों (Simple Components) का एक संग्रह है जो आपस में जुड़े हुए हैं। शोध पत्र यह स्वीकार करते हुए शुरू होता है कि हमें पहले से ही पता है कि इन कमरों के बीच की दीवारें कहाँ हैं। हमारे पास "सेंट्रल आइडम्पोटेंट्स" (Central Idempotents) हैं—इन्हें 'मास्टर चाबियों' के रूप में सोचें जो एक विशिष्ट कमरे को खोलने और बाकी इमारत को बंद करने का काम करती हैं।

2. लक्ष्य: कमरों के "परमाणुओं" को खोजना

जानना कि कमरे कहाँ हैं, यह अच्छा है, लेकिन लेखक इससे भी गहराई में जाना चाहता है। प्रत्येक कमरे के भीतर, और भी छोटे, अविभाज्य टुकड़े होते हैं जिन्हें प्रिमिटिव ऑर्थोगोनल आइडम्पोटेंट्स (Primitive Orthogonal Idempotents) कहा जाता है।

ऑर्थोगोनल (Orthogonal): ये टुकड़े एक-दूसरे पर ओवरलैप नहीं होते। यदि आपके पास एक है, तो आप दूसरे को एक ही समय में नहीं रख सकते। ये अलग-अलग, गैर-संपर्क वाले द्वीपों की तरह हैं।
प्रिमिटिव (Primitive): ये सबसे छोटे संभव टुकड़े हैं। आप इन्हें और अधिक नहीं तोड़ सकते।
पूर्ण सेट (Complete Set): यदि आप इन सभी छोटे द्वीपों को एक साथ इकट्ठा करते हैं, तो वे पूरे कमरे (या पूरी इमारत) को पूरी तरह से भर देते हैं।

लेखक का मिशन $n$ के किसी भी आकार की मीनार के लिए इन प्रत्येक छोटे द्वीपों को बनाने की सटीक रेसिपी (फॉर्मूला) लिखना है।

3. उपकरण: जादुई सामग्रियाँ

इन द्वीपों को बनाने के लिए, लेखक कुछ विशेष सामग्रियों का उपयोग करता है:

क्वाटरनियन ( $H$ ): इन्हें कॉम्प्लेक्स नंबरों का 4D संस्करण मानिए। इसमें एक "रियल" भाग और तीन काल्पनिक भाग ( $i, j, k$ ) होते हैं।
ऑक्टोनियन ( $O$ ): एक और भी अधिक विचित्र 8D संस्करण।
"स्क्वायर" ( $\square$ ): दो ईंटों का एक विशेष संयोजन जो एक फिल्टर या लेंस की तरह कार्य करता है।
कॉम्प्लेक्स नंबर्स: लेखक अक्सर "कॉम्प्लेक्स वर्ल्ड" (जहाँ $\sqrt{-1}$ जोड़ा जाता है) में कदम रखता है ताकि गणित आसान हो सके, वहाँ टुकड़ों को खोजता है, और फिर उन्हें वापस वास्तविक दुनिया में अनुवादित करता है।

4. खोज: रेसिपी (The Recipes)

शोध पत्र विभिन्न स्थितियों के आधार पर तीन मुख्य "रेसिपी" (Theorems A, B, and C) प्रदान करता है:

रेसिपी 1 (कॉम्प्लेक्स संस्करण): यदि आपको कॉम्प्लेक्स नंबरों का उपयोग करने की अनुमति है, तो रेसिपी आश्चर्यजनक रूप से सुंदर है। आप "पॉजिटिव" और "नेगेटिव" काल्पनिक ईंटों का एक विशिष्ट मिश्रण लेते हैं, उन्हें एक रेखा में व्यवस्थित करते हैं, और उन्हें सिमेट्राइज़ (symmetrize) करते हैं। यह एक आदर्श सैंडविच बनाने जैसा है जहाँ ब्रेड और फिलिंग को एक विशिष्ट पैटर्न में व्यवस्थित किया गया है।
रेसिपी 2 (रियल संस्करण, विषम $n$ ): यदि आपकी मीनार में परतों की संख्या विषम (odd) है और आपको "रियल वर्ल्ड" में ही रहना है, तो रेसिपी में थोड़ा नृत्य शामिल है। आप अपने कॉम्प्लेक्स सैंडविच लेते हैं, उन्हें अपने "मिरर इमेज" (conjugates) के साथ मिलाते हैं, और उन्हें वापस वास्तविक ईंटों में बदलने के लिए एक विशेष फॉर्मूला (Waring's formula) का उपयोग करते हैं।
रेसिपी 3 (रियल संस्करण, सम $n$ ): यदि मीनार की परतें सम (even) हैं, तो यह और भी जटिल हो जाता है। आपको मीनार को बीच से विभाजित करना होगा और टुकड़ों को दो अलग समूहों में अलग करने के लिए एक "स्प्लिटिंग की" (एक विशिष्ट दिशा $e$ के साथ) का उपयोग करना होगा।

5. ऑक्टोनियन ट्विस्ट (The Octonion Twist)

शोध पत्र यह भी देखता है कि क्या होता है जब आप अपने क्वाटरनियन टावरों को और भी बड़े ऑक्टोनियन टावरों के भीतर रखते हैं।

कल्पना कीजिए कि क्वाटरनियन टावर एक छोटा घर है। ऑक्टोनियन टावर एक विशाल शहर है।
लेखक दिखाता है कि छोटा घर शहर के एक विशिष्ट जिले के भीतर पूरी तरह से फिट बैठता है।
वे फिर नए सेट की चाबियाँ (idempotents) प्रदान करते हैं जो विशेष रूप से उस शहर के उस हिस्से के लिए काम करती हैं जहाँ वह घर स्थित है।

6. यह क्यों महत्वपूर्ण है? ("तो क्या फायदा?")

आप पूछ सकते हैं, "इन गणितीय मीनारों को तोड़ने में किसे परवाह है?"

इसे तिजोरी तोड़ने (cracking a safe) की तरह सोचें।

भौतिकी (physics) और इंजीनियरिंग में, जटिल प्रणालियों (जैसे क्वांटम मैकेनिक्स या सिग्नल प्रोसेसिंग) को अक्सर इन बीजगणितों (algebras) द्वारा वर्णित किया जाता है।
ऐसी प्रणाली में समस्या को हल करने के लिए, आपको अक्सर इसे "डायगोनलाइज़" (diagonalize) करने की आवश्यकता होती है—यानी इसे इसके सबसे सरल, स्वतंत्र भागों में तोड़ना ताकि आप प्रत्येक भाग को अलग से हल कर सकें।
यह शोध पत्र आपको इन विशिष्ट प्रकार के गणितीय लॉकरों को खोलने के लिए सटीक चाबियों की सूची देता है। इस सूची के बिना, आप केवल अनुमान लगा रहे होंगे। इस सूची के साथ, आप इन सबसे जटिल संरचनाओं को व्यवस्थित रूप से विखंडित (dismantle) कर सकते हैं।

सारांश उपमा

कल्पना कीजिए कि आपके पास एक विशाल, चमकता हुआ, बहु-रंगीन क्रिस्टल (Symmetric Tensor Power) है।

पिछले कार्य ने हमें बताया कि क्रिस्टल विभिन्न रंगों की परतों से बना है।
यह शोध पत्र हमें बताता है कि प्रत्येक रंगीन परत को छोटे, पूर्ण, गैर-ओवरलैपिंग हीरों में कैसे काटा जाए (primitive idempotents)।
यह आपको किसी भी आकार के क्रिस्टल के लिए—चाहे वह 4D ईंटों (Quaternions) से बना हो या 8D ईंटों (Octonions) से—और चाहे आप वास्तविक दुनिया में काम कर रहे हों या कॉम्प्लेक्स दुनिया में—इसे काटने के लिए लेजर कटर सेटिंग्स (formulas) देता है।

लेखक, अहारोन रज़ोन (Aharon Razon) ने अनिवार्य रूप से इन उच्च-आयामी गणितीय संरचनाओं को उनके सबसे मौलिक, उपयोगी भागों में विखंडित करने के लिए अंतिम निर्देश मैनुअल लिखा है।

यहाँ अहरोन रज़ोन के शोध पत्र "Orthogonal Idempotents in Symmetric Tensor Powers of Composition Algebras" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र संरचनात्मक रचना (composition algebras), विशेष रूप से हैमिल्टन क्वाटरनियन बीजगणित ( $H$ ) और केली ऑक्टोनियन बीजगणित ( $O$ ) के सममित टेंसर घातों ( $Sym^n C$ ) के संरचनात्मक अपघटन (structural decomposition) को संबोधित करता है।

पिछले कार्यों (विशेष रूप से लेखक और संदर्भ [3], [4], [5] में अन्य लोगों द्वारा) ने यह स्थापित किया था कि $Sym^n C$ केंद्रीय सरल बीजगणितों (central simple algebras) के प्रत्यक्ष योग (direct sum) में विभाजित होता है, लेकिन इन घटकों के भीतर पूर्ण प्राथमिक ऑर्थोगोनल इडेम्पोटेंट्स (complete set of primitive orthogonal idempotents) के विशिष्ट निर्माण की समस्या अनसुलझी थी।

लक्ष्य: निम्नलिखित के लिए पूर्ण प्राथमिक ऑर्थोगोनल इडेम्पोटेंट्स का स्पष्ट निर्माण करना:
1. क्वाटरनियन के सममित घातों के घटक $S^{(n)}_m H$ ।
2. जटिल रूपांतरित संस्करण $S^{(n)}_m H \otimes_{\mathbb{R}} \mathbb{C}$ ।
3. ऑक्टोनियन संरचना से प्राप्त केंद्रीय इडेम्पोटेंट्स $e^{(n)}_{m,O}$ का उपयोग करते हुए, सममित घात के विशिष्ट साहचर्य उप-बीजगणित (associative subalgebras), विशेष रूप से $Sym^n H \cdot e^{(n)}_{m,O}$ ।

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

लेखक प्रतिनिधित्व सिद्धांत (representation theory), संयोजन बीजगणित (combinatorial algebra), और स्पष्ट टेंसर कैलकुलस के संयोजन का उपयोग करते हैं।

अपघटन ढांचा (Decomposition Framework): यह शोध पत्र $Sym^n C$ के $m$ से $\lceil n/2 \rceil$ तक के पूर्णांकों द्वारा अनुक्रमित सरल घटकों $S^{(n)}_m C$ के ज्ञात अपघटन पर निर्भर करता है। ये घटक $\mathbb{R}$ या $H$ के ऊपर मैट्रिक्स बीजगणित के आइसोमॉर्फिक (isomorphic) होते हैं (वेडरबर्न-आर्टिन प्रमेय के माध्यम से)।
केंद्रीय इडेम्पोटेंट्स (Central Idempotents): निर्माण उन पूर्व-परिभाषित केंद्रीय इडेम्पोटेंट्स $e^{(n)}_{m,C}$ पर आधारित है जो सरल घटकों को अलग करते हैं। लेखक इन इडेम्पोटेंट्स के पुनरावर्ती गुणों और तत्व $\Delta_C$ (एक विशिष्ट सममित टेंसर जो नॉर्म फॉर्म से संबंधित है) का उपयोग करते हैं।
जटिल रूपांतरण रणनीति (Complexification Strategy):
- जटिल रूपांतरित मामले ( $Sym^n H \otimes \mathbb{C}$ ) के लिए, लेखक जटिल संख्याओं के आधार $a = \frac{1}{2}(1 + i e_1)$ और इसके संयुग्मी (conjugate) $a^c$ को पेश करते हैं।
- एक प्रमुख तकनीक इन तत्वों के टेंसर उत्पादों को सममित बनाना (symmetrizing) है: $(a^{\otimes k} \otimes (a^c)^{\otimes (n-k)})^\vee$ , जहाँ $\vee$ सममित समूह $S_n$ पर औसत निकालने वाला सममिति ऑपरेटर (symmetrization operator) है।
वास्तविक मामले का निर्माण (Real Case Construction):
- वास्तविक मामले ( $Sym^n H$ ) के लिए, लेखक जटिल इडेम्पोटेंट्स के रैखिक संयोजनों (linear combinations) का उपयोग करके वास्तविक इडेम्पोटेंट्स प्राप्त करते हैं ताकि यह सुनिश्चित हो सके कि वे वास्तविक बीजगणित में स्थित हैं।
- इसमें तत्व $\square = \frac{1}{2}(1 \otimes 1 + e_1 \otimes e_1)$ का उपयोग और घातांकों के योग को प्रारंभिक सममित बहुपदों (elementary symmetric polynomials) के रूप में व्यक्त करने के लिए वियरिंग फॉर्मूला (Waring's formula) का उपयोग शामिल है।
एम्बेडिंग और प्रतिबंध (Embedding and Restriction): यह शोध पत्र $H \subset O$ एम्बेडिंग का लाभ उठाता है। लेखक ऑक्टोनियन केंद्रीय इडेम्पोटेंट्स $e^{(n)}_{m,O}$ का उपयोग करके $Sym^n H$ के इडेम्पोटेंट्स को प्रतिबंधित करके $Sym^n H \cdot e^{(n)}_{m,O}$ के उप-बीजगणितों में इडेम्पोटेंट्स का निर्माण करते हैं।
संयोजन उपकरण (Combinatorial Tools): प्रमाणों में यह सिद्ध करने के लिए कि निर्मित तत्व गैर-शून्य और ऑर्थोगोनल हैं, कॉम्बिनेटोरियल लेम्मा (नोगा अलॉन के बहुपद लेम्मा सहित) का उपयोग किया जाता है।

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

A. क्वाटरनियन सममित घातों में इडेम्पोटेंट्स ( $Sym^n H$ )

यह शोध पत्र $S^{(n)}_m H$ और उनके जटिल रूपांतरित संस्करणों में प्राथमिक ऑर्थोगोनल इडेम्पोटेंट्स के लिए स्पष्ट सूत्र प्रदान करता है।

जटिल मामला ( $Sym^n H \otimes \mathbb{C}$ ):
- सेट $\left\{ \binom{n}{k} (a^{\otimes k} \otimes (a^c)^{\otimes (n-k)})^\vee e^{(n)}_{\ell, H} \mid k \in \{n-\ell, \dots, \ell\} \right\}$ पूर्ण प्राथमिक ऑर्थोगोनल इडेम्पोटेंट्स का एक पूर्ण सेट बनाता है।
- गणना (Count): एक निश्चित $\ell$ के लिए, ऐसे $2\ell - n + 1$ इडेम्पोटेंट्स हैं।
- कुल गणना: सभी $\ell$ पर योग करने पर, $Sym^n H \otimes \mathbb{C}$ में कुल प्राथमिक इडेम्पोटेंट्स की संख्या $\frac{1}{4}(n+2)^2$ (यदि $n$ सम है) या $\frac{1}{4}(n+1)(n+3)$ (यदि $n$ विषम है) है।
वास्तविक मामला ( $Sym^n H$ ):
- लेखक जटिल इडेम्पोटेंट्स को मिलाकर वास्तविक इडेम्पोटेंट्स का निर्माण करते हैं।
- यदि $n$ विषम है: इडेम्पोटेंट्स जटिल इडेम्पोटेंट्स के संयुग्मी युग्मों को जोड़कर बनाए जाते हैं। एक घटक $S^{(n)}_\ell H$ के लिए गणना $\frac{2\ell - n + 1}{2}$ है।
- यदि $n$ सम है: निर्माण अधिक जटिल है, जिसमें एक विशिष्ट मध्य सूचकांक (middle index) के लिए एक पद शामिल है और अन्य पदों को तत्व $e_2$ (एक क्वाटरनियन यूनिट) का उपयोग करके विभाजित किया गया है।
- कुल गणना: $Sym^n H$ में कुल प्राथमिक इडेम्पोटेंट्स की संख्या $\frac{1}{4}(n+2)^2$ (यदि $n$ सम है) या $\frac{1}{8}(n+1)(n+3)$ (यदि $n$ विषम है) है।

B. ऑक्टोनियन उप-बीजगणितों में इडेम्पोटेंट्स (Idempotents in Octonion Subalgebras)

यह शोध पत्र इन परिणामों को ऑक्टोनियन सममित घातों के साहचर्य उप-बीजगणितों, विशेष रूप से $Sym^n H \cdot e^{(n)}_{m,O}$ तक विस्तारित करता है।

संरचना: ये उप-बीजगणित $m$ से $\lceil n/2 \rceil$ तक $\ell$ के लिए क्वाटरनियन घटकों $S^{(n)}_\ell H$ के प्रत्यक्ष योग के आइसोमॉर्फिक हैं।
स्पष्ट निर्माण: इडेम्पोटेंट्स को क्वाटरनियन इडेम्पोटेंट्स को ऑक्टोनियन केंद्रीय इडेम्पोटेंट $e^{(n)}_{m,O}$ से गुणा करके प्राप्त किया जाता है।
कुल गणना:
- जटिल रूपांतरित उप-बीजगणित के लिए: $\frac{1}{24}(n+2)(n+3)(n+4)$ (सम $n$ ) या $\frac{1}{24}(n+1)(n+3)(n+5)$ (विषम $n$ )।
- वास्तविक उप-बीजगणित के लिए: $\frac{1}{24}(n+2)(n+3)(n+4)$ (सम $n$ ) या $\frac{1}{48}(n+1)(n+3)(n+5)$ (विषम $n$ )।

C. उदाहरण और सत्यापन (Example and Verification)

शोध पत्र $n=2, m=2$ के लिए एक ठोस उदाहरण प्रदान करता है। यह $Sym^2 H \cdot e^{(2)}_{2,O}$ में इडेम्पोटेंट्स की स्पष्ट गणना करता है और यह प्रदर्शित करता है कि वे ऑक्टोनियन बीजगणित $T_2 O$ के एक अधिकतम सेट से कैसे संबंधित हैं, यह दिखाते हुए कि क्वाटरनियन-व्युत्पन्न सेट एक मोटा (coarser) अपघटन है (कुछ ऑक्टोनियन इडेम्पोटेंट्स एक एकल क्वाटरनियन इडेम्पेंट में मिल जाते हैं)।

4. महत्व (Significance)

स्पष्ट निर्माण (Explicit Construction): इस कार्य से पहले, अमूर्त संरचना सिद्धांतों (वेडरबर्न-आर्टिन) के माध्यम से ऐसे इडेम्पोटेंट्स के अस्तित्व को जाना जाता था, लेकिन स्पष्ट सूत्रों का अभाव था। यह शोध पत्र इन इडेम्पोटेंट्स के लिए आधार तत्वों के टेंसर उत्पादों के संदर्भ में पहली बार स्पष्ट, रचनात्मक सूत्र प्रदान करता है।
बीजगणितों के बीच सेतु (Bridge between Algebras): यह कार्य क्वाटरनियन और ऑक्टोनियन के सममित घातों के बीच संरचनात्मक संबंध को स्पष्ट करता है, यह दिखाता है कि कैसे उनके इडेम्पोटेंट्स एक दूसरे में समाहित (embed) होते हैं।
गणना उपयोगिता (Computational Utility): ये स्पष्ट इडेम्पोटेंट्स कम्प्यूटेशनल प्रतिनिधित्व सिद्धांत (computational representation theory) के लिए अत्यंत महत्वपूर्ण हैं, जो मॉड्यूल के अपघटन और गैर-साहचर्य (non-associative) एवं गैर-क्रमविनिमेय (non-commutative) परिवेश में इनवेरियंट्स की गणना करने की अनुमति देते हैं।
सामान्यीकरण (Generalization): परिणाम इस तरह से तैयार किए गए हैं जो तर्क क्षेत्रों ( $\mathbb{Q}$ ) और अन्य संरचनात्मक बीजगणितों (composition algebras) के लिए भी प्रयोज्यता का सुझाव देते हैं, जैसा कि टिप्पणी 4.3 में उल्लेख किया गया है।

संक्षेप में, अहरोन रज़ोन ने क्वाटरनियन के सममित टेंसर घातों और विशिष्ट ऑक्टोनियन उप-बीजगणितों के लिए प्राथमिक ऑर्थोगोनल इडेम्पोटेंट्स के स्पष्ट निर्माण की समस्या को सफलतापूर्वक हल किया है, जो $n$ की समता (parity) के आधार पर ऐसे इडेम्पोटेंट्स की कुल संख्या के सटीक संयोजन सूत्र प्रदान करता है।