الحقول البائية-الأسية والحقول المحلية

يُبنى الحقل البائي-الأسّي (p-adic field) بإكمال الأعداد الكسرية بالنسبة للقيمة المطلقة البائية-الأسّية؛ وحلقة أعدادها الصحيحة البائية-الأسّية، وحقل البواقي، والموحِّد (uniformizer) الخاص بها، يجعلها المثال النموذجي للحقل المحلي، وهو الموطن الطبيعي للحسابيات عند عدد أولي واحد.

Definition

تُحدد القيمة المطلقة البائية-الأسّية لعدد كسري بقوة p التي تقسمه. وحقل الأعداد البائية-الأسّية هو إكمال الأعداد الكسرية تحت هذه القيمة المطلقة؛ والحقل المحلي هو حقل كامل بالنسبة لتقييم تقديري (discrete valuation) وله حقل بواقي منتهٍ.

Scope

يغطي هذا الموضوع التقييم البائي-الأسّي (p-adic valuation) والقيمة المطلقة البائية-الأسّية، والمتراجحة فوق المترية (ultrametric inequality)، وتصنيف أوستروفسكي للقيم المطلقة على الأعداد الكسرية، وبناء الأعداد البائية-الأسّية وحلقة الأعداد الصحيحة البائية-الأسّية، والمثال الأعظمي، وحقل البواقي، والموحِّد، ووصف العناصر من خلال توسعات الأرقام البائية-الأسّية، ومبرهنة هينسل لرفع الجذور، والمفهوم العام للحقل المحلي كحقل مقيّم تقديرياً كاملاً (complete discretely valued field) مع حقل بواقي منتهٍ.

Core questions

• كيف تُعرّف القيمة المطلقة البائية-الأسّية، ولماذا تحقق المتراجحة فوق المترية القوية؟
• لماذا تنص مبرهنة أوستروفسكي على أن هذه هي القيم المطلقة الوحيدة جوهرياً على الأعداد الكسرية بخلاف القيمة المعتادة؟
• ما هي الأعداد الصحيحة البائية-الأسّية، وكيف تصف توسعات الأرقام وحقل البواقي بنيتها؟
• كيف ترفع مبرهنة هينسل الحلول من حقل البواقي إلى الحقل المحلي الكامل؟

Key theories

مبرهنة أوستروفسكي والإكمالات

كل قيمة مطلقة غير تافهة على الأعداد الكسرية تعادل القيمة العادية أو قيمة بائية-أسّية؛ والإكمال تحت كل منها يعطي الأعداد الحقيقية أو حقلاً بائياً-أسّياً، مما يظهر جميع مواضع الأعداد الكسرية.

بنية الأعداد الصحيحة البائية-الأسّية

تشكل الأعداد الصحيحة البائية-الأسّية حلقة محلية متراصة (compact local ring) مع مثال أعظمي مولّد بواسطة p وحقل بواقي هو الأعداد الصحيحة بمعيار p؛ وكل عدد بائي-أسّي له توسع فريد بالأساس p قد يكون لا نهائياً إلى اليمين.

مبرهنة هينسل

يرفع جذر بسيط لكثير حدود بمعيار p بشكل فريد إلى جذر في الأعداد الصحيحة البائية-الأسّية؛ وهذا يجعل الحقل المحلي يتصرف كإكمال جبري مناسب لحقل البواقي.

Clinical relevance

تُعد الحقول المحلية إطاراً لنظرية حقل الفئة المحلية (local class field theory) وللمكونات المحلية للتمثيلات التلقائية (automorphic representations) في برنامج لانغلاندز؛ كما أن رفع هينسل (Hensel lifting) هو أداة خوارزمية في تحليل كثيرات الحدود وفي الحساب السريع بمعيار قوى الأعداد الأولية.

History

قدم هينسل الأعداد البائية-الأسّية في عام 1897 لاستيراد تقنيات متسلسلات القوى إلى نظرية الأعداد، وأثبت مبرهنة الرفع التي سميت باسمه. وصنف أوستروفسكي القيم المطلقة على الأعداد الكسرية في عام 1916، موضحاً أن الإكمالات الحقيقية والبائية-الأسّية تستنفد الاحتمالات وترسخ وجهة النظر المحلية.

Key figures

• Kurt Hensel
• Alexander Ostrowski
• Helmut Hasse

Seminal works

• serre1973
• koblitz1984

Frequently asked questions

ما هو الموحِّد (uniformizer)؟

هو مولّد للمثال الأعظمي لحلقة تقييم الحقل المحلي؛ وبالنسبة للأعداد البائية-الأسّية، فإن العدد الأولي p نفسه يعمل كموحِّد، وكل عنصر غير صفري هو وحدة مضروبة في قوة له.

لماذا الأعداد الصحيحة البائية-الأسّية متراصة (compact)؟

إنها حد عكسي للحلقات المنتهية للأعداد الصحيحة بمعيار قوى p، مما يجعلها مجموعة مغلقة ومحدودة في المترية البائية-الأسّية وبالتالي متراصة، على عكس الأعداد الصحيحة العادية.