The Second Pluri-Genus of Smoothable Gorenstein Surface Singularities

Rong Du,Stephen S. T. Yau

DOI: https://doi.org/10.1007/s11425-010-0062-2

2010-01-01

Science China Mathematics

Abstract:For complete intersection isolated surface singularities, Okuma gave a formula for the second plurigenus relating geometry genus, Milnor number and Tjurina number. We generalize Okuma’s theorem to Gorenstein smoothable surface singularities.

What problem does this paper attempt to address?

Hirzebruch X Y Genera of the Hilbert Schemes of Surfaces by Localization Formula

Kefeng Liu,Catherine Yan,Jian Zhou

DOI: https://doi.org/10.1007/bf02872330

2002-01-01

Science in China Series A Mathematics

Abstract:We use the Atiyah-Bott-Segal-Singer Lefschetz fixed point formula to calculate the Hirzebruch ?y genus Xy(S[n]), where S[n] is the Hilbert scheme of points of length n of a surface S. Combinatorial interpretation of the weights of the fixed points of the natural torus action on ( 2)[n] is used. This is the first step to prove a conjectural formula about the elliptic genus of the Hilbert schemes.
Higher Genus Symplectic Invariants and Sigma Models Coupled with Gravity

Yongbin Ruan,Gang Tian

DOI: https://doi.org/10.1007/s002220050192

IF: 3.128

1997-01-01

Inventiones mathematicae

Abstract:We define higher genus Gromov-Witten invariants and establish a mathematical theory of sigma model coupled with gravity over any semi-positive symplectic manifolds. As applications, we verify the stablizing conjecture of symplectic 4-manifolds for simply connected elliptic surfaces and construct smooth 6-manifolds admitting infinitely many deformation classes of symplectic structures.
2-Gorenstein stable surfaces with $K_X^2 = 1$ and $χ(X) = 3$

Stephen Coughlan,Marco Franciosi,Rita Pardini,Sönke Rollenske

2024-09-12

Abstract:The compactification $\overline M_{1,3}$ of the Gieseker moduli space of surfaces of general type with $K_X^2 =1 $ and $\chi(X)=3$ in the moduli space of stable surfaces parametrises so-called stable I-surfaces. We classify all such surfaces which are 2-Gorenstein into four types using a mix of algebraic and geometric techniques. We find a new divisor in the closure of the Gieseker component and a new irreducible component of the moduli space.

Algebraic Geometry
Singular elliptic genus of normal surfaces

Robert Waelder

DOI: https://doi.org/10.48550/arXiv.0711.4453

2007-11-28

Algebraic Geometry

Abstract:We define the singular elliptic genus for arbitrary normal surfaces, prove that it is a birational invariant, and show that it generalizes the singular elliptic genus of Borisov and Libgober and the stringy $\chi_y$ genus of Batyrev and Veys.
Surface singularities dominated by smooth varieties

Hélène Esnault,Eckart Viehweg

DOI: https://doi.org/10.48550/arXiv.1002.0024

2010-01-30

Abstract:We give a version in characteristic $p>0$ of Mumford's theorem characterizing a smooth complex germ of surface $(X,x)$ by the triviality of the topological fundamental group of $U=X\setminus \{x\}$. This note relies on discussions the authors had during the Christmas break 2009/10 in Ivry. They have been written down by Hélène in the night when Eckart died, as a despaired sign of love.

Algebraic Geometry
A multiplicity formula for the Milnor number of smoothable curves

Andrei Benguş-Lasnier,Terence Gaffney,Antoni Rangachev

2024-11-07

Abstract:For a reduced complex analytic curve germ we introduce an algebraic invariant we call the complete intersection discrepancy. We determine some of its basic properties. As an application we derive a multiplicity formula for the Milnor number of a reduced smoothable curve singularity generalizing a well-known formula due to Lê, Greuel and Teissier for complete intersection curves. We obtain a multiplicity characterization of Whitney equisingularity for families of locally smoothable curves.

