Math 2.0

Several complex variables and analytic spaces Complex singularities Example

Brieskorn manifold

Builds on Isolated hypersurface singularityMilnor numberExotic spherePoincaré homology sphere

Example

Let n≥1n \ge 1 and let a0,…,an≥2a_0, \dots, a_n \ge 2 be integers. The Brieskorn manifold is Σ(a0,…,an)={z∈ℂn+1:z0a0+z1a1+⋯+znan=0}∩S2n+1,\Sigma(a_0, \dots, a_n) = \set{z \in \C^{n+1} : z_0^{a_0} + z_1^{a_1} + \cdots + z_n^{a_n} = 0} \cap S^{2n+1}, where S2n+1S^{2n+1} is the unit sphere in ℂn+1\C^{n+1}. It is the link at 00 of the hypersurface f−1(0)f^{-1}(0), where f=z0a0+⋯+znanf = z_0^{a_0} + \cdots + z_n^{a_n}.

Check: the partial derivatives of ff are ajzjaj−1a_j z_j^{a_j - 1}, which vanish together only at z=0z = 0. So ff has an isolated singularity at 00 and f−1(0)f^{-1}(0) is smooth away from 00. Since ff is weighted homogeneous, the sphere of radius 11 gives the same link as any small sphere. So Σ(a0,…,an)\Sigma(a_0, \dots, a_n) is a smooth closed manifold of dimension 2n−12n - 1. The Milnor number of ff is (a0−1)(a1−1)⋯(an−1)(a_0 - 1)(a_1 - 1) \cdots (a_n - 1), because the monomials z0b0⋯znbnz_0^{b_0} \cdots z_n^{b_n} with 0≤bj≤aj−20 \le b_j \le a_j - 2 form a basis of the local algebra.

Remarks

Σ(2,3,5)\Sigma(2, 3, 5) is the Poincaré homology sphere, a 33-manifold with the homology of S3S^3 but a nontrivial fundamental group of order 120120. For n=1n = 1, Σ(p,q)\Sigma(p, q) is the torus link of type (p,q)(p, q) in S3S^3, a knot when pp and qq are coprime. Brieskorn showed that the 77-manifolds Σ(6k−1,3,2,2,2)\Sigma(6k - 1, 3, 2, 2, 2) for k=1,…,28k = 1, \dots, 28 are homeomorphic to S7S^7 and realize the 2828 oriented diffeomorphism classes of exotic spheres of dimension 77.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Exotic sphere object
  2. Isolated hypersurface singularity concept
  3. Milnor number concept
  4. Poincaré homology sphere example
  5. Brieskorn manifold example

Further reading

  1. Web https://en.wikipedia.org/wiki/Brieskorn_manifold
About this page
Tag5E9E5R9RYZ
URIm2://5E9E5R9RYZ
Kindexample
WritingW0 stub
MSC32S55, 57R60, 32S25
Instance ofLink of a singularity
UsesIsolated hypersurface singularity, Milnor number, Exotic sphere, Poincaré homology sphere
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.