نظرية التماثل الشكلي

تدرس نظرية التماثل الشكلي الفضاءات حتى التشوه المستمر، وتعمم الزمرة الأساسية إلى زمر تماثل شكلي أعلى وتنظم الخرائط من خلال التلييفات (fibrations)، والتلييفات المزدوجة (cofibrations)، وتقريب CW.

Definition

تدرس نظرية التماثل الشكلي الفضاءات الطوبولوجية والخرائط حتى التماثل الشكلي — التشوه المستمر — باستخدام زمر التماثل الشكلي الأعلى (فئات التماثل الشكلي للخرائط من الكرويات) وهياكل التلييفات ومركبات CW التي تجعل هذه الثوابت قابلة للمعالجة.

Scope

يحدد هذا الموضوع زمر التماثل الشكلي الأعلى، والتي تكون أبيلية للأبعاد التي لا تقل عن اثنين، ويطور الأدوات التي تحسبها وتربط بينها: التلييفات والمتتالية الدقيقة الطويلة للتلييف، ونظرية هورفيتش (Hurewicz) التي تربط التماثل الشكلي بالتماثل (homology)، ونظرية وايتهيد (Whitehead) حول التكافؤات الضعيفة لمركبات CW، ونظرية العوائق. يستعرض هذا الموضوع المشكلة (المفتوحة إلى حد كبير) لزمر التماثل الشكلي للكرويات، وفضاءات آيلنبرغ-ماكلين (Eilenberg-MacLane) التي تمثل التماثل المشترك (cohomology)، ووجهة النظر الفئوية النموذجية (model-categorical viewpoint) التي تؤطر نظرية التماثل الشكلي بشكل تجريدي.

Core questions

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

Key concepts

• زمر التماثل الشكلي الأعلى وهيكلها الأبيلي
• التلييفات، والتلييفات المزدوجة، والمتتالية الدقيقة الطويلة للتلييف
• نظرية هورفيتش ونظرية وايتهيد
• فضاءات آيلنبرغ-ماكلين وقابلية تمثيل التماثل المشترك
• تقريب CW ونظرية العوائق

Clinical relevance

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

History

قدم هورفيتش زمر التماثل الشكلي الأعلى في ثلاثينيات القرن الماضي؛ وجعلت متتالية سير (Serre) الطيفية وعمل وايتهيد وآخرين الحساب ممكنًا، وقامت فئات كويلين (Quillen) النموذجية (1967) بتجريد نظرية التماثل الشكلي إلى إطار عمل قابل للتطبيق أبعد بكثير من الطوبولوجيا.

Key figures

• Witold Hurewicz
• J. H. C. Whitehead
• Daniel Quillen

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

لماذا تكون زمر التماثل الشكلي الأعلى أبيلية بينما لا يلزم أن تكون الزمرة الأساسية كذلك؟

بالنسبة للأبعاد التي لا تقل عن اثنين، هناك مساحة كافية لتبديل كرويين (spheroids) عبر حجة إيكمان-هيلتون (Eckmann-Hilton)، مما يفرض التبادلية؛ في البعد الأول لا يمكن تحريك الحلقات (loops) بهذه الطريقة.

هل زمر التماثل الشكلي للكرويات معروفة؟

جزئيًا فقط. على الرغم من الجهود الهائلة، فقد تم حسابها فقط في نطاق معين من الأبعاد، ولا يزال تحديدها بشكل عام يمثل إحدى أعمق المشكلات المفتوحة في الطوبولوجيا.