La formule du fibré canonique et la décomposition de Zariski sont deux outils très importants en géométrie birationnelle. La formule du fibré canonique pour une fibration f:(X,B)->Z consiste à écrire K_X+B comme tiré en arrière de K_Z+B_Z+M où B_Z contient des informations sur les fibres singulières et M s'appelle partie modulaire. Il a été conjecturé qu'il existe une modification birationnelle Z' de Z telle que M' est semiample, où M' est la partie modulaire induite par changement de base. Un diviseur pseudoeffectif admet une décomposition de Zariski s'il existent un diviseur nef P et un diviseur effectif N tels que D=P+N et P est "le plus grand" diviseur nef tel que D-P est effectif.