第一 Chern 形式

定義 4.4（「正則ベクトル束・Chern 接続・直線束と因子」§4）

Hermite 正則ベクトル束 $(E,h)$ に対し、Chern 接続の曲率 $F_h$ から作った実 $(1,1)$ 形式

c_1(E,h)=\frac{i}{2\pi}\operatorname{tr}F_h

を第一 Chern 形式という。局所的には $c_1(E,h)=-\frac{i}{2\pi}\partial\bar\partial\log\det H$ である。

閉包の状態

定義

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

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

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