Showing 1–43 of 43 results for author: Sticlaru, G

Plus-one generated curves, Briançon-type polynomials and eigenscheme ideals

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We define the minimal plus-one generated curves and prove a result explaining why they are the closest relatives of the free curves, after the nearly free curves. Then we look at the projective closures of the general and of the special fibers of some Briançon-type polynomials constructed by E. Artal Bartolo, Pi. Cassou-Noguès and I. Luengo Velasco. They yield new examples of free, nearly free or… ▽ More We define the minimal plus-one generated curves and prove a result explaining why they are the closest relatives of the free curves, after the nearly free curves. Then we look at the projective closures of the general and of the special fibers of some Briançon-type polynomials constructed by E. Artal Bartolo, Pi. Cassou-Noguès and I. Luengo Velasco. They yield new examples of free, nearly free or minimal plus-one generated curves, as well as counter-examples to the conjecture saying that a supersolvable curve is free. In the final section we give a characterization of plus-one generated curves in terms of eigenscheme ideals, similar to the characterization of free curves given by R. Di Gennaro, G. Ilardi, R.M. Miró-Roig, H. Schenck and J. Vallès in a recent paper. Then we apply this result to the construction of minimal plus-one generated curves obtained by putting together at least two members in a pencil of curves related to Briançon-type polynomials. △ Less

Submitted 29 July, 2024; v1 submitted 28 June, 2024; originally announced June 2024.

Comments: v4: new title, material is reorganized, and we give two counter-examples to the conjecture saying that a supersolvable curve is free in Remark 3.11

Curves with Jacobian syzygies of the same degree

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: In this notes we study complex projective plane curves whose graded module of Jacobian syzygies is generated by its minimal degree component. Examples of such curves include the smooth curves as well as the maximal Tjurina curves. However, this class of curves seems to be surprisingly large. In particular, any line arrangement $\mathcal A$ of $d=2k+1\geq 5 $ lines having only double and triple poi… ▽ More In this notes we study complex projective plane curves whose graded module of Jacobian syzygies is generated by its minimal degree component. Examples of such curves include the smooth curves as well as the maximal Tjurina curves. However, this class of curves seems to be surprisingly large. In particular, any line arrangement $\mathcal A$ of $d=2k+1\geq 5 $ lines having only double and triple points is in this class if the number of triple points is $k$ and if they are all situated on a line $L \in \mathcal A$, see Theorem 6.2 △ Less

Submitted 4 June, 2024; v1 submitted 10 May, 2024; originally announced May 2024.

Comments: v3: a typo in Remark 6.3 is corrected

From Pascal's Theorem to the geometry of Ziegler's line arrangements

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: Günter Ziegler has shown in 1989 that some homological invariants associated with the free resolutions of Jacobian ideals of line arrangements are not determined by combinatorics. His classical example involves hexagons inscribed in conics. Independently, Sergey Yuzvinsky has arrived in 1993 at the same type of line arrangements in order to show that formality is not determined by the combinatoric… ▽ More Günter Ziegler has shown in 1989 that some homological invariants associated with the free resolutions of Jacobian ideals of line arrangements are not determined by combinatorics. His classical example involves hexagons inscribed in conics. Independently, Sergey Yuzvinsky has arrived in 1993 at the same type of line arrangements in order to show that formality is not determined by the combinatorics. In this note we look into the geometry of such line arrangements, and find out an unexpected relation to the classical Pascal's Theorem. Our results give information on the minimal degree of a Jacobian syzygy and on the formality of such hexagonal line arrangements in general, without an explicit choice for the six vertices of the hexagon. △ Less

Submitted 16 January, 2024; v1 submitted 19 December, 2023; originally announced December 2023.

Comments: v3: Theorem 1.8, covering the case when the vertices of the hexagon are not on a conic, is new. In Corollary 1.7 and in Theorem 1.8 there are additional claims about the formality of these arrangements. Some minor changes in presentation and several references added

On the Alexander polynomials of conic-line arrangements

Authors: Alexandru Dimca, Piotr Pokora, Gabriel Sticlaru

Abstract: In the present paper we compute Alexander polynomials for certain classes of conic-line arrangements in the complex projective plane which are related to pencils. We prove two general results for curve arrangements coming from Halphen pencils of index $k\geq 2$. Then we apply them to the Hesse or the Chilean arrangement of 12 conics and to some of its degenerations. The results are completed by co… ▽ More In the present paper we compute Alexander polynomials for certain classes of conic-line arrangements in the complex projective plane which are related to pencils. We prove two general results for curve arrangements coming from Halphen pencils of index $k\geq 2$. Then we apply them to the Hesse or the Chilean arrangement of 12 conics and to some of its degenerations. The results are completed by computations using computer algebra. In particular, we construct conic-line arrangements which are non-reduced pencil-type arrangements and have as roots of their Alexander polynomials roots of unity of order 7. Such roots are not known and are conjectured not to exist in the class of line arrangements. △ Less

Submitted 22 May, 2023; v1 submitted 2 May, 2023; originally announced May 2023.

Comments: v.2 A new section about the Alexander polynomials of curve arrangements coming from Halphen pencils of index $k \geq 2$ is added. In particular Thm. 3.3 and Thm. 3.4 are new. Then we apply these results to the Hesse or the Chilean arrangement of 12 conics and to some of its degenerations, which are related to Halphen pencils of sextics of index 2

Construction of free curves by adding lines to a given curve

Authors: Alexandru Dimca, Giovanna Ilardi, Piotr Pokora, Gabriel Sticlaru

