Construction of negatively curved complete intersections

Using the Donaldson-Auroux theory, we construct complete intersections in complex projective manifolds, which are negatively curved in various ways. In particular, we prove the existence of compact simply connected Kahler manifolds with negative holomorphic bisectional curvature. We also construct hyperbolic hypersurfaces and we obtain bounds for their Kobayashi hyperbolic metric.