We show that the conjecture of [27] for the special value at s=1 of the zeta function of an arithmetic surface is equivalent to the Birch–Swinnerton–Dyer conjecture for the Jacobian of the generic fibre.