Classification of \(\delta(2,n-2)\)-ideal Lagrangian submanifolds in \(n\)-dimensional complex space forms (Q1682121): Difference between revisions

If \(\widetilde M^n(4c)\) is a complete simply connected Kähler \(n\)-manifold with constant holomorphic sectional curvature \(4c\), then \(\widetilde M^n(4c)\) is holomorphically isometric to the complex Euclidean \(n\)-space \(\mathbb C^n\), the complex projective \(n\)-space \(\mathbb CP^n(4c)\), or the complex hyperbolic \(n\)-space \(\mathbb CH^n(-4c)\) according to \(c=0\), \(c>0\), or \(c<0\), respectively. These manifolds are known as complex space forms. A submanifold \(M\) of a complex \(n\)-dimensional Kähler manifold \(\widetilde M\) with complex structure \(J\) and metric \(g\) is called Lagrangian if \(J\) induces an isomorphism between the tangent space and the normal space at every point or, equivalently, if the Kähler 2-form \(\widetilde\omega\) restricted to \(M\) vanishes. For an \(n\)-dimensional Riemannian manifold \(M\) and the sectional curvature \(K(\pi)\) of \(M\) associated with a plane section \(\pi\subset T_pM\), \(p\in M\), if \(L\) is an \(r\)-dimensional subspace of \(T_pM\) with \(2\leq r\leq n\) and \(\{e_1,\dots,e_r\}\) is an orthonormal basis of \(L\), the scalar curvature of \(L\) is defined by \(\tau(L)=\sum\limits_{\alpha<\beta}^rK(e_\alpha\wedge e_\beta)\). This definition is independent from the the choice of a basis and, in particular, \(\tau\) of \(M\) is \(\tau(M)=\tau(T_pM)\). If \(S(n)=\bigcup\limits_{k}S(n,k)\), where \(S(n,k)=\{(n_1,\dots,n_k)\}\) with \(n\geq 3\), \(k\geq 1\), \(2\leq n_1\leq\dots\leq n_k\leq n-1\), and \(n_1+\dots+n_k\leq n\), then \[ \delta(n_1,\dots,n_k)(p)=\tau(p)-\inf\{\tau(L_1)+\dots+\tau(L_k)\} \] is the Riemann invariant for any \(p\in M\), where \(L_i\) run over all \(k\)-tuples of mutually orthogonal subspaces of \(T_pM\) such that \(\dim L_j=n_j\). It is known that if \(M\) is an \(n\)-dimensional submanifold of a real space form of constant sectional curvature \(c\), then for each \(k\)-tuple \((n_1,\dots,n_k)\in S(n)\) and at any point \(p\in M\), the following inequality holds \[ \delta(n_1,\dots,n_k)\leq\frac{n^2\left(n+k-1-\sum\limits_{j=1}^kn_j\right)}{2\left(n+k-\sum\limits_{j=1}^kn_j\right)}H^2+b(n_1,\dots,n_k)c, \] where \(H^2\) is the squared mean curvature of \(M\) at \(p\) and \(b(n_1,\dots,n_k)=\frac{n(n-1)}{2}-\sum\limits_{j=1}^k\frac{n_j(n_j-1)}{2}\). A submanifold \(M\) which realizes equality in this inequality is called \(\delta(n_1,\dots,n_k)\)-ideal. In this paper, the authors show that \[ \delta(2,n-2)\leq\frac{n^2(n-2)}{4(n-1)}H^2+2(n-2)c\eqno{(*)} \] for a Lagrangian submanifold \(M\) of a complex space form \(\widetilde M^n(4c)\) with \(n\geq 5\). They classify \(\delta(2,n-2)\)-ideal Lagrangian submanifolds in complex space forms for \(n\geq 5\) and determine second fundamental forms of \(\delta(2,n-2)\)-ideal Lagrangian submanifolds of complex space forms. Finally, the authors consider Lagrangian submanifolds of complex space forms \(\widetilde M^n(4)\) with \(n\geq 5\) and they show that if \(M\) is non-minimal then the inequality \((*)\) becomes an equality. Also, the authors find necessary and sufficient conditions for \(M\) to be \(\delta(2,n-2)\)-ideal.