On a generalization of Solomon-Terao formula for subspace arrangements

DOI10.1016/J.JALGEBRA.2020.05.011MaRDI QIDQ2193203zbMATH OpenOpenAlexFDO

Publication date 25 August 2020

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1803.08672

Hilbert-Poincaré series logarithmic differential forms logarithmic residues Solomon-Terao formula subspace arrangements

Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Modules of differentials (13N05) Configurations and arrangements of linear subspaces (14N20)

Abstract: We investigate in this paper a generalization of Solomon-Terao formula for central equidimensional subspace arrangements. We introduce generalized Solomon-Terao functions based on the Hilbert-Poincar'e series of the modules of multi-logarithmic forms and logarithmic multi-residues. We show that as in the case of hyperplane arrangements, these Solomon-Terao functions are polynomial. We then prove that if the Solomon-Terao polynomial of the modules of multi-residues satisfies a certain property, then this polynomial is related to the characteristic polynomial of the subspace arrangement. In particular, we prove that this generalized Solomon-Terao formula holds for any line arrangement of any codimension.

Review text

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)\).

Recommendations

Cites work

Cited in

(4)

Describes a project that uses

Uses Software

SINGULAR

This page was built for publication: On a generalization of Solomon-Terao formula for subspace arrangements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2193203)