arXiv++ Combinatorics

We explore the enumeration of some natural classes of graded posets, including all graded posets, (2+2)- and (3+1)-avoiding graded posets, (2+2)-avoiding graded posets, and (3+1)-avoiding graded posets. We obtain enumerative and structural theorems for all of them. Along the way, we discuss a situation when we can switch between enumeration of labeled and unlabeled objects with ease, generalize a result of Postnikov and Stanley from the theory of hyperplane arrangements, answer a question posed by Stanley, and see an old result of Klarner in a new light.

In his seminal 1983 paper, Jim Lawrence introduced lopsided sets and featured them as asymmetric counterparts of oriented matroids, both sharing the key property of strong elimination. Moreover, symmetry of faces holds in both structures as well as in the so-called affine oriented matroids. These two fundamental properties (formulated for covectors) together lead to the natural notion of "conditional oriented matroid" (abbreviated COM). These novel structures can be characterized in terms of three cocircuits axioms, generalizing the familiar characterization for oriented matroids. We describe a binary composition scheme by which every COM can successively be erected as a certain complex of oriented matroids, in essentially the same way as a lopsided set can be glued together from its maximal hypercube faces. A realizable COM is represented by a hyperplane arrangement restricted to an open convex set. Among these are the examples formed by linear extensions of ordered sets, generalizing the oriented matroids corresponding to the permutohedra. Relaxing realizability to local realizability, we capture a wider class of combinatorial objects: we show that non-positively curved Coxeter zonotopal complexes give rise to locally realizable COMs.

We have received an e-mail from Bryan Gillespie pointing out that a proposition, that is Proposition 8.5, of our book, [1] is incorrect as stated. The given formula (8.5) is valid only in the generic case that is assuming that for any point of the arrangement $p, X_p$ is formed by a basis. The correct proposition is slightly weaker, in general one must replace Formula 8.5 of the book with the next Formula (3). Accordingly one has to change Proposition 9.2 in the obvious way. The remaining parts of the book are not affected but one should remove the first line of 11.3.3 which quotes the incorrect formula. Here we discuss the correct proposition, replacing Proposition 8.5.

Motivated by the geometry of certain hyperplane arrangements, Manin and Schechtman defined for each positive integer n a hierarchy of finite partially ordered sets B(n, k), indexed by positive integers k, called the higher Bruhat orders. The poset B(n, 1) is naturally identified with the weak left Bruhat order on the symmetric group S_n, each B(n, k) has a unique maximal and a unique minimal element, and the poset B(n, k + 1) can be constructed from the set of maximal chains in B(n, k). Elias has demonstrated a striking connection between the posets B(n, k) for k = 2 and the diagrammatics of Bott-Samelson bimodules in type A, providing significant motivation for the development of an analogous theory of higher Bruhat orders in other Cartan-Killing types, particularly for k = 2. In this paper we present a partial generalization to type B, complete up to k = 2, prove a direct analogue of the main theorem of Manin and Schechtman, and relate our construction to the weak Bruhat order and reduced expression graph for Weyl groups of type B.

We introduce the notion of a Tits arrangement on a convex open cone as a special case of (infinite) simplicial arrangements. Such an object carries a simplicial structure similar to the geometric representation of Coxeter groups. The standard constructions of subarrangements and restrictions, which are known in the case of finite hyperplane arrangements, work as well in this more general setting.

We study realization spaces of matroids over hyperfields (in the sense of Baker and Bowler). More precisely, given a matroid M and a hyperfield H we determine the space of all H-matroids over M. This can be seen as the matroid stratum of the hyperfield Grassmannians in the sense of Anderson and Davis. We give different descriptions of these realization spaces (e.g., in terms of Tutte groups or projective classes), allowing for explicit computations. When the hyperfield at hand is topological, the realization spaces have a natural topology. In this case, our models carry the correct homeomorphism type. As applications of our methods we obtain a theorem on the existence of phased matroids that are not realizable over the complex field and are not chirotopal, as well as a result on the diffeomorphism type of complex hyperplane arrangements whose underlying matroid is uniform.

