arXiv++ Combinatorics

A discriminantal hyperplane arrangement B(n,k,A) is constructed from a given (generic) hyperplane arrangement A, which is classified as either very generic or non-very generic depending on the combinatorial structure of B(n,k,A). In particular, A is considered non-very generic if the intersection lattice of B(n,k,A) contains at least one non-very generic intersection -- that is, an intersection that fails to satisfy a specific rank condition established by Athanasiadis in [1]. In this paper, we present arithmetic criteria characterizing non-very generic intersections in discriminantal arrangements and we complete and correct a previous result by Libgober and the third author concerning rank-two intersections in such arrangements.

The discriminantal arrangement is the space of configurations of $n$ hyperplanes in generic position in a $k$ dimensional space (see \cite{MS}). Differently from the case $k=1$ in which it corresponds to the well known braid arrangement, the discriminantal arrangement in the case $k>1$ has a combinatorics which depends from the choice of the original $n$ hyperplanes. It is known that this combinatorics is constant in an open Zariski set $\mathcal{Z}$, but to assess wether or not $n$ fixed hyperplanes in generic position belongs to $\mathcal{Z}$ proved to be a nontrivial problem. Even to simply provide examples of configurations not in $\mathcal{Z}$ is still a difficult task. In this paper, moving from a recent result in \cite{SSc}, we define a $\textit{weak linear independency}$ condition among sets of vectors which, if imposed, allows to build configurations of hyperplanes not in $\mathcal{Z}$. We provide $3$ examples.

The discriminantal arrangement $\mathcal{B}(n,k,\mathcal{A})$ has been introduced by Manin and Schectman in 1989 and it consists of all non-generic translates of a generic arrangement $\mathcal{A}$ of n hyperplanes in a $k$-dimensional space. It is known that its combinatorics depends on the original arrangement A which, following Bayer and Brandt [3], is called very generic if the intersection lattice of the induced discriminantal arrangement has maximum cardinality, non-very generic otherwise. While a complete description of the combinatorics of $\mathcal{B}(n,k,\mathcal{A})$ when $\mathcal{A}$ is very generic is known (see [2]), very few is known in the non-very generic case. Even to provide examples of non very generic arrangements proved to be a non-trivial task (see [17]). In this paper, we characterize, classify and provide examples of non-very generic arrangements in low dimension.

In 1989 Manin and Schechtman defined the discriminantal arrangement $\mathcal{B}(n, k,\mathcal{A})$ associated to a generic arrangement $\mathcal{A}$ of $n$ hyperplanes in a $k$-dimensional space. An equivalent notion was already introduced by Crapo in 1985 with the name of geometry of circuits. While both those papers were mainly focused on the case in which $\mathcal{B}(n, k,\mathcal{A})$ has a constant combinatorics when $\mathcal{A}$ changes, it turns out that the case in which the combinatorics of $\mathcal{B}(n, k,\mathcal{A})$ changes is quite interesting as it classifies special configurations of points in the $k$-dimensional space. In this paper we provide an example of this fact elucidating the connection between the well known generalized Sylvester's and orchard problems and the combinatorics of $\mathcal{B}(n, k,\mathcal{A})$. In particular we point out how this connection could be helpful to address those old but still open problems.

In 1985 Crapo introduced in \cite{Crapo} a new mathematical object that he called $\textit{geometry of circuits}$. Four years later, in 1989, Manin and Schechtman defined in \cite{MS} the same object and called it $\textit{discriminantal arrangement}$, the name by which it is known now a days. Those discriminantal arrangements $\mathcal{B}(n,k,\mathcal{A}^0)$ are builded from an arrangement $\mathcal{A}^0$ of $n$ hyperplanes in general position in a $k$-dimensional space and their combinatorics depends on the arrangement $\mathcal{A}^0$. On this basis, in 1997 Bayer and Brandt (see \cite{BB}) distinguished two different type of arrangements $\mathcal{A}^0$ calling $\textit{very generic}$ the ones for which the intersection lattice of $\mathcal{B}(n,k,\mathcal{A}^0)$ has maximum cardinality and $\textit{non-very generic}$ the others. Results on the combinatorics of $\mathcal{B}(n,k,\mathcal{A}^0)$ in the very generic case already appear in Crapo \cite{Crapo} and in 1997 in Athanasiadis \cite{Atha} while the first known result on non-very generic case is due to Libgober and the first author in 2018. In their paper \cite{LS} they provided a necessary and sufficient condition on $\mathcal{A}^0$ for which the cardinality of rank 2 intersections in $\mathcal{B}(n,k,\mathcal{A}^0)$ is not maximal anymore. In this paper we further develop their result providing a sufficient condition on $\mathcal{A}^0$ for which the cardinality of rank r, $r \geq 2$, intersections in $\mathcal{B}(n,k,\mathcal{A}^0)$ decreases.

In this paper we give a very natural description of the bijections between the minimal CW-complex homotopy equivalent to the complement of a supersolvable arrangement $\mathcal{A}$, the $\textbf{nbc}$ basis of the Orlik-Solomon algebra associated to $\mathcal{A}$ and the set of chambers of $\mathcal{A}$. We use these bijections to get results on the first (co)homology group of the Milnor fiber of $\mathcal{A}$ and to describe a bijection between the symmetric group and the $\textbf{nbc}$ basis of the braid arrangement.

Marengo and the second author have developed in the last years a geometric model of social choice when this takes place among bundles of interdependent elements, showing that by bundling and unbundling the same set of constituent elements an authority has the power of determining the social outcome. In this paper we will tie the model above to tournament theory, solving some of the mathematical problems arising in their work and opening new questions which are interesting not only from a mathematical and a social choice point of view, but also from an economic and a genetic one. In particular, we will introduce the notion of u-local optima and we will study it from both a theoretical and a numerical/probabilistic point of view; we will also describe an algorithm that computes the universal basin of attraction of a social outcome in O(M^3 logM) time (where M is the number of social outcomes).

Polar orderings arose in recent work of Salvetti and the second author on minimal CW-complexes for complexified hyperplane arrangements. We study the combinatorics of these orderings in the classical framework of oriented matroids, and reach thereby a weakening of the conditions required to actually determine such orderings. A class of arrangements for which the construction of the minimal complex is particularly easy, called {\em recursively orderable} arrangements, can therefore be combinatorially defined. We initiate the study of this class, giving a complete characterization in dimension 2 and proving that every supersolvable complexified arrangement is recursively orderable.

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.