随伴公式 (代数幾何学)
余法(conormal)な完全系列が短完全系列ではない場合には、随伴公式は成立しない。しかしながら、これが成立しないことを D の特異点を持った X の特異性と関連付けることができる。この種類の定理は、随伴公式の逆(inversion of adjunction)と呼ばれる。これらは現代の双有理幾何学での重要なツールである。