The primitive derivation and discrete integrals (Q2023813)

Let \(V\) be an \(\ell\)-dimensional vector space over \(\mathbb{C}\) and \(S = S(V^{*})\) be the set of polynomial functions on \(V\). We can identify \(S\) with the polynomial ring \(\mathbb{C}[x_{1}, \dots, x_{\ell}]\). Denote by \(\mathrm{Der}(S) = \bigoplus_{i=1}^{\ell} S \cdot \partial_{i}\) be the module of polynomial vector fields. Let \(\mathcal{A} = \{H_{1}, \dots, H_{n}\}\) be a central arrangement of hyperplanes. We define the module of logarithmic derivations \[ D(\mathcal{A}) = \{ \delta \in \mathrm{Der}_{S} : \delta(\alpha_{H}) \in \langle \alpha_{H} \rangle\ \, \text{ for any } H \in \mathcal{A}\}, \] where \(\alpha_{H} \in S_{1}\) and \(H = \mathrm{ker}(\alpha_{H})\) for every \(H \in \mathcal{A}\). Let us define two classical hyperplane arrangements, we start with \(m\)-Catalan arrangement \(\mathrm{Cat}_{\ell}(m)\) given by the defining polynomial \[ \prod_{\substack{1 \leq i < j \leq \ell, \\ -m \leq k \leq m}}(x_{i} - x_{j} - k)=0, \] and \(m\)-Shi arrangement \(\mathrm{ Shi}_{\ell}(m)\) given by the defining polynomial \[ \prod_{1-m \leq k \leq m} \prod_{1 \leq i < j \leq \ell}(x_{i}-x_{j}-k)=0. \] The cones \(c\mathrm{Cat}_{\ell}(m)\) and \(c\mathrm{Shi}_{\ell}(m)\) are defined by the homogeneous polynomials \[ z\prod_{\substack{1 \leq i < j \leq \ell, \\ -m \leq k \leq m}}(x_{i} - x_{j} - kz)=0 \] and \[ z \prod_{1-m \leq k \leq m} \prod_{1 \leq i < j \leq \ell}(x_{i}-x_{j}-kz)=0 \] respectively. The main purpose of the paper under review is to provide an explicit basis for \(D(c\mathrm{Cat}_{\ell}(m))\) and \(D(c\mathrm{Shi}_{\ell}(m))\) for all \(\ell\geq 2\) and \(m\geq 1\). The key idea standing behind the construction of these bases relies upon Brandlow-Musiker's integral expression for a basis of spaces of quasiinvariants.