arXiv++ Combinatorics

This paper (written in Russian) presents a survey of new and earlier results on fine zonotopal tilings (briefly, cubillages) of cyclic zonotopes. The combinatorial theory of these objects is of interest in its own right and also has a connection to higher Bruhat orders, triangulations of cyclic polytopes, and Tamari-Stasheff posets applied in the study of Kadomtsev--Petviashvily equations, and etc.

We study certain structural properties of fine zonotopal tilings, or cubillages, on cyclic zonotopes $Z(n,d)$ of an arbitrary dimension $d$ and their relations to $(d-1)$-separated collections of subsets of a set $\{1,2,\ldots,n\}$. (Collections of this sort are well known as strongly separated ones when $d=2$, and as chord separated ones when $d=3$.)

We consider three types of set-systems that have interesting applications in algebraic combinatorics and representation theory: maximal collections of the so-called strongly separated, weakly separated, and chord separated subsets of a set $[n]=\{1,2,\ldots,n\}$. These collections are known to admit nice geometric interpretations; namely, they are bijective, respectively, to rhombus tilings on the zonogon $Z(n,2)$, combined tilings on $Z(n,2)$, and fine zonotopal tilings (or `cubillages') on the 3-dimensional zonotope $Z(n,3)$. We describe interrelations between these three types of set-systems in $2^{[n]}$, by studying interrelations between their geometric models. In particular, we completely characterize the sets of rhombus and combined tilings properly embeddable in a fixed cubillage, explain that they form distributive lattices, give efficient methods of extending a given rhombus or combined tiling to a cubillage, and etc.

We present a list of ``local'' axioms and an explicit combinatorial construction for the regular $B_2$-crystals (crystal graphs of highest weight integrable modules over $U_q(sp_4)$). Also a new combinatorial model for these crystals is developed.

For simply-laced Kac-Moody algebras $\frak g$, Stembridge (2003) proposed a `local' axiomatization of crystal graphs of representations of $U_q(\frak g)$. In this paper we propose axioms for edge-2-colored graphs which characterize the crystals of integrable representations of $U_q(sp(4))$, regular crystal graphs of $B_2$-type. An edge-colored directed graph which obeys our Axioms (K0)--(K5) is called an R-{\em graph} (for brevity), and our main result is that the regular crystals of $B_2$-type are R-graphs and vice versa. We give a direct combinatorial construction for the crystals in question. On this way we introduce a new, so-called {\em crossing model}, which does not exploit Young tableaux. This combinatorial model consists of a two-component graph of a rather simple form and of a certain set of integer-valued functions on its vertices.

We show that a connected regular $A_2$-crystal (the crystal graph of an irreducible representation of $sl_3$) can be produced from two half-grids by replicating them and glying together in a certain way. Also some extensions and related aspects are discussed.

Discrete strip-concave functions considered in this paper are, in fact, equivalent to an extension of Gelfand-Tsetlin patterns to the case when the pattern has a not necessarily triangular but convex configuration. They arise by releasing one of the three types of rhombus inequalities for discrete concave functions (or ``hives'') on a ``convex part'' of a triangular grid. The paper is devoted to a combinatorial study of certain polyhedra related to such functions or patterns, and results on faces, integer points and volumes of these polyhedra are presented. Also some relationships and applications are discussed. In particular, we characterize, in terms of valid inequalities, the polyhedral cone formed by the boundary values of discrete strip-concave functions on a grid having trapezoidal configuration. As a consequence of this result, necessary and sufficient conditions on a pair of vectors to be the shape and content of a semi-standard skew Young tableau are obtained.