Cohomology rings of compactifications of toric arrangements (Q2414172)

In this nice and self-contained paper, the authors provide a precise description of cohomology rings of wonderful compactifications of toric arrangements. If $T$ is an $n$-dimensional algebraic torus defined over the complex numbers and $X^{*}(T)$ is the character group, we define a layer in $T$ by \[ \mathcal{K} = \{ t \in T: \chi(t) = \phi(\chi) \text{ for all } \chi \in \Gamma\}, \] where $\Gamma$ is a split direct summand of $X^{*}(T)$ and $\phi : \Gamma \rightarrow \mathbb{C}^{*}$ is a homomorphism. A toric arrangement $\mathcal{A}$ is given by a finite set of layers $\mathcal{A} = \{\mathcal{K}_{1}, ..., \mathcal{K}_{m}\}$. If every component $\mathcal{K}_{i}$ has codimension $1$, then $\mathcal{A}$ is called divisorial. In this paper, the authors compute the integer cohomology ring of the projective wonderful models by giving an explicit description of their generators and relations. Let us recall that a projective wonderful model is a smooth projective variety containing $\mathcal{M}(\mathcal{A}) = T \setminus \bigcup_{i} \mathcal{K}_{i}$ as an open set and such that the complement of $\mathcal{M}(\mathcal{A})$ is a divisor with normal crossings and smooth irreducible components. Let us present shortly the main components which lead to the main result. The torus $T$ is embedded in a smooth projective toric variety $X$ and this variety can be chosen in such a way that the set made by the connected components of the intersections of the closures of the layers of $\mathcal{A}$ turns out to be an arrangement of subvarieties $\mathcal{L}$, and one can get a projective wonderful model. To be more precise, there are many possible projective wonderful models associated to $\mathcal{L}$ \textit{depending on the choice of a building set} for $\mathcal{L}$. If $\mathcal{G}$ is a building set for $\mathcal{L}$, one denotes by $Y(X; \mathcal{G})$ the wonderful model constructed starting from $\mathcal{G}$. In fact, in order to make computations more efficient, the authors use well-connected building sets which are studied in Section 4 therein. The main result of the paper (Theorem 7.1) tells us that the cohomology ring $H^{*}(Y(X; \mathcal{G}), \mathbb{Z})$ is isomorphic to the polynomial ring modulo the ideal of relations which have explicit presentations.