Abstract: In the present note we construct new families of free plane curves starting from a curve $C$ and adding high order inflectional tangent lines of $C$, lines joining the singularities of the curve $C$, or lines in the tangent cone of some singularities of $C$. These lines $L$ have in common that the intersection $C \cap L$ consists of a small number of points. We introduce the notion of a supersolva… ▽ More In the present note we construct new families of free plane curves starting from a curve $C$ and adding high order inflectional tangent lines of $C$, lines joining the singularities of the curve $C$, or lines in the tangent cone of some singularities of $C$. These lines $L$ have in common that the intersection $C \cap L$ consists of a small number of points. We introduce the notion of a supersolvable plane curve and conjecture that such curves are always free, as in the known case of line arrangements. Some evidence for this conjecture is given as well, both in terms of a general result in the case of quasi homogeneous singularities and in terms of specific examples. We construct a new example of maximizing curve in degree 8 and the first and unique known example of maximizing curve in degree 9. In the final section, we use a stronger version of a result due to Schenck, Terao and Yoshinaga to construct families of free conic-line arrangements by adding lines to the conic-line arrangements of maximal Tjurina number recently classified by V. Beorchia and R. M. Miró-Roig in arXiv:2303.04665. △ Less

Submitted 8 October, 2023; v1 submitted 3 January, 2023; originally announced January 2023.

Comments: Version 4, this is the final version with all the referee's comments. Accepted for publication in Results in Mathematics

Journal ref: Results in Mathematics 79: Art. Id 11, 31 pages (2024)

Addition-deletion results for the minimal degree of a Jacobian syzygy of a union of two curves

Authors: A. Dimca, G. Ilardi, G. Sticlaru

Abstract: Let $C:f=0$ be a reduced curve in the complex projective plane. The minimal degree $mdr(f)$ of a Jacobian syzygy for $f$, which is the same as the minimal degree of a derivation killing $f$, is an important invariant of the curve $C$, for instance it can be used to determined whether $C$ is free or nearly free. In this note we study the relations of this invariant $mdr(f)$ with a decomposition of… ▽ More Let $C:f=0$ be a reduced curve in the complex projective plane. The minimal degree $mdr(f)$ of a Jacobian syzygy for $f$, which is the same as the minimal degree of a derivation killing $f$, is an important invariant of the curve $C$, for instance it can be used to determined whether $C$ is free or nearly free. In this note we study the relations of this invariant $mdr(f)$ with a decomposition of $C$ as a union of two curves $C_1$ and $C_2$, without common irreducible components. When all the singularities that occur are quasihomogeneous, a result by Schenck, Terao and Yoshinaga yields finer information on this invariant in this setting. Using this, we give some geometrical criteria, the first ones of this type in the existing literature as far as we know, for a line to be a jumping line for the rank 2 vector bundle of logarithmic vector fields along a reduced curve $C$. △ Less

Submitted 3 February, 2022; v1 submitted 8 December, 2021; originally announced December 2021.

Comments: v4. Proposition 5.5 modified, one reference updated, the rest unchanged

Journal ref: Journal of Algebra 2022

On the birationality of the Hessian maps of quartic curves and cubic surfaces

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We show that the hessian map of quartic plane curves is a birational morphism onto its image, thus bringing new evidence for a very interesting conjecture of Ciro Ciliberto and Giorgio Ottaviani. Our new approach also yields a simpler proof of the similar property for cubic surfaces, which is already known by the work of these two authors. We show that the hessian map of quartic plane curves is a birational morphism onto its image, thus bringing new evidence for a very interesting conjecture of Ciro Ciliberto and Giorgio Ottaviani. Our new approach also yields a simpler proof of the similar property for cubic surfaces, which is already known by the work of these two authors. △ Less

Submitted 21 February, 2024; v1 submitted 1 November, 2021; originally announced November 2021.

Comments: The proofs of our results are incomplete. Indeed, the generic injectivity should be shown not only for the restriction of the Hessian map to the transversal, but for the restriction to the much bigger set, union of all orbits of points in the transversal

Ramblings on the freeness of affine hypersurfaces

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: In this note we look at the freeness for complex affine hypersurfaces. If $X \subset \mathbb{C}^n$ is such a hypersurface, and $D$ denotes the associated projective hypersurface, obtained by taking the closure of $X$ in $\mathbb{P}^n$, then we relate first the Jacobian syzygies of $D$ and those of $X$. Then we introduce two types of freeness for an affine hypersurface $X$, and prove various relati… ▽ More In this note we look at the freeness for complex affine hypersurfaces. If $X \subset \mathbb{C}^n$ is such a hypersurface, and $D$ denotes the associated projective hypersurface, obtained by taking the closure of $X$ in $\mathbb{P}^n$, then we relate first the Jacobian syzygies of $D$ and those of $X$. Then we introduce two types of freeness for an affine hypersurface $X$, and prove various relations between them and the freeness of the projective hypersurface $D$. We write down a proof of the folklore result saying that an affine hypersurface is free if and only if all of its singularities are free, in the sense of K. Saito's definition in the local setting. In particular, smooth affine hypersurfaces and affine plane curves are always free. Some other results, involving global Tjurina numbers and minimal degrees of non trivial syzygies are also explored. △ Less

Submitted 15 July, 2021; v1 submitted 29 June, 2021; originally announced June 2021.

Comments: v3: We write down a proof of the folklore result saying that an affine hypersurface is free if and only if all of its singularities are free, in the sense of K. Saito's definition in the local setting. In particular, smooth affine hypersurfaces and affine plane curves are always free

Waring ranks of sextic binary forms via geometric invariant theory

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We determine the Waring ranks of all sextic binary forms with complex coefficients using a Geometric Invariant Theory approach. Using the five basic invariants for sextic binary forms, our results give a rapid method to determine the Waring rank of any given sextic binary form. In particular, we shed new light on a claim by E. B. Elliott at the end of the 19th century concerning the binary sextics… ▽ More We determine the Waring ranks of all sextic binary forms with complex coefficients using a Geometric Invariant Theory approach. Using the five basic invariants for sextic binary forms, our results give a rapid method to determine the Waring rank of any given sextic binary form. In particular, we shed new light on a claim by E. B. Elliott at the end of the 19th century concerning the binary sextics with Waring rank 3. We show that for binary forms of arbitrary degree the cactus rank, a.k.a. scheme rank, is determined by the corresponding Waring rank. Finally we determine the border ranks of all binary sextics. △ Less

