Lang's conjecture for intersections with finite-rank subgroups
Let AAA be a complex abelian variety, let Γ\GammaΓ be a subgroup of finite rank in A(C)A(\mathbb{C})A(C), and let XXX be a subvariety of AAA. Here X(C)∩Γ‾\overline{X(\mathbb{C}) \cap \Gamma}X(C)∩Γ…