Algebraic Geometry,Commutative Algebra,Complex Variables
The Bogomolov-Gieseker-Koseki inequality on surfaces with canonical singularities in arbitrary characteristic

Howard Nuer,Alan Sorani

2023-08-07

Abstract:This note generalizes the celebrated Bogomolov-Gieseker inequality for smooth projective surfaces over an algebraically closed field of characteristic zero to projective surfaces in arbitrary characteristic with canonical singularities. We also generalize to this context some classical applications of the Bogomolov-Gieseker inequality.

Algebraic Geometry
Surface quotient singularities and bigness of the cotangent bundle: Part II

Yohannes D. Asega,Bruno De Oliveira,Michael Weiss

2023-12-06

Abstract:In two parts, we present a bigness criterion for the cotangent bundle of resolutions of orbifold surfaces of general type. As a corollary, we obtain the \textit{canonical model singularities} (CMS) criterion that can be applied to determine when a birational class of surfaces has smooth representatives with big cotangent bundle and compare it with other known criteria. We then apply this criterion to the problem of finding the minimal degrees $d$ for which the deformation equivalence class of a smooth hypersurface of degree d in $\PP^3$ has a representative with big cotangent bundle; applications to the minimal resolutions of cyclic covers of $\PP^2$ branched along line arrangements in general position are also obtained. The CMS criterion involves invariants of canonical singularities whose values were unknown. In this part of the work, we describe a method of finding these invariants and obtain formulas for $A_n$-singularities. We also use our approach to derive several extension results for symmetric differentials on the complement of the exceptional locus $E$ of the minimal resolution of an $A_n$-singularity; namely, we characterize the precise extent to which the poles along $E$ of symmetric differentials on the complement are milder than logarithmic poles.

Algebraic Geometry
Frobenius Categories, Gorenstein Algebras and Rational Surface Singularities

Martin Kalck,Osamu Iyama,Michael Wemyss,Dong Yang

DOI: https://doi.org/10.1112/s0010437x14007647

2014-01-01

Compositio Mathematica

Abstract:We give sufficient conditions for a Frobenius category to be equivalent to the category of Gorenstein projective modules over an Iwanaga-Gorenstein ring. We then apply this result to the Frobenius category of special Cohen-Macaulay modules over a rational surface singularity, where we show that the associated stable category is triangle equivalent to the singularity category of a certain discrepant partial resolution of the given rational singularity. In particular, this produces uncountably many Iwanaga-Gorenstein rings of finite GP type. We also apply our method to representation theory, obtaining Auslander-Solberg and Kong type results.
Riemann-Roch and smoothings of singularities

Eduard Looijenga

DOI: https://doi.org/10.1016/0040-9383(86)90045-5

1986-01-01

Topology

Abstract:IF A4 is a (not necessarily compact) complex n-manifold with the property that for some compact K c M the subalgebra of H*(M -K) generated by the rational Chern classes is trivial in dim 2 n, then Chern numbers for M not involving the top class c,(M) may be defined almost as usual and-assuming that M has finite Betti numbers--c,(M] may be replaced by the euler characteristic x(M). We encounter this situation when dealing with isolated singularities of complex spaces. Specifically, let X be a contractible Stein space of pure dimension n with isolated singular point x E X and let 7~: x -+ X be a resolution with exceptional set E = IE- l(x)_ Then a deep result of0. Gabber implies that H*(z) --* H*(x - E) is the zero map in dim 2 n (if no coefficient groups are mentioned I mean rational cohomolog). Hence _? admits Chern numbers. From this it is not hard to see that the Milnor fibre X, of any smoothing of X (which after all can be piven the same boundary as 2) also admits Chern numbers. An interesting point is that, since H*(X,) is trivial in dim > n, any nonzero Chern number of X, is a universal linear combination of the euler characteristic and (if n = 2m is even) ci The purpose of this paper is to relate these Chern numbers with analytic invariants of the smoothing or of the singularity itself. Our most general result in this direction is a Riemann-Roth defect theorem (3.3), whose proof depends on a globalization property of smoothings which we establish in an appendix. This globalization property (which was known to hold for certain classes of singularities, e.g. complete intersections and curve singularities) has been previously used for similar purposes by Milnor, Deligne, Laufer, and Wahl[14]. The fact that any smoothing can be globalized is especially relevant to this last paper, as many of its assertions need this as an extra hypothesis (see the remark at the end of this paper). In practice it may be hard to use our results for singularities of dimension n > 2. Nevertheless we do have some applications to higher dimensional singularities. For instance, we prove that for any isolated singularity X pure odd dimension n, and smoothing component S of X, dim (S) + l/(n - l)! (euler characteristic of a general fibre over S) is independent of S. Furthermore, we find a new smoothability condition for odd dimensional X.
Topological Classification of Simplest Gorenstein Non-Complete Intersection Singularities of Dimension 2

