We show that every convergent power series with monomial extended Jacobian ideal is right equivalent to a Thom-Sebastiani polynomial. This solves a problem posed by Hauser and Schicho. On the combinatorial side, we introduce a notion of Jacobian semigroup ideal involving a transversal matroid. For any such ideal we construct a defining Thom-Sebastiani polynomial. On the analytic side, we show that power series with a quasihomogeneous extended Jacobian ideal are strongly Euler homogeneous. Due to a Mather-Yau-type theorem, such power series are determined by their Jacobian ideal up to right equivalence.
Let $X_λ$ and $X_λ'$ be monomial deformations of two Delsarte hypersurfaces in weighted projective spaces. In this paper we give a sufficient condition so that their zeta functions have a common factor. This generalises results by Doran, Kelly, Salerno, Sperber, Voight and Whitcher [arXiv:1612.09249], where they showed this for a particular monomial deformation of a Calabi-Yau invertible polynomial. It turns out that our factor can be of higher degree than the factor found in [arXiv:1612.09249].
We introduce two families of ideals, $F$-jumping ideals and $F$-Jacobian ideals, in order to study the singularities of hypersurfaces in positive characteristic. Both families are defined using the $D$-modules $M_α$ that were introduced by Blickle, Mustaţă and Smith. Using strong connections between $F$-jumping ideals and generalized test ideals, we give a characterization of $F$-jumping numbers for hypersurfaces. Furthermore, we give an algorithm that determines whether certain numbers are $F$-jumping numbers. In addition, we use $F$-Jacobian ideals to study intrinsic properties of the singul…
We provide a combinatorial characterization of monomial linear systems on toric varieties whose general member is quasismooth. This is given both in terms of the Newton polytope and in terms of the matrix of exponents of a monomial basis.
We investigate the relations between the syzygies of the Jacobian ideal of the defining equation for a projective hypersurface $V$ with isolated singularities and the Torelli properties of $V$ (in the sense of Dolgachev-Kapranov). We show in particular that hypersurfaces with a small Tjurina numbers are Torelli in this sense. When $V$ is a plane curve, or more interestingly, a surface in $P^3$, we discuss the stability of the reflexive sheaf of logarithmic vector fields along $V$. A new lower bound for the minimal degree of a syzygy associated to a 1-dimensional complete intersection is also g…
An almost-toric hypersurface is parameterized by monomials multiplied by polynomials in one extra variable. We determine the Newton polytope of such a hypersurface, and apply this to give an algorithm for computing the implicit equation.
This is the LaTeX version of the handwritten notes of a lecture at the Kyoto Singularities Symposium held at the RIMS in April 1978. It presents the relationship of various invariants of isolated singularities of complex analytic hypersurfaces with the jacobian Newton polygon built from the polar curves. An appendix presents features of the semiring of Newton polygons, because the product of Jacobian Newton polygons corresponds to the Thom-Sebastiani sum of hypersurfaces. Analogies between mixed multiplicities and mixed volumes are noticed. They have been explained since.
This paper provides a formula for the Mather-Jacobian multiplier ideals of torus invariant ideals on (not necessarily normal) toric varieties that generalizes Howald's formula for the multiplier ideal of monomial ideals in a polynomial ring.
We study the 0-th local cohomology module of the jacobian ring of a singular reduced complex projective hypersurface X, by relating it to the sheaf of logarithmic vector field along X. We investigate the analogies between the local cohomology and the well known properties of the jacobian ring of a nonsingular hypersurface. In particular we study self-duality, Hodge theoretic and Torelli type questions.
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$.
This paper designs an alogrithm to compute the minimal combinations of finite sets in Euclidean spaces, and applys the algorithm of study the moment maps and geometric invariant stability of hypersurfaces. The classical example of cubic curves is repeated by the algorithm. Furhtermore the alogrithm works for cubic surfaces. For given affinely indepdent subsets of monomials, the algorithm can output the unique unstable points of the Morse strata if it exists. Also there is a discussion on the affinely dependent sets of monomials.
The Jacobian ring J(X) of a smooth hypersurface determines its isomorphism type. This has been used by Donagi and others to prove the generic global Torelli theorem for hypersurfaces in many cases. In Voisin's original proof of the global Torelli theorem for smooth cubic fourfolds the Jacobian ring does not intervene. In this paper we present a proof of the global Torelli theorem for cubic fourfolds that relies on the Jacobian ring and the (derived) global Torelli theorem for K3 surfaces. It emphasizes, once again, the relation between K3 surfaces and smooth cubic fourfolds. More generally, fo…
Using his deep and beautiful idea of cutting with a Hyperplane, Lefschetz explained how the homology groups of a projective smooth variety could be constructed from basic pieces, that he called primitive homology. This idea can be applied every time we have a vector space with a biliner form (i.e. homology with cup product) and a $\pm$-symmetric nilpotent operator (i.e. cutting with a hyperplane). We will illustrate this in the context of Singularity Theory: A germ of an isolated singular point of a hypersurface defined by $f=0$. We begin with the algebraic setting in the Jacobian (or Milnor) …
We study a natural generalization of transversally intersecting smooth hypersurfaces in a complex manifold: hypersurfaces, whose components intersect in a transversal way but may be themselves singular. Such hypersurfaces will be called splayed divisors. A splayed divisor is characterized by a property of its Jacobian ideal. This yields an effective test for splayedness. Two further characterizations of a splayed divisor are shown, one reflecting the geometry of the intersection of its components, the other one using K. Saito's logarithmic derivations. As an application we prove that a union o…
The problem of resolution of singularities in positive characteristic can be reformulated as follows: Fix a hypersurface $X$, embedded in a smooth scheme, with points of multiplicity at most $n$. Let an $n$-sequence of transformations of $X$ be a finite composition of monoidal transformations with centers included in the $n$-fold points of $X$, and of its successive strict transforms. The open problem (in positive characteristic) is to prove that there is an $n$-sequence such that the final strict transform of $X$ has no points of multiplicity $n$ (no $n$-fold points). In characteristic zero, …
Coble type hypersurfaces and hyperkähler fourfolds
Universität des Saarlandes（萨尔兰大学）；Université Paris Cité and Sorbonne Université（巴黎西岱大学和索邦大学）；Universitat de Barcelona（巴塞罗那大学）；Università degli Studi di Milano（米兰大学）
We introduce and study higher order Jacobian ideals, higher order and mixed Hessians, higher order polar maps, and higher order Milnor algebras associated to a reduced projective hypersurface. We relate these higher order objects to some standard graded Artinian Gorenstein algebras, and we study the corresponding Hilbert functions and Lefschetz properties.
We introduce Hodge ideal spectrum for isolated hypersurface singularities to see the difference between the Hodge ideals and the microlocal $V$-filtration modulo the Jacobian ideal. Via the Tjurina subspectrum, we can compare the Hodge ideal spectrum with the Steenbrink spectrum which can be defined by the microlocal $V$-filtration. As a consequence of a formula of Mustata and Popa, these two spectra coincide in the weighted homogeneous case. We prove sufficient conditions for their coincidence and non-coincidence in some non-weighted-homogeneous cases where the defining function is semi-weigh…
Let $X$ be a nonsingular variety defined over an algebraically closed field of characteristic $0$, and $D$ be a free divisor with Jacobian ideal of linear type. We compute the Chern class of the sheaf of logarithmic derivations along $D$ and compare it with the Chern-Schwartz-MacPherson class of the hypersurface complement. Our result establishes a conjecture by Aluffi raised in \cite{hyparr}.
The geometric motivic Poincaré series of a variety, which was introduced by Denef and Loeser, takes into account the classes in the Grothendieck ring of the sequence of jets of arcs in the variety. Denef and Loeser proved that this series has a rational form. We describe it in the case of an affine toric variety of arbitrary dimension. The result, which provides an explicit set of candidate poles, is expressed in terms of the sequence of Newton polyhedra of certain monomial ideals, which we call logarithmic jacobian ideals, associated to the modules of differential forms with logarithmic poles…
In this paper, necessary and sufficient criteria for the Jacobian ideal of a reduced hypersurface with isolated singularity to be of linear type, are presented. We prove that the gradient ideal of a reduced projective plane curve with simple singularities ($\mathrm{ADE}$) is of linear type. We show that any reduced projective quartic curve is of gradient linear type.
Jacobian algebras and variation of hyperplane sections
Università degli Studi Di Napoli “Federico II”（那不勒斯费德里科二世大学）；Institute for Advanced Studies in Basic Sciences (IASBS)（基础科学高等研究所）；Universidade Estadual de Campinas (UNICAMP)（坎皮纳斯州立大学）
We introduce the class of sparse symmetric shifted monomial ideals. These ideals have linear quotients and their Betti numbers are computed. Using this, we prove that the symbolic powers of the generalized star configuration ideal are sequentially Cohen--Macaulay under some mild genericness assumption. With respect to these symbolic powers, we also consider the Harbourne--Huneke containment problem and establish the Demailly-like bound.
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.
Given a hypersurface, $X$, prime $p$, the zeta function is a generating function for the number of $\mathbb{F}_{p}$ rational points of $X$. Until now, there is no algorithm for computing hypersurfaces with ADE singularities. Scott Stetson and Vladimir Baranovsky provided an algorithm with Mathematica for the ordinary double point case. In this paper, I go over a Sage algorithm for computing the zeta function of a hypersurface with ADE singularities over 3-dimensional projective space. To make the algorithm more efficient, I established an equivalence between a polynomial belonging to the Jacob…
We recall first the relations between the syzygies of the Jacobian ideal of the defining equation for a projective hypersurface $V$ with isolated singularities and the versality properties of $V$, as studied by du Plessis and Wall. Then we show how the bounds on the global Tjurina number of $V$ obtained by du Plessis and Wall lead to substantial improvements of our previous results on the stability of the reflexive sheaf $T\langle V\rangle$ of logarithmic vector fields along $V$, and on the Torelli property in the sense of Dolgachev-Kapranov of $V$.
In the present paper MAPLE subroutines computing Milnor and Tyurina numbers of an isolated algebraic hypersurface singularity are presented and described in detail. They represents examples, and perhaps the first ones, of a MAPLE implementation of local monomial ordering. As an application, the last section is devoted to writing down equations of algebraic stratifications of Kuranishi spaces of simple Arnol'd singularities: they geometrically represents, by means of inclusions of algebraic subsets, the partial ordering on classes of simple singularities induced by the adjacency relation.
The Aluffi algebra is algebraic definition of characteristic cycles of a hypersurface in intersection theory. In this paper we focus on the Aluffi algebra of quasi-homogeneous and locally Eulerian hypersurface with isolated singularities. We prove that the Jacobian ideal of an affine hypersurfac with isolated singularities is of linear type if and only if it is locally Eulerian. We show that the gradient ideal of a projective hypersurface is of linear type if and only if the corresponding affine curve in the affine chart associated to singular points is locally Eulerian. We prove that the grad…
In this paper we study singularities in arbitrary characteristic. We propose Finite Determination Conjecture for Mather-Jacobian minimal log discrepancies in terms of jet schemes of a singularity. The conjecture is equivalent to the boundedness of the number of the blow-ups to obtain a prime divisor which computes the Mather-Jacobian minimal log discrepancy. We also show that this conjecture yields some basic properties of singularities; e.g. openness of Mather-Jacobian (log) canonical singularities, stability of these singularities under small deformations and lower semi-continuity of Mather-…
Our main result describes the relation between the syzygies involving the first order partial derivatives $f_0,...,f_n$ of a homogeneous polynomial $f\in \C[x_0,...x_n]$ and the defect of the linear systems vanishing on the singular locus subscheme $Σ_f=V(f_0,...,f_n)$ of the hypersurface $D:f=0$ in the complex projective space $\PP^n$, when $D$ has only isolated singularities.
Toric embedded resolutions of quasi-ordinary hypersurface singularities
利用复解析超曲面的复环态射，建立了复解析超曲面的拟寻常奇点的两个嵌入式分解过程，其中复环态射只依赖于奇点的拟寻常投影的特征单项式.这个结果回答了Lipman在Equisingularity and simultaneous奇点的分解，奇点的分解，Progress in Mathematics No.181，2000，485-503中的一个公开问题。在第一个过程中，奇异性被嵌入为超曲面。在第二个过程中，这是灵感的工作戈尔丁和Teissier的平面曲线（见解决奇异的平面解析分支与一个环面态射，loc。引用，第315-340页），我们以一个环面态射提供其嵌入分辨率的方式将奇点重新嵌入到更大维度的仿射空间中。我们比较这两个程序，我们表明，他们符合适当的假设。
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,…
The Jacobian ideal provides the set of infinitesimally trivial deformations for a homogeneous polynomial, or for the corresponding complex projective hypersurface. In this article, we investigate whether the associated linear deformation is indeed trivial, and show that the answer is no in a general situation. We also give a characterization of tangentially smoothable hypersurfaces with isolated singularities. Our results have applications in the local study of variations of projective hypersurfaces, complementing the global versions given by J. Carlson and P. Griffiths, R. Donagi and the auth…
