  A p-adic analogue of the pseudonorm version of the birational Torelli type
theorem is obtained via a comparison theorem of image closures. Among other
results obtained, we have a criterion for existence of rational points of
canonically polarized surfaces over finite fields.
