Regularity and estimates for \(J\)-holomorphic discs attached to a maximal totally real submanifold (Q2474924)

Suppose we are given a pseudo-holomorphic map \(F:W \to (M',J')\) defined on a wedge \(W\) in an almost complex manifold \((M,J)\) with values in another almost complex manifold \((M',J')\). The aim of the article is the study of the regularity of \(F\) at the edge \(N\) of \(W\). This is done by using a method originally introduced by E. Bishop. First a corresponding regularity result is obtained for \(J\)-analytic discs and then \(W\) is ``filled'' by such discs that are ``glued'' to the edge of \(W\). The results are as follows: Theorem 1: Let \((M,J)\) be a \(C^r\)-almost complex manifold and \(E \subset M\) a maximal totally real \(C^{r'}\)-submanifold, where \(r\) and \(r'\) are non-integer numbers \(\geq 1\). Then, every continuous map \(h: \Delta^+\cup ]-1 ; 1 [\rightarrow M\) which is \(J\)-holomorphic on \(\Delta^+\) and attached by its diameter to \(E\), is locally of class \(C^{\min \{ r, r'\}}\) in \(\Delta^+\cup ]-1 ; 1 [\). Here \(\Delta^+ = \{ z\in \mathbb C\mid |z|<1, \Im\, z > 0\}\). Moreover, for any compact set \(K \) in \(\Delta^+\cup ]-1 ; 1 [\) one has, with a suitable constant \(c(r,r',K)\) that depends only on \(r,r'\), and \(K\) and a constant \( c(K)\) that depends only on \(K\): \[ \| h \|_{C^{\min \{ r, r'\}}(K) }\leq c(r,r',K) \left(1+ \frac{c(K)}{\sqrt{\lambda_E^J}} \right) \,\|h\|_\infty\,. \] The quantity \(\lambda_E^J\) is called the minimal \(J\)-curvature of \(E\) and is defined by the Levi form of a certain function that, intuitively speaking, measures the square distance from \(E\). Corollary 2. Let \((M,J)\) and \((M',J')\) be, respectively, a \(C^r\) and a \(C^{r'}\)-almost complex manifold (where \(r,r'\) are as in Theorem 1), and \(\Omega \subset M\) be a domain. We suppose that \(N \subset \Omega\) is a maximal totally real \(C^r\)-submanifold of \((M,J)\), and that \(N' \) is a maximal totally real \(C^{r'}\)-submanifold of \((M',J')\). Set \(s:=\min \{ r-1,r'\}\). Then every pseudo-holomorphic map \(F: W(\Omega , M) \to (M',J')\), continuous on \(W(\Omega , M) \cup N\), and such that \(F(N)\subset N'\), is locally of class \(C^s\), and for any compact subset \(K \) in \(W(\Omega , M) \cup N\) one has: \[ \| F \|_{C^s(K) }\leq c(s,K) \left(1+ \frac{c(K)}{\sqrt{\lambda_{N'}^{J'}}} \right) \,\|F\|_\infty\,. \] Here \(W(\Omega,N)\) denotes the wedge of edge \(N\). The proofs use as a key tool the lower bounds on the Kobaysahi metric in almost-complex manifolds given by \textit{H. Gaussier} and \textit{A. Sukhov} [Bull. Soc. Math. Fr. 133, No. 2, 259--273 (2005; Zbl 1083.32011)].