🔢 mathematics

Multiplier modules of Hilbert C*-modules revisited

यह शोध पत्र हिल्बर्ट सी*-मॉड्यूल (Hilbert C*-modules) के मल्टीप्लायर मॉड्यूल (multiplier modules) के सिद्धांत का पुनरावलोकन करता है ताकि स्ट्रॉन्ग मोरिटा तुल्यता (strong Morita equivalence) के तहत उनकी अपरिवर्तनीयता स्थापित की जा सके, उनके संबद्ध ऑपरेटर बीजगणित और द्वैत (duals) के बीच संबंधों को अभिलक्षित किया जा सके, और यह प्रदर्शित किया जा सके कि यद्यपि एक हिल्बर्ट सी*-मॉड्यूल से उसके मल्टीप्लायर मॉड्यूल तक बंधित मॉड्यूल ऑपरेटरों और फलनकल (functionals) का विस्तार विफल हो सकता है, फिर भी ऐसा कोई भी अस्तित्व में आया विस्तार अनिवार्य रूप से अद्वितीय होता है।

मूल लेखक: Michael Frank

प्रकाशित 2026-03-26

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

CC BY 4.0

मूल लेखक: Michael Frank

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

यहाँ "Multiplier Modules of Hilbert C*-Modules Revisited" पेपर का सरल भाषा और रचनात्मक उपमाओं (analogies) का उपयोग करके दिया गया विवरण है।

बड़ी तस्वीर: एक "परफेक्ट" कमरे का निर्माण करना

कल्पime कि आपके पास एक कमरा है (एक गणितीय संरचना जिसे Hilbert C-module* कहा जाता है) जो विशिष्ट नियमों के साथ बनाया गया है। इस कमरे में दीवारें, फर्श और फर्नीचर हैं, लेकिन यह थोड़ा "अधूरा" है। फर्श में कुछ खाली जगहें हैं, या दीवारें थोड़ी डगमगा रही हैं क्योंकि सामग्री (अंतर्निहित C-algebra*) पूर्ण या सुव्यवस्थित नहीं है।

गणित में, हम अक्सर इस "अधूरे" कमरे को लेकर एक Multiplier Module बनाना चाहते हैं। Multiplier Module को उस कमरे के अंतिम, पूर्ण संस्करण (ultimate, perfect version) के रूप में सोचें। इसमें मूल कमरे की हर चीज़ शामिल है, साथ ही वे सभी लुप्त हिस्से भी जो इसे स्थिर और पूर्ण बनाने के लिए आवश्यक हैं। यह एक घर के स्केच (sketch) को एक पूरी तरह से सुसज्जित और संरचनात्मक रूप से मजबूत हवेली में बदलने जैसा है।

लेखक, माइकल फ्रैंक, इन "परफेक्ट कमरों" के ब्लूप्रिंट की फिर से समीक्षा कर रहे हैं ताकि यह देख सकें कि वे मूल "स्केच" से वास्तव में कैसे संबंधित हैं। वह जानना चाहते हैं: यदि मेरे पास एक ऐसा उपकरण है जो स्केच में काम करता है, तो क्या मैं उसे हवेली में भी उपयोग कर सकता हूँ? और यदि मैं कर सकता हूँ, तो क्या इसे करने का केवल एक ही तरीका है?

उपमाओं के साथ स्पष्ट किए गए मुख्य सिद्धांत

1. "स्केच" बनाम "हवेली" (Module और उसका Multiplier)

मूल मॉड्यूल ( $X$ ): एक ऐसी लाइब्रेरी की कल्पना करें जिसमें केवल निचली अलमारियों में किताबें हैं। यह एक वैध लाइब्रेरी है, लेकिन यह अधूरी लगती है।
Multiplier Module ( $M(X)$ ): यह वही लाइब्रेरी है, लेकिन अब इसमें छत तक अलमारियाँ हैं। इसमें मूल लाइब्रेरी की हर चीज़ शामिल है, साथ ही वे सभी "लुप्त" किताबें भी जो संग्रह को पूर्ण बनाने के लिए तार्किक रूप से वहाँ होनी चाहिए।
खोज: फ्रैंक दिखाते हैं कि यह "हवेली" अद्वितीय (unique) है। आप इस पूर्ण संस्करण को बनाने की कितनी भी कोशिश करें, आप अंततः एक ही संरचना तक पहुँचते हैं। साथ ही, लाइब्रेरी के काम करने के नियम (inner products) स्केच और हवेली के बीच सुसंगत रहते हैं।

