Definition (Zeta function). The zeta function ZC(T) of a smooth projective curve C∕𝔽q is defined by

ZC(T)=exp⁡(∑n=1∞#C(𝔽qn)nTn).