arXiv++ Combinatorics

We construct a new class of maximal acyclic matchings on the Salvetti complex of a locally finite hyperplane arrangement. Using discrete Morse theory, we then obtain an explicit proof of the minimality of the complement. Our construction provides interesting insights also in the well-studied case of finite arrangements, and gives a nice geometric description of the Betti numbers of the complement. In particular, we solve a conjecture of Drton and Klivans on the characteristic polynomial of finite reflection arrangements. The minimal complex is compatible with restrictions, and this allows us to prove the isomorphism of Brieskorn's Lemma by a simple bijection of the critical cells. Finally, in the case of line arrangements, we describe the algebraic Morse complex which computes the homology with coefficients in an abelian local system.

This paper develops a Cambrian extension of the work of C. Ceballos, A. Padrol and C. Sarmiento on $ν$-Tamari lattices and their tropical realizations. For any signature $\varepsilon \in \{\pm\}^n$, we consider a family of $\varepsilon$-trees in bijection with the triangulations of the $\varepsilon$-polygon. These $\varepsilon$-trees define a flag regular triangulation $\mathcal{T}^\varepsilon$ of the subpolytope $\operatorname{conv} \{(\mathbf{e}_{i_\bullet}, \mathbf{e}_{j_\circ}) \, | \, 0 \le i_\bullet < j_\circ \le n+1 \}$ of the product of simplices $\triangle_{\{0_\bullet, \dots, n_\bullet\}} \times \triangle_{\{1_\circ, \dots, (n+1)_\circ\}}$. The oriented dual graph of the triangulation $\mathcal{T}^\varepsilon$ is the Hasse diagram of the (type $A$) $\varepsilon$-Cambrian lattice of N. Reading. For any $I_\bullet \subseteq \{0_\bullet, \dots, n_\bullet\}$ and $J_\circ \subseteq \{1_\circ, \dots, (n+1)_\circ\}$, we consider the restriction $\mathcal{T}^\varepsilon_{I_\bullet, J_\circ}$ of the triangulation $\mathcal{T}^\varepsilon$ to the face $\triangle_{I_\bullet} \times \triangle_{J_\circ}$. Its dual graph is naturally interpreted as the increasing flip graph on certain $(\varepsilon, I_\bullet, J_\circ)$-trees, which is shown to be a lattice generalizing in particular the $ν$-Tamari lattices in the Cambrian setting. Finally, we present an alternative geometric realization of $\mathcal{T}^\varepsilon_{I_\bullet, J_\circ}$ as a polyhedral complex induced by a tropical hyperplane arrangement.

We introduce and study filtrations of a matroid on a linearly ordered ground set, which are particular sequences of nested sets. A given basis can be decomposed into a uniquely defined sequence of bases of minors, such that these bases have an internal/external activity equal to 1/0 or 0/1 (in the sense of Tutte polynomial activities). This decomposition, which we call the active filtration/partition of the basis, refines the known partition of the ground set into internal and external elements with respect to a given basis. It can be built by a certain closure operator, which we call the active closure. It relies only on the fundamental bipartite graph of the basis and can be expressed also as a decomposition of general bipartite graphs on a linearly ordered set of vertices. From this, first, structurally, we obtain that the set of all bases can be canonically partitioned and decomposed in terms of such bases of minors induced by filtrations. Second, enumeratively, we derive an expression of the Tutte polynomial of a matroid in terms of beta invariants of minors. This expression refines at the same time the classical expressions in terms of basis activities and orientation activities (if the matroid is oriented), and the well-known convolution formula for the Tutte polynomial. Third, in a companion paper of the same series (No. 2.b), we use this decomposition of matroid bases, along with a similar decomposition of oriented matroids, and along with a bijection in the 1/0 activity case from a previous paper (No. 1), to define the canonical active bijection between orientations/signatures/reorientations and spanning trees/simplices/bases of a graph/real hyperplane arrangement/oriented matroid, as well as various related bijections.

