arXiv++ Combinatorics

We give a new combinatorial description of the cohomology ring structure of $H^*(M(\mathcal{A});\mathbb{Z})$ of the complement $M(\mathcal{A})$ of a real complexified toric arrangement $\mathcal{A}$ in $(\mathbb{C}^*)^d$. In particular, we correct an error in the paper ``The integer cohomology algebra of toric arrangements'', Adv. Math., 2017.

We investigate the rational cohomology of the quotient of (generalized) braid groups by the commutator subgroup of the pure braid groups. We provide a combinatorial description of it using isomorphism classes of certain families of graphs. We establish Poincaré dualities for them and prove a stabilization property for the infinite series of reflection groups.

We point out two errors in the paper ``The integer cohomology algebra of toric arrangements'', Adv. Math., Vol. 313, pp. 746-802, 2017. The main error concerns Theorem 4.2.17. In that theorem's proof, Diagram (8) does not commute in general but only under some restrictive hypotheses on the arrangement $\mathcal{A}$. This invalidates the description for the ring structure of $H^*(M(\mathcal{A});\mathbb{Z})$ given in Theorems A and B. We refer to alternative descriptions of the cohomology ring $H^*(M(\mathcal{A});\mathbb{Z})$. The second error concerns Theorem 7.2.1. The claim does hold, but the proof is incorrect. We refer to a counterexample for the argument given in the proof and we provide references for a correct proof.

We give an explicit presentation for the integral cohomology ring of the complement of any arrangement of level sets of characters in a complex torus (alias "toric arrangement"). Our description parallels the one given by Orlik and Solomon for arrangements of hyperplanes, and builds on De Concini and Procesi's work on the rational cohomology of unimodular toric arrangements. As a byproduct we extend Dupont's rational formality result to formality over $\mathbb Z$. The data needed in order to state the presentation is fully encoded in the poset of connected components of intersections of the arrangement.

We compute the cohomology ring of the complement of a toric arrangement with integer coefficients and investigate its dependency from the arrangement's combinatorial data. To this end, we study a morphism of spectral sequences associated to certain combinatorially defined subcomplexes of the toric Salvetti category in the complexified case, and use a technical argument in order to extend the results to full generality. As a byproduct we obtain: -a "combinatorial" version of Brieskorn's lemma in terms of Salvetti complexes of complexified arrangements, -a uniqueness result for realizations of arithmetic matroids with at least one basis of multiplicity 1.

The De Concini-Procesi wonderful models of the braid arrangement of type $A_{n-1}$ are equipped with a natural $S_n$ action, but only the minimal model admits an `hidden' symmetry, i.e. an action of $S_{n+1}$ that comes from its moduli space interpretation. In this paper we explain why the non minimal models don't admit this extended action: they are `too small'. In particular we construct a {\em supermaximal} model which is the smallest model that can be projected onto the maximal model and again admits an extended $S_{n+1}$ action. We give an explicit description of a basis for the integer cohomology of this supermaximal model. Furthermore, we deal with another hidden extended action of the symmetric group: we observe that the symmetric group $S_{n+k}$ acts by permutation on the set of $k$-codimensionl strata of the minimal model. Even if this happens at a purely combinatorial level, it gives rise to an interesting permutation action on the elements of a basis of the integer cohomology.