Picard–Lefschetz formula