arXiv++ Combinatorics

One of the central problems in the topology of hyperplane arrangements is determining whether the complement is a $K(π,1)$-space. In this paper, we study Manin--Schechtman arrangements, introduced as higher-dimensional analogs of the braid arrangement, and prove that their complements have non-vanishing higher homotopy groups. Consequently, these arrangements fail to be $K(π,1)$ in a broad range of cases.

Discrete homotopy theory or A-homotopy theory is a combinatorial homotopy theory defined on graphs, simplicial complexes, and metric spaces, reflecting information about their connectivity. The present paper aims to further understand the (non-)similarities between the A-homotopy and ordinary homotopy theories through explicit constructions. More precisely, we define mapping fiber graphs and study their basic properties yielding, under a technical condition, a discrete analogous of Puppe sequence in a naive discrete homotopy theory.

In the present paper, we provide a cohomology group as a categorification of the characteristic polynomial of matroids. The construction depends on the ``quasi-representation'' of a matroid. For a certain choice of the quasi-representation, we show that our cohomology theory gives a generalization of the chromatic cohomology introduced by L. Helme-Guizon and Y. Rong, and also the characteristic cohomology introduced by Z. Dancso and A. Licata.

We study a specific line arrangement obtained from a generic $2$-section of the braid arrangement, and compute the fundamental group of its complement via braid monodromy. We show that the resulting presentation of the fundamental group coincides, under the identification of generators, with the modified Artin presentation introduced by Margalit and McCammond. Moreover, we extend the construction to the Manin--Schechtman arrangements $MS(n, k)$, which are higher analogues of the braid arrangement. Focusing on the case $k = 2$, we obtain an explicit presentation of $π_1(\mathbb{C}^n \setminus MS(n, 2))$.

Khovanov introduced a bigraded cohomology theory of links whose graded Euler characteristic is the Jones polynomial. The theory was subsequently applied to the chromatic polynomial of graph, resulting in a categorification known as the ``chromatic homology''. Much as in the Khovanov homology, the chromatic polynomial can be obtained by taking the Euler characteristic of the chromatic homology. In the present paper, we introduce a combinatorial description of enhanced states that can be applied to analysis of the homology in an explicit way by hand. Using the new combinatorial description, we show a splitting property of the chromatic homology for a certain class of graphs. Finally, as an application of the description, we compute the chromatic homology of the complete graph.

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.

Manin and Schechtman introduced a family of arrangements of hyperplanes generalizing classical braid arrangements, which they called the $\textit{discriminantal arrangements}$. Athanasiadis proved a conjecture by Bayer and Brandt providing a full description of the combinatorics of discriminantal arrangements in the case of $\textit{very generic}$ arrangements. Libgober and Settepanella described a sufficient geometric condition for given arrangements to be $\textit{non very generic}$ in terms of the notion of dependency for a certain arrangement. Settepanella and the author generalized the notion of dependency introducing $r$-sets and $K_\mathbb{T}$-vector sets, and provided a sufficient condition for non very genericity but still not convenient to verify by hand. In this paper we give a classification of the $r$-sets, and a more explicit and tractable condition for non very genericity.

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.