On certain complex surface singularities
Gerg\H{o} Pint\'er

TL;DR
This paper studies complex surface singularities arising from holomorphic germs, focusing on finitely determined cases, and develops algorithms and theoretical links between singularity and immersion theories.
Contribution
It introduces new methods for analyzing finitely determined germs and their Milnor fibers, connecting complex singularity theory with immersion theory.
Findings
Analysis of the immersion $S^3 o S^5$ related to surface singularities
Development of an algorithm for Milnor fiber boundary determination
Bridges established between singularity and immersion theories
Abstract
The thesis deals with holomorphic germs singular only at the origin, with a special emphasis on the distinguished class of finitely determined germs. The results are published in two articles (arXiv:1404.2853 and arXiv:1902.01229), joint with Andr\'{a}s N\'{e}methi. In Chapter 3 of the thesis we study the associated immersion , while Chapter 5 contains an algorithm providing the Milnor fibre boundary of the non-isolated hypersurface singularity determined by the image of . These results create bridges between different areas of complex singularity theory and immersion theory. The background of these topics is summerized in Chapter 1, 2 and 4.
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.
Taxonomy
TopicsAlgebraic Geometry and Number Theory · Geometry and complex manifolds · Analytic Number Theory Research
On certain complex surface singularities
Gergő Pintér
Eötvös Loránd University
Institute of Mathematics
Ph.D. thesis
On certain complex surface singularities
Gergő Pintér
Advisor: András Némethi
Professor, Doctor of Sciences
Doctoral School: Mathematics
Director: István Faragó
Professor, Doctor of the Hungarian Academy of Sciences
Doctoral Program: Pure Mathematics
Director: András Szűcs
Professor, corresponding member of the Hungarian Academy of Sciences
Eötvös Loránd University and
Alfréd Rényi Institute of Mathematics
Budapest
2018
Acknowledgement
First of all, I would like to thank my advisor, András Némethi for the support and work of several years. He introduced me to his research area ‘complex singularity theory’. His deep knowledge, intuition and ambitious plans guided me in our joint work, he also helped me a lot to elaborate on the details. I am very grateful to him for the careful reading and correction of this thesis. I hope we can continue working together.
I am very grateful to my topology professor András Szűcs for the lot of help, and the conversations we had related to his articles. I always rely on the knowledge I gained from him when it comes to topological topics.
I would like to thank Tamás Terpai for the consultations. I always asked him when I had to understand something in topology quickly but thoroughly.
I would like to thank David Mond and Juan J. Nuño Ballesteros for the opportunity to visit them and for the insights they gave me to their research areas. These visits and the consultations served as a main inspiration to write this thesis.
Special thanks goes to my friend and colleague József Bodnár for his companionship and several inspiring discussions on various topics in mathematics. Józsi was always disposed to discuss the problems which many times led back to the basics. The many hours we spent together provided me deep understanding. Moreover I would like to thank him for the lot of help regarding the form and content of this thesis.
I would like to thank András Stipsicz, László Fehér and Róbert Szőke for the useful courses and consultations.
I would to thank my colleagues and friends the support and interest while I was working on this thesis. I am very grateful to Gabriella Keszthelyi for her companionship and her pieces of advice. I would like to thank Bertalan Pécsi for the corrections and pieces of advice regarding this thesis, and Bence Csajbók and Szilveszter Kocsis for the many discussions.
I have really enjoyed the company of my fellow students, friends and colleagues at the Rényi Institute: Ádám Gyenge, Tamás László, Benedek Skublics, Baldur Sigurðson, János Nagy and many others.
I would like to thank my friend Kinga Farkas, without whose support this thesis would not have been born.
Last but not least, I am very grateful to my family and friends for their support and company.
The author was supported by the doctoral school of the Faculty of Science of Eötvös Loránd University between 2010 and 2013, by the European Research Council grant ‘LDTBud’ of András Stipsicz in low-dimensional topology from 2013 to 2015 and by the young researcher program of the Alfréd Rényi Institute of Mathematics from 2015 to 2018.
Budapest, March 2018
Contents
-
1.1 Finite complex germs and their restrictions at the level of links
-
3.1.5 Smale invariants and the geometry of Seifert surfaces.
-
3.6.2 Singular Seifert surface associated with a stabilization
-
4.1.1 Isolated, complete intersection and normal singularities
-
5.3.6 The –independent description of the gluing. The ‘vertical index’
Introduction
Preliminaries and main results
This thesis contains the results of two joint papers with András Némethi [53, 54] and the background related to them. Némethi’s program aims to create bridges between different areas of the singularity theory, e.g. to compare the topological and analytic/algebraic invariants of complex singularities. In our case the bridge is created between immersion theory (differential topology) and two rather distinct areas of local complex singularity theory (‘Milnor fibration package’ and ‘analytic stability package’.)
The main objects of our study are holomorphic germs . These are triples of locally convergent complex power series in two variables. We are mostly interested in two classes of them. The first class consists of the holomorphic germs singular only at the origin, i.e. is an immersion. The second class is a subset of the first one, it contains the so-called finitely -determined (or -finite) germs. By Mather–Gaffney criterion [71] these are the germs whose restrictions are stable immersions.
If is singular only at the origin, one can associate with an immersion from the -sphere to the -sphere at the level of links. This immersion is the restriction of to a suitably chosen -sphere around the origin of . If additionally is finitely -determined, the associated immersion is stable, i.e. it has only regular simple and double values, with transverse intersection of the branches at each double value.
In our case the associated immersion plays a similar role as the link in the case of isolated singularities. As it is a map, it allows more flexible deformations than the holomorphic germ . Up to regular homotopy (which means deformation through immersions) the immersions are completely classified by the integer valued invariant , the so-called Smale invariant of the immersion . Stephen Smale published his invariant in 1959 [64], and already two years later David Mumford in his seminal article [50] asked for the analytic/algebraic characterization of the Smale invariant of the immersion associated with a holomorphic germ . The main result of [53] provides a complete answer to the question of Mumford, see Chapter 3. We identify the Smale invariant of the associated immersion with an analytic invariant of , namely, with the number of the cross caps of a stabilization of . This result implies various consequences both in singularity theory and immersion theory.
The image of a finitely -determined germ can also be defined as the zero set of certain germ , and provides a non-isolated hypersurface singularity . Indeed, vanishes along the set of the double values of . A very restricted class of non-isolated singularities occurs in this way. The normalization of is smooth, in fact, its normalization map is , and all the transverse curves corresponding to the components of the singular locus of have type .
The Milnor fibre of is defined as the -level set of intersected with a ball with sufficiently small radius , . It plays a central role in the study of local singularities. In the case of isolated singularities, the boundary of its Milnor fibre is diffeomorphic to the link of . András Némethi and Ágnes Szilárd in [55] present a general algorithm, which provides the boundary of the Milnor fibre for any non-isolated hypersurface singularity , although it is rather technical and in concrete examples is rather computational. In [54] we present an independent algorithm providing the Milnor fibre boundary for our restricted class of non-isolated singularities, see Chapter 5. This algorithm uses directly the geometry of . Namely, it produces the Milnor fibre boundary as a surgery of along the double point locus of the immersion associated with . Technically the algorithm provides a plumbing graph of the Milnor fibre boundary by modifying a good embedded resolution graph of the double point locus of .
Summary and organization of the thesis
Immersions associated with holomorphic germs
The main purpose of Chapter 1 is to introduce Mond invariants and of holomorphic germs . is the number of cross cap points, is the number of triple values of a stabilization of , but each can be calculated as the codimension of a suitable ideal of the local ring as well, without stabilizing . Chapter 1 also serves as a collection of relations of these invariants with other concepts, which will appear in the subsequent chapters.
First we introduce the notion of germs and the finiteness property of them. We follow [20, 48]. The associated smooth map is defined for finite germs , it slightly generalizes the notion of the associated immersion introduced in [53].
The theory of stability and finite determinacy of germs were devised by e.g. H. Whitney, J. N. Mather and C. T. C. Wall [71, 35, 36, 37, 38]. We introduce both concepts with respect to -equivalence (left-right equivalence). The discussion of the stability also serves as a background for the singular Seifert surfaces, which are defined in Chapter 2 as stable smooth maps. We review theorems of Mather and Gaffney characterizing the stability and finite -determinacy in terms of the and codimensions of a germ. The only stable multigerms of a map are regular simple points, regular double values with transverse intersection of the branches, regular triple values with regular intersection of the branches and simple Whitney umbrella (cross cap) points. The triple values and the Whitney umbrellas are isolated points.
The discussion of the Fitting ideals has two purposes. The defining equation of the image of a finite germ can be determined using Fitting ideals. Moreover, by this process one can calculate the equations of the multiple point spaces of in the target as well. In particular, the number of the triple values of a stabilization can be determined with the help of Fitting ideals.
We introduce as the codimension of the ideal in the local ring generated by the determinants of the minors of the Jacobian matrix of [43, 45]. Similarly, is the codimension of the second Fitting ideal associated with in . If is finitely -determined, then both and are finite, and any stabilization of has cross caps and triple values. The finiteness of is equivalent with the fact that is singular only at the origin, which also means that the associated map is an immersion. Finite -determinacy is equivalent with the fact that the associated map is a stable immersion. Mond [45] introduced a third invariant for corank– germs , such that the finite -determinacy of is equivalent with the finiteness of the three invariant , and . These invariants appear in the formulas expressing the image Milnor number (which is the second Betti number of the image of a stabilization of ), and in the formulas comparing the Milnor numbers of the four double point spaces as well [47, 30, 34]. The structure of the double point spaces plays an important role in Chapter 5. The end of Chapter 1 is a short review about a reinterpretation of Mond’s invariants provided by W. L. Marar and J. J. Nuño-Ballesteros [32].
Chapter 2 provides an introduction to the Hirsch-Smale theory [16, 64], which transforms regular homotopy problems (differential topology) to homotopy theory (algebraic topology). The main purpose is to review the Hughes–Melvin definition of the integer valued Smale invariant of immersions [17], and the Ekholm–Szűcs formulas expressing the Smale invariant in terms of the properties of singular Seifert surfaces [9].
Smale’s theorem is the generalization of the Whitney–Graustein theorem about plane curve immersions , and it is a special case of the Hirsch theorem, in fact, a special case of the -principle of Gromov. We review Hirsch theorem and the construction of the Smale invariant of an immersion . is an element of an Abelian group depending on the dimensions and , and two immersions are regular homotopic if and only if their Smale invariants are equal. The possibility of the ‘sphere eversion’ is a consequence of Smale’s theorem as well.
J. F. Hughes and P. M. Melvin [17] proved that there are embeddings wich are not regular homotopic to each other. They also express the Smale invariant of an embedding with the signature of a Seifert surface, which is a -manifold in whose boundary is the image of the embedding. T. Ekholm and A. Szűcs [9] generalized this result to arbitrary immersions using singular Seifert surfaces. One contribution of their formulas is the invariant of stable immersions introduced by Ekholm in [7]. It has several slightly different definitions [7, 8, 9, 60]. We review these definitions and the proof of their equivalence.
The end of Chapter 2 is an outline of various related results, we mention here two of them. S. Kinjo defined immersions associated with plumbing graphs of type and . The point is that their Smale invariants agree with the Smale invariants of the immersions associated with the coverings of the singularities of type and , see below in the introduction. The valued cobordism invariant called ‘total twist’ of immersions [18] is used later, in Chapter 5, to conclude that and the number of the non-trivially covered double point curve components of a finitely determined germ have the same parity.
Chapter 3 includes our results published in [53]. The main theorem answers the question of Mumford mentioned above. Namely, holds for holomorphic germs singular only at the origin, where is the Smale invariant of the immersion associated with . We refer to this result as the ‘main formula’. There are several consequences of this result.
Using the main formula we can provide explicit (‘algebraic’) representatives of each regular homotopy class of immersions . This answers a question of Smale [64]. In contrast with the known constructions, these realizations are very simple polynomial maps, and the computation of the Smale invariant via is extremely simple.
The non-standard embeddings of Hughes and Melvin [17] cannot be realized as the associated immersion of some . Although this fact follows from a deep result of Mumford [50], using our main formula we provide a new proof for it. Moreover, the ‘topological vanishing’ implies that is the regular germ via our formula.
We prove the formula in two steps. We introduce the newly defined ‘complex Smale invariant’ of . It turns out that and . We use as the number of cross caps of a stabilization of , and we do not use its algebraic definition as the codimension of the ramification ideal. However, as a by-product of the calculation we provide a new proof for the theorem of Mond declaring the equivalence of the two definitions of in the case of corank– germs.
Note that the integer valued Smale invariant is well defined only up to sign. To determine the correct sign of the main formula, we fix generators of the corresponding infinite cyclic groups. The Hughes–Melvin and Ekholm–Szűcs formulas carry the sign ambiguity as well. We determine their correct sign with the help of the main formula and calculations of concrete examples. As a by-product of this procedure, we express the contributions of the Ekholm–Szűcs formulas in terms of and for a special singular Seifert surface, which is created from a holomorphic stabilization of by stabilizing the complex Whitney umbrella points in sense. In particular, holds for finitely determined germs and their associated stable immersions .
It follows from our results that the analytic invariants and are invariants as well, moreover, is a topological invariant of .
Boundary of the Milnor fibre
Chapter 4 contains the definitions and some properties of the Milnor fibre and the resolution of surface singularities . The plumbing construction and the embedded resolution of plane curve singularities are also summarised in Chapter 4.
The Milnor fibre of an isolated hypersurface surface singularity is well studied and it is rather well understood. It has the homotopy type of a bouquet of 2–spheres, it is an oriented smooth 4–manifold whose boundary is diffeomorphic with the link of the singular germ and also with the boundary of any resolution of the germ [42, 51, 52]. This boundary is a plumbed 3–manifold and one can take as a plumbing graph any of the resolution graphs. It is the basic bridge between the Milnor fibre and the resolution (both of them being complex analytic fillings of it), and this connection produces several nice formulas connecting the invariants of these fillings. Here primarily we think about formulas of Laufer [27] or Durfee [5] and their generalizations, see e.g. [70].
For non–isolated hypersurface singularities in the situation is more complicated. First of all, the link of the germ is not smooth, hence the boundary of the Milnor fibre cannot be isomorphic with it. Moreover, a (any) resolution is in fact the resolution of the normalization (which might contain considerable less information than what one needs in order to recover the Milnor fibre , or the Milnor fibre boundary ), see e.g. [62, 55]. For example (see our case), it can happen that the normalization is smooth, while is rather complicated. However, the boundary of the Milnor fibre is still a plumbed 3–manifold, and one expects that its plumbing graph codifies considerable information about the germ. can be obtained by surgery of two pieces: one of them is the boundary of the resolution of the normalization, the other one is related to the transverse singularities associated with the singular curves of the hypersurface singularity [62, 55, 39]. In particular, the boundary of the Milnor fibre plays the same crucial role as in the isolated singularity case (in fact, it is the unique object in this case, which might fulfil this role): it is the first step in the description of the Milnor fibre, and it is the bridge in the direction of the resolution and the transverse types of the components of the singular locus.
[55] presents a general algorithm, which provides the boundary of the Milnor fibre for any non–isolated hypersurface singularity in . However, this algorithm uses (some information from) the embedded resolution of this pair, hence it is rather technical and in concrete examples is rather computational. Therefore, for particular families of singularities it is preferable to find more direct description of the plumbing graph of directly from the peculiar intrinsic geometry of the germ. For several examples in the literature see e.g. [55] (homogeneous singularities, cylinders of plane curves, , ), [63] (); or for other classes consult also [40] and [1].
Chapter 5 contains the results of [54]. It provides an explicit construction producing the plumbing graph for the boundary of the Milnor fiber of a non-isolated hypersurface singularity given by the image of a finitely determined complex analytic map germ . One of the main ingredients is the link in of the reduced double point curve with irreducible components , where is the reduced singular locus. It is equipped with a pairing of the components induced by the pairing of the double points. Then, the Milnor fiber boundary is constructed as a surgery of along such that whenever the tubular neighbourhoods of the paired components have to be glued together, while in the case a special -manifold with torus boundary is glued along . The description of the gluing maps uses the newly defined invariants ‘vertical indices’ associated with the irreducible components of . Their relation with is clarified whenever is a corank– germ and vanishes. As a result, the explicit plumbing graph of the Milnor fiber boundary is constructed from a good embedded resolution graph of . The algorithm is also illustrated on several examples.
The main examples
Finitely determined germs
D. Mond’s list of simple germs [45, Table 1] contains finitely -determined holomorphic germs with . These germs are organized in four families , , , , and there are two sporadic elements, the Whitney umbrella (cross cap) and .
The associated immersions of provide representatives of all regular homotopy classes with negative Smale invariant, see Section 3.5.
The Whitney umbrella is stable as a holomorphic germ , see Example 1.2.16, but not in the sense, as a real germ . We present a stabilization of the complex Whitney umbrella in Section 3.7 and we calculate directly the contributions of the Ekholm–Szűcs formula.
In Section 5.5 we present a plumbing graph of the Milnor fibre boundary of the image of for all members of Mond’s list.
The germs of type are the only germs in the list with . In Section 1.3 we calculate and the equation of using Fitting ideals.
is a corank– germ from [31], that is, . We present the Milnor fibre boundary of its image, see Section 5.5.
Quotient singularities
The simple singularities are the quotient singularities of type --, that is, for a certain finite subgroup . The covering map of a quotient singularity is a germ whose image is . The components of are the generators of the -invariant algebra [65].
These germs are singular only at the origin, but they are not finitely -determined germs, i.e. is a nonstable immersion. In fact, if , then every point of is at least triple value of , and for the transversality of the branches does not hold.
In Subsection 1.4.3 we present of these germs , hence the Smale invariant of the associated immersions follows from the main formula, see Section 3.5.
In Section 3.7 we present a holomorphic stabilization of the covering germ of the singularity, and we calculate directly. Note that its associated immersion is regular homotopic with the immersions of the same structure (that is, a composition of a covering with an embedding) studied in several articles [41, 11, 7, 24], see the discussion in Subsection 2.3.2.
Notations and terminology
- •
, , , : the set of integers, rational, real, complex numbers.
- •
means that the (oriented) smooth manifold and are (oriented) diffeomorphic.
- •
means that the algebraic structures or bundles and are isomorphic, or denotes the analytic equivalence of the analytic spaces/germs and .
- •
means that the algebraic structure (module, vector space) is generated by and . denotes the group presented by generators and and relations and .
- •
denotes the ideal in the ring/algebra generated by the elements (or denotes the pair of arbitrary elements and as well).
- •
denotes the dimension of the vector space or manifold over . Dimension over another field is denoted by . The rank of a matrix/linear map is denoted by .
- •
, resp. denotes the (oriented) diffeomorphism type of the unit sphere, resp. the unit ball in . The -disc is denoted by . When it is important, we distinguish the embedded and the abstract spheres and balls in the notation.
- •
denotes the set of homotopy classes of continuous maps between the topological spaces and .
- •
denotes the bouquet (wedge, one-point union) of the (pointed) topological spaces and .
- •
, resp. denotes the homology groups, resp. cohomology groups of the topological space with coefficient group .
- •
is the -th homotopy group of the topological space .
- •
() denotes the differential/tangent map/Jacobian matrix of the function/map/germ (at the point ).
- •
We call a smooth (or analytic) germ regular (resp. singular), if the rank of is equal (resp. is less than) the minimum of the dimensions of and .
- •
denotes the set of matrices over with determinant . In the real case is the set of matrices with determinant .
- •
(), resp. () denotes the set of real ortogonal matrices (with determinant ), resp. complex unitary matrices (with determinant ).
- •
(where denotes or ) is the Stiefel manifold that consists of linearly independent -frames of .
Chapter 1 Deformation of complex map germs
1.1. Finite complex germs and their restrictions at the level of links
1.1.1. Finite germs
The basic objects of the thesis are certain types of holomorphic map germs . The concept of the germ is an important tool in the study of the local behaviour of the maps.
Two subsets and of the topological space have the same germ at , if there is a neighbourhood of such that . The equivalence classes of this equivalence relation are called the germs of spaces at the point [20, Definition 3.4.1.]. The germs along a subset can be defined similarly.
Let and be two germs of topological spaces. A germ of a continuous map is defined as an equivalence class of maps , with , where and are representatives of and respectively. Two maps and are equivalent (they define the same germ) if they agree on an open neighbourhood of [20, Definition 3.4.6.]. Changing to a finite subset we get the notion of multi-germ. [48, 71]
We also can define smooth (resp. analytic, holomorphic) germs of maps, as germs of smooth (resp. analytic, holomorphic) maps. We study holomorphic germs throughout this chapter, and germs of complex analytic spaces are studied in Chapter 4.
The notion of germ is particularly interesting in the complex analytic category, because of uniqueness of analytic continuation: if and are open sets in with connected, and are complex analytic maps which coincide on some open , they coincide on all of [48].
The holomorphic germs can be identified with the -tuples of locally convergent power series in variables with constant terms [math], i.e. with the elements of , where is the unique maximal ideal in the local ring .
A holomorphic germ is called finite, if is a finite set, that is, for a small enough representative of [20, Definition 3.4.7., Theorem 3.4.24].
Finiteness can be characterized by the local algebras. The germ induces an algebra homomorphism . In this way becomes a module over , sometimes it is denoted by as well.
Theorem 1.1.1** ([20, Theorem 3.4.24.]).**
The following facts are equivalent:
(a) is finite.
(b) is a finitely generated -module.
(c) is a finite dimensional -vector space.
Note that denotes the ideal generated by the coordinate functions of .
A finite germ is generically to to its image, if there is a hypersurface (where ) such that induces a bijection between and .
1.1.2. Restriction of at the level of links
Here we present the discussion from [53, Section 2.1.] slightly generalized. This topic is closely related to the link of complex analytic spacegerms, which is discussed in Chapter 4.
If is a complex analytic germ with an isolated singularity then its link can be defined as follows. Set a real analytic map such that . Then, for sufficiently small, is an oriented manifold, whose isotopy class (in ) is independent of all the choices, cf. Lemma (2.2) and Proposition (2.5) of [29]. E.g., if is a subset of , then one can take the restriction of (the norm of ). In this way, the link of is the sphere . Nevertheless, the general definition is very convenient even if .
Let be a finite holomorphic germ (). Define by . Since , too.
Lemma 1.1.2**.**
There exists an sufficiently small such that is a non-metric closed ball around the origin of for any . Its boundary, is canonically diffeomorphic to . In fact, for with , any standard metric sphere sits in , and it is isotopic with in .
In the sequel and will be identified. When it is important to differentiate them we will use the notation . We write also and .
Definition 1.1.3**.**
The restriction is the (smooth) map associated with at the level of links.
1.2. Finite determinacy and stability
1.2.1. Equvivalence of the germs
Several equivalence relations of the germs are studied in the literature. We refer mainly to Wall’s survey paper [71] and the book of Mond and Nuño-Ballesteros [48] (which is still unpublished). The concept of stability and finite determinacy makes sense after fixing a certain equivalence relation. Geometrically -equivalence is the most reasonable, that corresponds to the coordinate changes in the source and in the target of a germ. We use only -equivalence in this thesis. However, the results and classification theorems connected with -equivalence require the study of some of the other equivalences as well.
Most of the equivalences come from certain group actions on the set of germs, the equivalence classes are the orbits of the action. The group (resp. ) consists of the germs of local automorphism of the target (resp. the source), and acts on the germs by composing from the left (resp. from the right). The corresponding equivalence relation is the left (resp. right) equivalence of the germs. The direct product of these groups is denoted by , its left-right action induces -equivalence. The type of the local automorphisms depends on the category of the germs: these are local homeomorphisms for continuous germs, local diffeomorphisms for smooth germs, local analytic equivalences, biholomorphisms for real analytic, holomorphic germs. There are two other groups which are often studied, and , the last one is contact equivalence.
In this thesis we use only -equivalence, but in several different categories. For the study of holomorphic germs we usually use complex analytic -equivalence, but some of our results can be interpreted in other categories as well: as it will turn out, some analytic invariants of the germs are invariant under topological (or smooth) -action as well, see Subsection 3.1.6. The flexibility to use the smooth category is provided by the study of the link, since is a smooth map between smooth manifolds (spheres).
The singular Seifert surfaces discussed in Subsection 2.2.3 are defined as stable smooth maps. Thus we need -equivalence of global maps as well: that corresponds to the action of global homeomorphisms (diffeomorphism, biholomorphism) of the source and the target. Moreover, the stability with respect to this equivalence (global -equivalence) can be reduced to the local stability of the germs of the map, [48, 37].
The following general concepts can be found in [71, 48], here we present the main theorems to provide a stable background to our study. Most of them hold for , , , equivalences too, in smooth and analytic categories as well. But they are meaningless in the continuous category, because there is no Taylor-expansion and the codimension of the orbits cannot be defined.
Note that most of the notions and invariants introduced in this chapter are -invariants. That is, if and are -equivalent germs (as complex analytic germs), then is -stable (resp. finitely -determined) if and only if is -stable (resp. finitely -determined), , , and similarly the invariants , , , (and the Milnor number of other double point spaces) agree for and .
1.2.2. Unfolding and stability
-stability means that any small perturbation of a germ is -equivalent with the germ itself. To make this precise, we need the notion of unfoldings.
Definition 1.2.1**.**
(a) An -parameter unfolding of is a germ
[TABLE]
[TABLE]
such that .
(b) Two unfoldings and of are -equivalent unfoldings, if there are diffeomorphism germs and , which are unfoldings of the identity of and , and
[TABLE]
(c) An unfolding of is trivial if it is equivalent with the constant unfolding, .
If the unfolding is fixed, then we will use the notation instead of for the deformation of corresponding to the parameter value .
An unfolding is versal if it induces all the unfoldings up to -equivalence:
Definition 1.2.2**.**
(a) The pull-back of an -parameter unfolding of with a germ is the -parameter unfolding , .
(b) An -parameter unfolding of is called versal unfolding, if any unfolding (with arbitrary number of parameters) is equivalent with for a certain germ .
Definition 1.2.3**.**
A germ is stable (more precisely, -stable) if any unfolding of is trivial.
The definitions of the unfolding and trivial unfolding generalize to multi-germs, replacing the base point [math] in the source with a finite set . Then the stability of a multi-germ can be defined in the same way. Moreover the stability of the multi-germs can be reduced to the stability of its germs. For details we refer to [48]. Here we present only the simplest case, which is used many times in this thesis. First we need a definition.
Definition 1.2.4**.**
The subspaces of the vector space (of finite dimension) meet in general position (or have regular intersection) if .
Note that for two subspaces regular intersection means transversality.
Proposition 1.2.5**.**
A multigerm of regular germs (i.e., each branch is the germ of an immersion) is stable if and only if the intersection of the branches is regular.
Remark 1.2.6*.*
By Theorem 4 in [37] (see also in [48]) the stability of proper smooth global maps is equivalent with the stability of its multi-germs. This fact shows that we do not need to introduce the notion of ‘global stability’. We call a smooth map stable if all its multi-germs of are stable.
1.2.3. Finite determinacy and codimension
Definition 1.2.7**.**
A holomorphic germ is finitely -determined if there is an integer such that whenever the -jet (-th Taylor polynomial) of a germ equals with the -jet of , then the germ is -equivalent with .
Next we define the -codimension of , this is the codimension of the -orbit of in the space of the germs . We define the -codimension as well [71, pg. 485.], [48]. Stability and finite determinacy can be characterized by these invariants.
Let denote the set of the germs of vector fields on , these are the germs of holomorphic sections of the tangent bundle . is the space of germ of vector fields along , these are the germs of holomorphic sections of the pull-back tangent bundle . Let denote the vector fields along which are [math] at the origin, clearly . Note that , and are -modules, in particular they are -vector spaces.
Furthermore, the following identifications hold by introducing local coordinates.
[TABLE]
Define the -linear maps
[TABLE]
[TABLE]
In local coordinates is the multiplication by the Jacobian of , while is the substitution of the components of .
The tangent space of the -orbit of is defined as
[TABLE]
it is a subspace of [71, pg. 485.], [48].
Definition 1.2.8**.**
The -codimension of is .
The extended tangent space is defined as
[TABLE]
it is a subspace of [71], [48].
Definition 1.2.9**.**
The -codimension of is .
To motivate these definitions note that is equal to the ‘set of one-parameter infinitesimal deformations of ’, that is
[TABLE]
and contains the elements of correspond to the unfoldings with . can be considered as the tangent space of the space of the germs at .
consists of the vector fields along which correspond to trivial infinitesimal deformations and are [math] at the origin, ie.
[TABLE]
where and are one-parameter families of germs of biholomorphisms in the source and in the target with , . Without the extra conditions , the formula provides .
The extended codimension is a more natural concept in many cases, see e.g. Theorem 1.2.10 below. However does not correspond to any group action or equivalence of the germs, since it allows the origin to move.
Stability and finite determinacy can be determined by the following characterization theorems by Mather, see Theorems 1.2., 3.4. and Proposition 4.5.2. in [71], or [35, 36, 48].
Theorem 1.2.10**.**
Let a holomorphic germ. Then the following are equivalent:
(a) is stable.
(b) The -codimension of is [math].
Property (b) is called ‘infinitezimal stability’. By Theorem 1.2.10 this is eqiuvalent with stability. In the sense of Remark 1.2.6 ‘global stability’ is also equivalent with them.
Theorem 1.2.11**.**
Let be a holomorphic germ. Then the following are equivalent:
(a) is finitely -determined.
(b) The -codimension of is finite.
(c) The -codimension of is finite.
(d) admits a versal unfolding.
The minimal number of parameters of a versal unfolding is exactly the -codimension of . A versal unfolding with minimal numer of parameters is called miniversal unfolding. This is unique up to -equivalence of unfoldings. All the other versal unfoldings can be obtained as a trivial unfolding of the miniversal unfolding up to -equivalence of unfoldings.
Finally, by Mather-Gaffney criterion [71, Theorem 2.1.] finite determinacy is equivalent with isolated instability, which means each multi-germ of is stable in a sufficiantly small representative of .
Theorem 1.2.12** (Mather-Gaffney criterion [30, 71, 48]).**
A finite holomorphic germ () is finitely determined if and only if has isolated instability at [math].
Note that there is a more general version of Mather-Gaffney criterion, which agrees with our version for finite germs mapping with . Cf. [30, Theorem 2.11.], [71, Theorem 2.1.] and [48].
Remark 1.2.13*.*
The concept of stability and finite determinacy can be defined similarly for , , , equivalences too, and they determine important classes of germs. For example -stable (resp. -stable) germs are the germs of the immersions (resp. submersions), and a germ is finitely -determined if and only if it is finite. The codimension and the extended codimension can also be defined for the other groups, and the characterisation theorems 1.2.10, 1.2.11, 1.2.12 hold in the same form, if we replace with any of the other groups.
Furthermore, all the concepts and theorems 1.2.10, 1.2.11 hold in smooth and real analytic category too. However Theorem 1.2.12 holds only for holomorphic germs. For real analytic germs the following criterion is useful.
Proposition 1.2.14** ([71, Proposition 1.7.]).**
For real analytic germs the following are equivalent:
(a) The germ is finitely determined as a smooth germ.
(b) The germ is finitely determined as a real analytic germ.
(c) The complexification of the germ is finitely determined as a holomorphic germ.
1.2.4. Examples
Example 1.2.15* ().*
A germ is stable if and only if it is regular (submersion) or it is Morse type, i.e. equivalent with .
A germ with isolated singularity at [math] (which means is submersion outside the origin) is finitely determined. See [20, Theorem 9.1.3.] or [48].
Example 1.2.16* (Whitney-umbrella).*
The (-equivalence class of) the germ is called Whitney umbrella (or cross cap, pinch point), see Figure 1.1. Another often used form is , see Example 5.1. in [32], which is summarized in paragraph 1.5.2, and from Mond’s simple germ list in [45]. and are -equivalent, since holds with the germs of diffeomorphisms and .
The Whitney umbrella is stable as a holomorphic germ , and also as real analytic or smooth germ , cf. 1.2.12. Its stability is very important throughout the thesis, hence we present here a proof of this fact, by calculating the -codimension of (and then referring to Theorem 1.2.10).
For an arbitrary germ of a vector field
[TABLE]
one has
[TABLE]
thus consists of germs of vector fields whose components are power series of , and . It is clear that the only monomials which cannot appear in the components are the odd powers of . The Jacobian of is
[TABLE]
thus for a germ of a vector field
[TABLE]
[TABLE]
Therefore contains the vector fields whose coordinate functions are odd powers of . One can conclude that
[TABLE]
thus the -codimension of is [math], which means is stable.
Example 1.2.17* ().*
(a) A germ is stable if and only if it is
- (1)
an immersion (given by up to -equivalence), or 2. (2)
a Whitney umbrella.
(b) The stable multi-germs of a map from to are the
- (1)
regular single values (with preimage in which the germ of the map is an immersion), 2. (2)
regular double values with transverse intersection, 3. (3)
regular triple values with regular intersection, 4. (4)
single Whitney umbrella points.
(c) A germ is finitely -determined if and only if (a small enough representative of) is a stable immersion with only double values. That is, all the multi-germs of have type (1) or (2) from the list of the stable multi-germs in part (b).
Part (c) follows from Theorem 1.2.12 and from the fact, that isolated stable multi-germs ((3) and (4) from the list in (b)) can be omitted with the choice of a small enough representative of .
Example 1.2.18* ().*
The stable germs and multigerms of the real analytic or smooth maps from to are formally the same as the complex ones. That is, part (a) and (b) of 1.2.17 hold word for word if we change to . This follows from the fact that the calculation of the -codimension is a formal algebraic procedure, cf. Example 1.2.16.
However part (c) of Example 1.2.17 is not valid for real germs, only in one direction: a finitely -determined real analytic or smooth germ is stable immersion outside the origin. This follows directly from Proposition 1.2.14 and part (c) of Example 1.2.17. On the other hand, is an immersion outside the origin if and only if the Jacobian ideal of is concentrated to the origin. It can happen that the real zero set of the Jacobian ideal consists only the origin, but its complex zero set is bigger: such a germ is an immersion outside the origin as a real germ, but not as a complex germ, hence it is not finitely determined. Finitely determined real germs from to are studied for example in [33].
Example 1.2.19* ().*
A holomorphic map from to can be regarded as a smooth (real analytic) map from to . However the stability of the complex map does not imply the stability of the real map, because the complex Whitney umbrella is not stable as a germ from to . The list of the stable multi-germs of a map from to consists of regular simple, double and triple values with regular intersection (cf. 1.2.17), and – instead of the isolated complex Whitney umbrella points – it contains the fold points (whose normal form is ), which form a submanifold of dimension . In Section 3.7 we present a real stabilization of the complex Whitney umbrella.
1.3. Fitting ideals
1.3.1. Presentation matrix
The equation of the image and the multiple point spaces in the target can be determined by Fitting ideals. Here we present the general procedure and some examples. For more details and the properties of these ideals we refer to [48, 49].
Let be a finite holomorphic germ and . Then has a well-defined image, is an analytic set in . The ideal of the functions vanishing on the image of can be determined by Fitting ideal method.
By Theorem 1.1.1 is a finitely generated -module, see also [48, 49], we denote it by . A choice of a set of generators induces an epimorphism . Its kernel is also finitely generated, because is Noetherian. That can be summarised in the exact sequence
[TABLE]
We call the homomorphism the presentation of , its matrix is the presentation matrix of (denoted also by ). Each column of expresses a relation between the generators, and they together generate all the relations.
may be chosen injective, and this forces ( is a square matrix) [48].
Definition 1.3.1**.**
The -th Fitting ideal of is the ideal in generated by the determinants of the minors of the presentation matrix .
It can be shown that the Fitting ideals do not depend on the choice of the presentation .
provides an analytic structure of the -fold multiple value set of .
Theorem 1.3.2**.**
The zero set of consists of points in with at least preimages counting with multiplicity.
Especially, for the Fitting ideal provides an analytic structure of the image of .
Theorem 1.3.3** ([69]).**
The zero set of is the image of . In other words .
Although is not necessarily a reduced equation, its geometrical meaning is very natural, as we will see in Example 1.3.5.
A presentation can be found by the following procedure. Let denote the coordinates of the point in the source, and let denote the coordinates in the target. , that is, .
- (1)
Define as . Suppose that is finite. This always can be obtained by a linear change of the coordinates. 2. (2)
Find generators of , i.e. generates as a module over via . By Nakayama lemma that happens if and only if the classes of form a basis of the -vector space , which is finite dimensional since is finite. Note that one of the generators must be a unit, we take . 3. (3)
Find the coefficients (in the target) to express for all . 4. (4)
Define , where is [math] for and for . Then is a presentation matrix of .
1.3.2. Examples
Example 1.3.4* (, ).*
In this case . This is a simple germ from Mond’s list [45], in fact, the first one, for which finding the equation of the image is not trivial. Here we provide it as the determinant of a presentation matrix. We use coordinates in the source and in the target.
is also finite, since . , thus the module is generated by . Then
[TABLE]
[TABLE]
[TABLE]
Thus
[TABLE]
is a presentation matrix of .
The equation of the image is . is the ideal generated by . The determinants of the minors of generate the first Fitting ideal, . Its zero set consists of the double values of . Finally, is generated by the minors of , thus . Its zero set is a fat point: the origin with multiplicity . This corresponds to the fact that any stable deformation of has triple values, cf. Subsection 1.4.2.
Example 1.3.5* (Singularities of type ).*
These are quotient singularities of the form , where denotes the cyclic group of order , and the action is for . is the image of a map , whose components are the generators of the invariant algebra , see [65, page 95], namely . For
[TABLE]
is a presentation matrix of . is a not reduced equation of the image of : it reflects to the fact that is a double cover of its image outside the origin. , the ideal generated by the determinants of the minors of equals to the ideal generated by , corresponding to the fact that the whole image of consists of double values. is a codimension ideal in , that means any stable deformation of has triple value, see 1.4.2 and Figure 1.3.
For arbitrary the equation given by is the -th power a reduced germ, reflecting to the -fold covering outside the origin.
Example 1.3.6* (Cuspidal edge).*
Consider . The presentation matrix is
[TABLE]
. However does not have ordinary double values, the cuspidal edge lies in the closure of the double values of a stable deformation of .
1.4. Invariants of a stabilization
1.4.1. Stabilization
A useful method to find invariants of the -equivalent classes of complex germs is to consider a stabilization of the germ, and count the stable multigerms that appear. In a lucky situation their number does not depend on the choice of the stabilization and it can be calculated by algebraic methods, that is, without stabilizing the germ. This is the procedure how the invariants and can be introduced.
A -parameter unfolding is a stabilization (stable deformation) of the germ , if is stable for all parameter values . However, is not a germ: to make the definition correct, we have to fix a representative.
Consider a -parameter unfolding , and fix small enough neighbourhoods and . Let and for each . Then is a stabilization of , if for every parameter value each multi-germ of the map is stable. For a fixed parameter value , we call the map also a stabilization of – hopefully without any confusion.
Stabilization always exists, if are ‘nice dimensions’ in the sense of Mather [38, 48, 71], ie. if stable maps are dense (in the sense). Note that in these dimensions stable maps are sometimes called generic.
Take . If is finitely determined, then it admits a versal unfolding with parameters. Thus each stabilization of is equivalent with with some germ . With the minimal number of parameters (i.e. equals to the -codimension of ) the versal unfolding in unique, up to isomorphism.
Let us fix a small enough representative of the miniversal unfolding. The bifurcation set consists of the points in the parameter space for which is not stable. The bifurcation set is an analytic subvariety, see [48], indeed proper subvariety if are nice dimensions, which implies that the complement of it is connected in . Thus if and are stable, then there is real path connecting and such that is stable for all . In addition, the projection to the parameter space produces a locally trivial fibration of the image of the versal unfolding over the complement of the bifurcation set. The fibres are the images of the stabilizations corresponding to different parameter values. See for details [47, 30, 61].
The image of a stabilization is called the disentanglement of .
Proposition 1.4.1** ([47, Lemma 1.3.]).**
The topology of the disentanglement of a finitely -determined germ is independent of the chosen stabilization.
This theorem implies the well-definedness of the number of isolated stable multi-germs in each type. Especially, in the nice dimensions:
Theorem 1.4.2**.**
Let be a finitely determined germ. Then the number of Whitney umbrellas and triple values are independent of the stabilization of .
1.4.2. The invariants and
Here we summarize the main properties of Mond’s invariants and . For proofs and details we refer to [43, 44, 45, 49, 48].
Let be a holomorphic germ. Let denote the determinants of the three minors (). Let be the ideal of the local ring generated by the elements , where is the Jacobian matrix of . is called the Jacobian ideal or the ramification ideal of . Define
[TABLE]
Theorem 1.4.3**.**
Let be a finitely determined germ. Then and are finite and any stabilization of has Whitney umbrella points and triple values.
The key tool for the proof of 1.4.3 is the so-called Cohen-Macaulay property of the ideals and in the case of finitely determined germs . Cohen-Macaulay property implies a good behaviour under deformation, in our cases that means the conservation of the codimensions. E.g.
[TABLE]
holds for a (not necessarily stable) perturbation of . Here denotes the germ of at . Then it is enough to check that if is -equivalent with a Whitney-umbrella and [math] for regular germs, hence the sum counts the Whitney umbrellas of a stabilization. Similar discussion holds for . For details we refer to [45, 49, 48].
In Remark 3.3.6 we give an independent proof for the equality of and the number of Whitney umbrella points of a stabilization in the case of corank–1 map germs, cf. Example 1.4.10.
In [45] Mond introduced a third invariant for corank– germs, which ‘measures, in some sense, the non-transverse self-intersection concentrated at the origin’. Geometric interpretation of is not yet known for the author of the present thesis. Later was replaced with more intuitive invariants, see theorems 1.5.3 and 1.5.6. Here we do not present the definition of .
We summarize some equivalent characterizations of finite determinacy of germs . See [45, 33].
Theorem 1.4.4**.**
Let be a holomorphic germ. Then the following are equivalent:
(a) is finitely -determined.
(b) is a stable immersion, cf. Theorem 1.2.11, Example 1.2.17.
(c) The associated map of spheres (cf. Definition 1.1.3) is a stable immersion, that is, it has only single values and double values with transverse intersection.
Theorem 1.4.5**.**
Let be a corank– germ. Then is finitely -determined if and only if , and are finite.
On the other hand the finiteness of any of the three invariants has also a geometrical interpretation. E.g. the following holds for . (Recall that a stabilization is defined in a sufficiently small neighbourhood of the origin.)
Theorem 1.4.6**.**
Let be a holomorphic germ. Then the following are equivalent:
(a) is finite.
(b) is singular only at the origin, that is, implies . In other words is an immersion.
(c) The associated map of spheres is an immersion.
If these claimes hold, then any stabilization of has Whitney umbrella points. Cf. [44, 45].
If , then has positive dimension, and along the rank of is . Hence corollary below follows from part (a) and (d) of Theorem 1.4.6.
Corollary 1.4.7**.**
If is finite, then is a finite germ.
Germs with finite , or equivalently, germs singular only at the origin are our basic objects in Chapter 3.
Remark 1.4.8*.*
can be defined also in higher dimensions, for germs , where the higher dimensional Whitney umbrellas are isolated points. These germs are studied in [22].
Proposition 1.4.9**.**
If is finite, then any stabilization of has the same number of triple points, and this number is (cf. [49, 44]).
By Theorem 1.4.6, in the case of finite germs the failure of the finiteness of corresponds to the existense of a cuspidal edge, that is, a line of singular points. In general any of the following three properties implies the failure of the finite determinacy of a germ [33]: (a) there is a line of singular points, (b) there is a line of triple points, (c) there is a line of non-transverse self-intersection.
1.4.3. Examples
Example 1.4.10* (Finitely determined corank– germs).*
Let be a finitely determined germ with . Such a germ is -equivalent with a germ of the form [43]. Then the Jacobian ideal is generated by and , thus its codimension is the intersection multiplicity of the plane curves and at the origin.
Several concrete examples can be found e.g. in the list of Mond contaning the simple germs [45]. For example the family given by has Whitney umbrellas in a stabilization, see Figure 1.2 for . For the germ itself is -equivalent with the Whitney umbrella.
Example 1.4.11* ( type germs).*
Assume that , where for some germ , such that is not divisible by . The (-equivalence classes of) these germs are often labeled by the Boardman symbol , this notation refers to the classification of the germs up to their -jet, see [33, 43]. They are exactly the finitely determined corank– map germs with no triple points in their stabilization, that is, with , see [43, 33] for details.
Example 1.4.12* (A corank– germ).*
There are also finitely determined germs with . Several examples can be found in [31]. A concrete one is . For this germ and .
Example 1.4.13* (Cuspidal edge).*
Let (cf. Example 1.4.11). Then , is not finitely determined, indeed it is not an immersion outside the origin.
Example 1.4.14* (Singularities of type ).*
As in Example 1.3.5, consider the -fold cover of the singularity, . Then and , cf. Figure 1.3 for . Outside the origin is an immersion, but not a stable immersion. In fact, the whole image of consists of at least -fold multiple values, thus the intersection of the branches is not transverse. Thus is not finitely determined. For , , cf. Example 1.3.5. However for , since the whole image consists of at least -fold multiple values.
The covering maps of the quotient singularities of type and , and are also regular outside the origin, thus is finite for them. However they are not finitely determined, from the same reason that was explained for type . These germs provide us interesting examples later in Chapter 3. We present here a possible computation of for these germs.
Example 1.4.15* (Singularities of type ).*
These are the quotient singularities of form where denotes the binary dihedral group, [65, page 89]. [65, page 95]. By a computation . In singularity theory the quotient is the –singularity.
A possible computation of is based on the following facts.
Lemma 1.4.16**.**
(a) Take such that and are coprimes. Then one has the following exact sequence:
[TABLE]
(b) Take such that the ideal has finite codimension, and for some . Then one has the following exact sequence:
[TABLE]
Proof.
Part (a) is well-known as the additivity property of the local intersection number of plane curves, see e.g. [12]. The proof of part (b) is similar. ∎
Using these lemmas the codimension of of the singularity can be calculated, and it is .
Example 1.4.17* (Weighted homogeneous germs and , and ).*
Assume that the three components of are weighted homogeneous of weights and and degree , and . Then, cf. [46], Mond proved this identity for finitely -determined germs, but the same proof works for germs with finite .
For example, if is as in Example 3.1.4, then all three components are homogeneous (). In the case of and the degrees are and respectively. Hence the values from Examples 1.4.14 and 1.4.15 follow in this way as well.
For and singularities the degrees are , and respectively, see [65, 4.5.3–4.5.5], hence the corresponding values are , , .
1.4.4. Disentanglement and the image Milnor number
Recall for finitely determined germs from to the topology of the disentanglement (that is, the image of a stabilization) does not depend on the choice of the stabilization, cf. Proposition 1.4.1.
Note that the disentanglement is a stratified space, each stratum is a connected ‘isosingular locus’ of stable multi-germs.
In many cases the disentanglement plays the role of the Milnor fibre of isolated singularities, for example it has the following property, analogously with Theorem 4.1.10. (In fact, the proof uses 4.1.10, see [47]).
Theorem 1.4.18** ([47, Theorem 1.4.]).**
The disentanglement of a finitely determined germ is homotopy equivalent with a bouquet of -spheres, ie. with .
Definition 1.4.19**.**
The number of the spheres in the bouquet (that is, the -th Betti number of the disentanglement) is called the image Milnor number of .
Theorem 1.4.20** ([30, 3.2.-3.4.], [47]).**
For finitely determined germs
[TABLE]
holds, where is the Milnor number of the double point curve , see paragraph 1.5.1.
Theorem 1.4.21** ([21, 47]).**
For a finitely determined germ , the image Milnor number is bigger or equal than the -codimension of . If is weighted homogeneous, then equality holds.
For finitely determined germs , , the statement of Theorem 1.4.21 is Mond’s conjecture.
We use the disentanglement as a complex singular Seifert surface of the immersion . See Section 3.6.
1.5. Further invariants
1.5.1. The double point structure
The possible algebraic descriptions of the multiple point spaces of complex germs are studied in general in [58, 30, 45, 48]. Here we summarize the double point structure of germs . The Milnor numbers of the four double point curves are related to each other through the invariants , and . Indeed, can be replaced by one of this Milnor numbers. In this paragraph we refer mainly to [34, 30].
The double point spaces of a finite germ can be summarized in the following diagram (see [34, 30]).
[TABLE]
is the lifting of the double point space of . A general algorithm to determine it can be found in [34, 45], here we sketch it in our case. We use the following notation: the coordinates of the point are , (), The coordinate functions of are , .
Let denote the ideal of the diagonal in , that is . Then , thus there are such that
[TABLE]
holds for . Then is the zero set of the ideal
[TABLE]
where is the ideal generated by the determinants of the minors of the matrix .
Note that . Hence contains the ordinary double points , that is and , as well as the points of the diagonal, where is a singular point of .
There are several other methods to determine which work in special cases. For instance provides the same ideal as (1.5.2) for finitely determined germs, see [58].
is the double point space in the source. It is the image of the projection restricted to . The ideal of can be given as the [math]-th Fitting ideal of the projection .
Finite determinacy can be characterized by the help of the curves and as follows.
Theorem 1.5.1** ([34, Theorems 2.4., 3.4., 3.5.]).**
Let a finite and generically to complex germ. The following are equivalent:
(a) is finitely -determined.
(b) is a germ of reduced curve and is generically to .
(c) is a germ of reduced curve.
(d) The Milnor number of is finite. (See Subsection 4.1.2 for definition).
Note that if is generically to , then it is an embedding for a choice of a small enough representative. is called the Mond number of .
If is finitely determined, there is a useful method to determine the reduced equation of . Let be the equation of the image of . Then is the same for all , where is the determinant of the minor of removed the -th row, and is the th partial derivative of . See [59, 3].
is the quotient of by the -action on . embeds as a germ of analytic subspace of . If is a corank–1 germ, then and also can be embedded to .
The space of double values is the zero set of the first Fitting ideal .
The four double point spaces can be defined also for maps, specially for a stabilization of . Then is a smooth curve in , and the projection is a stable immersion with transverse double values in the triple points of . is also a smooth curve, the factorization by is a double branched covering, ramifies at the (lifting of the) Whitney umbrella points. is an immersion with triple values in the triple values of .
If is a corank– finitely determined germ, then all the curves , , , are isolated complete intersection (ICIS) (cf. Chapter 4). However the Milnor number of these curves can be defined also for corank– germs, see [34]. The Milnor numbers relate to each other by the following formulas, according to the description of the double point curves of a stabilization.
Theorem 1.5.2** ([34, Theorem 4.3.]).**
If is a finitely determined germ, then
[TABLE]
[TABLE]
[TABLE]
Theorem 1.5.3** ([32, 30]).**
If is a finitely determined quasihomogeneous corank– germ, then , and
[TABLE]
1.5.2. Slicing
In [32] there is an interesting reinterpretation of the invariants , and for corank– germs . This is the nearest approach to our results explained in Chapter 3, as both derive these invariants from the properties of a transverse object. In [32] this object is the transverse slice of defined below, while in Chapter 3 that is the immersion associated with .
The idea is the following. After change of coordinates the germ can be considered as a -parameter unfolding of a finitely determined plane curve, called transverse slice. Then invariants of can be obtained from the parameter space of the versal unfolding of the transverse slice.
Let be a finite, generically to , corank– holomorphic map germ. Up to -equivalence it can be written in a form , such that and , where denotes the Zariski tangent cone of .
Introduce the notation . Then is a -parameter unfolding of the curve , called transverse slice. The transverse slice is a finitely -determined germ of plane curve. Its finite determinacy follows from the transversality conditions described in the previous paragraph.
Note that the transverse slice is not unique, its analytic type depends on the choice of the coordinates, but its topological type does not. Its -invariant
is equal to the multiplicity of at [math].
Proposition 1.5.4** ([32, 3.1.]).**
* is finitely -determined if and only if is a stabilization of .*
Consider the miniversal deformation of where . Then can be pulled back from the versal deformation by a curve . If is finitely determined, then intersects the bifurcation set
[TABLE]
only at the origin.
is a hypersurface in , its reduced equation decomposes as corresponding to -codimension– multi-germs of plane curves. is a stable plane curve (that is, self-transverse immersion) if . For the curve has a cusp, for the curve has a triple point, for the curve has a tacnode, that is, self-tangent double point. In other words, the three components of correspond to the three Reidemeister moves of a -parameter deformation of a plane curve.
Theorem 1.5.5** ([32, 3.7–3.10.]).**
*Let the finitely determined corank– germ
be the stabilization of its transverse slice pulled back from the miniversal unfolding by the curve . Then*
[TABLE]
The order of is the intersection multiplicity of the curves and , that is, the number of the transverse intersection points of and a perturbation of . In each intersection point the corresponding curve has a cusp (resp. triple point). On the other hand, since describes a -parameter stable unfolding of , which is , a -parameter perturbation of is a -parameter unfolding of , that is, a -parameter unfolding of . The cusps and the triple points of correspond to the Whitney umbrellas and the triple values of the unfolding of .
The third invariant
[TABLE]
is the number of values of a perturbation of , such that has a tacnode.
The following relations hold to the new invariants.
Theorem 1.5.6** ([32, 3.8. and p. 1388]).**
Let the finite, generically to , corank– germ be the -parameter unfolding of its transverse slice pulled back from the miniversal unfolding by the curve . Then
(a) is finitely determined if and only if , and are finite (defined as ).
(b) .
Chapter 2 Immersions of spheres to Euclidean spaces
2.1. Hirsch–Smale theory
2.1.1. Hirsch theorem
This chapter contains the basic theorems of Hirsch and Smale, and the formulae of Hughes–Melvin [17] and Ekholm–Szűcs [9] corresponding to the immersions of the -sphere to . The last section contains other results and applications, which are related to our study presented in Chapter 3.
Hirsch–Smale theory [16, 64] transforms regular homotopy problems (differential topology) to homotopy theory (algebraic topology).
Let and be smooth manifolds of dimension and respectively. A smooth map is an immersion, if at every point the differential is injective (monomorphism). In other words, immersions are ‘local embeddings’. Two immersions are regular homotopic if they can be deformed to each other through immersions, that is, if there exists a smooth map such that , and is an immersion for all . Regular homotopy is an equivalence relation on the set of immersions from to . An injective immersion of a compact manifold is called embedding.
We use the following notations. denotes an immersion from to , and denotes an embedding. is the set of regular homotopy classes of the immersions from to , and its subset consists of regular homotopy classes which admit embedding representatives.
The differential of an immersion is a fibrewise injective linear bundle map , say bundle monomorphism. We call two bundle monomorphisms homotopic if they are homotopic through bundle monomorphisms.
Theorem 2.1.1** (Hirsch [16]).**
If , the differential induces a bijection between and the homotopy classes of the bundle monomorphisms.
If , a more concrete identification can be done. For an immersion the bundle is trivial, moreover for different immersions the corresponding bundles are naturally isomorphic. Let be the bundle of bundle homomorphisms from to (over the identity map of ), and its subbundle consists of bundle monomorphisms. is a vector bundle with fibre . is a locally trivial bundle whose fibre is the Stiefel-manifold consists of monomorphisms from to , or in other words, the linearly independent -frames of . (The compact Stiefel manifold consisting of orthonormal -frames of is homotopy equivalent with via its natural embedding. We do not distinguish them in the notation.)
Theorem 2.1.2** (Hirsch [16]).**
(a) If , the differential induces a bijection between and the homotopy classes of the continuous sections of .
(b) If additionally is parallelizable (that is, is trivial), then a chosen trivialization of provides a bijection between and .
Part (a) of Theorem 2.1.2 does not hold in general for , not even if all the immersions from to are homotopic and is a trivial bundle, cf. Example 2.1.13.
2.1.2. Smale invariant
Although in the case of spheres the tangent bundle is not trivial in general, the homotopy classes of the sections in part (a) of Theorem 2.1.2 can be replaced by homotopy classes of continuous maps, as in part (b).
Theorem 2.1.3** (Smale [64]).**
There is a bijection
[TABLE]
The bijection is induced by the map , where is called the Smale invariant of the immersion . (The relation between the bijections in Theorem 2.1.3 and in Theorem 2.1.2(b) is clarified in Remark 2.1.7.)
Here we present the construction of the Smale invariant, cf. [18, p. 159], [7, 3.2.]. Let be the unit sphere in , that is , and define and . Let be an open neighbourhood of in . Fix a trivialization of the tangent bundle .
By a regular homotopy it can be achieved that agrees with the standard embedding on . We define a continuous map as
[TABLE]
where is the reflection in the hyperplane restricted to . Then .
Remark 2.1.4*.*
If is a connected Lie group, or a quotient of it by a closed connected subgroup, then can be identified with the homotopy classes of the continuous maps without any base point. This fact can be applied to , cf. [66, 19]. Furthermore, for Lie groups, the group operation of agrees with that induced by the pointwise multiplication in ; cf. [66, p. 88 and 89].
Then Theorem 2.1.3 can be reformulated as follows.
Theorem 2.1.5** (Smale [64]).**
For an immersion , the Smale invariant is independent of the choices, it is determined by . Furthermore, two immersions and are regular homotopic if and only if , and each element of arises as of some immersion .
Remark 2.1.6*.*
is a group with respect to the operation ‘connected sum’. The connected sum of the immersions and is the induced immersion from to [18, p. 164], [7, 3.4.]. The Smale invariant provides a group ismorphism . In particular, in the identity element is the standard embedding, thus its Smale invariant is the identity element of . See [18, 7].
Remark 2.1.7*.*
In some dimensions is parallelizable, for instance if or . Then by part (b) of Theorem 2.1.2 there is a bijection , but it depends on the choice of the trivialization of . Hence it does not agree with the Smale invariant in general. The relation between them is , where is the standard embedding. Cf. [7] and Example 2.1.12.
Question 2.1.8**.**
Smale asked in [64] to characterize the regular homotopy classes in terms of the geometry of the immersion, and give explicit representatives of each regular homotopy class.
Several results appeared in this topic, see for instance examples 2.1.9, 2.1.11 and [18, 7, 24]. Our results also fit to this program, cf. [53] or Chapter 3.
2.1.3. Examples
Example 2.1.9* (Eversion of the Sphere).*
The Smale invariant of an immersion sits in . Thus any immersion is regular homotopic with the standard embedding . For instance the standard embedding composed with the hyperplane reflection is regular homotopic with the standard embedding. A regular homotopy between them is an eversion of the sphere.
Example 2.1.10* (, ).*
The Stiefel-manifold is -connected, cf [19, 66]. Hence for any immersion from to is regular homotopic with the standard embedding.
Example 2.1.11* ().*
For an immersion
[TABLE]
cf. [19, 66]. By a regular homotopy can be deformed to a stable immersion, which has self-transverse double values. If is even, it is possible to associate a sign to each double value, and is the algebraic number of the double values. For odd () the Smale invariant agrees with the algebraic number of double values modulo . The exceptional case is discussed in the next example.
Example 2.1.12* ().*
The Smale invariant of a plane curve immersion is an element of . By the result of Whitney [72], the winding number is a complete regular homotopy invariant. For an immersion the winding number is the degree of . Thus the winding number is the invariant according to part (b) of Theorem 2.1.2, but it is not the Smale invariant, cf. Remark 2.1.7. However, by fixing a base point and a support line with a convention for the starting of the curve at the base point, it is possible to associate a sign to each double value of the immersion, cf. [72]. Then is the algebraic number of the double values, but its sign depends on the choice of the convention. By Remark 2.1.7 . The sign ambiguity can be avoided by fixing the conventions.
The examples 2.1.13 and 2.1.14 are results of a discussion with Tamás Terpai.
Example 2.1.13* ().*
By Hirsch’s Theorem 2.1.1 is in bijection with the bundle monomorphisms up to homotopy. Such a monomorphism associates to each point of a nonzero tangent vector of , hence up to homotopy it can be considered as a map from to . Thus is in bijection with . Even though is a trivial bundle for all immersions, part (a) of Theorem 2.1.2 cannot be applied. Indeed, the sections of up to homotopy are in bijection with .
Example 2.1.14* ().*
The inclusion (where is any point of ) induces a map from to . This map is surjective, since every regular homotopy classes can be represented by an immersion avoiding the infinity. If , then the map is also injective, because the regular homotopy also can be chosen such that it avoids infinity. Hence can be identified with for .
The map from to is surjective but not injective in general. Let and be immersions from to , and let be a regular homotopy between and through the infinity. It can be assumed that infinity is a regular value of , and the algebraic number of its preimages is . Then is regular homotopic with in , where is the hyperplane reflection of restricted to , cf. Example 2.1.9, and denotes the connected sum of two immersions, cf. [18, 7].
The normal degree , i.e. the degree of the Gauss map of is a regular homotopy invariant for immersions with the properties and , see [41]. Hence for odd a regular homotopy through changes the normal degree with a multiple of , and so changes the regular homotopy class of the immersion . Note that is the winding number for , cf. examples 2.1.12 and 2.1.13. Compare also with Hughes formula (2.3.2) for immersions from to , where is the first component of , and Example 2.1.9, in which case .
2.2. Immersions of to
2.2.1. Immersions and embeddings
Hughes and Melvin [17] proved that there are embeddings of to which are not regular homotopic to each other, thus it is impossible to express the Smale invariant in terms of the double point set (like e.g. in Example 2.1.11). They expressed the Smale invariant of an embedding with the help of a Seifert surface.
For an immersion the Smale invariant is in , and . The isomorphisms are induced by the -fibration and the standard embedding , cf. [19, 66]. The isomorphism of and is a priori non–canonical, but they can be identified with a choice of a generator in . It is described in Section 3.2.
Theorem 2.2.1** (Hughes, Melvin [17]).**
.
Furthermore, of an embedding can be expressed by the signature of a Seifert surface.
Theorem 2.2.2** (Hughes, Melvin [17]).**
Let be an embedding and be a Seifert surface of , i.e. is a compact oriented -manifold with boundary and is an embedding such that . Let be the signature of . Then
[TABLE]
Theeorems 2.2.1 and 2.2.2 can be summarized on the following diagram:
[TABLE]
Remark 2.2.3*.*
Hughes and Melvin proved a more general result for embeddings from to . An alternative proof for Theorems 2.2.1 and 2.2.2 can be found in [67].
Remark 2.2.4*.*
The sign ambiguity of the formula (2.2.1) is caused by the sign ambiguity of the Smale invariant as a -invariant, more precisely, by the identification of the target of with , and by the nature of the proof of (2.2.1) as well. One of the goals of Chapter 3 is to indicate the correct sign in this and other Smale invariant formulae in this section, whenever the Smale invariant is replaced by the sign-refined Smale invariant, see Subsection 3.2.1.
For the proof of Theorems 2.2.1 and 2.2.2 Hughes and Melvin introduced an alternative definition of the Smale invariant of immersions . We review their construction here, since we use this definition of the Smale invariant throughout Chapter 3. Note that Szűcs used another construction in [67].
Let be a tubular neighbourhood of the standard , and let be an orientation preserving immersion extending , i.e. . Let be the tangent bundle of . It inherits a global trivialization from the natural trivialization of . In particular, there is a map (the Jacobian matrix)
[TABLE]
Its homotopy class is the Smale invariant of :
[TABLE]
via the homotopy equivalence induced by the inclusion . (The base point is irrelevant in , cf. Remark 2.1.4).
Proposition 2.2.5**.**
* does not depend on the choice of and , it depends only on the regular homotopy class of , and is a bijection.*
Indeed, Smale proved that his original invariant gives a bijection between and , cf. Subsection 2.1.2 and [64]. Hughes and Melvin proved that their alternative definition (2.2.3) of the Smale invariant does not depend on the choice of and agrees with the original Smale invariant through the natural group isomorphism .
2.2.2. Ekholm’s Vassiliev invariant
In analogy with Arnold’s invariants for plane curves , Ekholm [7] introduced the invariants and (denoted by lk originally) of stable immersions from to . Here we describe in detail. It appears in Subsection 2.2.3 as a contribution in the Ekholm–Szűcs formulas, and for immersions associated with holomorphic germs we express in terms of and , see Subsection 3.1.5.
A stable immersion of to has only regular simple and double values with transverse intersection of the branches at the double values. By [7, Proposition 5.2.2.] there are two types of codimension– immersions, i.e. immersions which can appear in a stable regular homotopy between two stable immersions:
(a) immersion with one triple value (with regular intersection of the branches) and
(b) immersion with self tangency at one point (that is, is a double value of , and holds instead of transversality).
Ekholm’s invariants and are constant along regular homotopies through stable immersions. changes by when the regular homotopy steps through an immersion with self tangency and does not change under triple point moves. changes by under triple point moves and does not change when stepping through immersion with self tangency [7, Theorem 2]. is equal to the number of the double point curve components of in the target (that is, the number of components of , see below).
The invariant of a stable immersion measures the linking of a shifted copy of the double values with the image of . There are different versions for the definition, see below. Here we review these definitions and their equivalence in the simplest case, for immersions , although originally they were introduced in [7, 8, 9, 60] for different levels of generalizations (for other manifolds, higher dimensions).
Let be a stable immersion, and let be the double point locus of , i.e. . is a closed -manifold, and is a -fold covering. is endowed with an involution such that for all .
The first definition is from [7, 6.2.]. Let be a normal vector field of such that is [math] in . Such a vector field is unique up to homotopy, and for instance each component of a Seifert framing provides such a vector field. If is the result of pushing slightly along , then the linking number equals to [math]. Let be a double value of . Then defines a normal vector field along . Let be the result of pushing slightly along , then and are disjoint. The invariant is the linking number
[TABLE]
(or equivalently, ). Note that Ekholm used an other notation: is denoted by , and is defined as in [7, 2.2., 6.2.].
The second definition is [9, Definition 11.], [60, Definition 2.2.]. The normal bundle of is trivial, since the oriented rank– vector bundles over are classified by . Any two trivializations are homotopic, since their difference represents an element in . Let be the homotopically unique normal framing of , and in a double value define . is a normal vector field along , and let be the result of pushing slightly along . Then and are disjoint. The invariant is the linking number (or equivalently, the homology class)
[TABLE]
Note that the framing can be replaced by an arbitrary nonzero normal vector field of , since it can be extended to a framing whose first component is .
The third definition is in [9, Definition 4.], see also [8, 4.5., 4.6.]. Let be a nonzero normal vector field of over , that is, a nowhere zero section of . Let be the homology class represented by in , where denotes the total space of the bundle of nonzero normal vectors of . Let be the value of the vector field along at the point . Let be the result of pushing slightly along , then and are disjoint. The invariant is
[TABLE]
where .
By [8, Lemma 4.15.] is well-defined, that is, does not depend on the choice of the normal field . Moreover, if is the restriction of a (global) normal vector field of to , then . Indeed, the restriction of the normal field of to a Seifert surface of results a surface , whose boundary is the image of . Hence .
The invariants , (and so ) are equal to each other. This fact follows from the basic property of and proved in [7, 8], see Proposition 2.2.6 below. The proof of this proposition is a result of a discussion with András Szűcs.
Proposition 2.2.6**.**
(a) The three definitions are equivalent, i.e. . Let us denote by .
(b) is an invariant of stable immersions. It changes by under triple point moves and does not change under self tangency moves. In other words: if and are regular homotopic stable immersions, is a stable regular homotopy between them, then is equal to the algebraic number of triple values of the map , .
Proof.
Part (b) is proved independently for [7, Lemma 6.2.1.] and for [8, Theorem 1.]. Using them we prove part (a) as follows.
Since and changes in the same (or opposite) way along a regular homotopy, is a regular homotopy invariant. Moreover and are additive under connected sum, see [8, Lemma 5.2., Proposition 5.4.], [7, 6.5.]. It follows that defines a homomorphism from to . If is an embedding, then , hence is [math] on the -index subgroup of . It follows that is [math] for any stable immersion. ∎
Remark 2.2.7*.*
can be defined also for nonstable immersions which do not have triple values. Any immersion admits a small perturbation by regular homotopy to a stable immersion , and if does not have triple values, then any two stable perturbations can be joined with a regular homotopy without stepping through triple point. Thus can be defined as of any small stable perturbation of .
Remark 2.2.8*.*
Ekholm also defined the invariant for stable immersions , which is the analogue of Arnold’s ‘strangeness’ for plane curve immersions [7, 2.2., 6.5.]. St changes by under triple point moves, it is additive with respect to connected sum, and changes sign under precomposing an immersion with a reflection in the source. For immersions associated with holomorphic germs we express and St in terms of and , see Subsection 3.1.5.
2.2.3. Ekholm–Szűcs formulas
Ekholm and Szűcs generalized the Hughes–Melvin formula 2.2.2 for immersions via generic singular Seifert surfaces, in two different ways: mapped either in or in [9], see also [10, 60].
If is a compact oriented -manifold and is a stable map, then has isolated –points (cusps). These are the singular points of restricted to its singular locus . Each cusp point is endowed with a well–defined sign. Let be their algebraic number (cf. [9]).
Theorem 2.2.9** (Ekholm, Szűcs [9]).**
Let be an immersion and be a compact oriented -manifold with boundary . Let be a generic map such that is regular homotopic to and has no singular points near the boundary. Then
[TABLE]
The second formula uses stable maps defined on compact oriented -manifolds . It involves two topological invariants associated with such a map. Next we review their definitions. They will be computed for two concrete holomorphic maps in order to identify the missing sign in Section 3.6.
If is as above, then it has isolated triple values (three local sheets of intersecting in general position). Such a point is endowed with a well–defined sign [9, 2.3]).
Definition 2.2.10** ([9]).**
* denotes the algebraic number of the triple values of .*
Next, assume that and is generic, it is nonsingular near the boundary, and . Here is the closed half–space of . The set of double values of is an immersed oriented -manifold, denoted by . Its oriented boundary consists of two parts, the intersection of , and the other, disjoint with , is the set of singular values of . Let be a copy of shifted slightly along the outward normal vector field of in . Then .
Definition 2.2.11** ([9]).**
* denotes the linking number of and in .*
Theorem 2.2.12** (Ekholm, Szűcs [9]).**
Let be an immersion and be a compact oriented -manifold with boundary . Let be a generic map nonsingular near the boundary, such that and is regular homotopic to . Then
[TABLE]
2.3. Outline of other related results
2.3.1. Immersions of to
Here we review a formula for the Smale invariant for immersions of to [18, 11]. For some connections with our cases see Subsection 2.3.2 and Example 3.5.2.
The Smale invariant of an immersion is an element of . The description of the generators of (usually denoted by and ) can be found in [66] or [11], and also in Section 3.2 of this thesis (where the first generator is denoted by instead of ).
The standard embedding induces an embedding , and so a homomorphism . This homomorphism is , (cf. [66, 11] and Section 3.2). Thus for an immersion with , the Smale invariant of the composition is .
Hughes [18] expressed the Smale invariant in terms of an immersed Seifert surface as follows.
Theorem 2.3.1** ([18, Theorem 3.1.]).**
Let be an immersion which admits an immersed Seifert surface, i.e. there is a compact oriented -manifold with boundary and an immersion such that . Then
[TABLE]
where is the Euler characteristic, and is the signature of .
An immersion induces a stable framing of via the bundle isomorphism , where denotes the trivial line bundle. Indeed, the Smale invariant measures the difference of this stable framing and the standard one (induced by the standard embedding). By [25] the homotopy class of the stable framing is characterized by two integers, the normal degree (also called the degree) of and the Hirzebruch defect (also called signature defect) . See for definitions [25, 5]. is described in detail in Example 2.1.14. Here we review some properties of which can be used as an alternative definition in our cases. When the stable framing extends to a framing of a compact oriented -manifold with boundary , then and , thus (2.3.1) can be written in the form
[TABLE]
As it is proved in [11], the Smale invariant formula (2.3.2) holds for all immersions .
Note that the formulas (2.3.1) and (2.3.2) are compatible with (2.2.1). Indeed, by (2.3.1) and (2.3.2) the Smale invariant of is , where is an immersed Seifert surface. See [11, 67].
For an arbitrary immersion the Hirzebruch defect can be expressed in terms of a singular Seifert surface, i.e., a stable map from a compact oriented -manifold with boundary , such that is regular homotopic with and is regular near the boundary. Such a map has isolated -points, also called umbilic points, i.e. the points where the rank of is , each of them can be equipped with a sign. Then
[TABLE]
where is the algebraic number of the -points. See [68, 11]. In [11, Theorem 2.7] the formula (2.3.3) is generalized for non-stable maps with isolated umbilic points. In this case each umbilic point can be equipped with an index, and if denotes the sum of the indices, (2.3.3) holds in the same form.
2.3.2. Immersions associated with plumbing graphs
Ekholm and Takase [11] and Kinjo [24] defined immersions associated with plumbing graphs, and calculated their Smale invariant by using the formulae (2.3.2) and (2.3.3). Here we summarize their results.
Let be a plumbing graph with all genera [math] and even Euler numbers, see Subsection 4.2.2 or [56]. We denote by (resp. ) the -manifold (resp. the -manifold with boundary) associated with . Note that . Then determines an immersion , and also in the following way [11, 24].
If the algebraic number of the double values of a stable immersion is , then the Euler number of its normal bundle is . Therefore, for a vertex with genus and Euler number one associates a stable immersion with double values, and its tubular neighbourhood is the image of an immersion from the disc bundle over with Euler number . Plumbing these immersions for each vertex according to provides the immersion .
If is the quotient of by an action of a finite group , then the composition of the factorization and the immersion defines an immersion .
In [11] is the graph with one vertex and Euler number , and so is a lens space. The Smale invariant of the corresponding immersion is
[TABLE]
In [24] is the weighted Dynkin diagram (resp. ) with Euler number of each vertex. So is a lens space (resp. , where is the binary dihedral group or also called dicyclic group). The Smale invariant of the corresponding immersion (resp. ) is
[TABLE]
[TABLE]
For any plumbing graph , the composition (where is the standard embedding) can be deformed to an embedding by a regular homotopy in . Indeed, the composition can be deformed to a embedding by a regular homotopy, and this induces a regular homotopy of the tubular neighbourhood. Thus the immersions and have the same structure as the immersions associated with the covering maps of the and singularities, namely .
The immersions associated with the covering maps of the and quotient singularities have Smale invariant , resp. , see Example 3.5.2. Therefore they are regular homotopic either with the immersion (resp. ) or (resp. ) from to , where is the standard embedding, and is the reflection . Note that precomposing with changes the sign of the Smale invariant. But there are other differences between the two types of immersions as well, which may change the sign. In our construction is the lens space , which is diffeomorphic to with reversed orientation. Indeed, the plumbing graph of in our case is (resp. ) with Euler numbers . Moreover the author of this thesis does not know the relation of the sign conventions for the Smale invariant used in [24] and here, see Section 3.2. It would be interesting to see a direct relation between these immersions, which applied to the , , graphs may provide the Smale invariant of the immersions associated with these graphs.
The immersion was studied in several papers, e.g. [41, 7], and it has many connections with our work. Ekholm’s invariant is well-defined by Remark 2.2.7, as of a small stable perturbation of with regular homotopy. A regular homotopy deforming to a stable immersion is given in [11, Section 4], and by the calculation from that article follows. Another stabilizing regular homotpy of (or ) is given in Subsection 3.7.2 via the stabilization of the double covering map of the singularity, and follows too. Note that the number of the double curve components (Ekholm’s invariant) is different in the two cases: the stable immersion given in [11] has one double curve component, while the one given in Subsection 3.7.2 has . The immersion associated with the corank– germ of Example 1.4.12 can also be considered as a stable version of with double curve components, see Subsection 5.5.8. Indeed, and implies and , cf. 3.1.5, 3.1.2.
2.3.3. Immersions of -manifolds
This subsection contains a summary of the immersions of arbitrary -manifolds. We mention here some results about their characterization up to regular homotopy according to [73, 60], and up to cobordism according to [18, 68].
Since every closed oriented -manifold is parallelizable, a choice of a trivialization of the tangent bundle determines a bijection between and , which associates with an immersion the map , cf. Theorem 2.1.2. If ,
[TABLE]
holds. Note that the degree (resp. the degree and the induced homomorphism between the fundamental groups) completely characterises the maps from to (resp. the maps from to ) up to homotopy.
Consider an immersion . By [73] the corresponding invariant in can be identified as follows.
The orientation determines a normal framing of the immersion . The first integer is the normal degree of , i.e. the degree of the Gauss map , , cf. Example 2.1.14 and (2.3.1).
In any vector determines a basis , where is the canonical basis of the pure imaginary quaternions. and are two bases of , and the transition matrix between them defines a map , which composed with the Gram-Schmidt process provides the map . The degree of is the second integer. The third invariant is the cohomology class induced by the homomorphism .
Theorem 2.3.2** ([73, Theorem 1]).**
The map induced by the correspondence is a bijection.
In the case let us fix a generator such that is the Euler-class of the -bundle . Then the Wu-invariant of an immersion with respect to the trivialization of is the element , cf. [60, Definition 3.3.]. The normal Euler class of is equal to by [73, Theorem 2], see also [60, Theorem 3.1., Remark 3.2].
Now we restrict the discussion to the regular homotopy classes of immersions with trivial normal bundle, denoted by . The normal Euler class of such an immersion is [math], hence is an order– element in . Let denote the set of the order– elements. Let denote the non-closed manifold obtained from by removing a -ball.
Theorem 2.3.3**.**
(a) [60, pg. 5] induces a bijection between and .
(b) [60, pg. 5, 9] There is an integer valued regular homotopy invariant such that the correspondence induces a bijection between and .
(c) [60, Theorem 3.8.] For every element there exists an embedding with .
The invariant can be defined via a singular Seifert surface, it is the analogue of the Smale invariant via formulae (2.2.7) and (2.2.8).
Introduce the notation where is the torsion subgroup of . Any immersion admits a normal framing , however it is not unique up to homotopy. Define as (2.2.5) for a stable immersion with a fixed normal framing .
Let be a compact oriented -manifold with boundary . Let be a generic map such that is regular homotopic to and has no singular points near the boundary. Define
[TABLE]
Let be a generic map nonsingular near the boundary, such that and is regular homotopic to . Define
[TABLE]
Theorem 2.3.4** (Lemmas 5.5., 5.7., theorems 5.6., 5.8. in [60]).**
(a) is an integer, and it does not depend on the choice of and . It depends only on the regular homotopy class of .
(b) is an integer, and it does not depend on the choice of , and . It depends only on the regular homotopy class of .
(c) .
(d) Two immersions with are regular homotopic if and only if , where .
Cobordism of immersions is an equivalence relation between immersions of different manifolds. Two immersions and of closed (resp. closed, oriented) manifolds and are cobordant (resp. oriented cobordant) if there is a compact manifold with boundary (resp. a compact oriented manifold with oriented boundary , where denotes with opposite orientation) and an immersion such that and . Let (reps. ) denotes the cobordism classes of the immersions of -manifolds to (resp. the oriented cobordism classes of the immersions of oriented -manifolds to ). and form groups with respect to the disjoint union, which agrees with the connected sum up to (oriented) cobordism.
, where denotes the third stable homotopy group of spheres [67, Lemma 1.4.], [68]. Each class in can be represented by an immersion of via the following diagram, cf. [67, Lemma 1.8.], [68, pg. 41, 43].
[TABLE]
The homomorphism on the right of the diagram is called -homomorphism, its kernel is , cf. Theorem 2.2.2, [17, 67]. There are also geometric formulae to determine the oriented cobordism class of an immersion , see [68, Theorem 3.1., Remark 3.6.].
By [18, Theorem 4.1.] , and the cobordism class of a stable immersion of to is completely determined by its total twist, which is the parity of the number of non-trivially covered double point curve components. In particular, the total twist of a stable immersion is a regular homotopy invariant, it defines a homomorphism . From this fact we conclude a correspondence between analytic invariants in Subsection 5.1.3.
2.3.4. Regular homotopy class of the embedded link
We mention here two results about a very similar topic to the material discussed in Chapter 3. The articles [10] and [23] study links of isolated hypersurface singularities (cf. Chapter 4) up to regular homotopy.
Although [10] contains a generalization of the Hughes-Melvin theorem 2.2.1 and of singular Seifert surface formulae (2.2.7) and (2.2.8) for immersions and embeddings of homotopy -spheres, here we only concentrate to [10, Section 5.1.]. Consider the Brieskorn equations , which determine isolated singularites . Their links are homotopy spheres (also called exotic spheres): is homeomorphic, but not diffeomorphic to for all . is diffeomorphic to , and is diffeomorphic to if and only if .
By [10], the embeddings of into are not regular homotopic for different values of , and they represent all the regular homotopy classes of the immersions which contain embeddings, i.e. . In particular, provide embeddings which are not regular homotopic to the standard embedding, each appears as the link of a complex hypersuface singularity. In contrast with this fact, nonstandard embeddings cannot be realized as links of suface singularities in , cf. Theorem 3.1.3.
A similar question is studied in [23] about the link of , where . Its link depends on the parity of , that is
[TABLE]
The question is that in the case of links with different equations but with the same diffeomorphism type do they represent different regular homotopy classes?
For odd, (see (2.2.3)) by Bott periodicity [2]. Thus the question is irrelevant in this case.
In the other case it turns out that the question is not well-posed: precomposing an immersion with a self-diffeomorphism of can change the regular homotopy type of . In other words the regular homotopy class of the inclusion depends on the choice of the identification of with .
A well-defined notion is the image regular homotopy type: the immersions and are image regular homotopic if there is a self diffeomorphism of such that is regular homotopic with . By [23] there are two image regular homotopy classes of immersions , and the image regular homotopy class of the inclusion depends on the parity of .
Chapter 3 Immersions associated with holomorphic germs
3.1. Summary of the results
3.1.1.
This chapter includes the results of the paper [53]. Our main goal is to analyse the complex analytic realizations of the elements of the groups and . Recall that via the Smale invariant. We use (2.2.3) for its definition throughout Chapter 3.
Let be a holomorphic germ. We assume that is singular only at the origin, that is in a small representative of . Such a germ, at the level of links of the spacegerms and , provides an immersion , cf. Definition 1.1.3 and Theorem 1.4.6. If an element of , or respectively, can be realized (up to regular homotopy) by such an immersion, we call it holomorphic. The corresponding subsets will be denoted by and respectively.
As we will see, is not symmetric with respect to a sign change of , hence, in order to identify the subset without any sign-ambiguity, we will fix a ‘canonical’ generator of . This will be done via the ismorphisms and by fixing a canonical generator in (see 3.2.3). Sometimes, to emphasize that we work with the Smale invariant with this fixed sign convention, we refer to it as the sign–refined Smale invariant. Our second goal is to determine the correct signs (compatibly with the above choice of generators) in the Smale invariant formulas 2.2.2 and (2.2.7), (2.2.8), which were stated only up to a sign–ambiguity.
3.1.2. The set
One expects that the analytic geometry of holomorphic realization imposes some rigidity restrictions, and also provides some further connections with the properties of complex analytic spaces. Mumford already in 1961 in his seminal article [50] asked for the characterization of the Smale invariant of a holomorphic (algebraic) immersion in terms of the analytic/algebraic geometry. This chapter provides a complete answer to his question. A more precise formulation of our guiding questions is:
Question 3.1.1**.**
(a) Which are the regular homotopy classes and represented by holomorphic germs?
(b) How can a certain regular homotopy class be identified via complex singularity theory, that is, via algebraic or analytic invariants of the involved analytic spaces? Furthermore, if some realizes some Smale invariant (e.g., if its Smale invariant is zero), then what kind of specific analytic properties must have?
The main results of this chapter provide the following answer in the case of immersions.
Theorem 3.1.2**.**
(a) is identified via the sign–refined Smale invariant by the set of non–positive integers.
(b) If the immersion is induced by the holomorphic germ , then , where is the number of complex Whitney umbrella points of a stabilization of . can be calculated in an algebraic way, as the codimension of the ideal generated by the determinants of the -minors of the Jacobian matrix of . Cf. Subsection 1.4.2.
The main tool of the proof of Theorem 3.1.2 is the concept of complex Smale invariant of the germ . We introduce it in Section 3.3 and then we prove that it agrees with . Next, in Section 3.4 we identify the complex Smale invariant of a germ with the (classical) Smale invariant of the link of . The proof of the part (b) of Theorem 3.1.2 is then ready up to sign. In 3.2.3 we fix explicit generators of the groups and and calculate the homomorphism between them. With this convention the complex Smale invariant of is equal to and is opposite to the sign–refined Smale invariant.
Part (b) of Theorem 3.1.2 implies that the sign–refined Smale invariant of a complex analytic realization is always non–positive. The proof of part (a) is then completed by Example 3.5.1, which provides analytic representatives for all non–positive .
Note that in the present literature the known () realizations of certain Smale invariants are rather involved (similarly, as the computation of for any concrete ), see e.g. [18, 7]. Here we provide very simple polynomial maps realizing all non–positive Smale invariants. Furthermore, the computation of for any is extremely simple.
Moreover, precomposing the above complex realizations with the reflection , we get explicit representatives for all positive Smale numbers as well, compare [7, Lemma 3.4.2.]. In this way Theorem 3.1.2 together with Example 3.5.1 provides an answer to Smale’s question 2.1.8.
3.1.3. The set .
Recall that consists of regular homotopy classes (that is, sign–refined Smale invariants in ) represented by holomorphic germs whose induced immersions might not be embeddings, but are regular homotopic with embeddings.
A more restrictive subset consists of those regular homotopy classes (Smale invariants), which can be represented by holomorphic gems, whose restrictions off origin are embeddings. Cf. Hughes–Melvin theorem 2.2.1.
Theorem 3.1.3**.**
(a) .
(b) Assume that the immersion is the restriction at links level of a holomorphic germ as above, . Then the following facts are equivalent:
- (1)
* (hence is not singular),* 2. (2)
, 3. (3)
* is an embedding,* 4. (4)
* is the trivial embedding.*
Again, we wish to emphasize that the previous construction of the generator of (that is, of a smooth embedding with ) is complicated, it is more existential than constructive [17]. On the other hand, by our complex realizations, for any given we provide several easily defined germs, which are immersions, and are regular homotopic with embeddings. Moreover, part (b) says that it is impossible to find holomorphic representatives such that is already embedding (except for ).
The essential parts of Theorem 3.1.3(b) are the implications (2) (1) and (3) (1), which conclude an analytic statement from topological ones. The proof (2) (1) is based on Theorem 3.1.2, which recovers the vanishing of the analytic invariant from the ‘topological vanishing’ .
A possible proof of ( embedding) () is based on a deep theorem of Mumford, which says that if the link of a complex normal surface singularity is then the germ should be non–singular [50]. We will provide two other possible proofs too: one of them is based on Mond’s Theorem 1.4.3, the other on a theorem of Ekholm–Szűcs 2.2.12.
3.1.4.
The literature of singular analytic germs is huge with several deep and interesting results and invariants, see e.g. the articles of D. Mond and V. Goryunov [13, 14, 15, 44, 45, 46] and the references therein, or Chapter 1 of this thesis. In singularity classifications finitely determined or finite codimensional germs are central (with respect to some equivalence relation). For germs Mond proved that the finite -determinacy is equivalent with the finiteness of three invariants , and , see [45] or Subsection 1.4.2. This is more restrictive than our assumption , which requires the finiteness of only, cf. Theorem 1.4.6.
However, it is advantageous to consider this larger class, since there are many key families of germs with infinite right-left codimension, but with finite , and they produce interesting connections with other areas as well (see e.g. the next example).
Example 3.1.4*.*
Consider a simple hypersurface singularity (that is, of type A–D–E). They are quotient singularities, that is for certain finite subgroup , cf. examples 1.3.5, 1.4.14, 1.4.15, 1.4.17. Let be the link of (e.g., it is a lens space for A-type), and consider the regular –covering . This composed with the inclusion provides an immersion . Hence, the universal cover of each A–D–E singularity automatically provides an element of , which usually have infinite right–left codimension. The corresponding Smale invariants are given in Section 3.5. E.g., , hence represents (up to regular homotopy) a generator of .
Recently Kinjo, using the plumbing graphs of the links of A–D singularities and –techniques, constructed immersions with the same Smale invariants as our up to sign. See [24] or the discussion in Subsection 2.3.2. Hence, the natural complex analytic maps provide analytic realizations of the constructions of [24], and emphasize their distinguished nature.
3.1.5. Smale invariants and the geometry of Seifert surfaces.
In Section 2.2 we reviewed three major topological theorems, which recover the classical Smale invariant in terms of the geometry of their (singular) Seifert surfaces, namely the Hughes–Melvin Theorem 2.2.2, and two theorems of Ekholm–Szűcs [9], (2.2.7) and (2.2.8). All of them carry the sign ambiguity of the Smale invariant (which sometimes is also caused by the nature of their proofs).
Section 3.6 has two goals. First, we will indicate the correct sign in all these formulae, whenever the Smale invariant is replaced by the sign–refined Smale invariant. Moreover, we also determine the Seifert type invariants in terms of and , whenever the immersion is induced by a holomorphic germ .
When is a stable immersion, the invariant of stable immersions introduced by Ekholm (cf. Subsection 2.2.2) is also expressed in terms of and , namely . In other words, Ekholm’s ‘strangeness’ invariant is equal to , see Remark 2.2.8.
From this point of view our results can be considered as complex singular Seifert surface formulae expressing the invariants of an immersion. The disentanglement (see 1.4.4) plays the role the singular Seifert surface.
3.1.6. -characterisation of and .
The formulae connecting the holomorphic invariants and with -invariants and have the following consequence.
Theorem 3.1.5**.**
Assume that the analytic germs and are -equivalent (that is, holds for some germs of orientation preserving diffeomorphisms and ). Then
(a) .
(b) If additionally is finitely -determined as a holomorphic germ, then and .
Part (a) of Theorem 3.1.5 is proved as Corollary 3.4.2, while part (b) in Remark 3.6.4.
In fact, one might even ask for the topological analogue of Theorem 3.1.5: is it true that if holds for some germs of orientation preserving homeomorphisms and , then and ? In Remark 3.6.4 we show the following.
Corollary 3.1.6**.**
In the presence of a topological left–right equivalence as above, if and are finitely -determined, then , hence .
The full extension of Theorem 3.1.5 from to topological category is obstructed by the following facts. Though we identify the analytic invariant with the smooth Smale invariant , it is not yet known if is stable with respect to topological left–right equivalence. A possible way to prove this requires the extension of the formulae from Section 2.2.3 from smooth to more general Seifert surfaces, which exceeds the aims of the present thesis. (Also, we do not know how the topological left–right equivalence behaves with respect to analytic deformations used in Section 3.6.)
3.2. Distinguished generators and sign conventions
3.2.1. Smale invariant and orientation
Recall that we use (2.2.3) for definition of the Smale invariant throughout Chapter 3. We wish to emphasize the following facts regarding orientations of and and their effects on definition (2.2.3). (This might serve also as a small guide for the next sections.)
Let us think about as the subset of , the boundary of the 4–ball in , or via embedding , as a subset of . We do not wish to fix any orientation on it as the orientation of (that would depend on the convention how one defines the orientation of the boundary of an oriented manifold — called, say, ‘boundary convention’).
Note that in the definition (2.2.3) of the Smale invariant, not the orientation of is used, but the orientation of the tubular neighbourhood and the orientation of the target . Moreover, is unsensitive to the orientation change simultaneously in both . In this way we get an element , which is independent of the orientation of and does not use any orientation of . Furthermore, if we define (this will done in 3.2.3) a generator in , using again only the embedding (and no other orientation data), then identifies with an element of , such that its definition is independent of any orientations of and , hence also of the ‘boundary convention’.
All our discussions are in this spirit (except sections 2.2.3 and 3.6, where oriented Seifert surfaces are treated): we run orientation and ‘boundary convention’ free definitions and statements (associated with , regarded as a subset of , and immersions ).
However, if we fix a ‘boundary convention’, then (in ) will get an orientation (as ). Then, for any oriented abstract , let us denote it by , and immersion , we can define the Smale invariant (here ‘a’ refers to the ‘abstract’ ) by identifying with the embedded by an orientation preserving diffeomorphism and taking . This depends on the ‘boundary convention’, since the identification depends on it: changing the convention we change by a sign.
This point of view should be adapted when will be the (oriented) boundary of an oriented Seifert surface. But till Section 3.6 we will focus on the first version, .
Next, in the definition of , one can replace by , where is the boundary of the ball in , and is embedded naturally in , cf. Example 2.1.14. By taking a generic point we identify with , and will be replaced by a tubular neighbourhood of in . Then the definition (2.2.3) of can be repeated for any immersion (where ) providing an element , which becomes an integer once a generator is constructed from the embedding . Again, this Smale invariant will be independent of the orientations of and , hence of the ‘boundary convention’ as well.
For immersions defined in Subsection 1.1.2, evidently sits naturally in (hence also in a certain , cf. 3.4.1). This together with Definition (2.2.3) provide (which becomes an integer once will be constructed in 3.2.3).
3.2.2. Switch complex to real
There is a natural map from to , which replaces any entry of a matrix by the real –matrix . holds. A map can be regarded as a map : if we denote by () the coordinates of , then for the components of and one has
[TABLE]
Then holds for the complex Jacobian of and the real Jacobian of .
Let denote the inclusion. It is well–known (see e.g. [19]) that
[TABLE]
Proposition 3.2.1**.**
The homomorphism is an isomorphism too.
Proof.
First, we provide a more conceptual proof, which does not identify distinguished generators. Both sides are in the stable range (see [19]), hence we can switch to the homomorphism induced by the embedding . By (a proof of) Bott periodicity, the quotient is homotopically equivalent to the loopspace of , cf. [2]. Hence for and 4. Then the isomorphism follows from the homotopy exact sequence of the fibration with fibre . ∎
In 3.2.3 we will give another, more computational proof, where we will be able to fix distinguished generators for and , and via these generators we identify with multiplication by .
3.2.3. Conventions, identifications
First, we identify and and in the obvious way: we identify the quaternion with and with the complex pair , where and . Also, we identify with the quaternions of unit length: .
We define the following maps. Set
[TABLE]
where . is the (complex) matrix of the right (quaternionic) multiplication with , that is, of the map , . Note that the left multiplication by is not a complex unitary transformation, in general. Next, set
[TABLE]
where . is the (real) matrix of the left multiplication with (i.e., of the map , ).
Let be the map which assigns for a the (real) matrix of the right multiplication with (i.e., of the map , ).
Let be the map which assigns for a the (real) matrix of the conjugation with (i.e., of the map , ).
We use the same notation for the compositions of these maps with the inclusions and . Note that these inclusions commute with .
Proposition 3.2.2**.**
[19, Section 7, Subsection 12]**
(a) .
(b) .
(c) and in .
In the sequel, using these base choices and we identify the groups and with . Now we can state the explicit version of Proposition 3.2.1.
Proposition 3.2.3**.**
* holds for .*
Proof.
From definitions and , thus by part (c) of Proposition 3.2.2. ∎
Remark 3.2.4*.*
Let be the projection (choosing the first or the second column of the matrix). Then is the unique generator for which .
Remark 3.2.5*.*
The conventions we use are not universal. For example, Kirby and Melvin in [25] have chosen the same generators of and (these are and with our notations), but they identified and differently than us. Namely, they identified the quaternion with and the complex pair , where and . With that identification becomes the (complex) matrix of the quaternionic left multiplication with . In that identification would be equal to , since that is the homotopy class of the map given by the composition , where is the reflection .
3.3. The complex Smale invariant
3.3.1.
In this section we define the complex Smale invariant for a holomorphic germ , singular only at [math]. It will be the bridge between and .
Definition 3.3.1**.**
Consider the map (with target the complex Stiefel variety ):
[TABLE]
defined via the natural trivialization of the complex tangent bundles and . By definition, the complex Smale invariant of is the homotopy class:
[TABLE]
By the connectivity of the group of local coordinate transformations, is independent of the choice of local coordinates in and .
Remark 3.3.2*.*
The projection induces an isomorphism between and (see e.g. [19]). Hence, if we choose a complex normal vector field of , then the map
[TABLE]
represents in . A canonical choice of could be the complex conjugate of the cross product of the partial derivatives of :
[TABLE]
Remark 3.3.3*.*
and in 3.2.3 we identify them through a fixed isomorphism. In this way becomes a well-defined integer without any sign–ambiguity.
Proposition 3.3.4**.**
Let be the cross cap, i.e. . Then .
Proof.
The map represents . We should compose this with , then with the inverse of the inclusion , and finally with the projection ; and then calculate the degree of the resulting map . In fact, along these compositions we will use (the homotopically equivalent groups) and instead of and . Therefore, we will arrive in instead of .
[TABLE]
The first composition gives the map
[TABLE]
where , and are the coordinates of the normal vector (see Remark 3.3.2). This is modified by the homotopy
[TABLE]
which maps into . [Note that the determinant is , thus the image is indeed in .] Hence, we obtain the map
[TABLE]
which composes with the projection (first column) provides , . After a normalisation, the degree of the resulting map is . ∎
The proof of Proposition 3.3.4 works for all germs of the form
[TABLE]
and implies that
[TABLE]
This degree agrees with the intersection multiplicity of and in , hence we proved the following, cf. Example 1.4.10.
Proposition 3.3.5**.**
[TABLE]
holds for corank– germs singular only at the origin.
This identity will be proved in the general case in Section 3.3.2.
Remark 3.3.6*.*
Conversely, the identity is proved in Section 3.3.2 independently of Theorem 1.4.3, therefore (3.3.2) together with Theorem 3.3.7 give a new proof for Theorem 1.4.3 in the case of germs which satisfy .
3.3.2. The identity .
Next we identify the complex Smale invariant with the number of cross caps.
Theorem 3.3.7**.**
.
Proof.
Consider the following diagram:
[TABLE]
where . is an irreducible algebraic variety of complex codimension , its Zariski open set is smooth.
First we prove that is equal to the linking number of and in . This is defined as follows. If is a smooth map, and is a smooth extension defined on the ball such that and intersects transversally along , then the linking number of and is the algebraic number of the intersection points of and . By standard argument it is a homotopy invariant of maps .
The linking number gives a group homomorphism . Next lemma shows that this homomorphism is surjective.
Lemma 3.3.8**.**
Let be the cross cap. If and , then is the only intersection point and the intersection is transverse at that point.
Proof.
This is a straightforward local computation left to the reader. The transversality follows also from the conceptual fact that the cross cap is a stable map. ∎
The sign of the intersection multiplicity at the intersection point of two complex submanifolds is always positive. For described in 3.3.8 the linking number of and is . This shows not only that the homomorphism given by the linking number is surjective (hence an isomorphism too), but also that this isomorphism agrees with the chosen one in 3.2.3. This follows from the fact that the complex Smale invariant of the cross cap is exactly the chosen generator, see Proposition 3.3.4. Hence, the homomorphisms and lk coincide.
Next, we show that . Take a generic perturbation of . is homotopic to , hence their linking numbers are the same. has only cross cap singularities, their number is . This means that intersects transversally in points. Intersection of complex manifolds provides positive signs. ∎
Corollary 3.3.9**.**
.
3.4. The proof of Theorems 3.1.2 and 3.1.3
3.4.1.
Theorem 3.1.2 follows from Theorem 3.3.7, Proposition 3.2.3 and the next identity.
Proposition 3.4.1**.**
.
Proof.
By the definition of the Smale invariant, one has to extend to a neighbourhood of the standard embedding of in an (cf. (2.2.3)). On the other hand extends in the direction. We will compare these two extensions using a common extension , where is a suitable neighbourhood of in .
Let us consider a fixed which satisfy the properties of Corollary 1.1.2. We also write , , for the ball in , and for its boundary. (Late we will drop some of the ’s.) For positive , sufficiently closed to , , and for one defines , where , is the -disc in , and is the complex normal vector of , see Remark 3.3.2 . Since the normal bundle of in is trivial (and since the transversality is an open property), we get that is diffeomorphic to . In fact, if is the natural projection, then for any we can define . Then each is a 3-sphere, being the boundary of the 4-ball . Then . Moreover, is a thickened tubular neighbourhood of , homeomorphic to the real 6-ball. Its corners can be smoothed, hence we think about it as a ball. Its boundary (diffeomorphic to the 5-sphere) is the union of (diffeomorphic to ) and (diffeomorphic to ).
In a point the differential of is
[TABLE]
Thus, the homotopy class of equals (cf. 3.3.2). Therefore, taking the real function (cf. 3.2.2), its real Jacobian satisfies .
On the other hand we show that . In order to recover the Smale invariant of , first we need to fix a global coordinate system in a contractible neighbourhood of the source in and also in containing . Let us introduce the ‘outward normal at the end’ convention to orient compatibly a manifold and its boundary. In this way we fix an orientation of and . (According to 3.2.3, the output of the proof is independent of the convention choice.)
In the first case we introduce a coordinate system in compatibly with the orientation, where is an arbitrary point (e.g. ). Let denote the framing of induced by this coordinate system. We can extend the outward normal frame of in to the rest of (as the outward normal vector of ). This framing can be extended to a neighbourhood of in . Let denote this framing (or more precisely, is the transition function from the standard framing inherited from to the one just constructed).
The target is the standard . We can choose a point and a coordinate system on compatibly with the orientation. The coordinate system induces a framing of the tangent bundle of . In the points of the target of the vectors of and are linearly independent, that is, behaves like a normal framing (this follows from the transversality property of 1.1.2). We can extend it to a normal framing of in . In this way we get a framing of the tangent bundle of a neighbourhood of in . Let denote the transition from the framing on inherited from to the framing just defined.
The Smale invariant is constructed in the following way, cf. (2.2.3). Take
[TABLE]
the Jacobian of restricted to prescribed in the framings and . The homotopy class of this matrix restricted to (as a map ) is equal to . (Since preserves the orientation, does as well.)
[TABLE]
because , thus the homotopy class of equals .
On the other hand . As maps , and are nullhomotopic because the vector fields are defined on the contractible spaces and . Therefore (cf. Remark 2.1.4)
[TABLE]
The left hand side of this identity is , while the right hand side . ∎
Corollary 3.4.2**.**
Assume that the analytic germs and are left-right equivalent, that is, holds for some germs of orientation preserving diffeomorphisms and . Then .
Proof.
For a sufficiently small take and let be the immersion associated with the germ (cf. 1.1.2).
As in the proof of Proposition 3.4.1, let be the extension of viewed as a real function. Then, by that proof, , which is under the above identification.
Let us define by
[TABLE]
is a germ of orientation preserving diffeomorphism extending .
Then restricted on some neighbourhood of plays the role of a real extension of . One can verify that the proof of Proposition 3.4.1 works for this extension as well, since it sends the normal vector of into a non-tangent vector of . Therefore,
[TABLE]
Finally, note that . This follows from the fact that the functions and (with images in ) extend to the ball . ∎
3.4.2. Proof of Theorem 3.1.3.
Part (a) follows from Theorem 3.1.2 and [17].
In part (b), the implications (1) (2,3,4), and (4) (3) are clear.
The proof of (2) (1): (2) implies by Theorem 3.1.2, while this vanishing implies (1) via Mond’s Theorem 1.4.3. For (3) (1) we provide three proofs, each of them emphasize a different geometrical/topological aspect.
(A) (Based on Mumford’s Theorem.) If is an embedding then the image of is an isolated hypersurface singularity in . Moreover, its link is , hence by Mumford’s theorem [50] is smooth. Hence its normalization is an isomorphism.
(B) (Based on Mond’s Theorem.) Let us take the generic deformation , and consider the closure of the preimage of the the set of double values. It is a 1–dimensional closed complex analytic subspace of the disc in . The preimages of cross cap and triple points are interior points of the closure of , while its boundary is is the preimage of the double points of the immersion of . If is an embedding then , hence is a compact analytic curve in (the disc of) , hence it should be empty. This shows that has no cross cap and triple points either. Hence , which implies (1) by 1.4.3 as before.
(C) (Based on Ekholm–Szűcs Theorem.) As above, we get that is an embedding. Since is an embedding, this embedding is regular homotopic to , hence they have the same Smale invariant. In the second case it can be determined by an Ekholm–Szűcs formula [9] (recalled as Theorem 2.2.12): since is an embedded Seifert surface with signature zero we get . This basically proves (3) (2). Then we continue with the already shown (2) (1).
In fact, the main point of this last proof is already coded in Hughes–Melvin Theorem [17] (2.2.2 here), but in that statement the Seifert surface is in and not in (or in the 6–ball). But 2.2.12 shows that that Hughes–Melvin Theorem is true even if the 4–manifold with boundary in is embedded in (instead of ).
3.5. Examples
Example 3.5.1* ( from Mond’s list [45]).*
(). The ramification ideal is generated by , cf. Subsection 1.4.2 and Example 1.4.10. Hence .
This family gives representatives for every regular homotopy class with non-positive sign–refined Smale invariant. Furthermore, we can represent any regular homotopy class with Smale invariant in the form , where is the reflection (c.f. [7, Lemma 3.4.2.]).
Example 3.5.2* (Quotient singularities).*
The covering map germs of the quotient singularities of type , , are discussed in examples 1.3.5, 1.4.14, 1.4.15 and 1.4.17, where the invariant of them is calculated. Their associated immersions decompose in the form , cf. Example 3.1.4. The list of their Smale invariants is:
[TABLE]
The Smale invariant of the and types agrees up to sign with the Smale invariant of the immersions constructed by Kinjo [24], its discussion is in Subsection 2.3.2. Finding a direct relation between our immersions and Kinjo’s constructions would enable us to determine the Smale invariant of the immersions associated with the graphs , , .
3.6. Ekholm-Szűcs formulae for holomorphic germs
3.6.1.
In this section, from a stabilization of we construct a singular Seifert surface, and we express the topological summands of (2.2.8) in terms of holomorphic invariants.
The topological formulae (2.2.1), (2.2.7) and (2.2.8) targeting the Smale invariant in terms of the geometry of oriented Seifert surfaces are stated and proved only up to a sign ambiguity. In this next section we will show that the sign–refined Smale invariant appears in all these expressions with a unique well–defined sign, and we determine it simultaneously for all formulae. The discussion has an extra output as well: the topological ingredients in the formulae below will get reinterpretations in terms of complex analytic invariants, provided that the immersion is induced by a holomorphic germ .
First of all we have to reinterpret the formulae (2.2.1), (2.2.7) and (2.2.8) in the spirit of the discussion of Subsection 3.2.1. We replace (which is the unit sphere in ) with , the ‘oriented abstract ’, and we also need to fix a ‘boundary convention’, in order to have the notion of oriented . Then has a well-defined meaning, and inherits an orientation, hence the boundary convention determines whether a diffeomorphism is orientation preserving. denotes the Smale invariant (given by any of its definitions, still having its sign–ambiguity). Nevertheless, the sign–corrected formulae will be ‘boundary convention’ free, cf. Theorem 3.6.5.
3.6.2. Singular Seifert surface associated with a stabilization
Let be a holomorphic germ singular only at the origin and let be the immersion associated with . We take an as in Corollary 1.1.2, that is, we fix in the target a ball . We also consider a holomorphic stabilization of (cf. Section 1.4.1), and we fix sufficiently small, , such that the cross caps and (if ) the triple points of sit in . We set , it is a non–metric ball in . Its boundary is , it is canonically diffeomorphic to .
The map is stable as a holomorphic map, but it is not stable as a map, cf. Example 1.2.19. The stability is obstructed by its cross cap points. We will modify in the neighbourhood of these points according to the following local model.
Let us fix local holomorphic coordinate systems in the source and the target such that in the neighbourhood of a cross cap has local equation . We consider its real smooth deformation (with ):
[TABLE]
Since the restriction of near the boundary of the local 4-ball is stable, by a bump function the local deformation can be glued to the trivial deformation of outside of local neighbourhoods of the cross caps. This gives a global deformation of and . The map is the singular Seifert surface we will consider. Its restriction, is the immersion associated with .
Proposition 3.6.1**.**
(a) is a stable smooth map, nonsingular near the boundary.
(b) is a stable immersion and it is regular homotopic to .
(c) If is a stable immersion, then is regular homotopic to through generic immersions. In this case .
Proof.
(a) First one checks that the local is stable. This follows from the computation from Section 3.7.1. Its most complicated singularities are (fold) points, the singular values constitute an , which – together with the double values of the image of the boundary of the local ball – bounds the -manifold of the double values. Cf. [9, 2.3.].
In the complement of local balls agrees with , hence it has only simple points, self-transverse double points and isolated triple points. All of them are stable. Hence has all the local properties (multigerms) of a stable map, thus it is stable by Remark 1.2.6.
(b) is stable in real sense too: it has only simple points and self-transverse double points. is a regular homotopy between and ().
(c) Being a stable immersion is an open condition (cf. [9, 2.1.]). Furthermore, is constant along a regular homotopy through generic immersions, cf. [7]. ∎
Next, we return back to the formula (2.2.8), applied for . Clearly, .
Theorem 3.6.2**.**
Let be a holomorphic stabilization of with fixed and the corresponding maps and as above. Then the following statements hold.
(a) (cf. 1.4.9).
(b) .
(c) .
For the proof see 3.6.3.
Note that is an analytic invariant of , since it is defined as a (topological) invariant of an analytic deformation. Recall from Proposition 1.4.9 that if , then is independent of the deformation and is equal to .
Corollary 3.6.3**.**
If , then and is also independent of the holomorphic stabilization of .
Remark 3.6.4*.*
(a) Assume that is finitely determined, that is, is a stable immersion, cf. Theorem 1.4.4. Then is finite, cf. Theorem 1.4.3, and for any holomorphic stabilization one has (cf. Proposition 3.6.1), hence .
(b) Note that if is finitely determined and the holomorphic germ is left-right equivalent with (see Corollary 3.4.2 for precise definition), then the immersion associated with is also stable immersion and . Therefore by Corollaries 3.4.2 and 3.6.3 we have too.
(c) More generally, and are topological left–right equivalent and both of them are finitely -determined (so and are stable immersions), then , hence Corollary 3.1.6 follows too.
(d) If and are finite, then is not necessarily stable immersion, but it does not have triple points. Then by Remark 2.2.7 is well-defined as of any small stable perturbation of with a regular homotopy. This provides an other proof for Corollary 3.6.3. However it is not clear, how can be determined from the topology of itself, without stable perturbation. That obstructs the generalization of part (b) and (c) for germs with finite and .
Theorem 3.6.5**.**
With our sign–convention, if in the left hand side of the formulae (2.2.1), (2.2.7) and (2.2.8) we put the sign–refined Smale invariant , then the formulae are valid if we put the positive sign on the right hand sides.
In particular, the validity of these sign–corrected formulae (e.g., ) is independent of the ‘boundary convention’: changing the boundary convention changes the sign in both sides of the formulae simultaneously.
The proof will appear in 3.6.3.
Remark 3.6.6*.*
The formula (2.2.7), involving the (algebraic) number of real cusps of maps is the real analogue of our theorem , involving the number of cross caps of holomorphic deformations. This suggests that if we replace a holomorphic deformation by a smooth generic map, then we trade each cross cup by real cusps.
3.6.3.
Proof. We prove Theorems 3.6.2 and 3.6.5 simultanously (see also the discussion from Subsection 3.2.1).
In the definitions of the invariants , and one uses very specific sign/orientation conventions, based on the orientation of the involved subspaces in their definition.
For a triple value, the sign is determined in such a way that it is whenever the triple value is obtained from a holomorphic triple point (hence the orientations agree with the complex orientations).
Since in the local deformation we do not create any new triple value, see e.g. the computation of Section 3.7, all the triple values of come from the complex triple points of the holomorphic , hence (a) follows.
The proof of the remaining parts are based on computations of the invariants , , and for two concrete cases. For the integers and the definitions (orientation conventions) are not immediate even in simple cases. Therefore, in our computation we determine them only up to a sign. The point is that computing ‘sufficiently many’ examples, the formula (2.2.8), even with its sign ambiguity in front of the right hand side, and even with the (new) sign ambiguities of the integers and , determine uniquely all these signs. (This also shows that, in fact, there is a unique universal way to fix the orientation conventions and signs in the definitions of and such that (2.2.8) works universally.)
In Section 3.7 we will determine the following data:
[TABLE]
The singular values of are concentrated near the cross caps of . For the value is , see (i). Since the sign is the same for all cross caps, .
We introduce the notation
[TABLE]
agrees with up to sign, thus . Substituting this and the data (i) of the cross cap in (3.6.3) we conclude that and .
Next, using the date (ii) for , all the remaining sign ambiguities can be eliminated: , and .
The universal signs in formulae (2.2.1), (2.2.7) and (2.2.8) are related by common examples, hence one of them determines all of them.
3.7. Calculations. The proof of (3.6.2).
We show the main steps of the computations. Note that if the germ is weighted homogeneous, then can be chosen.
3.7.1. The case of cross cap.
and is clear, cf. examples 1.4.10 and 1.4.11. Next we compute and . Set and the smooth perturbation . The singular locus is .
has no singular point, hence has no cusp points. The most complicated singularities of are (or fold) points. The closure of the set of the double points of is
[TABLE]
with the involution . The fix point set of the involution is . Thus the set of the double points is
[TABLE]
Each double point has exactly one pair with the same value, hence has no triple point.
A parametrization of is where , .
The parametrization shows that the closure of is a Möbius band. For we get , which is the midline of the Möbius band. The set of double values is
[TABLE]
Writing we get the singular values of ,
[TABLE]
The inward normal field of in is the derivative of the curve
[TABLE]
at , that is . The pushing out of (cf. Definition 2.2.11) is
[TABLE]
where . By Definition 2.2.11 we need the linking number of and in . To calculate it we fill in with a ‘membrane’, which here will be the disc
[TABLE]
is the algebraic number of the intersection points of and . The only solution is , , and the intersection at this point is transverse. Hence, for the smooth perturbation of the cross cap .
Next we compute . The set of the double points of is .
The set of the double values is , and the set of the double values of is .
The sum of the normal vectors at is . Hence the shifted copy of along is .
Since does not intersect for , we can choose . An injective parametrization of is where . To calculate the linking number of and in , we need a membrane which fills in . We take
[TABLE]
is the algebraic number of the intersection points of and . But there is only one such point, namely , where is the real root of . Moreover, this intersection is transverse.
3.7.2. The singularity
By 1.3.5, 1.4.14 its covering is given by . The immersion associated with is not generic, is the -fold covering of the projective space composed with the inclusion. Thus all points of are double points of the immersion . Compare with the immersion described in the end of Subsection 2.3.2, see also [11, Section 4]. is regular homotopic to (up to precomposing with a reflection), and has the same structure and vanishing -invariant.
On the other hand, by 1.4.14, , and the codimension of the second fitting ideal shows that , see 1.3.5. The finiteness of these invariants shows that the number of cross caps and triple points of a generic deformation of are independent of the chosen deformation. Below we give a concrete deformation of and we calculate the invariant of the generic immersion associated with .
The deformation is , see Figure 1.3. The vector field
[TABLE]
is [math] at the points , and . These are the cross caps.
The defining equation (where ) of the double points leads to the system of equations
[TABLE]
Thus the double locus has three parts and these parts correspond to the three cross caps. The first part comes from the solution and , which implies , hence with . This provide the double value set
[TABLE]
The second part comes from the solution and , which implies , and with . The set of double values is
[TABLE]
The third part comes from the solution and , which implies , and with . The set of double values is
[TABLE]
, and intersect each other in the unique triple value .
Let () denote the disjoint components of the set of the double values of . Clearly , where is the linking number corresponding to the component . But . Indeed, and is interchanged via the transformations (of ) and (of ), and and via and . Thus, it is enough to calculate . The needed vector field along is
[TABLE]
The set of the double values of corresponding to is
[TABLE]
The shifted along is
[TABLE]
where is small enough. Nevertheless, we can choose , because for any . With the notation we give an injective parametrization . We fill it with the membrane
[TABLE]
Computing the intersection points of and leads to the equations
[TABLE]
with and small. The first two equations imply that and . Multiplying the first two equations one gets
[TABLE]
From the third equation follows , hence
[TABLE]
and the right hand side is negative if is small enough. Hence , and .
3.8. A note on the real case
3.8.1. Immersions associated with real germs
There is a real version of part (b) of Theorem 3.1.2 which follows directly from the result of Whitney and Smale.
Let be a real analytic germ singular only at [math]. With the same method as in the complex case we can associate an immersion with (see 1.1.2). The set of regular homotopy classes is
[TABLE]
and the invariant equals to the algebraic number of self-intersection points of a stable immersion regular homotopic to ( if is odd). Cf. examples 2.1.11, 2.1.13 and 2.1.14.
A stabilization of has only cross cap type singularities, i.e. locally right–left equivalent with germs of the form , where and , cf. Example 1.2.18 and Remark 1.4.8. These cross caps are isolated, and if is even, we can associate a sign for each of them as a boundary component of the corresponding oriented double point curve. restricted to the boundary is a stable immersion . and are regular homotopic, and has two kinds of double values:
(a) double values related to a cross cap (that is, they are connected by a segment consisting of double values of ),
(b) double values not related to a cross cap.
When is even, the sign associated to a cross cap agrees with the sign associated with the self intersection point of related to the cross cap. Thus the algebraic number of such cross caps is equal to the algebraic number of double values of type (a) ( if is odd). The double points of type (b) are pairwise joined up by segments of the double values of , thus the algebraic number of them is [math]. Moreover, it can happen that two cross caps are joined by a segment consisting of double values of , but then they will have different algebraic sign, hence they will not contribute in the sum. Hence, we proved:
Proposition 3.8.1**.**
The Smale invariant of agrees with the algebraic number of the cross cap points appearing in a stabilization of ( if is odd).
Remark 3.8.2*.*
In [33] a complete topological invariant of finitely determined real germs is introduced and calculated in many cases: the Gauss word of the associated immersion .
Chapter 4 Singular holomorphic spacegerms
4.1. The Milnor fibre
4.1.1. Isolated, complete intersection and normal singularities
This chapter serves as an introduction and background to Chapter 5, where we study the Milnor fibre of non-isolated hypersurfaces.
The aim of this subsection is to give a short introduction of the basic types of singularities, and clarify the position of our mostly interested type of surface singularities in this classification, see Remark 4.1.5. For the definitions and basic properties we refer to [29, 20, 51].
A complex analytic spacegerm is the zero set of a holomorphic germ [20, Definition 3.4.2]. We assume that the ideal is a radical ideal (i.e. ), in this case provides reduced analytic structure of . (In general, by local Nullstellensatz [20, Theorem 3.4.4.], is equal to the set of germs vanishing on .)
If , then is called hypersurface in , see [29, (1.A)]. If the rank of is equal to , then is regular (or smooth), i.e. it is the germ of a complex manifold. The dimension of is defined as , where is the rank of the Jacobian at a generic point . is called complete intersection if [29, (1.5)]. Any hypersuface singularity is a complete intersection by [29, (1.1)]. If there is a small enough representative of such that for all and , then has an isolated singularity at [math] (we also say that is isolated).
is irreducible if for any decomposition , where and are complex analytic spacegerms, or holds [20, Definition 3.4.17.]. is irreducible if and only if is a prime ideal [20, Corollary 3.4.18.]. For a hypersurface singularity that means is irreducible in .
The local ring of analytic functions defined on is , cf. [20, Definition 3.4.19., Lemma 3.4.20.]. An irreducible singularity is called normal if is an integrally closed ring in its field of fractions, or equivalently: if any bounded holomorphic function can be extended to an analytic function defined on , see [51, Definition 1.3.], and also [20, Theorem 4.4.15.].
The normalization of an irreducible germ is a normal germ together with a finite, generically to map germ , cf. [20, Definition 4.4.5.]. Every irreducible germ admits a unique normalization. If is the normalization of , then is isomorphic with the integral closure of [51, 1.5.]. See [20, Remark 4.4.6., Theorem 4.4.8.].
Example 4.1.1* (Curves).*
Let be an irreducible curve singularity, i.e. . is normal if and only if it is smooth. Hence the normalization of a curve is a parametrization , see [20, Theorem 4.4.9., 4.4.10.].
Example 4.1.2* (Surfaces).*
A normal -dimensional singularity is always isolated (or regular), and a complete intersection surface germ is normal if and only if it has (at most) an isolated singularity [51, 1.7 (b), 1.8.]. For instance, the quotient singularities in Example 3.1.4 are normal hypersurface singularities, hence their covering germs are not normalizations.
Example 4.1.3* (Finitely determined germs).*
A finitely determined germ is the normalization of its image , where is the generator of the [math]-th Fitting ideal , cf. Section 1.3. It can be illustrated by the Whitney umbrella parametrized by or given as the zero set of . Since , is an element of the integral closure of in the fraction field of . The extension of with is the integral closure of , and it is isomorphic with . See [20, 4.4.7. (5)] for details.
Example 4.1.4* (Cuspidal edge).*
The germ in Example 1.4.13 is also the normalization of its image.
Remark 4.1.5*.*
None of the sets \{\Phi:(\mathbb{C}^{2},0)\to(\mathbb{C}^{3},0)\ |\ \Phi\mbox{ is singular only at 0}\} and includes the other one, as it is shown by the examples 4.1.2, 4.1.3, 4.1.4. Indeed the second class contains exactly the finite, generically to map germs. However the intersection of the two sets includes very important classes of germs, for instance the finitely -determined germs.
4.1.2. Milnor fibration
In this subsection we introduce the notion of the Milnor number and Milnor fibration [42, 52, 29].
Throughout this subsection let be a hypersurface singularity of dimension , where is square free, i.e. it is a reduced equation of . Let be the Jacobian ideal of generated by the partial derivatives of . The Milnor number of is [29, (1.4)].
Theorem 4.1.6**.**
(a) [29, Proposition (1.2)] is finite if and only if has (at most) an isolated singularity.
(b) [52, E.1.6.] If is isolated, then any stabilization of has Morse-points.
Since the defining germ of an isolated singularity is finitely determined, and is stable if and only if it is a Morse function, cf. Example 1.2.15, Theorem 4.1.6 is analogue with theorems 1.4.2 and 1.4.3.
By [42, Corollary 2.9., Remark 2.11.], [52, Theorem 1.10.] there exists an such that for all the oriented homeomorphism type of the intersection of the sphere with radius and does not depend on , that is, the pair has the same homeomorphism type for all . Let us fix an . is the link of . The embedded link determines the embedded topological type of , namely the pair is homeomorphic to the cone over . (In the non-isolated case this fact is proved in [4]. Note that the link can also be defined when is not hypersurface, as the intersection of with the sphere in of small enough radius, or as the -level set of any real anlytic germ , for small enough [29, (2.4), (2.5)].)
The Milnor fibre of can be defined via two different fibre bundles, which happen to be isomorphic. The first is the local fibration of , see [52, Theorem 2.5.], [29, Theorem 2.8.].
Theorem 4.1.7**.**
(a) For
[TABLE]
is a locally trivial fibration, such that its restriction is also a locally trivial fibration.
(b) If, additionally, is isolated, then the fibration extends to a locally trivial fibration , which is in fact trivial fibration, since is contractible.
Next, we present the second fibration, the so-called Milnor fibration, see [42, Theorem 4.8.], [52, Theorem 3.5.]. Let be an open tubular neighborhood of , and define for .
Theorem 4.1.8**.**
(a)
[TABLE]
is a locally trivial fibration.
(b) The local fibration (4.1.1) and the Milnor fibration (4.1.2) are bundle isomorphic.
The Milnor fibre is the fibre of either of the bundles (4.1.1) and (4.1.2), that is, with any , . The Milnor fibre is well defined up to orientation preserving diffeomorphism, that is, it is independent of the different choices.
Here we collect some important properties of and .
Theorem 4.1.9**.**
(a) [42, Theorem 5.1.] is an oriented, compact, smooth, parallelizable -manifold with boundary (in fact, is complex manifold), and has the homotopy type of a finite CW-complex of dimension .
(b) [42, Theorem 5.2.] is -connected.
Isolated singularities have more restrictive properties for and .
Theorem 4.1.10**.**
Let be an isolated hypersurface singularity in . Then
(a) [42, Corollary 2.9.] is a smooth, oriented, closed -submanifold of .
(b) (Corollary of Theorem 4.1.7, part (b).) The boundary of is diffeomorphic to , actually, they are isotopic submanifolds of .
(c) [42, Theorem 6.5.] is homotopically equivalent with a bouquet of -spheres.
(d) [42, Theorem 7.2.] The number of spheres in the bouquet is equal to the Milnor number , i.e. .
4.2. Resolution and plumbing
4.2.1. Resolution graph
The topological information of a resolution of the normal surface singularity can be encoded in the resolution graph, which also serves as a plumbing graph for the link. We refer to [51, 55, 56].
Let be normal singularity of dimension , recall that is isolated. A resolution of is a complex analytic map , where is a smooth complex manifold of dimension with boundary, is a complex analytic curve and is a biholomorphism [51, Definition 1.19.(a)]. Let be the irreducible decomposition of , where is a finite set. The components of are called exceptional divisors. The resolution is called good if each is smooth curve, they intersect each other transversally, in particular the intersection of any distinct three of them is empty. A good resolution always exists and it is not unique.
is diffeomorphic with the link of . Hence the resolution and the Milnor fibre are two complex fillings of , which fact allows to compare their invariants, see for instance the formulas of Laufer [27] or Durfee [5] and their generalizations, e.g. [70].
The tubular neighbourhood of is diffeomorphic with the total space of (the disc bundle of) the normal bundle of , which is a -bundle over the Riemannian surface . Thus the genus of and the Euler number of the normal bundle of determines with its -bundle structure. Furthermore is diffeomorphic to . The topology of , hence the topology of too, can be encoded in a decorated graph , called the resolution graph, whose vertex set is , and the vertexes and are joined with edges if . Each vertex is decorated by two weights, the genus and the Euler number [51, Definition 1.19.(b)]. We omit the genus if it is [math].
Define for , and . is generated by the classes of , and is the intersection number of the corresponding cycles. These numbers form the intersection matrix, which contains the same information as the resolution graph, whenever for all . A decorated graph occurs as a resolution graph of a normal surface singularity if and only if the corresponding intersection matrix is negative definite [51, 1.23.(a)].
and can be recovered from by plumbing, see below. On the other hand, , or equivalently, the homeomorphism type of determines the graph , hence the diffeomorphism type of (up to plumbing operations) by [56, Theorem 2].
4.2.2. Plumbing
In Chapter 5 we use the plumbing construction in a more general context than it occurs for the resolution of normal singularities. Let be a connected graph which can have multiple edges and loops, and each vertex is decorated by the weights (), . Furthermore each edge is decorated with a sign or . Then the plumbing construction associates two manifolds to , a compact oriented smooth -manifold , and its boundary, the closed oriented smooth -manifold , as follows. For each vertex fix a smooth, oriented -bundle with Euler number , whose base space is a closed oriented surface with genus . If is the endpoint of edges, then fix basepoints in , fix disc-neighborhoods of these points, as well as orientation preserving local trivializations . Any edge between and determines a pair of multidiscs and in and respectively. Identify them by , if the edge has sign, and by , if the edge has sign (where is the complex conjugate of ). After these gluings we obtain a -manifold with corners, but these corners can be smoothed out. Cf. [51, 1.25.], [56], [55, 4.1.].
The resolution graph corresponding to a good resolution of a normal surface singularity does not have loops and each edge decoration is . The associated -manifold is diffeomorphic to , whose boundary is diffeomorphic with the link .
The -manifolds in the form associated with a plumbing graph are called plumbed -manifolds.
The plumbing graph of a plumbed -manifold is not unique. The possible operations of a plumbing graph which do not change the oriented diffeomorphism type of are listed in [56], [55, 4.2.]. We mention here some of them, which will be used in the examples of Chapter 5. We follow the notations of [56].
The graph operation [R0.(a)] is reversing the signs on all edges other than loops adjacent to any fixed vertex. By [R0.(a)] the sign of the edges can be reversed preserving the only relevant information, the parity of the number of –edges along the cycles of the graph.
[R1] corresponds to the (inverse of the) blowing up of a point . This operation is the key tool in the construction of embedded resolution of plane curve singularities, see Subsection 4.2.3. can be a generic point, an intersection point of and , or the self intersection point of . The three cases of [R1] are shown in the picture, where and the edge signs , , are related by .
\cdot$$\cdot$$\cdot$$e_{i}$$[g_{i}]$$\epsilon$$e_{i}-\epsilon$$[g_{i}]$$\cdot$$\cdot$$\cdot
\cdot$$\cdot$$\cdot$$\cdot$$\cdot$$\cdot$$e_{i}$$[g_{i}]$$\epsilon$$e_{j}$$[g_{j}]$$\epsilon_{1}$$\epsilon_{2}$$e_{i}-\epsilon$$[g_{i}]$$\cdot$$\cdot$$\cdot$$e_{j}-\epsilon$$[g_{j}]$$\cdot$$\cdot$$\cdot$$\epsilon_{0}
\cdot$$\cdot$$\cdot$$e_{i}$$[g_{i}]$$\epsilon$$\epsilon_{1}$$\epsilon_{2}$$\vdots$$e_{i}-2\epsilon$$[g_{i}]$$\epsilon_{0}
We also use the [math]-chain absorption [R3] and the oriented handle absorption [R5]. The edge signs () are related by provided that the edge sign in question is not on a loop, and , if it is on a loop.
\cdot$$\cdot$$\cdot$$\cdot$$\cdot$$\cdot$$e_{i}$$[g_{i}][math]e_{j}$$[g_{j}]$$\epsilon$$\overline{\epsilon}$$\epsilon_{1}$$\epsilon_{s}$$e_{i}+e_{j}$$[g_{i}+g_{j}]$$\cdot$$\cdot$$\cdot$$\cdot$$\cdot$$\cdot$$\epsilon_{1}^{\prime}$$\epsilon_{s}^{\prime}
\cdot$$\cdot$$\cdot$$e_{i}$$[g_{i}][math]\ominus$$\oplus$$e_{i}$$[g_{i}+1]$$\cdot$$\cdot$$\cdot
We also use plumbing graphs with arrowhead vertexes. An arrowhead vertex based on the vertex denotes a generic (oriented) fibre of . Its boundary is an oriented knot . Additionally, the -bundle structure of determines a trivialization of the tubular neighbourhood of the knot.
In [56] there is a third decoration, the non-negative integer , which denotes the number of boundary components of the genus– surface. This concept is closely related to the arrowhead vertexes. In fact, the resulted -manifold has boundary components for each vertex , and it can be obtained from the closed -manifold by removing the open tubular neighbourhoods of knots correspond to arrowhead vertexes based on .
4.2.3. Embedded resolution of plane curves
Let be a plane curve singularity defined as the zero set of the reduced germ . Let be the irreducible decomposition of , and let be the irreducible decomposition of , where .
A good embedded resolution of is a good resolution of with the additional property, that is a normal crossing divisor in , that is, its irreducible components are smooth and intersects each other transversally [51, 1.28.]. Note that each component of the exceptional divisor of any good resolution of is diffeomorphic to .
The irreducible components of are the exceptional divisors and the strict transforms corresponding to the components of . That is, the components of the strict transform of . Each intersects (transversally) only one exceptional divisor, say .
The total transform of is the divisor , where the multiplicity is the vanishing order of along .
Let be the embedded resolution graph of associated with the resolution , i.e. the resolution graph of , where the arrowhead vertexes codify the strict transforms . Note that since it is the link of , and the link determined by the arrowhead vertexes is the link of .
The multiplicities (, ) are determined by via the identities (see e.g. [26, 51])
[TABLE]
A good embedded resolution of a plane curve can be obtained by a sequence of blowing-ups, whose local model is the blowing-up of the origin in . That is the complex manifold with its natural projection . The exceptional divisor is , and defines a complex line bundle over it with Euler number .
admits a natural atlas with two charts whose domains are and , where and denote the coordinates in . The coordinates of are chosen such that holds, similarly, holds in the coordinates of . The transition map on is given by and .
4.2.4. Examples
Example 4.2.1* (The quotient singularities --).*
The link of the normal hypersurface singularity described in Example 3.1.4 is the quotient of with the group action of . For these singularities the Milnor fibre is diffeomorphic to the resolution , however they are not biholomorphic, since contains closed analytic curves (namely, the exceptional divisors ), while does not contain (in fact, is always a Stein manifold). Their resolution graphs are the -- graphs with and for each vertex, see [51, 1.20.(b)-(f)].
Example 4.2.2* (The plane curve ).*
Let be the zero set of . Its link is , the two components correspond to the irreducible components of . Each is unknotted in and their linking number is , they form a Hopf-link. Since , the Milnor fibre is diffeomorphic to . In fact, the Milnor fibre () can be parametrized with as , , , , where and . We use this parametrization in Chapter 5, where appears as the transverse type of the non-isolated surfaces we study.
The embedded resolution of can be obtained by blowing up once. It is easier to show this blowing up with the germ , which is equivalent with , since we need only one chart for it. The total transform on the -chart is , where is the exceptional divisor, are the strict transforms of the components of . The resolution graph is
-1$$v
with the multiplicities .
Example 4.2.3*.*
The curve (where ) appears as the double point locus of the family of finitely determined germs, see Subsection 5.5. We present here the calculation of its embedded resolution graph, it serves as a model also for the other examples.
The irreducible decomposition of depends on the parity of : it is for and for . After a blowing up the total transform of is on the -chart, and on . The exceptional divisor is defined by and on the charts, the Euler number of its normal bundle is . The strict transform of is on , and it is not visible on , although one can write it as . is smooth and intersects the exceptional divisor transversally.
The strict transform of the other component(s) is on (and is not visible on ). It is not smooth, if , and for it is smooth, but its intersection with is not transverse. We continue with the blow up of the point . Since it is on , the Euler number of changes by , hence it will be after the second blow up.
The strict transform of after blowing-ups is , where denotes the coordinates of the first chart of the -th blow up. Moreover the strict transform intersects only the -th exceptional divisor , if . The sequence of blow-ups results a line of -vertexes (a ‘bamboo’) with a -vertex at the end ().
Case 1: .
For the process reaches to the strict transform after steps, which is smooth, the components are disjoint and intersect transversally. Hence the resolution graph is
-1$$-2$$-2$$-2$$\dots
where the number of -vertices in the middle is . By (4.2.1) the multiplicities are for all and .
Case 2: .
For the process reaches to the strict transform after steps, which is smooth, but its intersection with is not transverse. The -th blowing up results the strict transform on the second chart, which is smooth and intersects transversally, but it intersects also the strict transform of . One more blow-up is needed at , which is the intersection point of and the strict transform of . The new exceptional divisor intersects (the strict transforms of) and , and their Euler number changes by , hence , , . The resolution graph is
-1$$-3$$-2$$-2$$-2$$\dots$$-2
where the number of -vertices in the middle is . By (4.2.1) the multiplicities are for and , for and , .
4.3. Non-isolated case
For a non-isolated singularity the link , the boundary of the Milnor fibre and the boundary of a resolution are three different spaces. Indeed, and are smooth manifolds, while is not smooth. Moreover, any resolution of is the resolution of the normalization of as well, thus it contains only limited information about .
Let be a surface singularity, whose singular set has dimension . The Némethi–Szilárd book [55] provides a general algorithm to determine as a plumbed -manifold. Here we just sketch the decomposition of as the union of two pieces. For details see [55, 2.3., 3.4.], [62] and Section 5.3 in our special case.
Let () be the Milnor fibre of , its boundary is . Let be a closed tubular neighbourhood of in and let be its interior. Then the two parts mentioned above are and . can be obtained from these pieces by gluing them along their common boundary, which is a union of tori.
is diffeomorphic with , where is the link of . The normalization map induces a diffeomorphism between and , where is the link of . Hence this piece can be inherited from the resolution graph of the normalization of .
is the disjoint union of the pieces , where is the irreducible decomposition of . The projection of to induces a bundle structure on over . Its fibre is the Milnor fibre of the transverse curve singularity of . This is the plane curve singularity defined as the zero set of , where biholomorphic to is a –transverse slice at an arbitrary point .
Chapter 5 Boundary of the Milnor fibre
5.1. Preliminaries
5.1.1.
This chapter contains the results of the article [54]. We assume that is the image of a finitely determined complex analytic germ . This means that is a stable immersion off the origin, cf. Theorem 1.4.4 or [71, 45]. From an other approach is a non-isolated hypersurface singularity in such that the transverse curve of the singular set has type and the normalization of is smooth. Then its normalization map is a finitely determined germ.
The main result of this chapter provides the plumbing graph of the boundary of the Milnor fibre as a surgery, starting from the embedded resolution graph of the double points . The needed additional pieces, which will be glued to this primary object correspond to certain fibre bundles over with fibres the local Milnor fibre of the transverse singularity type (and monodromy the corresponding vertical monodromy). The surgery itself is characterized by some homologically determined integers combined with the newly defined ‘vertical index’ associated with the irreducible components of the singular locus of .
This chapter is organized as follows. In this section we introduce the notations, in Section 5.2 we describe by several characterizations the surgery pieces associated with the components of the singular locus. In Section 5.3 and in Section 5.4 we describe the gluing and its invariants, while the last section contains several concrete examples.
The basic notions and properties of the Milnor fibre, resolution and plumbing construction are introduced in Chapter 4. For the properties of a finitely determined germ we refer to Chapter 1.
5.1.2. Double point curves
Let be a complex analytic germ singular only at the origin. We assume that is finitely -determined. This happens exactly when is a stable immersion off the origin, that is, off the origin it has only single and double values and at each double value the intersection of the two smooth branches is transverse, cf. Example 1.2.17.
Write and let be the reduced equation of . can be determined by Fitting ideal method, as a generator of , cf. Section 1.3. Note that is a non-isolated hypersurface singularity, except when is a regular map, see Theorem 3.1.3. We denote by the reduced singular locus of (which equals the closure of the set of double values of ), and by the reduced double point curve . (In fact, the finite determinacy of the germ is equivalent with the fact that the double point curve is reduced; see Theorem 1.5.1, [34].)
Let be the –ball in centred at the origin, and its boundary (). Then for sufficiently small is a Milnor ball for the pair , and, furthermore, is a (non–metric) ball in , which might serve as a Milnor ball for , cf. 4.1.2, [29]. We set , diffeomorphic to , and we treat it as the usual Milnor–ball boundary 3–sphere. Recall that the immersion associated with at the level of local neighbourhood boundaries is , cf. Definition 1.1.3 and Theorem 1.4.6.
5.1.3. Components and links of and .
Let be the link of . It is exactly the set of double values of . Let denote the set of double points of , that is, is the link of . Assume that the reduced equation of is , whose irreducible decomposition is . The irreducible components of are denoted by and their link components in by , . is equipped with an involution which pairs the double points. induces a permutation (pairing) of , such that . Moreover, is a double covering with . If for some , then is a nontrivial double covering of its image, while above the other components the covering is trivial. Let be the set of pairs (), it is the index set of the components of ; they will be denoted by .
All link components are considered with their natural orientations.
For the good embedded resolution of and the corresponding notations see Subsection 4.2.3.
Note that is the number of non-trivially covered double point curve components, its parity is the total twist of , cf. the end of Subsection 2.3.3. Since is an additive regular homotopy invariant and its value for the complex Whitney umbrella is , by Theorem 3.1.2 it follows that
Corollary 5.1.1**.**
.
5.2. The manifold
In the construction of the boundary of the Milnor fibre we will need a special 3–manifold with torus boundary. Its several realizations and properties will be discussed in this section.
In the sequel (as the boundary of the unit disc of ) and the real interval are considered with their natural orientations; denotes the complex conjugation of .
5.2.1. The definition of
Consider the –action on defined by the involution , and define as the quotient
[TABLE]
is a –manifold with a boundary diffeomorphic with . The projections to different components provide different ‘realizations’ of .
(1) The projection to the first coordinate gives a fibration
[TABLE]
where the base space is parametrized by , and the monodromy diffeomorphism over the base space is .
(2) The projection to the first two coordinates realizes as the total space of a fibration
[TABLE]
with fibre and base space , the Klein bottle. The factorization is the orientation double cover of . In particular, the fibration (5.2.3) is the segment bundle of the orientation line bundle of , hence the orientation double cover of is realized also by the restriction of the bundle map to the boundary .
(3) The projection to the coordinates realizes as the total space of a fibration
[TABLE]
over the base space , the Möbius band. In this way, appears as the tangent circle bundle of , i.e. as the sub–bundle of the tangent bundle consisting of unit tangent vectors. This follows from the fact that both circle bundles have the same monodromy map along the midline of , namely , .
(4) The projection to the coordinates realizes as the total space of a projection
[TABLE]
to the base space , the 2–disc . Although the involution has two fix points and , the quotient can be smoothed. However, the projection is not a locally trivial fibration: it is a Seifert fibration with two exceptional fibres sitting above and . We will refer to this –fibration as the canonical Seifert fibration of .
The Seifert invariants of the exceptional fibres can be calculated as in p. 307 of [56]. The two exceptional fibres of the canonical Seifert fibration (5.2.5) can be seen in the projection (3) as well: they correspond to the tangent vectors of the midline. On the other hand, a generic orbit consists of those unit tangent vectors of , which form non–zero angle (with fixed) with the midline. Thus, a generic fibre in a neighbourhood of an exceptional fibre goes around twice and both Seifert invariants are . Hence, cf. [56], a plumbing graph of is:
[0,1]$$-2$$-2
Here denotes a genus [math] core-space with one disc removed. The Euler number of the -bundle corresponding to the middle vertex is irrelevant, the resulted -manifolds with boundary are diffeomorphic with each other (hence with too). However, the restriction of the canonical Seifert fibration to determines an –fibration of the boundary. Moreover, admits a unique closed Seifert –manifold , from which can be obtained by omitting a tubular neighbourhood of a generic fibre (that is, is obtained by extending the fibration of to an –fibration without any new special Seifert fibres. In this way there is a canonical choice for the Euler number of the ‘middle’ vertex, which is the ‘middle’ Euler number of the plumbing graph of . We will calculate it below. Using this Euler number, the graph also determines a parametrization (framing) of .
5.2.2. Homotopical properties of
In order to understand better the structure of we consider its fundamental domain (in coordinates ):
\dashline2(160,40)(160,140) \dashline2(160,40)(260,40) \dashline2(100,10)(160,40) \dashline4(130,75)(230,75) z$$s$$t$$\mu$$\mu$$\lambda$$\lambda$$\bar{\lambda}$$m^{\prime}$$m$$m$$m^{\prime}$$c_{1}$$c_{2}$$P_{0}
where , and . The original coordinates are and . Then is obtained by the following identification of the sides of the cube:
[TABLE]
The boundary is
[TABLE]
The -action determining the canonical Seifert fibration (5.2.5) is induced by the translation along the –axis. The exceptional fibres are
[TABLE]
Any fixed determines a generic fibre in the form
[TABLE]
where are glued together with . For example, is a generic fibre.
The base space of the canonical Seifert-fibration can be represented as
[TABLE]
Its boundary is the class of , a circle.
Next, we describe the fundamental group and the homology of . is homotopically equivalent with the Klein bottle . Let us choose the base point . All four vertexes of the rectangle representing represent . Thus the fundamental group of can be presented as
[TABLE]
where and denote also the class of and in ; cf. with the description (2) from 5.2.1). A more precise description can be given via the next diagrams, provided by the subspace of (which can be identified with ).
\lambda$$\lambda$$\mu$$\mu$$\bar{\lambda}$$\lambda$$\lambda$$\mu$$\mu\dashline2(152,35)(248,35) \dashline2(248,35)(248,60) \dashline2(152,10)(152,35) \bar{\lambda}$$\bar{\lambda}$$\lambda$$\bar{\lambda}$$\lambda\dashline2(300,60)(400,10)
The first diagram shows homological cycles. In order to rewrite the fundamental group, let be the closed path shown in the second diagram by the dashed line. Then in . Note that , thus and this element commutes with . The fundamental group can be also presented as
[TABLE]
according to the third picture above.
On the other hand, the fundamental group of the boundary is
[TABLE]
The embedding (which is homotopically the same as the orientation covering ) induces a monomorphism . It is determined by the images of the generators, which are
[TABLE]
A direct computation shows that and
[TABLE]
Note that in , and analysing one obtains that in . Hence the class of in has order 2, it is exactly .
The next Lemma shows that the classes and in have certain universal properties with respect to the inclusion .
Lemma 5.2.1**.**
(a) are the unique primitive elements of with the property that their doubles vanish in .
(b) are the unique primitive elements of whose images in are in the center of .
Proof.
(a) is clear. For (b) first note that any element of can be written in the form for some , and then using this one verifies that the center of is . ∎
5.2.3. Homological properties of
The closed Seifert 3–manifold considered in 5.2.1(4) is constructed as follows. First we consider a new disc and the trivial fibration . Then we paste with the boundary of and we extend the canonical Seifert–fibration of above this disc (as base space) of the trivial fibration . This leads to the Seifert fibred closed manifold
[TABLE]
can be determined by the Mayer-Vietoris sequence of the decomposition (5.2.10):
[TABLE]
where and . Thus
[TABLE]
5.2.4. A plumbing graphs of and
By [57], has a plumbing graph of the form
e$$-2$$-2
(see also the discussion from 5.2.1(4)) and the Euler number should be chosen such that (cf. (5.2.11)). Here denotes the plumbed –manifold associated with the graph , it is the boundary of , the plumbed –manifold associated with . This (via the long cohomological exact sequence of the pair ) imposes the degeneracy of the intersection matrix of the plumbing (cf. e.g. [55, 15.1.3]). Hence . In particular, (without its Seifert fibration structure) is diffeomorphic to (which also shows that admits an orientation reversing diffeomorphism).
Furthermore, consider the graph
-1$$-2$$-2
The arrow denotes a knot , which is a generic –fibre associated with the middle vertex by the plumbing construction of . Let be an open tubular neighbourhood of in . Then , and the induced (singular/Seifert) –fibration associated with the middle vertex (by the plumbing construction) on agrees with the canonical Seifert fibration of . The Euler number of the middle vertex determines a parametrization (framing) of .
We can present also from the plumbing graph using the description of [50]. Let , and be oriented –fibres associated with the three vertices provided by the plumbing construction (and extended by convenient connecting paths to a base point as in [50]). Next, let be the meridian of corresponding to the arrowhead (and extended by a convenient path to the base point).
-1$$-2$$-2$$c$$\lambda$$\bar{\lambda}$$m
Then, by [50], there is a choice of the connecting paths such that is generated by and , and they satisfies the relations , and . This is compatible with the description from Subsection 5.2.2, cf. (5.2.6) and (5.2.9).
Note that by plumbing calculus (cf. [56]) one has the equivalence of plumbed manifolds (where is any graph):
\widetilde{\Gamma}$$-1$$-2$$-2$$\widetilde{\Gamma}$$1$$2$$2$$\simeq
Hence, or spliced along to any 3–manifold give rise to diffeomorphic manifolds.
5.3. The boundary of the Milnor fibre
5.3.1.
Let be the Milnor fibre of , where , . We wish to construct the –manifold as a surgery of along the link .
Let be a sufficiently small tubular neighbourhood of in . For each we define as
[TABLE]
where is the –manifold described in Section 5.2. Recall that .
Proposition 5.3.1**.**
One has an orientation preserving diffeomorphism
[TABLE]
where is a collection of diffeomorphisms
[TABLE]
Proof.
The decomposition follows from the general decomposition proved in [62], see also [55, 2.3]. For the convenience of the reader we sketch the construction. Recall that is the link of the component of , . Consider a sufficiently small tubular neighbourhood of it in . We can assume that . Furthermore, for small, the intersection of with is transverse. Therefore, for , the intersection of with is still transverse in , and, in fact, is diffeomorphic with . But, the former space can be identified via by . This is the space in the first parenthesis of (5.3.2).
The second one is a union of spaces of type , which fibres over . The fibre of the fibration is the Milnor fibre of the corresponding transverse plane curve singularity (of ). Since the transverse type is , this fibre is . The monodromy of the fibration is the so-called *geometric vertical monodromy * of the transverse type, it is orientation preserving self-diffeomorphism of . If it does not permute the two components of then it preserves the orientation of , hence of too, hence up to isotopy it is the identity. If it permutes the components of then up to isotopy it is , where . The two types of vertical monodromies provide the two choices of in formula (5.3.1), cf. description (1) of in Subsection 5.2.1. ∎
5.3.2. Preliminary discussion regarding the gluing
Our next aim is to describe the gluing functions . In both cases two tori must be glued: if then basically one should identify and , otherwise and . Up to diffeotopy an orientation reversing diffeomorphism between tori is given by an invertible matrix over with determinant . It turns out that in our cases all these gluing matrices have the form
[TABLE]
hence its only relevant entry is the off–diagonal one.
This integer will be determined by a newly introduced invariant, the vertical index, associated with each . This is done using a special germ , which will have a double role. First, it provides some kind of framing along , and also helps to identify generators from the boundaries of and respectively (constructed in two different levels: in the target and in the source of ).
We will use three parametrizations of with the same meridian but different longitudes. The topological longitude is the usual knot–theoretical Seifert–framing of . The resolution longitude is determined via a good embedded resolution of , it creates the bridge with the decorations and the combinatorics of the resolution graph. Finally, the sectional longitude depends on and it will be used for describing the gluing. In fact, the sectional longitude allows us to compare the source and the target of : being defined by the geometry of , the function and its pull-back plays the role of transportation of the invariants from level to level.
5.3.3. The local form of along
In the sequel we will use the notation and . Recall that in a small neighbourhood (in ) of any point the space has two local components, both smooth and intersecting each other transversally.
A more precise local description along is the following. Let us fix a point and let be a small neighbourhood of in . In the function is a product , where both are holomorphic, are smooth and intersect each other transversally. (The intersection is ; later the fact that at the local parametrization of together with and might serve as local coordinates will be exploited further.)
and are well–defined up to a multiplication by an invertible holomorphic function of ; that is, can be replaced by . At any point the linear term of , , (say, in the Taylor expansion) is , where are the fixed coordinates of . Let us code this in the non–zero vectors . Hence, at any we have two vectors and well–defined up to multiplication by (in the sense described above). Their classes for are independent of the –ambiguity, hence are well–defined elements. In particular, they determine a global pair of elements and for , well–defined whenever , and well–defined up to permutation whenever .
In fact, we can do even more: there exists a splitting of into product along without any invertible element ambiguity (but preserving the permutation ambiguity whenever ).
Indeed, assume that we are in the trivial covering () case, and let us cover by small discs such that on each we can fix a splitting , . For any intersection the two splittings can be compared: we define by . From this definition follows that form a Čech 1–cocycle.
Lemma 5.3.2**.**
.
Proof.
From the exponential exact sequence over , we get that it is enough to prove the vanishing , a fact which follows from Cartan’s Theorem, since is Stein. ∎
Since , the cocycle is a coboundary. This means that we can find invertible functions on each such that on one has . This means that the local functions , on provide a splitting (that is, , ), but in this new situation the local splittings glue globally: . If then we repeat the proof on .
5.3.4. The special germ
Next, we treat the ‘aid’–germ .
Definition 5.3.3**.**
Let us fix as above. A germ is called transverse section along if , at any point of is smooth and intersects both local components of transversally.
We claim that transverse sections always exist.
Proposition 5.3.4**.**
There exist complex numbers such that is a transverse section.
Proof.
For such one has . In particular, we have to show that for certain coefficients the expressions (for ) have no zeros for .
If is the Nash transform of , then is the set of limits of tangent spaces of , it is an algebraic set of of dimension (for details see e.g. [28] and references therein). The existence of Nash transform guarantees that exist. Indeed, the set is the intersection of with the strict transform of . Then let be generic such that for . With this choice for and in a small representative of . ∎
Fix again , and let , , be a parametrization (normalization) of . For any point and neighbourhood the discussion from the second paragraph of 5.3.3 can be repeated, in particular we have the holomorphic vectors () (with the choice ambiguities described there). Additionally, choose some as in Definition 5.3.3. The assumption regarding guarantees that for some holomorphic functions and on . If we replace by then will be replaced by , hence the product is independent of all the and permutation ambiguities. It is a holomorphic function on depending only on the equations and . This uniqueness also guarantees that taking different points of and repeating the construction, the output glues to a unique holomorphic function on a small punctures disc of . Usually has no analytic extension to the origin, however one has the following.
Lemma 5.3.5**.**
* is a Laurent series on .*
Proof.
The finiteness of the poles follows e.g. from the homological identities from Theorem 5.3.9, or from Corollary 5.3.17 combined with (5.3.9). ∎
We wish to emphasize that and its pole order usually depends on the choice of .
Definition 5.3.6**.**
Let (for some ) be the non–zero monomial with smallest power of in the Laurent series of . The integer is called the vertical index of along with respect to (or, the –vertical index).
5.3.5. Computation of the gluing functions
We fix a transverse section (cf. 5.3.3). Then the divisor is for some (not necessarily reduced) germ (such that and have no common components). Let be the (non–reduced) divisor associated with , and be a small tubular neighbourhood of the reduced link in .
Let the Milnor fibre of (in ) be
[TABLE]
Let and denote the components of the oriented intersection and with the tubular neighborhood boundaries of and respectively. ( might have several components, in this notation we collect all of them.)
Furthermore, let be an oriented meridian of such that and fix also (the oriented Seifert framing of ) with . (Here the linking numbers are considered in oriented 3–sphere .)
Definition 5.3.7**.**
We call the topological longitude of the torus , while the sectional longitude of associated with the transverse section .
Clearly we have the following facts (where denotes the corresponding homology class)
[TABLE]
We want to express in terms of and .
Lemma 5.3.8**.**
Define , where denotes the intersection multiplicity of and at . Then in .
Proof.
First note that . Write . Then . ∎
Theorem 5.3.9**.**
For any , the gluing functions from Proposition 5.3.1 is characterized up to homotopy by the following identities
Case 1:* . Identify the homology groups , and via the natural homotopies*
[TABLE]
Then in this homology group one has
[TABLE]
[TABLE]
Case 2:* .*
[TABLE]
[TABLE]
where and are the two generators of , see 5.2.2 (especially (5.2.8) and (5.2.9)).
Proof.
Recall that is the normalization of . At any point of one can consider as a local complex coordinate, which can be completed with two other local complex coordinates (local coordinates in a transverse slice of at ) such that form a local coordinate system of , and locally . These two local coordinates correspond to a splitting of . According to the discussion from 5.3.3, the splitting of can be done globally along the whole , hence these coordinated (corresponding to the components and ) can also be chosen globally along (with the permutation ambiguity whenever , a fact which will be handled below).
Furthermore, in these coordinates, . Since have no zeros and poles in the small representative of , are also local coordinates, and in these coordinates the equations transform into and .
If we concentrate on the points of , and its neighbourhood in , then similarly as above, we have the real coordinate , and the two complex (transverse) local coordinates , with equations and as before.
Case 1. The above local description globalises as follows (compare also with the first part of the proof of Proposition 5.3.1). The space has a product decomposition , where is the parameter space of , and is the local Milnor fibre , , diffeomorphic to . In other words, is the space , (here we will use the same notation for the parameter of ). Note that for , the boundary of is ‘very close’ to the two circles and of . Using isotopy in the neighbourhoods of these two circles, can be identified with these two circles (similarly as we identify via Ehresmann’s fibration theorem the boundary of the Milnor fibre of an isolated singularity with the link), and in order to simplify the presentation, we will make this identification. Hence, the boundary components of can be identified (by isotopy in ) with and . (The choice of indices and is arbitrary and symmetric.) These two tori are identified homologically since they are boundary components of . In we have the meridian , while in we have the meridian (both naturally oriented as the complex unit circle). Since , the first wished identity follows.
Now, we would like to study the intersection curve of and the Milnor fibre of associated with a positive argument, that is . This curve is homotopic with and also with in , cf. the Definition 5.3.6. Similarly, is homotopic with in .
Thus is homotopic with and with . Hence homologically is represented by the circle , which is homologous in with . This is the second identity. Obviously, these identities can be transferred from the boundary of into similar identities in , via the diagram, where all the maps are orientation preserving diffeomorphisms (cf. the proof of 5.3.1):
[TABLE]
Case 2. We use similar notations and conventions as in Case 1. Let us parametrize as , . Then is , where by we identify for all . Let us parametrize as and , where and such that and . Denote . Then we can parametrize by , thus is just , where by we identify . We regard this as parametrization of by , cf. 5.2.2.
Set
[TABLE]
[TABLE]
The are the two oriented meridians of , parametrized by . In terms of they are
[TABLE]
[TABLE]
thus with the notations of 5.2.2, and .
Similarly as in Case 1, by an isotopy in the boundary of can be identified with , where
[TABLE]
[TABLE]
The two parts of are glued together along the image of the oriented meridians
[TABLE]
[TABLE]
(See also the description in 5.2.2.) Since the oriented boundary is , is homologous with in . On the other hand is homologous with in , thus is an order– element in .
Consider the closed curve obtained as union of and , where
[TABLE]
[TABLE]
Note that connects the points with , while connects the points with . Since and , they form a closed curve. Note that in , see 5.2.2.
Similarly as in Case 1, the function can be replaced by , hence its level set associated with a positive value determines the curve . This consists of two parts, and , where
[TABLE]
while equals
[TABLE]
has the same end–points as , hence and form together a closed curve, as we expect. Furthermore, is homologous in with .
The source and the target are connected by the restriction of , which gives the orientation preserving diffeomorphisms:
[TABLE]
Since identifies with and and with , follows. ∎
5.3.6. The –independent description of the gluing. The ‘vertical index’
Recall that the sectional longitudes and the corresponding –vertical indexes depend on the choice of . The goal of this paragraph is to replace by the –independent and by an –independent number.
Definition 5.3.10**.**
For any define by
[TABLE]
We call the vertical index of .
The next statement follows from 5.3.8 and 5.3.9 (see also 5.3.2).
Corollary 5.3.11**.**
For
[TABLE]
[TABLE]
and for
[TABLE]
[TABLE]
hold in the sense described in 5.3.9.
Corollary 5.3.12**.**
The integer does not depend on the choice of , thus it is an invariant of and .
5.3.7. The plumbing graph of
We construct a plumbing graph for by modifying a good embedded resolution graph of . (For notations see Subsection 4.2.3.) The gluing of the plumbing construction uses different set of longitudes (cf. [56]). First we define them and then we rewrite the above established identities regarding in this language.
We choose small tubular neighbourhoods of such that
[TABLE]
after smoothing the corners of . The tubular neighbourhood of is a (real 2–disk) bundle over with Euler number . We can choose this bundle structure in such a way that is one of the fibres of for each .
We choose another generic fibre of the bundle near , and we set . By the choice of the bundle structure of and by the choice of the fibre we can assume that .
Definition 5.3.13**.**
* is called the resolution longitude of associated with the resolution .*
We fix a resolution longitude for each . Clearly,
[TABLE]
The following facts are well–known (cf. [6]).
Proposition 5.3.14**.**
(a) .
(b) holds in .
Corollary 5.3.15**.**
* holds in .*
Definition 5.3.16**.**
For any define by:
[TABLE]
Then Theorem 5.3.9 and Corollary 5.3.15 give the following.
Corollary 5.3.17**.**
Case 1:* For in the following identities hold:*
[TABLE]
Case 2:* For in the following identities hold:*
[TABLE]
5.3.8. The construction of the plumbing graph.
From the embedded resolution graph of associated with the resolution we construct a plumbing graph .
Recall that has arrowhead vertices representing the strict transforms of , and the -th arrowhead is supported (via a unique edge) by the vertex . We obtain the plumbing graph from as follows.
(1) Fix and assume that . Then we identify the two arrowheads and we replace it by a single new vertex of . We define the Euler number of the new vertex by . Both two edges (which in supported the arrowheads) will survive as edges of this new vertex (connecting it with and respectively), however one of them will have a negative sign, the other one a positive sign. By plumbing calculus, cf. [56, Prop. 2.1. R0(a)], the choice of the edge which has negative sign – denoted by – is irrelevant. (The edges without any decorations, by convention, are edges with positive sign.)
(2) Fix such that . Then the arrowhead associated with will be replaced by a new vertex and it will be decorated by Euler number . Furthermore, to this new vertex we attach the plumbing graph of (cf. 5.2.4) as indicated below. The edge connecting the new vertex and the graph of will have a negative sign .
(3) We do all these modification for all , otherwise we keep the shape and decorations of .
More precisely, if the schematic picture of is the following,
e_{v(i^{\prime})}$$\vdots$$(\tilde{D}_{i^{\prime}})$$\Gamma$$e_{v(\sigma(i))}$$(\tilde{D}_{\sigma(i)})$$e_{v(i)}$$(\tilde{D}_{i})$$(j^{\prime}=\{i^{\prime},\sigma(i^{\prime})\},\ i^{\prime}=\sigma(i^{\prime}))$$(j=\{i,\sigma(i)\},\ i\not=\sigma(i))
then the schematic picture of is
e_{v(i^{\prime})}$$-1$$-2$$-2$$\alpha_{j^{\prime}}$$\ominus$$\vdots$$e_{v(\sigma(i))}$$\alpha_{j}$$e_{v(i)}$$\widehat{\Gamma}:$$\ominus
In fact, by plumbing calculus (cf. Subsection 4.2.2 or [56, Prop. 2.1. R0(a)]), whenever the edge sign from the newly created ‘branch’ (subtree) can be omitted, however at this point we put it since this is the graph provided by the proof (which reflects properly the corresponding base changes).
Note also that usually the graph (that is, the associated intersection form) is not negative definite (or, it is not even equivalent via plumbing calculus by a negative definite graph).
Above (when ) the coincidence might happen, in fact, in all the cases we analysed this coincidence (on minimal graph) does happen.
Theorem 5.3.18**.**
The plumbing -manifold associated with the plumbing graph is orientation preserving diffeomorphic with .
Proof.
This follows from Corollary 5.3.17 and the relationships between this base–change and the plumbing construction as it is described in [56], pages 318–319. In the case the plumbing graph of from 5.2.4 should be also used. Note that in both cases Corollary 5.3.17 provides a base change matrix from the left hand side of (5.3.10), this decomposes as a product as in the right hand side.
[TABLE]
This, according to [56, pages 318–320] is interpreted as a ‘gluing’ by a string (with length one), this is the new vertex (for each ) given by the construction of . ∎
5.4. The vertical index for type germs
5.4.1. type germs
Assume that , where for some germ , such that is not divisible by . In this case the equation of the image is . These germs (more precisely, their -equivalence classes) are labelled by the Boardman symbol , and they are exactly the finitely determined corank– map germs with no triple points in their stabilization, cf. Example 1.4.11, see [43, 33] for details.
The set of double points is . It is equipped with the involution , . The set of double values is
[TABLE]
There are several options for the choice of the transverse section. E.g., Proposition 5.3.4 works with . Furthermore, one can also take or .
If we take then the –vertical indexes are zero. This fact follows directly from the product decomposition of . (However, for different other choices it can be nonzero as well.)
Proposition 5.4.1**.**
For –type germs , where is the number of crosscaps of a stabilization of , cf. Subsection 1.4.2 or [53, 45].
Proof.
With the choice of , and . If , then
[TABLE]
while for (see 5.3.6) one has
[TABLE]
Taking the sum for all we get the identity, once we verify
[TABLE]
Here, the last identity follows from the algebraic definition of , as the codimension of the Jacobian ideal of , see Subsection 1.4.2 and Example 1.4.10 . In our case this ideal is genereted by and . ∎
5.5. Examples
In the next paragraphs we provide some concrete examples. The families are taken from D. Mond’s list of simple germs [45, Table 1]. In the sequel we provide the resolution graph of and the plumbing graph of . The computations are left to the reader. Example 4.2.3 serves as a model to determine the resolution graph of . By Section 5.4 the equation of and all the gluing invariants can be determined for type germs.
The last two examples are more special than the previous ones: they are not of type . In the first family ( from the list [45, Table 1]) the calculation has some nontrivial steps, hence we provide more details. The last example 5.5.8 is a corank map germ from [31], cf. Example 1.4.12.
5.5.1. Whitney umbrella, or cross–cap
and . The graph of is on the left, while our algorithm provides the graph from the right for
-1$$-1$$-1$$-2$$-2$$-2
which after plumbing calculus (blowing down twice followed by a [math]-chain absorption, see Subsection 4.2.2) transforms into (Compare also with Example 10.4.2 from [55].)
5.5.2.
Set , hence . The graph of is the first diagram, while the other two equivalent graphs represent
-1$$v$$-1$$-6$$\ominusor-4$$\ominus
5.5.3. The family ,
One has and . Cf. Examples 1.4.10, 3.5.1.
Case 1: .
-1$$-2$$-2$$-2$$\dots$$D:
-1$$-2$$-2$$-2$$-3k$$\ominus$$\dots$$\partial F:
Here the number of -vertices is .
Case 2: .
D:$$-1$$-3$$-2$$-2$$-2$$\dots$$-2
:-1$$-3$$-2$$-2$$-2$$\dots$$-2$$-1$$-2$$-3k$$-2
where the number of -vertices on the left is .
5.5.4. The family ()
and .
The graph of is
:-1$$-2$$-2$$-2$$\dots
where the number of -vertices is .
Note that the double point curve does not depend on the parity of , however has one component, when is odd, and two components, when is even. Thus the pairing changes the components of in the odd case, and is the identity in the even case.
Case 1: .
:-1$$-2$$-2$$-2$$-4k-2$$\ominus$$\dots
where the number of -vertices is .
Case 2: .
:-1$$-2$$-2$$-2$$\dots$$-2k-1$$-2k-1$$-1$$-1$$-2k-1$$-2$$-2$$-2$$-2
where the number of -vertexes on the left is again .
5.5.5. The family ()
and . The resolution of is calculated in Example 4.2.3.
Case 1: .
D:$$-1$$-2$$-2$$-2$$\dots
:-1$$-2$$-2$$-2$$-3k+1$$\ominus$$\dots$$-2$$-2$$-4$$-1
where the number of -vertices in the middle is .
Case 2: .
D:$$-1$$-3$$-2$$-2$$-2$$\dots$$-2
and the graph of is
-1$$-3$$-2$$-2$$-2$$\dots$$-2$$-1$$-2$$-3k+1$$-2$$-2$$-2$$-4$$-1
where the number of -vertices in the middle is .
5.5.6.
and .
-2$$-1$$-2$$-4$$-2$$-1$$-2$$-15$$-1$$-2$$-2$$-4
5.5.7. The family ,
In this case and the equation of the image is calculated as the fitting ideal of in Example 1.3.4, .
When , the local form of along is
[TABLE]
[TABLE]
where , , . With the choice , one has .
For one gets
[TABLE]
where , , . In this case .
In all cases .
:-1$$-2$$-2$$-2$$\dots
:-1$$-2$$-2$$-2$$-9k+3$$\ominus$$\dots
where the number of ()-vertexes is .
In the special case the germs and are analytic -equivalent.
5.5.8. A corank map germ
In this case and .
:
:-1$$-5$$-5$$-5$$-5$$-5$$-1$$-1$$-1$$-1$$-1$$-2$$-2$$-2$$-2$$-2$$-2$$-2$$-2$$-2$$-2
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] de Bobadilla J. F.; Menegon Neto, A.: The boundary of the Milnor fibre of complex and real analytic non-isolated singularities, Geom. Dedicata 173 , (2014), 143–162.
- 2[2] Bott, R.: The stable homotopy of the classical groups, Annals of Mathematics, 70 (2), (1959), 313–337.
- 3[3] Bruce, J. W.; Marar, W. L.: Images and varieties, Journ. Math. Sci., 82 , no. 5, (1996), 3633–3641.
- 4[4] Burghelea, D.; Verona, A.: Local homological properties of analytic sets, Manuscripta Math, 7 , (1972), 55–66.
- 5[5] Durfee, A. H.: The signature of smoothings of complex surface singularities, Math. Ann. 232 , no. 1, (1978), 85–98.
- 6[6] Eisenbud, D.; Neumann, W.: Three–dimensional link theory and invariants of plane curve singularities, Annals of Math. Studies, 110 , Princeton University Press, (1985).
- 7[7] Ekholm, T.: Differential 3-knots in 5-space with and without self-intersections, Topology, 40 (1), (2001), 157–196.
- 8[8] Ekholm, T.: Invariants of generic immersions, Pac. Journ. Math. 199 , no. 2, (2001), 321–346.
