The purpose of this paper is to give an explicit formula of the Łojasiewicz exponent of an isolated weighted homogeneous singularity in terms of its weights.
We define local residues of holomorphic 1-forms on an isolated surface singularity that have isolated zeros and prove that a certain residue equals the index of the 1-forms.
We show that the dimension of the set of limits of tangent spaces along a subvariety at an irreducible isolated singularity is one less than the dimension of the subvariety itself.
Let $(X,0)$ be an isolated hypersurface singularity defined by $ϕ\colon(\mathbb C^n,0)\to(\mathbb C,0)$ and $f\colon(\mathbb C^n,0)\to\mathbb C$ such that the Bruce-Roberts number $μ_{BR}(f,X)$ is finite. We first prove that $μ_{BR}(f,X)=μ(f)+μ(ϕ,f)+μ(X,0)-τ(X,0)$, where $μ$ and $τ$ are the Milnor and Tjurina numbers respectively of a function or an isolated complete intersection singularity. Second, we show that the logarithmic characteristic variety $LC(X,0)$ is Cohen-Macaulay. Both theorems generalize the results of a previous paper by some of the authors, in which the hypersurface $(X,0)$ …
We introduce a notion of volume of a normal isolated singularity that generalizes Wahl's characteristic number of surface singularities to arbitrary dimensions. We prove a basic monotonicity property of this volume under finite morphisms. We draw several consequences regarding the existence of non-invertible finite endomorphisms fixing an isolated singularity. Using a cone construction, we deduce that the anticanonical divisor of any smooth projective variety carrying a non-invertible polarized endomorphism is pseudoeffective. Our techniques build on Shokurov's b-divisors. We define the notion…
We study multi-parameters deformations of isolated singularity function-germs on either a subanalytic set or a complex analytic spaces. We prove that if such a deformation has no coalescing of singular points, then it has constant topological type. This extends some classical results due to Lê \& Ramanujam (1976) and Parusiński (1999), as well as a recent result due to Jesus-Almeida and the first author. It also provides a sufficient condition for a one-parameter family of complex isolated singularity surfaces in $\C^3$ to have constant topological type. On the other hand, for complex isolated…
We consider a holomorphic 1-form $ω$ with an isolated zero on an isolated complete intersection singularity $(V,0)$. We construct quadratic forms on an algebra of functions and on a module of differential forms associated to the pair $(V,ω)$. They generalize the Eisenbud-Levine-Khimshiashvili quadratic form defined for a smooth $V$.
Let f be a hypersurface surface local singularity whose zero set has 1-dimensional singular locus. We develop an explicit procedure that provides the boundary of the Milnor fibre of f as an oriented plumbed 3-manifold. The method provides the characteristic polynomial of the algebraic monodromy as well. Moreover, for any analytic germ g such that the pair (f,g) is an isolated complete intersection singularity, the (multiplicity system of the) open book decomposition of the boundary with binding determined by g and pages determined by the argument of g is also computed. In order to do this, we …
If (V,0) is an isolated complete intersection singularity and X a holomorphic vector field tangent to V one can define an index of X, the so called GSV index, which generalizes the Poincare-Hopf index. We prove that the GSV index coincides with the dimension of a certain explicitely constructed vector space, if X is deformable in a certain sense and V is a curve. We also give a sufficient algebraic criterion for X to be deformable in this way. If one considers the real analytic case one can also define an index of X which is called the real GSV index. Under the condition that X has the deforma…
Given a lattice polytope Q in R^n, we define an affine scheme M(Q) that reflects the possibilities of splitting Q into a Minkowski sum. On the other hand, Q induces a toric Gorenstein singularity Y, and we construct a flat family over M(Q) with Y as special fiber. In case Y has an isolated singularity only, this family is versal. (This revised version contains the proof now.)
We study Serre duality in the singularity category of an isolated Gorenstein singularity and find an explicit formula for the duality pairing in terms of generalised fractions and residues. For hypersurfaces we recover the residue formula of the string theorists Kapustin and Li. These results are obtained from an explicit construction of complete injective resolutions of maximal Cohen-Macaulay modules.
Given a nonconstant polynomial map over the reals having an isolated critical point in the origin and with zero locus of positive dimension, we establish a formula for the singular homology groups of a Milnor fibre relative to its boundary.
We consider manifolds with isolated singularities, i.e., topological spaces which are manifolds (say, $C^\infty$--) outside discrete subsets (sets of singular points). For (germs of) manifolds with, so called, cone--like singularities, a notion of the index of an isolated singular point of a vector field is introduced. There is given a formula for the index of a gradient vector field on a (real) isolated complete intersection singularity. The formula is in terms of signatures of certain quadratic forms on the corresponding spaces of thimbles.
For quasihomogeneous isolated hypersurface singularities, the logarithmic comparison theorem has been characterized explicitly by Holland and Mond. In the non quasihomogeneous case, we give a necessary condition for the logarithmic comparison theorem in terms of the Gauss-Manin system of the singularity. It shows in particular that the logarithmic comparison theorem can hold for a non quasihomogeneous singularity only if 1 is an eigenvalue of the monodromy.
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.
There are some generalizations of the classical Eisenbud-Levine-Khimshashvili formula for the index of a singular point of an analytic vector field on $R^n$ for vector fields on singular varieties. We offer an alternative approach based on the study of indices of 1-forms instead of vector fields. When the variety under consideration is a real isolated complete intersection singularity (icis), we define an index of a (real) 1-form on it. In the complex setting we define an index of a holomorphic 1-form on a complex icis and express it as the dimension of a certain algebra. In the real setting, …
We give an equivalent definition of the local volume of an isolated singularity Vol_{BdFF}(X,0) given in [BdFF12] in the Q-Gorenstein case and we generalize it to the non-Q-Gorenstein case. We prove that there is a positive lower bound depending only on the dimension for the non-zero local volume of an isolated singularity if X is Gorenstein. We also give a non-Q-Gorenstein example with Vol_{BdFF}(X,0)=0, which does not allow a boundary Δsuch that the pair (X,Δ) is log canonical.
We introduce a notion of a homological index of a holomorphic 1-form on a germ of a complex analytic variety with an isolated singularity, inspired by X. Gómez-Mont and G.-M. Greuel. For isolated complete intersection singularities it coincides with the index defined earlier by two of the authors. Subtracting from this index another one, called radial, we get an invariant of the singularity which does not depend on the 1-form. For isolated complete intersection singularities this invariant coincides with the Milnor number. We compute this invariant for arbitrary curve singularities and compare…
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…
Let (V,0) be a germ of a complete intersection variety in \CC^{n+k}, n>0, having an isolated singularity at 0 and X be the germ of a holomorphic vector field on \CC^{n+k} tangent to V and having on V an isolated zero at 0. We show that in this case the homological index and the GSV-index coincide. In the case when the zero of X is also isolated in the ambient space \CC^{n+k} we give a formula for the homological index in terms of local linear algebra.
In 1982, Tamaki Yano proposed a conjecture predicting how is the set of $b$-exponents of an irreducible plane curve singularity germ which is generic in its equisingularity class. In 1986, Pi.~Cassou-Noguès proved the conjecture for the one Puiseux pair case. In a previous work the authors proved the conjecture for two Puiseux pairs germs whose complex algebraic monodromy has distinct eigenvalues. A natural problem induced by Yano's conjecture is, for a generic equisingular deformation of an isolated plane curve singularity germ to study how the set of $b$-exponents depends on the topology of …
The jump of the Milnor number of an isolated singularity $f_0$ is the minimal non-zero difference between the Milnor numbers of $f_0$ and one of its deformations $(f_s)).$ We prove that for the singularities in the $X_9$ singularity class their jumps are equal to 2.
We prove that if $ϕ:(X,0)\to (X,0)$ is a finite endomorphism of an isolated singularity such that $\operatorname{deg}(ϕ)\geq 2$ and $ϕ$ is étale in codimension 1, then $X$ is $\mathbb{Q}$-Gorenstein and log canonical.
Let A be an affine variety inside a complex N dimensional vector space which has an isolated singularity at the origin. The intersection of A with a very small sphere turns out to be a contact manifold called the link of A. Any contact manifold contactomorphic to the link of A is said to be Milnor fillable by A. If the first Chern class of our link is torsion then we can assign an invariant of our singularity called the minimal discrepancy, which is an important invariant in birational geometry. We define an invariant of the link up to contactomorphism using Conley-Zehnder indices of Reeb orbi…
We give in this work an explicit combinatorial algorithm for the description of the Milnor fiber of a Newton non degenerate surface singularity as a graph manifold. This is based on a previous work by the author describing a general method for the computation of the boundary of the Milnor fiber of any reduced non isolated singularity of complex surface.
We investigate the role played by curve singularity germs in the enumeration of inflection points in families of curves acquiring singular members. Let $N \geq 2$, and consider an isolated complete intersection curve singularity germ $f \colon (\mathbb{C}^N,0) \to (\mathbb{C}^{N-1},0)$. We introduce a numerical function $m \mapsto \operatorname{AD}_{(2)}^m(f)$ that arises as an error term when counting $m^{\mathrm{th}}$-order weight-$2$ inflection points with ramification sequence $(0, \dots, 0, 2)$ in a $1$-parameter family of curves acquiring the singularity $f = 0$, and we compute $\operato…
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 study one parameter deformations of a pair consisting of an analytic singular space $X_0$ and a function $f_0$ on it, in case this defines an isolated singularity. We prove, under general conditions, a bouquet decomposition of the Milnor fibre when the isolated singularity splits in the deformation and the invariance of the Milnor fibration if there is no splitting.
We associate (under a minor assumption) to any analytic isolated singularity of dimension $n\geq 2$ the `analytic lattice cohomology' ${\mathbb H}^*_{an}=\oplus_{q\geq 0}{\mathbb H}^q_{an}$. Each ${\mathbb H}^q_{an}$ is a graded ${\mathbb Z}[U]$--module. It is the extension to higher dimension of the `analytic lattice cohomology' defined for a normal surface singularity with a rational homology sphere link. This latest one is the analytic analogue of the `topological lattice cohomology' of the link of the normal surface singularity, which conjecturally is isomorphic to the Heegaard Floer cohom…
We give a generalization of an algebraic formula of Gomez-Mont for the index of a vector field with isolated zero in (C^n,0) and tangent to an isolated hypersurface singularity. We only assume that the vector field has an isolated zero on the singularity.
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) …
Let $(X,x)$ be an isolated complete intersection singularity and let $f : (X,x) \to (\CC,0)$ be the germ of an analytic function with an isolated singularity at $x$. An important topological invariant in this situation is the Picard-Lefschetz monodromy operator associated to $f$. We give a survey on what is known about this operator. In particular, we review methods of computation of the monodromy and its eigenvalues (zeta function), results on the Jordan normal form of it, definition and properties of the spectrum, and the relation between the monodromy and the topology of the singularity.
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.
It is well known that the exceptional set in a resolution of a rational surface singularity is a tree of rational curves. We generalize the combinatoric part of this statement to higher dimensions and show that the highest cohomologies of the dual complex associated to a resolution of an isolated rational singularity vanish. We also prove that the dual complex associated to a resolution of an isolated hypersurface singularity is simply connected. As a consequence, we show that the dual complex associated to a resolution of a 3-dimensional Gorenstein terminal singularity has the homotopy type o…
We continue the development of the study of the equisingularity of isolated singularities, in the determinantal case. This version of the paper includes a substantial amount of new material (76% larger). The new material introduces the idea of the landscape of singularity, which includes the allowable deformations of the singularity and associated structure useful for equisingularity questions. Fixing a presentation matrix M of a determinantal singularity means viewing the singularity as a section via M of the set of matrices of a given or smaller rank. Varying M gives the allowable deformatio…
Let $(X,0)$ be an isolated complete intersection complex singularity ($X$ can also be smooth at 0). Let $K$ be its link, $\cal X$ its canonical contact structure and $\D_X$ the complex vector bundle associated to $\cal X$. We prove that the bundle $\D_X$ is trivial if and only if the Milnor number of $X$ satisfies $μ(X,0) \equiv (-1)^{n-1}$ modulo $(n-1)!$. This follows from a general theorem stating that the complex orthogonal complement of a vector field in $X$ with an isolated singularity at 0 is trivial iff the GSV-index of $v$ is a multiple of $(n-1)!$. We have also an application to foli…
A singularity in characteristic zero is said to be of dense F-pure type if its modulo p reduction is locally F-split for infinitely many p. We prove that if $x \in X$ is an isolated log canonical singularity with $μ(x \in X) \le 2$ (see Definition 1.4 for the definition of the invariant $μ$), then it is of dense F-pure type. As a corollary, we prove the equivalence of log canonicity and being of dense F-pure type in the case of three-dimensional isolated singularities.
It is shown that the log-canonical threshold of a curve with an isolated singularity is computed by the term ideal of the curve in a suitable system of local parameters at the singularity. The proof uses the Enriques diagram of the singularity and shows that the log-canonical threshold depends only on a non-degenerate path of that diagram.
We show a lower estimate of the Milnor number of an isolated hypersurface singularity, via its Newton number. We also obtain analogous estimate of the Milnor number of an isolated singularity of a similar complete intersection variety.
This is the first of a series of papers in which we systematically use singularity theory to study four dimensional N=2 superconformal field theories. Our main focus in this paper is to identify what kind of singularity is needed to define a SCFT. The constraint for a hypersurface singularity has been found by Sharpere and Vafa, and here the complete set of solutions are listed using a related mathematical result of Stephen S. T. Yau and Yu. We also study other type of singularities such as the complete intersection, quotient of hypersurface singularity by a finite group and non-isolated singu…
We classify three fold isolated quotient Gorenstein singularity $C^3/G$. These singularities are rigid, i.e. there is no non-trivial deformation, and we conjecture that they define 4d $\mathcal{N}=2$ SCFTs which do not have a Coulomb branch.
The quotient-cusp singularities are isolated complex surface singularities that are double-covered by cusp singularities. We show that the universal abelian cover of such a singularity, branched only at the singular point, is a complete intersection cusp singularity of embedding dimension 4. This supports a general conjecture that we make about the universal abelian cover of a $\Q$-Gorenstein singularity.
This paper gives upper bounds for the dimension of the singularity category of a Cohen-Macaulay local ring with an isolated singularity. One of them recovers an upper bound given by Ballard, Favero and Katzarkov in the case of a hypersurface.