まぁアホセタは無視するとしてWiles TaylerはBalyiの定理含んでる？
つまりX(N)→JacX(N)→Tを楕円曲線への分岐被覆として特異点の像って一点にできる？
つまり特異点の像の生成する部分環群はねじれ部分群なんかな？