Math 2.0

Several complex variables and analytic spaces Definition

Modification of a complex space

Builds on Reduced complex spaceProper mapComplex analytic varietyNowhere dense setBlowing up

Definition

Let XX and YY be reduced complex spaces. A holomorphic map f ⁣:X→Yf \colon X \to Y is a modification if:

  1. ff is proper and surjective;
  2. there is a nowhere dense analytic subset B⊆YB \subseteq Y such that f−1(B)f^{-1}(B) is nowhere dense in XX;
  3. ff restricts to a biholomorphic map X∖f−1(B)→Y∖BX \setminus f^{-1}(B) \to Y \setminus B.

Remarks

Example: the blow-up f ⁣:X→ℂ2f \colon X \to \C^2 of ℂ2\C^2 at the origin is a modification with B={0}B = \set{0}. It is proper and surjective, f−1(0)f^{-1}(0) is a projective line, which is nowhere dense in the 22-dimensional manifold XX, and ff is biholomorphic off it.

Non-example: let XX be the disjoint union of ℂ\C and a point pp, and let f ⁣:X→ℂf \colon X \to \C be the identity on ℂ\C and send pp to 00. Then ff is proper and surjective, and with B={0}B = \set{0} clause 3 holds. But f−1(B)f^{-1}(B) contains the isolated point pp, so it is not nowhere dense and clause 2 fails. No other choice of BB helps, since ff is not injective over 00, so pp must lie over BB.

The set f−1(B)f^{-1}(B) is the exceptional set. Some authors call these maps proper modifications.

Reading path

To understand this page from the ground up, read these 6 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. Blowing up concept
  2. Complex analytic variety concept
  3. Nowhere dense set concept
  4. Proper map concept
  5. Reduced complex space concept
  6. Modification of a complex space definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Proper_morphism
About this page
Tag56V4WT0BT2
URIm2://56V4WT0BT2
Kinddefinition
WritingW0 stub
MSC32S45, 32H35
DefinesModification of a complex space
UsesReduced complex space, Proper map, Complex analytic variety, Nowhere dense set, Blowing up

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.