2. "दो-तरफा" दर्पण (बाएँ बनाम दाएँ)

आमतौर पर, गणित में, हम इन संरचनाओं को "दाएँ" पक्ष से या "बाएँ" पक्ष से देखते हैं।

उपमा: एक दर्पण की कल्पना करें। यदि आप दाईं ओर खड़े होते हैं, तो आप एक प्रतिबिंब देखते हैं। यदि आप बाईं ओर खड़े होते हैं, तो आप एक अलग प्रतिबिंब देखते हैं।
निष्कर्ष: फ्रैंक सिद्ध करते हैं कि इन "परफेक्ट कमरों" (Multiplier Modules) के लिए, यह मायने नहीं रखता कि आप किस तरफ से देखते हैं। यदि कमरा दाएं से देखने पर "Multiplier Module" है, तो वह स्वतः ही बाएं से देखने पर भी "Multiplier Module" होगा। यह एक ऐसा गुण है जो अपरिवर्तनीय (invariant) है, जैसे एक गोला हर कोण से एक जैसा दिखता है।

3. "टूलबॉक्स" की समस्या (Operators)

गणितज्ञ इन कमरों के भीतर चीजों को चलाने के लिए "उपकरणों" (जिन्हें operators कहा जाता है) का उपयोग करते हैं।

प्रश्न: यदि मेरे पास एक ऐसा उपकरण है जो "स्केच" (मूल कमरे) में पूरी तरह से काम करता है, तो क्या मैं उसी उपकरण का उपयोग "हवेली" (multiplier module) में कर सकता हूँ?
बुरी खबर: हमेशा नहीं। फ्रैंक ऐसे उदाहरण देते हैं जहाँ एक उपकरण छोटे कमरे में ठीक से काम करता है लेकिन बड़ी हवेली में जाकर टूट जाता है या फिट नहीं बैठता। हवेली इतनी बड़ी और जटिल है कि स्केच के कुछ सरल उपकरण पूरे स्थान को कवर करने के लिए विस्तारित (extend) नहीं हो पाते।
अच्छी खबर: यदि कोई उपकरण विस्तारित किया जा सकता है, तो उसे करने का केवल एक ही तरीका है। आप उसी उपकरण को विस्तारित करने के दो अलग-अलग तरीके नहीं रख सकते। यदि वह फिट बैठता है, तो वह पूरी तरह और अद्वितीय रूप से फिट बैठता है।

4. "Hahn-Banach" की विफलता (Missing Extension)

सामान्य गणित (जैसे नियमित ज्यामिति) में, एक प्रसिद्ध नियम है जिसे Hahn-Banach Theorem कहा जाता है। यह मूल रूप से कहता है: "यदि आपके पास किसी आकार के एक छोटे हिस्से के लिए एक नियम है, तो आप हमेशा उस नियम को पूरे आकार तक विस्तारित कर सकते हैं बिना उसे तोड़े।"

मोड़: फ्रैंक दिखाते हैं कि इन "Multiplier Modules" के लिए, यह नियम हमेशा काम नहीं करता है।
उपमा: कल्पना करें कि आपके पास दीवार के निचले हिस्से को पेंट करने का एक नियम है। सामान्य गणित में, आप हमेशा ऊपरी हिस्से को भी उसी के अनुसार पेंट करने का तरीका निकाल सकते हैं। लेकिन इन विशिष्ट "Multiplier कमरों" में, कभी-कभी ऊपरी हिस्सा इतना अजीब आकार का होता है कि चाहे आप कितनी भी कोशिश करें, आप निचले हिस्से के पेंटिंग नियम को ऊपरी हिस्से तक बिना चित्र खराब किए विस्तारित नहीं कर सकते।
यह क्यों महत्वपूर्ण है: यह उस आदत को तोड़ता है जिसे गणितज्ञ लंबे समय से अपनाते आए थे। उन्होंने मान लिया था कि वे हमेशा इन नियमों को विस्तारित कर सकते हैं। फ्रैंक कहते हैं, "नहीं, कभी-ce आप ऐसा नहीं कर सकते।"

