المتعددات الشعبية الفائقة

المتعددات الشعبية الفائقة

المتعددات الشعبية الفائقة

تُعد المتعددات الشعبية الفائقة (Supermanifolds) تعميمات رياضية للمتعددات الشعبية التقليدية، حيث يتم توسيع جبر الدوال ليشمل متغيرات تبادلية (Commuting) ومتغيرات غير تبادلية أو مضادة للتبادل (Anticommuting). تظهر هذه البنى في سياق الفيزياء الرياضية والرياضيات البحتة، وتوفر الإطار الأساسي لما يُعرف بـ الهندسة الفائقة (Supergeometry).

التعريف والتركيب الرياضي

في الصياغة الرياضية القياسية، يتم تعريف المتعدد الشعبية الفائقة السلسة كفضاء حلقي محلي (Locally Ringed Space)، حيث يكون غلاف البنية (Structure Sheaf) متماثلاً محلياً مع حاصل الضرب التنسوري لحلقة الدوال السلسة العادية على الفضاء الإقليدي $\mathbb{R}^p$ وجبر غراسمان $\Lambda(\xi_1, \dots, \xi_q)$ المكون من المتغيرات غير التبادلية.

صيغة الدوال السلسة على R^p
تمثيل رياضي للدوال السلسة في الفضاء الإقليدي
جبر غراسمان
تمثيل لجبر غراسمان والمتغيرات غير التبادلية

يمكن استعادة المتعدد الشعبية العادي من المتعدد الشعبية الفائق من خلال ما يسمى بالفضاء المختزل (Reduced Space) للمتغيرات التبادلية، والذي يُشار إليه أحياناً باسم "الجسم" (Body) أو المتعدد الشعبية المختزل.

المنظورات التعريفية

المنظور الجبري الهندسي (الفضاء الحلقي المحلي)

وفقاً لهذا التعريف، يكون المتعدد الشعبية الفائق ذو البعد $p|q$ عبارة عن فضاء حلقي محلي $(|M|, \mathcal{O}_M)$ يكون متماثلاً محلياً مع البنية الموضحة في الصورة أدناه:

البعد p|q
تحديد أبعاد المتعدد الشعبية الفائق
الفضاء الحلقي المحلي
تمثيل الفضاء الحلقي المحلي (|M|, O_M)
التماثل المحلي
صيغة التماثل المحلي للمتعدد الشعبية الفائق

بشكل أكثر تفصيلاً، كل نقطة في $|M|$ تمتلك جواراً مفتوحاً $U$ بحيث يكون $(U, \mathcal{O}_M|_U)$ متماثلاً مع $(V, C_V^\infty \otimes \Lambda(\xi_1, \dots, \xi_q))$ حيث $V$ مجموعة مفتوحة في $\mathbb{R}^p$.

النقطة |M|
تمثيل الفضاء الأساسي |M|
الجوار المفتوح U
تمثيل الجوار المفتوح في الفضاء
البنية الحلقية
تمثيل البنية الحلقية على الجوار
التماثل مع V
صيغة التماثل مع المجموعة المفتوحة V
المجموعة V
تحديد المجموعة المفتوحة V في R^p

تكون العناصر الفردية في غلاف البنية نيليpotent (Nilpotent) ومضادة للتبادل، لذا فهي لا تحدد نقاطاً إضافية في الفضاء الطوبولوجي الأساسي. يتم الحصول على المتعدد الشعبية العادي $|M|$ عن طريق قسمة $\mathcal{O}_M$ على غلاف المثاليات المولد من العناصر الفردية.

غلاف البنية O_M
تمثيل غلاف البنية في المتعدد الشعبية الفائق

يُعرف تشاكل المتعددات الشعبية الفائقة بأنه تشاكل للفضاءات الحلقية المحلية التي تحترم التدرج $\mathbb{Z}_2$.

التدرج Z2
تمثيل التدرج الثنائي Z2

المنظور الملموس (كمتعدد شعبية سلس)

هناك نهج آخر أكثر ملموسية، يُستخدم بشكل شائع في أدبيات الفيزياء، حيث يتم وصف المتعدد الشعبية الفائق بطريقة مشابهة للمتعدد الشعبية السلس، ولكن يتم استبدال فضاء النموذج $\mathbb{R}^p$ بفضاء فائق (Superspace) مبني من الأجزاء الزوجية والفردية لجبر غراسمان.

الفضاء R^p
تمثيل فضاء النموذج الإقليدي

التطبيقات في الفيزياء والرياضيات

توفر المتعددات الشعبية الفائقة الأدوات الأساسية للهندسة الفائقة. وقد تم تقديمها في الأصل لارتباطها بـ التناظر الفائق (Supersymmetry)، وتُستخدم حالياً في مجالات متعددة منها:

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

أسئلة شائعة

ما هو الفرق الأساسي بين المتعدد الشعبية العادي والمتعدد الشعبية الفائق؟

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

من هم العلماء الذين ساهموا في تطوير هذا المفهوم؟

يرتبط هذا النهج تاريخياً بأعمال فيليكس بيريزين (Felix Berezin)، وديميتري ليتيس (Dimitry Leites)، وبيرترام كوستانت (Bertram Kostant).

كيف يتم استعادة المتعدد الشعبية العادي من الفائق؟

يتم ذلك من خلال عملية تسمى 'الاختزال'، حيث يتم الحصول على الفضاء المختزل (Reduced Space) عن طريق قسمة غلاف البنية على غلاف المثاليات المولد من العناصر الفردية (غير التبادلية).