“…Theorem Let be a complex curve homeomorphic to , such that is of log general type. Then satisfies Negativity Conjecture if and only if either - (a) has a ‐fibration, hence is of one of the types listed in [, Theorem 1.3], or
- (b) is of one of the types , , , , , or listed in Definition .
Each of the above types is realized by a curve which is unique up to a projective equivalence. For a summary of numerical characteristics of the above curves, see Table and [, Table 1]. Note that cases (a) and (b) correspond to the possible outcome of the birational part of the log MMP for , which is a log Mori fiber space over a curve in case (a) and a log del Pezzo surface of Picard rank 1 in case (b), see [, Theorem 4.5(4)].…”