Moduli space and deformations of special Lagrangian submanifolds with edge singularities (Q2184249)

If \(\mathbb{C}^n\) is the complex \(n\)-dimensional space, \(J:\mathbb{C}^n\to\mathbb{C}^n\), \(z\mapsto J(z)=i z\) is the automorphism, \(\xi=\xi_1\wedge\dots\xi_n\) is an oriented, real \(n\)-plane in \(\mathbb{C}^n\), where \(\xi_1,\dots,\xi_n\) is an oriented, orthonormal basis of \(\xi\), and \(J(\xi)=\xi^\perp=\{\eta;\ \langle\eta,v\rangle=0\wedge v\in\xi\subset\mathbb{C}^n\}\), then \(\xi\) is called a Lagrangian \(n\)-plane. An oriented \(n\)-submanifold \(\psi:M\to\mathbb{C}^n\) is said to be a Lagrangian submanifold of \(\mathbb{C}^n\) if each tangent plane \(\psi_*(T_pM)\subset T\mathbb{C}^n\cong\mathbb{C}^n\) is a Lagrangian \(n\)-plane in \(\mathbb{C}^n\) for every \(p\in M\), where \(\psi_*\) denotes the push-forward. The complex \(n\)-form \(\Omega=dz_1\wedge\dots\wedge dz_n\) is called the holomorphic volume form of \(\mathbb{C}^n\). Special Lagrangian submanifolds are submanifolds of a Calabi-Yau manifold calibrated by the real part of the holomorphic volume form. If \((\mathfrak{X},\omega,J,g_{\mathfrak{X}},\Omega_{\mathfrak{X}})\) is a Calabi-Yau manifold, \(\Phi:M\to\mathfrak{X}\) is a special Lagrangian submanifold, then there is a problem of deformations of \(M\) as a submanifold of \(\mathfrak{X}\), such that the deformed submanifold is special Lagrangian. That is, the problem is to look for submanifolds \(\Psi:M\to\mathfrak{X}\) such that \(\Phi\) is isotopic to \(\Psi\) and \(\Psi(M)=M_\Psi\) is special Lagrangian. The next problem is to investigate the structure of the space containing those special Lagrangian deformations, i.e., the moduli space of special Lagrangian deformations \(\mathfrak{M}(M,\Phi)\). It is known that if \((\mathfrak{X},g_{\mathfrak{X}})\) is a Riemannian manifold and \(M\) is an embedded submanifold, then there exists an open neighborhood \(\mathfrak{A}\) of the zero section in the normal bundle \(\mathcal{N} (M)\) and an open neighborhood \(U\) of \(M\) in \(\mathfrak{X}\) such that the exponential map \(\exp_{g_{\mathfrak{X}}}:\mathfrak{A}\subset\mathcal{N}(M)\to U\subset\mathfrak{X}\) is a diffeomorphism. If \((M,\Phi)\) is a special Lagrangian submanifold with edge singularity, i.e., \(M\) is a manifold with edge singularity and \(\Phi: M\to\mathbb{C}^n\) is an edge special Lagrangian embedding, \(\gamma>\frac{m+5}{2}\) is an admissible weight, then the moduli space \(\mathfrak{M}(M,\Phi,\mathcal{T},\gamma)\) of conformal asymptotic special Lagrangian deformations of \((M,\Phi)\) with rate \(\gamma\) and elliptic boundary trace condition \(\mathcal{T}\) is defined as the space of smooth embeddings \(\Upsilon: M\to\mathbb{C}^n\), isotopic to \(\Phi\) and conformal asymptotic to \((M,\Phi)\) with rate \(\gamma\), such that they satisfy the boundary condition \(\mathcal{T}(\Upsilon)=0\), where \(\mathcal{T}\) is a trace pseudo-differential operator. In this paper, the author uses elliptic theory for edge-degenerate differential operators on singular manifolds to study the moduli space of deformations of special Lagrangian submanifolds with edge singularities. A general theorem describing the local structure of the moduli space is obtained, and it is shown that, when the obstruction space vanishes, the moduli space is a smooth, finite dimensional manifold. The author proves the main result of the paper stating that, if locally near \(M\) the moduli space \(\mathfrak{M}(M,\Phi,\mathcal{T},\gamma)\) is homeomorphic to the zero set of a smooth map \(\mathfrak{G}\) between smooth manifolds \(\mathcal{M}_1\), \(\mathcal{M}_2\) given as neighborhoods of zero in finite-dimensional Banach spaces, then the map \(\mathfrak{G} :\mathcal{ M}_1\to\mathcal{M}_2\) satisfies \(\mathfrak{G}(0)=0\) and \(\mathfrak{M}(M,\Phi,\mathcal{T},\gamma)\) near \(M\) is a smooth manifold of finite dimension when \(\mathfrak{G}\) is the zero map.