Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 140 / 5 / b / Solution

At a point $p$, write $W=T_{p}L$ and take the orthogonal complement with respect to the Riemannian metric $g$. The compatible triple identity givesIf $L$ is a Lagrangian submanifold, then $\omega (u,v)=0$ for $u,v\in W$, so $JW\subset W^{\perp }$. Both have dimension $\frac{1}{2}\dim M$, hence equality.

Conversely, if $JW=W^{\perp }$, equality of dimensions gives $\dim W=\frac{1}{2}\dim M$, and $g(Ju,v)=0$ for $u,v\in W$ gives $\omega {|}_W=0$. ThereforeA positive-definite inner product has $W\cap W^{\perp }=\{0\}$. Hence $W\cap JW=\{0\}$, proving that every Lagrangian submanifold is a totally real submanifold for a compatible almost complex structure.