arXiv++ Combinatorics

In this paper, we study the (singular) universal cover of an affine hypertoric variety. We show that it is given by another affine hypertoric variety, and taking the universal cover corresponds to taking the simplification of the associated hyperplane arrangement. Also, we describe the fundamental group of the regular locus of an affine hypertoric variety in general. In the latter part, we show that the hamiltonian torus action is block indecomposable if and only if $\mathbb{C}^*$-equivariant symplectic structures on the associated hypertoric variety are unique up to scalar. In particular, we establish the analogue of Bogomolov's decomposition for hypertoric varieties, which is proposed by Namikawa for general conical symplectic varieties. As a byproduct, we show that if two affine (or smooth) hypertoric varieties are $\mathbb{C}^*$-equivariant isomorphic as varieties, then they are also the hamiltonian torus action equivariant isomorphic as symplectic varieties. This implies that the combinatorial classification actually gives the classification of these varieties up to $\mathbb{C}^*$-equivariant isomorphisms.

We construct a combinatorial generalization of the Leray models for hyperplane arrangement complements. Given a matroid and some combinatorial blowup data, we give a presentation for a bigraded (commutative) differential-graded algebra. If the matroid is realizable over $\mathbb{C}$, this is the familiar Morgan model for a hyperplane arrangement complement, embedded in a blowup of projective space. In general, we obtain a cdga that interpolates between the Chow ring of a matroid and the Orlik-Solomon algebra. Our construction can also be expressed in terms of sheaves on combinatorial blowups of geometric lattices. As a key technical device, we construct a monomial basis via a Gröbner basis for the ideal of relations. Combining these ingredients, we show that our algebra is quasi-isomorphic to the classical Orlik-Solomon algebra of the matroid.

For every irreducible complex representation~$π_λ$ of the symmetric group~$§_n$, we construct, in a canonical way, a so-called intrinsic hyperplane arrangement~$\A_λ$ in the space of~$π_λ$. This arrangement is a direct generalization of the classical braid arrangement (which is the special case of our construction corresponding to the natural representation of~$§_n$), has a natural description in terms of invariant subspaces of Young subgroups, and enjoys a number of remarkable properties.

We study the intersection lattice of a hyperplane arrangement recently introduced by Hetyei who showed that the number of regions of the arrangement is a median Genocchi number. Using a different method, we refine Hetyei's result by providing a combinatorial interpretation of the coefficients of the characteristic polynomial of the intersection lattice of this arrangement. We also show that the Möbius invariant of the intersection lattice is a (nonmedian) Genocchi number. The Genocchi numbers count a class of permutations known as Dummont permutations and the median Genocchi numbers count the derangements in this class. We show that the signless coefficients of the characteristic polynomial count Dumont-like permutations with a given number of cycles. This enables us to derive formulas for the generating function of the characteristic polynomial, which reduce to known formulas for the generating functions of the Genocchi numbers and the median Genocchi numbers. As a byproduct of our work, we obtain new models for the Genocchi and median Genocchi numbers.

We extend the facial weak order from finite Coxeter groups to central hyperplane arrangements. The facial weak order extends the poset of regions of a hyperplane arrangement to all its faces. We provide four non-trivially equivalent definitions of the facial weak order of a central arrangement: (1) by exploiting the fact that the faces are intervals in the poset of regions, (2) by describing its cover relations, (3) using covectors of the corresponding oriented matroid, and (4) using certain sets of normal vectors closely related to the geometry of the corresponding zonotope. Using these equivalent descriptions, we show that when the poset of regions is a lattice, the facial weak order is a lattice. In the case of simplicial arrangements, we further show that this lattice is semidistributive and give a description of its join-irreducible elements. Finally, we determine the homotopy type of all intervals in the facial weak order.

We introduce motivic zeta functions for matroids. These zeta functions are defined as sums over the lattice points of Bergman fans, and in the realizable case, they coincide with the motivic Igusa zeta functions of hyperplane arrangements. We show that these motivic zeta functions satisfy a functional equation arising from matroid Poincaré duality in the sense of Adiprasito-Huh-Katz. In the process, we obtain a formula for the Hilbert series of the cohomology ring of a matroid, in the sense of Feichtner-Yuzvinsky. We then show that our motivic zeta functions specialize to the topological zeta functions for matroids introduced by van der Veer, and we compute the first two coefficients in the Taylor expansion of these topological zeta functions, providing affirmative answers to two questions posed by van der Veer.

