In this lecture we make use of a scheme of finite type over , It is a patchwork of affine schemes of finite type over ,
An affine scheme of finite type over , in turn, is related to a set of polynomial equations of coefficients in , and is written as for a ring of finite type over , We consider quasi coherent sheaves over these objects. When is affine ( ), the category of quasi coherent sheaves over is equivalent to the category of -modules.
For any scheme of finite type over , we put
It is equal to the zeta function of the category of quasi coherent sheaves on .
Recall we have defined the congruent zeta function as
Now let us put and proceed further.
Where we define as a fiber product .