Intersection of subgroups and subvarieties. III (Q843201)

Let \(A\) be an abelian variety defined over a field \(K\) of characteristic \(0\). Given subsets \(S\) and \(T\) of \(A(K)\), denote by \(S+T\) the set of all points \(x+y\) with \(x\in S\), \(y\in T\). Define \(A^{[r]}=\bigcup_{\text{codim}\, G\geq r} G(K)\), where the union is taken over all sub-groupschemes \(G\) of \(A\) of codimension at least \(r\). Let \(X\) be a closed subscheme of \(A\) which is not contained in a translate of a proper abelian subvariety of \(A\), and let \(\Gamma\) be a subgroup of \(A(K)\) of finite rank. A special case of the Zilber-Pink conjecture states that \(X(K)\cap \big( \Gamma +A^{[\dim X +1]}\big)\) is not Zariski dense in \(X\). The author proves this conjecture (his Théorème 1.3) in the special case that \(K=\overline{{\mathbb Q}}\), \(A\) has complex multiplication, and that \(X\) is geometrically non-degenerate, this means that \(\dim (X+B)=\min (\dim X+\dim B,\dim A)\) for all sub-abelian varieties \(B\) of \(A\). This result has also been proved by \textit{P. Habegger} in the special case that \(\Gamma =\{ 0\}\) [Invent. Math. 176, No. 2, 405--447 (2009; Zbl 1176.14008)]. The proof of the author's Théorème 1.3 heavily depends on some previous works of his, i.e., parts I and II of the paper under review [Math. Ann. 333, 525--548 (2005; Zbl 1088.11047)], [J. Inst. Math. Jussieu 6, 317--348 (2007; Zbl 1170.11014)]. In fact, in part II, the author proves that for any non-negative integer \(r\), the set \((X(\overline{{\mathbb Q}})\setminus Z_X^{(r)})\cap (\Gamma + A^{[r]})\) has bounded height, where \(Z_X^{[r]}\) denotes the union of irreducible subvarieties of \(X\) that are not `\(r\)-supertransverse' (not to be defined here). In the paper under review, the author studies the sets \(Z_X^{(r)}\), and also other special subsets of \(X\). One of the consequences of his investigations is that \(Z_X^{(\dim X+1)}\) is contained in the union \(Z_{X,\text{an}}\) of the anomalous subvarieties of \(X\) (notion introduced by \textit{E. Bombieri, D. Masser, U. Zannier} [Int. Math. Res. Not. 2007, No. 19, Article ID rnm057, 33 p. (2007; Zb 1145.11049)] and that both sets are Zariski closed. Further he shows that the latter set is strictly contained in \(X\) if and only if \(X\) is geometrically non-degenerate. Using his work from part I, together with a recent Lehmer-type lower bound due to \textit{M. Carrizosa} [Int. Math. Res. Not. 2009, No. 16, 3016--3097 (2009; Zbl 1176.11025)] for Néron-Tate heights on abelian varieties with complex multiplication, the author concludes that \((X\setminus Z_{X,\text{an}})\cap (\Gamma + A^{[\dim X +1]})\) is finite. This implies his Théorème 1.3.