We address the question “when the local image of a map is well defined” and answer it in case of holomorphic map germs with target (C^2,0). We prove a criterion for holomorphic map germs (X,x)→(Y,y) to be locally open, solving a conjecture by Huckleberry in all dimensions.

The Separatrix Theorem of C. Camacho and P. Sad says that there exists at least one invariant curve (separatrix) passing through the singularity of a germ of holomorphic foliation on complex surface, when the surface underlying the foliation is smooth or when it is singular and the dual graph of resolution surface singularity is a tree. Under some assumptions, we obtain existence of separatrix even when the resolution dual graph of the surface singular point is not a tree. It will be necessary to require an extra condition of the foliation, namely, absence of saddle-node in its reduction of singularities.

Let X be a compact quotient of the product of the real Heisenberg group H _4m+1 of dimension 4m + 1 and the three-dimensional real Euclidean space R ³ . A left-invariant hypercomplex structure on H _4m+1 R ³ descends onto the compact quotient X. The space X is a hyperholomorphic fibration of 4-tori over a 4m-torus. We calculate the parameter space and obstructions to deformations of this hypercomplex structure on X. Using our calculations, we show that all small deformations generate invariant hypercomplex structures on X but not all of them arise from deformations of the lattice. This is in contrast to the deformations on the 4m-torus.

We study analytic integrable deformations of the germ of a holomorphic foliation given by df=0 at the origin 0∈Cn,n≥3. We consider the case where f is a germ of an irreducible and reduced holomorphic function. Our central hypotheses is that, outside of a dimension ≤n−3 analytic subset Y⊂X, the analytic hypersurface Xf:(f=0) has only normal crossings singularities. We then prove that, as germs, such deformations also exhibit a holomorphic first integral, depending analytically on the parameter of the deformation. This applies to the study of integrable germs writing as ω=df+fη where f is quasi-homogeneous. Under the same hypotheses for Xf:(f=0) we prove that ω also admits a holomorphic first integral. Finally, we conclude that an integrable germ ω=adf+fη admits a holomorphic first integral provided that: (i) Xf:(f=0) is irreducible with an isolated singularity at the origin 0∈Cn,n≥3; (ii) the algebraic multiplicities of ω and f at the origin satisfy ν(ω)=ν(df). In the case of an isolated singularity for (f=0) the writing ω=adf+fη is always assured so that we conclude the existence of a holomorphic first integral. Some questions related to Relative Cohomology are naturally considered and not all of them answered.

For families of continuous plurisubharmonic functions we show that, in a local sense, separately bounded above implies bounded above.