We define the notion of basic section of an LA-groupoid whose core-anchor map is injective. Such a notion turns out to be Morita invariant, so that it provides a simpler model for the sections of the stacky Lie algebroids presented by such LA-groupoids, yet equivalent to the well-known model provided by their multiplicative sections.
यह पेपर अंतःक्षेपी मूल-लंगर मानचित्र (injective core-anchor map) वाली LA-समूहबद्धताओं (LA-groupoid) के लिए मूल खंड (basic sections) की अवधारणा को परिभाषित करता है। यह अवधारणा Morita अपरिवर्तनीय सिद्ध होती है, जिससे ऐसी LA-समूहबद्धताओं द्वारा प्रस्तुत स्तरीय Lie बीजगणित समूहबद्धताओं (stacky Lie algebroid) के खंडों के लिए एक सरल मॉडल प्रदान करती है, लेकिन प्रसिद्ध गुणनात्मक खंड मॉडल के समतुल्य है।
इस पेपर की मूल समस्या यह है: अंतःक्षेपी मूल-लंगर मानचित्र वाली LA-समूहबद्धताओं के लिए एक सरलीकृत, Morita अपरिवर्तनीय खंड स्थान मॉडल को कैसे परिभाषित किया जाए?
Lie समूहबद्धताओं का व्यापक अनुप्रयोग: Lie समूहबद्धताएं आधुनिक अवकल ज्यामिति में महत्वपूर्ण ढांचा हैं, जो बहुविध, Lie समूह, Lie समूह क्रिया, निमज्जन मानचित्र, पत्तीदार संरचना, छद्मसमूह, सदिश बंडल और प्रमुख बंडल जैसी कई ज्यामितीय वस्तुओं को एकीकृत करते हैं।
अवकलनीय स्टैक की ज्यामितीय संरचना: Lie समूहबद्धताओं को अवकलनीय स्टैक (differentiable stacks) को परिभाषित करने के मध्यवर्ती चरण के रूप में देखा जा सकता है, जबकि अवकलनीय स्टैक विलक्षणताओं की अनुमति देने वाली स्थान हैं, जो बहुविध, कक्षीय रूप और विलक्षण पत्तीदार संरचना के पत्ती स्थान को सामान्यीकृत करते हैं।
Morita अपरिवर्तनीयता की महत्ता: Morita समतुल्यता के साथ संगत ज्यामितीय संरचनाएं Lie समूहबद्धताओं के भागफल स्टैक पर अवतरित हो सकती हैं, जिससे ज्यामितीय अवधारणाओं को विलक्षण कक्षा स्थान पर विस्तारित किया जा सकता है।
मौजूदा LA-समूहबद्धताओं के गुणनात्मक खंडों का Lie 2-बीजगणित मॉडल Morita अपरिवर्तनीय है, लेकिन संरचना जटिल है। अंतःक्षेपी मूल-लंगर मानचित्र वाले विशेष मामलों (जैसे पत्तीदार समूहबद्धताएं) के लिए, सरल मॉडल (मूल सदिश क्षेत्र) मौजूद हैं, लेकिन एकीकृत सैद्धांतिक ढांचे की कमी है।
मूल खंड अवधारणा की परिभाषा: मूल-लंगर मानचित्र अंतःक्षेपी VB-समूहबद्धताओं (विशेष रूप से LA-समूहबद्धताओं) के लिए मूल खंडों की अवधारणा प्रस्तुत की गई है।
Lie बीजगणित संरचना की स्थापना: LA-समूहबद्धताओं के मूल खंड स्थान स्वाभाविक रूप से Lie बीजगणित संरचना को विरासत में लेते हैं।
Morita अपरिवर्तनीयता: मूल खंडों का Lie बीजगणित Morita अपरिवर्तनीय है, इसलिए स्तरीय Lie बीजगणित समूहबद्धताओं के खंडों के मॉडल के रूप में कार्य कर सकता है।
समतुल्यता प्रमेय (मुख्य प्रमेय): मूल-लंगर मानचित्र अंतःक्षेपी LA-समूहबद्धताओं (V⇒E;G⇒M) के लिए, मूल खंड स्थान पर Morita अपरिवर्तनीय Lie बीजगणित संरचना मौजूद है, और यह Lie बीजगणित गुणनात्मक खंडों के Lie 2-बीजगणित के साथ अर्ध-समरूप है।
व्यापक अनुप्रयोग उदाहरण: मूल सदिश क्षेत्र, मूल व्युत्पन्न, Poisson समूहबद्धताओं के मूल 1-रूप, Jacobi समूहबद्धताओं के मूल 1-जेट आदि कई महत्वपूर्ण परिदृश्यों में इस सिद्धांत के अनुप्रयोग प्रदर्शित किए गए हैं।
LA-समूहबद्धताओं के लिए, Bott प्रतिनिधित्व ∇:Γ(C)×Γ(N0)→Γ(N0) का उपयोग करके समतल खंड स्थान को परिभाषित करें:
Γ0(E):={Y∈Γ(N0)∣∇XY=0,∀X∈Γ(C)}≅Γ(C)N(Γ(C))
प्रस्ताव 3.6 सिद्ध करता है: Γbas(V)Γ0(E) की Lie उप-बीजगणित है।
प्रमाण विचार:
दाएं-अपरिवर्तनीय खंड Y और Bott प्रतिनिधित्व की प्राकृतिकता का उपयोग करें (आरेख 3.3)
सिद्ध करें कि s∗,t∗:Γ0(E)→Γ0(V) Lie बीजगणित आकारिकी हैं
X,Y∈Γbas(V) के लिए, गणना करें:
s∗([X,Y])=[s∗X,s∗Y]=[t∗X,t∗Y]=t∗[X,Y]
यह पेपर शुद्ध गणित सैद्धांतिक पेपर है, जिसमें संख्यात्मक प्रयोग नहीं हैं। सत्यापन कठोर गणितीय प्रमाणों और ठोस ज्यामितीय उदाहरणों के माध्यम से पूरा किया जाता है।
पत्तीदार समूहबद्धता: लंगर मानचित्र ρ:A→TM अंतःक्षेपी वाली Lie समूहबद्धता G⇒M।
स्पर्शरेखा LA-समूहबद्धता TG⇒TM का मूल-लंगर मानचित्र ठीक ρ है, इसलिए अंतःक्षेपी है। मूल खंड 11 में अध्ययन की गई पत्तीदार समूहबद्धताओं पर मूल सदिश क्षेत्रों की अवधारणा को पुनः प्राप्त करता है।
अनुप्रयोग:
0-स्थानांतरित सहानुभूतिपूर्ण संरचना वाली Lie समूहबद्धताएं पत्तीदार समूहबद्धताएं हैं
मूल सदिश क्षेत्रों का उपयोग पत्तीदार Lie 2-समूहों की Hamilton क्रिया के तहत Morita अपरिवर्तनीय कमी को महसूस करने के लिए किया जाता है
संगत सहानुभूतिपूर्ण या संपर्क संरचनाओं के लिए, यदि मूल-लंगर मानचित्र अंतःक्षेपी है, तो यह आच्छादक भी है (समरूपता)। इस स्थिति में सामान्य बंडल तुच्छ है, कोई गैर-तुच्छ मूल खंड नहीं है। यह टिप्पणी 3.7 के अनुरूप है।
अंतःक्षेपी स्थिति की आवश्यकता: सिद्धांत केवल अंतःक्षेपी मूल-लंगर मानचित्र वाली स्थितियों पर लागू होता है, सामान्य LA-समूहबद्धताओं को संभाल नहीं सकता।
तुच्छ मूल से अंतर: VB-समूहबद्धताओं के विपरीत, अंतःक्षेपी मूल-लंगर मानचित्र वाली LA-समूहबद्धताएं आवश्यक रूप से तुच्छ मूल LA-समूहबद्धताओं के साथ Morita समतुल्य नहीं हैं (टिप्पणी 3.2)। उदाहरण के लिए, पत्तीदार समूहबद्धता की स्पर्शरेखा VB-समूहबद्धता, जब तक पत्तीदार तुच्छ न हो, E/C=TM/TF Lie बीजगणित समूहबद्धता नहीं है।
सहानुभूतिपूर्ण/संपर्क स्थितियों का अध: पतन: सहानुभूतिपूर्ण और संपर्क समूहबद्धताओं के लिए, यदि मूल-लंगर मानचित्र अंतःक्षेपी है तो यह आच्छादक भी है, जिससे कोई गैर-तुच्छ मूल खंड नहीं होते हैं (टिप्पणी 4.5)।
अवधारणा सामान्यीकरण: पत्तीदार समूहबद्धताओं के मूल सदिश क्षेत्रों की अवधारणा को सामान्य LA-समूहबद्धताओं तक सफलतापूर्वक विस्तारित करता है, एकीकृत सैद्धांतिक ढांचा स्थापित करता है।
सरलीकृत मॉडल: गुणनात्मक खंडों के Lie 2-बीजगणित से सरल लेकिन समतुल्य विवरण प्रदान करता है, तकनीकी जटिलता को कम करता है।
Morita अपरिवर्तनीयता: मूल खंडों की Morita अपरिवर्तनीयता सिद्ध करता है, स्तरीय ज्यामिति में इस अवधारणा की अच्छी परिभाषा सुनिश्चित करता है।
अंतःक्षेपी स्थिति की सीमा: सिद्धांत केवल अंतःक्षेपी मूल-लंगर मानचित्र वाली LA-समूहबद्धताओं पर लागू होता है। हालांकि ये समूहबद्धताएं ज्यामिति में महत्वपूर्ण हैं (जैसे पत्तीदार समूहबद्धताएं, 0-स्थानांतरित सहानुभूतिपूर्ण/संपर्क संरचनाएं), लेकिन सामान्य स्थितियों को संभाल नहीं सकते।
अध: पतन स्थितियां: सहानुभूतिपूर्ण/संपर्क समूहबद्धताओं के लिए, सिद्धांत लागू होता है लेकिन परिणाम तुच्छ हैं (टिप्पणी 4.5), अनुप्रयोग मूल्य को सीमित करता है।
अर्ध-LA-समूहबद्धताओं की चर्चा अपर्याप्त: टिप्पणी 2.2 Alvarez & Cueca 1 की अर्ध-LA-समूहबद्धताओं का उल्लेख करता है जो स्तरीय Lie बीजगणित समूहबद्धताओं की वैकल्पिक परिभाषा प्रदान करती हैं, लेकिन दोनों ढांचों के फायदे-नुकसान की गहन तुलना नहीं करता।
मूल सदिश क्षेत्रों का नया योगदान: हालांकि उदाहरण 4.1 11 के कार्य को सामान्यीकृत करता है, लेकिन मूल कार्य की तुलना में तकनीकी सुधार या नई अंतर्दृष्टि स्पष्ट नहीं करता।
यह पेपर अंतःक्षेपी मूल-लंगर मानचित्र वाली LA-समूहबद्धताओं के लिए मूल खंड सिद्धांत स्थापित करता है, स्तरीय Lie बीजगणित समूहबद्धताओं के खंडों के लिए सरलीकृत मॉडल प्रदान करता है। सिद्धांत कठोर है, अनुप्रयोग व्यापक हैं, स्तरीय ज्यामिति और LA-समूहबद्धता सिद्धांत में महत्वपूर्ण योगदान है। मुख्य सीमाएं अंतःक्षेपी स्थिति द्वारा सीमित प्रयोज्यता और ठोस गणना विधियों की कमी में हैं। भविष्य का कार्य 0-स्थानांतरित संपर्क संरचना कमी सिद्धांत और अन्य ज्यामितीय संरचनाओं के अनुप्रयोग में संभावनाएं रखता है।