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 deformation property, we prove a signature formula for the index generalizing the Eisenbud-Levine Theorem.
The modular invariants of a family of semistable curves are the degrees of the corresponding divisors on the image of the moduli map. The singularity indices were introduced by G. Xiao to classify singular fibers of hyperelliptic fibrations and to compute global invariants locally. In the semistable case, we show that the modular invariants corresponding with the boundary classes are just the singularity indices. As an application, we show that the formula of Xiao for relative Chern numbers is the same as that of Cornalba-Harris in the semistable case.
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.
I will present an explicit formula for the intersection indices of the Chern classes of an arbitrary reductive group with hypersurfaces. This formula has the following applications. First, it allows to compute explicitly the Euler characteristic of complete intersections in reductive groups. Second, for any regular compactification of a reductive group, it computes the intersection indices of the Chern classes of the compactification with hypersurfaces. The formula is similar to the Brion--Kazarnovskii formula for the intersection indices of hypersurfaces in reductive groups. The proof uses an…
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, …
Inspired by Manin's approach towards a geometric interpretation of Arakelov theory at infinity, we interpret in this paper non-Archimedean local intersection numbers of linear cycles in $P^{n-1}$ with the combinatorial geometry of the Bruhat-Tits building associated to PGL(n).
We complete the explicit study of a three-fold divisorial contraction whose exceptional divisor contracts to a point, by treating the case where the point downstairs is a singularity of index $n \ge 2$. We prove that if this singularity is of type c$A/n$ then any such contraction is a suitable weighted blow-up; and that if otherwise then the discrepancy is $1/n$ with a few exceptions. Every such exception has an example. Some exceptions allow the discrepancy to be arbitrarily large, but any contraction in this case is described as a weighted blow-up of a singularity of type c$D/2$ embedded int…
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$.
We prove a new effective recursion formula for computing all intersection indices (integrals of $ψ$ classes) on the moduli space of curves, inducting only on the genus.
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.
This paper generalizes Manin's approach towards a geometrical interpretation of Arakelov theory at infinity to linear cycles on projective spaces. We show how to interpret certain non-Archimedean Arakelov intersection numbers of linear cycles on $P^{n-1}$ with the combinatorial geometry of the Bruhat-Tits building associated to PGL(n). This geometric setting has an Archimedean analogue, namely the Riemannian symmetric space associated to SL(n,C), which we use to interpret analogous Archimedean intersection numbers of linear cycles in a similar way.
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.
We define an index of a collection of 1-forms on a complex isolated complete intersection singularity corresponding to a Chern number and, in the case when the 1-forms are complex analytic, express it as the dimension of a certain algebra.
We introduce bilinear forms in a flag in a complete intersection local $\mathbb R$-algebra of dimension 0, related to the Eisenbud-Levine, Khimshiashvili bilinear form. We give a variational interpretation of these forms in terms of Jantzen's filtration and bilinear forms. We use the signatures of these forms to compute in the real case the constant relating the GSV-index with the signature function of vector fields tangent to an even dimensional hypersurface singularity, one being topologically defined and the other computable by finite dimensional commutative algebra methods.
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.
The Poincare series of an irreducible plane curve singularity equals the zeta function of its monodromy, by a result of Campillo, Delgado and Gusein-Zade. We derive this fact from a formula of Ebeling and Gusein-Zade relating the Poincare series of a quasi-homogeneous complete intersection singularity to the Saito dual of a product of zeta functions.
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.
The Complete Intersection Discrepancy of a Curve I: Numerical Invariants
Institute of Mathematics and Informatics Bulgarian Academy of Sciences（保加利亚科学院数学与情报学研究所）；Institut de Mathématiques de Jussieu-Paris Rive Gauche Centre national de la recherche scientifique (CNRS)（巴黎左岸朱西厄数学研究所 法国国家科学研究中心）
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 complete the analysis on the birational rigidity of quasismooth Fano 3-fold deformation families appearing in the Graded Ring Database as a complete intersection. When such a deformation family $X$ has Fano index at least 2 and is minimally embedded in a weighted projective space in codimension 2, we determine which cyclic quotient singularity is a maximal centre. If a cyclic quotient singularity is a maximal centre, we construct a Sarkisov link to a non-isomorphic Mori fibre space or a birational involution. This allows, in particular, the construction of new examples of Fano 3-folds of co…
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 prove that the signature of the Milnor fiber of smoothings of a $2$-dimensional isolated complete intersection singularity does not exceed the negative number determined by the geometric genus, the embedding dimension and the number of irreducible components of the exceptional set of the minimal resolution, which implies Durfee's weak conjecture and a partial answer to Kerner--Némethi's conjecture.
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.
In this paper we consider Q-Fano 3-fold weighted complete intersections of codimension 2 in the 85 families listed in the Iano-Fletcher's list and determine which cycle is a maximal center or not. For each maximal center, we construct either a birational involution which untwists the maximal singularity or a Sarkisov link centered at the cycle to an another explicitly described Mori fiber space. As a consequence, 19 families are proved to be birationally rigid and the remaining 66 families are proved to be birationally nonrigid.
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 $(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…
This paper focuses on the classification of all toric log Del Pezzo surfaces with exactly one singularity up to isomorphism, and on the description of how they are embedded as intersections of finitely many quadrics into suitable projective spaces.
For a germ of a quasihomogeneous function with an isolated critical point at the origin invariant with respect to an appropriate action of a finite abelian group, H. Fan, T. Jarvis, and Y. Ruan defined the so-called quantum cohomology group. It is considered as the main object of the quantum singularity theory (FJRW-theory). We define orbifold versions of the monodromy operator on the quantum (co)homology group, of the Milnor lattice, of the Seifert form and of the intersection form. We also describe some symmetry properties of invariants of invertible polynomials refining the known ones.
Consider a space X with the singular locus of positive dimension, Z=Sing(X). Suppose both Z and X are locally complete intersections at each point. The transversal type of X along Z is generically constant but at some points of Z it degenerates. In the previous work we have introduced (locally) the discriminant of the transversal type, a subscheme of Z, that reflects these degenerations whenever the generic transversal type is "ordinary". We have established the basic local properties of the discriminant. In the current paper we consider the global case. We compute the equivalence class of the…
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 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…
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…
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)$ …
The Milnor number, μ(X,0), and the singularity genus, p_g(X,0), are fundamental invariants of isolated hypersurface singularities (more generally, of local complete intersections). The long standing Durfee conjecture (and its generalization) predicted the inequality μ(X,0) \geq (n+1)!p_g(X,0), here n=dim(X,0). Recently we have constructed counterexamples, proposed a corrected bound and verified it for the homogeneous complete intersections. In the current paper we treat the case of germs with Newton-non-degenerate principal part when the Newton diagrams are "large enough", i.e. they are large …
It has long been known that every quasi-homogeneous normal complex surface singularity with Q-homology sphere link has universal abelian cover a Brieskorn complete intersection singularity. We describe a broad generalization: First, one has a class of complete intersection normal complex surface singularities called "splice type singularities", which generalize Brieskorn complete intersections. Second, these arise as universal abelian covers of a class of normal surface singularities with Q-homology sphere links, called "splice-quotient singularities". According to the Main Theorem, splice-quo…
We study the topological K-theory spectrum of the dg singularity category associated to a weighted projective complete intersection. We calculate the topological K-theory of the dg singularity category of a weighted projective hypersurface in terms of its Milnor fiber and monodromy operator, and, as an application, we obtain a lift of the Atiyah-Bott-Shapiro construction to the level of spectra.
The method of intersection spaces associates rational Poincaré complexes to singular stratified spaces. For a conifold transition, the resulting cohomology theory yields the correct count of all present massless 3-branes in type IIB string theory, while intersection cohomology yields the correct count of massless 2-branes in type IIA theory. For complex projective hypersurfaces with an isolated singularity, we show that the cohomology of intersection spaces is the hypercohomology of a perverse sheaf, the intersection space complex, on the hypersurface. Moreover, the intersection space complex …
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.
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 present a new proof of Witten's conjecture. The proof is based on the analysis of the relationship between intersection indices on moduli spaces of complex curves and Hurwitz numbers enumerating ramified coverings of the 2-sphere.
While the topological types of {normal} surface singularities with homology sphere link have been classified, forming a rich class, until recently little was known about the possible analytic structures. We proved in [Geom. Topol. 9(2005) 699-755] that many of them can be realized as complete intersection singularities of "splice type", generalizing Brieskorn type. We show that a normal singularity with homology sphere link is of splice type if and only if some naturally occurring knots in the singularity link are themselves links of hypersurface sections of the singular point. The Casson Inva…
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 study H. Dao's invariant $η_c^R$ of pairs of modules defined over a complete intersection ring $R$ of codimension $c$ having an isolated singularity. Our main result is that $η_c^R$ vanishes for all pairs of modules when $R$ is a {\em graded} complete intersection ring of codimension $c > 1$ having an isolated singularity. A consequence of this result is that all pairs of modules over such a ring are $c$-$\Tor$-rigid.
We enumerate plane complex algebraic curves of a given degree with one singularity of any given topological type. Our approach is to compute the homology classes of the corresponding equisingular strata in the parameter spaces of plane curves. We suggest a recursive procedure, which is based on the intersection theory combined with liftings and degenerations. The procedure computes the homology class in question whenever a given singularity type is defined. Our method does not require the knowledge of all the possible deformations of a given singularity.
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.
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 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.
Flops and Hilbert schemes of space curve singularities
New High Energy Theory Center - Serrin Building, Rutgers, The State University Of New Jersey（新高能理论中心-塞林楼，罗格斯大学（新泽西州立大学））；Kavli IPMU (WPI), UTIAS, The University of Tokyo（卡弗里宇宙物理起源研究所（世界顶尖科学中心），东京大学信息科学与技术研究院）
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.
