The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi

तकनीकी सारांश: सेंटर कोमोनैड मॉडल की अपभ्रंशता और प्रीकंपोजिशन अवरोध

समस्या विवरण
यह शोध पत्र श्रीबर द्वारा निर्मित और संदर्भ [1] में विस्तृत एक कोहेसिव लीनियर $\infty$-टोपोस के पहले ठोस मॉडल में एक महत्वपूर्ण विफलता को संबोधित करता है। यह मॉडल परिमित-आयामी $C^*$-बीजगणितों की श्रेणी और "सेंटर कोमोनैड" का उपयोग करके एक क्वांटम मोडैलिटी ($Q_\diamond$) को परिभाषित करने के लिए किया गया है। जबकि इसका उद्देश्य स्मूथ (smooth) और डिस्क्रीट (discrete) ज्यामिति को क्वांटम लॉजिक के साथ समृद्ध करने के अंतर्संबंध को स्वयंसिद्ध करना था, यह मॉडल मौलिक रूप से अपभ्रंश (degenerate) पाया गया है। यह अपभ्रंशता दो प्राथमिक रूपों में प्रकट होती है:

1. गैर-क्रमविनिमेयता का विनाश (Annihilation of Non-Commutivity): क्वांटम मोडैलिटी मोड रिप्रजेंटेबल प्रेशीव्स (representable presheaves) जैसे कि सरल गैर-क्रमविनिमेय बीजगणितों (उदाहरण के लिए, क्यूबिट बीजगणित $M_2(\mathbb{C})$) को खाली प्रेशीव (empty presheaf) में मैप करती है, जो प्रभावी रूप से सभी गैर-क्रमविनिमेय स्वतंत्रता के स्तरों को मिटा देती है।
2. लीनियर लॉजिक का पतन (Collapse of Linear Logic): संबद्ध सीली आइसोमोर्फिज्म (Seely isomorphism), $Q_\diamond(X \times Y) \cong Q_\diamond X \otimes_{\text{Day}} Q_\diamond Y$, स्वाभाविक रूप से सत्य होता है क्योंकि "क्लासिकल कोर" पर डे कॉन्वोल्यूशन (Day convolution), कार्टेशियन उत्पाद के समान हो जाता है। इसके कारण लीनियर लॉजिक का मल्टीप्लिकेटिव कंजंक्शन (multiplicative conjunction) एडिटिव कंजंक्शन (additive conjunction) में बदल जाता है, जिससे संसाधन-संवेदनशील संरचना का शास्त्रीय कार्टेशियन लॉजिक से अंतर करना असंभव हो जाता है।

कार्यप्रणाली
लेखक $\infty$-कैटेगरी थ्योरी और टोपोस थ्योरी के ढांचे के भीतर एक कठोर निदान का उपयोग करता है, विशेष रूप से निम्नलिखित का उपयोग करते हुए:

• योनडा एम्बेडिंग और रिप्रजेंटेबल्स (Yoneda Embedding and Representables): रिप्रजेंटेबल प्रेशीव्स $yA$पर सेंटर फलन$Z$के प्रीकंपोजिशन ($Q_\diamond = Z^*$) के व्यवहार का विश्लेषण करना।
• बीजगणितीय संरचना विश्लेषण (Algebraic Structure Analysis): परिमित-आयामी $C^*$-बीजगणितों के गुणों का अध्ययन करना, विशेष रूप से सरल गैर-क्रमविनिमेय बीजगणितों (जैसे $M_n(\mathbb{C})$) की संरचना और एक कम्यूटेटिव बीजगणित (commutative algebra) में उनके पास यूनिटल $*$-होमोमोर्फिज्म (unital $*$-homomorphisms) का अभाव।
• गेल्फ़ैंड ड्युअलिटी (Gelfand Duality): परिमित-आयामी कम्यूटेटिव $C^*$-बीजगणितों की विपरीत श्रेणी और $\text{FinSet}$ के बीच समानता का उपयोग करके क्लासिकल कोर की मोनॉयडल संरचना का विश्लेषण करना।
• डे कॉन्वोल्यूशन (Day Convolution): यह जांचना कि जब अंडरलाइंग साइट एक मोनॉयडल श्रेणी के रूप में कार्टेशियन है, तो प्रेशीव टोपोस पर डे कॉन्वोल्यूशन कैसे व्यवहार करता है।
• सामान्य प्रमेय सिद्ध करना (General Theorem Proving): उन संरचनात्मक स्थितियों को अलग करना (मोनॉयडल एडजंक्शंस, कोरिफ़ेक्टिव सबकैटेगरीज और ड्युअलिटीज) जो इस अपभ्रंशता की ओर ले जाती हैं ताकि एक सामान्य अवरोध प्रमेय (obstruction theorem) तैयार किया जा सके।

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

1. विनाश का नियम (The Annihilation Lemma - सेक्शन 3.1):
   लेख यह सिद्ध करता है कि किसी भी सरल गैर-क्रमविनिमेय बीजगणित $A$ (जहाँ $A \cong M_n(\mathbb{C})$ और $n > 1$) के लिए, प्रेशीव $Q_\diamond(yA)$ एक खाली प्रेशीव है। ऐसा इसलिए है क्योंकि एक सरल गैर-क्रमविनिमेय बीजगणित से एक कम्यूटेटिव बीजगणित (सेंटर फलन का इमेज) में कोई यूनिटल $*$-होमोमोर्फिज्म नहीं होता है। फलस्वरूप, मोडैलिटी पूरी तरह से गैर-क्रमविनिमेय प्रणालियों को समाप्त कर देती है।

