The vertical isomorphisms are just Poincaré-Verdier duality. The horizontal isomorphisms follow from an application of the Hard Lefschetz Theorem [1]} to the definition of the perverse Leray filtration.
