Return to Answer

Clarifying connection to the original question

Source Link

edited Jul 16, 2019 at 21:47

To add to the excellent answers already provided, here are some general facts in the case of rational surface singularities (1 and 2) and hypersurface singularities (3).

Many interesting singularities are obtained by quotienting $C^2$ by the action of a finite subgroup $G\subset U(2)$. Since $U(2)$ preserves the unit sphere, you can get the link just by quotienting $S^3$ by $G$. The example you gave is equivalent to the singularity you get by taking the quotient of $C^2$ by the subgroup $G=\{I,-I\}$, so that tells you the link is $RP^3$, as Marco pointed out. For cyclic quotient singularities, you'll get a lens space. There are more exotic examples, for example, for the spin double cover of the symmetry group of the icosahedron (under the covering map $SU(2)\to SO(3)$), the link of the quotient singularity will be the Poincaré homology sphere. If you want to understand these singularities as affine varieties, they're obtained by taking Spec of the ring of invariants for the finite group action on the ring of polynomial functions on $C^2$ (for $G=\{I,-I\}$the invariant functions are generated by $u=x^2,v=xy,w=y^2$ with the obvious relation $uw=v^2$, which is where your equation comes into it).
Take the minimal resolution of the singularity. Let's suppose the exceptional divisor is a tree T of spheres with negative self-intersection numbers. A neighbourhood of the exceptional divisor is then a plumbing (according to the tree) of disc bundles over spheres with Euler numbers given by these self-intersection numbers. This has a surgery description: you take a bunch (one for each vertex of T) of unknots in $S^3$ such that two of them link like a Hopf link if they are connected by an edge in T (and are pairwise unlinked otherwise). Give each unknot a framing of minus the self-intersection of the corresponding sphere. This is both a Kirby diagram of the minimal resolution and a Dehn surgery presentation of the link (the exceptional curves in the minimal resolution are given by slice discs for the unknots capped off by the cores of the 2-handles you attach).
If you have a complex hypersurface singularity (i.e. one defined by a single equation over C) then you can use the ideas of Milnor to get at the topology of the link (see his book on isolated singularities of complex hypersurfaces). This will give you an "open book decomposition" of the link, i.e. you end up finding a collection of knots (called the "binding") in the link of the singularity whose complement fibres over the circle (the fibres are real surfaces called the "pages"). In higher dimensions, the binding is a real codimension 2 contact submanifold of the link and the pages are real codimension 1 Stein domains.

To add to the excellent answers already provided, here are some general facts in the case of rational surface singularities (1 and 2) and hypersurface singularities (3).

Many interesting singularities are obtained by quotienting $C^2$ by the action of a finite subgroup $G\subset U(2)$. Since $U(2)$ preserves the unit sphere, you can get the link just by quotienting $S^3$ by $G$. The example you gave is equivalent to the singularity you get by taking the quotient of $C^2$ by the subgroup $G=\{I,-I\}$, so that tells you the link is $RP^3$, as Marco pointed out. For cyclic quotient singularities, you'll get a lens space. There are more exotic examples, for example, for the spin double cover of the symmetry group of the icosahedron (under the covering map $SU(2)\to SO(3)$), the link of the quotient singularity will be the Poincaré homology sphere.
Take the minimal resolution of the singularity. Let's suppose the exceptional divisor is a tree T of spheres with negative self-intersection numbers. A neighbourhood of the exceptional divisor is then a plumbing (according to the tree) of disc bundles over spheres with Euler numbers given by these self-intersection numbers. This has a surgery description: you take a bunch (one for each vertex of T) of unknots in $S^3$ such that two of them link like a Hopf link if they are connected by an edge in T (and are pairwise unlinked otherwise). Give each unknot a framing of minus the self-intersection of the corresponding sphere. This is both a Kirby diagram of the minimal resolution and a Dehn surgery presentation of the link (the exceptional curves in the minimal resolution are given by slice discs for the unknots capped off by the cores of the 2-handles you attach).
If you have a complex hypersurface singularity (i.e. one defined by a single equation over C) then you can use the ideas of Milnor to get at the topology of the link (see his book on isolated singularities of complex hypersurfaces). This will give you an "open book decomposition" of the link, i.e. you end up finding a collection of knots (called the "binding") in the link of the singularity whose complement fibres over the circle (the fibres are real surfaces called the "pages"). In higher dimensions, the binding is a real codimension 2 contact submanifold of the link and the pages are real codimension 1 Stein domains.

