Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Recently it has been proved by Damian Brotbek that generic projective complete intersections of high multi-degree are hyperbolic. These should give other examples. Otherwise, what about subvarieties of complex tori which do not contain any translate of a sub-tours ?
Complement: the elementary lemma I speak about, just says that the Euler characteristic of a bounded complex of finite dimensional vector spaces equals the Euler characteristic of its cohomology module.
Let's say that Siu indicated a quite precise strategy to prove that. Up to now, we have a full proof only for surfaces in $\mathbb P^3$ and threefolds in $\mathbb P^4$. So your exemple works for the moment just for $n=4$.
Just because it is not included in every textbook on Banach space theory. Anyway, I just said that it would have been nice to have a brief account here. It doesn't matter! I'll take a look at the paper. Thanks.