$\mathcal{L}$-Lie Algebroids over Topological Ringed Spaces

ملخص تقني: الـ $L$-Lie algebroids فوق الفضاءات الحلقية الطوبولوجية

بيان المشكلة
تُعد الـ Lie algebroids (الخوارزميات الليية) تعميمات للتماثلات اللامتناهية في الصغر، حيث توحد مفاهيم من الهندسة التفاضلية، والهندسة البويسونية (Poisson geometry)، والفيزياء الرياضية. وبينما تعد نظرية الـ Lie algebroids فوق المتنوعات الناعمة (smooth manifolds) راسخة ومستقرة، فإن توسيع هذه الهياكل إلى سياقات معقدة، جبرية، أو منفردة (singular) يتطلب نهجاً يعتمد على نظرية الحزم (sheaf-theoretic approach). ففي هذه السياقات الأوسع (مثل الحزم المتجهة الهولومورفية أو الجبرية)، غالباً ما تفشل المقاطع العالمية (global sections) في التقاط المعلومات الهندسية الكاملة، مما يستلهماً ضرورة استخدام الفضاءات الحلقية المحلية (locally ringed spaces).

علاوة على ذلك، قدمت التطورات الأخيرة نسخاً "متجذرة" (rooted) أو نسبية من الـ Lie algebroids، مثل الـ $L$-Lie algebroids، حيث تمر خريطة الارتساء (anchor map) عبر Lie algebroid ثابت $L$. تظهر هذه الهياكل في الهندسة الـ log-symplectic، والتطويفات المنفردة (singular foliations)، والهندسة المتغيرة (equivariant geometry). ومع ذلك، لا يزال هناك حاجة ماسة لتعميم إطار عمل موحد يربط هذه الهياكل المتجذرة مع الكائنات الجبرية المرتبطة بها—وتحديداً جبرات Gerstenhaber، وجبرات Batalin–Vilkovisky (BV)، ونظائرها التفاضلية المدرجة (differential graded counterparts)—ضمن سياق الفضاءات الحلقية الطوبولوجية. تعالج هذه الورقة الحاجة إلى تعميم الارتباطات القياسية (على سبيل المثال، بين Lie bialgebroids وجبرات Gerstenhaber القوية التفاضلية) في هذا الإطار المتجذر.

المنهجية
يستخدم المؤلفون إطار عمل يعتمد على نظرية الحزم فوق الفضاءات الحلقية الطوبولوجية $(X, \mathcal{O}_X)$، حيث $\mathcal{O}_X$ هي حزمة من $K$-algebras (حيث $K = \mathbb{R}, \mathbb{C}$، أو حقل مغلق جبرياً من المميز صفر). تتضمن المنهجية ما يلي:

