Ther hard Lefschetz theorem and the topology of semismall maps

A line bundle on a complex projective manifold is said to be lef if one of its powers is globally generated and defines a semismall map in the sense of Goresky-MacPherson. As in the case of ample bundles the first Chern class of lef line bundles satisfies the Hard Lefschetz Theorem and the Hodge-Riemann Bilinear Relations. As a consequence, we prove a generalization of the Grauert contractibility criterion: the Hodge Index Theorem for semismall maps, Theorem 2.4.1. For these maps the Decomposition Theorem of Beilinson, Bernstein and Deligne is equivalent to the non-degeneracy of certain intersection forms associated with a stratification. This observation, joint with the Hodge Index Theorem for semismall maps gives a new proof of the Decomposition Theorem for the direct image of the constant sheaf. A new feature uncovered by our proof is that the intersection forms involved are definite.