السطح العقلاني

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

بناء

يمكن الحصول على أي سطح كسري غير منفرد عن طريق تفجير سطح كسري أدنى بشكل متكرر . الأسطح الكسرية الدنيا هي المستوى الإسقاطي وأسطح هيرزبروش Σ r عندما r = 0 أو r ≥ 2.

الثوابت: جميع الأجناس المتعددة تساوي صفرًا والمجموعة الأساسية تافهة .

ماسة هودج :

1
00
01+ ن0
00
1

حيث n تساوي 0 للمستوى الإسقاطي، و 1 لأسطح هيرزبروش وأكبر من 1 للأسطح العقلانية الأخرى.

مجموعة بيكارد هي الشبكة أحادية المعامل الفردية I 1, n ، باستثناء أسطح هيرزبروش Σ 2 m عندما تكون الشبكة أحادية المعامل الزوجية II 1,1 .

نظرية كاستلنوفو

أثبت غيدو كاستلنوفو أن أي سطح معقد بحيث يتلاشى كل من q و P2 (عدم الانتظام والتعددية الثانية) هو سطح كسري. يُستخدم هذا في تصنيف إنريكيس-كودايرا لتحديد الأسطح الكسرية. وقد أثبت زاريسكي (1958) أن نظرية كاستلنوفو تنطبق أيضًا على الحقول ذات الخاصية الموجبة.

تنص نظرية كاستلنوفو أيضًا على أن أي سطح عقدي أحادي العقلانية هو سطح عقلاني، لأنه إذا كان السطح العقدي أحادي العقلانية، فإن عدم انتظامه وتعدد أجناسه يكونان محدودين بتلك الخاصة بالسطح العقلاني، وبالتالي تكون جميعها أصفارًا، لذا فإن السطح عقلاني. معظم أنواع الأسطح العقدية أحادية العقلانية ذات البعد 3 أو أكبر ليست عقلانية. في الخاصية p > 0، وجد زاريسكي (1958) أمثلة على أسطح أحادية العقلانية ( أسطح زاريسكي ) ليست عقلانية.

في وقت من الأوقات، لم يكن من الواضح ما إذا كان السطح المعقد الذي يتلاشى فيه كل من q و P 1 سطحًا عقلانيًا، ولكن تم العثور على مثال مضاد ( سطح إنريكيس ) بواسطة فيديريجو إنريكيس .

أمثلة على الأسطح العقلانية

انظر أيضاً

مراجع

  • الأسطح الجبرية : أداة لدراسة جغرافية الأسطح الجبرية الملساء (البسيطة) بصريًا