Riemann–Roch theorem
が存在する． に対応する因子は標準因子と呼ばれ， と書かれる． を formula_123 の次元とする．するとリーマン・ロッホの定理の主張は以下のようである． が の種数のとき，