### The Tate-Thomason conjecture, by Masana Harada

[The original paper, submitted Dec 3, 2008, has been revised Jan 30, 2009, with
this comment:] This is an update to #919. There was an error in the proof of
6.1.

This is an application of "Higher K-theory of algebraic curves", #915 of the
archive.

In this paper we will prove that the co-invariant subspace of topological Adams
operations on E(1)-homology of algebraic K-theory spectra E(1)K(X) associaterd
to algebraic varieties X over finite fields does not contain any divisible
subgroup. (E(1) is the Adams factor of topological periodic complex
K-theory.)

It implies a conjecture of R. W. Thomason that there does not exist any
divisible subgroup on the (-1)-th E(1)-localized K-theory of projective smooth
varieties over finite fields.

Masana Harada <harada@math.kyoto-u.ac.jp>