شیفها و کوهمولوژی
یک شیف دادههایی را ثبت میکند که به صورت محلی تعریف شده و به طور سازگار به هم چسبیدهاند، و کوهمولوژی شیف مانع از گذر از راهحلهای محلی به یک راهحل سراسری را اندازهگیری میکند.
Definition
یک شیف بر روی یک فضا به هر مجموعه باز یک مجموعه (یا گروه، حلقه، یا مدول) از مقاطع سازگار تحت محدودیت و چسباندن اختصاص میدهد؛ کوهمولوژی شیف دنبالهای از فانکتورهای مشتق شده از گرفتن مقاطع سراسری است که عدم موفقیت مقاطع محلی در چسبیدن به صورت سراسری را کمیسازی میکند.
Scope
این موضوع پیششیفها و شیفها را بر روی یک فضای توپولوژیک یا طرح، ساقهها، شیفسازی، و مورفیسمهای شیفها معرفی میکند، با مثالهای اصلی شیف ساختار، شیفهای ایدهآل، و شیفهای منسجم و شبهمنسجم. این موضوع کوهمولوژی شیف را از طریق فانکتورهای مشتق شده از فانکتور مقاطع سراسری و ابزار محاسباتی کوهمولوژی چخ، کوهمولوژی شیفهای منسجم بر روی فضای تصویری، و نتایج بنیادی مانند قضایای متناهی بودن و ناپدید شدن سر و دوگانگی سر توسعه میدهد.
Core questions
- چگونه اصول چسباندن یک شیف را به ابزاری مناسب برای دادههای محلی به سراسری تبدیل میکنند؟
- شیفهای منسجم و شبهمنسجم چه چیزی را در مورد هندسه بر روی یک طرح نشان میدهند؟
- چرا کوهمولوژی شیف به عنوان یک فانکتور مشتق شده تعریف میشود، و چگونه کوهمولوژی چخ آن را محاسبه میکند؟
- قضایای متناهی بودن، ناپدید شدن، و دوگانگی سر چه چیزی را در مورد کوهمولوژی منسجم به ما میگویند؟
Key concepts
- پیششیفها، شیفها، ساقهها، و شیفسازی
- شیفهای منسجم و شبهمنسجم
- کوهمولوژی شیف به عنوان یک فانکتور مشتق شده
- کوهمولوژی چخ و توافق آن با کوهمولوژی مشتق شده
- متناهی بودن سر، ناپدید شدن، و دوگانگی سر
Clinical relevance
کوهمولوژی شیف موتور محاسباتی اصلی هندسه جبری است که مقاطع بستههای خطی، تغییر شکلها، و نظریه مانع را کنترل میکند؛ همین ماشینآلات زیربنای کوهمولوژی اتال (étale cohomology) است که برای اثبات حدسهای ویل استفاده میشود و در توپولوژی و هندسه مختلط فراگیر است.
History
لرای شیفها و کوهمولوژی آنها را در دهه ۱۹۴۰ معرفی کرد؛ FAC سر (۱۹۵۵) کوهمولوژی شیف منسجم را وارد هندسه جبری کرد، و گروتندیک کوهمولوژی را به عنوان فانکتورهای مشتق شده در مقاله توهوکو (۱۹۵۷) خود بازتعریف کرد، چارچوبی که در رویکردهای مدرن پذیرفته شده است.
Key figures
- Jean Leray
- Jean-Pierre Serre
- Alexander Grothendieck
Related topics
Seminal works
- hartshorne1977
- maclane1971
Frequently asked questions
- تفاوت بین یک پیششیف و یک شیف چیست؟
- یک پیششیف دادهها را به مجموعههای باز با نگاشتهای محدودیت اختصاص میدهد؛ یک شیف علاوه بر این نیاز دارد که مقاطع محلی که بر روی همپوشانیها توافق دارند، به یک مقطع سراسری منحصر به فرد چسبانده شوند، که دقیقاً همان محلی بودن مورد نیاز برای هندسه است.
- چرا کوهمولوژی شیف از نظر هندسی اهمیت دارد؟
- ابعاد آن مقاطع سراسری، موانع، و ناورداهایی مانند جنس را شمارش میکند؛ ناپدید شدن کوهمولوژیهای بالاتر همان چیزی است که امکان جمعآوری دادههای هندسی محلی — به عنوان مثال، مقاطع یک بسته خطی — را به صورت سراسری فراهم میکند.