随手查了一下,Bogomolov猜想来自于Manin - Mumford conjecture的推广,而Manin - Mumford conjecture是下面这么个玩意:
The Manin-Mumford conjecture asserts that if K is a field of characteristic zero, C a smooth proper geometrically irreducible curve over K, and J the Jacobian of C, then for any embedding of C in J, the set C(K)∩J(K)tors is finite.
看起来还可以理解。那真想搞明白他们工作的人就先把历史上更为前置的东西弄清楚再说吧。这里有个survey paper,是99年Arizona冬校的课程笔记,应该是专注数论/算术几何的高年级本科生/研究生可以看明白的。