In the mathematical field of
differential geometry, an almost-contact structure is a certain kind of geometric structure on a
smooth manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One m ...
. Such structures were introduced by
Shigeo Sasaki
Shigeo Sasaki () (18 November 1912 Yamagata Prefecture, Japan – 14 August 1987 Tokyo) was a Japanese mathematician working on differential geometry who introduced Sasaki manifolds. He retired from Tohoku University
, or is a Japanese na ...
in 1960.
Precisely, given a smooth manifold
an almost-contact structure consists of a
hyperplane distribution an
almost-complex structure on
and a
vector field which is transverse to
That is, for each point
of
one selects a codimension-one
linear subspace of the
tangent space
In mathematics, the tangent space of a manifold generalizes to higher dimensions the notion of '' tangent planes'' to surfaces in three dimensions and ''tangent lines'' to curves in two dimensions. In the context of physics the tangent space to a ...
a
linear map
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pr ...
such that
and an element
of
which is not contained in
Given such data, one can define, for each
in
a linear map
and a linear map
by
This defines a
one-form
In differential geometry, a one-form on a differentiable manifold is a smooth section of the cotangent bundle. Equivalently, a one-form on a manifold M is a smooth mapping of the total space of the tangent bundle of M to \R whose restriction to ...
and
(1,1)-tensor field on
and one can check directly, by decomposing
relative to the
direct sum
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a mo ...
decomposition
that
for any
in
Conversely, one may define an almost-contact structure as a triple
which satisfies the two conditions
*
for any
*
Then one can define
to be the
kernel
Kernel may refer to:
Computing
* Kernel (operating system), the central component of most operating systems
* Kernel (image processing), a matrix used for image convolution
* Compute kernel, in GPGPU programming
* Kernel method, in machine lea ...
of the linear map
and one can check that the restriction of
to
is valued in
thereby defining
References
* David E. Blair. ''Riemannian geometry of contact and symplectic manifolds.'' Second edition. Progress in Mathematics, 203. Birkhäuser Boston, Ltd., Boston, MA, 2010. xvi+343 pp. ,
*
{{Manifolds
Differential geometry
Smooth manifolds