In
complex geometry
In mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and c ...
, a Hopf manifold is obtained
as a quotient of the complex
vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...
(with zero deleted)
by a
free action
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism g ...
of the
group
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic ide ...
of
integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign (−1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
s, with the generator
of
acting by holomorphic
contractions. Here, a ''holomorphic contraction''
is a map
such that a sufficiently big iteration
maps any given
compact subset
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i ...
of
onto an arbitrarily small
neighbourhood
A neighbourhood (British English, Irish English, Australian English and Canadian English) or neighborhood (American English; see spelling differences) is a geographically localised community within a larger city, town, suburb or rural are ...
of 0.
Two-dimensional Hopf manifolds are called
Hopf surface In complex geometry, a Hopf surface is a compact complex surface obtained as a quotient of the complex vector space (with zero deleted) \Complex^2\setminus \ by a free action of a discrete group. If this group is the integers the Hopf surface is c ...
s.
Examples
In a typical situation,
is generated
by a linear contraction, usually a
diagonal matrix
In linear algebra, a diagonal matrix is a matrix in which the entries outside the main diagonal are all zero; the term usually refers to square matrices. Elements of the main diagonal can either be zero or nonzero. An example of a 2×2 diagonal ma ...
, with
a complex number,
. Such manifold
is called ''a classical Hopf manifold''.
Properties
A Hopf manifold
is
diffeomorphic
In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an Inverse function, invertible Function (mathematics), function that maps one differentiable manifold to another such that both the function and its inverse function ...
to
.
For
, it is non-
Kähler. In fact, it is not even
symplectic because the second cohomology group is zero.
Hypercomplex structure
Even-dimensional Hopf manifolds admit
hypercomplex structure.
The Hopf surface is the only compact
hypercomplex manifold of quaternionic dimension 1 which is not
hyperkähler.
References
*
*{{SpringerEOM, title=Hopf manifold, first=Liviu , last=Ornea
Complex manifolds