arXiv++ Combinatorics

Steingrimsson's coloring complex and Jonsson's unipolar complex are interpreted in terms of hyperplane arrangements. This viewpoint leads to short proofs that all coloring complexes and a large class of unipolar complexes have convex ear decompositions. These convex ear decompositions impose strong new restrictions on the chromatic polynomials of all finite graphs. Similar results are obtained for characteristic polynomials of submatroids of type B_n arrangements.

We study the combinatorial properties of a tropical hyperplane arrangement. We define tropical oriented matroids, and prove that they share many of the properties of ordinary oriented matroids. We show that a tropical oriented matroid determines a subdivision of a product of two simplices, and conjecture that this correspondence is a bijection.

We find an explicit combinatorial gradient vector field on the well known complex S (Salvetti complex) which models the complement to an arrangement of complexified hyperplanes. The argument uses a total ordering on the facets of the stratification of R^n associated to the arrangement, which is induced by a generic system of polar coordinates. We give a combinatorial description of the singular facets, finding also an algebraic complex which computes local homology. We also give a precise construction in the case of the braid arrangement.

We study central hyperplane arrangements with integral coefficients modulo positive integers $q$. We prove that the cardinality of the complement of the hyperplanes is a quasi-polynomial in two ways, first via the theory of elementary divisors and then via the theory of the Ehrhart quasi-polynomials. This result is useful for determining the characteristic polynomial of the corresponding real arrangement. With the former approach, we also prove that intersection lattices modulo $q$ are periodic except for a finite number of $q$'s.

We prove that the topological complexity of (a motion planning algorithm on) the complement of generic complex essential hyperplane arrangement of $n$ hyperplanes in an $r$-dimensional linear space is min$\{n+1,2r\}$.

We study completely reducible fibers of pencils of hypersurfaces on $\mathbb P^n$ and associated codimension one foliations of $\mathbb P^n$. Using methods from theory of foliations we obtain certain upper bounds for the number of these fibers as functions only of $n$. Equivalently this gives upper bounds for the dimensions of resonance varieties of hyperplane arrangements. We obtain similar bounds for the dimensions of the characteristic varieties of the arrangement complements.

The addition-deletion theorems for hyperplane arrangements, which were originally shown in [H. Terao, Arrangements of hyperplanes and their freeness I, II. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 27 (1980), 293--320], provide useful ways to construct examples of free arrangements. In this article, we prove addition-deletion theorems for multiarrangements. A key to the generalization is the definition of a new multiplicity, called the Euler multiplicity, of a restricted multiarrangement. We compute the Euler multiplicities in many cases. Then we apply the addition-deletion theorems to various arrangements including supersolvable arrangements and the Coxeter arrangement of type $A_{3}$ to construct free and non-free multiarrangements.

We give an interpretation of the coefficients of the two variable refinement $D_{\Sh_n}(q,t)$ of the distance enumerator of the Shi hyperplane arrangement $\Sh_n$ in $n$ dimensions. This two variable refinement was defined by Stanley \cite{stan-rota} for the general $r$-extended Shi hyperplane arrangements. We give an interpretation when $r=1$. We define three natural three-dimensional partitions of the number $(n+1)^{n-1}$. The first arises from parking functions of length $n$, the second from special posets on $n$ vertices defined by Athanasiadis and the third from spanning trees on $n+1$ vertices. We call the three partitions as the parking partition, the tree-poset partition and the spanning-tree partition respectively. We show that one of the parts of the parking partition is identical to the number of edge-labelled trees with label set $\{1,2,...,n\}$ on $n+1$ unlabelled vertices. We prove that the parking partition majorises the tree-poset partition and conjecture that the spanning-tree partition also majorises the tree-poset partition.

Zaslavsky conjectures that the bounded complex of a simple hyperplane arrangement is homeomorphic to a ball. We prove this conjecture for the more general uniform affine oriented matroids.

Given a nonnegative integer $m$ and a finite collection ${\mathcal A}$ of linear forms on ${\mathbb Q}^d$, the arrangement of affine hyperplanes in ${\mathbb Q}^d$ defined by the equations $α(x) = k$ for $α\in {\mathcal A}$ and integers $k \in [-m, m]$ is denoted by ${\mathcal A}^m$. It is proved that the coefficients of the characteristic polynomial of ${\mathcal A}^m$ are quasi-polynomials in $m$ and that they satisfy a simple combinatorial reciprocity law.

A topological hyperplane is a subspace of R^n (or a homeomorph of it) that is topologically equivalent to an ordinary straight hyperplane. An arrangement of topological hyperplanes in R^n is a finite set H such that k topological hyperplanes in H, if their intersection is nonempty, meet in a subspace that is a topological hyperplane in the intersection of any k-1 of them; but two topological hyperplanes that do intersect need not cross each other. If every intersecting pair does cross, the arrangement is affine. The number of regions formed by an arrangement of topological hyperplanes has the same formula as for arrangements of affine hyperplanes. Hoping to explain this geometrically, we ask whether parts of the topological hyperplanes in any arrangement can be reassembled into an arrangement of affine topological hyperplanes with the same regions. That is always possible if the dimension is two but not in higher dimensions. We also ask whether all affine topological hyperplane arrangements correspond to oriented matroids; they need not, but we can characterize those that do if the dimension is two. In higher dimensions this problem is open. Another open question is to characterize the intersection semilattices of topological hyperplane arrangements; a third is to prove that the regions of an arrangement of topological hyperplanes are necessarily cells.

