Riemann–Roch theorem
セール双対性はリーマン・ロッホの定理の証明の重要な要素でもある． は滑らかだから，を主因子で割った群から直線束の同型類の群への群同型