In this paper, we study the Brill-Noether theory of the normalizations of singular, irreducible curves on a $K3$ surface. We introduce a {\em singular} Brill-Noether number $ρ_{sing}$ and show that if the Picard group of the K3 surface is ${\mathbb Z} [L]$, there are no $g^r_d$'s on the normalizations of irreducible curves in $|L|$, provided that $ρ_{sing} <0$.
We give examples showing the sharpness of this result. We then focus on the case of {\em hyperelliptic normalizations}, and classify linear systems $|L|$ containing irreducible nodal curves with hyperelliptic normalizations, for $ρ_{sing}<0$, without any assumption on its Picard group.
We give restrictions on the existence of families of curves on smooth projective surfaces $S$ of nonnegative Kodaira dimension all having constant geometric genus $g \geq 2$ and hyperelliptic normalizations. In particular, we prove a Reider-like result whose proof is ``vector bundle-free'' and relies on deformation theory and bending-and-breaking of rational curves in $\Sym^2(S)$. We also give examples of families of such curves.
If (X,0) is a complex surface germ with a non-isolated singular locus we describe its singular link L of (X,0) and we show that the topology of L determines the topology of the normalization.
Let $C$ be a smooth curve of genus $g$. For each positive integer $r$ the $r$-gonality $d_r(C)$ of $C$ is the minimal integer $t$ such that there is $L\in {Pic}^t(C)$ with $h^0(C,L) =r+1$. In this paper for all $g\ge 40805$ we construct several examples of smooth curves $C$ of genus $g$ with $d_3(C)/3< d_4(C)/4$, i.e. for which a slope inequality fails.
We show that the normalization of the Nash blow-up of order n of the toric surface singularity An can be factorized by the minimal resolution of An. The result is obtained using the combinatorial description of these objects.
Our purpose is to investigate all defined Poincaré series associated with multi-index filtrations and value semigroups of curve singularities---not necessarily complex---with regard to the property of forgetting variables, i.e., by making variables of the series to be 1. Generalised Poincaré series of motivic nature will be also considered.
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.
Lejeune-Jalabert and Reguera computed the geometric Poincare series P_{geom}(T) for toric surface singularities. They raise the question whether this series equals the arithmetic Poincare series. We prove this equality for a class of toric varieties including the surfaces, and construct a counterexample in the general case. We also compute the motivic Igusa Poincare series Q_{geom}(T) for toric surface singularities, using the change of variables formula for motivic integrals, thus answering a second question of Lejeune-Jalabert and Reguera's. The series Q_{geom}(T) contains more information t…
We unify and generalize formulas obtained by Campillo, Delgado and Gusein-Zade in their series of articles. Positive results are established for rational and minimally elliptic singularities. By examples and counterexamples we also try to find the `limits' of these identities. Connections with the Seiberg-Witten Invariant Conjecture and Semigroup Density Conjecture are discussed.
We target multivariable series associated with resolutions of complex analytic normal surface singularities. In general, the equivariant multivariable analytical and topological Poincaré series are well-defined and have good properties only if the link is a rational homology sphere. We wish to create a model when this assumption is not valid: we analyse the case of cusps. For such germs we define even the motivic versions of these two series, we prove that they are equal, and we provide explicit combinatorial expression for them. This is done via a motivic multivariable series associated with …
In previous papers, there were computed the Poincare series of some (multi-index) filtrations on the ring of germs of functions on a rational surface singularity. These Poincare series were written as the integer parts of certain fractional power series, an interpretation of whom was not given. Here we show that, up to a simple change of variables, these fractional power series are specializations of the equivariant Poincare series for filtrations on the ring of germs of functions on the universal abelian cover of the surface singularity. We compute these equivariant Poincare series.
In this paper we consider reduced (non-normal) commutative noetherian rings $R$. With the help of conductor ideals and trace ideals of certain $R$-modules we deduce a criterion for a reflexive $R$-module to be closed under multiplication with scalars in an integral extension of $R$. Using results of Greuel and Knörrer this yields a characterization of plane curves of finite Cohen--Macaulay type in terms of trace ideals. Further, we study one-dimensional local rings $(R,\mathfrak{m})$ such that that their normalization is isomorphic to the endomorphism ring $\mathrm{End}_R(\mathfrak{m})$: we gi…
We give criteria for the Jacobian of a singular curve $X$ with at most ordinary $n$-point singularities to be anti-affine. In particular, for the case of curves with single ordinary double point we exhibit a relation with torsion divisors. If the geometric genus of the singular curve is atleast 3 and the normalization is non-hyperelliptic and non-bielliptic, then except for finitely many cases the Jacobian of $X$ is anti-affine. Furthermore, if the normalization is a general curve of genus atleast 3 then the Jacobian of $X$ is always anti-affine.
We construct a new infinite series of irreducible components of the Gieseker-Maruyama moduli scheme $\mathcal{M}(k), ~ k \geq 3$ of coherent semistable rank 2 sheaves with Chern classes $c_1=0,~ c_2=k,~ c_3=0$ on $\mathbb{P}^3$ whose general points are sheaves with singularities of mixed dimension. These sheaves are constructed by elementary transformations of stable and properly $μ$-semistable reflexive sheaves along disjoint union of collections of points and smooth irreducible curves which are rational or complete intersection curves. As a special member of this series we obtain a new compo…
Kollár gave a series of examples of rational surfaces of Picard number $1$ with ample canonical divisor having cyclic singularities. In this paper, we construct several series of new examples in a geometric way, i.e., by blowing up several times inside a configuration of curves on the projective plane and then by contracting chains of rational curves. One series of our examples have the same singularities as Kollár's examples.
In a previous paper, there was defined a multi-index filtration on the ring of functions on a hypersurface singularity corresponding to its Newton diagram generalizing (for a curve singularity) the divisorial one. Its Poincaré series was computed for plane curve singularities non-degenerate with respect to their Newton diagrams. Here we use another technique to compute the Poincaré series for plane curve singularities without the assumption that they are non-degenerate with respect to their Newton diagrams. We show that the Poincaré series only depends on the Newton diagram and not on the defi…
In this article we give a construction of the resolution graphs of hypersurface surface singularities (X_k,0) given by generalized Iomdin series. All these resolution graphs are coordinated by an ``universal bi-colored graph'' which is associated with the ICIS determining the Iomdin series. The definition of this new graph is rather involved, and in concrete examples it is difficult to compute. Nevertheless, we present a large number of examples. This is very helpful in the exemplification of its properties as well. We then present a construction of the resolution graphs of the surface singula…
We compute divisors class groups of singular surfaces. Most notably we produce an exact sequence that relates the Cartier divisors and almost Cartier divisors of a surface to the those of its normalization. This generalizes Hartshorne's theorem for the cubic ruled surface in P^3. We apply these results to limit the possible curves that can be set-theoretic complete intersection in P^3 in characteristic zero.
We present the first example of a polynomial defining a singular K3-surface whose Mahler measure is expressed in terms of the Mahler measure of the faces of its Newton polyhedron and the L-series of the K3-surface.
We study systems of parameters over finite fields from a probabilistic perspective, and use this to give the first effective Noether normalization result over a finite field. Our central technique is an adaptation of Poonen's closed point sieve, where we sieve over higher dimensional subvarieties, and we express the desired probabilities via a zeta function-like power series that enumerates higher dimensional varieties instead of closed points. This also yields a new proof of a recent result of Gabber-Liu-Lorenzini and Chinburg-Moret-Bailly-Pappas-Taylor on Noether normalizations of projective…
The Hilbert series of a polarised algebraic variety $(X,D)$ is a powerful invariant that, while it captures some features of the geometry of $(X,D)$ precisely, often cannot recover much information about its singular locus. This work explores the extent to which the Hilbert series of an orbifold del Pezzo surface fails to pin down its singular locus, which provides nonexistence results describing when there are no orbifold del Pezzo surfaces with a given Hilbert series, supplies bounds on the number of singularities on such surfaces, and has applications to the combinatorics of lattice polytop…
A finite subgroup of ${\rm SL}_2(\CC)$ defines a (Kleinian) rational surface singularity. The McKay correspondence yields a relation between the Poincaré series of the algebra of invariants of such a group and the characteristic polynomials of certain Coxeter elements determined by the corresponding singularity. Here we consider some non-abelian finite subgroups $G$ of ${\rm SL}_3(\CC)$. They define non-isolated three-dimensional Gorenstein quotient singularities. We consider suitable hyperplane sections of such singularities which are Kleinian or Fuchsian surface singularities. We show that w…
In the author's paper ''Poincaré series and monodromy of a two-dimensional quasihomogeneous hypersurface singularity'' a relation is proved between the Poincaré series of the coordinate algebra of a two-dimensional quasihomogeneous isolated hypersurface singularity and the characteristic polynomial of its monodromy operator. We study this relation for Fuchsian singularities and show that it is connected with the mirror symmetry of K3 surfaces and with automorphisms of the Leech lattice. We also indicate relations between other singularities and Conway's group.