Hyperplanes of the form x_j = x_i + c are called affinographic. For an affinographic hyperplane arrangement in R^n, such as the Shi arrangement, we study the function f(M) that counts integral points in [1,M]^n that do not lie in any hyperplane of the arrangement. We show that f(M) is a piecewise polynomial function of positive integers M, composed of terms that appear gradually as M increases. Our approach is to convert the problem to one of counting integral proper colorations of a rooted integral gain graph. An application is to interval coloring in which the interval of available colors for vertex v_i has the form [(h_i)+1,M]. A related problem takes colors modulo M; the number of proper modular colorations is a different piecewise polynomial that for large M becomes the characteristic polynomial of the arrangement (by which means Athanasiadis previously obtained that polynomial). We also study this function for all positive moduli.

Recently it has been noticed that many interesting combinatorial objects belong to a class of semigroups called left regular bands, and that random walks on these semigroups encode several well-known random walks. For example, the set of faces of a hyperplane arrangement is endowed with a left regular band structure. This paper studies the module structure of the semigroup algebra of an arbitrary left regular band, extending results for the semigroup algebra of the faces of a hyperplane arrangement. In particular, a description of the quiver of the semigroup algebra is given and the Cartan invariants are computed. These are used to compute the quiver of the face semigroup algebra of a hyperplane arrangement and to show that the semigroup algebra of the free left regular band is isomorphic to the path algebra of its quiver.

We generalize the character formulas for multiplicities of irreducible constituents from group theory to semigroup theory using Rota's theory of Möbius inversion. The technique works for a large class of semigroups including: inverse semigroups, semigroups with commuting idempotents, idempotent semigroups and semigroups with basic algebras. Using these tools we are able to give a complete description of the spectra of random walks on finite semigroups admitting a faithful representation by upper triangular matrices over the complex numbers. These include the random walks on chambers of hyperplane arrangements studied by Bidigare, Hanlon, Rockmere, Brown and Diaconis. Applications are also given to decomposing tensor powers and exterior products of rook matrix representations of inverse semigroups, generalizing and simplifying earlier results of Solomon for the rook monoid.

The freeness of hyperplane arrangements in a three dimensional vector space over finite field is discussed. We prove that if the number of hyperplanes is greater than some bound, then the freeness is determined by the characteristic polynomial.

Let $Φ$ be an irreducible crystallographic root system with Weyl group $W$ and coroot lattice $\check{Q}$, spanning a Euclidean space $V$. Let $m$ be a positive integer and $\aA^m_Φ$ be the arrangement of hyperplanes in $V$ of the form $(α, x) = k$ for $α\in Φ$ and $k = 0, 1,...,m$. It is known that the number $N^+ (Φ, m)$ of bounded dominant regions of $\aA^m_Φ$ is equal to the number of facets of the positive part $Δ^m_+ (Φ)$ of the generalized cluster complex associated to the pair $(Φ, m)$ by S. Fomin and N. Reading. We define a statistic on the set of bounded dominant regions of $\aA^m_Φ$ and conjecture that the corresponding refinement of $N^+ (Φ, m)$ coincides with the $h$-vector of $Δ^m_+ (Φ)$. We compute these refined numbers for the classical root systems as well as for all root systems when $m=1$ and verify the conjecture when $Φ$ has type $A$, $B$ or $C$ and when $m=1$. We give several combinatorial interpretations to these numbers in terms of chains of order ideals in the root poset of $Φ$, orbits of the action of $W$ on the quotient $\check{Q} / (mh-1) \check{Q}$ and coroot lattice points inside a certain simplex, analogous to the ones given by the first author in the case of the set of all dominant regions of $\aA^m_Φ$. We also provide a dual interpretation in terms of order filters in the root poset of $Φ$ in the special case $m=1$.

We consider a twisted version of the Hurewicz map on the complement of a hyperplane arrangement. The purpose of this paper is to prove surjectivity of the twisted Hurewicz map under some genericity conditions. As a corollary, we also prove that a generic section of the complement of a hyperplane arrangement has non-trivial homotopy groups.

We give a Cayley type formula to count the number of spanning trees in the complete r-uniform hypergraph for all r >= 3. Similar to the bijection between spanning trees in complete graphs and Parking functions, we derive a bijection from spanning trees of the complete (r+1)-uniform hypergraph which arise from a fixed r-perfect matching and r-Parking functions. We observe a simple consequence of this bijection in terms of the number of regions of the extended Shi arrangement.

Let A be an n by d matrix having full rank n. An orthogonal dual A^{\perp} of A is a (d-n) by d matrix of rank (d-n) such that every row of A^{\perp} is orthogonal (under the usual dot product) to every row of A. We define the orthogonal dual for arrangements by identifying an essential (central) arrangement of d hyperplanes in n-dimensional space with the n by d matrix of coefficients of the homogeneous linear forms for which the hyperplanes are kernels. If n is at least 5, we show that if the matroid (or the intersection lattice) of an n-dimensional essential arrangement A contains a modular copoint whose complement spans, then the derivation module of the orthogonally dual arrangement \A^{\perp} has projective dimension at least [n(n+2)/4] - 3,([ ] denotes ceiling).

This paper is a survey of our work based on the stratified Morse theory of Goresky and MacPherson. First we discuss the Morse theory of Euclidean space stratified by an arrangement. This is used to show that the complement of a complex hyperplane arrangement admits a minimal cell decomposition. Next we review the construction of a cochain complex whose cohomology computes the local system cohomology of the complement of a complex hyperplane arrangement. Then we present results on the Gauss-Manin connection for the moduli space of arrangements of a fixed combinatorial type in rank one local system cohomology.