الانسجام المشترك (Cohomology)

الانسجام المشترك (Cohomology) هو ثنائي للانسجام (homology) يُعيّن سلاسل مشتركة (cochains) للفضاء، ويحمل بشكل حاسم بنية حلقية — وهي حاصل الضرب الكأسي (cup product) — تميز الفضاءات التي لا يستطيع الانسجام وحده تمييزها.

Definition

يُعيّن الانسجام المشترك (Cohomology) لفضاءٍ ما تسلسلاً من الزمر الأبيلية (abelian groups) التي يتم الحصول عليها كدورات (cycles) مقسومة على الحدود (boundaries) في المركب السلسلي المشترك (cochain complex) الثنائي للمركب السلسلي المفرد (singular chain complex)؛ ومع حاصل الضرب الكأسي (cup product)، فإنه يشكل حلقة تبادلية متدرجة (graded-commutative ring) وهي ثابت أدق من الانسجام (homology).

Scope

يطور هذا الموضوع الانسجام المشترك (cohomology) باعتباره انسجامًا للمركب السلسلي المشترك الثنائي (dual cochain complex)، المرتبط بالانسجام (homology) بواسطة نظرية المعامل الشامل (universal coefficient theorem)، ويضيف البنية الضربيه المعطاة بواسطة حاصل الضرب الكأسي (cup product) التي تجعل الانسجام المشترك الكلي حلقة متدرجة. ويغطي انسجام دي رام (de Rham cohomology) على المشعبات الملساء (smooth manifolds) وتحديده مع الانسجام المفرد (singular cohomology) عبر نظرية دي رام، وحاصل الضرب الكأسي (cup product) وحاصل الضرب الكأسي المقلوب (cap product)، وثنائية بوانكاريه (Poincaré duality) التي تربط الانسجام المشترك لمشعب مغلق موجه بانسجامه. كما يتضمن نظرية كونيث (Künneth theorem) وتطبيقات الفئات المميزة (characteristic-class applications).

Core questions

• كيف يرتبط الانسجام المشترك بالانسجام من خلال نظرية المعامل الشامل؟
• ما هي المعلومات الإضافية التي تشفرها بنية حلقة حاصل الضرب الكأسي بخلاف الزمر الأساسية؟
• كيف تربط ثنائية بوانكاريه الانسجام المشترك والانسجام لمشعب مغلق موجه؟
• لماذا تحدد نظرية دي رام انسجام الأشكال التفاضلية الملساء مع الانسجام الطوبولوجي؟

Key concepts

• المركبات السلسلية المشتركة ونظرية المعامل الشامل
• حاصل الضرب الكأسي وحلقة الانسجام المشترك
• حاصل الضرب الكأسي المقلوب وثنائية بوانكاريه
• انسجام دي رام ونظرية دي رام
• نظرية كونيث للمنتجات

Clinical relevance

تُعد حلقة الانسجام المشترك (cohomology ring) الموطن الطبيعي للفئات المميزة (characteristic classes)، ونظرية العوائق (obstruction theory)، وحاصل ضرب التقاطعات (intersection products)، مما يجعل الانسجام المشترك محوريًا في الهندسة التفاضلية (differential geometry)، وطوبولوجيا الحزم الليفية (topology of fiber bundles)، ونظرية المقياس (gauge theory) في الفيزياء الرياضية.

History

ظهر الانسجام المشترك (Cohomology) في ثلاثينيات القرن الماضي من أعمال دي رام (de Rham)، وتشيك (Čech)، وألكسندر (Alexander)، وكولموغوروف (Kolmogorov)؛ وكشف حاصل الضرب الكأسي (cup product) الذي قدمه ويتني (Whitney) وآخرون عن بنية ضربية غير مرئية للانسجام (homology)، وربطت نظرية دي رام (de Rham's theorem) النظريات الملساء والطوبولوجية معًا، مما رسخ الدور المركزي للانسجام المشترك.

Key figures

• Georges de Rham
• Eduard Čech
• Hassler Whitney

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

لماذا نستخدم الانسجام المشترك إذا كان الانسجام يكتشف الثقوب بالفعل؟

يحمل الانسجام المشترك بنية حلقية عبر حاصل الضرب الكأسي الذي يفتقر إليه الانسجام؛ فالفضاءات ذات زمر الانسجام المتطابقة يمكن أن يكون لها حلقات انسجام مشتركة مختلفة، لذا فإن الانسجام المشترك هو ثابت أدق بشكل صارم.

ماذا تقول ثنائية بوانكاريه؟

بالنسبة لمشعب n-مغلق موجه، فإن الانسجام المشترك من الدرجة k متماثل الشكل مع الانسجام من الدرجة (n-k)؛ هندسيًا، فإنه يقرن الدورات بدورات ذات أبعاد مكملة من خلال التقاطع.