طريقة كارتان للتكافؤ

تتمثل الخطوة الأولى في طريقة كارتان في التعبير عن علاقة السحب العكسي (1) بأكبر قدر ممكن من الثبات باستخدام " تمديد ". وأبسط طريقة لتحقيق ذلك هي استخدام حزمة فرعية G من الحزمة الرئيسية للإطارات الخطية LM ، على الرغم من أن هذا النهج قد يؤدي إلى تعقيدات غير ضرورية عند إجراء الحسابات الفعلية. وبالتحديد، سيستخدم هذا المقال لاحقًا نهجًا مختلفًا. ولكن لأغراض العرض العام، من الأنسب الالتزام بمنظور الحزمة الرئيسية.

تتمثل الخطوة الثانية في استخدام خاصية التباين التفاضلي للمشتقة الخارجية لمحاولة عزل أي ثوابت أخرى من الرتب العليا لبنية G. بشكل أساسي، نحصل على اتصال في الحزمة الرئيسية PM ، مع بعض الالتواء. تُعتبر مكونات الاتصال والالتواء ثوابت للمسألة.

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

كان الهدف الرئيسي من الخطوات الثلاث الأولى هو اختزال مجموعة البنية نفسها قدر الإمكان. لنفترض أن مسألة التكافؤ قد خضعت للتكرار مرات كافية بحيث لم يعد بالإمكان إجراء المزيد من الاختزال. عند هذه النقطة، توجد اتجاهات متعددة محتملة تقود إليها طريقة التكافؤ. بالنسبة لمعظم مسائل التكافؤ، توجد أربع حالات فقط: الاختزال الكامل، والالتفاف، والتمديد، والانحلال.

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

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

الالتفاف. يُقال إن مسألة التكافؤ التفافية (أو في حالة التفاف ) إذا اجتازت اختبار كارتان . هذا الاختبار هو في جوهره شرط رتبة على الاتصال المُحَصَّل عليه في الخطوات الثلاث الأولى من الإجراء. يُعمِّم اختبار كارتان نظرية فروبينيوس حول قابلية حل أنظمة المعادلات التفاضلية الجزئية الخطية من الرتبة الأولى. إذا تطابقت الإطارات المرافقة على M و N (المُحَصَّل عليها من خلال تطبيق دقيق للخطوات الثلاث الأولى من الخوارزمية) واستوفت اختبار كارتان، فإن البنيتين G تكونان متكافئتين. (في الواقع، على حد علم المؤلف، يجب أن تكون الإطارات المرافقة تحليلية حقيقية حتى يتحقق هذا، لأن نظرية كارتان-كاهلر تتطلب التحليلية).

التمديد. هذه هي الحالة الأكثر تعقيدًا. في الواقع، هناك حالتان فرعيتان. في الحالة الفرعية الأولى، يمكن استيعاب كل الالتواء بشكل فريد في شكل الاتصال. (تُعدّ مشعبات ريمان مثالًا على ذلك، حيث يستوعب اتصال ليفي-تشيفيتا كل الالتواء). تُشكّل معاملات الاتصال ومشتقاتها الثابتة مجموعة كاملة من ثوابت البنية، وبذلك تُحلّ مشكلة التكافؤ. أما في الحالة الفرعية الثانية، فإما أن يكون استيعاب كل الالتواء مستحيلًا، أو أن هناك بعض الغموض (كما هو الحال غالبًا في حذف غاوس ، على سبيل المثال). هنا، كما هو الحال في حذف غاوس، تظهر معلمات إضافية عند محاولة استيعاب الالتواء. تُصبح هذه المعلمات نفسها ثوابت إضافية للمشكلة، لذا يجب تمديد مجموعة البنية G إلى مجموعة فرعية من مجموعة النفاثات . بمجرد إتمام ذلك، يتم الحصول على إطار مشترك جديد على الفضاء الممتد، ويتعين العودة إلى الخطوة الأولى من طريقة التكافؤ. (انظر أيضًا امتداد هياكل G ).

الانحلال. بسبب عدم انتظام شرط الرتبة، تفشل طريقة التكافؤ في معالجة هذه المشكلة تحديدًا. على سبيل المثال، لننظر في مشكلة تكافؤ تحويل مشعب M ذي شكل تفاضلي أحادي θ إلى مشعب آخر ذي شكل تفاضلي أحادي γ بحيث يكون φ * γ = θ . يجب مراعاة أصفار هذه الأشكال التفاضلية الأحادية، بالإضافة إلى رتبة مشتقاتها الخارجية عند كل نقطة. تستطيع طريقة التكافؤ معالجة هذه المشاكل إذا كانت جميع الرتب منتظمة، ولكنها ليست مناسبة دائمًا إذا تغيرت الرتبة. بالطبع، اعتمادًا على التطبيق المحدد، يمكن الحصول على قدر كبير من المعلومات باستخدام طريقة التكافؤ.