5. "घोस्ट" (Ghost) की समस्या (स्केच पर शून्य, हवेली पर गैर-शून्य)

फ्रैंक यह भी पूछते हैं: "क्या मेरे पास एक ऐसा उपकरण हो सकता है जो मूल स्केच (निचली अलमारियों) में कुछ नहीं करता, लेकिन हवेली (ऊपरी अलमारियों) में कुछ अद्भुत करता है?"

उत्तर: नहीं।
उपमा: यदि मशीन को छोटे कमरे में चालू करने पर वह शांत रहती है, तो उसे बड़े कमरे में भी शांत रहना चाहिए। आप ऐसा "घोस्ट" फंक्शन नहीं रख सकते जो मूल स्थान में शून्य हो लेकिन मल्टीप्लायर स्पेस में अचानक सक्रिय हो जाए। यदि यह स्केच में शून्य है, तो यह हर जगह शून्य है। यह एक बहुत ही कठोर नियम है।

यह क्यों महत्वपूर्ण है?

यह पेपर उन्नत गणितीय संरचनाओं के लिए एक क्वालिटी कंट्रोल निरीक्षण (quality control inspection) की तरह है।

यह धारणाओं को सुधारता है: यह गणितज्ञों को बताता है, "यह मान लेना बंद करें कि आप हमेशा अपने उपकरणों को छोटे स्थानों से बड़े स्थानों तक विस्तारित कर सकते हैं। कभी-कभी, आप ऐसा नहीं कर सकते।"
यह विशिष्टता (uniqueness) को स्पष्ट करता है: यह उन्हें आश्वस्त करता है कि यदि आप एक उपकरण को विस्तारित कर सकते हैं, तो आपको यह अनुमान लगाने की चिंता करने की आवश्यकता नहीं है कि इसे किस तरह से किया जाए; इसे करने का केवल एक ही सही तरीका है।
यह विभिन्न दुनियाओं को जोड़ता है: यह दिखाता है कि ये संरचनाएं कैसे व्यवहार करती हैं जब आप उन्हें अलग-अलग कोणों से देखते हैं (बाएं बनाम दाएं), जिससे यह सिद्ध होता है कि वे मजबूत और सुसंगत हैं।

निष्कर्ष (Takeaway)

"Multiplier Module" को एक गणितीय वस्तु के अंतिम, पूर्ण संस्करण के रूप में समझें। माइकल फ्रैंक का पेपर हमें बताता है कि हालांकि यह पूर्ण संस्करण अद्वितीय और स्थिर है, लेकिन यह हमारी सोच से कहीं अधिक प्रतिबंधात्मक (restrictive) भी है। आप यह मानकर नहीं चल सकते कि "रफ ड्राफ्ट" से लिया गया कोई भी नियम "फाइनल ड्राफ्ट" में भी काम करेगा। कभी-कभी, फाइनल ड्राफ्ट इतना जटिल होता है कि पुराने नियम लागू ही नहीं होते, और आपको यह स्वीकार करना पड़ता है कि कुछ चीजें बस विस्तारित नहीं की जा सकतीं। हालाँकि, यदि वे विस्तारित की जा सकती हैं, तो मार्ग स्पष्ट और अद्वितीय है।

यहाँ माइकल फ्रैंक के शोध पत्र "Multiplier Modules of Hilbert C-Modules Revisited"* का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र हिल्बर्ट C*-मॉड्यूल ( $X$ ) के मल्टीप्लायर मॉड्यूल ( $M(X)$ ) के सिद्धांत में मौजूद मूलभूत कमियों को संबोधित करता है। यद्यपि C*-एल्gebras का हिल्बर्ट C*-मॉड्यूल में विस्तार (extension theory) पूर्व कार्यों (विशेष रूप से फ्रैंक, लार्सन और अन्य द्वारा) में स्थापित किया जा चुका था, फिर भी एक मॉड्यूल $X$ और उसके मल्टीप्लायर मॉड्यूल $M(X)$ के बीच के संबंध के संबंध में कई विशिष्ट गुण अस्पष्ट थे या शास्त्रीय हिल्बर्ट स्पेस सिद्धांत से उत्पन्न गलत धारणाओं के अधीन थे।

