کوهمولوژی

در ریاضیات، به‌خصوص در نظریه همولوژی و توپولوژی جبری، کوهمولوژی عبارتی کلی برای دنباله‌ای از گروه های آبلیست که به یک فضای توپولوژی مرتبط شده باشند، اغلب به چنین دنباله‌ای مجتمع‌های هم‌زنجیره‌ای گویند. کوهمولوژی را می‌توان به صورت روشی دید که می‌توان به وسیله آن نسبت به همولوژی ناورداهای جبری غنی‌تری را به یک فضا نسبت داد. به بیان دیگر، هم‌زنجیره ها، توابعی روی گروه زنجیره‌ها در نظریه همولوژی هستند. 

این ایده، از ابتدای ظهورش در توپولوژی تبدیل به روشی غالب در ریاضیات نیمه دوم قرن بیستم میلادی گشت. از زمانی که ایده اولیه‌ی همولوژی تشکیل شد، دامنه کاربردهای آن برای ساخت ناورداهای جبری فضاهای توپولوژیکی، در قالب نظریات همولوژی و کوهمولوژی در سرتاسر هندسه و جبر گسترده شده است. این حقیقت که کوهمولوژی که یک نظریه پادوردا (به زبان نظریه رسته‌ها) است، در بسیاری از کاربردها طبیعی‌تر از همولوژی است، به دلیل نوع نامگذاری ها پنهان گشته است. در سطح بنیادین، این نکته به توابع و پول‌بک ها در شرایط هندسی مرتبط می شود: فرض کنید دو فضای  و  و نوعی تابع مثل  روی  داده شده، به گونه ای که هر نگاشتی چون  که با  ترکیب شود منجر به تابع  روی  می گردد. مهم ترین نظریات کوهمولوژی دارای یک ضرب به نام ضرب فنجانی (کاپ، cup) هستند که به آن ها ساختار حلقه ای می دهد. به خاطر این ویژگی، کوهمولوژی اغلب ناوردای قویتری نسبت به همولوژی است.

کوهمولوژی تکین  
کوهمولوژی تکین یک ناوردای قدرتمند توپولوژیکی است که به هر فضای توپولوژی، حلقه جابجایی مدرجی را متناظر می‌سازد. هر نگاشت پیوسته‌ای چون ،  همریختی را از حلقه کوهمولوژی  به  تعیین می‌کند؛ این ویژگی محدودیت های قوی ای را بر روی نگاشت های ممکن از  به  قرار می‌دهد. برعکس ناورداهای نه چندان مشهودی چون گروه‌های هموتوپی، حلقه کوهمولوژی در عمل برای فضاهای مورد نظر محاسبه پذیر ترند. 

برای یک فضای توپولوژی چون ، تعریف کوهمولوژی تکین از مجتمع های زنجیره ای تکین شروع می شود:

</center>

طبق تعریف، همولوژی تکین ، همولوژی این مجتمع زنجیره‌ای است (هسته همریختی به هنگ (به پیمانه) تصویر قبلی). به طور جزئی تر،  گروه آبلی روی مجموعه نگاشت‌های پیوسته از i-سادک به  است (به آن: "i-سادک های تکین در " گویند) و  همریختی مرزی i-ام است. گروه های  برای i های منفی صفر هستند

ارجاعات

منابع 

.

نظریه‌های کوهمولوژی