In this paper we study the characters of sequences of representations of any of the three families of classical Weyl groups W_n: the symmetric groups, the signed permutation groups (hyperoctahedral groups), or the even-signed permutation groups. Our results extend work of Church, Ellenberg, Farb, and Nagpal on the symmetric groups. We use the concept of an FI_W-module, an algebraic object that encodes the data of a sequence of W_n-representations with maps between them, defined in the author's recent work ArXiv:1309.3817. We show that if a sequence {V_n} of W_n-representations has the structure of a finitely generated FI_W-module, then there are substantial constraints on the growth of the sequence and the structure of the characters: for n large, the dimension of V_n is equal to a polynomial in n, and the characters of V_n are given by a character polynomial in signed-cycle-counting class functions, independent of n. We determine bounds the degrees of these polynomials. We continue to develop the theory of FI_W-modules, and we apply this theory to obtain new results about a number of sequences associated to the classical Weyl groups: the cohomology of complements of classical Coxeter hyperplane arrangements, and the cohomology of the pure string motion groups (the groups of symmetric automorphisms of the free group).

We present some new results about the resonance varieties of matroids and hyperplane arrangements. Though these have been the objects of ongoing study, most work so far has focussed on cohomological degree 1. We show that certain phenomena become apparent only by considering all degrees at once.

We observe that for a and b relatively prime, the "abacus construction" identifies the set of simultaneous (a,b)-core partitions with lattice points in a rational simplex. Furthermore, many statistics on (a,b)-cores are piecewise polynomial functions on this simplex. We apply these results to rational Catalan combinatorics. Using Ehrhart theory, we reprove Anderson's theorem that there are (a+b-1)!/a!b! simultaneous (a,b)-cores, and using Euler-Maclaurin theory we prove Armstrong's conjecture that the average size of an (a,b)-core is (a+b+1)(a-1)(b-1)/24. Our methods also give new derivations of analogous formulas for the number and average size of self-conjugate (a,b)-cores. We conjecture a unimodality result for q rational Catalan numbers, and make preliminary investigations in applying these methods to the (q,t)-symmetry and specialization conjectures. We prove these conjectures for low degree terms and when a=3, connecting them to the Catalan hyperplane arrangement and quadratic permutation statistics.

