On the Unimodality of Pure O-Sequences

Doctoral Dissertation


In this dissertation, we will discuss some properties of pure O-sequences, which, due to Macaulay’s Inverse Systems, are in bijective correspondence with the Hilbert functions of Artinian level monomial algebras. In particular, we will focus on their unimodality. A sequence of numbers is unimodal if it does not increase after a strict decrease.

There has been previous progress in this area. Specifically, it is known that all algebras in two variables are unimodal, due to Macaulay’s Maximal Growth Theorem. Furthermore, it is known that all pure O-sequences of type two in three variables are unimodal and the Hilbert function of monomial complete intersections are unimodal; these results are due to the Weak Lefschetz Property. In addition to these families of pure O-sequences which are unimodal, there are known families of pure O-sequences which fail to be unimodal. In particular, for any r > 2, there exists a monomial Artinian level algebra in r variables whose Hilbert function fails unimodality with an arbitrary number of peaks.

We will focus on the question of whether particular socle types or socle degrees in a fixed number of variables guarantee unimodality. Since the Weak Lefschetz Property is only guaranteed to hold in the cases mentioned above, we will use different techniques in our approach. We will show that all pure O-sequences of type three in three variables and all pure O-sequence of type two in four variables are strictly unimodal. We will also show that all pure O-sequences with socle degree less than or equal to nine in three variables are unimodal and all pure O-sequences (except for possibly two cases) with socle degree less than or equal to four in four variables are unimodal. Finally we will show that for r greater than or equal to 4 and e greater than or equal to 7, there exists a non-unimodal pure O-sequence in r variables with socle degree e.


Attribute NameValues
  • etd-04162012-145654

Author Bernadette M. Boyle
Advisor Dr. Juan Migliore
Contributor Dr. Claudia Polini, Committee Member
Contributor Dr. Juan Migliore, Committee Chair
Contributor Dr. Nero Budur, Committee Member
Contributor Dr. Yu Xie, Committee Member
Degree Level Doctoral Dissertation
Degree Discipline Mathematics
Degree Name Doctor of Philosophy
Defense Date
  • 2012-03-27

Submission Date 2012-04-16
  • United States of America

  • pure O-sequence

  • Hilbert function

  • unimodal

  • level monomial Artinian algebra

  • University of Notre Dame

  • English

Record Visibility Public
Content License
  • All rights reserved

Departments and Units

Digital Object Identifier


This DOI is the best way to cite this doctoral dissertation.


Please Note: You may encounter a delay before a download begins. Large or infrequently accessed files can take several minutes to retrieve from our archival storage system.