ヤコビ多様体
数論において、アイヒラー・志村の合同関係式 (Eichler–Shimura congruence relation) は、素数 "p" でのモジュラー曲線の局所 "L"-函数を、ヘッケ作用素の固有値の式で表現する。このことは、 で導入され、 で一般化された。大まかには、ヘッケ作用素 "Tp" を誘導するモジュラー曲線上の対応は、フロベニウス写像 "Frob" とその転置 "Ver" の和に mod "p" で合同である。言い換えると、有限体 F"p" 上のモジュラー曲線 "X"0"N" のヤコビ多様体 "J"0("N")F"p" の自己準同型として