Chaînes holomorphes de bord donné dans \bbfC P^n

DOI10.24033/BSMF.2312MaRDI QIDQ4381900zbMATH OpenOpenAlexFDO

Authors Pierre Dolbeault, Gennadi Henkin

Publication date 2 June 1998

Published in Bulletin de la Société mathématique de France (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=BSMF_1997__125_3_383_0, https://eudml.org/doc/87770, http://smf4.emath.fr/Publications/Bulletin/125/html/smf_bull_125_383-445.html

zbMATH Keywords

$q$-concave subspaces boundary problem currents homolomorphic chains

Mathematics Subject Classification ID

Integration on analytic sets and spaces, currents (32C30) Real submanifolds in complex manifolds (32V40) Geometric measure and integration theory, integral and normal currents in optimization (49Q15)

Review text

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.

Recommendations

Cites work

Cited in

(42)

This page was built for publication: Chaînes holomorphes de bord donné dans $\bbfC P^n$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4381900)