ブロッホ公式
数学の一分野である代数的K-理論において、ブロッホ公式(Bloch's formula)は、 K 2 {\displaystyle K_{2}} に対してはスペンサー・ブロッホ(Spencer Bloch)が導入したもので、ある体上の滑らかな多様体 X の周群(Chow group)が、構造層 O X {\displaystyle {\mathcal {O}}_{X}} のK-理論に係数を持つ X のコホモロジー群に同型であるという定理である。 すなわち、 CH q ( X ) = H q ( X , K q ( O X ) ) {\displaystyle \operatorname {CH} ^{q}(X)=\operatorname {H} ^{q}(X,K_{q}({\mathcal {O}}_{X}))} であり、この公式の右辺は、層係数コホモロジーであり、 K q ( O X ) {\displaystyle K_{q}({\mathcal {O}}_{X})} は、U を X のザリスキー開部分集合として、前層 U ↦ K q ( U ) {\displaystyle U\mapsto K_{q}(U)} に付帯する層である。