الأغطية القابلة للتكيف والدراسة المحدودة النسبية للتماثل المشترك

المعلومات الأساسية

• معرّف البحث: 2407.01140
• العنوان: الأغطية القابلة للتكيف والدراسة المحدودة النسبية للتماثل المشترك
• المؤلف: بيترو كابوفيلا (Scuola Normale Superiore، بيزا)
• التصنيف: math.AT (الطوبولوجيا الجبرية)، math.GT (الطوبولوجيا الهندسية)
• تاريخ النشر: يوليو 2024 (arXiv v3: 19 نوفمبر 2025)
• رابط البحث: https://arxiv.org/abs/2407.01140

الملخص

يؤسس هذا البحث نسخة نسبية من نظرية جروموف للاختفاء تحت شرط وجود أغطية قابلة للتكيف بتعددية صغيرة، مما يعمم نتائج لي وليه وموراشيني. تعتمد طريقة البحث على نظرية جروموف للمجمعات المتعددة (multicomplex theory).

خلفية البحث والدافعية

المشكلة الأساسية

يدرس هذا البحث متى تختفي خريطة المقارنة بين الدراسة المحدودة للتماثل المشترك (bounded cohomology) والدراسة المفردة للتماثل المشترك (singular cohomology) لفضاء طوبولوجي، خاصة في الحالة النسبية (أي لأزواج الفضاءات (X,A)).

أهمية المشكلة

1. الأهمية النظرية: نظرية جروموف للاختفاء هي نتيجة أساسية في نظرية الدراسة المحدودة للتماثل المشترك، وتكشف عن العلاقات العميقة بين خصائص التغطية للفضاء الطوبولوجي وبنية التماثل المشترك له
2. التطبيقات الهندسية: من خلال الحجج الثنائية، تؤدي نظرية الاختفاء مباشرة إلى نتائج حول الحجم البسيط (simplicial volume)، وهو متغير مهم في الطوبولوجيا الهندسية
3. الحاجة للتعميم: النسخة النسبية حاسمة لدراسة الأجسام الهندسية مثل المتعددات ذات الحدود

قيود الطرق الموجودة

1. النتيجة الأصلية لجروموف (1982) تتعامل فقط مع الحالة المطلقة، ولا تتضمن أزواج الفضاءات
2. نتيجة لي-ليه-موراشيني تتطلب شروطاً أقوى:
   • تتطلب أن تكون A محقونة من حيث π₁ في X
   • تستخدم أغطية محدودة غير حلقية (boundedly-acyclic covers) بدلاً من الأغطية القابلة للتكيف
   • لكن لا تتطلب أن تكون الأغطية محلياً منتهية
3. تعدد المسارات التقنية: تستخدم الإثباتات الموجودة أدوات مختلفة مثل نظرية الحزم والنظرية الهوموتوبية، لكن طريقة جروموف للمجمعات المتعددة لم تُطور بشكل كافٍ في الحالة النسبية

نقاط الابتكار في هذا البحث

مع الحفاظ على طريقة جروموف للمجمعات المتعددة، يحقق البحث التعميم من خلال تحسينين رئيسيين:

1. تخفيف خاصية π₁-الحقن إلى "نواة π₁(A↪→X) قابلة للتكيف"
2. في النظرية 2، يتطلب الحالة محلياً منتهية، لكن في النظرية 1 لا يتطلبها

المساهمات الأساسية

1. النظرية 1: بالنسبة لزوج قابل للتثليث (X,A)، إذا كانت نواة π₁(A↪→X) قابلة للتكيف، وكان هناك غطاء مفتوح قابل للتكيف U يحقق الشروط (RC1) و(RC2)، فإن خريطة المقارنة comp^n تختفي لجميع n≥mult(U)
2. النظرية 2: تحت نفس الافتراضات، إذا كان U محلياً منتهياً:
   • (1) إذا كان U ضعيفاً محدباً على A، فإن comp^n تختفي عند n≥mult_A(U)
   • (2) إذا كان U محدباً، فإن هناك خريطة Θ^n بحيث يتحقق رسم تبادلي معين، يربط الدراسة المحدودة للتماثل المشترك بالدراسة للتماثل المشترك للمجمع العصبي
