واریتههای آفین و تصویری
واریتهها مجموعههای جواب هندسی معادلات چندجملهای هستند که در فضای آفین و با افزودن نقاط در بینهایت، در محیط یکنواختتر فضای تصویری مورد مطالعه قرار میگیرند.
Definition
واریته آفین مجموعه صفرهای مشترک یک مجموعه از چندجملهایها در فضای آفین است؛ واریته تصویری مجموعه صفرهای مشابهی از چندجملهایهای همگن در فضای تصویری است، جایی که هندسه فشرده است و نظریه تقاطع رفتار خوبی دارد.
Scope
این موضوع واریتههای آفین را به عنوان مکانهای صفر چندجملهایها، توپولوژی زاریسکی، و تناظر بین واریتهها و ایدهآلهای رادیکال ارائه شده توسط نولاشتلاتز هیلبرت توسعه میدهد. حلقه مختصات و میدان تابع، نگاشتهای منظم و گویا، و گذر به فضای تصویری و واریتههای تصویری که در آن قضیه بزو و عدم وجود رفتار استثنایی در بینهایت برقرار است، معرفی میشوند. بعد، تحویلناپذیری، و نقاط منفرد در مقابل نقاط هموار به عنوان ناورداییهای هندسی اساسی مورد بررسی قرار میگیرند.
Core questions
- چگونه نولاشتلاتز تناظر بین واریتهها و ایدهآلها را دقیق میکند؟
- چرا فضای تصویری خانه طبیعی برای واریتهها است و افزودن نقاط در بینهایت چه مشکلی را حل میکند؟
- حلقه مختصات و میدان تابع یک واریته چگونه سایههای جبری آن هستند؟
- چه چیزی نقاط هموار را از نقاط منفرد متمایز میکند و بعد چگونه به صورت جبری تعریف میشود؟
Key concepts
- واریتههای آفین و توپولوژی زاریسکی
- نولاشتلاتز هیلبرت و تناظر ایدهآل-واریته
- حلقه مختصات، میدان تابع، و نگاشتهای گویا
- فضای تصویری و واریتههای تصویری
- بعد، تحویلناپذیری، و نقاط هموار در مقابل نقاط منفرد
Clinical relevance
واریتهها اشیاء اساسی هستند که در سراسر هندسه جبری و کاربردهای آن، از منحنیهای بیضوی در رمزنگاری و نظریه اعداد گرفته تا مدلهای تصویری مورد استفاده در بینایی کامپیوتر و مجموعههای جواب تحلیل شده در آمار جبری، مورد مطالعه قرار میگیرند.
History
مطالعه منحنیها و سطوح با معادلات چندجملهای به قرن نوزدهم بازمیگردد؛ نولاشتلاتز هیلبرت (1893) و معرفی ابزارهای توپولوژیکی و جبری دقیق توسط زاریسکی در دهههای 1930 و 1940، واریته را به عنوان یک شیء دقیق، نقطه شروع موضوع مدرن، تثبیت کردند.
Key figures
- David Hilbert
- Oscar Zariski
- Robin Hartshorne
Related topics
Seminal works
- hartshorne1977
- eisenbud1995
Frequently asked questions
- نولاشتلاتز هیلبرت چه میگوید؟
- بر روی یک میدان بسته جبری، این قضیه یک تناظر یک به یک بین واریتههای آفین و ایدهآلهای رادیکال حلقه چندجملهای برقرار میکند، به طوری که شمول هندسی و تقاطع دقیقاً با عملیات جبری بر روی ایدهآلها مطابقت دارد.
- چرا در فضای تصویری به جای فضای آفین کار میکنیم؟
- فضای تصویری با افزودن نقاط در بینهایت، فضای آفین را فشرده میکند، که واریتهها را فشرده میسازد، موارد خاص را حذف میکند (خطوط موازی یکدیگر را قطع میکنند)، و نتایج تقاطع تمیزی مانند قضیه بزو را به دست میدهد.