1. تعميم التعريفات: تُعرف الورقة الـ $L$-Lie algebroids كـ Lie algebroids $(L', \phi)$ مزودة بمتجانس (homomorphism) $\phi: L' \to L$ إلى Lie algebroid ثابت $L$. وبالمثل، تقدم تعريفات لـ $A$-Gerstenhaber algebras كجبرات Gerstenhaber ترسم خرائط إلى جبر Gerstenhaber ثابت $A$.
2. الارتباطات الجبرية: يؤسس المؤلفون علاقات دالية (functorial) بين هذه الهياكل الهندسية المتجذرة وتجسيداتها الجبرية. ويشمل ذلك توسيع الارتباط بين الـ Lie algebroids وجبرات Gerstenhaber، وبين الـ Lie bialgebroids وجبرات Gerstenhaber القوية التفاضلية.
3. الجبر التماثلي (Homological Algebra): تستخدم الورقة الـ hypercohomology والـ hyperhomology لمعقدات الحزم لتعريف كوهومولوجيا (cohomology) الـ Lie algebroid، كما تعمم مبرهنة Poincaré–Birkhoff–Witt (PBW) في سياق الـ $L$-Lie algebroids وتبني الـ universal enveloping algebroids $U(\mathcal{O}_X, L)$.
4. نظرية الاتصالات (Connection Theory): تم توسيع مفهوم الاتصالات من $L$-connections إلى $(L', L)$-connections، حيث يُعرَّف الاتصال على $\mathcal{O}_X$-module $E$ بالنسبة للخريطة $\phi: L' \to L$. كما يتم تحليل شروط التسطيح (flatness) لربط هذه الاتصالات بهياكل جبر BV.

المساهمات والنتائج الرئيسية

• $L$-Lie Algebroids و $A$-Gerstenhaber Algebras: تثبت الورقة أن $\mathcal{O}_X$-module $E$ يقبل هيكل $L$-Lie algebroid إذا وفقط إذا كان جبره الخارجي $\wedge^\bullet_{\mathcal{O}_X} E$ يحمل هيكل $G_L$-Gerstenhaber algebra (مبرهنة 3.12)، وهذا يعمم النتيجة الكلاسيكية التي تربط الـ Lie algebroids بجبرات Gerstenhaber.
• $\Omega^\bullet_L$-Differential Graded Algebras: يتم إنشاء ارتباط بين هياكل $L$-Lie algebroid على $E$ وهياكل $\Omega^\bullet_L$-differential graded algebra على الجبر الخارجي للحزمة المزدوجة (dual bundle) (مبرهنة 4.3).
• $L$-Lie Bialgebroids و Strong Differential Gerstenhaber Algebras: يُعرف المؤلفون الـ $L$-Lie bialgebroids كأزواج مزدوجة من الـ $L$-Lie algebroids تحقق شرط توافق معين. ويثبتون أن مثل هذا الهيكل يوجد على زوج $(L', L'^*)$ إذا وفقط إذا كان $\wedge^\bullet_{\mathcal{O}_X} L'$ يحمل هيكل strong differential $G_L$-Gerstenhaber algebra (مبرهنة 5.10).
• الاتصالات المعممة وجبرات BV: توسع الورقة نظرية الاتصالات إلى $(L', L)$-connections. وتوضح أن وجود هيكل exact Gerstenhaber algebra (جبر BV) على $\wedge^\bullet_{\mathcal{O}_X} L$ مع وجود Gerstenhaber homomorphism من $\wedge^\bullet_{\mathcal{O}_X} L'$ يكافئ كون $L'$ يمتلك هيكل $L$-Lie algebroid مع اتصال مسطح (flat) من النوع $(L', L)$ على $\wedge^n_{\mathcal{O}_X} L$ (مبرهنة 6.6).
• ثنائية الهومولوجيا والكوهومولوجيا: بناءً على أعمال Xu و Huebschmann، توسع الورقة مبرهنة الثنائية بين هومولوجيا الـ Lie algebroid وكوهومولوجياها لتشمل سياق الـ $L$-Lie algebroid. وتؤسس لتماثل ثنائي (duality isomorphism) معياري بين هومولوجيا $L$-Lie algebroid $L'$ وكوهومولوجياها مع القوة الخارجية العليا، والتي تمر عبر ثنائية الـ base Lie algebroid $L$ (مبرهنة 8.9).
• تعميم مبرهنة PBW: يتم تعميم مبرهنة Poincaré–Birkhoff–Witt لتشمل الـ $L$-Lie algebroids، حيث تُظهر أن الجبر المتدرج للـ universal enveloping algebroid $U(\mathcal{O}_X, L')$ هو متماثل مع الـ symmetric algebra $\text{Sym}_{\mathcal{O}_X}(L')$ بطريقة متوافقة مع الخريطة إلى $U(\mathcal{O}_X, L)$ (مبرهنة 7.6).

الأهمية والادعاءات
تدعي الورقة أنها توفر إطاراً موحداً لدراسة الهياكل الهندسية عبر السياقات الناعمة، الهولومورفية، والجبرية، لا سيما تلك التي تتضمن تفردات (singularities) أو هياكل مقسمات (divisor structures) محددة. ومن خلال تقديم المنظور "المتجذر" لـ $L$-Lie algebroids، يقدم المؤلفون وصفاً أكثر طبيعية لمختلف الظواهر الهندسية، مثل:

• الهياكل اللوغاريتمية (Logarithmic Structures): يصف الإطار بشكل طبيعي حزم التماس اللوغاريتمية (logarithmic tangent sheaves) والاتصالات اللوغاريتمية، حيث يمر الارتساء عبر الـ log tangent sheaf.
• التطويفات المنفردة (Singular Foliations): يستوعب الإطار الـ subalgebroids المنفردة والتطويفات التي قد لا تكون بالضرورة locally free.
• الهندسة المتغيرة (Equivariant Geometry): يوفر سياقاً لدراسة الـ equivariant principal bundles والـ log Atiyah algebroids.

يؤكد المؤلفون أنه بينما يمكن اعتبار هذه الهياكل حالات من الـ Lie algebroids فوق الفضاءات الحلقية الطوبولوجية، فإن إطار الـ $L$-Lie algebroid غالباً ما يبسط الوصف ويكشف عن علاقات جبرية أعمق، خاصة فيما يتعلق بالتفاعل بين المؤثرات التفاضلية، الاتصالات، ونظرية التشويه (deformation theory). ويعد هذا العمل خطوة تأسيسية لمزيد من التطورات في نظرية تشويه الهياكل الهندسية عبر الـ rooted Gerstenhaber و BV-algebras.