On projective wonderful models for toric arrangements and their cohomology (Q2210174)

Let \(T \simeq (\mathbb{C}^{*})^{n}\) be an \(n\)-dimensional torus and \(X^{*}(T)\) be its group of characters. A layer in \(T\) is a subvariety of \(T\) of the form \[ \mathcal{K}(\Gamma, \phi) := \{t \in T : \chi(t) = \phi(\chi) \text{ for all } \chi \in \Gamma\}, \] where \(\Gamma < X^{*}(T)\) is a split direct summand and \(\phi : \Gamma \rightarrow \mathbb{C}^{*}\) is a homomorphism. A toric arrangement \(\mathcal{A}\) is a finite set of layers \(\{\mathcal{K}_{1}, \dots, \mathcal{K}_{r}\}\) in \(T\). A wonderful model for the complement of an arrangement \(\mathcal{M}(\mathcal{A})\) is a smooth variety \(Y_{\mathcal{A}}\) containing \(\mathcal{M}(\mathcal{A})\) as an open set and such that \(Y_{\mathcal{A}} \setminus \mathcal{M}(\mathcal{A})\) is a divisor with normal crossings and smooth components. In this nicely written paper, the authors, in the first part, provide a short survey on the construction of a projective wonderful model \(Y_{\mathcal{A}}\) for a toric arrangement \(\mathcal{A}\) and the presentation of its cohomology ring by generators and relations. The second part of the paper explores the notion of well-connected building sets of subvarieties, which were introduced by the first two authors [Adv. Math. 327, 390--409 (2018; Zbl 1468.14090)], and it turned out that such sets play a crucial role in the computations of the cohomology rings of projective models for toric arrangements.