ریخت بین واریته‌های جبری

از testwiki
پرش به ناوبری پرش به جستجو

در هندسه جبری، تابعی چون f:Yk از واریته Y به میدان زیرینش (مثلاً kمنظم (Regular) است اگر برای هر نقطه دلخواهی چون P در Y، همسایگی حول آن نقطه وجود داشته باشد به گونه‌ای که f(P) را بتوان با کسری چون f/g بیان نمود، که در آن f,g چندجمله‌ای‌هایی در حلقه مختصاتی Y می‌باشند.الگو:Sfn نگاشت منظم از واریته دلخواه X به فضای آفین 𝔸n، نگاشتی است که به صورت n-تایی از توابع منظم تعریف می‌گردد.الگو:Efnالگو:Sfn ریخت (Morphism) بین دو واریته X,Y، نگاشت پیوسته‌ای چون φ:XY است چنان‌که برای هر مجموعه بازی چون VY و هر تابع منظمی چون f:Vk، تابع fφ:φ1(V)k نیز منظم باشد.الگو:Sfn ترکیب ریخت‌ها، ریخت اند، لذا تشکیل رسته می‌دهند. در این رسته، ریختی که معکوس داشته باشد را «یکریختی» (Isomorphism) گویند.الگو:Sfn می‌گوییم دو واریته X,Y یکریخت اند اگر یکریختی بینشان وجود داشته باشد، به طور معادل: اگر حلقه مختصاتیشان به عنوان جبرهای روی میدان‌های زیرینشان با هم یکریخت باشند (یعنی A(X)A(Y)).الگو:Sfn

سیلورمن ریخت را به عنوان نگاشت گویایی تعریف می‌کند که در تمام نقاطش منظم باشد.الگو:Sfn

یادداشت‌ها

الگو:یادداشت‌ها

ارجاعات

الگو:پانویس

منابع

الگو:چپ‌چین الگو:آغاز منابع

الگو:پایان منابع الگو:پایان چپ‌چین الگو:هندسه جبری-خرد