Algebraic combinatorics on convex polytopes