Hasse–Weil zeta function