Submitted 9 August, 2022; v1 submitted 25 May, 2021; originally announced May 2021.

Comments: v4: We show in Corollary 2.5 that for binary forms of arbitrary degree the cactus rank, a.k.a. scheme rank, is determined by the corresponding Waring rank. We also determine the border ranks of all the binary sextics in Theorem 5.1

On the Bounded Negativity Conjecture and singular plane curves

Authors: Alexandru Dimca, Brian Harbourne, Gabriel Sticlaru

Abstract: There are no known failures of Bounded Negativity in characteristic 0. In the light of recent work showing the Bounded Negativity Conjecture fails in positive characteristics for rational surfaces, we propose new characteristic free conjectures as a replacement. We also develop bounds on numerical characteristics of curves constraining their negativity. For example, we show that the $H$-constant o… ▽ More There are no known failures of Bounded Negativity in characteristic 0. In the light of recent work showing the Bounded Negativity Conjecture fails in positive characteristics for rational surfaces, we propose new characteristic free conjectures as a replacement. We also develop bounds on numerical characteristics of curves constraining their negativity. For example, we show that the $H$-constant of a rational curve $C$ with at most $9$ singular points satisfies $H(C)>-2$ regardless of the characteristic. △ Less

Submitted 22 March, 2021; v1 submitted 18 January, 2021; originally announced January 2021.

Comments: v.3. Substantially upgraded new version, having Brian Harbourne as a new co-author. All the results are now characteristic free, and there are new key examples

Waring rank of binary forms, harmonic cross-ratio and golden ratio

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We discuss the Waring rank of binary forms of degree 4 and 5, without multiple factors, and point out unexpected relations to the harmonic cross-ratio, j-invariants and the golden ratio. These computations of ranks for binary forms are used to show that the combinatorics of a line arrangement in the complex projective plane does not determine the Waring rank of the defining equation even in very s… ▽ More We discuss the Waring rank of binary forms of degree 4 and 5, without multiple factors, and point out unexpected relations to the harmonic cross-ratio, j-invariants and the golden ratio. These computations of ranks for binary forms are used to show that the combinatorics of a line arrangement in the complex projective plane does not determine the Waring rank of the defining equation even in very simple situations. △ Less

Submitted 24 February, 2020; v1 submitted 13 February, 2020; originally announced February 2020.

Comments: v.3: We relate our results to results in the paper L. Brustenga i Moncus\' i, S. K. Masuti, On the Waring rank of binary forms: the binomial formula and a dihedral cover of rank two forms, arXiv:1901.08320

The Hessian polynomial and the Jacobian ideal of a reduced hypersurface in $\mathbb{P}^n$

Authors: Laurent Busé, Alexandru Dimca, Hal Schenck, Gabriel Sticlaru

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)$, wh… ▽ More 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$. △ Less

Submitted 10 August, 2021; v1 submitted 21 October, 2019; originally announced October 2019.

Comments: v.4: Final version, to appear in Advances in Mathematics

Addition-deletion results for the minimal degree of logarithmic derivations of arrangements

Authors: Takuro Abe, Alexandru Dimca, Gabriel Sticlaru

Abstract: We study the change of the minimal degree of a logarithmic derivation of a hyperplane arrangement under the addition or the deletion of a hyperplane, and give a number of applications. First, we prove the existence of Tjurina maximal line arrangements in a lot of new situations. Then, starting with Ziegler's example of a pair of arrangements of $d=9$ lines with $n_3=6$ triple points in addition to… ▽ More We study the change of the minimal degree of a logarithmic derivation of a hyperplane arrangement under the addition or the deletion of a hyperplane, and give a number of applications. First, we prove the existence of Tjurina maximal line arrangements in a lot of new situations. Then, starting with Ziegler's example of a pair of arrangements of $d=9$ lines with $n_3=6$ triple points in addition to some double points, having the same combinatorics, but distinct minimal degree of a logarithmic derivation, we construct new examples of such pairs, for any number $d\geq 9$ of lines, and any number $n_3\geq 6$ of triple points. Moreover, we show that such examples are not possible for line arrangements having only double and triple points, with $n_3 \leq 5$. △ Less

Submitted 16 September, 2019; v1 submitted 19 August, 2019; originally announced August 2019.

Comments: v2: We prove the existence Tjurina maximal line arrangements in many new cases, see Theorem 4.4 and Proposition 4.6

The 0-th Fitting ideal of the Jacobian module of a plane curve

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: 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. 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. △ Less

Submitted 16 April, 2019; originally announced April 2019.

Waring rank of symmetric tensors, and singularities of some projective hypersurfaces

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We show that if a homogeneous polynomial $f$ in $n$ variables has Waring rank $n+1$, then the corresponding projective hypersurface $f=0$ has at most isolated singularities, and the type of these singularities is completely determined by the combinatorics of a hyperplane arrangement naturally associated with the Waring decomposition of $f$. We also discuss the relation between the Waring rank and… ▽ More We show that if a homogeneous polynomial $f$ in $n$ variables has Waring rank $n+1$, then the corresponding projective hypersurface $f=0$ has at most isolated singularities, and the type of these singularities is completely determined by the combinatorics of a hyperplane arrangement naturally associated with the Waring decomposition of $f$. We also discuss the relation between the Waring rank and the type of singularities on a plane curve, when this curve is defined by the suspension of a binary form, or when the Waring rank is 5. △ Less

Submitted 20 April, 2020; v1 submitted 4 February, 2019; originally announced February 2019.