To add to the excellent answers already provided, here are some general facts in the case of rational surface singularities (1 and 2) and hypersurface singularities (3).

Many interesting singularities are obtained by quotienting $C^2$ by the action of a finite subgroup $G\subset U(2)$. Since $U(2)$ preserves the unit sphere, you can get the link just by quotienting $S^3$ by $G$. The example you gave is equivalent to the singularity you get by taking the quotient of $C^2$ by the subgroup $G=\{I,-I\}$, so that tells you the link is $RP^3$, as Marco pointed out. For cyclic quotient singularities, you'll get a lens space. There are more exotic examples, for example, for the spin double cover of the symmetry group of the icosahedron (under the covering map $SU(2)\to SO(3)$), the link of the quotient singularity will be the Poincaré homology sphere. If you want to understand these singularities as affine varieties, they're obtained by taking Spec of the ring of invariants for the finite group action on the ring of polynomial functions on $C^2$ (for $G=\{I,-I\}$the invariant functions are generated by $u=x^2,v=xy,w=y^2$ with the obvious relation $uw=v^2$, which is where your equation comes into it).
Take the minimal resolution of the singularity. Let's suppose the exceptional divisor is a tree T of spheres with negative self-intersection numbers. A neighbourhood of the exceptional divisor is then a plumbing (according to the tree) of disc bundles over spheres with Euler numbers given by these self-intersection numbers. This has a surgery description: you take a bunch (one for each vertex of T) of unknots in $S^3$ such that two of them link like a Hopf link if they are connected by an edge in T (and are pairwise unlinked otherwise). Give each unknot a framing of minus the self-intersection of the corresponding sphere. This is both a Kirby diagram of the minimal resolution and a Dehn surgery presentation of the link (the exceptional curves in the minimal resolution are given by slice discs for the unknots capped off by the cores of the 2-handles you attach).
If you have a complex hypersurface singularity (i.e. one defined by a single equation over C) then you can use the ideas of Milnor to get at the topology of the link (see his book on isolated singularities of complex hypersurfaces). This will give you an "open book decomposition" of the link, i.e. you end up finding a collection of knots (called the "binding") in the link of the singularity whose complement fibres over the circle (the fibres are real surfaces called the "pages"). In higher dimensions, the binding is a real codimension 2 contact submanifold of the link and the pages are real codimension 1 Stein domains.

Source Link

created Jul 16, 2019 at 21:42

Jonny Evans

To add to the excellent answers already provided, here are some general facts in the case of rational surface singularities (1 and 2) and hypersurface singularities (3).

Many interesting singularities are obtained by quotienting $C^2$ by the action of a finite subgroup $G\subset U(2)$. Since $U(2)$ preserves the unit sphere, you can get the link just by quotienting $S^3$ by $G$. The example you gave is equivalent to the singularity you get by taking the quotient of $C^2$ by the subgroup $G=\{I,-I\}$, so that tells you the link is $RP^3$, as Marco pointed out. For cyclic quotient singularities, you'll get a lens space. There are more exotic examples, for example, for the spin double cover of the symmetry group of the icosahedron (under the covering map $SU(2)\to SO(3)$), the link of the quotient singularity will be the Poincaré homology sphere.
Take the minimal resolution of the singularity. Let's suppose the exceptional divisor is a tree T of spheres with negative self-intersection numbers. A neighbourhood of the exceptional divisor is then a plumbing (according to the tree) of disc bundles over spheres with Euler numbers given by these self-intersection numbers. This has a surgery description: you take a bunch (one for each vertex of T) of unknots in $S^3$ such that two of them link like a Hopf link if they are connected by an edge in T (and are pairwise unlinked otherwise). Give each unknot a framing of minus the self-intersection of the corresponding sphere. This is both a Kirby diagram of the minimal resolution and a Dehn surgery presentation of the link (the exceptional curves in the minimal resolution are given by slice discs for the unknots capped off by the cores of the 2-handles you attach).
If you have a complex hypersurface singularity (i.e. one defined by a single equation over C) then you can use the ideas of Milnor to get at the topology of the link (see his book on isolated singularities of complex hypersurfaces). This will give you an "open book decomposition" of the link, i.e. you end up finding a collection of knots (called the "binding") in the link of the singularity whose complement fibres over the circle (the fibres are real surfaces called the "pages"). In higher dimensions, the binding is a real codimension 2 contact submanifold of the link and the pages are real codimension 1 Stein domains.