= Solution
The <differential one-form> $\theta$ defines a smooth <section of a vector bundle>, and its <one-form graph> is an embedded copy of $X$ because $\pi\circ\theta=\operatorname{id}_X$. The defining property of the <Liouville one-form> gives $\theta^*\alpha=\theta$. Consequently
$$
\theta^*\omega_\sigma=-d\theta+(\pi\circ\theta)^*\sigma=\sigma-d\theta.
$$
The <one-form graph> has dimension $n$, half the dimension of the <cotangent bundle>. It is therefore a <Lagrangian submanifold> precisely when this <pullback of a differential form> vanishes:
$$
\boxed{\theta(X)\text{ is Lagrangian in }(T^*X,\omega_\sigma)
\quad\Longleftrightarrow\quad d\theta=\sigma.}
$$
This is the <twisted Lagrangian graph criterion>.
Now suppose the projection restricts to a <diffeomorphism> on a <Lagrangian submanifold> $L$. Its inverse followed by the inclusion defines a smooth section $s:X\to T^*X$, hence a global <differential one-form> $\theta$ with image $L$. The criterion forces $\sigma=d\theta$, so its class in <de Rham cohomology> is zero. Thus \b[$[\sigma]\ne0$ rules out every such Lagrangian section]. This <cohomological obstruction to a Lagrangian section> concerns graphs over the entire base; it does not claim that all <Lagrangian submanifolds> are absent.
Back to article page
