2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/62852The Hard Lefschetz theorem is known to hold for the intersection cohomology of the toric variety associated to a rational convex polytope. One can construct the intersection cohomology combinatorially from the polytope, hence it is well defined even for nonrational polytopes when there is no variety associated to it. We prove the Hard Lefschetz theorem for the intersection cohomology of a general polytope.25 pages, a few errors correctedAlgebraic GeometryCombinatorics14M25; 14F43; 52Bxxtext