An algebraic formula for the index of a vector field on an isolated complete intersection singularity
H. -Chr. Graf von Bothmer, W. Ebeling, X. Gomez-Mont
备注：
18 pages; added an example which is not quasi homogeneous. A script calculating this example can be found at http://www.iag.uni-hannover.de/~bothmer/gobelin/ or at the and of the source file of this article
发表信息：
Annales de l'Institut Fourier, Vol. 58 no. 5 (2008), p. 1761-1783
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.
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.
J. Wahl conjectured that every quasihomogeneous isolated normal singularity admits a positive grading for which there are no derivations of negative weighted degree. We confirm his conjecture for quasihomogeneous isolated complete intersection singularities of either order at least 3 or embedding dimension at most 5. For each embedding dimension larger than 5 (and each dimension larger than 3), we give a counter-example to Wahl's conjecture.
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.
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…
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.
With an explicit example, we confirm a conjecture by Neumann and Wahl that there exist cusps with no Galois cover by a complete intersection. Some computational techniques are reviewed, and a method for deciding whether a given cusp has a complete intersection Galois cover is developed.
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 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$.
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.
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.)
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.
We classify three dimensional isolated weighted homogeneous rational complete intersection singularities, which define many new four dimensional N=2 superconformal field theories. We also determine the mini-versal deformation of these singularities, and therefore solve the Coulomb branch spectrum and Seiberg-Witten solution.
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.
A homotopical treatment of intersection cohomology recently developed by Chataur-Saralegui-Tanré associates a "perverse algebraic model" to every topological pseudomanifold, extending Sullivan's presentation of rational homotopy to intersection cohomology. In this context, there is a notion of "intersection-formality", measuring the vanishing of Massey products in intersection cohomology. In the present paper, we study the perverse algebraic model of complex projective varieties with isolated singularities. We endow such invariant with natural mixed Hodge structures. This allows us to prove so…
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.
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)$ …
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.
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.
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.
Classification of unimodal isolated complete intersection singularities in positive characteristic
Tsinghua University（清华大学）；Hetao Institute of Mathematics and Interdisciplinary Sciences (HIMIS)（河套国际数学与交叉科学研究院）；Beijing Institute of Mathematical Sciences and Applications (BIMSA)（北京应用数学与计算研究所）
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 give a generalization of the duality of a zero-dimensional complete intersection to the case of one-dimensional almost complete intersections, which results in a {\em Gorenstein module} $M=I/J$. In the real case the resulting pairing has a signature, which we show to be constant under flat deformations. In the special case of a non-isolated real hypersurface singularity $f$ with a one-dimensional critical locus, we relate the signature on the jacobian module $I/J_f$ to the Euler characteristic of the positive and negative Milnor fibre, generalising the result for isolated critical points. A…
We study the local symplectic algebra of the 0-dimensional isolated complete intersection singularities. We use the method of algebraic restrictions to classify these symplectic singularities. We show that there are non-trivial symplectic invariants in this classification.
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…
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…
We obtain, via the formalism of tensor actions, a complete classification of the localizing subcategories of the stable derived category of any affine scheme with hypersurface singularities and of any local complete intersection over a field; in particular this classifies the thick subcategories of the singularity categories of such rings. The analogous result is also proved for certain locally complete intersection schemes. It is also shown that from each of these classifications one can deduce the (relative) telescope conjecture.
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 …
We shall investigate a flipping contraction g : X -> Y from a 4-fold X with at most isolated complete intersection singularities. If Y has an anti-bi-canonical divisor (=bi-elephant) with only rational singularities, then g carries an inductive structure chained up by blow-ups (La Torre Pendente), and in particular the flip exists. This naturally contains Miles Reid's `Pagoda' as an anti-canonical divisor (=elephant) and its proper transforms.
We prove that for two germs of analytic mappings $f,g\colon (\mathbb{C}^n,0) \rightarrow (\mathbb{C}^p,0)$ with the same Newton polyhedra which are (Khovanskii) non-degenerate and their zero sets are complete intersections with isolated singularity at the origin, there is a piecewise analytic family $\{f_t\}$ of analytic maps with $f_0=f, f_1=g$ which has a so-called {\it uniform stable radius for the Milnor fibration}. As a corollary, we show that their Milnor numbers are equal. Also, a formula for the Milnor number is given in terms of the Newton polyhedra of the component functions. This is…
We address the conjecture of [Durfee1978], bounding the singularity genus, p_g, by a multiple of the Milnor number, μ, for an n-dimensional isolated complete intersection singularity. We show that the original conjecture of Durfee, namely (n+1)!p_g\leq μ, fails whenever the codimension r is greater than one. Moreover, we propose a new inequality, and we verify it for homogeneous complete intersections. In the homogeneous case the inequality is guided by a `combinatorial inequality', that might have an independent interest.
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, …
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.
Using invariants from commutative algebra to count geometric objects is a basic idea in singularities. For example, the multiplicity of an ideal is used to count points of intersection of two analytic sets at points of non-transverse intersection. A problem with the multiplicity of an ideal or module is that it is only defined for modules and ideals of finite colength. In this paper we use pairs of modules and their multiplicities as a way around this difficulty. A key tool is the multiplicity-polar theorem which applies to families of pairs of modules, linking the multiplicity at a general pa…
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.
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…
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 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 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 show that every thick subcategory of the singularity category of a complete intersection ring is self dual. We also prove the analogous statement for thick subcategories of the bounded derived category and give applications to the symmetry of vanishing of cohomology. These results are also proved for certain complete intersection schemes.
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…
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) …
The famous $4n^2$-inequality is extended to generic complete intersection singularities: it is shown that the multiplicity of the self-intersection of a mobile linear system with a maximal singularity is higher than $4n^2μ$, where $μ$ is the multiplicity of the singular point.
We establish a criterion for sheaves on an adically complete DG scheme to be coherent. We deduce a description of coherent sheaves on an adically complete lci singularity in terms of modules for a DG Lie algebra.
We generalize the cosection localized Gysin map to intersection homology and Borel-Moore homology, which provides us with a purely topological construction of the Fan-Jarvis-Ruan-Witten invariants and some GLSM invariants.
