Continuous Tambara-Yamagami tensor categories

गणित के ब्रह्मांड की कल्पना एक विशाल, हलचल भरे शहर के रूप में करें जहाँ विभिन्न पड़ोस चीजों को व्यवस्थित करने के विभिन्न तरीकों का प्रतिनिधित्व करते हैं। एक लोकप्रिय पड़ोस में, जिसे "फ्यूजन कैटेगरीज़" (Fusion Categories) कहा जाता है, नियम सख्त और व्यवस्थित हैं: सब कुछ सीमित संख्या में निर्माण खंडों (building blocks) से बना है, और जब आप दो ब्लॉकों को आपस में टकराते हैं, तो वे हमेशा छोटे ब्लॉकों की एक विशिष्ट, गणनीय सूची में विभाजित हो जाते हैं। यह एक लेगो (LEGO) सेट की तरह है जहाँ हर ईंट का एक निश्चित आकार होता है और दूसरों से जुड़ने के कितने तरीके हैं, इसकी एक निश्चित संख्या होती है। यह पड़ोस क्वांटम भौतिकी और सूक्ष्म कणों के व्यवहार को समझने के लिए अविश्वसनीय रूप से उपयोगी है, लेकिन इसकी एक सीमा है: यह मान लेता है कि दुनिया विविक्त (discrete), अलग-अलग टुकड़ों से बनी है।

हालाँकि, कई वास्तविक दुनिया की घटनाएँ, जैसे नदी का सुचारू प्रवाह या गिटार के तार का निरंतर कंपन, इन साफ-सुथरे, सीमित बक्सों में फिट नहीं बैठतीं। वे एक सुचारू, अखंड परिदृश्य पर मौजूद होती हैं। गणितज्ञों ने लंबे समय से सोचा है कि क्या होगा यदि हम एक ऐसा "लेगो सेट" बना सकें जहाँ ईंटें केवल कुछ अलग आकृतियों के बजाय, संभावनाओं का एक सुचारू, निरंतर स्पेक्ट्रम हों। क्या होगा यदि आप दो ब्लॉकों को टकराते हैं और आपको परिणामों की एक सूची के बजाय, एक विस्तृत निरंतर स्थान में फैला हुआ परिणामों का एक पूरा "बादल" प्राप्त होता है? यह "कंटीन्यूअस टेंसर कैटेगरीज़" (Continuous Tensor Categories) का मोर्चा है। यह उन क्वांटम समरूपताओं (symmetries) का वर्णन करने का एक प्रयास है जहाँ रुचि के विषय केवल वस्तुओं की एक मुट्ठी भर संख्या नहीं हैं, बल्कि एक निरंतर स्थान (topological space) हैं—एक ऐसी आकृति जिसका अपना ज्यामिति और निरंतरता है। बड़ा सवाल यह है कि क्या हम इन निरंतर आकृतियों के जुड़ने और परस्पर क्रिया करने के नियम परिभाषित कर सकते हैं बिना गणित के बिखर जाने के?

यह शोध पत्र, जिसका शीर्षक "कंटीन्यूअस तांबरा-यामागामी टेंसर कैटेगरीज़" (Continuous Tambara-Yamagami Tensor Categories) है, एड्रिया मारिन-साल्वडोर द्वारा लिखा गया है, इस अस्त-व्यस्त, सुंदर मोर्चे में सीधे कदम रखता है। लेखक इन "निरंतर" श्रेणियों को संभालने के लिए एक नया गणितीय ढांचा पेश करते हैं, जो उन्हें केवल अमूर्त सूचियों के रूप में नहीं, बल्कि $C^*$-एल्जेब्रा (जो निरंतर कार्यों और स्थानों का वर्णन करने के लिए गणितीय उपकरण हैं) पर आधारित बीजगणितीय संरचनाओं के रूप में देखते हैं। लक्ष्य "तांबरा-यामागामी" श्रेणियों का एक संस्करण बनाना है—जो विशेष, अच्छी तरह से समझी जाने वाली क्वांटम प्रणालियाँ हैं जिनमें आमतौर पर सीमित समूह की समरूपताएँ शामिल होती हैं—लेकिन उन्हें वास्तविक संख्या रेखा जैसे अनंत, निरंतर समूहों के साथ काम करने के लिए अपग्रेड किया गया है।

