Cohomology コホモロジー

コホモロジー（Cohomology）は、トポロジー（位相幾何学）において、空間の「穴」や「構造」を代数的な道具（群や環）を使って測るための手法です。ホモロジー（Homology）の共形のような存在ですが、現代数学ではコホモロジーが基本として扱われます。

1. 誰が開発したのか？

コホモロジーは、20世紀前半の数十年にわたる発展を経て形作られました。

アンリ・ポアンカレ (Henri Poincaré): 19世紀末、ホモロジーの基礎を築き、空間の「穴」を数える概念を提唱しました。
エミー・ネーター (Emmy Noether): 1920年代、それまで単なる「数（ベッチ数）」として扱われていた対象を、「群（代数構造）」として捉えるべきだと指摘しました。
サミュエル・アイレンベルグ (Samuel Eilenberg) & ノーマン・スティーンロッド (Norman Steenrod): 1940年代、コホモロジーが満たすべき性質を公理化（アイレンベルグ＝スティーンロッドの公理）し、理論を完成させました。
ジャン＝ピエール・セール (Jean-Pierre Serre) & アレクサンドル・グロタンディーク (Alexander Grothendieck): 1950年代以降、この概念を代数幾何学や数論へと劇的に拡張しました。

コホモロジーは、以下の概念を土台にして、それらを「逆向き」に捉え直すことで生まれました。

ホモロジー理論: 空間を三角形や四面体（単体）の集まりとして分解し、境界のない「閉じた鎖」を探す理論。
線形代数（デュアル空間）: ベクトル空間 V に対して、その上の関数（線形形式）の空間 V* を考える「双対性」の考え方。
微分形式 (Differential Forms): 多変数解析における dx, dy といった概念。ジョルジュ・ド・ラームは、微分形式の積分を通じて空間のトポロジーが測れることを示しました（ド・ラームコホモロジー）。

「穴を数える」だけならホモロジーで十分でしたが、コホモロジーが必要とされたのには明確な理由があります。

積構造（環）の導入: ホモロジーでは「穴」同士を足すことはできても、掛けることは困難でした。しかし、コホモロジーでは「カップ積」という演算により、穴同士の掛け算が定義でき、空間をより精密に区別できるようになりました。
「関数」としての扱いやすさ: コホモロジーは空間上の「関数（のようなもの）」として定義されるため、写像 f: X → Y があったとき、向きが逆転した f*: H(Y) → H(X) という自然な引き戻し操作が可能になります。これは計算上非常に強力です。
物理学や解析学との接続: 電磁気学や流体力学における「ポテンシャル」の存在判定など、微分の言葉と相性が良く、コホモロジーという推論を用いた発見が捗ったためです。

コホモロジーは単なる圏論的手法を超え、現代数学の「共通言語」へと発展しました。

冒頭で触れたHoTT（ホモトピー型理論）においても、コホモロジーは重要な研究対象です。「型理論の中でコホモロジーをどう定義し、計算するか」は、数学をコンピュータで完全自動化するための最前線の課題の一つとなっています。