Almost-contact manifold explained

In the mathematical field of differential geometry, an almost-contact structure is a certain kind of geometric structure on a smooth manifold. Such structures were introduced by Shigeo Sasaki in 1960.

Precisely, given a smooth manifold

M,

an almost-contact structure consists of a hyperplane distribution

Q,

an almost-complex structure

J

on

Q,

and a vector field

\xi

which is transverse to

Q.

That is, for each point

p

of

M,

one selects a codimension-one linear subspace

Qp

of the tangent space

TpM,

a linear map

Jp:Qp\toQp

such that

Jp\circJp=-

\operatorname{id}
Qp

,

and an element

\xip

of

TpM

which is not contained in

Qp.

Given such data, one can define, for each

p

in

M,

a linear map

ηp:TpM\to\R

and a linear map

\varphip:TpM\toTpM

by\begin\eta_p(u)&=0\textu\in Q_p\\\eta_p(\xi_p)&=1\\\varphi_p(u)&=J_p(u)\textu\in Q_p\\\varphi_p(\xi)&=0.\endThis defines a one-form

η

and (1,1)-tensor field

\varphi

on

M,

and one can check directly, by decomposing

v

relative to the direct sum decomposition

TpM=Qp\left\{k\xip:k\in\R\right\},

that\begin\eta_p(v) \xi_p &= \varphi_p \circ \varphi_p(v) + v\endfor any

v

in

TpM.

Conversely, one may define an almost-contact structure as a triple

(\xi,η,\varphi)

which satisfies the two conditions

ηp(v)\xip=\varphip\circ\varphip(v)+v

for any

v\inTpM

ηp(\xip)=1

Then one can define

Qp

to be the kernel of the linear map

ηp,

and one can check that the restriction of

\varphip

to

Qp

is valued in

Qp,

thereby defining

Jp.

References