التحويلات المتغيرة العامة

في الفيزياء ، تُعتبر التحويلات المتغيرة العامة تناظرات لنظرية الجاذبية على فضاء متعدد الأبعاد عالمي.X{\displaystyle X}هي تحويلات قياس تكون دوالها المعاملية عبارة عن حقول متجهة علىX{\displaystyle X}من وجهة النظر الفيزيائية، تُعامل التحويلات المتغيرة العامة كتحويلات إطار مرجعي خاصة ( هولونومية ) في النسبية العامة . أما في الرياضيات ، فتُعرَّف التحويلات المتغيرة العامة على أنها تشاكلات ذاتية خاصة لما يُسمى بحزم الألياف الطبيعية .

التعريف الرياضي

يتركπ:YX{\displaystyle \pi :Y\to X}ليكن متعدد الشعب الليفي ذو إحداثيات ليفية محلية(xλ،yأنا){\displaystyle (x^{\lambda },y^{i})\,}كل تماثل ذاتي لـY{\displaystyle Y}يتم إسقاطها على شكل تماثلي لقاعدتهاX{\displaystyle X}لكن العكس ليس صحيحاً. تماثل تفاضلي لـX{\displaystyle X}لا يشترط أن يؤدي ذلك إلى تحول ذاتي لـY{\displaystyle Y}.

على وجه الخصوص، مولد متناهي الصغر لمجموعة لي ذات معلمة واحدة من التشاكلات الذاتية لـY{\displaystyle Y}هو حقل متجه قابل للإسقاط

u=uλ(xμ)λ+uأنا(xμ،yج)أنا{\displaystyle u=u^{\lambda }(x^{\mu })\partial _{\lambda }+u^{i}(x^{\mu },y^{j})\partial _{i}}

علىY{\displaystyle Y}يتم إسقاط حقل المتجهات هذا على حقل متجه آخرτ=uλλ{\displaystyle \tau =u^{\lambda }\partial _{\lambda }}علىX{\displaystyle X}، الذي يمثل تدفقه مجموعة ذات معلمة واحدة من التشاكلات التفاضلية لـX{\displaystyle X}. على العكس من ذلك، دعτ=τλλ{\displaystyle \tau =\tau ^{\lambda }\partial _{\lambda }}ليكن حقل متجه علىX{\displaystyle X}توجد مشكلة في بناء رفعها إلى حقل متجه قابل للإسقاط علىY{\displaystyle Y}تم إسقاطها علىτ{\displaystyle \tau }يوجد مثل هذا المصعد دائمًا، لكن ليس بالضرورة أن يكون قياسيًا. بافتراض وجود اتصالΓ{\displaystyle \Gamma }علىY{\displaystyle Y}كل حقل متجهτ{\displaystyle \tau }علىX{\displaystyle X}يؤدي إلى ظهور حقل المتجهات الأفقي

Γτ=τλ(λ+Γλأناأنا){\displaystyle \Gamma \tau =\tau ^{\lambda }(\partial _{\lambda }+\Gamma _{\lambda }^{i}\partial _{i})}

علىY{\displaystyle Y}هذا المصعد الأفقيτΓτ{\displaystyle \tau \to \Gamma \tau }ينتج عنه شكل أحادي منج(X){\displaystyle C^{\infty }(X)}- وحدة حقول المتجهات علىX{\displaystyle X}إلىج(Y){\displaystyle C^{\infty }(Y)}- وحدة حقول المتجهات علىY{\displaystyle Y}لكن هذا التشاكل الأحادي ليس تشاكلاً في جبر لي، إلا إذاΓ{\displaystyle \Gamma }مسطح.

ومع ذلك، هناك فئة من الحزم الطبيعية المذكورة أعلاهتيX{\displaystyle T\to X}والتي تسمح بالرفع الوظيفيτ~{\displaystyle {\widetilde {\tau }}}علىتي{\displaystyle T}من أي حقل متجهيτ{\displaystyle \tau }علىX{\displaystyle X}بحيثττ~{\displaystyle \tau \to {\widetilde {\tau }}}هو أحادي الشكل في جبر لي

[τ~،τ~]=[τ،τ]~.{\displaystyle [{\widetilde {\tau }},{\widetilde {\tau }}']={\widetilde {[\tau ,\tau ']}}.}

هذا المصعد الوظيفيτ~{\displaystyle {\widetilde {\tau }}}هو تحويل متغاير عام متناهي الصغر لـتي{\displaystyle T}.

في سياق عام، ينظر المرء إلى أحادي الشكلوو~{\displaystyle f\to {\widetilde {f}}}من مجموعة من التحولات التفاضلية لـX{\displaystyle X}إلى مجموعة من التشاكلات الذاتية للحزمة الطبيعيةتيX{\displaystyle T\to X}. التماثلات الذاتيةو~{\displaystyle {\widetilde {f}}}تُسمى هذه التحويلات بالتحويلات المتغيرة العامة لـتي{\displaystyle T}على سبيل المثال، لا يوجد تماثل ذاتي رأسي لـتي{\displaystyle T}هو تحويل متغاير عام.

تُعدّ حزم الموترات مثالًا على الحزم الطبيعية . على سبيل المثال، حزمة المماس.تيX{\displaystyle TX}لX{\displaystyle X}هي حزمة طبيعية. كل تحويل تماثليو{\displaystyle f}لX{\displaystyle X}يؤدي إلى التماثل الذاتي المماسيو~=تيو{\displaystyle {\widetilde {f}}=Tf}لتيX{\displaystyle TX}وهو تحويل متغاير عام لـتيX{\displaystyle TX}فيما يتعلق بالإحداثيات الهولونومية(xλ،x˙λ){\displaystyle (x^{\lambda },{\dot {x}}^{\lambda })}علىتيX{\displaystyle TX}، هذا التحويل يقرأ

x˙μ=xμxνx˙ν.{\displaystyle {\dot {x}}'^{\mu }={\frac {\partial x'^{\mu }}{\partial x^{\nu }}}{\dot {x}}^{\nu }.}

مجموعة إطاراتFX{\displaystyle FX}من الإطارات المماسية الخطية فيتيX{\displaystyle TX}وهي أيضًا حزمة طبيعية. تشكل التحويلات المتغيرة العامة مجموعة فرعية من التشاكلات الذاتية الهولونومية لـFX{\displaystyle FX}جميع الحزم المرتبطة بحزمة إطار هي حزم طبيعية. ومع ذلك، توجد حزم طبيعية غير مرتبطة بـFX{\displaystyle FX}.

انظر أيضاً

مراجع

  • كولار، آي.، ميخور، ب.، سلوفاك، ج.، العمليات الطبيعية في الهندسة التفاضلية. سبرينغر-فيرلاغ: برلين هايدلبرغ، 1993. ISBN 3-540-56235-4، ISBN 0-387-56235-4.
  • سارداناشفيلي، ج. ، الهندسة التفاضلية المتقدمة للمنظرين: حزم الألياف، ومتشعبات النفاثات، ونظرية لاغرانج، دار لامبرت للنشر الأكاديمي: ساربروكن، 2013. ISBN 978-3-659-37815-7arXiv : 0908.1886
  • ساوندرز، دي جيه (1989)، هندسة حزم النفاثات ، مطبعة جامعة كامبريدج، رقم ISBN 0-521-36948-7