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

في الرياضيات ، تُستخدم نظرية انكماش كاستلنوفو في نظرية تصنيف الأسطح الجبرية لبناء النموذج الأدنى لسطح جبري أملس معين.

بتعبير أدق، دعX{\displaystyle X}يكون سطحًا إسقاطيًا أملسًا فوقج{\displaystyle \mathbb {C} }وج{\displaystyle C}منحنى ( -1 ) علىX{\displaystyle X}(وهذا يعني منحنىً كسريًا أملسًا ذو عدد تقاطع ذاتي -1 )، ثم يوجد تشاكل من X{\displaystyle X}إلى سطح إسقاط أملس آخرY{\displaystyle Y}بحيث يكون المنحنىج{\displaystyle C}تم تقليصها إلى نقطة واحدةP{\displaystyle P}وعلاوة على ذلك، فإن هذا التشاكل هو تشاكل خارجج{\displaystyle C}(أي،Xج{\displaystyle X\setminus C}متماثل معYP{\displaystyle Y\setminus P}).

يُطلق على هذا التشاكل الانقباضي أحيانًا اسم "التفريغ"، وهو العملية العكسية لعملية "النفخ" . المنحنىج{\displaystyle C}ويُطلق عليه أيضاً اسم المنحنى الاستثنائي من النوع الأول.

مراجع