We obtain bounds for the $F$-pure threshold of isolated hypersurface singularities over an algebraically closed field of positive characteristic $p$ in terms of classical singularity invariants. For an irreducible plane curve whose value semigroup has first two generators $β_0,β_1$, we show that the $F$-pure threshold is at most $\frac{1}{β_0}+\frac{1}{β_1}$ and differs from it by less than $\frac{1}{\gcd(β_0,β_1)p}$, with equality when certain base-$p$ digits add without carrying, and we give an example showing that higher weighted-order terms can change the $F$-pure threshold. We also conjecture a lower bound in terms of the Milnor number, and prove it for semi-quasi-homogeneous singularities, for all plane curves, and whenever the number of variables exceeds $p$. In particular, it holds in characteristic $2$. As applications, we reprove Igusa's formula for the log canonical threshold of a complex plane branch (with integer coefficients), prove the conjecture of Mustaţă, Takagi and Watanabe for such branches, and bound the log canonical threshold of complex isolated hypersurface singularities.
In this note we provide a formula for the Tjurina number of a join of isolated hypersurface singularities in separated variables. From this we are able to provide a characterization of isolated hypersurface singularities whose difference between the Milnor and Tjurina numbers is less or equal than two arising as the join of isolated hypersurface singularities in separated variables. Also, we are able to provide new upper bounds for the quotient of Milnor and Tjurina numbers of certain join of isolated hypersurface singularities. Finally, we deduce an upper bound for the quotient of Milnor and …
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 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.
Assume that there exists a hypersurface singularity which cannot be resolved by iterated monoidal transformations in positive characteristic. We show that in the set of defining functions of hypersurface singularities which cannot be resolved, we can find a function satisfying very strong conditions. By these conditions we may be able to deduce a contradiction under the above assumption. Besides, we introduce fundamental concepts for the study of resolution of singularities of germs such as space germs, iterated analytic monoidal transforms with a normal crossing, Weierstrass representations, …
This paper studies the singularities of jet schemes of homogeneous hypersurfaces of general type. We obtain the condition of the degree and the dimension for the singularities of the jet schemes to be of dense $F$-regular type. This provides us with examples of singular varieties whose $m$-jet schemes have rational singularities for every $m$.
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…
Using the semicontinuity of the Milnor number and the Łojasiewicz exponent, we give a simple proof of Yau's characterization of isolated homogenous hypersurface singularities.
The main purpose of this article is to lay the foundations for a classification of isolated hypersurface singularities in positive characteristic. Although our article is in the spirit of Arnol'd who classified real an complex hypersurfaces in the 1970's with respect to right equivalence, several new phenomena occur in positive characteristic. Already the notion of isolated singularity is different for right resp. contact equivalence over fields of characteristic other than zero. The heart of this paper consists of the study of different notions of non-degeneracy and the associated piecewise f…
Using the path lattice cohomology we provide a conceptual topological characterization of the geometric genus for certain complex normal surface singularities with rational homology sphere links, which is uniformly valid for all superisolated and Newton non--degenerate hypersurface singularities.
The log canonical thresholds of irreducible quasi-ordinary hypersurface singularities are computed, using an explicit list of pole candidates for the motivic zeta function found by the last two authors.
We study singularities f in K[[x_1,...,x_n]] over an algebraically closed field K of arbitrary characteristic with respect to right respectively contact equivalence, and we establish that the finiteness of the Milnor respectively the Tjurina number is equivalent to finite determinacy. We give improved bounds for the degree of determinacy in positive characteristic. Moreover, we consider different non-degeneracy conditions of Kouchnirenko, Wall and Beelen-Pellikaan in positive characteristic, and we show that planar Newton non-degenerate singularities satisfy Milnor's formula mu=2 delta-r+1. Th…
Gorenstein isolated quotient singularities of odd prime dimension are cyclic. In the case where the dimension is bigger than 1 and is not an odd prime number, then there exist Gorenstein isolated non-cyclic quotient singularities.
We prove a "strong" Durfee-type inequality for isolated hypersurface surface singularities, which implies Durfee's strong conjecture for such singularities with non-negative topological Euler number of the exceptional set of the minimal resolution.
C.T.C. Wall and the first author discovered an extension of Arnold's strange duality embracing on one hand series of bimodal hypersurface singularities and on the other, isolated complete intersection singularities. In this paper, we derive this duality from the mirror symmetry and the Berglund-Hübsch transposition of invertible polynomials.
This text is the write-up of a series of lectures on the asymptotic mixed Hodge theory of isolated hypersurface singularities, held at the Third Latin American school on Algebraic Geometry and its applications (ELGA 3) in Guanajuato, Mexico, in august 2017. Its focus is on the classical application of the semi-continuity of the spectrum due to Varchenko and Steenbrink to the problem of bounding the possible singularities on a projective hypersurface.
We prove a formula for the polar degree of projective hypersurfaces in terms of the Milnor data of the singularities, extending to 1-dimensional singularities the Dimca-Papadima result for isolated singularities. We discuss the semi-continuity of the polar degree in deformations, and we classify the homaloidal cubic surfaces with 1-dimensional singular locus. Some open questions are pointed out along the way.
We give a survey on some aspects of the topological investigation of isolated singularities of complex hypersurfaces by means of Picard-Lefschetz theory. We focus on the concept of distinguished bases of vanishing cycles and the concept of monodromy.
We show the existence of ($1+\frac{w_2}{w_3}$)-fast loops on semi-weighted homogeneous hypersurface singularities with weights $w_1\geq w_2>w_3$. In particular we show that semi-weighted homogeneous hypersurface singularities have metrical conical structure only if its two low weights are equal.
We explore the existence of irreducible and reducible arc-sections in an irreducible hypersurface singularity germ along finite projections. In particular we provide examples of irreducible isolated hypersurface singularities for which no irreducible arc-sections exist, and show that reducible ones always exist. Moreover, we give an algorithm to check if a given projection allows irreducible arc-sections, and find them if they exist.
We give partial answers to a metric version of Zariski's multiplicity conjecture. In particular, we prove the multiplicity of complex analytic surface (not necessarily isolated) singularities in $\mathbb{C}^3$ is a bi-Lipschitz invariant.
For a weighted quasihomogeneous two dimensional hypersurface singularity, we define a smoothing with unipotent monodromy and an isolated graded normal singularity. We study the natural weighted blow up of both the smoothing and the surface. In particular, we describe our construction for the quasihomogeneous singularities of type I, the 14 unimodal exceptional singularities and we relate it to their stable replacement.
We study the Milnor monodromies of non-isolated hypersurface singularities and show that the reduced cohomology groups of the Milnor fibers are concentrated in the middle degree for some eigenvalues of the monodromies. As an application of this result, we give an explicit formula for some parts of their Jordan normal forms.
We establish birational superrigidity for a large class of singular projective Fano hypersurfaces of index one. In the special case of isolated singularities, our result applies for instance to: (1) hypersurfaces with semi-homogeneous singularities of multiplicity asymptotically bounded by twice the square root of the dimension of the hypersurface, (2) hypersurfaces with isolated singularities whose Tyurina numbers satisfy a similar bound, and (3) hypersurfaces with isolated singularities whose dual variety is a hypersurface of degree sufficiently close to the expected degree.
We introduce a Lie algebra of initial terms of logarithmic vector fields along a hypersurface singularity. Extending the formal structure theorem in [GS06, Thm. 5.4], we show that the completely reducible part of its linear projection lifts formally to a linear Lie algebra of logarithmic vector fields. For quasihomogeneous singularities, we prove convergence of this linearization. We relate our construction to the work of Hauser and M"uller [M"ul86, HM89] on Levi subgroups of automorphism groups of singularities, which proves convergence even for algebraic singularities. Based on the initial L…
Let a finite group G act linearly on a finite dimensional vector space V over an algebraically closed field k of characteristic p>2. Assume that the quotient V/G is an isolated singularity. In the case when p does not divide the order of G, isolated singularities V/G are completely classified and their classification reduces to Zassenhaus-Vincent-Wolf classification of isolated quotient singularities over the field of complex numbers. In the present paper we show that if dimension of V is 3, then also in the modular case (p divides the order of G) classification of isolated quotient singularit…
We introduce two generalizations of Newton-non-degenerate (Nnd) singularities of hypersurfaces. Roughly speaking, an isolated hypersurface singularity is called topologically Newton-non-degenerate (tNnd) if the local embedded topological singularity type can be restored from a collection of Newton diagrams (for some coordinate choices). A singularity that is not tNnd is called essentially Newton-degenerate. For plane curves we give an explicit characterization of tNnd singularities; for hypersurfaces we provide several examples. Next, we treat the question: whether Nnd or tNnd is a property of…
In this series of lectures, I will discuss results for complex hypersurfaces with non-isolated singularities. In Lecture 1, I will review basic definitions and results on complex hypersurfaces, and then present classical material on the Milnor fiber and fibration. In Lecture 2, I will present basic results from Morse theory, and use them to prove some results about complex hypersurfaces, including a proof of Lê's attaching result for Milnor fibers of non-isolated hypersurface singularities. This will include defining the relative polar curve. Lecture 3 will begin with a discussion of intersect…
In this note we give a simple proof of the following relative analog of the well known Milnor-Palamodov theorem: the Bruce-Roberts number of a function relative to an isolated hypersurface singularity is equal to its topological Milnor number (the rank of a certain relative (co)homology group) if and only if the hypersurface singularity is quasihomogeneous. The proof relies on an interpretation of the Bruce-Roberts number in terms of differential forms and the Lê-Greuel formula.
