Finite generation of lifted p-adic homology with compact supports. Generalization of the weil conjectures to singular, non-complete algebraic varieties

AbstractIn Section 1, if O is a c.d.v.r. with quotient field of characteristic zero and residue class field k, if A is an O-algebra and if A = A ⊗O k, then for algebraic families X over A that are polynomially properly embeddable over A, we define the lifted p-adic homology with compact supports Hhc(X, A† ⊗zQ), which are functors with respect to proper maps. In Section 2, it is shown that, if X is an algebraic variety over k (i.e., if A = k), then the lifted p-adic homology of X with compact supports with coefficients in K is finite dimensional over K = quotient field of O. In Section 3, the results of Sections 1 and 2 are used to generalize both the statement and proof of the Weil “Lefschetz Theorem” Conjecture and the statement (but not the proof) of the Weil “Riemann Hypothesis” Conjecture, to non-complete, singular varieties over finite fields. In addition, the Weil zeta function of varieties over finite fields, is generalized by a device which we call the zeta matrices, Wh(X), 0 ≤ h ≤ 2 dim X, of an algebraic variety X, to varieties over even infinite fields of non-zero characteristic. These are used to give formulas for the zeta functions of each variety in an algebraic family, by means of the zeta matrices of an alebraic family. Sketches only are given. In Section 4, some of the material is duplicated, to define a q-adic homology with compact supports, q ≠ characteristic. The definition only makes sense for algebraic varieties; finite generation is proved. And the Weil “Lefschetz Theorem” Conjecture is established, even for singular, non-complete varieties, as well as a generalization of the Weil “Riemann Hypothesis” Conjecture. (However, zeta matrices do not make sense q-adically.)In Section 5, some special results are proved about p-adic homology with compact supports on affines. And the Weil “Riemann Hypothesis” conjecture is proved p-adically, p = characteristic, for projective, non-singular liftable varieties