Chaînes holomorphes de bord donné dans $\bbfC P^n$ (Q4381900)

If \(M\) is a real, oriented, closed \(C^2\) subvariety of a complex analytic space (or variety) of complex dimension \(n\), where \(M\) has real dimension \(2p-1\) (\(0<p\leq n\)), the boundary problem is to find necessary and sufficient conditions so that \(M\) is the boundary of a holomorphic \(p\)-chain, that is, there exists a holomorphic \(p\)-chain of \(X\setminus M\) with a simple extension to \(X\) such that \(dT=M\). This problem has been solved in various case, notably for \({\mathbb{C}}^n\) and for \(\mathbb{C} P^n\setminus\mathbb{C} P^{n-r}\). In this paper the authors obtain solutions of the boundary problem in \(\mathbb{C} P^n\) for arbitrary \(p\). The authors assume that \(X\) is a \((n-p+1)\)-concave domain in \(\mathbb{C} P^n\), which is a nonempty union of projective subspaces of dimension \(r\leq n-p+1\). A closed \(C^2\) subvariety \(M\) of \(X\) is said to have negligible singularities if there exists a closed subspace \(\tau\subset M\) of \((2p-1)\)-dimensional Hausdorff measure zero such that \(M\setminus\tau\) is a closed oriented \(C^2\) subvariety of dimension \(2p-1\) and locally finite \((2p-1)\)-dimensional volume, with \(dM=0\) and such that \(1\leq n-p+1\leq q\). Theorem II: If \(M\) is a \(C^2\) subvariety with negligible singularities and \[ G(\xi,\eta)=(2\pi i)^{-1}\int_{\gamma_{\nu '}}\zeta g^{-1}dg, \] then the following two conditions are equivalent: (1) \(M\) is the boundary of a holomorphic \(p\)-chain of \(X\) with locally finite mass; (2) \(M\) is maximally complex and there exists a point \(\nu^*\) belonging to the complex Grassmannian \(G_{\mathbb{C}}(n-p+1,n+1)\) in a neighborhood of which there exist a finite number of holomorphic functions of \((\xi,\eta)\) satisfying the system of partial differential equations for shock waves for \((\xi,\eta)\), and such that the second derivatives with respect to \(\xi\) of a linear combination of these functions and of \(G\) are equal. Here \((\xi,\eta)\) is a suitable coordinate system on \(G_{\mathbb{C}}(n-p+1,n+1)\), \(\gamma_{\nu '}\) is the \(C^2\) curve formed by cutting \(M\) by the projective subspace \(P_{\nu '}\) corresponding to \(\nu '\in G_{\mathbb{C}}(n-p+2,n+1)\), contained in an affine subspace \(W\equiv {\mathbb{C}}^n\) of \(\mathbb{C} P^n\), \(W\) has coordinates \((z_1,\dots,z_n)\), \(\zeta=(z_1,\dots,z_{n-p})\) and \(g\) is a linear form on \({\mathbb{C}}^n\) such that the hyperplane \(\{g=0\}\) is transversal to \(P_{\nu '}\). The existence part of the second statement is slightly more delicate than indicated above. The proof of this theorem uses the techniques established in a previous paper of the authors [Aspects Math. E 26, 163-187 (1994; Zbl 0821.32008)] for the case \(p=1\). Much care needs to be taken in defining the chain \(T\). This Theorem II has as a consequence the following result. Theorem I: Let \(X\) be a \(q\)-concave domain of \(\mathbb{C} P^n\) such that \(n-p+1\leq q\leq n\) and let \(M\) be a closed, oriented \(C^2\) subvariety of \(X\), of dimension \(2p-1\). Then the following two conditions are equivalent: (i) \(M\) is the boundary of a holomorphic \(p\)-chain of \(X\) of locally finite mass; (ii) \(M\) is maximally complex and there exists a matrix \(\nu ^{'\ast}\) (i.e., a point of the complex Grassmannian \(G_{\mathbb{C}}(n-p+2,n+1)\)) such that for \(\nu '\) in a sufficiently small neighborhood of \(\nu ^{'\ast}\), for every projective subspace \(P_{\nu '}\) of \(\mathbb{C} P^n\) contained in \(X\) such that \(M\cap P_{\nu '}\) is a curve \(\gamma_{\nu '}\) of \(P_{\nu '}\) with finite length, there exists a holomorphic \(1\)-chain \(S_{\nu '}\) of \(P_{\nu '}\), of finite mass, with boundary \(\gamma_{\nu '}\), which depends continuously on \(\nu '\). The authors also discuss some examples and further problems.