Additive preservers of mutual strong Birkhoff-James orthogonality on finite-dimensional $C^\ast$-algebras

तकनीकी सारांश: परिमित-आयामी C-बीजगणितों पर पारस्परिक सुदृढ़ बिर्फकोफ-जेम्स ऑर्थोगोनैलिटी के योगात्मक संरक्षकों का अध्ययन*

समस्या विवरण
यह शोध पत्र परिमित-आयामी जटिल $C^*$-बीजगणितों पर एक योगात्मक अधिसर्पण (surjective map) $\Phi: A \to A$ की संरचना की जांच करता है, जो "पारस्परिक सुदृढ़ बिर्फकोफ-जेम्स (Birkhoff-James) ऑर्थोगोनैलिटी" को एक दिशा में संरक्षित करता है। एक नॉर्मड स्पेस $X$ में, दो सदिश $x, y$ बिर्फकोफ-जेम्स (BJ) ऑर्थोगोनल ($x \perp_{BJ} y$) तब होते हैं जब $\|x + \lambda y\| \ge \|x\|$ सभी स्केलर $\lambda$ के लिए हो। जब $X$ एक $C^*$-बीजगणित $A$ पर एक राइट हिल्बर्ट $C^*$-मॉड्यूल है, तो $x$, $y$ के सुदृढ़ रूप से BJ ऑर्थोगोनल ($x \perp^S_{BJ} y$) होता है यदि $\|x + yc\| \ge \|x\|$ सभी $c \in A$ के लिए हो। लेखक इसके पारस्परिक संस्करण पर ध्यान केंद्रित करते हैं, जिसे $\perp\perp^S_{BJ}$ द्वारा दर्शाया गया है, जहाँ $x \perp^S_{BJ} y$ और $y \perp^S_{BJ} x$ दोनों सत्य हैं।

विशिष्ट परिवेश एक परिमित-आयामी $C^*$-बीजगणित $A$ है, जो मैट्रिक्स बीजगणितों के प्रत्यक्ष योग (direct sum) के समरूप है:
$$A \cong M_{n_1}(\mathbb{C}) \oplus M_{n_2}(\mathbb{C}) \oplus \cdots \oplus M_{n_k}(\mathbb{C}).$$
मुख्य प्रश्न उन सभी योगात्मक अधिसर्पणों $\Phi$ के वर्गीकरण का है जो इस शर्त को पूरा करते हैं:
$$x \perp\perp^S_{BJ} y \implies \Phi(x) \perp\perp^S_{BJ} \Phi(y).$$

कार्यप्रणाली
लेखक एक न्यूनीकरण रणनीति (reduction strategy) का उपयोग करते हैं, जो ऑर्थोगोनैलिटी के संरक्षण को सिंगुलैरिटी (singularity/अविनीयता) के संरक्षण से जोड़ती है।

1. सिंगुलैरिटी तक न्यूनीकरण: मुख्य तकनीकी उपकरण प्रमेय 1.4 है, जो मैट्रिक्स बीजगणितों के प्रत्यक्ष योगों पर उन योगात्मक अधिसर्पणों का लक्षण वर्णन करता है जो सिंगुलर तत्वों को सिंगुलर तत्वों में मैप करते हैं। इस प्रमेय का प्रमाण निम्नलिखित पर आधारित है:

   • रैंक-एक संरक्षण: यह दिखाना कि ऐसे मानचित्र रैंक-एक ऑपरेटरों को रैंक-एक ऑपरेटरों या शून्य में भेजते हैं (लेम्मा 2.2)।
   • ब्लॉक क्रमपरिवर्तन (Block permutation): यह प्रदर्शित करना कि मानचित्र बीजगणित के ब्लॉक घटकों को क्रमपरिवर्तित करता है (लेम्मा 2.3)।
   • मैट्रिक्स की ज्यामिति का मौलिक प्रमेय: रैंक या सिंगुलैरिटी को संरक्षित करने वाले योगात्मक मानचित्रों पर ज्ञात परिणामों को लागू करके मानचित्र के विशिष्ट रूप को निर्धारित करना (जिसमें क्षेत्र अंतःप्रक्षेप (field endomorphisms) और व्युत्क्रमणीय मैट्रिसेस शामिल हैं)।

