On the freeness of hypersurface arrangements consisting of hyperplanes and spheres (Q1644884): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
Property / DOI | |||
Property / DOI: 10.1515/math-2018-0041 / rank | |||
Property / DOI | |||
Property / DOI: 10.1515/MATH-2018-0041 / rank | |||
Normal rank |
Latest revision as of 00:35, 11 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the freeness of hypersurface arrangements consisting of hyperplanes and spheres |
scientific article |
Statements
On the freeness of hypersurface arrangements consisting of hyperplanes and spheres (English)
0 references
22 June 2018
0 references
In the paper under review, the authors study the freeness of a certain class of hypersurface arrangements. Let us recall that a hypersurface arrangement \(\mathcal{A}\) in a smooth variety \(V\) is a reduced divisor \(D\) consisting of a union of smooth hypersurfaces such that at each point \(D\) is locally analytically isomorphic to a hyperplane arrangement. In the context of hypersurface arrangements, we have only a few papers devoted to the freeness of them, probably one of the first in this subject is due to Schenck and Tohaneanu in the case of conic-line arrangements in the complex projective plane. Before, we present the main results of this paper, we need to recall some basic objects. Let \(V\) be a \(k\)-dimensional vector space over \(\mathbb{K}\) with a coordinate system \(\{x_{1},\dots,x_{k}\} \subset V^{*}\). Let \(S = S(V^{*})\) be the symmetric algebra of \(V^{*}\), and we denote by \(\text{Der}_{\mathbb{K}}(S)\) the module of derivations. For a hypersurface arrangement \(\mathcal{A}\) in \(V\), the derivation module \(D(\mathcal{A})\) is defined by \[ D(\mathcal{A}) = \{\theta \in \text{Der}_{\mathbb{K}}(S) : \theta(\alpha_{X}) \in \alpha_{X} S \text{ for all } X \in \mathcal{A}\}, \] where \(X = \ker(\alpha_{X})\). We say that \(\mathcal{A}\) is free if \(D(\mathcal{A})\) is free. If \(\mathcal{A}\) is a free hypersurface arrangement and \(\{\theta_{1},\dots,\theta_{k}\}\) is a basis of \(D(\mathcal{A})\), then \(\exp(\mathcal{A}) = \{ \deg \theta_{1},\dots,\deg \theta_{k}\}\) is called the set of exponents of \(D(\mathcal{A})\). Theorem 1. Let \(\mathcal{A}_{n}\) be the hypersurface arrangement consisting of \(n\) spheres \(S_{1},\dots, S_{n}\), where \[ S_{i} = \{(x_{1},\dots,x_{k}) : \sum_{i=1}^{k} (x_{i} - a_{i})^{2} = r_{i}, (a_{1},a_{2},\dots,a_{k}) \in \mathbb{R}^{k}, r_{i} \in \mathbb{R}_{>0}\}. \] We define derivations \(\phi_{1}^{n},\dots,\phi_{k}^{n}\) by \[ M(\phi_{1}^{n},\dots,\phi_{k}^{n})=A_{n}A_{n-1} \cdots A_{1}, \] where \(A_{i}\) is an \(k\times k\) matrix with the \((p,q)\)-entry of \(A_{i}\) which is equal to either \((x_{p}-a_{p})(x_{q} - a_{q})\) if \(p\neq q\) or \((x_{p}-a_{p})^{2} - r_{i}\) otherwise. Then \(\phi^{n}_{1},\dots,\phi^{n}_{k}\) form a basis of \(D(\mathcal{A}_{n})\) and \(\exp (\mathcal{A}_{n}) = \{2n,\dots,2n\}\), where \(2n\) appears \(k\)-times. Theorem 2. Assume that \(\mathcal{A}\) is a free hyperplane arrangement with a homogeneous basis \(\theta_{1},\dots,\theta_{k}\) and \(\exp(\mathcal{A}) = \{d_{1},\dots,d_{k}\}\). Consider \[ S_{i}^{0} = \{(x_{1},\dots,x_{k}) : \sum_{i=1}^{k} x_{i}^{2} = r_{i} \in \mathbb{R}_{>0}\}. \] Define \(\mathcal{M}_{n} = \mathcal{A} \cup \{S_{1}^{0},\dots, S_{n}^{0}\}\) and derivations \(\phi_{1}^{n},\dots,\phi_{k}^{n}\) by \[ M(\phi_{1}^{n},\dots,\phi_{k}^{n}) = A_{n}A_{n-1} \cdots A_{1}\cdot M(\theta_{1},\dots,\theta_{k}), \] where \(A_{i}\) is a \(k\times k\) matrix with the \((p,q)\)-entry of \(A_{i}\) which is equal to either \(x_{p}x_{q}\) if \(p\neq q\) or \(x_{p}^{2} - r_{i}\) otherwise, and \(M(\theta_{1},\dots,\theta_{k}) := [\theta_{i}(x_{j})]_{k\times k}\). Then \(\phi_{1}^{n},\dots,\phi_{k}^{n}\) form a basis of \(D(\mathcal{M}_{n})\) with \(\exp(\mathcal{M}_{n}) = \{d_{1} + 2n,\dots,d_{k} + 2n\}\). Corollary. In the setting of Theorem 2, \(\mathcal{M}_{n}\) is free iff \(\mathcal{A}\) is free.
0 references
freeness
0 references
hyperplanes
0 references
spheres
0 references
hypersurface arrangements
0 references
0 references
0 references