3. الابتكار التقني:
   • تطوير نظرية الدراسة المحدودة النسبية للتماثل المشترك في إطار المجمعات المتعددة
   • إدخال وإثبات لمة الحث المداري للعمل الجماعي في الحالة النسبية (Lemma 2.2)
   • إنشاء بناء منهجي من أزواج الفضاءات إلى أزواج المجمعات المتعددة (القسم 3)
4. تحليل الأمثلية: من خلال مثال سطح منحنٍ من الجنس 1 مع حدود (Remark 1.3)، يثبت البحث أن الشروط (RC1) و(RC2) هي الأمثل

شرح الطريقة

خط الاستراتيجية الأساسي

استراتيجية الإثبات في البحث تعتمد على السلسلة التالية:

زوج الفضاء الطوبولوجي (X,A) → زوج المجمعات المتعددة (A(X), A_X(A)) → اختفاء الدراسة المحدودة للتماثل المشترك

الأجسام الرياضية الرئيسية

1. المجمعات المتعددة (Multicomplex)

المجمعات المتعددة هي تعميم للمجمعات المبسطة قدمه جروموف، وتسمح بمشاركة عدة مبسطات لنفس مجموعة الرؤوس. تشمل البناءات الرئيسية:

• المجمع المتعدد المفرد K(X): مجموعة الرؤوس هي X، والمبسطات هي المبسطات المفردة في X (محاكاة للمعاملات التقاربية)
• المجمع المتعدد المختزل L(X): مجمع فرعي من K(X)، معادل هوموتوبياً لكن أصغر حجماً
• المجمع المتعدد الخالي من الكرات A(X): حاصل قسمة L(X)، من خلال تحديد المبسطات التي تشارك نفس الهيكل 1-عظمي، وهو نموذج فضاء تصنيفي لـ π₁(X)

2. المبسطات الجبرية n

بالصيغة σ = (Δ, (v₀,...,vₙ))، حيث:

• Δ هي مبسطة k في K
• {v₀,...,vₙ} هي مجموعة رؤوس Δ
• يُسمح بتكرار v_i، لكن {v₀,...,vₙ} كمجموعة هي بالضبط رؤوس Δ

3. المجموعة Π(X,X)

معرّفة كفئات التماثل من عائلات المسارات {γ_x}_{x∈X}، حيث:

• كل مسار γ_x: 0,1→X، γ_x(0)=x، γ_x(1)∈X
• باستثناء عدد منتهٍ، جميع γ_x مسارات ثابتة
• الخريطة x↦γ_x(1) هي تشابه ثنائي بدعم منتهٍ

الخاصية الرئيسية: إذا كانت U مجموعة قابلة للتكيف، فإن Π_X(U,V)≤Π(X,X) هي مجموعة فرعية قابلة للتكيف (Lemma 2.4)

بنية إثبات النظريات الرئيسية

إثبات النظرية 1 (القسم 4)

الخطوة 1: من زوج طوبولوجي إلى زوج مجمعات متعددة

• باستخدام خاصية القابلية للتثليث، نأخذ زوج مجمع بسيط (T,S) بحيث (X,A)=(|T|,|S|)
• بناء تضمين T و S داخل A(X): K_T(X)⊆L(X)⊆A(X)
• المفتاح: خريطة الحاصل π: L(X)→A(X) هي حقن على K_T(X)

الخطوة 2: إنشاء تماثل باستخدام Proposition 3.2 للحصول على التماثل:

Ψ^n: H^n_b(A(X), A_X(A)) → H^n_b(X,A)

هذا يتطلب الافتراض "نواة π₁(A↪→X) قابلة للتكيف".

الخطوة 3: بناء العمل الجماعي بالنسبة للغطاء U={U_i}، نقسم T بحيث يحتوي الإغلاق النجمي لكل رأس v على مجموعة جزئية من بعض U_{i(v)}. نعرّف:

G = ⊕_{i∈I} Π_X(U_i, V_i)

حيث V_i = {v∈V(T) | i(v)=i}. تعمل G على A(X).

الخطوة 4: وجود السلاسل غير المتغيرة