One usually thinks of a cat moving from one room to another in an apartment as random walk model. Imagine now that it also has the possibility to go from one apartment to another by crossing some corridors. That yields a new probabilistic model for which each corridor connects the entrance rooms of several apartments. This article shows that the determinants of the stochastic and the exponential distance matrices of that model have a nice factorization. Two examples involving indirectly acyclic digraphs and hyperplane arrangements are provided.

We study the classes of free and plus-one generated hyperplane arrangements. Specifically, we describe how to compute the associated prime ideals of the Jacobian ideal of such an arrangement from its lattice of intersection. Moreover, we prove that the localization of a plus-one generated arrangement is free or plus-one generated.

We study the change of the minimal degree of a logarithmic derivation of a hyperplane arrangement under the addition or the deletion of a hyperplane, and give a number of applications. First, we prove the existence of Tjurina maximal line arrangements in a lot of new situations. Then, starting with Ziegler's example of a pair of arrangements of $d=9$ lines with $n_3=6$ triple points in addition to some double points, having the same combinatorics, but distinct minimal degree of a logarithmic derivation, we construct new examples of such pairs, for any number $d\geq 9$ of lines, and any number $n_3\geq 6$ of triple points. Moreover, we show that such examples are not possible for line arrangements having only double and triple points, with $n_3 \leq 5$.

Motivated by Kohno's result on the holonomy Lie algebra of a hyperplane arrangement, we define the holonomy Lie algebra of a finite geometric lattice in a combinatorial way. For a solvable pair of lattices, we show that the holonomy Lie algebra is an almost-direct product of the holonomy Lie algebra of the sublattice and a free Lie subalgebra. This yields the structure of the holonomy Lie algebra of a finite hypersolvable (including supersolvable) lattice. As applications, we obtain the structure of the holonomy Lie algebra of (the Salvetti complex of) a supersolvable oriented matroid, and that of a hypersolvable arrangement.

We compute the sheaf homology of the intersection lattice of a hyperplane arrangement with coefficients in the graded exterior sheaf of the natural sheaf. This builds on the results of our previous paper, where this homology was computed for the natural sheaf, itself a generalisation of an old result of Lusztig. The computational machinery we develop in this paper is quite different though: sheaf homology is lifted to what we call Boolean covers, where we instead compute homology cellularly. A number of tools are given for the cellular homology of these Boolean covers, including a deletion-restriction long exact sequence.

In this article, we study freeness of hyperplane arrangements. One of the most investigated arrangement is a graphic arrangement. Stanley proved that a graphic arrangement is free if and only if the corresponding graph is chordal and Dirac showed that a graph is chordal if and only if the graph is obtained by "gluing" complete graphs. We will generalize Dirac's construction to simple matroids with modular joins introduced by Ziegler and show that every arrangement whose associated matroid is constructed in the manner mentioned above is divisionally free. Moreover, we apply the result to arrangements associated with gain graphs and arrangements over finite fields.

A variety of codimension $c$ in complex affine space is called positively hyperbolic if the imaginary part of any point in it does not lie in any positive linear subspace of dimension $c$. Positively hyperbolic hypersurfaces are defined by stable polynomials. We give a new characterization of positively hyperbolic varieties using sign variations, and show that they are equivalently defined by being hyperbolic with respect to the positive part of the Grassmannian, in the sense of Shamovich and Vinnikov. We prove that positively hyperbolic projective varieties have tropicalizations that are locally subfans of the type $A$ hyperplane arrangement defined by $x_i = x_j$, in which the maximal cones satisfy a non-crossing condition. This gives new proofs of some results of Choe--Oxley--Sokal--Wagner and Brändén on Newton polytopes and tropicalizations of stable polynomials. We settle the question of which tropical varieties can be obtained as tropicalizations of positively hyperbolic varieties in the case of tropical toric varieties, constant-coefficient tropical curves, and Bergman fans. Along the way, we also give a new characterization of positroids in terms of a non-crossing condition on their Bergman fans.

