A k-ellipse is a plane curve consisting of all points whose distances from k fixed foci sum to a constant. We determine the singularities and genus of its Zariski closure in the complex projective plane. The paper resolves an open problem stated by Nie, Parrilo and Sturmfels in 2008.
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.
We consider families of curve-to-curve maps that have no singularities except those of genus 0 stable maps and that satisfy a versality condition at each singularity. We provide a universal expression for the cohomology class Poincaré dual to the locus of any given singularity. Our expressions hold for any family of curve-to-curve maps satisfying the above properties.
We construct and study the reduced, relative, genus one Gromov--Witten theory of very ample pairs. These invariants form the principal component contribution to relative Gromov--Witten theory in genus one and are relative versions of Zinger's reduced Gromov--Witten invariants. We relate the relative and absolute theories by degeneration of the tangency conditions, and the resulting formulas generalise a well-known recursive calculation scheme put forward by Gathmann in genus zero. The geometric input is a desingularisation of the principal component of the moduli space of genus one logarithmic…
In this paper we extend the concept of Milnor fiber and Milnor number of a curve singularity allowing the ambient space to be a quotient surface singularity. A generalization of the local δ-invariant is defined and described in terms of a Q-resolution of the curve singularity. In particular, when applied to the classical case (the ambient space is a smooth surface) one obtains a formula for the classical δ-invariant in terms of a Q-resolution, which simplifies considerably effective computations. All these tools will finally allow for an explicit description of the genus formula of a curve def…
In this paper we establish that the singularities of the universal compactified Jacobian are canonical if the genus is at least four. As a corollary we determine the Kodaira dimension and the Iitaka fibration of the universal compactified Jacobian for every degree and genus. We also determine the birational automorphism group for every degree if the genus is at least twelve. This extends work of G. Farkas and A. Verra, as well as that of G. Bini, C. Fontanari and the third author.
We study singularities obtained by the contraction of the maximal divisor in compact (non kaehlerian) surfaces which contain global spherical shells. These singularities are of genus 1 or 2, may be Q-Gorenstein, numerically Gorenstein or Gorenstein. A family of polynomials depending on the configuration of the curves computes the discriminant of the quadratic forms of these singularities. We introduce a multiplicative branch topological invariant which determines the twisting of a non-vanishing holomorphic 1-form on the complement of the singular point.
Given a normal surface singularity (X,0), its link, M is a closed differentiable three dimensional manifold which carries much analytic information. It is an interesting question to ask whether, under suitable analytic and topological conditions, the geometric genus (or other analytic invariants) can be recovered from the link. The Casson invariant conjecture predicts that p_g can be identified using the Casson invariant in the case when (X,0) is a complete intersection and M has trivial first homology with integral coefficients. The Seiberg-Witten invariant conjecture predicts that the geomet…
A mixed quasi-étale quotient is the quotient of the product of a curve of genus at least 2 with itself by the action of a group which exchanges the two factors and acts freely out of a finite subset. A mixed quasi-étale surface is the minimal resolution of its singularities. We produce an algorithm computing all mixed quasi-étale surfaces with given geometric genus, irregularity, and self-intersection of the canonical class. We prove that all irregular mixed quasi-étale surfaces of general type are minimal. As application, we classify all irregular mixed quasi étale surfaces of general type wi…
We introduce a new technique, based on Gaussian maps, to study the possibility, for a given surface, to lie on a threefold as a very ample divisor with given normal bundle. We give several applications, among which one to surfaces of general type and another one to Enriques surfaces. For the latter we prove that any threefold (with no assumption on its singularities) having as hyperplane section a smooth Enriques surface (by definition an Enriques-Fano threefold) has genus g < 18 (where g is the genus of its smooth curve sections). The latter bound was also proved recently by Prokhorov, who al…
We define the singular orbifold elliptic genus and $E$-function for all normal surfaces without strictly log-canonical singularities, and prove the analogue of the McKay correspondence in this setting. Our invariants generalize the stringy invariants defined by Willem Veys for this class of singularities. We show that the ability to define these invariants is closely linked to rigidity phenomena associated to the elliptic genus.
This paper deals with singularities of genus 2 curves on a general (d_1,d_2)-polarized abelian surface (S,L). In analogy with Chen's results concerning rational curves on K3 surfaces [Ch1,Ch2], it is natural to ask whether all such curves are nodal. We prove that this holds true if and only if d_2 is not divisible by 4. In the cases where d_2 is a multiple of 4, we exhibit genus 2 curves in |L| that have a triple, 4-tuple or 6-tuple point. We show that these are the only possible types of unnodal singularities of a genus 2 curve in |L|. Furthermore, with no assumption on d_1 and d_2, we prove …
We consider Fuchsian singularities of arbitrary genus and prove, in a conceptual manner, a formula for their Poincaré series. This uses Coxeter elements involving Eichler-Siegel transformations. We give geometrical interpretations for the lattices and isometries involved, lifting them to triangulated categories.
In recent years, the equations defining secant varieties and their syzygies have attracted considerable attention. The purpose of the present paper is to conduct a thorough study on secant varieties of curves by settling several conjectures and revealing interaction between singularities and syzygies. The main results assert that if the degree of the embedding line bundle of a nonsingular curve of genus $g$ is greater than $2g+2k+p$ for nonnegative integers $k$ and $p$, then the $k$-th secant variety of the curve has normal Du Bois singularities, is arithmetically Cohen--Macaulay, and satisfie…
In [7], Donovan and Wemyss introduced the contraction algebra of flop- ping curves in 3-folds. When the flopping curve is smooth and irreducible, we prove that the contraction algebra together with its A_\infty-structure recovers various invariants associated to the underlying singularity and its small resolution, including the derived category of singularities and the genus zero Gopakuma-Vafa invariants.
We describe Milnor open books and Legendrian surgery diagrams for canonical contact structures of links of some rational surface singularities. We also describe an infinite family of Milnor fillable contact 3-manifolds so that the Milnor genus (resp. Milnor norm) is strictly greater than the support genus (resp. support norm) of the canonical contact structure, for each member of this family.
In this paper we look for necessary and sufficient conditions for a genus one fibration to have rational curves. We show that a projective variety with log terminal singularities that admits a relatively minimal genus one fibration $X\rightarrow B$ does contain vertical rational curves if and only if it not isomorphic to a finite étale quotient of a product $\tilde{B}\times E$ over $B$. Many sufficient conditions for the existence of rational curves in a variety that admits a genus one fibration are proved in this paper.
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…
In this paper we consider the singularities of the varieties parameterizing stable vector bundles of fixed rank and degree with sections on a smooth curve of genus at least two. In particular, we extend results of Y. Laszlo, and of the second author, regarding the singularities of generalized theta divisors.
According to \cite{BOSS} and \cite{M1}, the ancestor correlators of any semi-simple cohomological field theory satisfy {\em local} Eynard--Orantin recursion. In this paper, we prove that for simple singularities, the local recursion can be extended to a global one. The spectral curve of the global recursion is an interesting family of Riemann surfaces defined by the invariant polynomials of the corresponding Weyl group. We also prove that for genus 0 and 1, the free energies introduced in \cite{EO} coincide up to some constant factors with respectively the genus 0 and 1 primary potentials of t…
We compute the intersection Betti numbers of the GIT model of the moduli space of Brill-Noether-Petri general curves of genus 4. This space was shown to be the final non-trivial log canonical model for the moduli space of stable genus four curves, under the Hassett-Keel program. The strategy of the cohomological computation relies on a general method developed by Kirwan to calculate the cohomology of GIT quotients of projective varieties, based on the equivariantly perfect stratification of the unstable points studied by Hesselink and others and a partial resolution of singularities.
For any toric Calabi-Yau 3-orbifold with transverse A-singularities, we prove Ruan's crepant resolution conjecture and the Gromov-Witten/Donaldson-Thomas correspondence.
The number $N_9(5)$, the maximal number of $\mathbb{F}_9$-rational points on curves over $\mathbb{F}_9$ of genus $5$ is unknown, but it is known that $32 \le N_9(5)\le 35$. In this paper, we enumerate hyperelliptic curves and trigonal curves over $\mathbb{F}_3$ which have many $\mathbb{F}_9$-rational points (and $\mathbb{F}_3$-rational points), especially the maximal number of $\mathbb{F}_9$-rational points of those curves is $30$. Kudo-Harashita studied the nonhyperelliptic and nontrigonal case,where they found a new example of curves (over $\mathbb{F}_3$) of genus five which attains $32$ and…
In the classical case of irreducible smooth algebraic curves every genus $2$ curve is hyperelliptic, or in other words there is a complete linear series $g_2^1$ on them. On the other hand if $g > 2$, then a generic smooth curve of genus $2$ is nonhyperelliptic. In this article we investigate the situation of normal surface singularities, so we fix a resolution graph $\mathcal{T}$ and a generic singularity with resolution $\tX$ corresponding to it in the sense of \cite{NNII}. We consider an integer effective cycle $Z$ on the resolution $\tX$ and investigate the existence of a complete linear se…
We develop explicit techniques to investigate algebraic quasi-hyperbolicity of singular surfaces through the constraints imposed by symmetric differentials. We apply these methods to prove that rational curves on Barth's sextic surface, apart from some well-known ones, must pass through at least four singularities, and that genus 1 curves must pass through at least two. On the surface classifying perfect cuboids, our methods show that rational curves, again apart from some well-known ones, must pass through at least seven singularities, and that genus 1 curves must pass through at least two. W…
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…
Let f be an isolated plane curve singularity with Milnor fiber of genus at least 5. For all such f, we give (a) an intrinsic description of the geometric monodromy group that does not invoke the notion of the versal deformation space, and (b) an easy criterion to decide if a given simple closed curve in the Milnor fiber is a vanishing cycle or not. With the lone exception of singularities of type $A_n$ and $D_n$, we find that both are determined completely by a canonical framing of the Milnor fiber induced by the Hamiltonian vector field associated to f. As a corollary we answer a question of …
The local invariants of a meromorphic Abelian differential on a Riemann surface of genus $g$ are the orders of zeros and poles, and the residues at the poles. The main result of this paper is that with few exceptions, every pattern of orders and residues can be obtain by an Abelian differential. These exceptions are two families in genus zero when the orders of the poles are either all simple or all nonsimple. Moreover, we even show that the pattern can be realized in each connected component of strata. Finally we give consequences of these results in algebraic and flat geometry. The main ingr…
We describe the singular locus of the compactification of the moduli space $R_{g,l}$ of curves of genus $g$ paired with an $l$-torsion point in their Jacobian. Generalising previous work for $l\le 2$, we also describe the sublocus of noncanonical singularities for any positive integer $l$. For $g\ge 4$ and $l=3,4, 6$, this allows us to provide a lifting result on pluricanonical forms playing an essential role in the computation of the Kodaira dimension of $R_{g,l}$: for those values of $l$, every pluricanonical form on the smooth locus of the moduli space extends to a desingularisation of the …
Let $(S,H)$ be a general primitively polarized $K3$ surface of genus $\p$ and let $p_a(nH)$ be the arithmetic genus of $nH.$ We prove the existence in $|\mathcal O_S(nH)|$ of curves with a triple point and $A_k$-singularities. In particular, we show the existence of curves of geometric genus $g$ in $|\mathcal O_S(nH)|$ with a triple point and nodes as singularities and corresponding to regular points of their equisingular deformation locus, for every $1\leq g\leq p_a(nH)-3$ and $(\p,n)\neq (4,1).$ Our result is obtained by studying the versal deformation space of a non-planar quadruple point.
The main message of the paper is that for Gorenstein singularities, whose (real) link is rational homology sphere, the Artin--Laufer program can be continued. Here we give the complete answer in the case of elliptic singularities. The main result of the paper says that in the case of an elliptic Gorenstein singularity whose link is rational homology sphere, the geometric genus is a topological invariant. Actually, it is exactly the length of the elliptic sequence in the minimal resolution (or, equivalently, in S. S.-T. Yau's terminology: these singularities are maximally elliptic). In the pape…
We study the geometry of Gorenstein curve singularities of genus two, and of their stable limits. These singularities come in two families, corresponding to either Weierstrass or conjugate points on a semistable tail. For every $1\leq m <n$, a stability condition - using one of the markings as a reference point, and therefore not $\mathfrak S_n$-symmetric - defines proper Deligne-Mumford stacks $\overline{\mathcal M}_{2,n}^{(m)}$ containing the locus of smooth curves as a dense open substack.
We prove the modularity for an algebraic space curve $Y$ of genus $50$ in $\mathbb{P}^5$, which consists of $21$ quartic polynomials in six variables, by means of an explicit modular parametrization by theta constants of order $13$. This provides an example of modularity, explicit uniformization and hyperbolic uniformization of arithmetic type for a higher genus algebraic space curve. In particular, it gives a new example for Hilbert's 22nd problem. This gives $21$ modular equations of order $13$, which greatly improve the result of Ramanujan and Evans on the construction of modular equations …
Motivated by the embedding problem of canonical models in small codimension, we extend Severi's double point formula to the case of surfaces with rational double points, and we give more general double point formulae for varieties with isolated singularities. A concrete application is for surfaces with geometric genus $p_g=5$: the canonical model is embedded in $\mathbb{P}^4$ if and only if we have a complete intersection of type $(2,4)$ or $(3,3)$.
We prove the Lipman-Zariski conjecture for complex surface singularities of genus one, and also for those of genus two whose link is not a rational homology sphere. As an application, we characterize complex $2$-tori as the only normal compact complex surfaces whose smooth locus has trivial tangent bundle. We also deduce that all complex-projective surfaces with locally free and generically nef tangent sheaf are smooth, and we classify them.
A class of Hamiltonian deformations of plane curves is defined and studied. Hamiltonian deformations of conics and cubics are considered as illustrative examples. These deformations are described by systems of hydrodynamical type equations. It is shown that solutions of these systems describe processes of formation of singularities (cusps, nodes), bubbles, and change of genus of a curve.
Let $C$ be a nodal curve, and let $E$ be a union of semistable subcurves of $C$. We consider the problem of contracting the connected components of $E$ to singularities in a way that preserves the genus of $C$ and makes sense in families, so that this contraction may induce maps between moduli spaces of curves. In order to do this, we introduce the notion of mesa curve, a nodal curve $C$ with a logarithmic structure and a piecewise linear function $\overlineλ$ on the tropicalization of $C$. This piecewise linear function determines a subcurve $E$. We then construct a contraction of $E$ inside …
In this article we prove that the possible geometric genuses $p_g(\tX)$ corresponding to normal surface singularities $\tX$ with fixed negative definite resolution graph $\mathcal{T}$ form an interval of integers. Similarly let us have a resolution graph $\mathcal{T}$ and a fixed normal surface singularity $(X, 0)$ with resolution $\tX$ and resolution graph $\mathcal{T}$, furthermore consider a Chern class $l' \in L'$. We prove that the possible values of $h^1(\tX, \calL)$, where $\calL \in \pic^{l'}(\tX)$ form an interval of integers.
In this paper we give a precise classification of the pairs $(C,\widetilde{B})$ with $C$ a smooth curve of genus $g$ and $\widetilde{B}\subset C^{(2)}$ a curve of degree two and positive self-intersection. We prove that there are no such pairs if $g < p_a(\widetilde{B})< 2g-1$. We study the singularities and self-intersection of any degree two curve in $C^{(2)}$. Moreover, we give examples of curves with arithmetic genus in the Brill-Noether range and positive self-intersection on $C\times C$.
We give explicitly in the closed formulae the genus zero primary potentials of the three 6-dimensional FJRW theories of the simple-elliptic singularity $\tilde E_7$ with the non-maximal symmetry groups. For each of these FJRW theories we establish the CY/LG correspondence to the Gromov-Witten theory of the orbifold $[\mathcal{E}/ (\mathbb{Z}/2\mathbb{Z})]$ --- the orbifold quotient of the elliptic curve by the hyperelliptic involution. Namely, we give explicitly the Givental's group elements, whose actions on the partition function of the Gromov--Witten theory of $[\mathcal{E}/ (\mathbb{Z}/2\m…