3

Consider the following definition of contact structures:

A contact structure on an n dimensional smooth manifold is a codimension 1 tangent distribution $\xi$ whose first curvature $\beta:\xi\times \xi\to TM/\xi$, defined by $\beta_p:=[-,-]_p\mod \xi_p$, is a non singular at every point.

  1. Can we automatically infer that the manifold is odd-dimensional? What is the proof of that?

  2. Can we define contact structures simply as bracket-generating codimension 1 distributions? If the distribution is weakly regular, meaning that the Lie flag consists of subbundles, it seems an equivalent definition. Am I wrong?

Watanabe
  • 1,081
  • 2
  • First, show that $\beta_p$ is well-defined, that is $[X,Y]_p \mod \xi_p$ only depends on $X_p$ and $Y_p$, not on the vector fields $X$ and $Y$. If non-degenerate, it is a skew-symmetric non-degenerate bilinear form on the vector space $\xi_p$. To conclude, show that if there exists a non-denegenerate skew-symmetric bilinear form on a finite dimensional vector space, then it is even-dimensional. If follows that $\dim M = \dim \xi +1$ is odd.
  • – Didier Feb 10 '22 at 13:00