Stephen S. -T. Yau,Mingyi Zhang,Huaiqing Zuo

DOI: https://doi.org/10.4310/ajm.2015.v19.n4.a4

2015-01-01

Asian Journal of Mathematics

Abstract:Let p be normal singularity of the 2-dimensional Stein space V. Let pi : M -> V be a minimal good resolution of V, such that the irreducible components A(i) of A = pi(-1)(p) are nonsingular and have only normal crossings. Associated to A is weighted dual graph Gamma which, along with the genera of the A(i), fully describes the topology and differentiable structure of A and the topological and differentiable nature of the embedding of A in M. It is well known that the simplest Gorenstein non-complete intersection singularities of dimension two are exactly those minimal elliptic singularities with fundamental cycle self intersection number -5. In this paper we classify all weighted dual graphs of these singularities. In particular, we prove that there is no integral homology link structure in the class of simplest Gorenstein non-complete intersection singularities of dimension two.
On Zariski multiplicity conjecture for quasihomogeneous surfaces with non-isolated singularities

Otoniel Nogueira da Silva

2024-07-21

Abstract:We consider a finitely determined map germ $f$ from $(\mathbb{C}^2,0)$ to $(\mathbb{C}^3,0)$. In this case, the double point curve $D(f)$ plays a fundamental role in studying the topology of the image of $f$. When $f$ is quasihomogeneous and has corank $1$, we present a characterization of the fold components of the double point curve $D(f)$. In our setting, we also consider Zariski multiplicity question for a pair of germs of (parametrized) quasihomogeneous surfaces $(\textbf{X},0)$ and $(\textbf{Y},0)$ in $(\mathbb{C}^3,0)$ with one dimensional singular set. Finally, we characterize Whitney equisingularity of an unfolding $\mathcal{F} =(f_t,t)$ of $f$ through the constancy of the Milnor number of a single plane curve in the source. This gives in some sense an answer to a question by Ruas in $1994$.

Algebraic Geometry,Complex Variables
A Sharp Lower Bound for the Geometric Genus and Zariski Multiplicity Question

Stephen S.-T. Yau,Huaiqing Zuo

DOI: https://doi.org/10.1007/s00209-017-1999-4

2017-01-01

Mathematische Zeitschrift

Abstract:It is well known that the geometric genus and multiplicity are two important invariants for isolated singularities. In this paper we give a sharp lower estimate of the geometric genus in terms of the multiplicity for isolated hypersurface singularities. In 1971, Zariski asked whether the multiplicity of an isolated hypersurface singularity depends only on its embedded topological type. This problem remains unsettled. In this paper we answer positively Zariski's multiplicity question for isolated hypersurface singularity if Milnor number or geometric genus is small.
A Remark on Lower Bound of Milnor Number and Characterization of Homogeneous Hypersurface Singularities

Ke-Pao Lin,Xi Wu,Stephen S. -T. Yau,Hing-Sun Luk

DOI: https://doi.org/10.4310/cag.2006.v14.n4.a2

2006-01-01

Communications in Analysis and Geometry