• المجموعة الفرعية H = ⊕_{i∈I} Π_X(U_i∩A, V_i∩A) تعمل على (A(X), A_X(A))
• اللمة الرئيسية (Lemma 4.2): تحت الشروط (RC1) و(RC2)، المدارات G في A_X(A) يحثها H
• بواسطة Lemma 2.2، يمكننا أخذ دورة متناوبة غير متغيرة z تمثل أي فئة تماثل مشترك

الخطوة 5: حجة الاختفاء بالنسبة لـ n≥mult(U) ومبسطة جبرية n (Δ,(x₀,...,xₙ))∈C_n(T):

• إذا كانت بعض x_i متساوية، فإن z(Δ,(x₀,...,xₙ))=0 (الخاصية المتناوبة)
• إذا كانت x₀,...,xₙ متميزة، بواسطة n≥mult(U)، يوجد h≠k بحيث i(x_h)=i(x_k)
• بناء g∈G بحيث g·Δ=Δ لكن تبديل x_h و x_k
• بواسطة عدم التغير G والخاصية المتناوبة: z(Δ,(x₀,...,xₙ))=-z(Δ,(x₀,...,xₙ))=0

إثبات النظرية 2 (القسم 5)

إثبات (1): استخدام الحدبة الضعيفة

• بالنسبة لـ n≥mult_A(U)، إذا كان U_{i₀}∩···∩U_{iₙ}∩A=∅، فإن mult_A(U)>n (تناقض)
• لذلك U_{i₀}∩···∩U_{iₙ}∩A≠∅
• الحدبة الضعيفة تضمن أن المكون المتصل الذي يحتوي على Δ يتقاطع مع A بشكل غير فارغ
• بناء نقطة x'∈A ومسار، استخدام (RC1) و(RC2) للعثور على مسار في A
• تحويل Δ من خلال العمل الجماعي إلى مبسطة Δ' في A_X(A)، بينما z تساوي صفراً على A_X(A)

إثبات (2): بناء رسم تبادلي

• تعريف خريطة السلسلة Ω^•_X: C^•b(A(X))^G → C^•_b(N(U))
• تعريف خريطة السلسلة Ω^•_A: C^•b(A_X(A))^H → C^•_b(N(U_A))
• التحقق من تبادلية الرسم (5.2)
• الخريطة المحثوثة Θ^n تجعل الرسم (5.1) تبادلياً

نقاط الابتكار التقني

1. شروط الحث المداري في الحالة النسبية

Lemma 2.2 هي ابتكار رئيسي: بالنسبة للعمل الجماعي G↷K والمجموعة الفرعية H↷(K,L)، إذا كانت مدارات G في L محثوثة بواسطة H، فإن:

0 → C^•_b(K,L)^G → C^•_b(K)^G → C^•_b(L)^H → 0

هي دقيقة. هذا يسمح باستخدام السلاسل غير المتغيرة في الحالة النسبية.

2. دور شروط الانتظام (RC1) و(RC2)

من خلال التوصيف المكافئ في Lemma 2.1: U تحقق (RC1) و(RC2) إذا وفقط إذا كان لكل مسار γ في U بنقاط نهاية في U∩A، يوجد مسار λ في U∩A يكون متماثلاً مع γ في X (نسبة إلى نقاط النهاية).

هذا يضمن أن Lemma 4.2 يتحقق، وهو جوهر الإثبات.

3. تقنية مخروط الخريطة

استخدام نظرية مخروط الخريطة لـ Park و Löh (القسم 3.1)، من خلال سلسلة من خرائط السلسلة لإنشاء:

C^•_b(X,A) ≅ C^•_b(K(X),K(A)) ≅ C^•_b(jL: L(A)→L(X)) 
           ≅ C^•_b(jA: A(A)→A(X)) ≅ C^•_b(A(X),A_X(A))

إعداد التجارب

ملاحظة: هذا البحث هو بحث رياضيات نظري بحت، ولا يتضمن تجارب عددية. جميع النتائج هي براهين رياضية صارمة.

أمثلة التحقق

مثال الأمثلية (Remark 1.3)