2. ऑर्थोगोनैलिटी से सिंगुलैरिटी: लेम्मा 3.1 स्थापित करता है कि परिमित-आयामी $C^*$-बीजगणितों के लिए (विशिष्ट निम्न-आयामी मामलों जैसे $\mathbb{C} \oplus \mathbb{C}$ को छोड़कर), कोई भी योगात्मक मानचित्र जो पारस्परिक सुदृढ़ BJ ऑर्थोगोनैलिटी को संरक्षित करता है, उसे सिंगुलैरिटी को भी संरक्षित करना चाहिए। इसे सिंगुलर मान अपघटन (singular value decompositions) से संबंधित विशिष्ट ऑर्थोगोनैलिटी संबंधों का निर्माण करके और यह दिखाकर सिद्ध किया जाता है कि एक सिंगुलर तत्व को व्युत्क्रमणीय तत्व में मैप करना एक विरोधाभास की ओर ले जाता है।

3. ब्लॉक्स का संरचनात्मक विश्लेषण: एक बार जब मानचित्र को ब्लॉक क्रमपरिवर्तन और क्षेत्र अंतःप्रक्षेप वाले रूप में न्यूनीकृत कर दिया जाता है, तो लेखक बीजगणित के विशिष्ट घटकों पर ऑर्थोगोनैलिटी की शर्तों का विश्लेषण करते हैं:

   • वे $n \ge 2$ आयाम वाले ब्लॉक्स के लिए ट्रांसपोज़िशन-आधारित रूपों (जैसे, $A \mapsto A^T$) को खारिज करते हैं (लेम्मा 3.3)।
   • वे यह निर्धारित करते हैं कि क्षेत्र अंतःप्रक्षेप $\sigma$ या तो पहचान (identity) या जटिल संयुग्मन (complex conjugation) होना चाहिए (लेम्मा 3.4)।
   • वे सिद्ध करते हैं कि शामिल व्युत्क्रमणीय मैट्रिसेस स्केलर गुणकों और यूनिटरी ऑपरेटरों के समान होने चाहिए और विभिन्न ब्लॉक्स में स्केलिंग कारक समान होने चाहिए (लेम्मा 3.6, 3.7, 3.8)।

प्रमुख परिणाम

• प्रमेय 1.2 (मुख्य वर्गीकरण): मान लीजिए $A$ एक परिमित-आयामी जटिल $C^*$-बीजगणित है जो $\mathbb{C}$, $\mathbb{C} \oplus \mathbb{C}$, या $M_2(\mathbb{C})$ के समरूप नहीं है। एक योगात्मक अधिसर्पण $\Phi: A \to A$ पारस्परिक सुदृढ़ BJ ऑर्थोगोनैलिटी को तभी संरक्षित करता है जब निम्नलिखित अस्तित्व में हों:

  1. $A$ के न्यूनतम आइडियल्स (minimal ideals) का आयामों का सम्मान करने वाला एक क्रमपरिवर्तन $\pi$।
  2. एक धनात्मक स्केलर $\gamma$।
  3. यूनिटरी तत्व $u, v \in A$।
  4. एक मानचित्र $a \mapsto a^\dagger$ जो कुछ न्यूनतम आइडियल्स पर पहचान के रूप में कार्य करता है और अन्य पर (एक निश्चित ऑर्थोनॉर्मल बेस के सापेक्ष) एंट्रीवाइज संयुग्मन के रूप में कार्य करता है।

  ऐसा कि:
  $$\Phi(a) = \gamma u \pi(a)^\dagger v.$$

• उपप्रमेय (Corollary) 1.3: समान धारणाओं के तहत, सुदृढ़ BJ ऑर्थोगोनैलिटी (अनिवार्य रूप से पारस्परिक नहीं) को संरक्षित करने वाले मानचित्रों के लिए वर्गीकरण पारस्परिक मामले के समान ही है।

