arXiv++ Combinatorics

Given a finite commutative monoid $M$, we show that submonoids of $M\times [n]$ - where $[n] = \{0,1,\ldots,n\}$ is equipped with the max operation $\vee$ - may be enumerated via the transfer matrix method. When $M$ is also idempotent, we show that there are finitely many integers $λ$ and rational numbers $b_λ$ (only depending on $M$) such that the number of submonoids of $M\times [n]$ is $\sum_λb_λλ^n$. This answers a question of Knuth regarding ternary (and higher order) max-closed relations, and has applications to the enumeration of saturated transfer systems in equivariant infinite loop space theory.

We initiate the combinatorial study of factorization systems on finite lattices, paying special attention to the role that reflective and coreflective factorization systems play in partitioning the poset of factorization systems on a fixed lattice. We ultimately uncover an intricate web of relations with such diverse combinatorial structures as submonoids, monads, Moore systems, transfer systems (from stable equivariant homotopy theory), and poly-Bernoulli numbers.

We prove that Hill's characteristic function $χ$ for transfer systems on a lattice $P$ surjects onto interior operators for $P$. Moreover, the fibers of $χ$ have unique maxima which are exactly the saturated transfer systems. In order to apply this theorem in examples relevant to equivariant homotopy theory, we develop the theory of saturated transfer systems on modular lattices, ultimately producing a ``matchstick game'' that puts saturated transfer systems in bijection with certain structured subsets of covering relations. After an interlude developing a recursion for transfer systems on certain combinations of bounded posets, we apply these results to determine the full lattice of transfer systems for rank two elementary Abelian groups.

We provide a general recursive method for constructing transfer systems on finite lattices. Using this we calculate the number of homotopically distinct $N_\infty$ operads for dihedral groups $D_{p^n}$, $p > 2$ prime, and cyclic groups $C_{qp^n}$, $p \neq q$ prime. We then further display some of the beautiful combinatorics obtained by restricting to certain homotopically meaningful $N_\infty$ operads for these groups.

We initiate the study of model structures on (categories induced by) lattice posets, a subject we dub homotopical combinatorics. In the case of a finite total order $[n]$, we enumerate all model structures, exhibiting a rich combinatorial structure encoded by Shapiro's Catalan triangle. This is an application of previous work of the authors on the theory of $N_\infty$-operads for cyclic groups of prime power order, along with new structural insights concerning extending choices of certain model structures on subcategories of $[n]$.

Transfer systems are combinatorial objects which classify $N_\infty$ operads up to homotopy. By results of A. Blumberg and M. Hill, every transfer system associated to a linear isometries operad is also saturated (closed under a particular two-out-of-three property). We investigate saturated and linear isometric transfer systems with equivariance group $C_{p^mq^n}$, the cyclic group of order $p^mq^n$ for $p,q$ distinct primes and $m,n\ge 0$. We give a complete enumeration of saturated transfer systems for $C_{p^mq^n}$. We also prove J. Rubin's saturation conjecture for $C_{pq^n}$; this says that every saturated transfer system is realized by a linear isometries operad for $p,q$ sufficiently large (greater than $3$ in this case).