Graph of a differential one-form (source code)

= Graph of a differential one-form
{title2=$\Gamma_\theta=\{(x,\theta_x):x\in X\}$}

= One-form graph
{synonym}

A <differential one-form> $\theta$ is a smooth <section of a vector bundle> $T^*X\to X$. Its graph is its image as a section, and the projection restricts to a <diffeomorphism> onto $X$. Pullback of the <Liouville one-form> by that section equals $\theta$, making the <twisted Lagrangian graph criterion> immediate.