Not all free arrangements are $K(\pi,1)$

Only few categories of free arrangements are known in which Terao's conjecture holds. One of such categories consists of $3$-arrangements with unbalanced Ziegler restrictions. In this paper, we generalize this result to arbitrary dimensional arrangements in terms of flags by introducing unbalanced multiarrangements. For that purpose, we generalize several freeness criterions for simple arrangements, including Yoshinaga's freeness criterion, to unbalanced multiarrangements.

Suppose that W is a finite, unitary, reflection group acting on the complex vector space V. Let A = A(W) be the associated hyperplane arrangement of W. Terao has shown that each such reflection arrangement A is free. Let L(A) be the intersection lattice of A. For a subspace X in L(A) we have the restricted arrangement A^X in X by means of restricting hyperplanes from A to X. In 1992, Orlik and Terao conjectured that each such restriction is again free. In this note we settle ...

The Lefschetz hyperplane section theorem asserts that an affine variety is homotopy equivalent to a space obtained from its generic hyperplane section by attaching some cells. The purpose of this paper is to describe attaching maps of these cells for the complement of a complex hyperplane arrangement defined over real numbers. The cells and attaching maps are described in combinatorial terms of chambers. We also discuss the cellular chain complex with coefficients in a local ...

The complement of a hyperplane arrangement in $\mathbb{C}^n$ deformation retracts onto an $n$-dimensional cell complex, but the known procedures only apply to complexifications of real arrangements (Salvetti) or the cell complex produced depends on an initial choice of coordinates (Bj\"orner-Ziegler). In this article we consider the unique complex euclidean reflection group acting cocompactly by isometries on $\mathbb{C}^2$ whose linear part is the finite complex reflection g...

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.

Suppose that W is a finite, unitary reflection group acting on the complex vector space V. Let A = A(W) be the associated hyperplane arrangement of W. Terao has shown that each such reflection arrangement A is free. There is the stronger notion of an inductively free arrangement. In 1992, Orlik and Terao conjectured that each reflection arrangement is inductively free. It has been known for quite some time that the braid arrangement as well as the Coxeter arrangements of type...

We consider the triple $(\mathcal{A},\mathcal{A}',\mathcal{A}^H)$ of hyperplane arrangements and the division of their characteristic polynomials. We show that the freeness of $\mathcal{A}^H$ and the division of $\chi(\mathcal{A};t)$ by $\chi(\mathcal{A}^H;t)$ confirm the freeness of $\mathcal{A}$. The key ingredient of this "division theorem" on freeness is the fact that, if $\chi(\mathcal{A}^H;t)$ divides $\chi(\mathcal{A};t)$, then the same holds for the localization at th...

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 d...

In this work we study line arrangements consisting in lines passing through three non-aligned points. We call them triangular arrangements. We prove that any combinatorics of a triangular arrangement is always realized by a Roots-of-Unity-Arrangement, which is a particular class of triangular arrangements. Among these Roots-of Unity-Arrangements, we provide conditions that ensure their freeness. Finally, we give two triangular arrangements having the same weak combinatorics, ...

The complement of an arrangement of hyperplanes in $\mathbb C^n$ has a natural bordification to a manifold with corners formed by removing (or "blowing up") tubular neighborhoods of the hyperplanes and certain of their intersections. When the arrangement is the complexification of a real simplicial arrangement, the bordification closely resembles Harvey's bordification of moduli space. We prove that the faces of the universal cover of the bordification are parameterized by th...