🔢 mathematics

Towards the Relative Langlands Duality for Orthosymplectic Pairs

यह शोध पत्र एक अनुमानित श्रेणीगत तुल्यता (categorical equivalence) को सिद्ध करता है जो एक टेंसर उत्पाद स्थान पर कार्य करने वाले ऑर्थोसिम्प्लेक्टिक युग्म $\mathrm{SO}_{2n}\times \mathrm{Sp}_{2n}$ और $\mathrm{SO}_{2n+1}$ के कोटैंजेंट बंडल पर कार्य करने वाले ड्यूल पेयर $\mathrm{SO}_{2n+1}\times \mathrm{SO}_{2n}$ के बीच S-द्वैत (S-duality) को स्थापित करता है, जिससे सापेक्ष लैंगलैंड्स द्वैत (relative Langlands duality) के एक विशिष्ट मामले की पुष्टि होती है और यह प्रदर्शित होता है कि $\mathrm{Sp}_{2n}, \mathrm{SO}_{2n}$ के लिए डैरिभ्ड साटाके आइसोमोर्फिज्म (Derived Satake isomorphism) की लैंगलैंड्स फंकशनैलिटी (Langlands functoriality) को थीटा कॉरेस्पोंडेंस (theta correspondence) के माध्यम से साकार किया गया है।

मूल लेखक: Dor Mezer

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

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

CC BY 4.0

मूल लेखक: Dor Mezer

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

गणित के ब्रह्मांड की कल्पना दो अलग-अलग प्रकार के विश्वकोशों (encyclopedias) वाले एक विशाल पुस्तकालय के रूप में करें। एक सेट को, आइए हम इसे "ज्यामितीय पुस्तकालय" (Geometric Library) कहें, जो भौतिक स्थान में आकृतियों, गतियों और समरूपताओं (symmetries) का वर्णन करता है। दूसरा सेट, जिसे हम "स्पेक्ट्रल पुस्तकालय" (Spectral Library) कह सकते है, इन्हीं चीजों को अमूर्त बीजगणित (abstract algebra) और संख्याओं का उपयोग करके वर्णित करता है।

लंबे समय से, गणितज्ञों को संदेह है कि ये दोनों पुस्तकालय वास्तव में एक ही वास्तविकता का वर्णन कर रहे हैं, बस उन्हें अलग-अलग भाषाओं में लिखा गया है। यह विचार लैंगलैंड्स द्वैतता (Langlands Duality) कहलाता है। यह एक ऐसे शब्दकोश की तरह है जो अंग्रेजी से फ्रेंच में एक पर्वत के बारे में लिखी गई कविता का सटीक अनुवाद कर सकता है, जिसमें हर सूक्ष्मता, भावना और लय सुरक्षित रहती है।

मुख्य खोज
इस शोध पत्र में, लेखक, डोर मेज़र (Dor Mezer), इन पुस्तकालयों के दो बहुत जटिल "अध्यायों" के बीच एक विशिष्ट, कठिन अनुवाद सिद्ध करते हैं।

अध्याय A (ज्यामितीय पक्ष): कल्पना कीजिए कि एक विशाल, बहु-आयामी नृत्य मंच (multi-dimensional dance floor) है जहाँ नर्तकों के दो समूह प्रदर्शन कर रहे हैं। एक समूह "ऑर्थोगोनल" (Orthogonal) नर्तकों का है (जो कोणों को संरक्षित करने वाले तरीके से चलते हैं, जैसे कि एक कठोर घूर्णन/rigid rotation), और दूसरा समूह "सिम्प्लेक्टिक" (Symplectic) नर्तकों का है (जो क्षेत्रफल को संरक्षित करने वाले तरीके से चलते हैं, जैसे कि एक तरल भंवर/fluid swirl)। वे एक विशेष प्रकार के अनंत-आयामी स्थान से बने मंच पर नृत्य कर रहे हैं। यह पत्र इस नृत्य के नियमों का अध्ययन करता है।
अध्याय B (स्पेक्ट्रल पक्ष): पुस्तकालय के दूसरी ओर, नर्तकों का एक अलग सेट है: एक "ऑर्थोगोनल" नर्तकों का समूह और दूसरा भी "ऑर्थोगोनल" नर्तकों का समूह, लेकिन वे एक ऐसे मंच पर नृत्य कर रहे हैं जो एक गोले (sphere) का "कोटैजेंट बंडल" (cotangent bundle) है (यह कहने का एक शानदार तरीका है कि वे एक गोले पर और उन सभी दिशाओं में नृत्य कर रहे हैं जिनमें वे किसी भी बिंदु पर गति कर सकते हैं)।

