数学 › 代数幾何 II(層コホモロジー・曲線・交叉) › 層コホモロジー
脆弱層
定義 4.1(「層コホモロジー」§4)
位相空間 X 上の層 F が脆弱(flasque)であるとは、すべての開集合 U⊆X について制限写像 F(X)→F(U) が全射であることをいう。このとき開集合 U⊆V について F(V)→F(U) も全射である(F(X)→F(U) が F(V) を経由するため)。
本文で読む(前後の説明と例)→
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
関連するノック 2 問