Math 2.0

Several complex variables and analytic spaces Complex singularities Conjecture

Zariski's multiplicity conjecture

Builds on Ring of convergent power seriesGermHomeomorphism

Statement

Let f,g∈ℂ{z0,…,zn}f, g \in \C\{z_0, \dots, z_n\} be convergent power series without repeated factors, with f(0)=g(0)=0f(0) = g(0) = 0. The multiplicity mult⁡0f\operatorname{mult}_0 f is the least degree of a nonzero homogeneous term in the power series expansion of ff. Suppose that there is a homeomorphism ϕ\phi between neighbourhoods of 00 in ℂn+1\C^{n+1} with ϕ(0)=0\phi(0) = 0. Suppose that ϕ\phi maps the germ of f−1(0)f^{-1}(0) at 00 onto the germ of g−1(0)g^{-1}(0) at 00. Then mult⁡0f=mult⁡0g\operatorname{mult}_0 f = \operatorname{mult}_0 g.

Remarks

Zariski asked this question in his 1971 paper "Some open questions in the theory of singularities". It is open in general. It holds for plane curves, n=1n = 1, where the embedded topological type determines the Puiseux characteristics of the branches and hence the multiplicity. The multiplicity of ff equals the multiplicity of the local ring ℂ{z0,…,zn}/(f)\C\{z_0, \dots, z_n\} / (f), so the conjecture asks whether this algebraic invariant is determined by the embedded topology. The Milnor number, by contrast, is known to be a topological invariant in this sense.

Reading path

To understand this page from the ground up, read these 4 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. Germ concept
  2. Homeomorphism concept
  3. Ring of convergent power series concept
  4. Zariski's multiplicity conjecture conjecture

Further reading

  1. Web https://en.wikipedia.org/wiki/Singularity_theory
About this page
TagZTTZVZWMK9
URIm2://ZTTZVZWMK9
Kindconjecture
WritingW0 stub
MSC32S05, 32S15, 14B05
StatusThis copy of the site has no build data. Run m2 status ZTTZVZWMK9.
AboutSingularity theory, Multiplicity of a local ring
UsesRing of convergent power series, Germ, Homeomorphism

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.