cm体のアーベル拡大を記述するために、アーベル多様体の虚数乗法を用いるというのが彼らの結果である。