• الموضوع: سطح مضغوط موجه من الجنس 1، مع فرع حدود واحد
• الحقائق المعروفة: الحجم البسيط النسبي ∥S,∂S∥>0، لذلك comp² غير صفري
• التحقق: الغطاءان القابلان للتكيف في الشكل 1 (التعددية 2) يوضحان:
  • الرسم الأيسر يحقق (RC1) لكن ليس (RC2) → comp²≠0
  • الرسم الأيمن يحقق (RC2) لكن ليس (RC1) → comp²≠0
• الخلاصة: الشروط (RC1) و(RC2) كلاهما ضروري

نتائج التجارب

النتائج النظرية الرئيسية

النتيجة 1: تعميم الحالة المطلقة

تعمم النظرية 1 نظرية جروموف المطلقة للاختفاء إلى الحالة النسبية، حيث تختفي خريطة المقارنة عند n≥mult(U).

النتيجة 2: نتائج دقيقة للتعددية النسبية

تعطي النظرية 2(1) نتيجة اختفاء أكثر دقة عند n≥mult_A(U)، حيث mult_A(U)≤mult(U).

النتيجة 3: الاتصال بالمجمع العصبي

تؤسس النظرية 2(2) علاقة صريحة بين الدراسة المحدودة للتماثل المشترك والدراسة للتماثل المشترك للمجمع العصبي.

المقارنة مع النتائج الموجودة

المميزات: شرط π₁ أكثر مرونة، يسمح بنواة قابلة للتكيف لمجموعة π₁ من A في X التكلفة: النظرية 2 تتطلب الحالة محلياً منتهية

ملاحظات مهمة

نقاش Remark 1.2

1. نوع الغطاء: الأغطية القابلة للتكيف ⊂ الأغطية المحدودة غير الحلقية، نتائج هذا البحث أقوى لكن قد تكون أضيق نطاقاً
2. نوع الفضاء: الأزواج القابلة للتثليث ⊂ أزواج CW (توجد أزواج CW غير قابلة للتثليث)
3. مرونة π₁: شرط النواة القابلة للتكيف في هذا البحث قد يكون أسهل في الوفاء به من خاصية π₁-الحقن في بعض الحالات

تحذير Remark 4.4

يوضح أن الشروط (RC1) و(RC2) ليست مجرد تقنية:

• إذا تم تجاهل هذه الشروط، سيؤدي ذلك خطأً إلى استنتاج أن جميع الأغطية القابلة للتكيف تؤدي إلى اختفاء
• هذا سيؤدي إلى تناقض: الحجم البسيط للمتعددات ذات الحدود سيكون دائماً صفراً (معروف أنه خطأ)

الأعمال ذات الصلة

التطور التاريخي

العمل الأصلي لجروموف (1982)

• إنشاء نظرية المجمعات المتعددة
• إثبات نظرية الاختفاء المطلقة
• إدخال مجموعة Π(X,X) وعملها

طرق الإثبات المختلفة

1. طريقة المجمعات المتعددة: جروموف (1982)، فريجيريو (2022)، فريجيريو-موراشيني (2023)
2. طريقة نظرية الحزم: إيفانوف (1987، 2017)
3. العصب المتساوي والفضاءات التصنيفية: ليه-ساور (2020)
4. طريقة النظرية الهوموتوبية: رابتيس (2024)

النسخ النسبية

1. بارك (2003): تقنية مخروط الخريطة
2. ليه (2008): التماثل ℓ¹ في الحالة النسبية
3. لي-ليه-موراشيني (2022+): نظرية الاختفاء النسبية، الأغطية المحدودة غير الحلقية
4. رابتيس (2024): طريقة colimit الهوموتوبية

المفاهيم ذات الصلة

الحجم البسيط

• متغير هندسي قدمه جروموف
• من خلال الحجج الثنائية، تؤدي نظرية الاختفاء إلى اختفاء الحجم البسيط
• لكن نتيجة ليه-موراشيني-رابتيس (2022) للمتعددات غير المضغوطة أقوى

الدراسة المحدودة للتماثل المشترك

• قدمها جروموف، تدرس الخصائص الكبيرة الحجم للمجموعات والفضاءات
• مرتبطة بـ quasi-homomorphisms والخصائص الهندسية الصلبة
• نواة خريطة المقارنة تميز "عدم الرؤية ℓ¹"