Comments: v4: We have added Lemma 2.2, which is necessary for a clear proof of the unicity of the integer $k$ in Theorem 2.4. We also attribute Proposition 4.1 to Neriman Tokcan, since we were informed that it appears as Theorem 3.1 in her paper 'On the Waring rank of binary forms', arXiv:1610.09065

Jacobian syzygies and plane curves with maximal global Tjurina numbers

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: First we give a sharp upper bound for the cardinal $m$ of a minimal set of generators for the module of Jacobian syzygies of a complex projective reduced plane curve $C$. Next we discuss the sharpness of an upper bound, given by A. du Plessis and C.T.C. Wall, for the global Tjurina number of such a curve $C$, in terms of its degree $d$ and of the minimal degree $r\leq d-1$ of a Jacobian syzygy. We… ▽ More First we give a sharp upper bound for the cardinal $m$ of a minimal set of generators for the module of Jacobian syzygies of a complex projective reduced plane curve $C$. Next we discuss the sharpness of an upper bound, given by A. du Plessis and C.T.C. Wall, for the global Tjurina number of such a curve $C$, in terms of its degree $d$ and of the minimal degree $r\leq d-1$ of a Jacobian syzygy. We give a homological characterization of the curves whose global Tjurina number equals the du Plessis-Wall upper bound, which implies in particular that for such curves the upper bound for $m$ is also attained. Finally we prove the existence of curves with maximal global Tjurina numbers for certain pairs $(d,r)$. Moreover, we conjecture that such curves exist for any pair $(d,r)$, and that, in addition, they may be chosen to be line arrangements when $r\leq d-2$. This conjecture is proved for degrees $d \leq 11$. △ Less

Submitted 28 April, 2019; v1 submitted 17 January, 2019; originally announced January 2019.

Comments: v5: Corollary 1.3 and subsection 4.13 are new

Plane curves with three syzygies, minimal Tjurina curves curves, and nearly cuspidal curves

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We start the study of reduced complex projective plane curves, whose Jacobian syzygy module has 3 generators. Among these curves one finds the nearly free curves introduced by the authors, and the plus-one generated line arrangements introduced by Takuro Abe. All the Thom-Sebastiani type plane curves, and more generally, any curve whose global Tjurina number is equal to a lower bound given by A. d… ▽ More We start the study of reduced complex projective plane curves, whose Jacobian syzygy module has 3 generators. Among these curves one finds the nearly free curves introduced by the authors, and the plus-one generated line arrangements introduced by Takuro Abe. All the Thom-Sebastiani type plane curves, and more generally, any curve whose global Tjurina number is equal to a lower bound given by A. du Plessis and C.T.C. Wall, are 3-syzygy curves. Rational plane curves which are nearly cuspidal, i.e. which have only cusps except one singularity with two branches, are also related to this class of curves. △ Less

Submitted 28 April, 2019; v1 submitted 28 October, 2018; originally announced October 2018.

Comments: v8: a small change in title; Theorem 3.5 is new, and gives a characterization of curves whose global Tjurina numbers equal the lower bound obtained by A. du Pleases and C.T.C Wall

Deformations of plane curves and Jacobian syzygies

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We relate the equianalytic and the equisingular deformations of a reduced complex plane curve to the Jacobian syzygies of its defining equation. Several examples and conjectures involving rational cuspidal curves are discussed. We relate the equianalytic and the equisingular deformations of a reduced complex plane curve to the Jacobian syzygies of its defining equation. Several examples and conjectures involving rational cuspidal curves are discussed. △ Less

Submitted 21 August, 2018; v1 submitted 16 August, 2018; originally announced August 2018.

Comments: v2. Terminology and references improved following very useful comments by Gert-Martin Greuel

On the jumping lines of bundles of logarithmic vector fields along plane curves

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: For a reduced curve $C:f=0$ in the complex projective plane $\mathbb{P}^2$, we study the set of jumping lines for the rank two vector bundle $T\langle C \rangle $ on $\mathbb{P}^2$, whose sections are the logarithmic vector fields along $C$. We point out the relations of these jumping lines with the Lefschetz type properties of the Jacobian module of $f$ and with the Bourbaki ideal of the module o… ▽ More For a reduced curve $C:f=0$ in the complex projective plane $\mathbb{P}^2$, we study the set of jumping lines for the rank two vector bundle $T\langle C \rangle $ on $\mathbb{P}^2$, whose sections are the logarithmic vector fields along $C$. We point out the relations of these jumping lines with the Lefschetz type properties of the Jacobian module of $f$ and with the Bourbaki ideal of the module of Jacobian syzygies of $f$. In particular, when the vector bundle $T\langle C \rangle $ is unstable, a line is a jumping line if and only if it meets the 0-dimensional subscheme defined by this Bourbaki ideal, a result going back to Schwarzenberger. Other classical general results by Barth, Hartshorne and Hulek resurface in the study of this special class of rank two vector bundles. △ Less

Submitted 22 November, 2018; v1 submitted 17 April, 2018; originally announced April 2018.

Comments: v6: several references added, material reorganized a little

Freeness and invariants of rational plane curves

Authors: Laurent Busé, Alexandru Dimca, Gabriel Sticlaru

Abstract: Given a parameterization $φ$ of a rational plane curve C, we study some invariants of C via $φ$. We first focus on the characterization of rational cuspidal curves, in particular we establish a relation between the discriminant of the pull-back of a line via $φ$, the dual curve of C and its singular points. Then, by analyzing the pull-backs of the global differential forms via $φ$, we prove that t… ▽ More Given a parameterization $φ$ of a rational plane curve C, we study some invariants of C via $φ$. We first focus on the characterization of rational cuspidal curves, in particular we establish a relation between the discriminant of the pull-back of a line via $φ$, the dual curve of C and its singular points. Then, by analyzing the pull-backs of the global differential forms via $φ$, we prove that the (nearly) freeness of a rational curve can be tested by inspecting the Hilbert function of the kernel of a canonical map. As a by product, we also show that the global Tjurina number of a rational curve can be computed directly from one of its parameterization, without relying on the computation of an equation of C. △ Less

