The Unimodality of Pure O-Sequences of Type Two in Four Variables

Since the 1970\u27s, great interest has been taken in the study of pure O-sequences, which, due to Macaulay\u27s theory of inverse systems, have a bijective correspondence to the Hilbert functions of Artinian level monomial algebras. Much progress has been made in classifying these according to their shape. Macaulay\u27s theorem immediately gives us that all Artinian algebras in two variables have unimodal Hilbert functions. Furthermore, it has been shown that all Artinian level monomial algebras of type two in three variables have unimodal Hilbert functions. This paper will classify all Artinian level monomial algebras of type two in four variables into two classes of ideal, prove that they are strictly unimodal and show that one of the classes is licci. AMS Subject Classification: 13D40, 13E10, 13C40, 13F20, 05E40, 13H1