الخلاصة والنقاش

الخلاصات الرئيسية

1. التعميم النظري: نجح في تعميم نظرية جروموف للاختفاء إلى الحالة النسبية، مع تخفيف افتراض π₁-الحقن
2. المساهمة المنهجية: تطوير طريقة منهجية للتعامل مع الدراسة المحدودة النسبية للتماثل المشترك في إطار المجمعات المتعددة
3. الأمثلية: إثبات من خلال الأمثلة أن شروط الانتظام (RC1) و(RC2) ضرورية

القيود

1. قيود نوع الفضاء

• يتطلب خاصية القابلية للتثليث، وليس جميع أزواج CW تحقق هذا
• مثال: توجد مجمعات CW غير قابلة للتثليث (Fritsch-Piccinini، 1990)

2. نوع الغطاء

• يتعامل فقط مع الأغطية القابلة للتكيف، لم يتم التعميم إلى الأغطية المحدودة غير الحلقية
• يعترف المؤلف في Remark 1.2: "من غير الواضح ما إذا كانت نتائجنا يمكن تعميمها على هذه الحالة"

3. الحالة محلياً منتهية

• النظرية 2 تتطلب الحالة محلياً منتهية، بينما لي-ليه-موراشيني لا يتطلبانها
• قد يكون هذا قيداً في بعض التطبيقات

4. تطبيقات الحجم البسيط محدودة

• كما ذُكر في Remark 1.2، التطبيقات على الحجم البسيط النسبي أضعف من نتائج ليه-موراشيني-رابتيس (2022) المبنية على نتائج المتعددات غير المضغوطة

الاتجاهات المستقبلية

على الرغم من أن البحث لم يسرد بشكل صريح الاتجاهات المستقبلية، يمكن استنتاج اتجاهات بحثية محتملة:

1. التعميم إلى الأغطية المحدودة غير الحلقية: هل يمكن التعامل مع أغطية أكثر عمومية في الحالة النسبية؟
2. إزالة افتراض التثليث: هل يمكن إنشاء نتائج مماثلة لأزواج CW عامة؟
3. إزالة الحالة محلياً منتهية: هل يمكن أن تتحقق النظرية 2 في الحالة غير محلياً منتهية؟
4. التطبيقات الحسابية: تطوير تقنيات حسابية للدراسة المحدودة للتماثل المشترك لأزواج فضاء محددة

التقييم المتعمق

المميزات

1. الصرامة التقنية

• الإثبات مكتفٍ ذاتياً تماماً، مع تفاصيل كافية
• معالجة صحيحة للتعقيدات التقنية للحالة النسبية (مثل شرط الحث المداري في Lemma 4.2)
• التحقق من ضرورة الشروط من خلال الأمثلة (Remark 1.3)

2. الابتكار المنهجي

• Lemma 2.2 (لمة الحث المداري) هي ابتكار رئيسي للتعامل مع الحالة النسبية
• تطوير منهجي للبناء من أزواج الفضاءات إلى أزواج المجمعات المتعددة (القسم 3)
• استخدام ذكي لشروط الانتظام (RC1) و(RC2) للتحكم في العمل الجماعي

3. العمق النظري

• ربط عدة فروع رياضية: الطوبولوجيا الجبرية، الطوبولوجيا الهندسية، نظرية المجموعات
• Proposition 3.2 تؤسس جسراً بين المجمعات المتعددة والدراسة المحدودة للتماثل المشترك للفضاءات الطوبولوجية
• الكشف عن العلاقة بين الخصائص التوليفية للأغطية (التعددية) واختفاء الدراسة للتماثل المشترك

4. وضوح الكتابة

• بنية منطقية: المعرفات الأساسية (القسم 2)، البناءات (القسم 3)، الإثباتات (الأقسام 4-5)
• ملاحظات كافية تناقش العلاقة مع الأعمال الموجودة
• الرسوم التوضيحية (الشكل 1) تعزز القابلية للقراءة

أوجه القصور

1. قيود نطاق التطبيق

• افتراض التثليث يستبعد بعض أزواج CW
• الأغطية القابلة للتكيف أكثر تخصصاً من الأغطية المحدودة غير الحلقية
• التطبيقات على الحجم البسيط ليست قوية كما هي مع الطرق الأخرى (Remark 1.2)

