志村谷山予想とは直接関係ないが、私は>>126のa_pがl進コホモロジーに対するLefschetzの不動点定理から出てくることに感動した