Minimal Dimensions of Maximal Commutative Matrix Algebras and Sharp Courter-Type Bounds

तकनीकी सारांश: अधिकतम क्रमविनिमेय आव्यूह बीजगणितों के न्यूनतम आयाम और तीक्ष्ण कॉटर-प्रकार के सीमांकन (Bounds)

समस्या विवरण
यह शोध पत्र रैखिक और साहचर्य बीजगणित (associative algebra) की एक शास्त्रीय समस्या को संबोधित करता है: एक अधिकतम क्रमविनिमेय उपबीजगणित $A \subseteq M_n(K)$ के न्यूनतम संभव आयाम का निर्धारण करना, जहाँ $K$ एक बीजगणितीय रूप से बंद क्षेत्र (algebraically closed field) है और $M_n(K)$ $n \times n$ आव्यूहों का बीजगणित है। जबकि बड़े-आयामी उदाहरण अच्छी तरह से समझे गए हैं, कम-आयामी वाले maximal commutative algebras (जिन्हें "कॉटर-समान" या "Courter-like" कहा जाता है) का अस्तित्व एक सूक्ष्म और कम समझी जाने वाली घटना है।

ऐतिहासिक रूप से, विकर्णीय (diagonal) आव्यूहों का बीजगणित आयाम $n$ वाला एक maximal commutative subalgebra प्रदान करता है। 1961 में, कॉटर ने $M_{14}(K)$ में आयाम 13 वाला एक उदाहरण निर्मित किया, जिससे यह सिद्ध हुआ कि $\dim A < n$ संभव है। इस कार्य से पूर्व, $n < 14$ के लिए कोई उदाहरण ज्ञात नहीं था, और लैफी (Laffey) द्वारा स्थापित सामान्य निचला सीमा $\dim A > (2n)^{2/3} - 1$, ऐसे छोटे अपवादों को खारिज करने के लिए अपर्याप्त थी। ज्ञान का विशिष्ट अंतराल $7 \le n \le 13$ की सीमा में था, जहाँ न तो वर्गीकरण मौजूद था और न ही समीकरण $\dim A \ge n$ को सिद्ध करने वाला कोई प्रमाण।

कार्यप्रणाली (Methodology)
लेखक सुप्रुनेंको और टिशकेविच के नॉर्मल फॉर्म प्रमेय पर आधारित एक संरचनात्मक दृष्टिकोण अपनाते हैं। कार्यप्रणाली निम्नलिखित चरणों में आगे बढ़ती है:

1. स्थानीय बीजगणितों (Local Algebras) में न्यूनीकरण: सुप्रुनेंको और टिशकेविच के एक प्रपोजिशन का उपयोग करते हुए, लेखक स्थानीय maximal commutative algebras (वे जहाँ प्रत्येक तत्व या तो व्युत्क्रमणीय (invertible) है या शून्यता (nilpotent) वाला है) पर ध्यान केंद्रित करते हैं। वे स्थापित करते हैं कि कोई भी maximal commutative algebra स्थानीय maximal commutative algebras के प्रत्यक्ष योग (direct sum) में विघटित होता है।
2. हस्ताक्षर विश्लेषण (Signature Analysis): स्थानीय maximal commutative algebras को एक हस्ताक्षर $(n_1, n_2, n_3)$ द्वारा परिभाषित ब्लॉक लोअर-ट्राइएंगुलर रूप में रूपांतरित किया जा सकता है, जहाँ $n = n_1 + n_2 + n_3$ है। बीजगणित की संरचना एक सोकल ब्लॉक $\Sigma \cong M_{n_3 \times n_1}(K)$ और एक रेडिकल लेयर $\Lambda$ द्वारा निर्धारित होती है जो शून्यता वाले तत्वों द्वारा जनित होती है।
3. सेंट्रलाइज़र अनुमान (Centralizer Estimation): लेखक दिए गए हस्ताक्षर वाले बीजगणित के लिए सेंट्रलाइज़र $C(A)$ के आयाम के लिए एक तीक्ष्ण निचला सीमा प्राप्त करते हैं। maximal commutativity ($C(A) = A$) की स्थिति लागू करके, वे रेडिकल जनरेटरों ($d$) के आयाम और हस्ताक्षर घटकों के बीच संबंध दर्शाने वाला एक सूत्र व्युत्पन्न करते हैं।
4. हस्ताक्षर का अनुकूलन (Optimization of Signatures): लेखक आयाम के निचले स्तर का प्रतिनिधित्व करने वाले फलन $F(n_1, n_2, n_3)$ का विश्लेषण करते हैं। वे सिद्ध करते हैं कि $n_1, n_3 \ge 2$ के लिए, न्यूनतम आयाम हस्ताक्षर परिवार $(2, s, 2)$ में घटित होते हैं।
5. स्टैक निर्माण (Stack Construction): यह प्रदर्शित करने के लिए कि व्युत्पन्न निचली सीमाएँ प्राप्त करने योग्य हैं, लेखक एक "स्टैक निर्माण" प्रक्रिया पेश करते हैं। यह प्रक्रिया दो $(2, s, 2)$ हस्ताक्षर वाले बीजगणितों को एक बड़े $(2, s_1+s_2, 2)$ हस्ताक्षर वाले बीजगणित में संयोजित करती है, जबकि maximal commutativity को बनाए रखती है और एक विशिष्ट आयाम-बचत गुण ($\dim(A_1 \star A_2) = \dim A_1 + \dim A_2 - 5$) प्रदर्शित करती है।

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

