تخمين ميلنور (نظرية K)

في الرياضيات ، كانت حدسية ميلنور اقتراحًا قدمه جون ميلنور ( 1970 ) لوصف نظرية ميلنور K (mod 2) لحقل عام F ذي خاصية مختلفة عن 2، وذلك باستخدام علم التماثل الغالوا (أو ما يكافئه من علم التماثل الإيتالي ) لـ F بمعاملات في Z /2 Z. وقد أثبتها فلاديمير فويفودسكي ( 1996 ، 2003أ ، 2003ب ) .   

إفادة

ليكن F حقلاً مميزاً يختلف عن  2. عندئذٍ يوجد تماثل

كنم(F)/2حهـ´تن(F،Z/2Z){\displaystyle K_{n}^{M}(F)/2\cong H_{{\acute {e}}t}^{n}(F,\mathbb {Z} /2\mathbb {Z} )}

لجميع قيم n  0، حيث تشير K M إلى حلقة ميلنور .

بخصوص الإثبات

يستخدم برهان هذه النظرية الذي قدمه فلاديمير فويفودسكي العديد من الأفكار التي طورها فويفودسكي، وألكسندر ميركورجيف ، وأندريه سوسلين ، وماركوس روست ، وفابيان موريل ، وإريك فريدلاندر ، وغيرهم، بما في ذلك النظرية الجديدة لعلم التماثل التحفيزي (نوع من البديل لعلم التماثل المفرد للأصناف الجبرية ) وجبر ستينرود التحفيزي .

التعميمات

كانت النتيجة المماثلة لهذه النتيجة للأعداد الأولية الأخرى غير 2 تُعرف باسم حدسية بلوخ-كاتو . وقد أسفر عمل فويفودسكي وماركوس روست عن برهان كامل لهذه الحدسية في عام 2009؛ وتُسمى النتيجة الآن نظرية تماثل البقايا المعيارية .

مراجع

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

  • Kahn، Bruno (2005)، “La conjecture de Milnor (d’après V. Voevodsky)”، في فريدلاندر، إريك م.؛ Grayson، DR (eds.)، كتيب نظرية K (باللغة الفرنسية)، المجلد.  سبرينغر-فيرلاغ ، ص 1105-1149 ، ISBN  3-540-23019-XZbl 1101.19001