इस शोध पत्र की मुख्य खोज इन निरंतर प्रणालियों का पूर्ण वर्गीकरण है। लेखक सिद्ध करते हैं कि यदि आप एक विशिष्ट निरंतर समूह $G$ (जैसे वास्तविक संख्याएँ) के लिए एक निरंतर तांबरा-यामागामी श्रेणी बनाना चाहते हैं, तो आपको लाखों अलग-अलग नियम आविष्कार करने की आवश्यकता नहीं है। इसके बजाय, प्रत्येक ऐसी श्रेणी अनन्य रूप से केवल दो डेटा द्वारा निर्धारित होती है: एक "निरंतर सममित गैर-विकेंद्रित द्विक-चर" (continuous symmetric nondegenerate bicharacter) (जो यह कहने का एक फैंसी तरीका है कि समूह के नंबरों के जोड़े कैसे परस्पर क्रिया करते हैं और एक दूसरे को घुमाते हैं) और एक सरल चिह्न, $+1$ या $-1$। यह कहने जैसा है कि चाहे निरंतर क्वांटम नृत्य कितना भी जटिल क्यों न दिखे, वह हमेशा केवल एक विशिष्ट लय और दिशा के एक एकल चुनाव द्वारा कोरियोग्राफ किया जाता है।

शायद सबसे आश्चर्यजनक और शक्तिशाली खोज यह है जिसे लेखक "स्वचालित निरंतरता" (automatic continuity) कहते हैं। लेखक दिखाते हैं कि यदि आपके पास एक क्वांटम प्रणाली है जो तांबरा-यामागामी फ्यूजन नियमों का पालन करती है (भले ही आपने शुरुआत में इसे निरंतर मानने की धारणा न रखी हो), तो नियम इस प्रणाली को निरंतर होने के लिए मजबूर करते हैं। आपको टुकड़ों को मैन्युअल रूप से जोड़ने की आवश्यकता नहीं है; गणित स्वयं सुनिश्चित करता है कि "एसोसिएटर्स" (associators - वे नियम जो बताते हैं कि तीन चीजों को कैसे समूहबद्ध किया जाए) सुचारू और निरंतर हैं। दूसरे शब्दों में, तांबरा-यामागामी नियमों की संरचना इतनी कठोर है कि वह स्वाभाविक रूप से एक निरंतर दुनिया बनाती है। यह पत्र स्पष्ट करता है कि यदि समूह जिसका आप वर्णन करने का प्रयास कर रहे हैं वह "स्व-द्वैत" (self-dual) नहीं है (अर्थात वह अपने ही दर्पण प्रतिबिंब जैसा नहीं दिखता है), तो ऐसी कोई निरंतर तांबरा-यामागामी श्रेणी अस्तित्व में नहीं हो सकती।

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

लेखक इसे $C^*$-एल्जेब्रा (जो निरंतर स्थानों को संभालते हैं) और "W*-टेंसर श्रेणियों" (जो इन स्थानों की क्वांटम यांत्रिकी को संभालते हैं) की दुनिया के बीच एक पुल बनाकर हासिल करते हैं। $C^*$-एल्जेब्रा के एक विशिष्ट "मोरिटा बाइकैटेगरी" (Morita bicategory) के भीतर एक एल्जेब्रा ऑब्जेक्ट के रूप में एक "निरंतर टेंसर श्रेणी" को परिभाषित करके, लेखक इन अनंत वस्तुओं के बारे में कठोर रूप से बात करने का एक तरीका प्रदान करते हैं। वे फिर किसी भी स्थानीय रूप से कॉम्पैक्ट एबेलियन समूह $G$ (एक प्रकार का निरंतर समूह जिसमें वास्तविक रेखा या वृत्त शामिल हैं) के लिए विशिष्ट उदाहरण का निर्माण करते हैं और दिखाते हैं कि गणित को काम करने का एकमात्र तरीका विशिष्ट द्विक-चर और चिह्न का उपयोग करना है।