Submitted 22 January, 2020; v1 submitted 17 April, 2018; originally announced April 2018.

Comments: Mathematics of Computation, American Mathematical Society, In press

Line and rational curve arrangements, and Walther's inequality

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: There are two invariants associated to any line arrangement: the freeness defect $ν(C)$ and an upper bound for it, denoted by $ν'(C)$, coming from a recent result by Uli Walther. We show that $ν'(C)$ is combinatorially determined, at least when the number of lines in $C$ is odd, while the same property is conjectural for $ν(C)$. In addition, we conjecture that the equality $ν(C)=ν'(C)$ holds if an… ▽ More There are two invariants associated to any line arrangement: the freeness defect $ν(C)$ and an upper bound for it, denoted by $ν'(C)$, coming from a recent result by Uli Walther. We show that $ν'(C)$ is combinatorially determined, at least when the number of lines in $C$ is odd, while the same property is conjectural for $ν(C)$. In addition, we conjecture that the equality $ν(C)=ν'(C)$ holds if and only if the essential arrangement $C$ of $d$ lines has either a point of multiplicity $d-1$, or has only double and triple points. We prove both conjectures in some cases, in particular when the number of lines is at most 10. We also extend a result by H. Schenck on the Castenuovo-Mumford regularity of line arrangements to arrangements of possibly singular rational curves. △ Less

Submitted 25 February, 2019; v1 submitted 14 March, 2018; originally announced March 2018.

Comments: v4: presentation improved

On the freeness of rational cuspidal plane curves

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We bring additional support to the conjecture saying that a rational cuspidal plane curve is either free or nearly free. This conjecture was confirmed for curves of even degree, and in this note we prove it for many odd degrees. In particular, we show that this conjecture holds for the curves of degree at most 34. We bring additional support to the conjecture saying that a rational cuspidal plane curve is either free or nearly free. This conjecture was confirmed for curves of even degree, and in this note we prove it for many odd degrees. In particular, we show that this conjecture holds for the curves of degree at most 34. △ Less

Submitted 26 February, 2018; v1 submitted 19 February, 2018; originally announced February 2018.

Comments: v.2 minor changes

Journal ref: Moscow Math. J. 18(2018) 659--666

On supersolvable and nearly supersolvable line arrangements

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We introduce a new class of line arrangements in the projective plane, called nearly supersolvable, and show that any arrangement in this class is either free or nearly free. More precisely, we show that the minimal degree of a Jacobian syzygy for the defining equation of the line arrangement, which is a subtle algebraic invariant, is determined in this case by the combinatorics. When such a line… ▽ More We introduce a new class of line arrangements in the projective plane, called nearly supersolvable, and show that any arrangement in this class is either free or nearly free. More precisely, we show that the minimal degree of a Jacobian syzygy for the defining equation of the line arrangement, which is a subtle algebraic invariant, is determined in this case by the combinatorics. When such a line arrangement is nearly free, we discuss the splitting types and the jumping lines of the associated rank two vector bundle, as well as the corresponding jumping points, introduced recently by S. Marchesi and J. Vallès. As a by-product of our results, we get a version of the Slope Problem, looking for lower bounds on the number of slopes of the lines determined by $n$ points in the affine plane over the real or the complex numbers as well. △ Less

Submitted 24 September, 2018; v1 submitted 11 December, 2017; originally announced December 2017.

Comments: v.3, a version of the Slope Problem, valid over the real and the complex numbers as well, is obtained, see Thm. 1.1 and Thm. 4.5

Saturation of Jacobian ideals: some applications to nearly free curves, line arrangements and rational cuspidal plane curves

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: In this note we describe the minimal resolution of the ideal $I_f$, the saturation of the Jacobian ideal of a nearly free plane curve $C:f=0$. In particular, it follows that this ideal $I_f$ can be generated by at most 4 polynomials. Related general results by Hassanzadeh and Simis on the saturation of codimension 2 ideals are discussed in detail. Some applications to rational cuspidal plane curve… ▽ More In this note we describe the minimal resolution of the ideal $I_f$, the saturation of the Jacobian ideal of a nearly free plane curve $C:f=0$. In particular, it follows that this ideal $I_f$ can be generated by at most 4 polynomials. Related general results by Hassanzadeh and Simis on the saturation of codimension 2 ideals are discussed in detail. Some applications to rational cuspidal plane curves and to line arrangements are also given. △ Less

Submitted 17 September, 2019; v1 submitted 7 November, 2017; originally announced November 2017.

Comments: v3: minor changes, final version

Journal ref: J. Pure Appl. Algebra 223 (2019), no. 12, 5055--5066

Computing Milnor fiber monodromy for some projective hypersurfaces

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We describe an algorithm computing the monodromy and the pole order filtration on the top Milnor fiber cohomology of hypersurfaces in $\mathbb{P}^n$ whose pole order spectral sequence degenerates at the second page. In the case of hyperplane arrangements and free, locally quasi-homogeneous hypersurfaces, and assuming a key conjecture, this algorithm is much faster than for a hypersurface as above.… ▽ More We describe an algorithm computing the monodromy and the pole order filtration on the top Milnor fiber cohomology of hypersurfaces in $\mathbb{P}^n$ whose pole order spectral sequence degenerates at the second page. In the case of hyperplane arrangements and free, locally quasi-homogeneous hypersurfaces, and assuming a key conjecture, this algorithm is much faster than for a hypersurface as above. Our conjecture is supported by the results due to L. Narv\' ez Macarro and M. Saito on the roots of Bernstein-Sato polynomials of such hypersurfaces, by all the examples computed so far, and by one partial result. For hyperplane arrangements coming from reflection groups, a surprising symmetry of their pole order spectra on top cohomology is displayed in our examples. We also improve our previous results in the case of plane curves. △ Less

