مقسومعلیهها و ریمان-روخ
مقسومعلیهها صفرها و قطبهای توابع را روی یک واریته ثبت میکنند، بستههای خطی آنها را به صورت هندسی بستهبندی میکنند، و قضیه ریمان-روخ توابع را با رفتار قطبی تجویز شده بر حسب ناورداهای هندسی شمارش میکند.
Definition
یک مقسومعلیه روی یک واریته، ترکیبی صوری از زیرواریتههای همبعدی یک است که صفرها و قطبها را کدگذاری میکند؛ بستههای خطی همتایان هندسی آنها هستند، و قضیه ریمان-روخ بعد فضای مقاطع یک مقسومعلیه را به درجه آن، جنس، و مقسومعلیه کانونی مرتبط میکند.
Scope
این موضوع به توسعه مقسومعلیههای وایل و کارتیه، همارزی خطی، گروه کلاس مقسومعلیهها و گروه پیکارد، و تطابق بین مقسومعلیهها و بستههای خطی (بافههای معکوسپذیر) میپردازد. همچنین به سیستمهای خطی و نگاشتهایی که به فضای تصویری تعریف میکنند، مقسومعلیه کانونی، و جنس یک خم میپردازد که در نهایت به قضیه ریمان-روخ برای خمها و نقش دوگانگی سر (Serre duality) ختم میشود. تعمیمهای ابعاد بالاتر و گروتندیک-هیرزبروخ به عنوان گسترش طبیعی نشان داده میشوند.
Core questions
- چگونه مقسومعلیههای وایل و کارتیه رفتار صفر و قطب توابع گویا را کدگذاری میکنند؟
- چرا مقسومعلیهها تا همارزی خطی همان دادههای بستههای خطی هستند؟
- چگونه سیستمهای خطی نگاشتها را از یک واریته به فضای تصویری تعیین میکنند؟
- قضیه ریمان-روخ چه چیزی را محاسبه میکند و چگونه دوگانگی سر وارد میشود؟
Key concepts
- مقسومعلیههای وایل و کارتیه؛ همارزی خطی
- گروه کلاس مقسومعلیهها و گروه پیکارد
- بستههای خطی (بافههای معکوسپذیر) و سیستمهای خطی
- مقسومعلیه کانونی و جنس یک خم
- قضیه ریمان-روخ و دوگانگی سر
Clinical relevance
مقسومعلیهها و ریمان-روخ قلب محاسباتی نظریه خمها هستند و زیربنای ساخت کدهای گوپا (Goppa) تصحیحکننده خطا، حساب خمهای بیضوی، و طبقهبندی سطوح جبری و واریتههای با ابعاد بالاتر را تشکیل میدهند.
History
نابرابری ریمان در مورد بعد فضاهای تابع (۱۸۵۷) توسط دانشجوی او روخ به قضیه ریمان-روخ تکمیل شد؛ تعمیم هیرزبروخ در اواسط قرن بیستم و نسخه نسبی گروتندیک آن را در هندسه جبری کوهمولوژی مدرن جای داد.
Key figures
- Bernhard Riemann
- Gustav Roch
- Friedrich Hirzebruch
Related topics
Seminal works
- hartshorne1977
- eisenbud1995
Frequently asked questions
- رابطه بین مقسومعلیهها و بستههای خطی چیست؟
- روی یک واریته هموار، مقسومعلیهها تا همارزی خطی دقیقاً با کلاسهای همریختی بستههای خطی مطابقت دارند؛ کلاس یک مقسومعلیه در گروه پیکارد، بسته خطی است که مقاطع آن در امتداد آن مقسومعلیه صفر میشوند.
- قضیه ریمان-روخ چه چیزی را بیان میکند؟
- برای یک مقسومعلیه روی یک خم تصویری هموار، این قضیه بعد فضای توابع گویا را با قطبهایی که توسط مقسومعلیه محدود شدهاند، بر حسب درجه مقسومعلیه و جنس خم، که یک نتیجه بنیادی شمارشی است، بیان میکند.