यह पत्र एक संभावित चिंता को भी संबोधित करता है: क्या होगा यदि कोई ऐसी प्रणाली पाता है जो तांबरा-यामागामी श्रेणी की तरह दिखती है लेकिन उस तरह से "निरंतर" नहीं है जैसा हमने परिभाषित किया है? लेखक सिद्ध करते हैं कि यह असंभव है। यदि फ्यूजन नियम (जिस तरह से वस्तुएं संयोजित होती हैं) तांबरा-यामागामी पैटर्न से मेल खाते हैं, तो प्रणाली स्वतः ही एक निरंतर टेंसर श्रेणी होगी। टोपोलॉजी (आकार) को हटा देने की "विस्मरण" (forgetful) प्रक्रिया आपको एक मानक क्वांटम श्रेणी छोड़ देती है, लेकिन इसका उल्टा भी सत्य है: मानक नियम टोपोलॉजी का संकेत देते हैं। यह "स्वचालित निरंतरता" एक मजबूत परिणाम है, जो सुझाव देता है कि तांबरा-यामागामी संरचना एक मौलिक निर्माण खंड है जो स्वाभाविक रूप से निरंतर स्थानों को पसंद करती है।

भौतिकी के संदर्भ में, विशेष रूप से 2-आयामी कन्फॉर्मल फील्ड थ्योरी (CFT) में, यह कार्य एक महत्वपूर्ण कदम है। कई भौतिक प्रणालियाँ, जैसे कि "मासलेस बोसन" (एक प्रकार का कण जो बिना द्रव्यमान के चलता है), ऐसी समरूपताओं का निर्माण करती हैं जो परिमित सूचियों के बजाय निरंतर स्थानों का निर्माण करती हैं। पिछले गणितीय मॉडल इन मामलों को संभालने में संघर्ष करते थे क्योंकि वे परिमित, विविक्त वस्तुओं के लिए बनाए गए थे। यह पत्र इन निरंतर समरूपताओं का कठोरता से वर्णन करने के लिए टूलकिट प्रदान करता है। यह दिखाता है कि इन भौतिक प्रणालियों के प्रतिनिधित्व की श्रेणियाँ वास्तव में निरंतर टेंसर श्रेणियाँ हैं, और विशेष रूप से, उनमें से कुछ (जैसे मासलेस बोसन का ऑर्फोल्ड) निरंतर तांबरा-यामागामी श्रेणियाँ हैं।

वर्गीकरण सटीक और व्यापक है। एक दिए गए समूह $G$ के लिए, सभी संभावित निरंतर तांबरा-यामागामी श्रेणियों का सेट $(\chi, \xi)$ के जोड़ों के साथ एक-से-एक पत्राचार में है, जहाँ $\chi$ एक निरंतर सममित गैर-विकेंद्रित द्विक-चर है और $\xi$ $\{ \pm 1 \}$ में एक चिह्न है, जो समूह के ऑटोमॉर्फिज्म (समूह की अपनी समरूपता) की क्रिया के अधीन है। इसका अर्थ है कि लेखक ने इन विशिष्ट निरंतर क्वांटम प्रणालियों के लिए "पीरियोडिक टेबल" खोज ली है। यदि आप समूह और द्विक-चर को जानते हैं, तो आप प्रणाली को जानते हैं।

पत्र यह भी सावधानीपूर्वक उन समूहों के लिए इन श्रेणियों के अस्तित्व को खारिज करता है जो स्व-पॉन्ट्रगिन द्वैत (self-Pontryagin dual) नहीं हैं। यदि एक समूह $G$ अपने द्वैत समूह $\hat{G}$ (सभी निरंतर पात्रों का समूह) के समरूपी नहीं है, तो उस पर कोई गैर-विकेंद्रित द्विक-चर नहीं होता है, और फलस्वरूप, कोई तांबरा-यामागामी श्रेणियाँ नहीं बनाई जा सकतीं। यह एक कठोर प्रतिबंध है, कोई सुझाव नहीं। गणित इसकी अनुमति ही नहीं देता।

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