In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a Moishezon manifold is a compact
complex manifold
In differential geometry and complex geometry, a complex manifold is a manifold with an atlas of charts to the open unit disc in \mathbb^n, such that the transition maps are holomorphic.
The term complex manifold is variously used to mean a com ...
such that the
field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...
of
meromorphic function
In the mathematical field of complex analysis, a meromorphic function on an open subset ''D'' of the complex plane is a function that is holomorphic on all of ''D'' ''except'' for a set of isolated points, which are pole (complex analysis), pole ...
s on each component has
transcendence degree
In abstract algebra, the transcendence degree of a field extension ''L'' / ''K'' is a certain rather coarse measure of the "size" of the extension. Specifically, it is defined as the largest cardinality of an algebraically independent subset of ...
equal the
complex dimension In mathematics, complex dimension usually refers to the dimension of a complex manifold or a complex dimension of an algebraic variety, algebraic variety. These are spaces in which the local neighborhoods of points (or of non-singular points in the ...
of the component:
:
Complex
algebraic varieties
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Mo ...
have this property, but the converse is not true:
Hironaka's example In geometry, Hironaka's example is a non-Kähler complex manifold that is a deformation of Kähler manifolds found by . Hironaka's example can be used to show that several other plausible statements holding for smooth varieties of dimension at most ...
gives a smooth 3-dimensional Moishezon manifold that is not an algebraic variety or
scheme A scheme is a systematic plan for the implementation of a certain idea.
Scheme or schemer may refer to:
Arts and entertainment
* ''The Scheme'' (TV series), a BBC Scotland documentary series
* The Scheme (band), an English pop band
* ''The Schem ...
. showed that a Moishezon manifold is a
projective algebraic variety
In algebraic geometry, a projective variety over an algebraically closed field ''k'' is a subset of some projective ''n''-space \mathbb^n over ''k'' that is the zero-locus of some finite family of homogeneous polynomials of ''n'' + 1 variables wi ...
if and only if it admits a
Kähler metric Kähler may refer to:
;People
*Alexander Kähler (born 1960), German television journalist
*Birgit Kähler (born 1970), German high jumper
*Erich Kähler (1906–2000), German mathematician
*Heinz Kähler (1905–1974), German art historian and arc ...
. showed that any Moishezon manifold carries an
algebraic space In mathematics, algebraic spaces form a generalization of the schemes of algebraic geometry, introduced by Michael Artin for use in deformation theory. Intuitively,
schemes are given by gluing together affine schemes using the Zariski topology, w ...
structure; more precisely, the category of Moishezon spaces (similar to Moishezon manifolds, but are allowed to have singularities) is equivalent with the category of algebraic spaces that are proper over .
References
*
*
**
**
**
*
Algebraic geometry
Analytic geometry
{{algebraic-geometry-stub