Symbolic powers of planar point configurations

From MaRDI portal
Publication:2376558



Abstract: We study initial degrees of symbolic powers of ideals of arbitrary finite sets of points in the projective plane over an algebraically closed field of characteristic zero. We show, how bounds on the growth of these degrees determine the geometry of the given set of points.


Let \(Z\) be a finite set of points in the projective plane and let \(I=I(Z)\) be its homogeneous ideal. In this paper the numbers \(\alpha_{m,n} = \alpha(I^{(m)}) - \alpha(I^{(m)})\) are studied, where \(\alpha(I)\) is the initial degree of an ideal \(I\), and \(I^{(m)}\) is the symbolic power of \(I\) (in this context this means that if \(I = \bigcap_{i=1}^s I_{P_i}\), then \(I^{(m)}=\bigcap_{i=1}^s I_{P_i}^m\)). The main result in the paper is: Theorem. If \(\alpha_{p+1,p}(Z) = \dots = \alpha_{p+k,p+k-1}(Z) = d\), then: {\parindent=6mm \begin{itemize}\item[i)] for \(d=1\), \(k=2\), any \(p\), the set \(Z\) is collinear, i.e. \(\alpha(Z) = 1\). \item[ii)] for \(d=2\), \(k\geq 4\), \(p=1\), \(Z\) is contained in a conic, i.e. \(\alpha(Z) = 2\). \end{itemize}} Moreover, both results are sharp. The main steps toward this result are the following: Theorem 3.1. Let \(Z \subset \mathbb{P}^2\) be a set of points such that \(\alpha_{k,1}=k-1\), for some \(k\geq 3\). Then \(\alpha (Z) = 1\). Theorem 3.2. Let \(Z \subset \mathbb{P}^2\) be a set of points such that \(\alpha_{k,k-1}=1\), for some \(k\geq 2\). Then either: {\parindent=6mm \begin{itemize}\item[-] \(\alpha (Z) = 1\). \item[-] \(Z\) is given by the intersection points of some arrangment of lines (also non-reduced and more than two meeting in a point). \end{itemize}} Theorem 4.1. Let \(Z \subset \mathbb{P}^2\) be a finite set of points such that \(\alpha_{k,k-1}=2\), for some \(k\geq 2\). Let \(C\) be a divisor of degree \(d=\alpha(kZ)\), vanishing along \(kZ\). Then every irreducible component of \(C\) is a rational curve.




Cited in
(23)








This page was built for publication: Symbolic powers of planar point configurations

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