2. الاعتماد التقني

• يعتمد بشكل كبير على نظرية المجمعات المتعددة لـ فريجيريو-موراشيني (2023)
• إثبات Proposition 3.2 يعتمد على مسودة Capovilla الخاصة Cap
• بعض البناءات (مثل Remark 3.1) تتطلب اختيارات محددة، مما يؤثر على الطبيعية

3. دقة النتائج

• النظرية 1 تستخدم mult(U) بدلاً من mult_A(U)، وليست دقيقة كما في النظرية 2
• النظرية 2 تتطلب افتراضاً إضافياً للحالة محلياً منتهية

4. غياب أمثلة حسابية محددة

• بخلاف مثال الأمثلية (Remark 1.3)، يفتقد إلى تطبيقات محددة أخرى
• لا يوجد إرشادات حول كيفية التحقق عملياً من الشروط (RC1) و(RC2)

تقييم التأثير

المساهمة في المجال

• الاكتمال النظري: ملء فجوة في نظرية الدراسة المحدودة النسبية للتماثل المشترك
• تطوير الطريقة: توفير نموذج لتطبيق طريقة المجمعات المتعددة في الحالة النسبية
• توضيح المشكلة: تحديد الشروط الضرورية من خلال الأمثلة

القيمة العملية

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

قابلية التكرار

• نتائج نظرية بحتة، لا تتطلب تكرار تجريبي
• الإثباتات قابلة للتحقق، لكن تتطلب خلفية عميقة في الطوبولوجيا الجبرية
• جميع اللمات والنظريات المستخدمة لها مراجع واضحة

السيناريوهات المناسبة

حالات التطبيق المثالية

1. الأجسام الهندسية القابلة للتثليث: مثل أزواج المجمعات البسيطة، أزواج المتعددات الملساء
2. الفضاءات ذات الأغطية القابلة للتكيف: مثل الفضاءات ذات الانحناء غير الموجب، الفضاءات مع عمل جماعي قابل للتكيف
3. التكوينات التي تحقق شروط الانتظام: تتطلب التحقق الدقيق من (RC1) و(RC2)

حالات عدم التطبيق

1. أزواج CW غير قابلة للتثليث
2. الفضاءات التي لديها فقط أغطية محدودة غير حلقية لكن ليست قابلة للتكيف
3. الحالات التي تتطلب التعامل مع أغطية غير محلياً منتهية (النظرية 2)

المراجع الرئيسية

1. Gro82 M. Gromov. Volume and bounded cohomology. 1982.
   • العمل الأساسي، إدخال المجمعات المتعددة ونظرية الاختفاء
2. FM23 R. Frigerio and M. Moraschini. Gromov's theory of multicomplexes with applications to bounded cohomology and simplicial volume. 2023.
   • العرض المنهجي الحديث لنظرية المجمعات المتعددة، الأساس التقني الرئيسي للبحث
3. LLM K. Li, C. Löh, and M. Moraschini. Bounded acyclicity and relative simplicial volume. arXiv:2202.05606.
   • العمل الذي يعمم هذا البحث بشكل مباشر
4. Fri17 R. Frigerio. Bounded cohomology of discrete groups. 2017.
   • مرجع شامل للدراسة المحدودة للتماثل المشترك
5. Cap P. Capovilla. On the (super)additivity of simplicial volume. arXiv:2306.13342.
   • عمل المؤلف الخاص، مصدر إثبات Proposition 3.2

التقييم الإجمالي

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

1. الاكتمال النظري: تعميم ناجح للنتيجة الكلاسيكية إلى الحالة النسبية
2. الابتكار التقني: تطوير تقنيات جديدة للتعامل مع الحالة النسبية (لمة الحث المداري)
3. القيمة المنهجية: توفير نموذج جديد لتطبيق طريقة المجمعات المتعددة

القيود الرئيسية تتعلق بنطاق التطبيق المحدود بسبب الافتراضات، خاصة خاصية التثليث ومتطلبات الأغطية القابلة للتكيف. لكن ضمن نطاق التطبيق، النتائج عميقة ومفيدة.

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