बड़ी दावा (The Big Claim)
मेज़र सिद्ध करते हैं कि अध्याय A और अध्याय B वास्तव में एक ही कहानी हैं।

वह दिखाते हैं कि ऑर्थोगोनल और सिम्प्लेक्टिक समूहों (अध्याय A) के नृत्य को नियंत्रित करने वाले जटिल नियम, दो ऑर्थोगोनल समूहों (अध्याय B) के नृत्य को नियंत्रित करने वाले नियमों के गणितीय रूप से समान हैं। यह बिल्कुल वैसा ही है जैसे आपने यह खोज लिया हो कि सैक्सोफोन और ड्रम किट द्वारा किया गया एक जटिल जैज़ इम्प्रोवाइजेशन वास्तव में एक शास्त्रीय पियानो डुएट के समान ही गीत है, जिसे केवल अलग-अलग वाद्ययंत्रों के साथ बजाया गया है।

उन्होंने यह कैसे किया (उपमा)
इसे सिद्ध करने के लिए, मेज़र ने केवल नर्तकों को नहीं देखा; उन्होंने उस "संगीत" को देखा जो वे बजा रहे थे।

"मूल ताल" (The Generator): उन्होंने ज्यामितीय नृत्य में एक मौलिक "ताल" या "नोट" की पहचान की (जिसे $E_0$ कहा जाता है)। यह एक कॉर्ड के मूल नोट की तरह है।
"हेके एक्शन" (The Conductor): उन्होंने दिखाया कि जब आप इस मूल ताल (basic beat) पर विशिष्ट संगीत आदेश (जिन्हें हेके क्रियाएं/Hecke actions कहा जाता है) लागू करते हैं, तो परिणामी संगीत पुस्तकालय के दोनों पक्षों पर पूरी तरह से मेल खाता है।
"अनुवाद शब्दकोश" (The Translation Dictionary): उन्होंने दोनों पक्षों के बीच एक सेतु बनाया। उन्होंने सिद्ध किया कि यदि आप ज्यामितीय पक्ष से "मूल ताल" लेते हैं और उसका उपयोग अपने शब्दकोश के माध्यम से करते हैं, तो वह स्पेक्ट्रल पक्ष पर "स्ट्रक्चर शीफ" (सबसे बुनियादी, मौलिक वस्तु) बन जाता है।

"थीटा कॉरेस्पोंडेंस" (Theta Correspondence) संबंध
इस खोज का सबसे रोमांचक हिस्सा वह है जो यह प्रसिद्ध गणितीय उपकरण जिसे थीटा कॉरेस्पोंडेंस कहा जाता है, के बारे में संकेत देता है।

थीटा कॉरेस्पोंडेंस को एक जादुई रेडियो टावर के रूप में सोचें। दशकों से, गणितज्ञ जानते थे कि यह टावर ऑर्थोगोनल और सिम्प्लेक्टिक समूहों के बीच संकेत भेज सकता है। लेकिन वे ठीक से नहीं जानते थे कि ग्रैंड स्कीम में उस संकेत का अर्थ क्या है।

मेज़र का कार्य सिद्ध करता है कि यह रेडियो टावर केवल रैंडम शोर नहीं भेज रहा है; यह वह सटीक तंत्र है जो "ज्यामितीय भाषा" को "स्पेक्ट्रल भाषा" में अनुवादित करता है। यह पुष्टि करता है कि थीटा कॉरेस्पोंडेंस वह विशिष्ट "कंडक्टर" है जो दो अलग-अलग नृत्यों को पूर्ण तालमेल में रखता है।

यह क्यों महत्वपूर्ण है (शोध पत्र के भीतर)

