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.
تعرّف هذه الورقة مفهوم الأقسام الأساسية لمجموعات LA (LA-groupoids) ذات خريطة الرساء الأساسية الحقنية (injective core-anchor map). يثبت أن هذا المفهوم ثابت بموجب تكافؤ موريتا (Morita invariant)، مما يوفر نموذجاً أبسط للأقسام في جبريات لي الجبرية المكدسة (stacky Lie algebroids) التي تقدمها مثل هذه مجموعات LA، لكنه يكافئ النموذج المعروف جيداً للأقسام الضاربة (multiplicative sections).
التطبيقات الواسعة لمجموعات لي الجبرية: تمثل مجموعات لي الجبرية إطاراً مهماً في الهندسة التفاضلية الحديثة، حيث توحد بين عدة كائنات هندسية منها المتعددات، مجموعات لي، تأثيرات مجموعات لي، الغمرات، الأوراق، الزمر الكاذبة، حزم المتجهات والحزم الرئيسية.
الهياكل الهندسية للأكوام القابلة للتفاضل: يمكن النظر إلى مجموعات لي الجبرية كخطوة وسيطة في تعريف الأكوام القابلة للتفاضل (differentiable stacks)، وهي مسافات تسمح بالنقاط الشاذة، مما يعمم المتعددات والأوربيفولدات وفضاءات الأوراق ذات الخصائص الشاذة.
أهمية ثبات موريتا: الهياكل الهندسية المتوافقة مع التكافؤ الموريتا يمكن أن تنحدر إلى أكوام حاصل القسمة لمجموعات لي الجبرية، مما يوسع المفاهيم الهندسية إلى المسافات المدارية الشاذة.
بينما يوفر نموذج جبر لي 2 الموجود للأقسام الضاربة في مجموعات LA ثباتاً بموجب موريتا، إلا أن البنية معقدة. بالنسبة للحالات الخاصة ذات خريطة الرساء الأساسية الحقنية (مثل مجموعات الأوراق)، توجد نماذج أبسط (الحقول المتجهة الأساسية)، لكن يفتقد إطار نظري موحد.
تعريف مفهوم الأقسام الأساسية: إدخال مفهوم الأقسام الأساسية لمجموعات VB (خاصة مجموعات LA) ذات خريطة رساء أساسية حقنية.
إنشاء البنية الجبرية: إثبات أن فضاء الأقسام الأساسية لمجموعات LA يرث بشكل طبيعي بنية جبر لي.
ثبات موريتا: إثبات أن جبر لي للأقسام الأساسية ثابت بموجب موريتا، وبالتالي يمكن استخدامه كنموذج لأقسام جبريات لي الجبرية المكدسة.
نظرية التكافؤ (النظرية الرئيسية): بالنسبة لمجموعات LA ذات خريطة رساء أساسية حقنية (V⇒E;G⇒M)، يوجد بنية جبر لي ثابتة بموجب موريتا على فضاء الأقسام الأساسية، وهذا الجبر يكافئ شبه-تماثلياً جبر لي 2 للأقسام الضاربة.
نطاق واسع من الأمثلة التطبيقية: يوضح التطبيق في عدة سيناريوهات مهمة تشمل الحقول المتجهة الأساسية، المشتقات الأساسية، الأشكال 1 الأساسية لمجموعات بواسون، وأشعة 1 الأساسية لمجموعات جاكوبي.
مجموعات الأوراق: مجموعة لي جبرية G⇒M بخريطة رساء حقنية ρ:A→TM.
مجموعة LA المماسية TG⇒TM لها خريطة رساء أساسية تساوي بالضبط ρ، وبالتالي حقنية. تسترجع الأقسام الأساسية مفهوم الحقول المتجهة الأساسية على مجموعات الأوراق المدروسة في 11.
التطبيقات:
مجموعات لي الجبرية ذات البنية السيمبلكتية 0-shifted هي مجموعات أوراق
تُستخدم الحقول المتجهة الأساسية في تحقيق الاختزال الموريتا الثابت تحت التأثيرات الهاملتونية لمجموعات لي 2 الأوراق
بالنسبة للبنى السيمبلكتية أو الاتصالية المتوافقة، إذا كانت خريطة الرساء الأساسية حقنية، فهي أيضاً غامرة (تشاكل). في هذه الحالة، الحزمة العادية تافهة، لا توجد أقسام أساسية غير تافهة. هذا متسق مع الملاحظة 3.7.
ضرورة شرط الحقنية: تنطبق النظرية فقط على حالات خريطة الرساء الأساسية الحقنية، ولا يمكنها التعامل مع مجموعات LA العامة.
الاختلاف عن النوى التافهة: على عكس مجموعات VB، مجموعات LA ذات خريطة رساء أساسية حقنية ليست بالضرورة معادلة موريتا لمجموعات LA ذات نوى تافهة (الملاحظة 3.2). على سبيل المثال، مجموعة VB المماسية لمجموعة أوراق، ما لم تكن الأوراق تافهة، فإن E/C=TM/TF ليست جبرية لي جبرية.
تدهور الحالات السيمبلكتية/الاتصالية: بالنسبة لمجموعات سيمبلكتية واتصالية، إذا كانت خريطة الرساء الأساسية حقنية فهي أيضاً غامرة، مما يؤدي إلى عدم وجود أقسام أساسية غير تافهة (الملاحظة 4.5).
حدود شرط الحقنية: تنطبق النظرية فقط على مجموعات LA ذات خريطة رساء أساسية حقنية. بينما هذه الفئة من المجموعات مهمة في الهندسة (مثل مجموعات الأوراق، البنى السيمبلكتية/الاتصالية 0-shifted)، لا يمكنها التعامل مع الحالة العامة.
الحالات المتدهورة: بالنسبة لمجموعات سيمبلكتية/اتصالية، بينما تنطبق النظرية، النتائج تافهة (الملاحظة 4.5)، مما يحد من قيمة التطبيق.
نقاش شبه-مجموعات LA غير كافٍ: الملاحظة 2.2 تذكر أن شبه-مجموعات LA من Alvarez & Cueca 1 توفر تعريفاً بديلاً لجبريات لي الجبرية المكدسة، لكن لم يتم إجراء مقارنة عميقة بين الإطارين.
المساهمة الجديدة للحقول المتجهة الأساسية: بينما يعمم المثال 4.1 عمل 11، لم يتم توضيح التحسينات التقنية أو الرؤى الجديدة مقارنة بالعمل الأصلي.
تنشئ هذه الورقة نظرية الأقسام الأساسية لمجموعات LA ذات خريطة رساء أساسية حقنية، وتوفر نموذجاً مبسطاً لأقسام جبريات لي الجبرية المكدسة. النظرية صارمة، التطبيقات واسعة، وهي مساهمة مهمة في الهندسة المكدسة ونظرية مجموعات LA. القيود الرئيسية تتعلق بتقييد نطاق التطبيق بسبب شرط الحقنية، وافتقار الطرق الحسابية المحددة. العمل المستقبلي له إمكانية كبيرة في نظرية الاختزال للبنى الاتصالية 0-shifted وتطبيقات البنى الهندسية الأخرى.