Abstract:Let f : (Cn+1, 0) --> (C,0) be a holomorphic germ defining an isolated hypersurface singularity V at the origin. Let mu and nu and p(g) be the Milnor number, multiplicity and geometric genus of (V, 0), respectively. We conjecture that mu >= (nu-1)(n+1) and the equality holds if and only if f is a semi-homogeneous function. We prove that this inequality holds for n = 1, and also for n = 2 or 3 with additional assumption that f is a quasihomogeneous function. For n = 1, if V has at most two irreducible branches at the origin, or if f is a quasi-homogeneous function, then mu = (nu-1)(2) if and only if f is a homogeneous polynomial. For n = 2, if f is a quasihomogeneous function, then mu = (nu-1)(3) iff 6p(g) = nu(nu - 1)(nu - 2) iff f is a homogeneous polynomial after biholomorphic change of variables. For n = 3, if f is a quasi-homogeneous function, then mu = (nu - 1)(4) iff 24p(g) = nu(nu - 1) (nu - 2) (nu - 3) iff f is a homogeneous polynomial after biholomorphic change of variables.
Inseparable Kummer surfaces

Yuya Matsumoto

2024-03-05

Abstract:We introduce an inseparable version of Kummer surfaces. It is defined as a supersingular K3 surface in characteristic 2 with 16 smooth rational curves forming a certain configuration and satisfying a suitable divisibility condition. The main result is that such a surface admits an inseparable double covering by a non-normal surface $A$ that is similar to abelian surfaces in two aspects: its numerical invariants are the same as abelian surfaces, and its smooth locus admits an abelian group structure.

Algebraic Geometry
The spectral genus of an isolated hypersurface singularity and a conjecture relating to the Milnor number

Dennis Eriksson,Gerard Freixas i Montplet

2024-06-03

Abstract:In this paper, we introduce the notion of spectral genus $\widetilde{p}_{g}$ of a germ of an isolated hypersurface singularity $(\mathbb{C}^{n+1}, 0) \to (\mathbb{C}, 0)$, defined as a sum of small exponents of monodromy eigenvalues. The number of these is equal to the geometric genus $p_{g}$, and hence $\widetilde{p}_g$ can be considered as a secondary invariant to it. We then explore a secondary version of the Durfee conjecture on $p_{g}$, and we predict an inequality between $\widetilde{p}_{g}$ and the Milnor number $\mu$, to the effect that $$\widetilde{p}_g\leq\frac{\mu-1}{(n+2)!}.$$ We provide evidence by confirming our conjecture in several cases, including homogeneous singularities and singularities with large Newton polyhedra, and quasi-homogeneous or irreducible curve singularities. We also show that a weaker inequality follows from Durfee's conjecture, and hence holds for quasi-homogeneous singularities and curve singularities. Our conjecture is shown to relate closely to the asymptotic behavior of the holomorphic analytic torsion of the sheaf of holomorphic functions on a degeneration of projective varieties, potentially indicating deeper geometric and analytic connections.

Algebraic Geometry,Combinatorics,Complex Variables
G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

Stephen Pietromonaco

DOI: https://doi.org/10.1007/s40687-021-00298-9

2021-12-07

Research in the Mathematical Sciences

Abstract:For an Abelian surface A with a symplectic action by a finite group G, one can define the partition function for G-invariant Hilbert schemes ZA,G(q)=∑d=0∞e(Hilbd(A)G)qd.\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\begin{aligned} Z_{A, G}(q) = \sum _{d=0}^{\infty } e(\text {Hilb}^{d}(A)^{G})q^{d}. \end{aligned}$$\end{document}We prove the reciprocal ZA,G-1$$Z_{A,G}^{-1}$$ is a modular form of weight 12e(A/G)$$\frac{1}{2}e(A/G)$$ for the congruence subgroup Γ0(|G|)$$\Gamma _{0}(|G|)$$ and give explicit expressions in terms of eta products. Refined formulas for the χy$$\chi _{y}$$-genera of Hilb(A)G$$\text {Hilb}(A)^{G}$$ are also given. For the group generated by the standard involution τ:A→A$$\tau : A \rightarrow A$$, our formulas arise from the enumerative geometry of the orbifold Kummer surface [A/τ]$$[A/\tau ]$$. We prove that a virtual count of curves in the stack is governed by χy(Hilb(A)τ)$$\chi _{y}(\text {Hilb}(A)^{\tau })$$. Moreover, the coefficients of ZA,τ$$Z_{A, \tau }$$ are true (weighted) counts of rational curves, consistent with hyperelliptic counts of Bryan, Oberdieck, Pandharipande, and Yin.

