The Jacobian ideal of a hyperplane arrangement (Q2518162): Difference between revisions

Let \(V\cong \mathbb C^\ell\) and choose coordinates for \(V^*\) such that we can identify the symmetric algebra \(S=S(V^*)\) with the polynomial ring \(\mathbb C[z_1, \ldots, z_\ell]\). Let \({\mathcal A}\) be an essential arrangement in \(V\). For each hyperplane \(H\in {\mathcal A}\) choose a linear polynomial \(\alpha_H \in S\) such that \(H = \ker \alpha_H\). Let \(Q=\prod_{H\in {\mathcal A}}\alpha_H\) denote the defining polynomial of the arrangement \({\mathcal A}\). Then the Jacobian ideal is the homogeneous ideal in \(S\) given by \(J(Q):= \bigg({\partial Q\over \partial z_1}, \ldots, {\partial Q\over \partial z_\ell}\bigg)\). The Jacobian ideal determines a closed subscheme \(\text{Proj}\;S/J(Q)\) of the projective space \(\mathbb {CP}^{\ell-1}\), which is called the Jacobian scheme. The authors prove that the Jacobian scheme contains all the information of the arrangement. More precisely, the authors prove the following main theorem: Suppose \({\mathcal A}_1\) and \({\mathcal A}_2\) are two central and essential arrangements in dimension \( \ell \geq 3\). Then \({\mathcal A}_1\) and \({\mathcal A}_2\) are identical if and only if the Jacobian schemes \(\text{Proj}\;S/J({\mathcal A}_1)\) and \(\text{Proj}\;S/J({\mathcal A}_2)\) are equal as closed subschemes of \(\mathbb {CP}^{ \ell-1}\). The proof is inspired by a Torelli-type theorem of \textit{I. V. Dolgachev} [J. Math. Kyoto Univ. 47, No. 1, 35--64 (2007; Zbl 1156.14015)] and \textit{I. Dolgachev} and \textit{M. Kapranov} [Duke Math. J. 71, No. 3, 633--664 (1993; Zbl 0804.14007)].