On a generalization of Solomon-Terao formula for subspace arrangements (Q2193203)

In this interesting paper, the author investigates a generalization of Solomon-Terao's formula for equidimensional subspace arrangements, and in particular for line arrangements. Let \(S = \mathbb{C}[x_{1}, \dots,x_{\ell}]\) with \(\ell \in \mathbb{Z}_{\geq 1}\). One defines for any finite sequence of finitely generated graded \(S\)-modules \((M^{q})_{0\leq q \leq n}\) the \(\Psi\)-function as \[\Psi(M^{\bullet},x,t) = \sum_{q=0}^{n}\mathrm{Poin}(M^{q},x)(t(1-x) - 1)^{q},\]where \(\mathrm{Poin}(M^{q},x) = \sum_{p \geq p_{q}}\dim_{\mathbb{C}} (M_{p}^{q})x^{p}\) denotes the Hilbert-Poincaré series of the graded \(S\)-module \(M^{q} = \bigoplus_{p \geq p_{q}} M_{p}^{q}\). Now if \(\mathcal{A}\) is a hyperplane arrangement and \(M^{\bullet} = \Omega^{\bullet}(\log \, \mathcal{A})\) are the modules of logarithmic forms along \(\mathcal{A}\), then we have the following Solomon-Terao's formula: \[\Psi(\Omega^{\bullet}(\log \, \mathcal{A},1,t) = \chi(\mathcal{A},t),\] where \(\chi(\mathcal{A},t)\) denotes the characteristic polynomial of \(\mathcal{A}\). A natural question is to study the relation between the \(\Psi\)-function associated with the modules of multi-logarithmic forms (or the modules of logaritmic multi- residues) and the characteristic polynomial. Before we formulate the main result of the paper, let us recall some basic definitions. For the intersection lattice \(L(\mathcal{A})\) of an arrangement \(\mathcal{A}\) and all \(Y \in L(\mathcal{A})\) we denote by \(\mathcal{A}_{Y}\) the subspace arrangement composed of the components of \(\mathcal{A}\) which contain \(Y\). We denote by \(\mathcal{R}_{\mathcal{K}}^{\bullet}\) the modules of logaritmic multi-residues associated with an equidimensional central subspace arrangement \(\mathcal{K}\) in \(\mathbb{C}^{\ell}\), Main Result. Let \(\mathcal{K}\) be a reduced equidimensional central subspace arrangement in \(\mathbb{C}^{\ell}\) . If, for all \(Y \in L(\mathcal{K})\setminus \{\mathbb{C}^{\ell} \}\), the condition \(\Psi(\mathcal{R}_{\mathcal{K}_{Y}}^{\bullet},1,1) = 1\) is satisfied, then for all \(Y \in L(\mathcal{K})\) we have \[\chi(\mathcal{K}_{Y},t) = t^{\ell} - \Psi(\mathcal{R}_{\mathcal{K}_{Y}}^{\bullet},1,t).\] Under the same assumptions, if in addition the codimension of \(\mathcal{K}\) is odd, then \(\chi(\mathcal{K}_{Y},t)\) is equal to the specialization at \(x=1\) of the \(\Psi\)-function associated with the modules of multi-logarithmic forms. Corollary. For any central line arrangement \(\mathcal{K}\) in \(\mathbb{C}^{\ell}\), we have \(\chi(\mathcal{K},t) = t^{\ell} - \Psi(\mathcal{R}_{\mathcal{K}_{Y}}^{\bullet},1,t)\).