#フェルマーの最終定理

楕円曲線 y² = x³ + ax + b の群構造、モジュラー形式とのL関数による同一視（谷山-志村）、フライの曲線でフェルマーの最終定理がどう矛盾に追い込まれるか、を図と数式で追う