The active bijection for oriented matroids (and real hyperplane arrangements, and graphs, as particular cases) is introduced and investigated by the authors in a series of papers. Given any oriented matroid defined on a linearly ordered ground set, we exhibit one particularité of its bases, which we call its active basis, with remarkable properties. It preserves activities (for oriented matroids in the sense of Las Vergnas, for matroid bases in the sense of Tutte), as well as some active partitions of the ground set associated with oriented matroids and matroid bases. It yields a canonical bijection between classes of reorientations and bases [...]. It also yields a refined bijection between all reorientations and subsets of the ground set. Those bijections are related to various Tutte polynomial expressions [...]. They contain various noticeable bijections involving orientations/signatures/reorientations and spanning trees/simplices/bases of a graph/real hyperplane arrangement/oriented matroid. [...] In previous papers of this series, we defined the active bijection between bounded regions and uniactive internal bases by means of fully optimal bases (No. 1), and we defined a decomposition of activities for matroid bases by means of [...] particular sequences of minors (companion paper, No. 2.a). The present paper is central in the series. First, we define a decomposition of activities for oriented matroids, using the same sequences of minors, yielding a decomposition of an oriented matroid into bounded regions of minors. Second, we use the previous results together to provide the canonical and refined active bijections alluded to above. We also give an overview and examples of the various results of independent interest involved in the construction. They arise as soon as the ground set of an oriented matroid is linearly ordered.

Every subarrangement of Weyl arrangements of type $ B_{\ell} $ is represented by a signed graph. Edelman and Reiner characterized freeness of subarrangements between type $ A_{\ell-1} $ and type $ B_{\ell} $ in terms of graphs. Recently, Suyama and the authors characterized freeness for subarrangements containing Boolean arrangements satisfying a certain condition. This article is a sequel to the previous work. Namely, we give a complete characterization for freeness of arrangements between Boolean arrangements and Weyl arrangements of type $ B_{\ell} $ in terms of graphs.

We study a family of symmetric polynomials that we refer to as the Boolean product polynomials. The motivation for studying these polynomials stems from the computation of the characteristic polynomial of the real matroid spanned by the nonzero vectors in $\mathbb{R}^n$ all of whose coordinates are either $0$ or $1$. To this end, one approach is to compute the zeros of the Boolean product polynomials over finite fields. The zero loci of these polynomials cut out hyperplane arrangements known as resonance arrangements, which show up in the context of double Hurwitz polynomials. By relating the Boolean product polynomials to certain total Chern classes of vector bundles, we establish their Schur-positivity by appealing to a result of Pragacz relying on earlier work on numerical positivity by Fulton-Lazarsfeld. Subsequently, we study a two-alphabet version of these polynomials from the viewpoint of Schur-positivity. As a special case of these polynomials, we recover symmetric functions first studied by Désarménien and Wachs in the context of descents in derangements.

We generalize the Varchenko matrix of a hyperplane arrangement to oriented matroids. We show that the celebrated determinant formula for the Varchenko matrix, first proved by Varchenko, generalizes to oriented matroids. It follows that the determinant only depends on the matroid underlying the oriented matroid and analogous formulas hold for cones in oriented matroids. We follow a proof strategy for the original Varchenko formula first suggested by Denham and Hanlon. Besides several technical lemmas this strategy also requires a topological result on supertopes which is of independent interest. We show that a supertope considered as a subposet of the tope poset has a contractible order complex.

We characterise the Pak-Stanley labels of the regions of a family of hyperplane arrangements that interpolate between the Shi arrangement and the Ish arrangement.

We introduce the package \textbf{arrangements} for the software CoCoA. This package provides a data structure and the necessary methods for working with hyperplane arrangements. In particular, the package implements methods to enumerate many commonly studied classes of arrangements, perform operations on them, and calculate various invariants associated to them.

The image of a linear space under inversion of some coordinates is an affine variety whose structure is governed by an underlying hyperplane arrangement. In this paper, we generalize work by Proudfoot and Speyer to show that circuit polynomials form a universal Groebner basis for the ideal of polynomials vanishing on this variety. The proof relies on degenerations to the Stanley-Reisner ideal of a simplicial complex determined by the underlying matroid. If the linear space is real, then the semi-inverted linear space is also an example of a hyperbolic variety, meaning that all of its intersection points with a large family of linear spaces are real.

In this paper, we study the class of free hyperplane arrangements. Specifically, we investigate the relations between freeness over a field of finite characteristic and freeness over $\mathbb{Q}$.

In this paper we work with power algebras associated to hyperplane arrangements. There are three main types of these algebras, namely, external, central, and internal zonotopal algebras. We classify all external algebras up to isomorphism in terms of zonotopes. Also, we prove that unimodular external zonotopal algebras are in one to one correspondence with regular matroids. For the case of central algebras we formulate a conjecture.