Submitted 4 October, 2017; v1 submitted 21 March, 2017; originally announced March 2017.

Comments: v5: small changes in the presentation and some references added

Computing the monodromy and pole order filtration on Milnor fiber cohomology of plane curves

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We describe an algorithm computing the monodromy and the pole order filtration on the Milnor fiber cohomology of any reduced projective plane curve $C$. The relation to the zero set of Bernstein-Sato polynomial of the defining homogeneous polynomial for $C$ is also discussed. When $C$ has some non weighted homogeneous singularities, then we have to assume that a conjecture holds in order to get so… ▽ More We describe an algorithm computing the monodromy and the pole order filtration on the Milnor fiber cohomology of any reduced projective plane curve $C$. The relation to the zero set of Bernstein-Sato polynomial of the defining homogeneous polynomial for $C$ is also discussed. When $C$ has some non weighted homogeneous singularities, then we have to assume that a conjecture holds in order to get some of our results. In all the examples computed so far this conjecture holds. △ Less

Submitted 12 September, 2017; v1 submitted 22 September, 2016; originally announced September 2016.

Comments: v5: minor changes, some references updated

Journal ref: Journal of Symbolic Computation 91(2019), 98-115

On the Milnor monodromy of the exceptional reflection arrangement of type $G_{31}$

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: Combining recent results by A. Macinic, S. Papadima and R. Popescu with a spectral sequence and computer aided computations, we determine the monodromy action on $H^1(F,\mathbb{C})$, where $F$ denotes the Milnor fiber of the hyperplane arrangement associated to the exceptional irreducible complex reflection group $G_{31}$. This completes the description given by the first author of such monodromy… ▽ More Combining recent results by A. Macinic, S. Papadima and R. Popescu with a spectral sequence and computer aided computations, we determine the monodromy action on $H^1(F,\mathbb{C})$, where $F$ denotes the Milnor fiber of the hyperplane arrangement associated to the exceptional irreducible complex reflection group $G_{31}$. This completes the description given by the first author of such monodromy operators for all the other irreducible complex reflection groups. △ Less

Submitted 27 December, 2017; v1 submitted 21 June, 2016; originally announced June 2016.

Comments: v3. Minor changes in the presentation. Most of the Singular codes used in the paper are available now on the webpage of the first author

Journal ref: Documenta Math. 23 (2018) 1--14

A computational approach to Milnor fiber cohomology

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: In this note we consider the Milnor fiber $F$ associated to a reduced projective plane curve $C$. A computational approach for the determination of the characteristic polynomial of the monodromy action on the first cohomology group of $F$, also known as the Alexander polynomial of the curve $C$, is presented. This leads to an effective algorithm to detect all the monodromy eigenvalues and, in many… ▽ More In this note we consider the Milnor fiber $F$ associated to a reduced projective plane curve $C$. A computational approach for the determination of the characteristic polynomial of the monodromy action on the first cohomology group of $F$, also known as the Alexander polynomial of the curve $C$, is presented. This leads to an effective algorithm to detect all the monodromy eigenvalues and, in many cases, explicit bases for the monodromy eigenspaces in terms of polynomial differential forms. △ Less

Submitted 15 February, 2016; v1 submitted 10 February, 2016; originally announced February 2016.

Comments: v2. Some examples and references added

Journal ref: Forum Math. 29 (2017), 831-- 846

On the exponents of free and nearly free projective plane curves

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We show that all the possible pairs of integers occur as exponents for free or nearly free irreducible plane curves and line arrangements, by producing only two types of simple families of examples. The topology of the complements of these curves and line arrangements is also discussed, and many of them are shown not to be $K(π,1)$ spaces. We show that all the possible pairs of integers occur as exponents for free or nearly free irreducible plane curves and line arrangements, by producing only two types of simple families of examples. The topology of the complements of these curves and line arrangements is also discussed, and many of them are shown not to be $K(π,1)$ spaces. △ Less

Submitted 21 December, 2015; v1 submitted 28 November, 2015; originally announced November 2015.

Comments: v2: a section is added where the topology of the complements of our examples of free and nearly free curves is discussed. In particular, many of them are shown not to be aspherical spaces

Journal ref: Rev. Mat. Complut. 30(2017), 259--268

Mixed multiplicities, Hilbert polynomials and homaloidal surfaces

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We investigate the relationship among several numerical invariants associated to a (free) projective hypersurface $V$: the sequence of mixed multiplicities of its Jacobian ideal, the Hilbert polynomial of its Milnor algebra, and the sequence of exponents when $V$ is free. As a byproduct, we obtain explicit equations for some of the homaloidal surfaces in the projective 3-dimensional space construc… ▽ More We investigate the relationship among several numerical invariants associated to a (free) projective hypersurface $V$: the sequence of mixed multiplicities of its Jacobian ideal, the Hilbert polynomial of its Milnor algebra, and the sequence of exponents when $V$ is free. As a byproduct, we obtain explicit equations for some of the homaloidal surfaces in the projective 3-dimensional space constructed by C. Ciliberto, F. Russo and A. Simis. △ Less

Submitted 17 December, 2015; v1 submitted 30 July, 2015; originally announced July 2015.

Comments: v5: the following key reference added: N. V. Trung, Positivity of mixed multiplicities, Math. Ann. 319 (2001), 33-63

Journal ref: Math. Nachrichten 290 (2017), 785--793