mathematics
Triangulated characterizations of singularities

Pat Lank,Sridhar Venkatesh

2024-05-10

Abstract:This work presents a range of triangulated characterizations for important classes of singularities such as derived splinters, rational singularities, and Du Bois singularities. An invariant called 'level' in a triangulated category can be used to measure the failure of a variety to have a prescribed singularity type. We provide explicit computations of this invariant for reduced Nagata schemes of Krull dimension one and for affine cones over smooth projective hypersurfaces. Furthermore, these computations are utilized to produce upper bounds for Rouquier dimension on the respective bounded derived categories.

Algebraic Geometry,Commutative Algebra
I‐surfaces from surfaces with one exceptional unimodal point

Sönke Rollenske,Diana Torres

DOI: https://doi.org/10.1002/mana.202300218

2024-02-24

Mathematische Nachrichten

Abstract:We complement recent work of Gallardo, Pearlstein, Schaffler, and Zhang, showing that the stable surfaces with KX2=1 and χ(OX)=3 they construct are indeed the only ones arising from imposing an exceptional unimodal double point. In addition, we explicitly describe the birational type of the surfaces constructed from singularities of type E12 , E13 , E14 .

mathematics
k-th Milnor numbers and k-th Tjurina numbers of weighted homogeneous singularities

Naveed Hussain,Zhiwen Liu,Stephen S. -T. Yau,Huaiqing Zuo

DOI: https://doi.org/10.1007/s10711-023-00768-0

2023-01-01

Geometriae Dedicata

Abstract:Let (V, 0) subset of (C-n, 0) be a weighted homogeneous isolated hypersurface singularity. In this paper, we give explicit formulas of its k-th Milnor numbers and the k-th Tjurina numbers in terms of its weight type. Moreover, we propose a sharp lower bound conjecture for the k-th Tjurina numbers and verify this conjecture for binomial singularities. We also give a new characterization for the simple hypersurface singularities.

The Second Pluri-Genus of Smoothable Gorenstein Surface Singularities

Hirzebruch X Y Genera of the Hilbert Schemes of Surfaces by Localization Formula

Higher Genus Symplectic Invariants and Sigma Models Coupled with Gravity

2-Gorenstein stable surfaces with $K_X^2 = 1$ and $χ(X) = 3$

Singular elliptic genus of normal surfaces

Surface singularities dominated by smooth varieties

A multiplicity formula for the Milnor number of smoothable curves

The Bogomolov-Gieseker-Koseki inequality on surfaces with canonical singularities in arbitrary characteristic

Surface quotient singularities and bigness of the cotangent bundle: Part II

Frobenius Categories, Gorenstein Algebras and Rational Surface Singularities

Riemann-Roch and smoothings of singularities

Topological Classification of Simplest Gorenstein Non-Complete Intersection Singularities of Dimension 2

On Zariski multiplicity conjecture for quasihomogeneous surfaces with non-isolated singularities

A Sharp Lower Bound for the Geometric Genus and Zariski Multiplicity Question

A Remark on Lower Bound of Milnor Number and Characterization of Homogeneous Hypersurface Singularities

Inseparable Kummer surfaces

The spectral genus of an isolated hypersurface singularity and a conjecture relating to the Milnor number

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

Triangulated characterizations of singularities

I‐surfaces from surfaces with one exceptional unimodal point

k-th Milnor numbers and k-th Tjurina numbers of weighted homogeneous singularities