Kohomologi

Kohomologi mendualkan homologi untuk menetapkan ko-rantai ke suatu ruang, dan secara krusial membawa struktur gelanggang — produk cangkir (cup product) — yang membedakan ruang-ruang yang tidak dapat dibedakan hanya oleh homologi.

Definition

Kohomologi menetapkan ke suatu ruang urutan grup abelian yang diperoleh sebagai siklus modulo batas dalam kompleks ko-rantai dual dari kompleks rantai singular; dengan produk cangkir, ia membentuk gelanggang komutatif bertingkat yang merupakan invarian yang lebih halus daripada homologi.

Scope

Topik ini mengembangkan kohomologi sebagai homologi dari kompleks ko-rantai dual, yang terkait dengan homologi melalui teorema koefisien universal, dan menambahkan struktur multiplikatif yang diberikan oleh produk cangkir yang menjadikan kohomologi total sebagai gelanggang bertingkat. Ini mencakup kohomologi de Rham pada manifold mulus dan identifikasinya dengan kohomologi singular melalui teorema de Rham, produk cangkir dan produk topi (cap product), serta dualitas Poincaré yang menghubungkan kohomologi manifold tertutup berorientasi dengan homologinya. Teorema Künneth dan aplikasi kelas karakteristik juga disertakan.

Core questions

• Bagaimana kohomologi berhubungan dengan homologi melalui teorema koefisien universal?
• Informasi tambahan apa yang dikodekan oleh struktur gelanggang produk cangkir di luar grup dasarnya?
• Bagaimana dualitas Poincaré menghubungkan kohomologi dan homologi dari manifold tertutup berorientasi?
• Mengapa teorema de Rham mengidentifikasi kohomologi bentuk diferensial mulus dengan kohomologi topologi?

Key concepts

• Kompleks ko-rantai dan teorema koefisien universal
• Produk cangkir dan gelanggang kohomologi
• Produk topi dan dualitas Poincaré
• Kohomologi de Rham dan teorema de Rham
• Teorema Künneth untuk produk

Clinical relevance

Gelanggang kohomologi adalah rumah alami dari kelas karakteristik, teori obstruksi, dan produk irisan, menjadikan kohomologi sentral dalam geometri diferensial, topologi bundel serat, dan teori tolok (gauge theory) dalam fisika matematika.

History

Kohomologi muncul pada tahun 1930-an dari karya de Rham, Čech, Alexander, dan Kolmogorov; produk cangkir yang diperkenalkan oleh Whitney dan lainnya mengungkapkan struktur multiplikatif yang tidak terlihat oleh homologi, dan teorema de Rham mengikat teori mulus dan topologi bersama, menetapkan peran sentral kohomologi.

Key figures

• Georges de Rham
• Eduard Čech
• Hassler Whitney

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

Mengapa menggunakan kohomologi jika homologi sudah mendeteksi lubang?

Kohomologi membawa struktur gelanggang melalui produk cangkir yang tidak dimiliki homologi; ruang dengan grup homologi yang identik dapat memiliki gelanggang kohomologi yang berbeda, sehingga kohomologi adalah invarian yang secara tegas lebih halus.

Apa yang dikatakan dualitas Poincaré?

Untuk manifold n-tertutup berorientasi, kohomologi ke-k isomorfik dengan homologi ke-(n-k); secara geometris, ia memasangkan siklus dengan siklus berdimensi komplementer melalui irisan.