• प्रमेय 1.4 (सिंगुलैरिटी प्रिजर्वर्स): शून्य विशेषता वाले क्षेत्र के मैट्रिक्स बीजगणितों के प्रत्यक्ष योग के लिए, एक योगात्मक अधिसर्पण सिंगुलैरिटी को तभी संरक्षित करता है जब वह ब्लॉक्स को क्रमपरिवर्तित करता है और प्रत्येक ब्लॉक पर $A_i \mapsto P_i \pi(A_i)^{\sigma_i} Q_i$ या $A_i \mapsto P_i \pi(A_i^T)^{\sigma_i} Q_i$ के रूप में एक मानचित्र के माध्यम से कार्य करता है, जहाँ $\sigma_i$ एक क्षेत्र अंतःप्रक्षेप है।

अपवाद और प्रति-उदाहरण
यह शोध पत्र स्पष्ट रूप से नोट करता है कि मुख्य प्रमेय $\mathbb{C}$, $\mathbb{C} \oplus \mathbb{C}$, और $M_2(\mathbb{C})$ के रूप वाले बीजगणितों के लिए विफल रहता है:

• $A = \mathbb{C}$ के लिए, प्रत्येक योगात्मक मानचित्र संबंध को संरक्षित करता है।
• $A = \mathbb{C} \oplus \mathbb{C}$ के लिए, गैर-मानक रैखिक प्रिजर्वर्स मौजूद हैं जो यूनिटरी/स्केलर रूप में फिट नहीं होते हैं (उदाहरण 3.2, उदाहरण 4.2)।
• $A = M_2(\mathbb{C})$ के लिए, संरचना अलग है; विशेष रूप से, $\Phi(A) = PAQ$ के रूप का कोई भी मानचित्र, जहाँ $P, Q$ व्युत्क्रमणीय हैं, पारस्परिक सुदृढ़ BJ ऑर्थोगोनैलिटी को संरक्षित करता है, चाहे $P$ और $Q$ यूनिटरी के स्केलर गुणक हों या नहीं (उदाहरण 4.3)।

महत्व और दायरा
लेखक इस कार्य को एक योगात्मक संरक्षकों के वर्गीकरण के रूप में प्रस्तुत करते हैं, जो नॉर्मड स्पेस में रैखिक प्रिजर्वर्स और ऑर्थोगोनैलिटी के पिछले परिणामों का विस्तार करता है। इसका महत्व यहाँ निहित है:

1. ऑर्थोगोनैलिटी सिद्धांत का विस्तार: $C^*$-बीजगणितों पर सुदृढ़ BJ ऑर्थोगोनैलिटी के संदर्भ में रैखिक प्रिजर्वर्स से योगात्मक अधिसर्पणों तक जाना।
2. अवधारणाओं को जोड़ना: पारस्परिक सुदृढ़ BJ ऑर्थोगोनैलिटी की ज्यामितीय अवधारणा और सिंगुलैरिटी संरक्षण की बीजगणितीय अवधारणा के बीच एक कठोर लिंक स्थापित करना।
3. वर्गीकरण को पूर्ण करना: सावधानीपूर्वक उन अपवादों को रेखांकित करते हुए, सामान्य परिमित-आयामी मामले के लिए एक पूर्ण संरचनात्मक विवरण प्रदान करना जहाँ संरचना अधिक उदार है।

शोध पत्र कोई नए अनुप्रयोग या प्रयोगात्मक ढांचे का प्रस्ताव नहीं करता है बल्कि इन संरक्षकों के शुद्ध बीजगणितीय लक्षण वर्णन पर ध्यान केंद्रित करता है। लेखक नोट करते हैं कि योगात्मकता की धारणा के बिना, संरक्षकों का वर्ग "अनियंत्रित" (wild) हो जाता है (टिप्पणी 4.4), जिसमें गैर-रैखिक प्रिजर्वर्स पर मौजूदा साहित्य का हवाला दिया गया है।