An updated version of the published paper. Here we correct some numerical errors (thanks to M.Kazarian). We also simplify some proofs and clarify the algorithm
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.
We enumerate complex algebraic hypersurfaces in $P^n$, of a given (high) degree with one singular point of a given singularity type. Our approach is to compute the (co)homology classes of the corresponding equi-singular strata in the parameter space of hypersurfaces. We suggest an inductive procedure, based on intersection theory combined with liftings and degenerations. The procedure computes the (co)homology class in question, whenever a given singularity type is properly defined and the stratum possesses good geometric properties. We consider in details the generalized Newton-non-degenerate…
We study equi-singular strata of plane curves with two singular points of prescribed types. The method of the previous work [Kerner06] is generalized to this case. In particular we consider the enumerative problem for plane curves with two singular points of linear singularity types. First the problem for two ordinary multiple points of fixed multiplicities is solved. Then the enumeration for arbitrary linear types is reduced to the case of ordinary multiple points and to the understanding of "merging" of singular points. Many examples and numerical answers are given.
We prove a correspondence theorem for singular tropical surfaces in real three space, which recovers singular algebraic surfaces in an appropriate toric three-fold that tropicalize to a given singular tropical surface. Furthermore, we develop a three-dimensional version of Mikhalkin's lattice path algorithm that enumerates singular tropical surfaces passing through an appropriate configuration of points in real three space. As application we show that there are pencils of real surfaces of degree $d$ in projective three space containing at least $(3/2)d^3+O(d^2)$ singular surfaces, which is asy…
We develop a version of Mikhalkin's lattice path algorithm for projective hypersurfaces of arbitrary degree and dimension, which enumerates singular tropical hypersurfaces passing through appropriate configuration of points. By proving a correspondence theorem combined with the lattice path algorithm, we construct a $δ$ dimensional linear space of degree $ d $ real hypersurfaces containing $\frac{1}{δ!} (γ_nd^n)^δ+ O(d^{nδ-1})$ hypersurfaces with $ δ$ real nodes, where $ γ_n $ are positive and given by a recursive formula. This is asymptotically comparable to the number $ \frac{1}{δ!} \left( (…
We construct the algebraic cobordism theory of bundles and divisors on smooth varieties. It has a simple basis (over Q) from projective spaces and its rank is equal to the number of Chern invariants. As an application we study the number of singular subvarieties satisfying given tangent conditions with a fixed smooth divisor, where the subvariety is the zero locus of a section of a vector bundle. We prove that the generating series gives a homomorphism from the algebraic cobordism group to the power series ring. This implies that the number of singular subvarieties with tangency conditions is …
The number of topologically different plane real algebraic curves of a given degree $d$ has the form $\exp(C d^2 + o(d^2))$. We determine the best available upper bound for the constant $C$. This bound follows from Arnold inequalities on the number of empty ovals. To evaluate its rate we show its equivalence with the rate of growth of the number of trees half of whose vertices are leaves and evaluate the latter rate.
In this paper we obtain an explicit formula for the number of hypersurfaces in a compact complex manifold X (passing through the right number of points), that has a simple node, a cusp or a tacnode. The hypersurfaces belong to a linear system, which is obtained by considering a holomorphic line bundle L over X. Our main tool is a classical fact from differential topology: the number of zeros of a generic smooth section of a vector bundle V over M, counted with a sign, is the Euler class of V evaluated on the fundamental class of M.
The invariance of the Welschinger numbers for real unnodal Del Pezzo surfaces, which we used for the enumeration of real rational curves on real toric Del Pezzo surfaces (see math.AG/0303378 and IMRN 49 (2003), 2639-2653), follows from J.-Y. Welschinger's theorem stated and proved in a symplectic setting (math.AG/0303145 and CRAS, Ser. I, 336 (2003), 341-344). Here, we give an algebraic geometry version of the proof of the above invariance.
In this paper we obtain an explicit formula for the number of curves in two dimensional complex projective space, of degree d, passing through d(d+3)/2-(k+1) generic points and having one node and one codimension k singularity, where k is at most 6. Our main tool is a classical fact from differential topology: the number of zeros of a generic smooth section of a vector bundle V over M, counted with a sign, is the Euler class of V evaluated on the fundamental class of M.
We associate a half-integer number, called {\em the quantum index}, to algebraic curves in the real plane satisfying to certain conditions. The area encompassed by the logarithmic image of such curves is equal to $π^2$ times the quantum index of the curve and thus has a discrete spectrum of values. We use the quantum index to refine real enumerative geometry in a way consistent with the Block-Göttsche invariants from tropical enumerative geometry.
In this paper we prove the algebraic-tropical correspondence for stable maps of rational curves with marked points to toric varieties such that the marked points are mapped to given orbits in the big torus and in the boundary divisor, the map has prescribed tangency to the boundary divisor, and certain quadruples of marked points have prescribed cross-ratios. In particular, our results generalize the results of Nishinou and Siebert. The proof is very short, involves only the standard theory of schemes, and works in arbitrary characteristic (including the mixed characteristic case).
We enumerate complex curves on toric surfaces of any given degree and genus, having a single cusp and nodes as their singularities, and matching appropriately many point constraints. The solution is obtained via tropical enumerative geometry. The same technique applies to enumeration of real plane cuspidal curves: We show that, for any fixed $r\ge1$ and $d\ge2r+3$, there exists a generic real $2r$-dimensional linear family of plane curves of degree $d$ in which the number of real $r$-cuspidal curves is asymptotically comparable with the total number of complex $r$-cuspidal curves in the family…
A problem list in singularity theory. Most of these problems are related with the algorithmic enumeration of possible topological types of non-discriminant Morsifications of real function singularities, and/or with the Picard--Lefschetz theory.
In the long paper "Family Blowup formula, Admissible Graphs and the Enumeration of Singular Curves (I)" (appearing in JDG), the author solved the enumeration problem of nodal (or general singular) curve counting on algebraic surfaces by using techniques from differential topology/symplectic geometry (including family Seiberg-Witten theory) and some ideas derived from Taubes' "SW=Gr". In the current paper, we offer an algebraic proof of the "universality theorem", showing that the counting of nodal curves for 5$δ$-1 very ample complete linear systems are controled by universal polynomials of th…
One distinguishing feature of rational curves is that they have algebraic parameterizations. Arc spaces are a way of describing approximations to parameterizations of all curves in some fixed space. Playing on these descriptions, this paper introduces rationally generated arcs, and applies them towards the description and enumeration of rational curves in algebraic varieties.
Let $C$ be a smooth projective curve and $W$ a symplectic bundle over $C$. Let $LQ_e (W)$ be the Lagrangian Quot scheme parametrizing Lagrangian subsheaves $E \subset W$ of degree $e$. We give a closed formula for intersection numbers on $LQ_e (W)$. As a special case, for $g \ge 2$, we compute the number of Lagrangian subbundles of maximal degree of a general stable symplectic bundle, when this is finite. This is a symplectic analogue of Holla's enumeration of maximal subbundles in [13].
For each $1\leq n\leq6$ we present formulas for the number of $n-$nodal curves in an $n-$dimensional linear system on a smooth, projective surface. This yields in particular the numbers of rational curves in the system of hyperplane sections of a generic $K3-$surface imbedded in \p{n} by a complete system of curves of genus $n$ as well as the number {\bf17,601,000} of rational ({\em singular}) plane quintic curves in a generic quintic threefold.
We study geometric properties of linear strata of uni-singular curves. The singularities of closures of the strata are resolved and the resolutions are represent as projective bundles. This enables to study their geometry. In particular we calculate the Picard groups of the strata and the intersection rings of the closures of the strata. The rational equivalence classes of some geometric cycles on the strata are calculated. As an auxiliary problem we discuss the collision of two singular points, restrictions on possible resulting singularity types and solve the collision problem in several cas…
In a family of curves, the Chern numbers of a singular fiber are the local contributions to the Chern numbers of the total space. We will give some inequalities between the Chern numbers of a singular fiber as well as their lower and upper bounds. We introduce the dual fiber of a singular fiber, and prove a duality theorem. As an application, we will classify singular fibers with large or small Chern numbers.
We discuss the basic properties of various versions of two variable elliptic genus with special attention to the equivariant elliptic genus. The main applications are to the elliptic genera attached to non-compact GITs, including the elliptic genera of Witten's phases on $N=2$ theories.
We study the scheme of formal arcs on a singular algebraic variety and its images under truncations. We prove a rationality result for the Poincare series of these images which is an analogue of the rationality of the Poincare series associated to p-adic points on a p-adic variety. The main tools which are used are semi-algebraic geometry in spaces of power series and motivic integration (a notion introduced by M. Kontsevich). In particular we develop the theory of motivic integration for semi-algebraic sets of formal arcs on singular algebraic varieties, we prove a change of variable formula …
In this article, we study the jumping numbers of an ideal in the local ring at rational singularity on a complex algebraic surface. By understanding the contributions of reduced divisors on a fixed resolution, we are able to present an algorithm for finding of the jumping numbers of the ideal. This shows, in particular, how to compute the jumping numbers of a plane curve from the numerical data of its minimal resolution. In addition, the jumping numbers of the maximal ideal at the singular point in a Du Val or toric surface singularity are computed, and applications to the smooth case are expl…
Let $ Y \subseteq \Bbb P^N $ be a possibly singular projective variety, defined over the field of complex numbers. Let $X$ be the intersection of $Y$ with $h$ general hypersurfaces of sufficiently large degrees. Let $d>0$ be an integer, and assume that $\dim Y=n+h$ and $ \dim Y_{sing} \le \min\{ d+h-1 , n-1 \} $. Let $Z$ be an algebraic cycle on $Y$ of dimension $d+h$, whose homology class in $H_{2(d+h)}(Y; \Bbb Q)$ is non-zero. In the present paper we prove that the restriction of $Z$ to $X$ is not algebraically equivalent to zero. This is a generalization to the singular case of a result due…
A projective non-singular plane algebraic curve of degree d<=4 is called maximally symmetric if it attains the maximum order of the automorphism groups for complex non-singular plane algebraic curves of degree d. For d<=7, all such curves are known. Up to projectivities, they are the Fermat curve for d=5,7, see \cite{kmp1,kmp2}, the Klein quartic for d=4, see \cite{har}, and the Wiman sextic for d=6, see \cite{doi}. In this paper we work on projective plane curves defined over an algebraically closed field of characteristic zero, and we extend this result to every d>=8 showing that the Fermat …
We study the "generic" degenerations of curves with two singular points when the points merge. First, the notion of generic degeneration is defined precisely. Then a method to classify the possible results of generic degenerations is proposed in the case of linear singularity types. We discuss possible bounds on the singularity invariants of the resulting type in terms of the initial types. In particular the strict upper bound on the resulting multiplicity is proved and a sufficient condition for $δ=const$ collision is given.
I will discuss recent progress by many people in the program of extending natural topological invariants from manifolds to singular spaces. Intersection homology theory and mixed Hodge theory are model examples of such invariants. The past 20 years have seen a series of new invariants, partly inspired by string theory, such as motivic integration and the elliptic genus of a singular variety. These theories are not defined in a topological way, but there are intriguing hints of their topological significance.
We generalize a formula due to Macdonald that relates the singular Betti numbers of $X^{n}/G$ to those of $X$, where $X$ is a compact manifold and $G$ is any subgroup of the symmetric group $S_{n}$ acting on $X^{n}$ by permuting coordinates. Our result is completely axiomatic: in a general setting, given an endomorphism on the cohomology $H^{\bullet}(X)$, it explains how we can explicitly relate the Lefschetz series of the induced endomorphism on $H^{\bullet}(X^{n})^{G}$ to that of the given endomorphism on $H^{\bullet}(X)$ in the presence of the Künneth formula with respect to a cup product. …
The Arnold inequalities characterizing the topology of non-singular plane real algebraic curves and the generalization of these inequalities for nodal curves by Viro are extended in this paper for the curves whose singularities have non-degenerated Milnor form. This involves an invariant of such real singularities, the real linking form, which is calculated.
We establish a homology relation for the Deligne-Mumford moduli spaces of real curves which lifts to a WDVV-type relation for real Gromov-Witten invariants of real symplectic manifolds; we also obtain a vanishing theorem for these invariants. For many real symplectic manifolds, these results reduce all genus 0 real invariants with conjugate pairs of constraints to genus 0 invariants with a single conjugate pair of constraints. In particular, we give a complete recursion for counts of real rational curves in odd-dimensional projective spaces with conjugate pairs of constraints and specify all c…
A generalised Thurston-Bennequin invariant for a Q-singularity of a real algebraic variety is defined as a linking form on the homologies of the real link of the singularity. The main goal of this paper is to present a method to calculate the linking form in terms of the very good resolution graph of a real normal unibranch surface singularity. For such singularities, the value of the linking form is the Thurston-Bennequin number of the real link of the singularity. As a special case of unibranch surface singularities, the behaviour of the linking form is investigated on the Brieskorn double p…
This paper contains an attempt to formulate rigorously and to check predictions in enumerative geometry of curves following from Mirror Symmetry. The main tool is a new notion of stable map. We give an outline of a contsruction of Gromov-Witten invariants for all algebraic projective or closed symplectic manifolds. Mirror Symmetry in the basic example of rational curves on a quintic 3-folds is reduced to certain complicated but explicit identity. The strategy of computations can be described as follows: 1) we reduce counting problems to questions concerning Chern classes on spaces of curves on…
Algebraic $K$-theory is a homology theory that behaves very well on sufficiently nice objects such as stable $C^*$-algebras or smooth algebraic varieties, and very badly in singular situations. This survey explains how to exploit this to detect singularity phenomena using $K$-theory and cyclic homology.
In the 1990's, Itenberg and Haas studied the relations between combinatorial data in Viro's patchworking and the topology of the resulting non-singular real algebraic curves in the projective plane. Using recent results from Renaudineau and Shaw on real algebraic curves near the non-singular tropical limit, we continue the study of Itenberg and Haas inside any non-singular projective toric surface. We give new Haas' like criteria for patchworking non-singular real algebraic curves with prescribed number of connected components, in terms of twisted edges on a non-singular tropical curve. We the…
We define the equivariant Chern-Schwartz-MacPherson class of a possibly singular algebraic variety with a group action over the complex number field (or a field of characteristic 0). In fact, we construct a natural transformation from the equivariant constructible function functor to the equivariant homology functor (in the sense of Totaro-Edidin-Graham), which may be regarded as MacPherson's transformation for (certain) quotient stacks. We discuss on other type Chern/Segre classes and give some applications generalizing orbifold Euler characteristics and Thom polynomials of singularities. The…
The paper establishes a formula for enumeration of curves of arbitrary genus in toric surfaces. It turns out that such curves can be counted by means of certain lattice paths in the Newton polygon. The formula was announced earlier in http://arxiv.org/abs/math.AG/0209253. The result is established with the help of the so-called tropical algebraic geometry. This geometry allows one to replace complex toric varieties with the Euclidean n-space and holomorphic curves with certain piecewise-linear graphs there.
We construct two functorial filtrations on the algebraic $K$-theory of schemes of finite type over a field $k$ that may admit arbitrary singularities and may be non-reduced, one called the coniveau filtration, and the other called the motivic coniveau filtration. Restricting to the subcategory of smooth $k$-schemes, our coniveau filtration coincides with the classical coniveau (also known as the topological) filtration on algebraic $K$-theory of D. Quillen, whereas our motivic coniveau filtration coincides with the homotopy coniveau filtration for algebraic $K$-theory of M. Levine.
Kodaira's classification of singular fibers in elliptic fibrations and its translation into the language of monodromies and Lefschetz fibrations has been a boon to the study of 4-manifolds. In this article, we begin the work of translating between singular fibers of genus 2 families of algebraic curves and the positive Dehn twist factorizations of Lefschetz fibrations for a certain subset of the singularities described by Namikawa and Ueno in the 70s. We look at four families of hypersurface singularities in $\mathbb{C}^3$. Each hypersurface comes equipped with a fibration by genus 2 algebraic…
Given a real valued function f(X,Y), a box region B_0 in R^2 and a positive epsilon, we want to compute an epsilon-isotopic polygonal approximation to the restriction of the curve S=f^{-1}(0)={p in R^2: f(p)=0} to B_0. We focus on subdivision algorithms because of their adaptive complexity and ease of implementation. Plantinga and Vegter gave a numerical subdivision algorithm that is exact when the curve S is bounded and non-singular. They used a computational model that relied only on function evaluation and interval arithmetic. We generalize their algorithm to any bounded (but possibly non-s…
We prove bounds for the volume of neighborhoods of algebraic sets, in the euclidean space or the sphere, in terms of the degree of the defining polynomials, the number of variables and the dimension of the algebraic set, without any smoothness assumption. This generalizes previous work of Lotz on smooth complete intersections in the euclidean space and of Bürgisser, Cucker and Lotz on hypersurfaces in the sphere, and gives a complete solution to Problem 17 in the book titled "Condition" by Bürgisser and Cucker.
