If M is a quaternionic manifold and P is an S 1-instanton over M, then Joyce constructed a hypercomplex manifold we call(M) over M. These hypercomplex manifolds admit a U (2)-action of a special type permuting the complex structures. We show that up to double covers, all such hypercomplex manifolds arise in this way. Examples, including that of a hypercomplex structure on SU (3), show the necessity of including double covers of(M).

It is proved that if the twistor space of a self-dual four-manifold of positive scalar curvature contains a real effective divisor of degree two, then the four-manifold is diffeomorphic to the connected sum n\mathbb {C}{P^ 2} of n complex projective planes for some n. It follows that if the four-manifold is known to be homeomorphic to n\mathbb {C}{P^ 2} , then it is also diffeomorphic to n\mathbb {C}{P^ 2} .

The aim of this work is to construct examples of pairs whose logarithmic cotangent bundles have strong positivity properties. These examples are constructed from any smooth $n$-dimensional complex projective varieties by considering the sum of at least $n$ general sufficiently ample hypersurfaces.

In this paper, we prove that in any projective manifold, the complements of general hypersurfaces of sufficiently large degree are Kobayashi hyperbolic. We also provide an effective lower bound on the degree. This confirms a conjecture by S. Kobayashi in 1970. Our proof, based on the theory of jet differentials, is obtained by reducing the problem to the construction of a particular example with strong hyperbolicity properties. This approach relies the construction of higher order logarithmic connections allowing us to construct logarithmic Wronskians. These logarithmic Wronskians are the building blocks of the more general logarithmic jet differentials we are able to construct. As a byproduct of our proof, we prove a more general result on the orbifold hyperbolicity for generic geometric orbifolds in the sense of Campana, with only one component and large multiplicities. We also establish a Second Main Theorem type result for holomorphic entire curves intersecting general hypersurfaces, and we prove the Kobayashi hyperbolicity of the cyclic cover of a general hypersurface, again with an explicit lower bound on the degree of all these hypersurfaces.

No abstract uploaded!