• तीक्ष्ण निचली सीमाएँ (Sharp Lower Bounds): यह शोध पत्र किसी भी maximal commutative subalgebra $A \subseteq M_n(K)$ के आयाम के लिए एक सटीक निचली सीमा स्थापित करता है:
  $$\dim A \ge \begin{cases} n & \text{यदि } n \le 8 \\ 5 + \lceil \frac{4(n-4)}{5} \rceil & \text{यदि } n \ge 9 \end{cases}$$
  (नोट: लेख सारांश और चर्चा में $n \le 8$ के परिणाम को $n \le 13$ तक विस्तारित करता है, यह पुष्टि करते हुए कि इस सीमा में कोई कॉटर-समान बीजगणत मौजूद नहीं हैं)।

• $n \le 13$ के मामले का समाधान: लेखक सिद्ध करते हैं कि $n \le 13$ के लिए सभी मामलों में, किसी भी maximal commutative subalgebra को $\dim A \ge n$ का पालन करना चाहिए। फलस्वरूप, $M_n(K)$ में $n \le 13$ के लिए कोई कॉटर-समान बीजगणत (जहाँ $\dim A < n$) मौजूद नहीं हैं। यह लैफी के अनुमान को परिष्कृत करता है और छोटे $n$ के लिए अंतराल को भरता है।

• प्रथम अपवाद मामले की पहचान: यह शोध पत्र पुष्टि करता है कि $n=14$ वह पहला आयाम है जहाँ $\dim A < n$ संभव है। $M_{14}(K)$ में कॉटर के शास्त्रीय उदाहरण (हस्ताक्षर $(2, 10, 2)$ के साथ आयाम 13) को पहला संभावित अपवाद मामला दिखाया गया है और यह इस शोध पत्र द्वारा व्युत्पन्न इष्टतम सीमा को प्राप्त करता है।

• स्पष्ट अनंत परिवार (Explicit Infinite Families): लेखक $n \ge 14$ के लिए सभी आयामों हेतु निचली सीमा प्राप्त करने वाले maximal commutative subalgebras के स्पष्ट अनंत परिवारों का निर्माण करते हैं। यह तीन "निर्माण ब्लॉकों" को परिभाषित करके किया जाता है:

  1. एक सीड बीजगणित (seed algebra) $E \subseteq M_9(K)$ जिसका हस्ताक्षर $(2, 5, 2)$ और आयाम 9 है।
  2. कॉटर का बीजगणत $C \subseteq M_{14}(K)$ जिसका हस्ताक्षर $(2, 10, 2)$ और आयाम 13 है।
  3. एक विकर्णीय ईंट (diagonal brick) $D \subseteq M_5(K)$ जिसका हस्ताक्षर $(2, 1, 2)$ और आयाम 6 है।
     इन ब्लॉकों को स्टैक करके (विशेष रूप से $E$ और $D$), लेखक $n \ge 14$ के लिए किसी भी $n$ हेतु $A_n$ बीजगणत उत्पन्न करते हैं ताकि $\dim A_n = 5 + \lceil \frac{4(n-4)}{5} \rceil$ हो।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह लैफी के शास्त्रीय अनुमानों को परिष्कृत करता है और maximal commutative subalgebras के लिए सटीक निचली सीमा निर्धारित करता है। इसका प्राथमिक महत्व है:

1. छोटे अपवादों को खारिज करना: यह निश्चित रूप से सिद्ध करना कि $n \le 13$ के लिए कॉटर-समान बीजगणत मौजूद नहीं हैं।
2. प्रथम अपवाद का लक्षण वर्णन: कॉटर के $M_{14}$ उदाहरण को केवल एक पृथक विसंगति के रूप में नहीं, बल्कि न्यूनतम maximal commutative matrix algebras के एक अनंत, तीक्ष्ण परिवार के पहले सदस्य के रूप में पहचानना।
3. रचनात्मक प्रमाण: प्रत्येक $n \ge 14$ के लिए न्यूनतम उदाहरणों को उत्पन्न करने के लिए एक रचनात्मक विधि (स्टैक निर्माण) प्रदान करना, जिससे यह सिद्ध होता है कि सीमा सटीक (tight) है।

लेखक निष्कर्ष निकालते हैं कि न्यूनतम maximal commutative subalgebras के वैश्विक चरम समस्या (global extremal problem) को अनिवार्य रूप से हल कर दिया गया है, बशर्ते कि स्थानीय निर्माण ब्लॉकों को समझा जाए। शेष कठिनाई को "पूर्णतः स्थानीय" (entirely local) वर्णित किया गया है, जो मैट्रिक्स आकार के सापेक्ष छोटे आयाम वाले स्थानीय maximal commutative algebras के वर्गीकरण पर केंद्रित है।