Generalized Intermediate Jacobians and the Theorem on Normal Functions.
We first prove a strengthening of Miyaoka’s generic semi-positivity theorem: the quotients of the tensor powers of the cotangent bundle of a non-uniruled complex projective manifold have a pseudo-effective (instead of generically nef) determinant. A first consequence is that is of general type if its cotangent bundle contains a subsheaf with ‘big’ determinant. Among other applications, we deduce that if the universal cover of is not covered by compact positive-dimensional analytic subsets,...