We consider the triple $(\mathcal{A},\mathcal{A}',\mathcal{A}^H)$ of hyperplane arrangements and the division of their characteristic polynomials. We show that the freeness of $\mathcal{A}^H$ and the division of $χ(\mathcal{A};t)$ by $χ(\mathcal{A}^H;t)$ confirm the freeness of $\mathcal{A}$. The key ingredient of this "division theorem" on freeness is the fact that, if $χ(\mathcal{A}^H;t)$ divides $χ(\mathcal{A};t)$, then the same holds for the localization at the codimension three flat in $H$. This implies the local-freeness of $\mathcal{A}$ in codimension three along $H$. Based on these results, several applications are obtained, which include a definition of "divisionally free arrangements". It is strictly larger than the set of inductively free arrangements. Also, in the set of divisionally free arrangements, the Terao's conjecture is true.

This is a survey on the categorification of the poset of generalized non-crossing partitions, using the representation theory of a hereditary artin algebra H, looking at the set P of exceptional subcategories in mod H. This categorification is due to Ingalls and Thomas, and a subsequent paper by Igusa and Schiffler. Starting point is a refinement of the classical tilting theory for mod H, replacing torsion pairs by torsion triples, thus putting it into the realm of the stability theory of King. The torsion pairs in mod H correspond nicely to the perpendicular pairs of exceptional subcategories and there is a wealth of bijections, the Ingalls-Thomas bijections, between sets of modules and subcategories. If H is representation-finite, one may look at the corresponding numbers of modules or subcategories. Such Dynkin functions (they attach to a Dynkin diagram an integer) are displayed in chapter 1. In a mysterious way, many Dynkin functions can be described using the exponents of the Weyl group. According to Shapiro and Kostant, the exponents are given by the height partition of the root poset. A recent result of Abe-Barakat-Cuntz-Hoge-Terao allows to determine them inductively, going up in a chain of ideals in the root poset, looking at the corresponding hyperplane arrangements. Chapter 4 deals with the case of the linearly oriented quiver of Dynkin type A. Here P is identified with the lattice NC of non-crossing partitions as introduced by Kreweras (now an important tool in several parts of mathematics, for example in free probability theory). We review some classical problems which are related to the maximal chains in NC: to count labeled trees as well as parking functions. The combinatorics of the Dynkin case A is just the combinatorics of the Catalan numbers; in an appendix, we discuss the nature of classical Catalan combinatorics.

The reflection arrangement of a Coxeter group is a well known instance of a free hyperplane arrangement. In 2002, Terao showed that equipped with a constant multiplicity each such reflection arrangement gives rise to a free multiarrangement. In this note we show that this multiarrangment satisfies the stronger property of inductive freeness in case the Coxeter group is of type $A$.

The relation space of a hyperplane arrangement is the vector space of all linear dependencies among the defining forms of the hyperplanes in the arrangement. In this paper, we study the relationship between the relation space and the Orlik--Terao ideal of an arrangement. In particular, we characterize spanning sets of the relation space in terms of the Orlik--Terao ideal. This result generalizes a characterization of 2-formal arrangements due to Schenck and Tohǎneanu \cite[Theorem 2.3]{ST}. We also study the minimal prime ideals of subideals of the Orlik--Terao ideal associated to subsets of the relation space. Finally, we give examples to show that for a 2-formal arrangement, the codimension of the Orlik--Terao ideal is not necessarily equal to that of its subideal generated by the quadratic elements.

Let ${\mathcal A}$ be a finite real linear hyperplane arrangement in three dimensions. Suppose further that all the regions of ${\mathcal A}$ are isometric. We prove that ${\mathcal A}$ is necessarily a Coxeter arrangement. As it is well known that the regions of a Coxeter arrangement are isometric, this characterizes three-dimensional Coxeter arrangements precisely as those arrangements with isometric regions. It is an open question whether this suffices to characterize Coxeter arrangements in higher dimensions. We also present the three families of affine arrangements in the plane which are not reflection arrangements, but in which all the regions are isometric.

Toric posets are cyclic analogues of finite posets. They can be viewed combinatorially as equivalence classes of acyclic orientations generated by converting sources into sinks, or geometrically as chambers of toric graphic hyperplane arrangements. In this paper we study toric intervals, morphisms, and order ideals, and we provide a connection to cyclic reducibility and conjugacy in Coxeter groups.

Back in the nineties Pak and Stanley introduced a labeling of the regions of a k-Shi arrangement by k-parking functions and proved its bijectivity. Duval, Klivans, and Martin considered a modification of this construction associated with a graph G. They introduced the G-Shi arrangement and a labeling of its regions by G-parking functions. They conjectured that their labeling is surjective, i.e. that every G-parking function appears as a label of a region of the G-Shi arrangement. Later Hopkins and Perkinson proved this conjecture. In particular, this provided a new proof of the bijectivity of Pak-Stanley labeling in the k=1 case. We generalize Hopkins-Perkinson's construction to the case of arrangements associated with oriented multigraphs. In particular, our construction provides a simple straightforward proof of the bijectivity of the original Pak-Stanley labeling for arbitrary k.

We use a Mayer-Vietoris-like spectral sequence to establish vanishing results for the cohomology of complements of linear and elliptic hyperplane arrangements, as part of a more general framework involving duality and abelian duality properties of spaces and groups. In the process, we consider cohomology of local systems with a general, Cohen-Macaulay-type condition. As a result, we recover known vanishing theorems for rank-1 local systems as well as group ring coefficients, and obtain new generalizations.

The Varchenko determinant is the determinant of the bilinear form associated to a real hyperplane arrangement. We show that we can obtain the exact value of this determinant for certain hyperplane arrangements if we know the edges which are relevant.

The set of chambers of a real hyperplane arrangement may be ordered by separation from some fixed chamber. When this poset is a lattice, Bjorner, Edelman, and Ziegler proved that the chambers are in natural bijection with the biconvex sets of the arrangement. Two families of examples of arrangements with a lattice of chambers are simplicial and supersolvable arrangements. For these arrangements, we prove that the chambers correspond to biclosed sets, a weakening of the biconvex property.

We show that the hyperplane arrangement of a coconvex set in a finite root system is free if and only if it is free in corank 4. As a consequence, we show that the inversion arrangement of a Weyl group element w is free if and only if w avoids a finite list of root system patterns. As a key part of the proof, we use a recent theorem of Abe and Yoshinaga to show that if the root system does not contain any factors of type C or F, then Peterson translation of coconvex sets preserves freeness. This also allows us to give a Kostant-Shapiro-Steinberg rule for the coexponents of a free inversion arrangement in any type.