Hyper-Lagrangian submanifolds of hyper-Kähler manifolds and mean curvature flow (Q883216): Difference between revisions

A hyper-Kähler manifold \(M=M^{4n}\) is a Riemannian manifold with holonomy \(\text{Sp}(n)\). It admits a complex structure \(J\) and a holomorphic symplectic form \(\Omega_J\in\Omega^{2,0}(M)\). In fact it admits a 2-sphere family of such structures, called the twistor family \({\mathbb S}^2\). A submanifold \(L^{2n}\subset M\) is called a hyper-Lagrangian submanifold of \(M\) if for any \(x\in M\) the tangent space \(T_xL\) is a complex Lagrangian subspace of \(T_xM\) with respect to some \(\Omega_{J(x)}\) with varying \(J(x)\in {\mathbb S}^2\). The map \(x\mapsto J(x)\) is called the complex phase map. In the paper under review the authors study the geometry of hyper-Lagrangian submanifolds in a hyper-Kähler manifold. They show that the class of hyper-Lagrangian submanifolds is invariant under the mean curvature flow. Along the flow, the complex phase map satisfies the generalized harmonic map heat equation. It is also related to the mean curvature vector via a first order differential equation.