نظرية فالتينجز

نظرية فالتينجز هي نتيجة للهندسة الحسابية ، والتي بموجبها يكون منحنى اجناس(الجنس هو عدد "ثقوب" السطح.) أكبر من 1 فوق الحقل $\mathbb{Q}$ من الأعداد المنطقية لها فقط عدد محدود من النقاط المنطقية . تم تخمين هذا في عام 1922 من قبل لويس مورديل ، قالب:Sfn وعرف باسم تخمين مورديل حتى عام 1983 من قبل جيرد فالتينجز . [2] تم تعميم التخمين لاحقًا عن طريق الاستبدال $\mathbb{Q}$ بأي حقل رقم .

خلفية

يترك $C$ يكون منحنى جبري غير منفرد للجنس $g$ زيادة $\mathbb{Q}$ . ثم مجموعة من النقاط المنطقية على $C$ يمكن تحديدها على النحو التالي:

• متى $g=0$ ، إما أنه لا توجد نقاط أو العديد منها بلا حدود. في حالات كهذه، $C$ يمكن التعامل معها على أنها قسم مخروطي .
• متى $g=1$ ، إذا كان هناك أي نقاط ، إذن $C$ هو منحنى إهليلجي وتشكل نقاطه المنطقية مجموعة أبيلية متكونة بشكل نهائي . (هذه هي نظرية مورديل ، التي عُممت لاحقًا على نظرية مورديل-وايل . ) علاوة على ذلك ، فإن نظرية التواء Mazur تقيد بنية مجموعة الالتواء الفرعية.
• متى $g>1$ ، وفقًا لنظرية فالتينجز ، $C$ لديه فقط عدد محدود من النقاط المنطقية.

البراهين

توقع إيغور شافاريفيتش أنه لا يوجد سوى عدد محدود من فئات التشابه من أصناف أبليان ذات البعد الثابت ودرجة الاستقطاب الثابت على حقل رقم ثابت مع تقليل جيد خارج مجموعة محدودة ثابتة من الأماكن . قالب:Sfn أظهر ألكسي بارشين أن تخمين شافاريفيتش للمحدودية يشير ضمنًا إلى تخمين مورديل ، باستخدام ما يسمى الآن بخدعة بارشين. قالب:Sfn

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