Free and nearly free surfaces in $P^3$

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We define the nearly free surfaces in $P^3$ and show that the Hilbert polynomial of the Milnor algebra of a free or nearly free surface in $P^3$ can be expressed in terms of the exponents. An analog of Saito's criterion of freeness in the case of nearly free divisors is proven and examples of irreducible free and nearly free surfaces are given. We define the nearly free surfaces in $P^3$ and show that the Hilbert polynomial of the Milnor algebra of a free or nearly free surface in $P^3$ can be expressed in terms of the exponents. An analog of Saito's criterion of freeness in the case of nearly free divisors is proven and examples of irreducible free and nearly free surfaces are given. △ Less

Submitted 13 April, 2017; v1 submitted 13 July, 2015; originally announced July 2015.

Comments: v6: Question 5.16 is replaced by Example 5.17 containing examples kindly provided by Aldo Conca. Question 5.17 is replaced by Remark 5.18. Section 6 is discarded and the references are updated

Journal ref: Asian J. Math. 22 (2018), 787--810

Nearly free divisors and rational cuspidal curves

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We define a class of plane curves which are close to the free divisors and such that conjecturally it contains the class of rational cuspidal curves. Using a recent result by U. Walther we show that any unicuspidal rational curve with a unique Puiseux pair is either free or belongs to this class. We define a class of plane curves which are close to the free divisors and such that conjecturally it contains the class of rational cuspidal curves. Using a recent result by U. Walther we show that any unicuspidal rational curve with a unique Puiseux pair is either free or belongs to this class. △ Less

Submitted 2 June, 2015; v1 submitted 4 May, 2015; originally announced May 2015.

Comments: v3: title modified and the topological results strengthened. In particular, any rational cuspidal curve whose degree is either even or a prime power, or which has an abelian group, is a nearly free divisor

Free divisors and rational cuspidal plane curves

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: A characterization of freeness for plane curves in terms of the Hilbert function of the associated Milnor algebra is given as well as many new examples of rational cuspidal curves which are free. Some stronger properties are stated as conjectures. A characterization of freeness for plane curves in terms of the Hilbert function of the associated Milnor algebra is given as well as many new examples of rational cuspidal curves which are free. Some stronger properties are stated as conjectures. △ Less

Submitted 30 April, 2015; v1 submitted 6 April, 2015; originally announced April 2015.

Comments: version 4: a misprint in the conjecture added yesterday is corrected

Journal ref: Math. Res. Lett. 24(2017), 1023--1042

Hessian ideals of a homogeneous polynomial and generalized Tjurina algebras

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: Using the minors in Hessian matrices, we introduce new graded algebras associated to a homogeneous polynomial. When the associated projective hypersurface has isolated singularities, these algebras are related to some new local algebras associated to isolated hypersurface singularities, which generalize their Tjurina algebras. One consequence of our results is a new way to determine the number of… ▽ More Using the minors in Hessian matrices, we introduce new graded algebras associated to a homogeneous polynomial. When the associated projective hypersurface has isolated singularities, these algebras are related to some new local algebras associated to isolated hypersurface singularities, which generalize their Tjurina algebras. One consequence of our results is a new way to determine the number of weighted homogeneous singularities of such a hypersurface. △ Less

Submitted 8 December, 2014; v1 submitted 1 December, 2014; originally announced December 2014.

Comments: version 2: new references and some final comments added following a kind remark from Aldo Conca

Journal ref: Documenta Math. 20 (2015) 689--705

Syzygies of Jacobian ideals and weighted homogeneous singularities

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: Let $V$ be a projective hypersurface having only isolated singularities. We show that these singularities are weighted homogeneous if and only if the Koszul syzygies among the partial derivatives of an equation for $V$ are exactly the syzygies with a generic first component vanishing on the singular locus subscheme of $V$. This yields in particular a positive answer in this setting to a question r… ▽ More Let $V$ be a projective hypersurface having only isolated singularities. We show that these singularities are weighted homogeneous if and only if the Koszul syzygies among the partial derivatives of an equation for $V$ are exactly the syzygies with a generic first component vanishing on the singular locus subscheme of $V$. This yields in particular a positive answer in this setting to a question raised by Morihiko Saito and the first author. Finally we explain how our result can be used to improve the listing of Jacobian syzygies of a given degree by a computer algebra system such as Singular, CoCoA or Macaulay2. △ Less

Submitted 9 July, 2014; v1 submitted 1 July, 2014; originally announced July 2014.

Comments: version 2: presentation of results slightly modified due to the addition a key reference by L. Busé and J.-P. Jouanolou

Journal ref: Journal of Symbolic Computation 74(2016), 627--634

Codimension two complete intersections and Hilbert-Poincaré series

Authors: Gabriel Sticlaru

Abstract: We investigate the relation between codimension two smooth complete intersections in a projective space and some naturally associated graded algebras. We give some examples of log-concave polynomials and we propose two conjectures for these algebras. We investigate the relation between codimension two smooth complete intersections in a projective space and some naturally associated graded algebras. We give some examples of log-concave polynomials and we propose two conjectures for these algebras. △ Less

Submitted 13 January, 2014; originally announced January 2014.

MSC Class: 13D40; 14J70; 14Q10; 32S25

Free divisors versus stability and coincidence thresholds

Authors: Gabriel Sticlaru

Abstract: We show that there is an unexpected relation between free divisors and stability and coincidence thresholds for projective hypersurfaces. We show that there is an unexpected relation between free divisors and stability and coincidence thresholds for projective hypersurfaces. △ Less

Submitted 8 January, 2014; originally announced January 2014.

MSC Class: 13D40; 14J70; 14Q10; 32S25

Some criteria to check if a projective hypersurfaces is smooth or singular

Authors: Gabriel Sticlaru

Abstract: In this paper we present some properties for projective hypersurfaces, smooth and singular, to be criteria for identification. To make the decision with these criteria, we have included procedures written in Singular language. In this paper we present some properties for projective hypersurfaces, smooth and singular, to be criteria for identification. To make the decision with these criteria, we have included procedures written in Singular language. △ Less

