Higher Tensor Product for sl2 and Webster algebras
Ebert, Rouquier
We construct a model for the tensor product of the regular 2-representation of the enveloping algebra of $\mathfrak{sl}_2^+$ with the vector 2-representation, based on the $\infty$-categorical definition of the second author. Our model contains McMillan's minimal one. Our use of an infinite family of generators provides a simpler model that we prove is equivalent to Webster's tensor product category.
यह पेपर sl₂⁺ आवरण बीजगणित के नियमित 2-प्रतिनिधित्व और सदिश 2-प्रतिनिधित्व के टेंसर गुणनफल मॉडल का निर्माण करता है, जो दूसरे लेखक की ∞-श्रेणी परिभाषा पर आधारित है। यह मॉडल McMillan के न्यूनतम मॉडल को शामिल करता है, और अनंत जनरेटर के परिवार का उपयोग करके एक सरल मॉडल प्रदान करता है, जो Webster के टेंसर गुणनफल श्रेणी के समतुल्य होने को प्रमाणित करता है।
उच्च-क्रम प्रतिनिधित्व सिद्धांत का विकास: उच्च-क्रम प्रतिनिधित्व सिद्धांत प्रतिनिधित्व सिद्धांत का एक संस्करण है, जिसमें सदिश स्थान को श्रेणियों द्वारा प्रतिस्थापित किया जाता है। sl₂ के मामले में, मूल सिद्धांत Chuang और Rouquier द्वारा प्रस्तुत किया गया था, और वर्गीकृत संस्करण Lauda द्वारा माना गया था।
2-प्रतिनिधित्व के टेंसर गुणनफल की समस्या: Rou3 में, दूसरे लेखक ने 2-प्रतिनिधित्व के टेंसर गुणनफल को परिभाषित किया, और अनुमान लगाया कि सरल 2-प्रतिनिधित्व के टेंसर गुणनफल Webster के quiver Hecke बीजगणित 2-प्रतिनिधित्व के साथ मेल खाते हैं। हालांकि, यह टेंसर गुणनफल ∞-श्रेणी को शामिल करता है, जिसे अधिक ठोस मॉडल की आवश्यकता है।
ठोस मॉडल की आवश्यकता: हालांकि सामान्य सिद्धांत dg-श्रेणी मॉडल और व्युत्पन्न श्रेणी पर कार्रवाई प्रदान करता है, लेकिन नई t-संरचना बनाने की आवश्यकता है ताकि कार्रवाई अधिक स्पष्ट हो, और Webster श्रेणी के साथ संबंध स्थापित हो।
नई t-संरचना का निर्माण: व्युत्पन्न श्रेणी Db(L⊗⃝A) पर एक नई t-संरचना का निर्माण किया गया, जिससे फंक्टर E की कार्रवाई सटीक है
स्पष्ट मॉडल प्रदान करना: अनंत जनरेटर के परिवार {Yn,m}n,m≥0 के माध्यम से टेंसर गुणनफल श्रेणी का स्पष्ट विवरण दिया गया, जहां प्रत्येक Yn,m दो-पद परिसर है
समतुल्यता स्थापित करना: निर्मित मॉडल और Webster टेंसर गुणनफल श्रेणी Wy के बीच (U,U)-द्विमॉड्यूल समतुल्यता को प्रमाणित किया गया (प्रमेय 6.2)
वर्गीकृत संस्करण प्रदान करना: वर्गीकृत संस्करण की समतुल्यता दी गई (प्रमेय 6.5), और Grothendieck समूह पर समरूपता के माध्यम से समतुल्यता को प्रमाणित किया गया
गणना को सरल बनाना: McMillan के मॉडल की तुलना में, इस पेपर की अनंत जनरेटर विधि गणना और संबंधों के सत्यापन को अधिक प्रत्यक्ष बनाती है
शुद्ध गणित सिद्धांत पेपर के रूप में, इस पेपर में पारंपरिक अर्थ में प्रायोगिक सेटअप नहीं है। लेकिन इसमें बड़ी संख्या में गणितीय सत्यापन और गणना शामिल हैं:
इस पेपर द्वारा उद्धृत मुख्य साहित्य में शामिल हैं:
ChRou Chuang-Rouquier, सममित समूहों और sl₂-श्रेणीकरण के लिए व्युत्पन्न समतुल्यता, Annals of Math. 167 (2008)
sl₂ श्रेणीकरण की नींव का काम
CrFr Crane-Frenkel, चार-आयामी टोपोलॉजिकल क्वांटम क्षेत्र सिद्धांत, Hopf श्रेणियां, और विहित आधार, J. Math. Phys. 35 (1994)
चार-आयामी TQFT कार्यक्रम प्रस्तावित करता है
Lau Lauda, क्वांटम sl(2) का श्रेणीकरण, Adv. Math. 225 (2010)
क्वांटम sl(2) का श्रेणीकरण
Mc McMillan, sl(2)⁺ के 2-प्रतिनिधित्व का टेंसर 2-गुणनफल, पूर्वप्रिंट arXiv:2209.06782
इस पेपर द्वारा सुधारा गया पूर्व कार्य
Rou3 Rouquier, 2-प्रतिनिधित्व के लिए टेंसर गुणनफल, I, तैयारी में
इस पेपर का सैद्धांतिक आधार (अप्रकाशित)
We Webster, नॉट अपरिवर्तनीय और उच्च प्रतिनिधित्व सिद्धांत, AMS की यादें 1191, 2017
Webster श्रेणी की मूल परिभाषा
समग्र मूल्यांकन: यह उच्च-क्रम प्रतिनिधित्व सिद्धांत क्षेत्र में एक उच्च गुणवत्ता वाला शुद्ध गणित सिद्धांत पेपर है। चतुर तकनीकी नवाचार (विशेष रूप से Δₙ तत्व और अनंत जनरेटर विधि) के माध्यम से, लेखकों ने अमूर्त ∞-श्रेणी निर्माण को सफलतापूर्वक ठोस बनाया है, और Webster बीजगणित श्रेणी के साथ समतुल्यता स्थापित की है। पेपर कठोर प्रमाण, गहन तकनीक, और स्पष्ट लेखन प्रदान करता है। sl₂ के पूर्ण श्रेणीकरण और Crane-Frenkel कार्यक्रम के लिए एक महत्वपूर्ण कदम प्रदान करता है। हालांकि पठनीयता की दहलीज अधिक है, लेकिन उच्च-क्रम प्रतिनिधित्व सिद्धांत शोधकर्ताओं के लिए यह एक आवश्यक पाठ्य सामग्री है।