Riemann 形式

定義 7.2（「Kodaira の消滅定理と埋め込み定理」§7）

$V$ 上の正定値 Hermite 形式 $H$ （第 1 変数について複素線形）で、虚部 $E=\operatorname{Im}H$ が $\Lambda\times\Lambda$ の上で整数値を取るものがあるとき、 $E$ を $(V,\Lambda)$ の Riemann 形式という。

本文で読む（前後の説明と例）→

閉包の状態

定義

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

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

これを使っている定理

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