On the torsion anomalous conjecture in CM abelian varieties (Q473107): Difference between revisions

This paper deals with subvarieties of abelian varieties, both of them defined over the algebraic numbers. A variety \(V\) is a torsion variety if it is a finite union of translates of proper algebraic subgroups by torsion points. An irreducible subvariety \(Y\) of \(V\) is \(V-\)torsion anomalous if it is an irreducible component of \(V\cap(B+\xi),\) with \(B+\xi\) being irreducible and torsion, and moreover \(\text{codim} Y<\text{codim} V+\text{codim} B.\) The torsion anomalous conjecture stated in [\textit{E. Bombieri} et al., Int. Math. Res. Not. 2007, No. 19, Article ID rnm057, 33 p. (2007; Zbl 1145.11049)] predicts that for any algebraic subvariety \(V\) of a semiabelian variety, there are only finitely many maximal \(V\)-torsion anomalous varieties. Very few particular situations where the TAC holds are known so far, one of these cases has been described in [the first author et al., Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 25, No. 1, 1--36 (2014; Zbl 1316.11058)], where an effective version of this conjecture is proven for maximal \(V\)-torsion anomalous varieties of relative codimension \(1\) in a product of CM elliptic curves. The paper under review generalizes the results in [the first author et al., loc. cit.] to CM abelian varieties. The main result is the following: if \(A\) is isogenous to a product of simple abelian varieties of dimension at most \(g\), for any weak-transverse subvariety of codimension larger than \(g\), there are only finitely many maximal \(V\)-torsion anomalous subvarieties \(Y\) of relative codimension \(1\). The authors also get an effective version of this result, in terms of dimensions, degrees and heights of the involved varieties. These results can be reformulated in the context of several other known conjectures. For instance, the authors prove an effective result for weak-transverse curves, which is an example for the effective Zilber-Pink conjecture.