No Arabic abstract
For a reduced hypersurface $V(f) subseteq mathbb{P}^n$ of degree $d$, the Castelnuovo-Mumford regularity of the Milnor algebra $M(f)$ is well understood when $V(f)$ is smooth, as well as when $V(f)$ has isolated singularities. We study the regularity of $M(f)$ when $V(f)$ has a positive dimensional singular locus. In certain situations, we prove that the regularity is bounded by $(d-2)(n+1)$, which is the degree of the Hessian polynomial of $f$. However, this is not always the case, and we prove that in $mathbb{P}^n$ the regularity of the Milnor algebra can grow quadratically in $d$.
We reformulate a fundamental result due to Cook, Harbourne, Migliore and Nagel on the existence and irreduciblity of unexpected plane curves of a set of points $Z$ in $mathbb{P}^2$, using the minimal degree of a Jacobian syzygy of the defining equation for the dual line arrangement $mathcal A_Z$. Several applications of this new approach are given. In particular, we show that the irreducible unexpected quintics may occur only when the set $Z$ has the cardinality equal to 11 or 12, and describe five cases where this happens.
We describe the 0-th Fitting ideal of the Jacobian module of a plane curve in terms of determinants involving the Jacobian syzygies of this curve. This leads to new characterizations of maximal Tjurina curves, that is of non free plane curves, whose global Tjurina number equals an upper bound given by A. du Plessis and C.T.C. Wall.
A projectively normal Calabi-Yau threefold $X subseteq mathbb{P}^n$ has an ideal $I_X$ which is arithmetically Gorenstein, of Castelnuovo-Mumford regularity four. Such ideals have been intensively studied when $I_X$ is a complete intersection, as well as in the case where $X$ is codimension three. In the latter case, the Buchsbaum-Eisenbud theorem shows that $I_X$ is given by the Pfaffians of a skew-symmetric matrix. A number of recent papers study the situation when $I_X$ has codimension four. We prove there are 16 possible betti tables for an arithmetically Gorenstein ideal $I$ with $mathrm{codim}(I)=4=mathrm{reg}(I)$, and that exactly 8 of these occur for smooth irreducible nondegenerate threefolds. We investigate the situation in codimension five or more, obtaining examples of $X$ with $h^{p,q}(X)$ not among those appearing for $I_X$ of lower codimension or as complete intersections in toric Fano varieties. A key tool in our approach is the use of inverse systems to identify possible betti tables for $X$.
This is an appendix to the recent paper of Favacchio and Guardo. In these notes we describe explicitly a minimal bigraded free resolution and the bigraded Hilbert function of a set of 3 fat points whose support is an almost complete intersection (ACI) in $mathbb{P}^1timesmathbb{P}^1.$ This solve the interpolation problem for three points with an ACI support.
A congruence is a surface in the Grassmannian ${rm Gr}(2, 4)$. In this paper, we consider the normalization of congruence of bitangents to a hypersurface in $mathbb P^3$. We call it the Fano congruence of bitangents. We give a criterion for smoothness of the Fano congruence of bitangents and describe explicitly their degenerations in a general Lefschetz pencil in the space of hypersurfaces in $mathbb P^3$.