Submitted 7 January, 2014; originally announced January 2014.

MSC Class: 13D40; 14J70; 14Q10; 32S25

Log-concavity of Milnor algebras for projective hypersurfaces

Authors: Gabriel Sticlaru

Abstract: We investigate the 0-th local cohomology of the Jacobian ring of a homogeneous polynomial defining a projective hypersurface whose singular locus is a 0-dimensional complete intersection. We investigate the 0-th local cohomology of the Jacobian ring of a homogeneous polynomial defining a projective hypersurface whose singular locus is a 0-dimensional complete intersection. △ Less

Submitted 29 January, 2014; v1 submitted 1 October, 2013; originally announced October 2013.

Comments: new material added as follows: Examples 2.4, 2.5, 2.6 On Remark 2.3, a table with examples for all subcases, arising from some singular plane curves for which the saturated Jacobian ideal is a complete intersection We added remark 1.5. Thanks to professor Aldo Conca for these examples

MSC Class: 13D40; 14J70; 14Q10; 32S25

Invariants and rigidity of projective hypersurfaces

Authors: Gabriel Sticlaru

Abstract: This paper continues our researches \cite{DS1, DS2, DS3} by computing some invariants based on Hilbert-Poincaré series associated to Milnor algebras. Our computations are for some of the classical surfaces and 3-folds with different configurations of isolated singularities. As a by-product of a recent result of E. Sernesi, we give examples of classical hypersurfaces which are (or are not) projecti… ▽ More This paper continues our researches \cite{DS1, DS2, DS3} by computing some invariants based on Hilbert-Poincaré series associated to Milnor algebras. Our computations are for some of the classical surfaces and 3-folds with different configurations of isolated singularities. As a by-product of a recent result of E. Sernesi, we give examples of classical hypersurfaces which are (or are not) projectively rigid. We also include a Singular program to compute the invariants and to decide if a singular projective hypersurface is nodal and projectively rigid. △ Less

Submitted 27 September, 2013; originally announced September 2013.

On the syzygies and Alexander polynomials of nodal hypersurfaces

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We give sharp lower bounds for the degree of the syzygies involving the partial derivatives of a homogeneous polynomial defining a nodal hypersurface. The result gives information on the position of the singularities of a nodal hypersurface expressed in terms of defects or superabundances. The case of Chebyshev hypersurfaces is considered as a test for this result and leads to a potentially infi… ▽ More We give sharp lower bounds for the degree of the syzygies involving the partial derivatives of a homogeneous polynomial defining a nodal hypersurface. The result gives information on the position of the singularities of a nodal hypersurface expressed in terms of defects or superabundances. The case of Chebyshev hypersurfaces is considered as a test for this result and leads to a potentially infinite family of nodal hypersurfaces having nontrivial Alexander polynomials. △ Less

Submitted 22 November, 2011; v1 submitted 7 November, 2011; originally announced November 2011.

Comments: The second version: some minor changes made and Example 4.3 involving Kummer surfaces with 16 nodes added

MSC Class: 14C30; 13D40 (Primary) 32S35; 13D02 (Secondary)

Koszul complexes and pole order filtrations

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: We study the interplay between the cohomology of the Koszul complex of the partial derivatives of a homogeneous polynomial $f$ and the pole order filtration $P$ on the cohomology of the open set $U=\PP^n \setminus D$, with $D$ the hypersurface defined by $f=0$. The relation is expressed by some spectral sequences, which may be used on one hand to determine the filtration $P$ in many cases for curv… ▽ More We study the interplay between the cohomology of the Koszul complex of the partial derivatives of a homogeneous polynomial $f$ and the pole order filtration $P$ on the cohomology of the open set $U=\PP^n \setminus D$, with $D$ the hypersurface defined by $f=0$. The relation is expressed by some spectral sequences, which may be used on one hand to determine the filtration $P$ in many cases for curves and surfaces, and on the other hand to obtain information about the syzygies involving the partial derivatives of the polynomial $f$. The case of a nodal hypersurface $D$ is treated in terms of the defects of linear systems of hypersurfaces of various degrees passing through the nodes of $D$. When $D$ is a nodal surface in $\PP^3$, we show that $F^2H^3(U) \ne P^2H^3(U)$ as soon as the degree of $D$ is at least 4. △ Less

Submitted 15 July, 2013; v1 submitted 19 August, 2011; originally announced August 2011.

Comments: v.4: minor typos fixed

MSC Class: Primary 14C30; 13D40; Secondary 32S35; 13D02

Chebyshev curves, free resolutions and rational curve arrangements

Authors: Alexandru Dimca, Gabriel Sticlaru

Abstract: First we construct a free resolution for the Milnor (or Jacobian) algebra $M(f)$ of a complex projective Chebyshev plane curve $\CC_d:f=0$ of degree $d$. In particular, this resolution implies that the dimensions of the graded components $M(f)_k$ are constant for $k \geq 2d-3.$ Then we show that the Milnor algebra of a nodal plane curve $C$ has such a behaviour if and only if all the irreducible c… ▽ More First we construct a free resolution for the Milnor (or Jacobian) algebra $M(f)$ of a complex projective Chebyshev plane curve $\CC_d:f=0$ of degree $d$. In particular, this resolution implies that the dimensions of the graded components $M(f)_k$ are constant for $k \geq 2d-3.$ Then we show that the Milnor algebra of a nodal plane curve $C$ has such a behaviour if and only if all the irreducible components of $C$ are rational. For the Chebyshev curves, all of these components are in addition smooth, hence they are lines or conics and explicit factorizations are given in this case. △ Less

Submitted 29 August, 2011; v1 submitted 3 August, 2011; originally announced August 2011.

Comments: 14 pages, version 3: two misprints are corrected on p.11 and a reference to further work by the authors in this direction is added

MSC Class: Primary 14H45; 14H50; Secondary 32S35