态射依然是双有理的，并在 formula_20 外是同构。 formula_20 可自然地视作 formula_2 的法丛的射影化，因此 formula_48 局部上是纤维化映射，其纤维为 formula_34。由于 formula_20 是平滑除子，其法丛为线丛。对于曲面的情形，可证明 formula_20 的自相交数为负，这表明其法丛没有整体上定义的截面。formula_20 是其同调类在 formula_53 上的唯一代表，原因在于：假设 formula_20 经扰动后变为代表同一同调类的另一