We prove a formula for the geometric genus of splice-quotient singularities (in the sense of Neumann and Wahl). This formula enables us to compute the invariant from the resolution graph; in fact, it reduces the computation to that for splice-quotient singularities with smaller resolution graphs. We also discuss the dimension of the first cohomology groups of certain invertible sheaves on a resolution of a splice-quotient singularity.
The current work will appear in a Celebratio Mathematica volume in honor of Walter Neumann. We summarize results and methods from our long-time collaboration with Neumann, especially the motivation for the introduction of splice diagrams to define singularities of splice type and splice-quotient singularities. The Casson Invariant Conjecture and Milnor Fiber Conjectures are discussed, as well as some open questions about hypersurface and complete intersection singularities with integral homology sphere link.
We provide several results on splice-quotient singularities: a combinatorial expression of the dimension of the first cohomology of all `natural' line bundles, an equivariant Campillo-Delgado-Gusein-Zade type formula about the dimension of relative sections of line bundles (proving that the equivariant, divisorial multi-variable Hilbert series is topological), a combinatorial description of divisors of analytic function-germs, and an expression for the multiplicity of the singularity from its resolution graph. Additional, we establish a new formula for the Seiberg-Witten invariants of any rati…
In this manuscript we investigate the analouge of the Brill-Noether problem for smooth curves in the case of normal surface singularities. We determine the maximal possible value of $h^1$ of line bundles without fixed components in the Picard group $\pic^{l'}(\tX)$ in the following cases: for some special Chern classes $l'$ if $\tX$ is a resolution of a splice quotient singularity $(X, 0)$ and for arbitrary Chern classes in the case of weighted homogenous singularities. Motivated by this problem, we define the \emph{virtual cohomology numbers} $h^1_{virt}(l')$ for all Chern classes $l'$ such t…
We obtain a new important basic result on splice-quotient singularities in an elegant combinatorial-geometric way: every level of the divisorial filtration of the ring of functions is generated by monomials of the defining coordinate functions. The elegant way is the language of of line bundles based on Okuma's description of the function ring of the universal abelian cover. As an easy application, we obtain a new proof of the End Curve Theorem of Neumann and Wahl.
The splice quotients are an interesting class of normal surface singularities with rational homology sphere links, defined by W. Neumann and J. Wahl. If Gamma is a tree of rational curves that satisfies certain combinatorial conditions, then there exist splice quotients with resolution graph Gamma. Suppose the equation z^n=f(x,y) defines a surface X_{f,n} with an isolated singularity at the origin in C^3. For f irreducible, we completely characterize, in terms of n and a variant of the Puiseux pairs of f, those X_{f,n} for which the resolution graph satisfies the combinatorial conditions that …
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…
A three-dimensional orbifold $(Σ, γ_i, n_i)$, where $Σ$ is a rational homology sphere, has a universal abelian orbifold covering, whose covering group is the first orbifold homology. A singular pair $(X,C)$, where $X$ is a normal surface singularity with $\mathbb Q$HS link and $C$ is a Weil divisor, gives rise on its boundary to an orbifold. One studies the preceding orbifold notions in the algebro-geometric setting, in particular defining the universal abelian log cover of a pair. A first key theorem computes the orbifold homology from an appropriate resolution of the pair. In analogy with th…
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 prove the "End Curve Theorem," which states that a normal surface singularity $(X,o)$ with rational homology sphere link $Σ$ is a splice-quotient singularity if and only if it has an end curve function for each leaf of a good resolution tree. An "end-curve function" is an analytic function $(X,o)\to (\C,0)$ whose zero set intersects $Σ$ in the knot given by a meridian curve of the exceptional curve corresponding to the given leaf. A "splice-quotient singularity" $(X,o)$ is described by giving an explicit set of equations describing its universal abelian cover as a complete intersection in $…
Stable quotient spaces provide an alternative to stable maps for compactifying spaces of maps. When the target is projective space and the domain curve has genus 1, these are smooth proper Deligne-Mumford stacks. In this paper we study the associated coarse moduli schemes. We show these schemes are projective, rationally connected and have Picard number 2. Then we give generators for the Picard group, compute the canonical divisor, and the cones of ample and effective divisors. In certain cases, we also give a closed formula for the Poincaré polynomial.
S. Kondo has constructed a ball quotient compactification for the moduli space of non-hyperelliptic genus four curves. In this paper, we show that this space essentially coincides with a GIT quotient of the Chow variety of canonically embedded genus four curves. More specifically, we give an explicit description of this GIT quotient, and show that the birational map from this space to Kondo's space is resolved by the blow-up of a single point. This provides a modular interpretation of the points in the boundary of Kondo's space. Connections with the slope nine space in the Hassett-Keel program…
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…
Let X_n := \bar M_{0,n}, the moduli space of n-pointed stable genus zero curves, and let X_{n,m} be the quotient of X_n by the action of the symmetric group S_{n-m} on the last n-m marked points. The cones of effective divisors of X_{n,m}, m = 0,1,2, are calculated. Using this, upper bounds for the cones Mov(X_{n,m}) generated by divisors with moving linear systems are calculated, m = 0,1, along with the induced bounds on the cones of ample divisors of \bar M_g and \bar M_{g,1}. As an application, the cone of effective divisors of \bar M_{2,1} is analyzed in detail.
S. Kondō used periods of $K3$ surfaces to prove that the moduli space of genus three curves is birational to an arithmetic quotient of a complex 6-ball. In this paper we study Heegner divisors in the ball quotient, given by arithmetically defined hyperplane sections of the ball. We show that the corresponding loci of genus three curves are given by: hyperelliptic curves, singular plane quartics and plane quartics admitting certain rational "splitting curves".
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 analyze GIT stability of nets of quadrics in $\mathbb{P}^4$ up to projective equivalence. Since a general net of quadrics defines a canonically embedded smooth curve of genus five, the resulting GIT quotient gives a birational model of the moduli space of genus 5 curves. We study the geometry of the associated contraction and prove that the constructed GIT quotient is the final step of the log minimal model program for the moduli space of genus 5 curves.
We prove that if $m \ge n-3$ then every $S_m$-invariant F-nef divisor on the moduli space of stable $n$-pointed curves of genus zero is linearly equivalent to an effective combination of boundary divisors. As an application, we determine the Mori cone of the moduli spaces of stable curves of small genus with few marked points.
In previous work (arXiv:1304.7056) we have conjectured wall-crossing formulas for genus zero quasimap invariants of GIT quotients and proved them via localization in many cases. We extend these formulas to higher genus when the target is semi-positive, and prove them for semi-positive toric varieties, in particular for toric local Calabi-Yau targets. The proof also applies to local Calabi-Yau's associated to some non-abelian quotients.
In this article we suggest a new approach to the systematic, computer-aided construction and to the classification of product-quotient surfaces, introducing a new invariant, the integer gamma, which depends only on the singularities of the quotient model X=(C_1 x C_2)/G. It turns out that gamma is related to the codimension of the subspace of H^{1,1} generated by algebraic curves coming from the construction (i.e., the classes of the two fibers and the Hirzebruch-Jung strings arising from the minimal resolution of singularities of X). Profiting from this new insight we developped and implement…
We find a new presentation of the stack of hyperelliptic curves of odd genus as a quotient stack and we use it to compute its integral Chow ring by means of equivariant intersection theory.
In this paper we study the moduli stack ${\mathcal U}_{1,n}^{ns}$ of curves of arithmetic genus 1 with n marked points, forming a nonspecial divisor. In arXiv:1511.03797 this stack was realized as the quotient of an explicit scheme $\widetilde{\mathcal U}_{1,n}^{ns}$, affine of finite type over ${\Bbb P}^{n-1}$, by the action of ${\Bbb G}_m^n$ . Our main result is an explicit description of the corresponding GIT semistable loci in $\widetilde{\mathcal U}_{1,n}^{ns}$. This allows us to identify some of the GIT quotients with some of the modular compactifications of ${\mathcal M}_{1,n}$ defined …
We prove that the coarse moduli space of curves of genus 6 is birational to an arithmetic quotient of a bounded symmetric domain of type IV by giving a period map to the moduli space of some lattice-polarized K3 surfaces.
We discuss Weber's formula which gives the quotient of two Thetanullwerte for a plane smooth quartic in terms of the bitangents. In particular, we show how it can easily be derived from the Riemann-Jacobi formula.
Let $S$ be a smooth projective surface with $p_g=0$, let $ι$ be a regular involution acting on $S$, and let $W$ be the resolution of singularities of the quotient surface $S/ι$. In the paper we prove that Bloch's conjecture holds for the surface $S$ if and only if it holds for the surface $W$. This yields Bloch's conjecture for all surfaces $S$ whenever the same conjecture is true for the desingularized quotient $W$. In particular, Bloch's conjecture holds true for all numerical Godeaux surfaces with involutions, a "half" of Campedelli surfaces with involutions, the surface of Craighero and Ga…
This is the third in a sequence of papers in which we construct a quantum version of the Kirwan map from the equivariant quantum cohomology of a smooth polarized complex projective variety with the action of a connected complex reductive group to the orbifold quantum cohomology of its geometric invariant theory quotient, and prove that it intertwines the genus zero gauged Gromov-Witten potential with the genus zero Gromov-Witten graph potential. We also give a formula for a solution to the quantum differential equation in terms of a localized gauged potential. These results overlap with those …
We make precise conjectures relating the genus zero Gromov-Witten theory of a nonabelian GIT quotient X//G to that of the associated abelian quotient X//T by a maximal torus T in G.These conjectures imply in particular closed formulas for the J-functions (that is, the generating functions for 1-point Gromov-Witten invariants) of all generalized flag manifolds of classical A, B, C and D types. These formulas are proved in the second part of the paper.
For a hyperelliptic curve of genus $g$, a divisor in general position of degree $g+1$ is given by polynomial equations. There is an action from an algebraic group on the representations of divisors by polynomials which fixes divisor classes. This structure reduces the question of rationality of divisor classes to rationality of polynomials which is more easy to control.
In this paper we classify curves of genus 2 with group of automorphisms isomorphic to D_8 or D_12 over an arbitrary field k (of characteristic different from 2 in the D_8 case and from 2 and 3 in the D_{12} case) up to k-isomorphism. As an application of the classification of curves of genus 2 obtained, we get precise arithmetic information on their elliptic quotients and on their jacobians. Over the field k=Q, we show that the elliptic quotients of the curves with automorphisms D_8 and D_{12} are precisely the Q-curves of degrees 2 and 3, respectively, and we determine which curves have jacob…
We use mirror formulas for the stable quotients analogue of Givental's J-function for twisted projective invariants obtained in a previous paper to obtain mirror formulas for the analogues of the double and triple Givental's J-functions (with descendants at all marked points) in this setting. We then observe that the genus 0 stable quotients invariants need not satisfy the divisor, string, or dilaton relations of the Gromov-Witten theory, but they do possess the integrality properties of the genus 0 three-point Gromov-Witten invariants of Calabi-Yau manifolds. We also relate the stable quotien…
We prove that the Poincare' polynomial of the moduli space of smooth genus 4 curves is 1+t^2+t^4+t^5. We show this by producing a stratification of the space, such that all strata are geometric quotients of complements of discriminants.
This is the first in a sequence of papers in which we construct a quantum version of the Kirwan map from the equivariant quantum cohomology $QH_G(X)$ of a smooth complex projective variety X with the action of a connected complex reductive group $G$ to the orbifold quantum cohomology $QH(X//G)$ of its geometric invariant theory quotient $X//G$, and prove that it intertwines the genus zero gauged Gromov-Witten potential of X with the genus zero Gromov-Witten graph potential of $X//G$.
We prove that given any $n$-pointed prestable curve $C$ of genus $g$ with linearly reductive automorphism group ${\rm Aut}(C)$, there exists an ${\rm Aut}(C)$-equivariant miniversal deformation of $C$ over an affine variety $W$. In other words, we prove that the algebraic stack $\mathfrak{M}_{g,n}$ parametrizing $n$-pointed prestable curves of genus $g$ has an étale neighborhood of $[C]$ isomorphic to the quotient stack $[W / {\rm Aut}(C)]$.
We prove the connectedness of the moduli space of maps (of fixed genus and homology class) to the homogeneous space G/P by degeneration via the maximal torus action. In the genus 0 case, the irreducibility of the moduli of maps is a direct consequence of connectedness. An analysis of a related Bialynicki-Birula stratification of the map space yields a rationality result: the (coarse) moduli space of genus 0 maps to G/P is a rational variety. The rationality argument depends essentially upon rationality results for quotients of SL2 representations proven by Katsylo and Bogomolov.
We derive a cut-and-paste surgery formula of Seiberg--Witten invariants for negative definite plumbed rational homology 3-spheres. It is similar to (and motivated by) Okuma's recursion formula [arXiv:math.AG/0610464, 4.5] targeting analytic invariants of splice quotient singularities. The two formulas combined provide automatically a proof of the equivariant version [arXiv:math.AG/0310084, 5.2(b)] of the `Seiberg--Witten invariant conjecture' [arXiv:math.AG/0111298] for these singularities.
A product-quotient surface is the minimal resolution of the singularities of the quotient of a product of two curves by the action of a finite group acting separately on the two factors. We classify all minimal product-quotient surfaces of general type with geometric genus 0: they form 72 families. We show that there is exactly one product-quotient surface of general type with big canonical class which is not minimal, and describe its (-1) curves. For all these surfaces the Bloch conjecture holds.
We present explicit models for Shimura curves X_D and Atkin-Lehner quotients X_D/w_m of them of genus 2. We show that several equations conjectured by Kurihara are correct and compute for them the kernel of Ribet's isogeny J_0(D)^{new} --> J_D between the new part of the Jacobian of the modular curve X_0(D) and the Jacobian of X_D.
We prove in two different ways that the monodromy map from the space of irreducible $\mathfrak{sl}_2$-differential-systems on genus two Riemann surfaces, towards the character variety of $\mathrm{SL}_2$-representations of the fundamental group, is a local diffeomorphism. This is motivated by a question raised by Étienne Ghys about Margulis' problem: existence of curves of negative Euler characteristic in compact quotients of $\mathrm{SL}_2(\mathbb{C})$.
We study properties of the Hirzebruch class of quotient singularities $\mathbb{C}^n/G$, where $G$ is a finite matrix group. The main result states that the Hirzebruch class coincides with the Molien series of $G$ under suitable substitution of variables. The Hirzebruch class of a crepant resolution can be described specializing the orbifold elliptic genus constructed by Borisov and Libgober. It is equal to the combination of Molien series of centralizers of elements of $G$. This is an incarnation of the McKay correspondence. The results are illustrated with several examples, in particular of 4…
In this article we define stable supercurves and super stable maps of genus zero via labeled trees. We prove that the moduli space of stable supercurves and super stable maps of fixed tree type are quotient superorbifolds. To this end, we prove a slice theorem for the action of super Lie groups on Riemannian supermanifolds and discuss superorbifolds. Furthermore, we propose a Gromov topology on super stable maps such that the restriction to fixed tree type yields the quotient topology from the superorbifolds and the reduction is compact. This would, possibly, lead to the notions of super Gromo…
We prove the existence of a pair $(Σ,\, Γ)$, where $Σ$ is a compact Riemann surface with $\text{genus}(Σ)\, \geq\, 2$, and $Γ\, \subset\, {\mathrm SL}(2, \mathbb C)$ is a cocompact lattice, such that there is a generically injective holomorphic map $Σ\, \longrightarrow\, {\mathrm SL}(2, \mathbb C)/Γ$. This gives an affirmative answer to a question raised by Huckleberry and Winkelmann \cite{HW} and by Ghys \cite{Gh}.
In this paper, we prove a wall-crossing formula for $ε$-stable quasimaps to GIT quotients conjectured by Ciocan-Fontanine and Kim, for all targets in all genera, including the orbifold case. We prove that stability conditions in adjacent chambers give equivalent invariants, provided that both chambers are stable. In the case of genus-zero quasimaps with one marked point, we compute the invariants in the left-most stable chamber in terms of the small $I$-function. Using this we prove that the quasimap $J$-functions are on the Lagrangian cone of the Gromov--Witten theory. The proofs are based on…
We give an explicit formula for a quasi-isomorphism between the operads Hycomm (the homology of the moduli space of stable genus 0 curves) and BV/$Δ$ (the homotopy quotient of Batalin-Vilkovisky operad by the BV-operator). In other words we derive an equivalence of Hycomm-algebras and BV-algebras enhanced with a homotopy that trivializes the BV-operator. These formulas are given in terms of the Givental graphs, and are proved in two different ways. One proof uses the Givental group action, and the other proof goes through a chain of explicit formulas on resolutions of Hycomm and BV. The second…
