Math 2.0

Several complex variables and analytic spaces Definition

Moishezon manifold

Builds on Complex manifoldAlgebraic dimension

Definition

Let XX be a compact, connected complex manifold of dimension nn, and let a(X)a(X) be its algebraic dimension. Then XX is a Moishezon manifold if a(X)=na(X) = n, that is, if XX has nn algebraically independent meromorphic functions.

Remarks

Example: ℂℙn\mathbb{CP}^n is Moishezon, since z1/z0,…,zn/z0z_1/z_0, \ldots, z_n/z_0 are nn algebraically independent meromorphic functions. More generally, every smooth projective variety of dimension nn is Moishezon, since its field of rational functions has transcendence degree nn.

Non-example: the diagonal Hopf surface has dimension 22 but algebraic dimension 11, so it is not Moishezon.

Since a(X)≤dim⁡Xa(X) \le \dim X by Siegel's theorem, Moishezon manifolds are those with the largest possible algebraic dimension. Equivalently, XX is Moishezon if and only if it is bimeromorphic to a projective manifold. A Moishezon manifold is projective if and only if it admits a Kähler metric, so non-projective Moishezon manifolds are never Kähler.

Reading path

To understand this page from the ground up, read these 3 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. Algebraic dimension concept
  2. Complex manifold concept
  3. Moishezon manifold definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Moishezon_manifold
About this page
TagZCBFF6DNA9
URIm2://ZCBFF6DNA9
Kinddefinition
WritingW0 stub
MSC32J10, 32J18
DefinesMoishezon manifold
UsesComplex manifold, Algebraic dimension

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • 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.