On the topology of elliptic singularities
J\'anos Nagy, Andr\'as N\'emethi

TL;DR
This paper introduces a new elliptic sequence for elliptic normal surface singularities with rational homology sphere links, linking its length to geometric genus and topological invariants like the Seiberg--Witten invariant.
Contribution
It proposes a novel elliptic sequence that differs from previous ones but shares the same length, connecting it to key topological and geometric invariants.
Findings
The new elliptic sequence's length matches that of Laufer and Yau's sequence.
The sequence's length relates to the geometric genus.
The sequence's length correlates with the Seiberg--Witten invariant.
Abstract
For any elliptic normal surface singularity with rational homology sphere link we consider a new elliptic sequence, which differs from the one introduced by Laufer and S. S.-T. Yau. However, we show that their length coincide. Using the properties of both sequences we succeed to connect the common length with the geometric genus and also with several topological invariants, e.g. with the Seiberg--Witten invariant of the link.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
On the topology of elliptic singularities
János Nagy
Central European University, Dept. of Mathematics, Budapest, Hungary
and
András Némethi
Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, Reáltanoda utca 13-15, H-1053, Budapest, Hungary
ELTE - University of Budapest, Dept. of Geometry, Budapest, Hungary
BCAM - Basque Center for Applied Math., Mazarredo, 14 E48009 Bilbao, Basque Country – Spain
Abstract.
For any elliptic normal surface singularity with rational homology sphere link we consider a new elliptic sequence, which differs from the one introduced by Laufer and S. S.-T. Yau. However, we show that their length coincide. Using the properties of both sequences we succeed to connect the common length with the geometric genus and also with several topological invariants, e.g. with the Seiberg–Witten invariant of the link.
Key words and phrases:
normal surface singularity, resolution graph, rational homology sphere, elliptic singularities, elliptic sequence, Seiberg–Witten invariant, surgery formula, Poincaré series, geometric genus, periodic constant
2010 Mathematics Subject Classification:
Primary. 32S05, 32S25, 32S50, 57M27 Secondary. 14Bxx, 14J80
Dedicated to Gert–Martin Greuel
1. Introduction
1.1.
The most important analytic invariant of a complex normal surface singularity is its geometric genus . Even if we fix a topological type — usually identified by the link of the germ, or by a resolution graph —, and even if we assume that the link is a rational homology sphere, the geometric genus might vary when we vary the analytic structure. Hence, it is natural to find topological bounds for it. In the literature there are several topological invariants, which are related with in this sense.
One of them is , cf. [trieste, NS16, NO17], see subsection LABEL:s:Pathi below. It is a topological upper bound for , that is, for any analytic structure one has . However, usually it is hard to verify whether the inequality is optimal or not for a certain topological type, that is, whether a special analytic structure realizes the equality. (One knows topological types when the inequality is not sharp, see Example LABEL:ex:pGpathno.)
Another topological invariant is the (modified) Seiberg–Witten invariant of the link (associated with the canonical –structure). It is related with the geometric genus via the Seiberg–Witten Invariant Conjecture (SWIC) , cf. [trieste, NCL, NO08, NOk, NS16, NWCasson], which is expected to be true for certain special analytic structures. But, again, the verification of this identity usually is hard (and in some cases it is not even true).
In the case of elliptic singularities there is another topological numerical invariant, the length of the elliptic sequence introduced by Laufer and S. S.-T. Yau [Yau5, Yau1]. In the numerically Gorenstein case (when a Gorenstein structure exist) it is easier to connect with and , however in the general case the Yau’s elliptic sequence is rather complicated (and it is also hard to connect with possible analytic realizations).
In order to eliminate these difficulties, we consider a new elliptic sequence, which in the non–numerically Gorenstein case is different than the one studied by Yau, and which fits much better in such comparisons. It was motivated (and introduced) in the author’s study of the Abel map of surface singularities [NNIII], and it has several advantages compared with the earlier approaches. E.g., it identifies the support of a numerically Gorenstein subgraph with the following property. If the analytic type supported on this subgraph is Gorenstein, that is maximal, and it satisfies the identity (and the statement (3) from below).
In this note first we prove that the length of the Yau’s elliptic sequence coincides with the length of our elliptic sequence. Then using properties of both sequences we prove the following statements for any elliptic germ with rational homology sphere link:
(1) ;
(2) ;
(3) there exists an analytic structure (characterized precisely) supported on the fixed elliptic topological type such that ;
(4) , in particular, for any analytic structure from (2) the SWIC holds.
Strictly speaking, in the proof of (2) we use an additional assumption, namely that the minimal resolution is good. The main reason for this assumption is that the elliptic sequences are defined (and have nice properties) in the minimal resolution, while the invariant is defined in via good resolutions. We expect that the statement remains valid in any case, but in this note we did not check the compatibility of the two resolutions (the minimal one and the minimal good one) from the point of view of these two set of invariants (and we didn’t carry out the pathological cases either).
1.2.
The structure of the article is the following. In section 2 we review the standard notations related with resolution of normal surface singularities, and we recall some facts regarding . In the next section we discuss elliptic singularities (we always assume that the link is a rational homology sphere). We recall the definition of the elliptic sequence according to Yau, we establish several properties which will be needed later. Then we discuss the special case of numerically Gorenstein graphs, and finally we provide the definition and several properties of the ‘new’ elliptic sequence. Finally in Theorem LABEL:th:main we prove (1) and (2).
Section LABEL:s:surg reviews several results regarding surgery properties of the Seiberg–Witten invariants (based on some coefficient counting of the topological Poincaré series), and in the last section we prove (3) via such a surgery formula.
2. Preliminaries and notations
2.1. Notations regarding a resolution
[Nfive, trieste, NCL, LPhd, NN1] Let be the germ of a complex analytic normal surface singularity. We denote by the geometric genus of . We will assume that the link of is a rational homology sphere.
Let be a resolution of with exceptional curve , and let be the irreducible decomposition of .
, endowed with a negative definite intersection form , is a lattice. It is freely generated by the classes of . The dual lattice is . It is generated by the (anti)dual classes defined by (where stays for the Kronecker symbol). is also identified with .
All the –coordinates of any are strict positive. We define the Lipman cone as {\mathcal{S}}^{\prime}:=\{l^{\prime}\in L^{\prime}\,:\,(l^{\prime},E_{v})\leq 0\ \mbox{for all v}\}. As a monoid it is generated over by . Write also .
embeds into with , which is abridged by . The class of in is denoted by .
There is a natural (partial) ordering of and : we write if with all . We set and .
The support of a cycle is defined as .
Since , each is rational, and the dual graph of any good resolution is a tree.
2.1.1**.**
Minimal cycles in and in . Consider the semi-open cube . It contains a unique representative for every so that . Similarly, for any there is a unique minimal element of , which will be denoted by (cf. Lemma LABEL:lem:cs2 below). One has ; in general, .