We investigate in this paper a generalization of Solomon-Terao formula for central equidimensional subspace arrangements. We introduce generalized Solomon-Terao functions based on the Hilbert-Poincaré series of the modules of multi-logarithmic forms and logarithmic multi-residues. We show that as in the case of hyperplane arrangements, these Solomon-Terao functions are polynomial. We then prove that if the Solomon-Terao polynomial of the modules of multi-residues satisfies a certain property, then this polynomial is related to the characteristic polynomial of the subspace arrangement. In particular, we prove that this generalized Solomon-Terao formula holds for any line arrangement of any codimension.

In this article we introduce a new matroid invariant, a combinatorial analog of the topological zeta function of a polynomial. More specifically we associate to any ranked, atomic meet-semilattice L a rational function Z(L,s), in such a way that when L is the lattice of flats of a complex hyperplane arrangement we recover the usual topological zeta function. The definition is in terms of a choice of a combinatorial analog of resolution of singularities, and the main result is that Z(L,s) does not depend on this choice and depends only on L. Known properties of the topological zeta function provide a source of potential complex realisability test for matroids.

Given an $\Bbb{F}$-represented matroid $(M,ρ)$ with the ground set $[m]$, the representation $ρ$ naturally defines a hyperplane arrangement $\mathcal{A}_ρ$. We will study its parallel translates $\mathcal{A}_{ρ,{g}}$ of $\mathcal{A}_ρ$ for all ${ g}\in \mathbb{F}^m$. Its intersection semi-lattices $L(\mathcal{A}_{ρ,{ g}})$ and the characteristic polynomials $χ(\mathcal{A}_{ρ,{ g}},t)$ will be classified by the intersection lattice of the derived arrangement $\mathcal{A}_{δρ}$, which is a hyperplane arrangement associated with the derived matroid $(δM,δρ)$ and also known as the discriminantal arrangement in the literature. As a byproduct, we obtain a comparison result and a decomposition formula on the characteristic polynomials $χ(\mathcal{A}_{ρ,{ g}},t)$.

In this article we describe two new characterizations of freeness for hyperplane arrangements via the study of the generic initial ideal and of the sectional matrix of the Jacobian ideal of arrangements.

In the study of free arrangements, the most useful result to construct/check free arrangements is the addition-deletion theorem. Recently, the multiple version of the addition theorem is proved, called the multiple addition theorem (MAT) to prove the ideal-free theorem. The aim of this article is to give the deletion version of MAT, the multiple deletion theorem (MDT). Also, we can generalize MAT from the viewpoint of our new proof. Moreover, we introduce their restriction version, a multiple restriction theorem (MRT). Applications of them including the combinatorial freeness of the extended Catalan arrangements are given.

Simplicial arrangements are classical objects in discrete geometry. Their classification remains an open problem but there is a list conjectured to be complete at least for rank three. A further important class in the theory of hyperplane arrangements with particularly nice geometric, algebraic, topological, and combinatorial properties are the supersolvable arrangements. In this paper we give a complete classification of supersolvable simplicial arrangements (in all ranks). For each fixed rank, our classification already includes almost all known simplicial arrangements. Surprisingly, for irreducible simplicial arrangements of rank greater than three, our result shows that supersolvability imposes a strong integrality property; such an arrangement is called crystallographic. Furthermore we introduce Coxeter graphs for simplicial arrangements which serve as our main tool of investigation.

For any marked poset we define a continuous family of polytopes, parametrized by a hypercube, generalizing the notions of marked order and marked chain polytopes. By providing transfer maps, we show that the vertices of the hypercube parametrize an Ehrhart equivalent family of lattice polytopes. The combinatorial type of the polytopes is constant when the parameters vary in the relative interior of each face of the hypercube. Moreover, with the help of a subdivision arising from a tropical hyperplane arrangement associated to the marked poset, we give an explicit description of the vertices of the polytope for generic parameters.

Binomial-Eulerian polynomials were introduced by Postnikov, Reiner and Williams. In this paper, properties of the binomial-Eulerian polynomials, including recurrence relations and generating functions are studied. We present three constructive proofs of the recurrence relations for binomial-Eulerian polynomials. Moreover, we give a combinatorial interpretation of the Betti number of the complement of the k-equal real hyperplane arrangement.