arXiv++ Combinatorics

In a recent paper arXiv:1602.02300v2, Cook II, Harbourne, Migliore and Nagel related the splitting type of a line arrangement in the projective plane to the number of conditions imposed by a general fat point of multiplicity $j$ to the linear system of curves of degree $j+1$ passing through the configuration of points dual to the given arrangement. If the number of conditions is less than the expected, we say that the configuration of points admits unexpected curves. In this paper, we characterize supersolvable line arrangements whose dual configuration admits unexpected curves and we provide other infinite families of line arrangements with this property.

We state a number of conjectures that together allow one to classify a broad class of del Pezzo surfaces with cyclic quotient singularities using mirror symmetry. We prove our conjectures in the simplest cases. The conjectures relate mutation-equivalence classes of Fano polygons with Q-Gorenstein deformation classes of del Pezzo surfaces.

In this paper we study the class of power ideals generated by the $k^n$ forms $(x_0+ξ^{g_1}x_1+\ldots+ξ^{g_n}x_n)^{(k-1)d}$ where $ξ$ is a fixed primitive $k^{th}$-root of unity and $0\leq g_j\leq k-1$ for all $j$. For $k=2$, by using a $\mathbb{Z}_k^{n+1}$-grading on $\mathbb{C}[x_0,\ldots,x_n]$, we compute the Hilbert series of the associated quotient rings via a simple numerical algorithm. We also conjecture the extension for $k>2$. Via Macaulay duality, those power ideals are related to schemes of fat points with support on the $k^n$ points $[1:ξ^{g_1}:\ldots:ξ^{g_n}]$ in $\mathbb{P}^n$. We compute Hilbert series, Betti numbers and Gröbner basis for such $0$-dimensional schemes. This explicitly determines the Hilbert series of the power ideal for all $k$: that this agrees with our conjecture for $k>2$ is supported by several computer experiments.