यह एक पहेली को हल करता है: यह पुष्टि करता है कि ये गणितीय समूह एक-दूसरे से कैसे संबंधित हैं, जिससे "रिलेटिव लैंगलैंड्स द्वैतता" (Relative Langlands Duality) की पहेली का एक लापता हिस्सा भर जाता है।
यह एक पूरे परिवार के लिए काम करता है: हालांकि यह शोध पत्र एक विशिष्ट आकार ( $2n$ ) पर केंद्रित है, लेखक बताते हैं कि यह विधि समान समस्याओं के एक पूरे परिवार (जिन्हें ऑर्थोसिम्प्लेक्टिक पेयर्स कहा जाता है) के लिए काम करती है, जो यह सुझाव देती है कि यह केवल एक इकलौती घटना नहीं बल्कि एक सामान्य सिद्धांत है।
यह अवधारणाओं को एकीकृत करता है: यह तीन प्रमुख अवधारणाओं को जोड़ता है: अनंत स्थानों की ज्यामिति, समरूपताओं का बीजगणित, और विशिष्ट "थीटा कॉरेस्पोंडेंस" जो उन्हें जोड़ता है।

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

तकनीकी सारांश: ऑर्थोसिम्प्लेक्टिक युग्मों (Orthosymplectic Pairs) के लिए सापेक्ष लैंगलैंड द्वैतता की ओर

समस्या विवरण
यह शोध पत्र सापेक्ष लैंगलैंड द्वैतता (Relative Langlands Duality) अनुमान के एक विशिष्ट मामले को संबोधित करता है, जो एक गोलाकार विविधता (spherical variety) पर D-मॉड्यूल की एक "ज्यामितीय" श्रेणी और लैंगलैंड डुअल समूह के कोटैंजेंट बंडल पर परफेक्ट मॉड्यूल्स की एक "स्पेक्ट्रल" श्रेणी के बीच समानता का प्रस्ताव करता है। विशेष रूप से, लेखक $G = SO_{2n} \times Sp_{2n}$ समूह द्वारा सिम्प्लेक्टिक वेक्टर स्पेस $V = \mathbb{C}^{2n}_- \otimes \mathbb{C}^{2n}_+$ पर कार्य करने वाले युग्म की जांच करते हैं।

केंद्रीय समस्या इस युग्म के S-डुअल को स्थापित करना है। जबकि पिछले कार्यों ([6], [14], [8]) ने $(SO_{2n+1}, Sp_{2n})$ और $(GL_n, GL_m)$ के लिए समान मामलों को हल किया था, गैर-ध्रुवीकृत (non-polarized) संस्करण के ढांचे के भीतर ऑर्थोसिम्प्लेक्टिक मामला $SO_{2n} \times Sp_{2n}$ (जो टेंसर उत्पाद स्थान पर कार्य करता है) अभी भी सिद्ध होना बाकी था। लक्ष्य यह प्रदर्शित करना है कि S-डुअल युग्म $SO_{2n+1} \times SO_{2n}$ है, जो $T^*SO_{2n+1}$ पर कार्य करता है।

कार्यप्रणाली
प्रमाण ज्यामितीय प्रतिनिधित्व सिद्धांत (geometric representation theory), इनवेरिएंट थ्योरी (invariant theory), और कैटेगोरिकल बीजगणित (categorical algebra) को संयोजित करने वाली एक बहु-चरणीय रणनीति के माध्यम से आगे बढ़ता है:

