arXiv++ Combinatorics

Shi tableaux are special binary fillings of certain Young diagrams which arise in the study of Shi hyperplane arrangements related to classical root systems. For type $A$, the set $\mathcal T$ of Shi tableaux naturally coincides with the set of Dyck paths, for which various notions of patterns have been introduced and studied over the years. In this paper we define a notion of pattern occurrence on $\mathcal T$ which, although it can be regarded as a pattern on Dyck paths, it is motivated by the underlying geometric structure of the tableaux. Our main goal in this work is to study the poset of Shi tableaux defined by pattern-containment. More precisely, we determine explicit formulas for upper and lower covers for each $T\in\mathcal T$, we consider pattern avoidance for the smallest non-trivial tableaux (size 2) and generalize these results to certain tableau of larger size. We conclude with open problems and possible future directions.

Motivated by the relation holding for the m-generalized Catalan numbers of type A and C, the connection between dominant regions of the m-Shi arrangement of type A and C is investigated. In the same line of thought, a bijection between mn+1 copies of each m-Dyck path of height n and the set of NE lattice paths inside an n times mn rectangle is provided.

The proper parts of face lattices of convex polytopes are shown to satisfy a strong form of the Cohen--Macaulay property, namely that removing from their Hasse diagram all edges in any closed interval results in a Cohen--Macaulay poset of the same rank. A corresponding notion of edgewise Cohen--Macaulay connectivity for partially ordered sets is investigated. Examples and open questions are discussed.

In this article we introduce the $m$-cover poset of an arbitrary bounded poset $\mathcal{P}$, which is a certain subposet of the $m$-fold direct product of $\mathcal{P}$ with itself. Its ground set consists of multichains of $\mathcal{P}$ that contain at most three different elements, one of which has to be the least element of $\mathcal{P}$, and the other two elements have to form a cover relation in $\mathcal{P}$. We study the $m$-cover poset from a structural and topological point of view. In particular, we characterize the posets whose $m$-cover poset is a lattice for all $m>0$, and we characterize the special cases, where these lattices are EL-shellable, left-modular, or trim. Subsequently, we investigate the $m$-cover poset of the Tamari lattice $\mathcal{T}_{n}$, and we show that the smallest lattice that contains the $m$-cover poset of $\mathcal{T}_{n}$ is isomorphic to the $m$-Tamari lattice $\mathcal{T}_{n}^{(m)}$ introduced by Bergeron and Préville-Ratelle. We conclude this article with a conjectural desription of an explicit realization of $\mathcal{T}_{n}^{(m)}$ in terms of $m$-tuples of Dyck paths.

For positive integers $m$ and $k$, we introduce a family of lattices $\mathcal{C}_{k}^{(m)}$ associated to the Cambrian lattice $\mathcal{C}_{k}$ of the dihedral group $I_{2}(k)$. We show that $\mathcal{C}_{k}^{(m)}$ satisfies some basic properties of a Fuss-Catalan generalization of $\mathcal{C}_{k}$, namely that $\mathcal{C}_{k}^{(1)}=\mathcal{C}_{k}$ and $\bigl\lvert\mathcal{C}_{k}^{(m)}\bigr\rvert=\mbox{Cat}^{(m)}\bigl(I_{2}(k)\bigr)$. Subsequently, we prove some structural and topological properties of these lattices---namely that they are trim and EL-shellable---which were known for $\mathcal{C}_{k}$ before. Remarkably, our construction coincides in the case $k=3$ with the $m$-Tamari lattice of parameter 3 due to Bergeron and Pr{é}ville-Ratelle. Eventually, we investigate this construction in the context of other Coxeter groups, in particular we conjecture that the lattice completion of the analogous construction for the symmetric group $\mathfrak{S}_{n}$ and the long cycle $(1\;2\;\ldots\;n)$ is isomorphic to the $m$-Tamari lattice of parameter $n$.

In this paper we present a bijection $ω_n$ between two well known families of Catalan objects: the set of facets of the $m$-generalized cluster complex $Δ^m(A_n)$ and the set of dominant regions in the $m$-Catalan arrangement ${\rm Cat}^m(A_n)$, where $m\in\mathbb{N}_{>0}$. In particular, $ω_n$ bijects the facets containing the negative simple root $-α$ to dominant regions having the hyperplane $\{v\in V\mid<v,α>=m\}$ as separating wall. As a result, $ω_n$ restricts to a bijection between the set of facets of the positive part of $Δ^m(A_n)$ and the set of bounded dominant regions in ${\rm Cat}^m(A_n)$. The map $ω_n$ is a composition of two bijections in which integer partitions in an $m$-staircase shape come into play.

For an arbitrary Coxeter group $W$, David Speyer and Nathan Reading defined Cambrian semilattices $C_γ$ as semilattice quotients of the weak order on $W$ induced by certain semilattice homomorphisms. In this article, we define an edge-labeling using the realization of Cambrian semilattices in terms of $γ$-sortable elements, and show that this is an EL-labeling for every closed interval of $C_γ$. In addition, we use our labeling to show that every finite open interval in a Cambrian semilattice is either contractible or spherical, and we characterize the spherical intervals, generalizing a result by Nathan Reading.

This paper studies topological properties of the lattices of non-crossing partitions of types A and B and of the poset of injective words. Specifically, it is shown that after the removal of the bottom and top elements (if existent) these posets are doubly Cohen-Macaulay. This strengthens the well-known facts that these posets are Cohen-Macaulay. Our results rely on a new poset fiber theorem which turns out to be a useful tool to prove double (homotopy) Cohen-Macaulayness of a poset. Applications to complexes of injective words are also included.

The absolute order on the hyperoctahedral group $B_n$ is investigated. It is proved that the order ideal of this poset generated by the Coxeter elements is homotopy Cohen-Macaulay and the Möbius number of this ideal is computed. Moreover, it is shown that every closed interval in the absolute order on $B_n$ is shellable and an example of a non-Cohen-Macaulay interval in the absolute order on $D_4$ is given. Finally, the closed intervals in the absolute order on $B_n$ and $D_n$ which are lattices are characterized and some of their important enumerative invariants are computed.

The absolute order is a natural partial order on a Coxeter group W. It can be viewed as an analogue of the weak order on W in which the role of the generating set of simple reflections in W is played by the set of all reflections in W. By use of a notion of constructibility for partially ordered sets, it is proved that the absolute order on the symmetric group is homotopy Cohen-Macaulay. This answers in part a question raised by V. Reiner and the first author. The Euler characteristic of the order complex of the proper part of the absolute order on the symmetric group is also computed.