We prove a Fundamental Theorem of Finite Semidistributive Lattices (FTFSDL), modelled on Birkhoff's Fundamental Theorem of Finite Distributive Lattices. Our FTFSDL is of the form "A poset L is a finite semidistributive lattice if and only if there exists a set Sha with some additional structure, such that L is isomorphic to the admissible subsets of Sha ordered by inclusion; in this case, Sha and its additional structure are uniquely determined by L." The additional structure on Sha is a combinatorial abstraction of the notion of torsion pairs from representation theory and has geometric meaning in the case of posets of regions of hyperplane arrangements. We show how the FTFSDL clarifies many constructions in lattice theory, such as canonical join representations and passing to quotients, and how the semidistributive property interacts with other major classes of lattices. Many of our results also apply to infinite lattices.

We study the combinatorics of hyperplane arrangements over arbitrary fields. Specifically, we determine in which situation an arrangement and its reduction modulo a prime number have isomorphic lattices via the use of minimal strong $σ$-Gröbner bases. Moreover, we prove that the Terao's conjecture over finite fields implies the conjecture over the rationals.

Hyperplane Arrangements of rank $3$ admitting an unbalanced Ziegler restriction are known to fulfill Terao's conjecture. This long-standing conjecture asks whether the freeness of an arrangement is determined by its combinatorics. In this note, we prove that arrangements that admit a locally heavy flag satisfy Terao's conjecture which is a generalization of the statement above to arbitrary dimension. To this end, we extend results characterizing the freeness of multiarrangements with a heavy hyperplane to those satisfying the weaker notion of a locally heavy hyperplane. As a corollary, we give a new proof that irreducible arrangements with a generic hyperplane are totally non-free. In another application, we show that an irreducible multiarrangement of rank $3$ with at least two locally heavy hyperplanes is not free.

Hyperplane arrangements dissect $\mathbb{R}^n$ into connected components called chambers, and a well-known theorem of Zaslavsky counts chambers as a sum of nonnegative integers called Whitney numbers of the first kind. His theorem generalizes to count chambers within any cone defined as the intersection of a collection of halfspaces from the arrangement, leading to a notion of Whitney numbers for each cone. This paper focuses on cones within the braid arrangement, consisting of the reflecting hyperplanes $x_i=x_j$ inside $\mathbb{R}^n$ for the symmetric group, thought of as the type $A_{n-1}$ reflection group. Here cones correspond to posets, chambers within the cone correspond to linear extensions of the poset, and the Whitney numbers of the cone interestingly refine the number of linear extensions of the poset. We interpret this refinement for all posets as counting linear extensions according to a statistic that generalizes the number of left-to-right maxima of a permutation. When the poset is a disjoint union of chains, we interpret this refinement differently, using Foata's theory of cycle decomposition for multiset permutations, leading to a simple generating function compiling these Whitney numbers.

The quon algebra is an approach to particle statistics introduced by Greenberg in order to provide a theory in which the Pauli exclusion principle and Bose statistics are violated by a small amount. We generalize these models by introducing a deformation of the quon algebra generated by a collection of operators $\mathtt{a}_i$, $i \in \mathbb{N}^*$ the set of positive integers, on an infinite dimensional module satisfying the $q_{i,j}$-mutator relations $\mathtt{a}_i \mathtt{a}_j^† - q_{i,j}\, \mathtt{a}_j^† \mathtt{a}_i = δ_{i,j}$. The realizability of our model is proved by means of the Aguiar-Mahajan bilinear form on the chambers of hyperplane arrangements. We show that, for suitable values of $q_{i,j}$, the module generated by the particle states obtained by applying combinations of $\mathtt{a}_i$'s and $\mathtt{a}_i^†$'s to a vacuum state $|0\rangle$ is an indefinite Hilbert module. Furthermore, we refind the extended Zagier's conjecture established independently by Meljanac et al. and by Duchamp et al.

This article surveys recent developments on Hessenberg varieties, emphasizing some of the rich connections of their cohomology and combinatorics. In particular, we will see how hyperplane arrangements, representations of symmetric groups, and Stanley's chromatic symmetric functions are related to the cohomology rings of Hessenberg varieties. We also include several other topics on Hessenberg varieties to cover recent developments.

An element $w$ of the Weyl group is called rationally smooth if the corresponding Schubert variety is rationally smooth. This happens exactly when the lower interval $[id,w]$ in the Bruhat order is palindromic. For each element $w$ of the Weyl group, we construct a certain hyperplane arrangement. After analyzing the palindromic intervals inside the maximal quotients, we use this result to show that the generating function for regions of the arrangement coincides with the Poincaré polynomial of the corresponding Schubert variety if and only if the Schubert variety is rationally smooth.