Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-140/5/b/solution

At a point , write and take the orthogonal complement with respect to the Riemannian metric . The compatible triple identity gives
If is a Lagrangian submanifold, then for , so . Both have dimension , hence equality.
Conversely, if , equality of dimensions gives , and for gives . Therefore
A positive-definite inner product has . Hence , proving that every Lagrangian submanifold is a totally real submanifold for a compatible almost complex structure.

New to topics? Read the docs here!