نظرية الحقول المحلية للفئات

في الرياضيات ، نظرية الحقل المحلي للفئة ( LCFT )، التي قدمها هيلموت هاس ، [ 1 ] هي دراسة الامتدادات الأبيلية للحقول المحلية ؛ هنا، "الحقل المحلي" يعني حقلًا كاملًا بالنسبة للقيمة المطلقة أو التقييم المنفصل مع حقل متبقي محدود : وبالتالي فإن كل حقل محلي متماثل (كحقل طوبولوجي ) مع الأعداد الحقيقية R ، والأعداد المركبة C ، وامتداد محدود للأعداد p -adic Q p (حيث p هو أي عدد أولي )، أو حقل متسلسلات لوران الرسمية F q (( T )) على حقل محدود F q .

مناهج نظرية المجال الطبقي المحلي

تُقدّم نظرية الحقول المحلية وصفًا لزمرة غالوا G للامتداد الأبلي الأقصى لحقل محلي K عبر دالة التبادل التي تعمل من الزمرة الضربية K × = K \{0}. بالنسبة لامتداد أبيلي محدود L لـ تُنشئ دالة التبادل تماثلًا بين زمرة القسمة K × / N ( L × ) لـ K × بواسطة زمرة المعيار N ( L × ) للامتداد L × إلى زمرة غالوا Gal( L / K ) للامتداد. [ 2 ]

تُثبت نظرية الوجود في نظرية الحقول المحلية وجود تناظر أحادي بين الزمر الجزئية المفتوحة ذات الدليل المحدود في الزمرة الضربية K × والامتدادات الأبيلية المحدودة للحقل K. بالنسبة لامتداد أبيلي محدود L للحقل فإن الزمرة الجزئية المفتوحة المقابلة ذات الدليل المحدود هي زمرة المعيار N ( L × ). تُرسل دالة التبادلية زمر الوحدات العليا إلى زمر التفرع العليا. [ 2 ] الفصل  4

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

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

للاطلاع على مختلف المناهج لنظرية حقل الفئة المحلية، انظر الفصل الرابع والقسم 7 من الفصل الرابع من [ 2 ] . وتشمل هذه المناهج منهج هاس باستخدام مجموعة براور ، والمناهج الكوهومولوجية، والأساليب الصريحة ليورغن نوكيرش ، وميشيل هازوينكل ، ونظرية لوبين-تيت، وغيرها.

تعميمات نظرية المجال المحلي للفئات

كانت تعميمات نظرية حقل الفئة المحلية إلى الحقول المحلية ذات حقل البقايا شبه المحدود امتدادات سهلة للنظرية التي توصل إليها جي. وابليس في خمسينيات القرن العشرين. [ 3 ] الفصل  الخامس

تتناول نظرية الحقول الصريحة من الفئة p للحقول المحلية ذات حقول البقايا الكاملة وغير الكاملة غير المنتهية مسألة جديدة تتمثل في مجموعات المعايير ذات الدليل اللانهائي. وقد وضع إيفان فيسينكو نظريات مناسبة في هذا الشأن . [ 4 ] [ 5 ] وتدرس نظرية فيسينكو للحقول المحلية غير التبادلية، الخاصة بامتدادات غالوا المنتهية حسابيًا للحقول المحلية، خريطة التبادلية المحلية المناسبة وخصائصها. [ 6 ] ويمكن اعتبار هذه النظرية الحسابية بديلاً عن تناظر لانغلاندز المحلي في نظرية التمثيل .

نظرية المجال المحلي الأعلى

بالنسبة للحقل المحلي ذي الأبعاد الأعلىك{\displaystyle K}توجد خريطة تبادلية محلية أعلى تصف الامتدادات الأبيلية للحقل بدلالة الزمر الفرعية المفتوحة ذات الدليل المحدود في زمرة ميلنور K للحقل. أي، إذاك{\displaystyle K}هون{\displaystyle n}ثم يستخدم المرء حقلًا محليًا ذا أبعاد nكنم(ك){\displaystyle \mathrm {K} _{n}^{\mathrm {M} }(K)}أو خارج قسمتها المنفصلة المزودة بطوبولوجيا مناسبة. عندمان=1{\displaystyle n=1}تصبح النظرية نظرية حقل الفئة المحلية المعتادة. على عكس الحالة الكلاسيكية، لا تحقق مجموعات ميلنور K انحدار وحدة غالوا إذان>1{\displaystyle n>1}تم تطوير نظرية المجال المحلي العامة ذات الأبعاد الأعلى بواسطة ك. كاتو وإ . فيسينكو .

تُعد نظرية حقل الفئة المحلية العليا جزءًا من نظرية حقل الفئة العليا التي تدرس الامتدادات الأبيلية (أو الأغطية الأبيلية) لحقول الدوال الكسرية للمخططات المنتظمة المناسبة المسطحة على الأعداد الصحيحة.

مراجع

  1. ^ هاس، هـ. (1930)، “Die Normenresttheorie relativ-Abelscher Zahlkörper als Klassenkörpertheorie im Kleinen.” ، مجلة für die reine und angewandte Mathematik (بالألمانية)، 1930 (162): 145–154 ، دوى : 10.1515/crll.1930.162.145 ، ISSN 0075-4102 ، JFM 56.0165.03 ، S2CID 116860448   
  2. 1 2 3 فيسينكو، إيفان وفوستوكوف، سيرجي، الحقول المحلية وامتداداتها ، الطبعة الثانية، الجمعية الرياضية الأمريكية ، 2002، ISBN 0-8218-3259-X
  3. 1 2 فيسينكو، إيفان؛ كوريهارا، ماساتو، محرران (2000). "سيرجي ف. فوستوكوف، صيغ صريحة لرمز هيلبرت، في دعوة إلى الحقول المحلية العليا" . دراسات في الهندسة والطوبولوجيا . 3 : 81-90 . doi : 10.2140/gtm.2000.3 .
  4. إ. فيسينكو (1994). "نظرية حقل الفئة المحلية: حالة حقل البقايا المثالي". إزفستيا: الرياضيات . 43 (1). الأكاديمية الروسية للعلوم: 65-81 . Bibcode : 1994IzMat..43...65F . doi : 10.1070/IM1994v043n01ABEH001559 .
  5. ^ فيسينكو، آي. (1996). “على خرائط المعاملة بالمثل المحلية العامة”. Journal für die reine und angewandte Mathematik . 473 : 207 – 222.
  6. فيسينكو، إ. (2001). "خرائط التبادلية المحلية غير التبديلية". نظرية الحقول الصنفية - الذكرى المئوية لها وآفاقها، دراسات متقدمة في الرياضيات البحتة . الجمعية الرياضية اليابانية. ص 63-78 . ISBN  4-931469-11-6.

للمزيد من القراءة