الحزم والتماثل المشترك (كوهومولوجيا)
تسجل الحزمة البيانات المعرفة محليًا والمترابطة بشكل متسق، ويقيس التماثل المشترك للحزمة العائق أمام الانتقال من الحلول المحلية إلى حل عالمي.
Definition
تُسند الحزمة على فضاء لكل مجموعة مفتوحة مجموعة (أو زمرة، أو حلقة، أو وحدة) من المقاطع المتوافقة تحت التقييد والترابط؛ والتماثل المشترك للحزمة هو تسلسل المؤثرات المشتقة لأخذ المقاطع الكلية، ويحدد كميًا فشل المقاطع المحلية في الترابط عالميًا.
Scope
يقدم هذا الموضوع الحزم الأولية (presheaves) والحزم (sheaves) على فضاء طوبولوجي أو مخطط، والسويقات (stalks)، وتحويل الحزمة (sheafification)، وتشاكلات الحزم (morphisms of sheaves)، مع الأمثلة المركزية لحزمة البنية (structure sheaf)، وحزم المثاليات (ideal sheaves)، والحزم المتماسكة (coherent) وشبه المتماسكة (quasi-coherent). ويطور التماثل المشترك للحزمة عبر المؤثرات المشتقة (derived functors) لمؤثر المقاطع الكلية (global-sections functor) والأداة الحسابية للتماثل المشترك لتشيك (Čech cohomology)، والتماثل المشترك للحزم المتماسكة على الفضاء الإسقاطي (projective space)، والنتائج التأسيسية مثل نظريات سير (Serre) للانتهاء (finiteness) والاختفاء (vanishing) وثنائية سير (Serre duality).
Core questions
- كيف تجعل بديهيات الترابط الحزمة الأداة المناسبة للبيانات المحلية إلى العالمية؟
- ماذا تلتقط الحزم المتماسكة وشبه المتماسكة حول الهندسة على مخطط؟
- لماذا يُعرّف التماثل المشترك للحزمة كمؤثر مشتق، وكيف يحسبه التماثل المشترك لتشيك؟
- ماذا تخبرنا نظريات سير للانتهاء والاختفاء والثنائية عن التماثل المشترك المتماسك؟
Key concepts
- الحزم الأولية، الحزم، السويقات، وتحويل الحزمة
- الحزم المتماسكة وشبه المتماسكة
- التماثل المشترك للحزمة كمؤثر مشتق
- التماثل المشترك لتشيك وتوافقه مع التماثل المشترك المشتق
- انتهاء سير، اختفاء سير، وثنائية سير
Clinical relevance
يُعد التماثل المشترك للحزمة المحرك الحسابي المركزي للهندسة الجبرية، حيث يتحكم في مقاطع الحزم الخطية (line bundles)، والتشوهات (deformations)، ونظرية العوائق (obstruction theory)؛ وتكمن نفس الآلية وراء التماثل المشترك الإيتالي (étale cohomology) المستخدم لإثبات تخمينات ويل (Weil conjectures) وهو منتشر في الطوبولوجيا والهندسة المعقدة.
History
قدم ليريه (Leray) الحزم والتماثل المشترك الخاص بها في الأربعينيات من القرن الماضي؛ وقد أدخل عمل سير (Serre) FAC (1955) التماثل المشترك للحزمة المتماسكة إلى الهندسة الجبرية، وأعاد غروثنديك (Grothendieck) صياغة التماثل المشترك كمؤثرات مشتقة في ورقته البحثية في توهوكو (Tôhoku paper) (1957)، وهو الإطار المعتمد في المعالجات الحديثة.
Key figures
- Jean Leray
- Jean-Pierre Serre
- Alexander Grothendieck
Related topics
Seminal works
- hartshorne1977
- maclane1971
Frequently asked questions
- ما الفرق بين الحزمة الأولية والحزمة؟
- تُسند الحزمة الأولية بيانات إلى مجموعات مفتوحة مع خرائط تقييد؛ وتتطلب الحزمة بالإضافة إلى ذلك أن المقاطع المحلية المتوافقة على التداخلات تترابط لتشكل مقطعًا عالميًا فريدًا، وهو بالضبط المحلية المطلوبة للهندسة.
- لماذا يعتبر التماثل المشترك للحزمة مهمًا هندسيًا؟
- تحسب أبعاده المقاطع الكلية، والعوائق، والثوابت مثل الجنس (genus)؛ ويسمح اختفاء التماثل المشترك الأعلى بجمع البيانات الهندسية المحلية — على سبيل المثال، مقاطع حزمة خطية — على مستوى عالمي.