The Jacobian ideal of a hyperplane arrangement (Q2518162): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Macaulay2 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0707.2672 / rank | |||
Normal rank |
Latest revision as of 08:03, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Jacobian ideal of a hyperplane arrangement |
scientific article |
Statements
The Jacobian ideal of a hyperplane arrangement (English)
0 references
15 January 2009
0 references
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)].
0 references
hyperplane arrangement
0 references
Jacobian ideal
0 references
Jacobian scheme
0 references