ज्यामितीय सेटअप और वेइल प्रतिनिधित्व (Geometric Setup and Weil Representation): लेखक "ज्यामितीय श्रेणी" को लूप स्पेस $(\mathbb{C}^{2n}_- \otimes \mathbb{C}^{2n}_+)_K$ के पूर्ण वेइल बीजगणित $W$ के स्थानीय कॉम्पैक्ट, पुनर्सामान्यीकृत असंतत मॉड्यूल्स की श्रेणी के रूप में परिभाषित करते हैं, जिसे $W\text{-mod}_{SO_{2n},O \times Sp_{2n},O,lc}$ कहा जाता है। यह श्रेणी $SO_{2n}$ और $Sp_{2n}$ से संबंधित हीके श्रेणियों (Hecke categories) के क्रिया को वहन करती है। "स्पेक्ट्रल श्रेणी" को $D^{\text{perf}}_{SO_{2n} \times SO_{2n+1}}(T^*SO_{2n+1})$ के रूप में पहचाना गया है।
हीके क्रिया की पहचान (Hecke Action Identification): एक महत्वपूर्ण प्रारंभिक चरण (अनुभाग 4) यह सिद्ध करना है कि $Rep(SO_{2n+1})$ और $Rep(SO_{2n})$ की हीके क्रियाएं ज्यामितीय श्रेणी पर संगत हैं। विशेष रूप से, मानक प्रतिनिधित्व $U \in Rep(SO_{2n+1})$ की क्रिया को $SO_{2n}$ पर प्रतिबंध और संगत हीके क्रिया के माध्यम से तथ्यबद्ध (factor) दिखाया गया है। यह बुनियादी वस्तु $E_0$ (मॉड्यूल $W/(V \otimes V')_O$ ) पर क्रिया के स्पष्ट गणना के माध्यम से और परिणामी D-मॉड्यूल्स को $SO_{2n}$ पक्ष से उत्पन्न मॉड्यूल्स के साथ मिलान करके प्राप्त किया गया है।
जनरेशन और डीइक्विवेरियंटाइजेशन (Generation and Deequivariantization): शोध पत्र यह स्थापित करता है कि वस्तु $E_0$ हीके क्रिया $Rep(SO_{2n})$ के तहत संपूर्ण ज्यामितीय श्रेणी को उत्पन्न करती है। यह समस्या को एक बीजगणितीय समस्या में बदलने की अनुमति देता है: $E_0$ के डीइक्विवेरंटाइज्ड एंडोमोर्फिज्म बीजगणित (जिसे $\mathcal{E}$ के रूप में चिन्हित किया गया है) और स्पेक्ट्रल पक्ष के फलनों के बीजगणगर, $Sym(\mathfrak{so}_{2n+1}[-2])$ के बीच एक आइसोमोर्फिज्म का निर्माण करना।
फॉर्मेलिटी और लोकलाइजेशन (Formality and Localization): शुद्धता (purity) संबंधी विचारों का उपयोग करते हुए (मिश्रित ट्विस्टर D-मॉड्यूल्स तक ऊपर उठकर), लेखक सिद्ध करते हैं कि dg-बीजगणित $\mathcal{E}$ फॉर्मल (अपने कोहोमोलॉजी रिंग $\mathcal{E}^\bullet$ के साथ क्वासी-आइसोमोर्फिक) है। प्रमाण $\mathcal{E}^\bullet$ का विश्लेषण करने के लिए लोकलाइजेशन प्रमेय (Localization Theorem) का उपयोग करता है, जो कैटेगोरिकल कोटिएंट $\Sigma_{2n} \times \Sigma_{2n+1}$ पर आधारित है।
इनवेरिएंट थ्योरी और स्यूडो-स्लाइस (Invariant Theory and Pseudo-Slices): आइसोमॉर्फिज्म $\psi: Sym(\mathfrak{so}_{2n+1}[-2]) \to \mathcal{E}$ को सिद्ध करने के लिए, लेखक $\mathfrak{so}_{2n+1}^*$ पर $SO_{2n}$ की क्रिया के लिए एक "स्यूडो-स्लाइस" का निर्माण करते हैं। कैटेगोरिकल कोटिएंट का विश्लेषण करके और यह दिखाकर कि यह मानचित्र बेस चेंज और इस स्यूडो-स्लाइस के अनुदिश लोकलाइजेशन के बाद एक आइसोमॉर्फिज्म बन जाता है, वैश्विक आइसोमॉर्फिज्म का निष्कर्ष निकाला जाता है। $n=1$ के मामले को प्रत्यक्ष गणना के माध्यम से अलग से संभाला गया है।

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

मुख्य प्रमेय (Theorem 1.1): शोध पत्र श्रेणियों का एक तुल्यता सिद्ध करता है:
$W\text{-mod}_{SO_{2n},O \times Sp_{2n},O,lc} \cong D^{\text{perf}}_{SO_{2n} \times SO_{2n+1}}(T^*SO_{2n+1})$
यह तुल्यता संबंधित हीके श्रेणियों के कार्यों के साथ संगत है और वस्तु $E_0$ को $T^*SO_{2n+1}$ के स्ट्रक्चर शफ (structure sheaf) पर मैप करती है।
S-द्वैतता पुष्टि (Theorem 1.5): इसके प्रत्यक्ष परिणाम के रूप में, शोध पत्र पुष्टि करता है कि $Sp_{2n} \times SO_{2n} \curvearrowright \mathbb{C}^{2n}_- \otimes \mathbb{C}^{2n}_+$ का S-डुअल $SO_{2n+1} \times SO_{2n} \curvearrowright T^*SO_{2n+1}$ है। यह इस विशिष्ट ऑर्थोसिम्प्लेक्टिक मामले के लिए गैर-ध्रुवीकृत संस्करण के सापेक्ष लैंगलैंड द्वैतता अनुमान को मान्य करता है।
थीटा कॉरेस्पोंडेंस एक फलनत्व के रूप में (Theta Correspondence as Functoriality - Theorem 1.7): शोध पत्र प्रदर्शित करता है कि $Sp_{2n}$ और $SO_{2n}$ के बीच थीटा कॉरेस्पोंडेंस स्थानीय ज्यामितीय लैंगलैंड फलनत्व (functoriality) को साकार करता है, जो $SO_{2n} \hookrightarrow SO_{2n+1}$ के प्राकृतिक समावेशन (inclusion) के अनुरूप है। विशेष रूप से, थीटा लिफ्ट फलन को स्पेक्ट्रल श्रेणी में इक्विवैरियंस के प्रतिबंध और पुशफॉरवर्ड के फलनत्व लिफ्ट के आइसोमोर्फिक के रूप में दिखाया गया है (एक विशिष्ट इनवोल्यूशन तक)।
अपरिवर्तनीय वस्तुओं का वर्गीकरण (Classification of Irreducibles): ज्यामितीय श्रेणी में अपरिवर्तनीय वस्तुओं को स्व-द्वैत हस्ताक्षरों (self-dual signatures) द्वारा वर्गीकृत किया गया है, जो $SO_{2n}$ के डोमिनेंट को-वेट्स (coweights) के अनुरूप हैं।

महत्व
शोध पत्र दावा करता है कि यह एक ऐसे सेटिंग में सापेक्ष लैंगलैंड द्वैतता का एक मूर्त कार्यान्वयन है जो गैर-ध्रुवीकृत (non-polarizable) है (विविधता $T^*SO_{2n+1}$ हाइपरस्फेरिकल है लेकिन पारंपरिक अर्थों में ध्रुवीकृत नहीं है)। इस ऑर्थोसिसेप्टिक युग्म के लिए तुल्यता को सिद्ध करके, यह साहित्य में पहले स्थापित किए गए मामलों से परे अनुमान के दायरे का विस्तार करता है।

इसके अलावा, यह कार्य एक कठोर ज्यामितीय प्रमाण प्रदान करता है कि थीटा कॉरेस्पोंडेंस केवल एक फलनत्व लिफ्ट नहीं है, बल्कि वह विशिष्ट लिफ्ट है जो डेरिव्ड साटे इज़ोमोर्फिज्म (Derived Satate isomorphism) द्वारा निर्देशित है। कार्यप्रणाली, विशेष रूप से स्यूडो-स्लाइस और डीइक्विवेरंटाइज्ड एंडोमोर्फिज्म बीजगणित का उपयोग, एक ऐसे ढांचे के रूप में प्रस्तुत किया गया है जो सामान्य सम (even) ऑर्थोसिम्प्लेक्टिक मामला $osp(2m|2n)$ पर लागू किया जा सकता है, जिसे लेखक भविष्य के कार्य के विषय के रूप में नोट करते हैं। शोध पत्र सामान्य विषम (odd) ऑर्थोसिम्प्लेक्टिक मामले या सभी हाइपरस्फेरिकल विविधताओं के लिए पूर्ण विसंगति निवारण (anomaly cancellation) को हल करने का दावा नहीं करता है, बल्कि सम मामले के लिए एक आधारभूत कदम स्थापित करता है।

इसी तरह के और पेपर