原始コホモロジー

定義 6.3（「Hodge 分解と Lefschetz 分解」§6）

$0\le k\le n$ について

P^k(X)=\ker\bigl(L^{n-k+1}\colon H^k(X,\mathbb{C})\to H^{2n-k+2}(X,\mathbb{C})\bigr),\qquad P^{p,q}(X)=P^{p+q}(X)\cap H^{p,q}(X)

とおき、 $P^k(X)$ の元を原始類という。 $k\gt n$ または $k\lt0$ では $P^k(X)=0$ とする。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。