Bend and break lemma for higher dimension
I. Introduction: In this article, I would like to generate the work in bend and break lemma of professor Andreas Horing and professor Thomas Peternell in paper [HP16]. In the orginal paper, authors excellently resolved the problem of finding minimal model program for $\mathbb{Q}$- factorial Kahler threefold with terminal singularities and $K_X$ is not pseudo-effective. From [HP16] in general and especially in part five, I saw many proofs where the "threefold" assumption may not take a crucial role, and I try to generalize them in dimension four, at least for the case non-nef locus of $N(K_X)$ ("negative" part of Zariski decompostion of $K_X$) is not contained in any prime divisors which appear in Zariski decomposition of $K_X$. Since the closure of the union of curves' deformation could be surfaces, the restriction of $N(K_X)$ might not be pseudo-effective. So to reserve the pseudo-effectiveness, the assumption "non-nef locus of $N(K_X)$ is not containe...