Table of Contents
Fetching ...

Constructions of Macaulay Posets and Macaulay Rings

Penelope Beall, Erenay Boyali, Nancy Chen, Ellen Chlachidze, Trong Toan Dao, Frederic Garvey, Mitchell Johnson, Yu Olivier Li, Nikola Kuzmanovski, Kelvin Ma, Treanungkur Mal, Rukshan Marasinghe, Quinlan Mayo, Nava Minsky-Primus, Alexandra Seceleanu, Sriram Veerapaneni

TL;DR

This work analyzes when the Macaulay property, originally defined for monomial posets, is preserved under topology-inspired poset operations: wedge, diamond, and fiber products. It establishes precise equivalences: for same-rank posets with unique extrema, Macaulayness is preserved through disjoint unions, wedge, and diamond under a union simplicial order, with additivity playing a crucial role in strengthening these results. The authors classify Macaulay behavior for wedge and diamond products of Clements–Lindström box posets, and they introduce heart-shaped fiber products to explore Macaulay-ness in fiber-product contexts, yielding algebraic corollaries for corresponding rings. The paper also presents conjectures, counterexamples, and small explicit constructions that illuminate when cartesian and tensor product operations preserve Macaulay properties, contributing to a deeper understanding of Macaulay rings via the combinatorics of monomial posets.

Abstract

A poset is Macaulay if its partial order and an additional total order interact well. Analogously, a ring is Macaulay if the partial order defined on its monomials by division interacts nicely with any total monomial order. We investigate methods of obtaining new structures through combining Macaulay rings and posets by means of certain operations inspired by topology. We examine whether these new structures retain the Macaulay property, identifying new classes of posets and rings for which the operations preserve the Macaulay property.

Constructions of Macaulay Posets and Macaulay Rings

TL;DR

This work analyzes when the Macaulay property, originally defined for monomial posets, is preserved under topology-inspired poset operations: wedge, diamond, and fiber products. It establishes precise equivalences: for same-rank posets with unique extrema, Macaulayness is preserved through disjoint unions, wedge, and diamond under a union simplicial order, with additivity playing a crucial role in strengthening these results. The authors classify Macaulay behavior for wedge and diamond products of Clements–Lindström box posets, and they introduce heart-shaped fiber products to explore Macaulay-ness in fiber-product contexts, yielding algebraic corollaries for corresponding rings. The paper also presents conjectures, counterexamples, and small explicit constructions that illuminate when cartesian and tensor product operations preserve Macaulay properties, contributing to a deeper understanding of Macaulay rings via the combinatorics of monomial posets.

Abstract

A poset is Macaulay if its partial order and an additional total order interact well. Analogously, a ring is Macaulay if the partial order defined on its monomials by division interacts nicely with any total monomial order. We investigate methods of obtaining new structures through combining Macaulay rings and posets by means of certain operations inspired by topology. We examine whether these new structures retain the Macaulay property, identifying new classes of posets and rings for which the operations preserve the Macaulay property.

Paper Structure

This paper contains 14 sections, 30 theorems, 60 equations, 6 figures.

Key Result

Theorem 1

Let ${\mathcal{P}}_1,\ldots, {\mathcal{P}}_n$ be posets of the same rank having unique minimal and maximal elements. Then the disjoint union being Macaulay implies the wedge product is Macaulay which implies the diamond product is Macaulay. In symbols, Moreover if all ${\mathcal{P}}_i$ are isomomorphic to the same Macaulay poset ${\mathcal{P}}$ satisfying a mild condition, then any of the three p

Figures (6)

  • Figure 1: An illustration of \ref{['lem: hat overline']}
  • Figure 2: A heart-shaped poset
  • Figure 3: An illustration for the proof of \ref{['lemma:initial segments general']}
  • Figure 4: The posets for part (1) of \ref{['prop: smallest Cartesian product']}
  • Figure 5: The posets for part (2) of \ref{['prop: smallest Cartesian product']}
  • ...and 1 more figures

Theorems & Definitions (94)

  • Theorem 1: \ref{['prop:equiv union wedge diamond']}, \ref{['thm: equiv union wedge diamond']}
  • Theorem 2: \ref{['thm: classification diamond product of boxes']}, \ref{['thm: wedge 2 boxes different size']}, \ref{['prop: wedge box classification']}
  • Theorem 3: \ref{['thm: heart']}
  • Theorem 4
  • Definition 2.1
  • Definition 2.2
  • Example 2.3
  • Example 2.4
  • Definition 2.5
  • Definition 2.6
  • ...and 84 more