arXiv++ Combinatorics

Motivated by the Hofmann--Lawson theorem, which states that every continuous lattice is inf-generated by its irreducible elements, we explore how to represent posets by extreme points with respect to a closure operator. For this purpose, we introduce the convolution product of closure operators, and prove that the Krein--Milman property can be transferred from one collection of subsets to another by convolution. This result underpins two new representation theorems of topological flavor, which generalize existing ones, even in posets lacking lattice or semilattice structures. We also prove a third representation theorem: given a poset equipped with a closure operator $\mathfrak{c}$ with adequate properties, we show that the set of kit points, defined as an extension of compact points, has the Krein--Milman property with respect to the convolution product of $\mathfrak{c}$ with the dual Alexandrov operator $\uparrow\!\! \cdot$; moreover, every kit point is sup-generated by a unique antichain of compact points, finite if $\mathfrak{c}$ is finitary.

We identify two key conditions that a subset $A$ of a poset $P$ may satisfy to guarantee the transfer of continuity properties from $P$ to $A$. We then highlight practical cases where these key conditions are fulfilled. Along the way we are led to consider subsets of a given poset $P$ whose way-below relation is the restriction of the way-below relation of $P$, which we call way-below preserving subposets. As an application, we show that every conditionally complete poset with the interpolation property contains a largest continuous way-below preserving subposet. Most of our results are expressed in the general setting of Z theory, where Z is a subset system.

We recall some abstract connectivity concepts, and apply them to special chains in partially ordered sets, called veins, that are defined as order-convex chains that are contained in every maximal chain they meet. Veins enable us to define a new partial order on the same underlying set, called the pruning order. The associated pruned poset is simpler than the initial poset, but irreducible, coirreducible, and doubly-irreducible elements are preserved by the operation of pruning.