2. खाली अवस्था स्थान (Empty State Space - सेक्शन 3.2):
   यह सिद्ध किया गया है कि ऐसे किसी भी गैर-क्रमविनिमेय बीजगणित का स्टेट स्पेस (state space) खाली है ($\text{Hom}(y\mathbb{C}, yA) = \emptyset$)। इसका तात्पर्य यह है कि यह मॉडल एक क्यूबिट के लिए एक भी अवस्था प्रदान करने में विफल रहता है, जो भौतिक आवश्यकताओं (जैसे कि ब्लॉच स्फीयर का अस्तित्व) का खंडन करता है।

3. क्लासिकल कोर पर कार्टेशियन डे कॉन्वोल्यूशन (Cartesian Day Convolution on the Classical Core - सेक्शन 3.3):
   लेख यह प्रदर्शित करता है कि $Q_\diamond$-कोअलजेब्रा की श्रेणी (क्लासिकल कोर) पर डे कॉन्वोल्यूशन, कार्टेशियन उत्पाद के समान है। यह इस तथ्य से प्राप्त होता है कि कम्यूटेटिव परिमित-आयामी $C^*$-बीजगणितों की विपरीत श्रेणी $\text{FinSet}$ के मोनॉयडली रूप से समतुल्य है, जो कि एक कार्टेशियन मोनॉइडल श्रेणी है। इस ड्युअलिटी के तहत, डे कॉन्वोल्यूशन पॉइंटवाइज कार्टेशियन उत्पाद बन जाता है।

4. सीली आइसोमोर्फिज्म की निरर्थकता (Triviality of the Seely Isomorphism - कोरोलरी 3.5):
   चूंकि डे कॉन्वोल्यूशन कार्टेशियन है, इसलिए सीली आइसोमोर्फिज्म $Q_\diamond(X \times Y) \cong Q_\diamond X \otimes_{\text{Day}} Q_\diamond Y$ पहचान $X \times Y \cong X \times Y$ में बदल जाता है। यह पुष्टि करता है कि लीनियर लॉजिक संरचना अपभ्रंश है, क्योंकि मल्टीप्लिकेटिव और एडिटिव कंजंक्शंस के बीच कोई अंतर नहीं रह जाता है।

5. प्रीकंपोजिशन अवरोध प्रमेय (The Precomposition Obstruction Theorem - थ्योरम 3.6):
   यह शोध पत्र एक सामान्य प्रमेय स्थापित करता है जो यह लक्षणित करता है कि कब एक प्रेशीव टोपोस पर एक कोरिफ़ेक्टिव मोडैलिटी इस प्रकार की अपभ्रंशता का शिकार होती है। प्रमेय कहता है कि यदि एक मोडैलिटी एक कोरिफ़ेक्टिव सबकैटेगरी $D \subseteq C$ से उत्पन्न होती है जहाँ:

• समावेश (inclusion) और कोरिफ्लेक्टर (coreflector) स्ट्रॉन्ग मोनॉयडल हैं।
• एडजंक्शन मोनॉयडल है।
• $D^{\text{op}}$ की विपरीत श्रेणी मोनॉयडली रूप से एक कार्टेशियन मोनॉइडल श्रेणी के समतुल्य है।
  तो प्रेरित डे कॉन्वोल्यूशन, कोअलजेब्रा श्रेणी पर कार्टेशियन होता है, और सीली आइसोमोर्फिज्म अपभ्रंश हो जाता है। यह सेंटर मॉडल की विफलता को एक व्यापक वर्ग के संभावित उम्मीदवारों के साथ एकीकृत करता है।

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

• विफलता की सटीक पहचान: केवल अवलोकन से आगे बढ़कर यह सिद्ध करना कि मॉडल गैर-क्रमविनिमेय बीजगणितों को नष्ट कर देता है और उन्हें स्टेटलेस (stateless) बना देता है।
• संरचनात्मक अंतर्दृष्टि: यह पहचानना कि लीनियर लॉजिक का पतन सेंटर फलन की कोई आकस्मिक विशेषता नहीं है, बल्कि किसी भी कोरिफ़ेक्टिव मोडैलिटी का एक संरचनात्मक परिणाम है जिसका क्लासिकल कोर एक कार्टेशियन श्रेणी का ड्यूल है।
• वांछनीयताओं को परिभाषित करना: एक गैर-अपभ्रंश क्वांटम मोडैलिटी के लिए आवश्यक शर्तें स्थापित करना: इसे गैर-क्रमविनिमेय बीजगणितों को नष्ट नहीं करना चाहिए, इसमें गैर-तुच्छ (non-trivial) स्टेट स्पेस होना चाहिए, और इसमें एक गैर-कार्टेशियन डे कॉन्वोल्यूशन का उपयोग होना चाहिए।
• भावी अनुसंधान का मार्गदर्शन: शोध पत्र निष्कर्ष निकालता है कि एक गैर-अपभ्रंश मॉडल कार्टेशियन-ड्यूल कोर वाले प्रेशीव टोपोस पर प्रीकंपोजिशन फलन पर निर्भर नहीं हो सकता है। यह भविष्य के कार्य के लिए दो संभावित "एस्केप रूट्स" का सुझाव देता है: शेफ (sheaf) टोपोस पर आंतरिक मोडैलिटीज (Lawvere–Tierney topologies), या गैर-प्रेशीव टोपोस में निर्माण (जैसे कि हिल्बर्ट बाइमॉड्यूल्स पर CPM निर्माण)।

यह शोध पत्र एक सीमित दायरे को बनाए रखता है, जो सख्ती से मौजूदा मॉडल के निदान और अवरोध के लक्षण वर्णन पर केंद्रित है, बिना किसी नए ठोस मॉडल या प्रयोगात्मक अनुप्रयोग का प्रस्ताव दिए।