जांच किए गए मुख्य प्रश्न निम्नलिखित हैं:

अपरिवर्तनीयता (Invariance): क्या मल्टीप्लायर मॉड्यूल होने का गुण $X$ को एक बाएँ या दाएँ हिल्बर्ट C*-मॉड्यूल के रूप में देखने के चुनाव के तहत अपरिवर्तनीय है (विशेष रूप से स्ट्रॉन्ग मोरिता इक्विवेलेंस के संदर्भ में)?
ऑपरेटर विस्तार (Operator Extension): क्या $X$ पर परिभाषित बाध्यकृत (bounded) मॉड्यूल ऑपरेटरों और फलनल्स (functionals) को हमेशा $M(X)$ तक विस्तारित (जारी) किया जा सकता है? यदि ऐसा है, तो क्या ये विस्तार अद्वितीय हैं?
संरचनात्मक तुलना (Structural Comparison): "कॉम्पैक्ट" ऑपरेटरों के C*-एल्gebras ( $K(X)$ ), बाध्यकृत ऑपरेटरों के बानाच एल्gebras ($End(X) $), और$ X $के ड्यूल मॉड्यूल्स ($ X' $) का उनके$ M(X)$ के समकक्षों के साथ क्या संबंध है?
प्रति-उदाहरण (Counter-examples): लेखक उन मामलों की पहचान करने का प्रयास करता है जहाँ मानक अंतर्ज्ञान (जैसे, हन-बानाच प्रकार के विस्तार प्रमेय) हिल्बर्ट C*-मॉड्यूल्स के संदर्भ में विफल हो जाते हैं।

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

लेखक हिल्बर्ट C-मॉड्यूल सिद्धांत* और स्ट्रॉन्ग मोरिता इक्विवेलेंस पर आधारित एक कठोर दृष्टिकोण अपनाते हैं।

परिभाषाएँ: शोध पत्र मल्टीप्लायर मॉड्यूल की परिभाषा के रूप में कोएफिशिएंट एल्ब्रा $A$ से $X$ तक के एडजॉइंटेबल मैप्स (adjointable maps) के सेट का उपयोग करता है (अर्थात, $M(X) = End^*_A(A, X)$ ), जो $X$ के सबसे बड़े एसेंशियल विस्तार (essential extension) के साथ मेल खाता है।
टोपोलॉजिकल उपकरण: विश्लेषण अत्यधिक रूप से स्ट्रिक्ट टोपोलॉजी (strict topologies) पर निर्भर करता है (जो $A$ और $X$ के तत्वों को शामिल करने वाले सेमी-नॉर्म्स द्वारा प्रेरित होती है) ताकि $M(X)$ को $X$ के स्ट्रिक्ट कंप्लीशन के रूप में अभिलक्षणित किया जा सके।
मोरिता इक्वैलेंस: शोध पत्र पूर्ण हिल्बर्ट मॉड्यूल्स को इप्रिमिटिविटी बायमॉड्यूल्स (imprimitivity bimodules) के रूप में मानता है, जिसमें कोएफिशिएंट एल्ब्रा $A$ और कॉम्पैक्ट ऑपरेटरों के एल्ब्रा $K(X)$ के बीच द्वैत (duality) का उपयोग बाएँ बनाम दाएँ संरचनाओं का विश्लेषण करने के लिए किया जाता है।
प्रति-उदाहरण: लेखक मानक विस्तार गुणों के विफल होने को प्रदर्शित करने के लिए अनुक्रम स्थानों (sequence spaces जैसे $c_0, c, l^\infty$ ) और हिल्बर्ट स्पेस पर ऑपरेटर एल्ब्रा ( $K(H), B(H)$ ) का उपयोग करके विशिष्ट उदाहरणों का निर्माण करते हैं।

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

A. मल्टीप्लायर गुण की अपरिवर्तनीयता

परिणाम: एक पूर्ण हिल्बर्ट C*-मॉड्यूल के मल्टीप्लायर मॉड्यूल होने का गुण बाएँ या दाएँ मॉड्यूल होने के परिप्रेक्ष्य के तहत अपरिवर्तनीय है।
विवरण: यदि $X$ एक पूर्ण दायाँ हिल्बर्ट $A$ -मॉड्यूल है, तो यह एक पूर्ण बायाँ हिल्बर्ट $K(X)$ -मॉड्यूल भी है। मल्टीप्लायर मॉड्यूल $M(X)$ , दाएँ $A$ -संरचना और बाएँ $K(X)$ -संरचना दोनों के लिए मल्टीप्लायर मॉड्यूल के रूप में कार्य करता है। यह पुष्टि करता है कि स्ट्रॉन्ग मोरिता इक्वैलेंस सिद्धांत के भीतर यह अवधारणा सुदृढ़ है।

B. ऑपरेटर एल्ब्रा और विस्तार

कॉम्पैक्ट ऑपरेटर: कॉम्पैक्ट ऑपरेटरों का C*-एल्ब्रा $K(X)$ , $K(M(X))$ में सममित रूप से (isometrically) समाहित है। हालाँकि, यदि $X \neq M(X)$ है, तो यह एम्बेडिंग सामान्यतः सरजेक्टिव (surjective) नहीं होती है।
बाध्यकृत ऑपरेटर: बाध्यकृत मॉड्यूल ऑपरेटरों का बानाच एल्ब्रा $End_{M(A)}(M(X))$ $E n d_{M (A)} (M (X))$ , प्रतिबंध (restriction) के माध्यम से $End_A(X)$ $E n d_{A} (X)$ में सममित रूप से समाहित है।
- महत्वपूर्ण निष्कर्ष: $X$ पर प्रत्येक बाध्यकृत ऑपरेटर को $M(X)$ पर बाध्यकृत ऑपरेटर के रूप में विस्तारित नहीं किया जा सकता है।
- अद्वितीयता: यदि कोई विस्तार मौजूद है, तो वह अद्वितीय है।
एडजॉइंटेबिलिटी (Adjointability): एडजॉइंटेबल ऑपरेटरों के C*-एल्ब्रा समरूप हैं: $End^*_A(X) \cong End^*_{M(A)}(M(X))$ । विसंगति केवल गैर-एडजॉइंटेबल बाध्यकृत ऑपरेटरों के लिए उत्पन्न होती है।

C. ड्यूल मॉड्यूल्स और फलनल्स (Functionals)

ड्यूल एम्बेडिंग: ड्यूल मॉड्यूल $M(X)'$ ( $M(A)$ -रैखिक बाध्यकृत फलनल्स) $X'$ (बाध्यकृत $A$ -रैखिक फलनल्स) में सममित रूप से समाहित होता है।
हन-बानाच की विफलता: शोध पत्र प्रदर्शित करता है कि हिल्बर्ट C*-मॉड्यूल्स के लिए एक सामान्य हन-बानाच प्रकार का प्रमेय विफल हो जाता है। ऐसे जोड़े $(X, M(X))$ मौजूद हैं जहाँ $X^\perp = \{0\}$ है, फिर भी $X$ पर बाध्यकृत फलनल्स को $M(X)$ तक विस्तारित नहीं किया जा सकता है।
निरंतरता की अद्वितीयता: ऑपरेटरों के समान, यदि $X$ पर एक बाध्यकृत मॉड्यूल फलनल $M(X)$ तक निरंतरता (continuation) स्वीकार करता है, तो वह निरंतरता अद्वितीय होती है।

D. शून्य मानचित्रों का अस्तित्व न होना (Non-Existence of Vanishing Maps)

प्रमेय: $M(X)$ से कोएफिशिएंट एल्ब्रा (या उसके ड्यूल) तक कोई भी गैर-तुच्छ (non-trivial) बाध्यकृत मॉड्यूल मैप (रैखिक ऑपरेटर या फनलकल) मौजूद नहीं है जो सब-मॉड्यूल $X$ पर शून्य हो जाए।
निहितार्थ: यह $M(X)$ के भीतर $X$ की "एसेंशियल" प्रकृति को उजागर करता है; $X$ , स्ट्रिक्ट टोपोलॉजी के संबंध में $M(X)$ में स्ट्रिक्टली सघन (strictly dense) है, जो गैर-शून्य मैप्स को $X$ पर शून्य होने और विस्तार पर गैर-शून्य रहने से रोकता है।

E. इनर प्रोडक्ट पर निर्भरता

प्रति-उदाहरण: शोध पत्र दिखाता है कि मल्टीप्लायर मॉड्यूल $M(X)$ केवल $X$ की बानाच मॉड्यूल संरचना द्वारा निर्धारित नहीं होता है। यह विशिष्ट C-मान वाले इनर प्रोडक्ट* पर महत्वपूर्ण रूप से निर्भर करता है।
विवरण: एक ही मॉड्यूल $X$ पर दो इनर प्रोडक्ट समान नॉर्म (norm) को प्रेरित कर सकते हैं लेकिन परिणामस्वरूप गैर-यूनिटरी आइसोमॉर्फिक मल्टीप्लायर मॉड्यूल्स दे सकते हैं यदि इनर प्रोडक्टों के बीच का रूपांतरण गैर-एडजॉइंटेबल ऑपरेटरों (जैसे, $M(A)$ में नहीं बल्कि $LM(A)$ के तत्वों) को शामिल करता है।

4. महत्व (Significance)

अंतर्ज्ञान का सुधार: यह शोध पत्र इस आदत को सुधारता है कि हिल्बर्ट C*-मॉड्यूल्स को विस्तार प्रमेयों के संबंध में हिल्बर्ट स्पेस की तरह व्यवहार करने का अनुमान लगाया जाए। यह स्थापित करता है कि "कॉम्पैक्टनेस" और "बाध्यबद्धता" के गुण कोएफिशिएंट एल्ब्रा और इनर प्रोडक्ट के चयन के प्रति अत्यधिक संवेदनशील होते हैं।
मोरिता इक्वैलेंस का स्पष्टीकरण: यह इस समझ को पुख्ता करता है कि मल्टीप्लायर मॉड्यूल्स स्ट्रॉन्ग मोरिता इक्वैलेंस के द्वैत के तहत सुसंगत व्यवहार करते हैं, जिससे इन वस्तुओं की संरचनात्मक स्थिरता सुदृढ़ होती है।
नए उदाहरण: गैर-यूनिटल C*-एल्ब्रा और अनुक्रम स्थानों (sequence spaces) को शामिल करते हुए ठोस उदाहरण प्रदान करके, यह शोध पत्र गैर-यूनिटल परिवेशों में मल्टीप्लायर मॉड्यूल्स के व्यवहार के संबंध में साहित्य के अंतराल को भरता है।
मौलिक सीमाएँ: मल्टीप्लायर मॉड्यूल्स पर बाध्यकृत फलनल्स के लिए हन-बानाच विस्तार के विफल होने के प्रदर्शन से यह स्पष्ट सीमाएं निर्धारित करता है कि हिल्बर्ट C*-मॉड्यूल सिद्धांत में क्या संभव है, जो उन्हें बानाच स्पेस सिद्धांत से स्पष्ट रूप से अलग करता है।

संक्षेप में, फ्रैंक का शोध पत्र मल्टीप्लायर मॉड्यूल्स का एक कठोर पुनर्मूल्यांकन प्रदान करता है, जो उनकी संरचनात्मक अपरिवर्तनीयता को सिद्ध करते हुए साथ ही ऑपरेटरों और फलनल्स के विस्तार की सीमाओं को भी उजागर करता है, जिससे हिल्बर्ट C*-मॉड्यूल्स के सैद्धांतिक ढांचे को परिष्कृत किया जाता है।