Unlikely intersections of curves with algebraic subgroups in semiabelian varieties (Q2678709)

The paper being reviewed continues the research on the Zilber-Pink unlikely intersection conjecture, which generalizes the the Manin-Mumford conjecture. More specifically, suppose \(G\) is a semiabelian variety defined over \(\overline{\mathbb{Q}}\). Let \(X \subset G\) be a an algebraic subvariety. Denote \(G^{[\dim(x)+1]}\) the countable union of all algebraic subgroups of \(G\) having codimension \(\geq \mathrm{dim}(X)+1\). Pink and Zilber made the following unlikely intersection conjecture (UIC). Conjecture: If \(X\) is not contained in a proper algebraic subgroup of \(G\), then \(X \cap G^{[\dim(x)+1]}\) is not Zariski-dense in \(X\). \textit{P. Habegger} and \textit{J. Pila} [Ann. Sci. Éc. Norm. Supér. (4) 49, No. 4, 813--858 (2016; Zbl 1364.11110)] proved the UIC for curves in abelian vaieties using o-minimal counting techniques. In this paper, the authors prove UIC in case \(X\) is an algebraic curve. Theorem: Let \(C \subset G\) be an irreducible curve not contained in a proper algebraic subgroup of \(G\). Suppose \(C\) and \(G\) are defined ove a number field \(K\). Then \(C \cap G^{[2]}\) is finite. The above theorem is optimal in the sense that if \(C\) is contained in a proper algebraic subgroup \(H\) of \(G\), the intersection of \(C\) with \(G^{[2]}\) can be infinite.