Differently from the Milnor number, no formula relating the Tjurina number of a reducible algebroid curve to invariants of its branches was known. The aim of this work is to provide such a formula for a complete intersection algebroid curve with several branches in terms of invariants of its branches and the maximal points of the set of values of Kähler differentials on components of the curve.
A closed subscheme of codimension two $T \subset P^2$ is a quasi complete intersection (q.c.i.) of type $(a,b,c)$ if there exists a surjective morphism $\mathcal{O} (-a) \oplus \mathcal{O} (-b) \oplus \mathcal{O} (-c) \to \mathcal{I} _T$. We give bounds on deg$(T)$ in function of $a,b,c$ and $r$, the least degree of a syzygy between the three polynomials defining the q.c.i. As a by-product we recover a theorem of du Plessis-Wall on the global Tjurina number of plane curves and some other related results.
We give a characterization of nearly free plane curves in terms of their global Tjurina numbers, similar to the characterization of free curves as curves with a maximal Tjurina number, due to A. A. du Plessis and C.T.C. Wall. It is also shown that an irreducible plane curve having a 1-dimensional symmetry is nearly free. A new numerical characterization of free curves and a simple characterization of nearly free curves in terms of their syzygies conclude this note.
In this paper we give a positive answer to a question of Dimca and Greuel about the quotient between the Milnor and the Tjurina numbers for any irreducible germ of plane curve singularity. This result is based on a closed formula for the minimal Tjurina number of an equisingularity class in terms of the sequence of multiplicities of the strict transform along a resolution. The key points for the proof are previous results by Genzmer, Wall and Mattei.
In this paper we give a complete answer to a question posed by Dimca and Greuel about the quotient of the Milnor and Tjurina numbers of a plane curve singularity. We put this question into a general framework of the study of the difference of Milnor and Tjurina numbers for isolated complete intersection singularities showing its connection with other problems in singularity theory.
Graded Betti numbers of the Jacobian algebra and total Tjurina numbers of plane curves
Université Côte d’Azur(蔚蓝海岸大学);CNRS(法国国家科学研究中心);Simion Stoilow Institute of Mathematics(西奥多·斯托伊洛数学研究所);Faculty of Mathematics and Informatics, Ovidius University(奥维迪乌斯大学数学与信息学院)
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 …
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 …
We show that a general lower bound for the global Tjurina number of a reduced complex projective plane curve, given by A. A. du Plessis and C.T.C. Wall, can be improved when the curve is a line arrangement.
We introduce the concept of good Saito's basis for a plane curve $S$ and we explore it to obtain a formula for the minimal Tjurina number in a topological class. In particular, we present a positive answer for a question of Dimca and Greuel relating the Tjurina number and the Milnor number for a singular irreducible plane curve.
For an isolated hypersurface singularity $f=0$, the Milnor number $μ$ is greater than or equal to the Tjurina number $τ$ (the dimension of the base of the semi-universal deformation), with equality if $f$ is quasi-homogeneous. K. Saito proved the converse. The same result is true for complete intersections, but is much harder. For a Gorenstein surface singularity $(V,0)$, the difference $μ- τ$ can be defined whether or not $V$ is smoothable; it was proved in [23] that it is non-negative, and equal to 0 iff $(V,0)$ is quasi-homogeneous. We conjecture a similar result for non-Gorenstein surface …
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 collect some classical results about holomorphic 1-forms of a reduced complex curve singularity, in particular of a complete intersection, and use them to compare the Milnor number, the Tjurina number and the dimension of the torsion part of the 1-forms.
Isolated Cohen-Macaulay codimension 2 singularities share many common features with isolated complete intersection singularities, but they also exhibit some striking new behaviour. One such instance was recently observed by Damon and Pike in their study of the vanishing topology and Euler characteristic, where they took this class of singularities as examples. In this article, we explore their findings further by determining the Betti numbers explicitly and explain the new phenomena. An important tool here is the Tjurina modification relating a Cohen-Macaulay codimension 2 singularity to a fin…
We collect some classical results about holomorphic 1-forms of a reduced complex curve singularity. They are used to study the pull-back of holomorphic 1-forms on an isolated complete intersection curve singularity under the normalization morphism. We wonder whether the Milnor number $μ$ and the Tjurina number $τ$ of any isolated plane curve singularity satisfy the inequality $3μ<4τ$.
We will describe the topological type of the discriminant curve of the morphism $(\ell, f)$, where $\ell$ is a smooth curve and $f$ is an irreducible curve (branch) of multiplicity less than five or a branch that the difference between its Milnor number and Tjurina number is less than 3. We prove that for a branch of these families, the topological type of the discriminant curve is determined by the semigroup, the Zariski invariant and at most two other analytical invariants of the branch.
Let $X$ be a nonsingular complex variety and $D$ a reduced effective divisor in $X$. In this paper we study the conditions under which the formula $c_{SM}(1_U)=c(\textup{Der}_X(-\log D))\cap [X]$ is true. We prove that this formula is equivalent to a Riemann-Roch type of formula. As a corollary, we show that over a surface, the formula is true if and only if the Milnor number equals the Tjurina number at each singularity of $D$. We also show the Rimann-Roch type of formula is true if the Jacobian scheme of $D$ is nonsingular or a complete intersection.
This note gives the complete projective classification of rational, cuspidal plane curves of degree at least 6, and having only weighted homogeneous singularities. It also sheds new light on some previous characterizations of free and nearly free curves in terms of Tjurina numbers. Finally, we suggest a stronger form of Terao's conjecture on the freeness of a line arrangement being determined by its combinatorics.
The value semigroup of a $k$-semiroot $C_k$ of a plane branch $C$ allow us to recover part of the value semigroup $Γ=\langle v_0,\ldots ,v_g\rangle$ of $C$, that is, it is related to topological invariants of $C$. In this paper we consider the set of values of differentials $Λ_k$ of $C_k$, that is an analytical invariant, and we show how it determine part of the set of values of differentials $Λ$ of $C$. As a consequence, in a fixed topological class, we relate the Tjurina number $τ$ of $C$ with the Tjurina number of $C_k$. In particular, we show that $τ\leq μ-\frac{3n_g-2}{4}μ_{g-1}$ where $n…
Given a tropical divisor $D$ in the intersection of two tropical plane curves, we study when it can be realized as the tropicalization of the intersection of two algebraic curves, and give a sufficient condition. We show that under a certain condition involving a graph determined by these tropical curves, we can algorithmically find algebraic curves such that the tropicalization of their intersection is $D$.
In this paper we study degree three curves in $C^{(2)}$ with positive self-intersection defined by the action of a spherical triangular group in an auxiliary curve.
We establish the Airy curve case of a conjecture of Gukov and Sułkowski by reducing to Dijkgraaf-Verlinde-Verlinde Virasoro constraints satisfied by the intersection numbers on moduli spaces of algebraic curves.
This is a note on calculating intersection numbers on moduli spaces of curves. A codimension 3 relation among tautological classes on the moduli space of genus 4 curves is given.
We generalize the results of Clemens, Ein, and Voisin regarding rational curves and zero cycles on generic projective complete intersections to the logarithmic setup.
We deform monomial space curves in order to construct examples of set-theoretical complete intersection space curve singularities. As a by-product we describe an inverse to Herzog's construction of minimal generators of non-complete intersection numerical semigroups with three generators.
In this paper, we consider rational cuspidal plane curves having at least three cusps. We give an upper bound of the self-intersection number of the proper transforms of such curves via the minimal embedded resolution of the cusps. For a curve having exactly three cusps, we show that the self-intersection number is equal to the bound if and only if the curve coincides with the quartic curve having three cusps.
Bezout's theorem gives us the degree of intersection of two properly intersecting projective varieties. As two curves in P^3 never intersect properly, Bezout's theorem cannot be directly used to bound the number of intersection points of such curves. In this work, we bound the maximum number of intersection points of two integral ACM curves in P^3. The bound that we give is in many cases optimal as a function of only the degrees and the initial degrees of the curves.
We bound the genus of a projective curve lying on a complete intersection surface in terms of its degree and the degrees of the defining equations of the surface on which it lies.
In this paper, we show that general Fano complete intersections over an algebraically closed field of arbitrary characteristics are separably rationally connected. Our proof also implies that general log Fano complete intersections with smooth tame boundary divisors admit very free $A^1$-curves.
A multiple (loc. Cohen Macaulay) structure, X, on a space curve C in P3 is said to be primitive if X is locally contained in a smooth surface. We give numerical conditions for C to be a "primitive" set theoretic complete intersection (i.e. to have a primitive multiple structure which is a complete intersection).
We explain how to compute top-dimensional intersections of psi-classes on moduli spaces of m-stable curves. On the moduli spaces of Deligne-Mumford stable pointed curves of genus one, these intersection numbers are determined by two recursions, namely the string equation and the dilaton equation. We establish, for each integer m>0, an analogous pair of recursions which determine these intersection numbers on the moduli spaces of m-stable pointed curves of genus one.
We develop a method for describing the tropical complete intersection of a tropical hypersurface and a tropical plane in $\mathbb{R}^3$. This involves a method for determining the topological type of the intersection of a tropical plane curve and $\mathbb{R}_{\leq 0}^2$ by using a polyhedral complex. As an application, we study smooth tropical complete intersection curves of genus $3$ in $\mathbb{R}^3$. In particular, we show that there are no smooth tropical complete intersection curves in $\mathbb{R}^3$ whose skeletons are the lollipop graph of genus $3$. This gives a partial answer to a pro…
We study properties of rational curves on complete intersections in positive characteristic. It has long been known that in characteristic 0, smooth Calabi-Yau and general type varieties are not uniruled. In positive characteristic, however, there are well-known counterexamples to this statement. We will show that nevertheless, a \emph{general} Calabi-Yau or general type complete intersection in projective space is not uniruled. We will also show that the space of complete intersections of degree $(d_1, \cdots, d_k)$ containing a rational curve has codimension at least $\sum_{i=1}^k d_i - 2n +…
For a smooth projective curve, the cycles of subordinate or, more generally, secant divisors to a given linear series are among some of the most studied objects in classical enumerative geometry. We consider the intersection of two such cycles corresponding to secant divisors of two different linear series on the same curve and investigate the validity of the enumerative formulas counting the number of divisors in the intersection. We study some interesting cases, with unexpected transversality properties, and establish a general method to verify when this intersection is empty.
Building on results of Clemens and Kley, we find criteria for a continuous family of curves in a nodal $K$-trivial threefold $Y_0$ to deform to a scheme of finitely many smooth isolated curves in a general deformation $Y_t$ of $Y_0$. As an application, we show the existence of smooth isolated curves of bounded genera and unbounded degrees in Calabi-Yau complete intersections threefolds.
The purpose of this paper is to show that for a complete intersection curve $C$ in projective space (other than a few stated exceptions), any morphism $f: C \to \mathbb{P}^r$ satisfying $\text{deg}\, f^*\mathcal{O}_{\mathbb{P}^r}(1) <\text{deg}\, C$ is obtained by projection from a linear space. In particular, we obtain bounds on the gonality of such curves and compute the gonality of general complete intersection curves. We also prove a special case of one of the well-known Cayley-Bacharach conjectures posed by Eisenbud, Green, and Harris.
A curve on a projective variety is called movable if it belongs to an algebraic family of curves covering the variety. We consider when the cone of movable curves can be characterized without existence statements of covering families by studying the complete intersection cone on a family of blow-ups of complex projective space, including the moduli space of stable six-pointed rational curves, $\bar{M}_{0,6}$, and the permutohedral or Losev-Manin moduli space of four-pointed rational curves. Our main result is that the movable and complete intersection cones coincide for the toric members of th…
Recently Knutsen found criteria for the curves in a complete linear system $|\mathcal{L}|$ on a smooth surface $X$ in a nodal K-trivial threefold $Y_0$ to deform to a scheme of finitely many smooth isolated curves in a general deformation $Y_t$ of $Y_0$. In this article we develop new methods to check whether the set of nodes of $Y_0$ imposes independent conditions on $|\mathcal{L}|$. As an application, we find new smooth isolated curves in complete intersection Calabi-Yau threefolds.
From a block-diagonal $(n+1) \times (m+1) \times (m+1)$ tensor symmetric in the last two entries one obtains two varieties: an intersection of symmetric determinantal hypersurfaces $X$ in $n$-dimensional projective space, and an intersection of quadrics $\mathfrak{C}$ in $m$-dimensional projective space. Under mild technical assumptions, we characterize the accidental singularities of $X$ in terms of $\mathfrak{C}$. We apply our methods to algebraic curves and show how to construct theta characteristics of certain canonical curves of genera 3, 4, and 5, generalizing a classical construction of…
We consider two mixed curve $C,C'\subset {\Bbb C}^2$ which are defined by mixed functions of two variables $\bf z=(z_1,z_2)$. We have shown in \cite{MC}, that they have canonical orientations. If $C$ and $C'$ are smooth and intersect transversely at $P$, the intersection number $I_{top}(C,C';P)$ is topologically defined. We will generalize this definition to the case when the intersection is not necessarily transversal or either $C$ or $C'$ may be singular at $P$ using the defining mixed polynomials.
Let $S$ be an irreducible smooth projective surface and $\mathcal{F}$ a collection of curves with negative self-intersection on $S$ such that no positive combination $aC_1 + bC_2$ is connected nef. In this paper, we provide an alternate proof that $\mathcal{F}$ is bounded by an exponential function of the Picard number $ρ(S)$ of $S$ using an extended version of the Klein disc model for hyperbolic space.