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